Related papers: Symmetries of Quantified Boolean Formulas
Various applications of quantum algebraic techniques in nuclear structure physics and molecular physics are briefly reviewed. Contains 81 references.
Quantum field theories can exhibit various generalized symmetry structures, among which higher-group symmetries and non-invertible symmetry defects are particularly prominent. In this work, we explore a new general scenario in which these…
The concepts of symmetry and its breakdown are investigated in two different terms according to whether the resulting asymmetry is universal or only obtained for a special configuration: we shall illustrate this by considering in the first…
The synthesis of Control Barrier Functions (CBFs) often involves demanding computations or a meticulous construction. However, structural properties of the system dynamics and constraints have the potential to mitigate these challenges. In…
Twisted symmetries, widely studied in the last decade, proved to be as effective as standard ones in the analysis and reduction of nonlinear equations. We explain this effectiveness in terms of a Lie-Frobenius reduction; this requires to…
It is well-known that every quantified boolean formula (QBF) can be transformed into a prenex QBF whose only boolean operators are negation, conjunction, and disjunction. It is also well-known that the transformation is polynomial if the…
Algebraic logic studies algebraic theories related to proposition and first-order logic. A new algebraic approach to first-order logic is sketched in this paper. We introduce the notion of a quantifier theory, which is a functor from the…
We develop a reformulation of the functional integral for bosons in terms of bilocal fields. Correlation functions correspond to quantum probabilities instead of probability amplitudes. Discrete and continuous global symmetries can be…
We develop a technique to obtain new symmetrization inequalities that provide a unified framework to study Sobolev inequalities, concentration inequalities and sharp integrability of solutions of elliptic equations
By means of simple models in a flat spacetime manifold we examine some of the issues that arise when quantizing interacting quantum fields in multi-metric backgrounds. In particular we investigate the maintenance of a causal structure in…
Positional games are a mathematical class of two-player games comprising Tic-tac-toe and its generalizations. We propose a novel encoding of these games into Quantified Boolean Formulas (QBFs) such that a game instance admits a winning…
The framework of generalized probabilistic theories is a powerful tool for studying the foundations of quantum physics. It provides the basis for a variety of recent findings that significantly improve our understanding of the rich physical…
We describe a symmetry breaking construction in coarse geometry which allows to obtain information about equivariant coarse homology classes by restriction to smaller groups and spaces. In the case of equivariant coarse $K$-homology theory…
Solution and analysis of mathematical programming problems may be simplified when these problems are symmetric under appropriate linear transformations. In particular, a knowledge of the symmetries may help reduce the problem dimension, cut…
The scalar field is quantized in the discretized light-front framework following the {\em standard} Dirac procedure and its infinite volume limit taken. The background field and the nonzero mode variables do not commute for finite volume;…
Canonical quantization may be approached from several different starting points. The usual approaches involve promotion of c-numbers to q-numbers, or path integral constructs, each of which generally succeeds only in Cartesian coordinates.…
We examine several types of symmetries which are relevant to quantum phase transitions in nuclei. These include: critical-point, quasidynamical, and partial dynamical symmetries.
This paper is devoted to the complexity of the quantified boolean formula problem. We describe a simple deterministic algorithm that, for a given quantified boolean formula $F$, stops in time bounded by $O(|F|^4)$ and answers yes if $F$ is…
We propose a general reduction procedure for classical field theories provided with abelian gauge symmetries in a Lagrangian setting. These ideas come from an axiomatic presentation of the general boundary formulation (GBF) of field…
This article contains ideas and their elaboration for quantifiers, which appeared after checking in practice the experimental language of the formal knowledge representation YAFOLL [1]: - looking at for_all and exists quantifiers as…