Track papers across labs, topics, and trends.
Search papers, labs, and topics across Lattice.
This paper establishes a direct link between supplemented Dyck language and the signed expectation value of fermionic second quantization operator chains, offering a novel approach to analyze and simplify these complex calculations. By translating creation/annihilation operators into bracket alphabets, the authors derive sufficient conditions for the nullity of expectation values without explicitly using Wick's theorem. They further develop a diagrammatic framework for visually determining the signature of fully contracted terms, validated against Wick's theorem and implemented in the MobiDyck software.
Skip Wick's theorem: Dyck language provides simple, intuitive rules for determining the nullity and signature of fermionic operator expectation values.
In this work, we establish a direct connection between supplemented Dyck language and the signed expectation value of chains of second quantization operators relatively to the physical vacuum and relatively to a one-determinant state. Inspired by the fact that Dyck language provides an example of the emergence of the Catalan numbers in linguistic framework analysis, we show that these numbers are central when numbering the terms remaining when eliminating vanishing contributions detected by our application of Dyck language to fermionic second quantization. From the translation of creation and annihilation operator - or of pairs of operators - into a bracket alphabet, we derive simple and intuitive sufficient conditions for the nullity of expectation values that does not require an explicit application of Wick's theorem. This is done here with respect to the physical vacuum or relatively to a one-determinant state. We also extend this translation into a diagrammatic framework that allows a visual determination of the signature of fully contracted terms, reproducing the results of Wick's theorem. This approach has been extended to the case of (nested) commutators of pairs of fermionic second quantization including at least one excitation or deexcitation operator. Our results have been implemented in a software, MobiDyck, whose source code is freely available on the web. The algorithmic approach inspired by our work on Dyck language is detailed in this paper. Finally, a comparison of our diagrammatic approach with Goldstone diagrams is provided and closes the article.