No Arabic abstract
It is shown that in semi-classical electrodynamics, which describes how electrically charged particles move according to the laws of quantum mechanics under the influence of a prescribed classical electromagnetic field, only a restricted class of gauge transformations is allowed. This lack of full gauge invariance, in contrast to the situation in classical and quantum electrodynamics which are fully gauge invariant theories, is due to the requirement that the scalar potential in the Hamiltonian of wave mechanics represent a physical potential. Probability amplitudes and energy differences are independent of gauge within this restricted class of gauge transformation.
The existence of a spectral gap above the ground state has far-reaching consequences for the low-energy physics of a quantum many-body system. A recent work of Movassagh [R. Movassagh, PRL 119 (2017), 220504] shows that a spatially random local quantum Hamiltonian is generically gapless. Here we observe that a gap is more common for translation-invariant quantum spin chains, more specifically, that these are gapped with a positive probability if the interaction is of small rank. This is in line with a previous analysis of the spin-$1/2$ case by Bravyi and Gosset. The Hamiltonians are constructed by selecting a single projection of sufficiently small rank at random, and then translating it across the entire chain. By the rank assumption, the resulting Hamiltonians are automatically frustration-free and this fact plays a key role in our analysis.
We consider a general gauge theory with independent generators and study the problem of gauge-invariant deformation of initial gauge-invariant classical action. The problem is formulated in terms of BV-formalism and is reduced to describing the general solution to the classical master equation. We show that such general solution is determined by two arbitrary generating functions of the initial fields. As a result, we construct in explicit form the deformed action and the deformed gauge generators in terms of above functions. We argue that the deformed theory must in general be non-local. The developed deformation procedure is applied to Abelian vector field theory and we show that it allows to derive non-Abelain Yang-Mills theory. This procedure is also applied to free massless integer higher spin field theory and leads to local cubic interaction vertex for such fields.
Differential categories provide an axiomatization of the basics of differentiation and categorical models of differential linear logic. As differentiation is an important tool throughout quantum mechanics and quantum information, it makes sense to study applications of the theory of differential categories to categorical quantum foundations. In categorical quantum foundations, compact closed categories (and therefore traced symmetric monoidal categories) are one of the main objects of study, in particular the category of finite-dimensional Hilbert spaces FHilb. In this paper, we will explain why the only differential category structure on FHilb is the trivial one. This follows from a sort of in-compatibility between the trace of FHilb and possible differential category structure. That said, there are interesting non-trivial examples of traced/compact closed differential categories, which we also discuss. The goal of this paper is to introduce differential categories to the broader categorical quantum foundation community and hopefully open the door to further work in combining these two fields. While the main result of this paper may seem somewhat negative in achieving this goal, we discuss interesting potential applications of differential categories to categorical quantum foundations.
In recent years philosophers of science have explored categorical equivalence as a promising criterion for when two (physical) theories are equivalent. On the one hand, philosophers have presented several examples of theories whose relationships seem to be clarified using these categorical methods. On the other hand, philosophers and logicians have studied the relationships, particularly in the first order case, between categorical equivalence and other notions of equivalence of theories, including definitional equivalence and generalized definitional (aka Morita) equivalence. In this article, I will express some skepticism about this approach, both on technical grounds and conceptual ones. I will argue that category structure (alone) likely does not capture the structure of a theory, and discuss some recent work in light of this claim.
The Gottesman-Knill theorem states that a Clifford circuit acting on stabilizer states can be simulated efficiently on a classical computer. Recently, this result has been generalized to cover inputs that are close to a coherent superposition of logarithmically many stabilizer states. The runtime of the classical simulation is governed by the stabilizer extent, which roughly measures how many stabilizer states are needed to approximate the state. An important open problem is to decide whether the extent is multiplicative under tensor products. An affirmative answer would yield an efficient algorithm for computing the extent of product inputs, while a negative result implies the existence of more efficient classical algorithms for simulating largescale quantum circuits. Here, we answer this question in the negative. Our result follows from very general properties of the set of stabilizer states, such as having a size that scales subexponentially in the dimension, and can thus be readily adapted to similar constructions for other resource theories.