Dimension-Free Theory

Author(s):  
Parisa Hariri ◽  
Riku Klén ◽  
Matti Vuorinen
Keyword(s):  
2021 ◽  
Vol 2021 (4) ◽  
Author(s):  
Aleix Gimenez-Grau ◽  
Pedro Liendo ◽  
Philine van Vliet

Abstract Boundaries in three-dimensional $$ \mathcal{N} $$ N = 2 superconformal theories may preserve one half of the original bulk supersymmetry. There are two possibilities which are characterized by the chirality of the leftover supercharges. Depending on the choice, the remaining 2d boundary algebra exhibits $$ \mathcal{N} $$ N = (0, 2) or $$ \mathcal{N} $$ N = (1) supersymmetry. In this work we focus on correlation functions of chiral fields for both types of supersymmetric boundaries. We study a host of correlators using superspace techniques and calculate superconformal blocks for two- and three-point functions. For $$ \mathcal{N} $$ N = (1) supersymmetry, some of our results can be analytically continued in the spacetime dimension while keeping the codimension fixed. This opens the door for a bootstrap analysis of the ϵ-expansion in supersymmetric BCFTs. Armed with our analytically-continued superblocks, we prove that in the free theory limit two-point functions of chiral (and antichiral) fields are unique. The first order correction, which already describes interactions, is universal up to two free parameters. As a check of our analysis, we study the Wess-Zumino model with a super-symmetric boundary using Feynman diagrams, and find perfect agreement between the perturbative and bootstrap results.


2021 ◽  
Vol 2021 (7) ◽  
Author(s):  
Vijay Balasubramanian ◽  
Matthew DeCross ◽  
Arjun Kar ◽  
Yue Li ◽  
Onkar Parrikar

Abstract We use the SYK family of models with N Majorana fermions to study the complexity of time evolution, formulated as the shortest geodesic length on the unitary group manifold between the identity and the time evolution operator, in free, integrable, and chaotic systems. Initially, the shortest geodesic follows the time evolution trajectory, and hence complexity grows linearly in time. We study how this linear growth is eventually truncated by the appearance and accumulation of conjugate points, which signal the presence of shorter geodesics intersecting the time evolution trajectory. By explicitly locating such “shortcuts” through analytical and numerical methods, we demonstrate that: (a) in the free theory, time evolution encounters conjugate points at a polynomial time; consequently complexity growth truncates at O($$ \sqrt{N} $$ N ), and we find an explicit operator which “fast-forwards” the free N-fermion time evolution with this complexity, (b) in a class of interacting integrable theories, the complexity is upper bounded by O(poly(N)), and (c) in chaotic theories, we argue that conjugate points do not occur until exponential times O(eN), after which it becomes possible to find infinitesimally nearby geodesics which approximate the time evolution operator. Finally, we explore the notion of eigenstate complexity in free, integrable, and chaotic models.


2021 ◽  
Vol 2021 (6) ◽  
Author(s):  
Hannes Malcha ◽  
Hermann Nicolai

Abstract Supersymmetric Yang-Mills theories can be characterized by a non-local and non-linear transformation of the bosonic fields (Nicolai map) mapping the interacting functional measure to that of a free theory, such that the Jacobi determinant of the transformation equals the product of the fermionic determinants obtained by integrating out the gauginos and ghosts at least on the gauge hypersurface. While this transformation has been known so far only for the Landau gauge and to third order in the Yang-Mills coupling, we here extend the construction to a large class of (possibly non-linear and non-local) gauges, and exhibit the conditions for all statements to remain valid off the gauge hypersurface. Finally, we present explicit results to second order in the axial gauge and to fourth order in the Landau gauge.


2018 ◽  
Vol 782 ◽  
pp. 688-693 ◽  
Author(s):  
Jens Boos ◽  
Valeri P. Frolov ◽  
Andrei Zelnikov

1997 ◽  
Vol 98 (1) ◽  
pp. 169-176 ◽  
Author(s):  
M. Bando ◽  
J. Sato ◽  
K. Yoshioka
Keyword(s):  

1995 ◽  
Vol 06 (03) ◽  
pp. 203-234 ◽  
Author(s):  
YUKIYOSHI KAMEYAMA

This paper studies an extension of inductive definitions in the context of a type-free theory. It is a kind of simultaneous inductive definition of two predicates where the defining formulas are monotone with respect to the first predicate, but not monotone with respect to the second predicate. We call this inductive definition half-monotone in analogy of Allen’s term half-positive. We can regard this definition as a variant of monotone inductive definitions by introducing a refined order between tuples of predicates. We give a general theory for half-monotone inductive definitions in a type-free first-order logic. We then give a realizability interpretation to our theory, and prove its soundness by extending Tatsuta’s technique. The mechanism of half-monotone inductive definitions is shown to be useful in interpreting many theories, including the Logical Theory of Constructions, and Martin-Löf’s Type Theory. We can also formalize the provability relation “a term p is a proof of a proposition P” naturally. As an application of this formalization, several techniques of program/proof-improvement can be formalized in our theory, and we can make use of this fact to develop programs in the paradigm of Constructive Programming. A characteristic point of our approach is that we can extract an optimization program since our theory enjoys the program extraction theorem.


Sign in / Sign up

Export Citation Format

Share Document