Related papers: On First-Order GLSM for Sigma Models
Continuous first-order logic is used to apply model-theoretic analysis to analytic structures (e.g. Hilbert spaces, Banach spaces, probability spaces, etc.). Classical computable model theory is used to examine the algorithmic structure of…
A generalized symmetry of a system of differential equations is an infinitesimal transformation depending locally upon the fields and their derivatives which carries solutions to solutions. We classify all generalized symmetries of the…
We focus on nonconvex and nonsmooth minimization problems with a composite objective, where the differentiable part of the objective is freed from the usual and restrictive global Lipschitz gradient continuity assumption. This longstanding…
This paper addresses the challenge of modeling multi-way contingency tables for matched set data with ordinal categories. Although the complete symmetry and marginal homogeneity models are well established, they may not always provide a…
We present a generalization of the non-Abelian version of the $CP^{N-1}$ models (also known as Grassmannian models) that involve composite gauge fields to accommodate partial breaking of the non-Abelian gauge symmetry. For this to be…
The first part of these notes is a self-contained introduction to generalized complex geometry. It is intended as a `user manual' for tools used in the study of supersymmetric backgrounds of supergravity. In the second part we review some…
Recent developments in termination analysis for declarative programs emphasize the use of appropriate models for the logical theory representing the program at stake as a generic approach to prove termination of declarative programs. In…
The phase diagram of the Gross-Neveu model in $2+1$ space-time dimensions at non-zero temperature and chemical potential is studied in the limit of infinitely many flavors, focusing on the possible existence of inhomogeneous phases, where…
The classical GM(1,1) model is an efficient tool to {make accurate forecasts} with limited samples. But the accuracy of the GM(1,1) model still needs to be improved. This paper proposes a novel discrete GM(1,1) model, named ${\rm…
We consider a version of the Gross-Neveu model in 1+1 dimensions with discrete chiral and continuous flavor symmetry (isospin). In 2+1 dimensions, this model is known as chiral Heisenberg Gross-Neveu model. Spontaneous symmetry breaking and…
We prove that there exists a functorial correspondence between MV-algebras and partially cyclically ordered groups which are wound round of lattice-ordered groups. It follows that some results about cyclically ordered groups can be stated…
This is a review of how sigma models formulated in Superspace have become important tools for understanding geometry. Topics included are: The (hyper)k\"ahler reduction; projective superspace; the generalized Legendre construction;…
We study the optimization of non-convex functions that are not necessarily smooth (gradient and/or Hessian are Lipschitz) using first order methods. Smoothness is a restrictive assumption in machine learning in both theory and practice,…
We renormalize the Gross-Neveu-Yukawa model with an $O(N)$ symmetry to $\mathcal{O}(\epsilon^5)$ in $d=4-\epsilon$ dimensions and determine the anomalous dimensions of the fermion and scalar fields, $\beta$-functions as well as the scalar…
We introduce an elementary class of linearly ordered groups, called growth order groups, encompassing certain groups under composition of formal series (e.g. transseries) as well as certain groups $\mathcal{G}_{\mathcal{M}}$ of infinitely…
Generalized metrics, arising from Lawvere's view of metric spaces as enriched categories, have been widely applied in denotational semantics as a way to measure to which extent two programs behave in a similar, although non equivalent, way.…
There has been much recent interest in designing neural networks (NNs) with relaxed equivariance, which interpolate between exact equivariance and full flexibility for consistent performance gains. In a separate line of work, structured…
We obtain, for a subclass of structure functions characterizing a first class Hamiltonian system, recursive relations from which the general form of the local symmetry transformations can be constructed in terms of the independent gauge…
We develop a theory of higher order structures in compact abelian groups. In the frame of this theory we prove general inverse theorems and regularity lemmas for Gowers's uniformity norms. We put forward an algebraic interpretation of the…
We consider quantum aspects of a class of generalized Gross-Neveu models, which in special cases reduce to sigma models. We show that, in the case of gauged models, an admissible gauge is $A_\mu=0$, which is a direct analogue of the…