Related papers: Symmetries of Quantified Boolean Formulas
Symmetry breaking is a fundamental concept in understanding quantum phases of matter, studied so far mostly through the lens of local order parameters. Recently, a new entanglement-based probe of symmetry breaking has been introduced under…
We explain that a bulk with arbitrary dimensions can be added to the space over which a quantum field theory is defined. This gives a TQFT such that its correlation functions in a slice are the same as those of the original quantum field…
Quantum algebras U_q(su_n) used as the algebras of flavour symmetry (usually described by SU(n)) to study static properties of hadrons lead to intriguing results. In this contribution we focus on the peculiar properties manifested by…
As an analogy of fully entangled fraction in the framework of entanglement theory, we have introduced the notion of quantum coherence fraction $C_{\mathcal{F}}$, which quantifies the closeness between a given state and the set of maximally…
The physical condition that the expectation values of physical observables are real quantities is used to give a precise formulation of PT-symmetric quantum mechanics. A mathematically rigorous proof is given to establish the physical…
Symmetries and reductions of some algebraic equations are considered. Transformations that preserve the form of several algebraic equations, as well as transformations that reduce the degree of these equations, are described. Illustrative…
Symmetry in finite model finding problems of many-sorted first-order logic (MSFOL) can be exploited to reduce the number of interpretations considered during search, thereby improving solver performance. In this thesis, we situate symmetry…
We consider holomorphic BF theories, their solutions and symmetries. The equivalence of Cech and Dolbeault descriptions of holomorphic bundles is used to develop a method for calculating hidden (nonlocal) symmetries of holomorphic BF…
It is widely believed that global symmetries must be broken in Quantum Gravity. This includes higher-form symmetries, which are commonplace in supergravity coupled to vector multiplets. Recently, a quantitative criterion for the breaking of…
This is a brief overview on the background behind the test set formulas generated by the QBM tool. After establishing its application context, its formal approach to the generation of QBF formulas and the concrete test set formulas are…
Hidden symmetries, described by higher order in momenta integrals of motion that generate nonlinear algebras, are explored at the level of classical and quantum mechanics in a variety of physical systems related to conformal and…
We show how classical and quantum dualities, as well as duality relations that appear only in a sector of certain theories ("emergent dualities"), can be unveiled, and systematically established. Our method relies on the use of morphisms of…
We consider Abelian topological quantum field theories (TQFTs) in 3d and show that gaugings of invertible global symmetries naturally give rise to additive codes. These codes emerge as nonanomalous subgroups of the 1-form symmetry group,…
Among the many ways of quantifying uncertainty in a regression setting, specifying the full quantile function is attractive, as quantiles are amenable to interpretation and evaluation. A model that predicts the true conditional quantiles…
In this review the foundations of Geometric Quantization are explained and discussed. In particular, we want to clarify the mathematical aspects related to the geometrical structures involved in this theory: complex line bundles, hermitian…
Recent years have seen noteworthy progress in the mathematical formulation of quantum field theory and perturbative string theory. We give a brief survey of these developments. It serves as an introduction to the more detailed collection…
Quantum entanglement, a cornerstone of quantum mechanics, remains challenging to classify, particularly in multipartite systems. Here, we present a new interpretation of entanglement classification by revealing a profound connection to…
We study the structure of local algebras in relativistic conformal quantum field theory with phase boundaries. Phase boundaries are instances of a more general notion of boundaries that give rise to a variety of algebraic structures. These…
Lie derivatives of various geometrical and physical quantities define symmetries and conformal symmetries in general relativity. Thus we obtain motions, collineations, conformal motions and conformal collineations. These symmetries are used…
The modern approach to $m$-form global symmetries in a $d$-dimensional quantum field theory (QFT) entails specifying dimension $d-m-1$ topological generalized symmetry operators which non-trivially link with $m$-dimensional defect…