Related papers: Symmetries of Quantified Boolean Formulas
The spinfoam approach to quantum gravity rests on a "quantization" of BF theory using 2-complexes and group representations. We explain why, in dimension three and higher, this "spinfoam quantization" must be amended to be made consistent…
Symmetries play a crucial role in shaping the structure and predictions of multi-Higgs-doublet models. In three-Higgs-doublet models considerable effort has been put into classifying possible symmetry groups and the conditions for their…
The extraordinary success of the Standard Model asks for a more rigorous control beyond the perturbative approach, which is affected by mathematical problems (interaction picture and canonical quantization, non-convergence of the…
We introduce Compositional Quantum Field Theory (CQFT) as an axiomatic model of Quantum Field Theory, based on the principles of locality and compositionality. Our model is a refinement of the axioms of General Boundary Quantum Field…
Gauging is a powerful operation on symmetries in quantum field theory (QFT), as it connects distinct theories and also reveals hidden structures in a given theory. We initiate a systematic investigation of gauging discrete generalized…
We study the apparent tension between locality and unitarity for symmetries in quantum field theory. This emerges in the context of categorical symmetries where symmetry operators are generically non-invertible. We argue that locality…
This paper suggests that traditional fermi-bose quantum field theories (QFT) in 3+1-D, like the standard model of physics, may often be exactly equivalent to the limiting case of a family of bosonic QFT (BQFT) which generate soliton…
It is pointed out that every renormalizable supersymmetric field theory has a symmetry which is hidden in plain sight, but is usually broken by soft terms which obey supersymmetry. On the other hand, the terms which break supersymmetry…
In spite of their evident logical character, particle statistics symmetries are not among the inherently quantum features exploited in quantum computation. A difficulty may be that, being a constant of motion of a unitary evolution, a…
Boundary conformal field theory (BCFT) is simply the study of conformal field theory (CFT) in domains with a boundary. It gains its significance because, in some ways, it is mathematically simpler: the algebraic and geometric structures of…
Large complexity classes, like the exponential time hierarchy, received little attention in terms of finding complete problems. In this work a generalization of propositional logic is investigated which fills this gap with the introduction…
Within the Hamiltonian framework, the propositions about a classical physical system are described in the Borel {\sigma}-algebra of a symplectic manifold (the phase space) where logical connectives are the standard set operations.…
This dissertation presents a study of dualities and generalized global symmetries in quantum field theories (QFTs) from the string theory perspective. Chapter 2 is based on the work arXiv:2110.03696 with Sebasti\'{a}n Franco, Alessandro…
Satisfiability (SAT) is a central problem in computer science, and advances in SAT-solving algorithms have a far-reaching impact across many fields. Recent works have proposed quantum SAT solvers based on Grover's algorithm, a quantum…
We propose a new formalism of quantum subsystems which allows to unify the existing and new methods of reduced description of quantum systems. The main mathematical ingredients are completely positive maps and correlation functions. In this…
We consider a class of weighted Emden-Fowler equations \begin{equation} \tag{$\mathcal P_{\alpha}$} \label{eqab} \left\{\begin{array}{ll} -\Delta u=V_{\alpha} (x) \, u^p & \text{in} \,\,B,\\ u>0 & \text{in} \,\,B,\\ u=0 &…
In this paper, we study the phenomenon of Hopf or more specifically quantum double symmetry breaking. We devise a criterion for this type of symmetry breaking which is more general than the one existing in the literature, and therefore…
We present a simple geometric construction linking geometric to deformation quantization. Both theories depend on some apparently arbitrary parameters, most importantly a polarization and a symplectic connection, and for real polarizations…
We present a quantum algorithm for approximating the linear structures of a Boolean function $f$. Different from previous algorithms (such as Simon's and Shor's algorithms) which rely on restrictions on the Boolean function, our algorithm…
Supersymmetry applied to quantum mechanics has given new insights in various topics of theoretical physics like analytically solvable potentials, WKB approximation or KdV solitons. Duality plays a central role in many supersymmetric…