Welcome to the Physics Derivation Graph

MESSAGES:

pdg_app/to_review_derivation sympy_validate_step.validate_step: NameErrorname 'Bra' is not defined
pdg_app/to_review_derivation sympy_validate_step.validate_step: SyntaxErrorinvalid syntax (<string>, line 0)

Return to navigation page or list derivations

Review quantum basics Hermitian operators have realvalued observables

abstract:
reference:

step	inference rule	input	output	step validity (as per SymPy)
1	111981: declare initial expression number of inputs: 0; feeds: 0; outputs: 1 Eq.~\\ref{eq:#1} is an initial equation.		9999999975 \(\langle \psi\| \hat{A} \|\psi \rangle=\langle a \rangle\)	no validation is available for declarations
2	111696: conjugate transpose both sides number of inputs: 1; feeds: 0; outputs: 1 Conjugate transpose of both sides of Eq.~\\ref{eq:#1}; yields Eq.~\\ref{eq:#2}.	9999999975 \(\langle \psi\| \hat{A} \|\psi \rangle=\langle a \rangle\)	2394935835 \(\left(\langle\psi\| \hat{A} \|\psi \rangle \right)^+=\left(\langle a \rangle\right)^+\)	recognized infrule but not yet supported
3	111890: distribute conjugate transpose to factors number of inputs: 1; feeds: 0; outputs: 1 Distribute conjugate transpose to factors in Eq.~\\ref{eq:#1}; yields Eq.~\\ref{eq:#2}.	2394935835 \(\left(\langle\psi\| \hat{A} \|\psi \rangle \right)^+=\left(\langle a \rangle\right)^+\)	1010393913 \(\langle \psi\| \hat{A}^+ \|\psi \rangle=\langle a \rangle^*\)	recognized infrule but not yet supported
4	111104: declare assumption number of inputs: 0; feeds: 0; outputs: 1 Eq.~\\ref{eq:#1} is an assumption.		9294858532 \(\hat{A}^+=\hat{A}\)	no validation is available for declarations
5	111634: substitute RHS of expr 1 into expr 2 number of inputs: 2; feeds: 0; outputs: 1 Substitute RHS of Eq.~\\ref{eq:#1} into Eq.~\\ref{eq:#2}; yields Eq.~\\ref{eq:#3}.	1010393913 \(\langle \psi\| \hat{A}^+ \|\psi \rangle=\langle a \rangle^*\) 9294858532 \(\hat{A}^+=\hat{A}\)	4948934890 \(\langle \psi\| \hat{A} \|\psi \rangle=\langle a \rangle^*\)	name 'Bra' is not defined
6	111634: substitute RHS of expr 1 into expr 2 number of inputs: 2; feeds: 0; outputs: 1 Substitute RHS of Eq.~\\ref{eq:#1} into Eq.~\\ref{eq:#2}; yields Eq.~\\ref{eq:#3}.	9999999975 \(\langle \psi\| \hat{A} \|\psi \rangle=\langle a \rangle\) 4948934890 \(\langle \psi\| \hat{A} \|\psi \rangle=\langle a \rangle^*\)	2848934890 \(\langle a \rangle^*=\langle a \rangle\)	invalid syntax (<string>, line 0)
7	111341: declare final expression number of inputs: 1; feeds: 0; outputs: 0 Eq.~\\ref{eq:#1} is one of the final equations.	2848934890 \(\langle a \rangle^*=\langle a \rangle\)		no validation is available for declarations

Hold the mouse over a node to highlight that node and its neighbors. You can zoom in/out. You can pan the image. You can move nodes by clicking and dragging.

Actions: Edit Derivation

Generate Tex file or PDF file

Delete Derivation and all associated steps

This does not remove expressions, symbols, and operations.

timing of Neo4j queries:

0.005 seconds for pdg_app/to_review_derivation: node_properties, derivation 2802385
0.005 seconds for compute/get_dict_of_steps_in_derivation: steps_in_this_derivation9315807
0.01 seconds for compute/get_dict_of_steps_in_derivation: step_has_inference_rule9599044
0.011 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_INPUT9599044
0.01 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_FEED9599044
0.011 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_OUTPUT9599044
0.005 seconds for compute/get_dict_of_steps_in_derivation: get_step_has_sequence_index9315807
0.009 seconds for compute/get_dict_of_steps_in_derivation: step_has_inference_rule5587449
0.007 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_INPUT5587449
0.006 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_FEED5587449
0.01 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_OUTPUT5587449
0.012 seconds for compute/get_dict_of_steps_in_derivation: step_has_inference_rule8904284
0.011 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_INPUT8904284
0.01 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_FEED8904284
0.011 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_OUTPUT8904284
0.007 seconds for compute/get_dict_of_steps_in_derivation: step_has_inference_rule7779367
0.009 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_INPUT7779367
0.009 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_FEED7779367
0.01 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_OUTPUT7779367
0.006 seconds for compute/get_dict_of_steps_in_derivation: step_has_inference_rule7705711
0.005 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_INPUT7705711
0.006 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_FEED7705711
0.005 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_OUTPUT7705711
0.004 seconds for compute/get_dict_of_steps_in_derivation: step_has_inference_rule6734090
0.005 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_INPUT6734090
0.004 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_FEED6734090
0.005 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_OUTPUT6734090
0.005 seconds for compute/get_dict_of_steps_in_derivation: step_has_inference_rule1593981
0.005 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_INPUT1593981
0.005 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_FEED1593981
0.005 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_OUTPUT1593981
0.003 seconds for pdg_app/to_review_derivation: get_list_of_step_dicts_in_this_derivation2802385
0.016 seconds for pdg_app/to_review_derivation: get_list_of_sequence_values_for_derivation_id2802385000012
0.035 seconds for pdg_app/to_review_derivation: get_list_node_dicts_of_type inference_rule2802385
0.004 seconds for compute/get_dict_of_steps_in_derivation: step_has_inference_rule2905552
0.003 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_INPUT2905552
0.003 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_FEED2905552
0.003 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_OUTPUT2905552
0.003 seconds for compute/get_dict_of_steps_in_derivation: step_has_inference_rule2972803
0.003 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_INPUT2972803
0.003 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_FEED2972803
0.003 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_OUTPUT2972803
0.003 seconds for compute/get_dict_of_steps_in_derivation: step_has_inference_rule3212758
0.003 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_INPUT3212758
0.003 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_FEED3212758
0.004 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_OUTPUT3212758
0.003 seconds for compute/get_dict_of_steps_in_derivation: step_has_inference_rule3205268
0.003 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_INPUT3205268
0.003 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_FEED3205268
0.003 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_OUTPUT3205268
0.002 seconds for compute/get_dict_of_steps_in_derivation: step_has_inference_rule3631765
0.002 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_INPUT3631765
0.002 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_FEED3631765
0.002 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_OUTPUT3631765
0.002 seconds for compute/get_dict_of_steps_in_derivation: step_has_inference_rule5832566
0.002 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_INPUT5832566
0.002 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_FEED5832566
0.002 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_OUTPUT5832566
0.002 seconds for compute/get_dict_of_steps_in_derivation: step_has_inference_rule5084967
0.002 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_INPUT5084967
0.002 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_FEED5084967
0.002 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_OUTPUT5084967
0.002 seconds for compute/get_dict_of_steps_in_derivation: step_has_inference_rule4790736
0.002 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_INPUT4790736
0.002 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_FEED4790736
0.002 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_OUTPUT4790736
0.002 seconds for compute/get_dict_of_steps_in_derivation: step_has_inference_rule5889288
0.002 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_INPUT5889288
0.002 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_FEED5889288
0.002 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_OUTPUT5889288
0.002 seconds for compute/get_dict_of_steps_in_derivation: step_has_inference_rule4194349
0.002 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_INPUT4194349
0.002 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_FEED4194349
0.002 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_OUTPUT4194349
0.003 seconds for compute/get_dict_of_steps_in_derivation: step_has_inference_rule6144119
0.002 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_INPUT6144119
0.002 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_FEED6144119
0.002 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_OUTPUT6144119
0.002 seconds for compute/get_dict_of_steps_in_derivation: step_has_inference_rule7583020
0.002 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_INPUT7583020
0.002 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_FEED7583020
0.002 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_OUTPUT7583020
0.002 seconds for compute/get_dict_of_steps_in_derivation: step_has_inference_rule6671912
0.002 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_INPUT6671912
0.002 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_FEED6671912
0.002 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_OUTPUT6671912
0.002 seconds for compute/get_dict_of_steps_in_derivation: step_has_inference_rule6977693
0.002 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_INPUT6977693
0.002 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_FEED6977693
0.002 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_OUTPUT6977693