Related papers: Symmetries of Quantified Boolean Formulas
Symmetries and isomorphisms play similar conceptual roles when we consider how models represent physical situations, but they are formally distinct, as two models related by symmetries are not typically isomorphic. I offer a rigorous…
The paper presents shortly the geometric approach to the problem of a general quantization formalism, both physically meaningful and mathematically consistent.
Symmetry is an important feature of many constraint programs. We show that any symmetry acting on a set of symmetry breaking constraints can be used to break symmetry. Different symmetries pick out different solutions in each symmetry…
The purpose of this paper is to explain the phenomenon of symmetry breaking for optimal functions in functional inequalities by the numerical computations of some well chosen solutions of the corresponding Euler-Lagrange equations. For many…
We report briefly on an approach to quantum theory entirely based on symmetry grounds which improves Geometric Quantization in some respects and provides an alternative to the canonical framework. The present scheme, being typically…
Quantified constraints over the reals appear in numerous contexts. Usually existential quantification occurs when some parameter can be chosen by the user of a system, and univeral quantification when the exact value of a parameter is…
Stabilizer states constitute a set of pure states which plays a dominant role in quantum error correction, measurement--based quantum computation, and quantum communication. Central in these applications are the local symmetries of these…
We show that every finite Boolean combination of polynomial equalities and inequalities in C^n admits two uniform normal forms: an $\exists\forall$ form and a $\forall\exists$ form, each using a single polynomial equation. Both forms use…
We introduce a framework for internal topological symmetries in quantum field theory, including "noninvertible symmetries" and "categorical symmetries". This leads to a calculus of topological defects which takes full advantage of…
The concept of spontaneous symmetry breaking (SSB) generally lacks a simple and intuitive introduction in the literature. This gap is filled by defining SSB in a universal context beyond its usual applications in physics and by discussing…
We extend to larger unification groups an earlier study exploring the possibility of unification of gauge symmetries in theories with dynamical symmetry breaking. Based on our results, we comment on the outlook for models that seek to…
Various topics concerning the entanglement of composite quantum systems are considered with particular emphasis concerning the strict relations of such a problem with the one of attributing objective properties to the constituents. Most of…
In this paper, a new approximate syllogistic reasoning schema is described that expands some of the approaches expounded in the literature into two ways: (i) a number of different types of quantifiers (logical, absolute, proportional,…
It was recently argued that quantum field theories possess one-form and higher-form symmetries, labelled `generalized global symmetries.' In this paper, we describe how those higher-form symmetries can be understood mathematically as…
The role of symmetries in formation of quantum dynamics is discussed. A quantum version of the d'Alambert's principle is proposed to take into account symmetry constrains for quantum case. It is noted that in this approach one can find, in…
This paper introduces a general perturbative quantization scheme for gauge theories on manifolds with boundary, compatible with cutting and gluing, in the cohomological symplectic (BV-BFV) formalism. Explicit examples, like abelian BF…
We argue that duality symmetries can be manifestly realised when theories with these symmetries are quantised using phase space quantum theory. In particular, using background fields and phase space quantum theory, we quantise the bosonic…
A formulation of quantum mechanics with additive and multiplicative (q-)difference operators instead of differential operators is studied from first principles. Borel-quantisation on smooth configuration spaces is used as guiding…
We review various aspects of (infinite) quantum group symmetries in 2D massive quantum field theories. We discuss how these symmetries can be used to exactly solve the integrable models. A possible way for generalizing to three dimensions…
We introduce a novel generalization of Counterexample-Guided Inductive Synthesis (CEGIS) and instantiate it to yield a novel, competitive algorithm for solving Quantified Boolean Formulas (QBF). Current QBF solvers based on…