Related papers: First order formalism for the holographic duals of…
We address the problem of characterizing $H$-coloring problems that are first-order definable on a fixed class of relational structures. In this context, we give several characterizations of a homomorphism dualities arising in a class of…
We consider the renormalization group flow equation for the two-dimensional sigma models with the K\"ahler target space. The first-order formulation allows us to treat perturbations in these models as current-current deformations. We…
Entanglement is resolved in conformal field theory (CFT) with respect to conformal families to all orders in the UV cutoff. To leading order, symmetry-resolved entanglement is connected to the quantum dimension of a conformal family, while…
We propose a holographic dual of a conformal field theory defined on a manifold with boundaries, i.e. boundary conformal field theory (BCFT). Our new holography, which may be called AdS/BCFT, successfully calculates the boundary entropy or…
This work deals with defect structures in models described by scalar fields. The investigations focus on generalized models, with the kinetic term modified to allow for a diversity of possibilities. We develop a new framework, in which we…
This paper investigates the relationship between the solvability of first-order differential equations and the topology of the underlying domain through the lens of de\,Rham cohomology. We analyze the conditions under which a closed 1-form…
Conformal order are isotropic and translationary invariant thermal states of a conformal theory with nonzero expectation value of certain operators. While ubiquitous in bottom-up models of holographic CFTs, conformal order states are…
We investigate the presence of twinlike models in theories described by several real scalar fields. We focus on the first-order formalism, and we show how to build distinct scalar field theories that support the same extended solution, with…
Two-dimensional conformal field theory (CFT) can be defined through its correlation functions. These must satisfy certain consistency conditions which arise from the cutting of world sheets along circles or intervals. The construction of a…
The existence of an exactly marginal deformation in a conformal field theory is very special, but it is not well understood how this is reflected in the allowed dimensions and OPE coefficients of local operators. To shed light on this…
We construct a lagrangian geometric formulation for first-order field theories using the canonical structures of first-order jet bundles, which are taken as the phase spaces of the systems in consideration. First of all, we construct all…
This paper discusses the method of formative rules for first-order term rewriting, which was previously defined for a higher-order setting. Dual to the well-known usable rules, formative rules allow dropping some of the term constraints…
In this paper we present a novel approach to graph (and structural) limits based on model theory and analysis. The role of Stone and Gelfand dualities is displayed prominently and leads to a general theory, which we believe is naturally…
Conformal nets provide a mathematical formalism for conformal field theory. Associated to a conformal net with finite index, we give a construction of the `bundle of conformal blocks', a representation of the mapping class groupoid of…
Defects in conformal field theories are interesting objects to study from both formal and applied points of view. In this paper, we construct conformal defects in free scalar field CFTs in diverse dimensions. After discussing the possible…
This is the first paper in a series that studies smooth relative Lie algebra homologies and cohomologies based on the theory of formal manifolds and formal Lie groups. In this paper, we lay the foundations for this study by introducing the…
We discuss conformal field theories (CFTs) in rectangular geometries, and develop a formalism that involves a conformal boundary state for the 1+1d open system. We focus on the case of homogeneous boundary conditions (no insertion of a…
We study two general approaches how to describe spin one particles, using vector and antisymmetric tensor fields within RChT. In this paper we focus on the question of an equivalence of both ways. The appearing problems lead us to the…
The Univalent Foundations requires a logic that allows us to define structures on homotopy types, similar to how first-order logic with equality ($\text{FOL}_=$) allows us to define structures on sets. We develop the syntax, semantics and…
Over the past two decades several fragments of first-order logic have been identified and shown to have good computational and algorithmic properties, to a great extent as a result of appropriately describing the image of the standard…