On completeness and generalized symmetries in quantum field theory

We review a notion of completeness in QFT arising from the analysis of basic properties of the set of operator algebras attached to regions. In words, this completeness asserts that the physical observable algebras produced by local degrees of freedom are the maximal ones compatible with causality. We elaborate on equivalent statements to this completeness principle such as the non-existence of generalized symmetries and the uniqueness of the net of algebras. We clarify that for non-complete theories, the existence of generalized symmetries is unavoidable and further that they always come in dual pairs with precisely the same “size”. Moreover, the dual symmetries are always broken together, be it explicitly or effectively. Finally, we comment on several issues raised in recent literature, such as the relationship between completeness and modular invariance, dense sets of charges, and absence of generalized symmetries in the bulk of holographic theories.

Linear logic in normed cones: probabilistic coherence spaces and beyond

Ehrhard et al. (2018. Proceedings of the ACM on Programming Languages, POPL 2, Article 59.) proposed a model of probabilistic functional programming in a category of normed positive cones and stable measurable cone maps, which can be seen as a coordinate-free generalization of probabilistic coherence spaces (PCSs). However, unlike the case of PCSs, it remained unclear if the model could be refined to a model of classical linear logic. In this work, we consider a somewhat similar category which gives indeed a coordinate-free model of full propositional linear logic with nondegenerate interpretation of additives and sound interpretation of exponentials. Objects are dual pairs of normed cones satisfying certain specific completeness properties, such as existence of norm-bounded monotone weak limits, and morphisms are bounded (adjointable) positive maps. Norms allow us a distinct interpretation of dual additive connectives as product and coproduct. Exponential connectives are modeled using real analytic functions and distributions that have representations as power series with positive coefficients. Unlike the familiar case of PCSs, there is no reference or need for a preferred basis; in this sense the model is invariant. PCSs form a full subcategory, whose objects, seen as posets, are lattices. Thus, we get a model fitting in the tradition of interpreting linear logic in a linear algebraic setting, which arguably is free from the drawbacks of its predecessors.

Morita Equivalence of Formal Poisson Structures

We extend the notion of Morita equivalence of Poisson manifolds to the setting of formal Poisson structures, that is, formal power series of bivector fields $\pi =\pi _0 + \lambda \pi _1 +\cdots $ satisfying the Poisson integrability condition $[\pi ,\pi ]=0$. Our main result gives a complete description of Morita equivalent formal Poisson structures deforming the zero structure ($\pi _0=0$) in terms of $B$-field transformations, relying on a general study of formal deformations of Poisson morphisms and dual pairs. Combined with previous work on Morita equivalence of star products [ 5], our results link the notions of Morita equivalence in Poisson geometry and noncommutative algebra via deformation quantization.

Factorised 3d $$ \mathcal{N} $$ = 4 orthosymplectic quivers

We study the moduli space of 3d $$ \mathcal{N} $$ N = 4 quiver gauge theories with unitary, orthogonal and symplectic gauge nodes, that fall into exceptional sequences. We find that both the Higgs and Coulomb branches of the moduli space factorise into decoupled sectors. Each decoupled sector is described by a single quiver gauge theory with only unitary gauge nodes. The orthosymplectic quivers serve as magnetic quivers for 5d $$ \mathcal{N} $$ N = 1 superconformal field theories which can be engineered in type IIB string theories both with and without an O5 plane. We use this point of view to postulate the dual pairs of unitary and orthosymplectic quivers by deriving them as magnetic quivers of the 5d theory. We use this correspondence to conjecture exact highest weight generating functions for the Coulomb branch Hilbert series of the orthosymplectic quivers, and provide tests of these results by directly computing the Hilbert series for the orthosymplectic quivers in a series expansion.

Dual Pairs of Matroids with Coefficients in Finitary Fuzzy Rings of Arbitrary Rank

Infinite matroids have been defined by Reinhard Diestel and coauthors in such a way that this class is (together with the finite matroids) closed under dualization and taking minors. On the other hand, Andreas Dress introduced a theory of matroids with coefficients in a fuzzy ring which is – from a combinatorial point of view – less general, because within this theory every circuit has a finite intersection with every cocircuit. Within the present paper, we extend the theory of matroids with coefficients to more general classes of matroids, if the underlying fuzzy ring has certain properties to be specified.

Theta correspondence for p-adic dual pairs of type I

We describe explicitly the Howe correspondence for the symplectic-orthogonal and unitary dual pairs over a nonarchimedean local field of characteristic zero. More specifically, for every irreducible admissible representation of these groups, we find its first occurrence index in the theta correspondence and we describe, in terms of their Langlands parameters, the small theta lifts on all levels.