Showing 1–50 of 76 results for author: Kim, H

Classical Estimation of the Free Energy and Quantum Gibbs Sampling from the Markov Entropy Decomposition

Authors: Samuel O. Scalet, Angela Capel, Anirban N. Chowdhury, Hamza Fawzi, Omar Fawzi, Isaac H. Kim, Arkin Tikku

Abstract: We revisit the Markov Entropy Decomposition, a classical convex relaxation algorithm introduced by Poulin and Hastings to approximate the free energy in quantum spin lattices. We identify a sufficient condition for its convergence, namely the decay of the effective interaction. We prove that this condition is satisfied for systems in 1D at any temperature as well as in the high-temperature regime… ▽ More We revisit the Markov Entropy Decomposition, a classical convex relaxation algorithm introduced by Poulin and Hastings to approximate the free energy in quantum spin lattices. We identify a sufficient condition for its convergence, namely the decay of the effective interaction. We prove that this condition is satisfied for systems in 1D at any temperature as well as in the high-temperature regime under a certain commutativity condition on the Hamiltonian. This yields polynomial and quasi-polynomial time approximation algorithms in these settings, respectively. Furthermore, the decay of the effective interaction implies the decay of the conditional mutual information for the Gibbs state of the system. We then use this fact to devise a rounding scheme that maps the solution of the convex relaxation to a global state and show that the scheme can be efficiently implemented on a quantum computer, thus proving efficiency of quantum Gibbs sampling under our assumption of decay of the effective interaction. △ Less

Submitted 24 April, 2025; originally announced April 2025.

Duality Anomalies in Linearized Gravity

Authors: Leron Borsten, Michael J. Duff, Dimitri Kanakaris, Hyungrok Kim

Abstract: Classical linearized gravity admits a dual formulation in terms of a higher-rank tensor field. Proposing a prescription for the instanton sectors of linearized gravity and its dual, we show that they may be quantum inequivalent in even dimensions. The duality anomaly is obtained by resolving the dual graviton theories into vector-valued $p$-form electrodynamics and is controlled by the Reidemeiste… ▽ More Classical linearized gravity admits a dual formulation in terms of a higher-rank tensor field. Proposing a prescription for the instanton sectors of linearized gravity and its dual, we show that they may be quantum inequivalent in even dimensions. The duality anomaly is obtained by resolving the dual graviton theories into vector-valued $p$-form electrodynamics and is controlled by the Reidemeister torsion, Ray-Singer torsion and Euler characteristic of the cotangent bundle. Under the proposed instanton prescription the duality anomaly vanishes for an odd number of spacetime dimensions as a consequence of the celebrated Cheeger-Müller theorem. In the presence of a gravitational $θ$-term, the partition function is a modular form in direct analogy to Abelian S-duality for Maxwell theory. △ Less

Submitted 23 April, 2025; v1 submitted 22 April, 2025; originally announced April 2025.

Comments: 8 pages. Added acknowledgments

MSC Class: 81T50 (Primary) 83C25; 58J52; 57Q10 (Secondary)

A new density limit for unanimity in majority dynamics on random graphs

Authors: Jeong Han Kim, BaoLinh Tran

Abstract: Majority dynamics is a process on a simple, undirected graph $G$ with an initial Red/Blue color for every vertex of $G$. Each day, each vertex updates its color following the majority among its neighbors, using its previous color for tie-breaking. The dynamics achieves \textit{unanimity} if every vertex has the same color after finitely many days, and such color is said to \textit{win}. When… ▽ More Majority dynamics is a process on a simple, undirected graph $G$ with an initial Red/Blue color for every vertex of $G$. Each day, each vertex updates its color following the majority among its neighbors, using its previous color for tie-breaking. The dynamics achieves \textit{unanimity} if every vertex has the same color after finitely many days, and such color is said to \textit{win}. When $G$ is a $G(n,p)$ random graph, L. Tran and Vu (2019) found a codition in terms of $p$ and the initial difference $2Δ$ beteween the sizes of the Red and Blue camps, such that unanimity is achieved with probability arbitrarily close to 1. They showed that if $pΔ^2 \gg1 $, $pΔ\geq 100$, and $p\geq (1+\varepsilon) n^{-1}\log n$ for a positive constant $\varepsilon$, then unanimity occurs with probability $1 - o(1)$. If $p$ is not extremely small, namely $p > \log^{-1/16} n $, then Sah and Sawhney (2022) showed that the condition $pΔ^2 \gg 1$ is sufficient. If $n^{-1}\log^2 n \ll p \ll n^{-1/2}\log^{1/4} n$, we show that $p^{3/2}Δ\gg n^{-1/2}\log n$ is enough. Since this condition holds if $pΔ\geq 100$ for $p$ in this range, this is an improvement of Tran's and Vu's result. For the closely related problem of finding the optimal condition for $p$ to achieve unanimity when the initial coloring is chosen uniformly at random among all possible Red/Blue assignments, our result implies a new lower bound $p \gg n^{-2/3}\log^{2/3} n$, which improves upon the previous bound of $n^{-3/5}\log n$ by Chakraborti, Kim, Lee and T. Tran (2021). △ Less

Submitted 10 March, 2025; originally announced March 2025.

Comments: 22 pages, 0 figures

MSC Class: 05C80; 05C82; 05C85; 05C90 ACM Class: G.2.2; F.2.2

Homotopy Manin Theories: Generalising Third-Way, Yang-Mills and Integrable Sigma Models

Authors: Alex S. Arvanitakis, Leron Borsten, Dimitri Kanakaris, Hyungrok Kim

Abstract: Manin theories are a class of non-topological deformations of Chern-Simons theories that naturally realise the third-way mechanism and furthermore admit localisation despite not being supersymmetric in the usual sense. In this paper, we extend this construction to higher dimensions, thereby producing a large class of examples of third-way-type theories. Furthermore, the construction naturally yiel… ▽ More Manin theories are a class of non-topological deformations of Chern-Simons theories that naturally realise the third-way mechanism and furthermore admit localisation despite not being supersymmetric in the usual sense. In this paper, we extend this construction to higher dimensions, thereby producing a large class of examples of third-way-type theories. Furthermore, the construction naturally yields Yang-Baxter integrable deformations of the principal chiral model as well as gravitational models various dimensions. △ Less

Submitted 27 February, 2025; originally announced February 2025.

Comments: 24 pages

MSC Class: 70S15 (Primary) 17B62; 81R12; 17B81 (Secondary)

Scaling limit and tail bounds for a random walk model of SOS level lines

Authors: Milind Hegde, Yujin H. Kim, Christian Serio

Abstract: This paper analyzes a random walk model for the level lines appearing in the entropic repulsion phenomena of three-dimensional discrete random interfaces above a hard wall; we are particularly motivated by the low-temperature (2+1)D solid-on-solid (SOS) model, where the emergence of these level lines has been rigorously established. The model we consider is a line ensemble of non-crossing random w… ▽ More This paper analyzes a random walk model for the level lines appearing in the entropic repulsion phenomena of three-dimensional discrete random interfaces above a hard wall; we are particularly motivated by the low-temperature (2+1)D solid-on-solid (SOS) model, where the emergence of these level lines has been rigorously established. The model we consider is a line ensemble of non-crossing random walk bridges above a wall with geometrically growing area tilts. Our main result, which in particular resolves a question of Caputo, Ioffe, and Wachtel (2019), is an edge 1:2:3 scaling limit for this ensemble as the domain size $N$ diverges, with a growing number of walks (including the number of level lines of the SOS model) and high boundary conditions (covering the maximum upper deviation of the SOS level lines). As a key input, we establish Tracy--Widom-type upper tail bounds for each of the relevant curves in the line ensemble. An ingredient which may be of independent interest is a ballot theorem for random walk bridges under a broader range of boundary values than available in the literature. △ Less

Submitted 14 February, 2025; originally announced February 2025.

Comments: 60 pages, 7 figures

MSC Class: 60G50; 60F17; 82B41; 82B20

On coefficients of operator product expansions for quantum field theories with ordinary, holomorphic, and topological spacetime dimensions

Authors: Luigi Alfonsi, Hyungrok Kim

Abstract: In many quantum field theories (such as higher-dimensional holomorphic field theories or raviolo theories), operator product expansions of local operators can have as coefficients not only ordinary functions but also 'derived' functions with nonzero ghost number, which are certain elements of sheaf cohomology. We analyse the 'derived' functions that should appear in operator product expansions for… ▽ More In many quantum field theories (such as higher-dimensional holomorphic field theories or raviolo theories), operator product expansions of local operators can have as coefficients not only ordinary functions but also 'derived' functions with nonzero ghost number, which are certain elements of sheaf cohomology. We analyse the 'derived' functions that should appear in operator product expansions for a quantum field theory with an arbitrary number of topological, holomorphic and/or ordinary spacetime dimensions and identify necessary and sufficient conditions for such 'derived' functions to appear. In particular, theories with one topological spacetime dimension and multiple ordinary spacetime dimensions provide a smooth analogue of the (holomorphic) raviolo. △ Less

Submitted 7 February, 2025; originally announced February 2025.

Comments: 15 pages, 2 figures

MSC Class: 81T05 (Primary) 55N30; 81T45; 81T40 (Secondary)

Full S-matrices and Witten diagrams with (relative) L-infinity algebras

Authors: Luigi Alfonsi, Leron Borsten, Hyungrok Kim, Martin Wolf, Charles Alastair Stephen Young

Abstract: The $L_\infty$-algebra approach to scattering amplitudes elegantly describes the nontrivial part of the $S$-matrix but fails to take into account the trivial part. We argue that the trivial contribution to the $S$-matrix should be accounted for by another, complementary $L_\infty$-algebra, such that a perturbative field theory is described by a cyclic relative $L_\infty$-algebra. We further demons… ▽ More The $L_\infty$-algebra approach to scattering amplitudes elegantly describes the nontrivial part of the $S$-matrix but fails to take into account the trivial part. We argue that the trivial contribution to the $S$-matrix should be accounted for by another, complementary $L_\infty$-algebra, such that a perturbative field theory is described by a cyclic relative $L_\infty$-algebra. We further demonstrate that this construction reproduces Witten diagrams that arise in AdS/CFT including, in particular, the trivial Witten diagrams corresponding to CFT two-point functions. We also discuss Chern-Simons theory and Yang-Mills theory on manifolds with boundaries using this approach. △ Less

Submitted 20 December, 2024; originally announced December 2024.

Comments: 35 pages

Report number: DMUS-MP-24/08 MSC Class: 81T18 (Primary) 81T13; 81T35; 17B56; 17B81 (Secondary)

Strings as Hyper-Fractons

Authors: Erica Bertolini, Hyungrok Kim

Abstract: We systematically examine all possible Gauss laws obeying spatial rotation symmetry, characterising the corresponding conserved charges. In the case of conserved higher moments, this gives rise to fractonic behaviour. We show that many Gauss laws, including those arising from $p$-form electrodynamics, in fact, produce an infinite tower of conserved moments, which we dub hyper-fractonic. In hyper-f… ▽ More We systematically examine all possible Gauss laws obeying spatial rotation symmetry, characterising the corresponding conserved charges. In the case of conserved higher moments, this gives rise to fractonic behaviour. We show that many Gauss laws, including those arising from $p$-form electrodynamics, in fact, produce an infinite tower of conserved moments, which we dub hyper-fractonic. In hyper-fractonic systems, a finite number of charged particles cannot be mobile due to an inability of fulfilling the infinite number of conservation laws with a finite number of degrees of freedom. Instead, mobile charged objects must have an infinite number of degrees of freedom. In particular, the strings and branes naturally coupling to $p$-form potentials provide an example of hyper-fractonic matter. △ Less

Submitted 28 October, 2024; v1 submitted 15 October, 2024; originally announced October 2024.

Comments: 17 pages. v2: added citations

MSC Class: 70S10 (Primary) 70S15; 82D03 (Secondary)

Covariant Interacting Fractons

Authors: Erica Bertolini, Hyungrok Kim

Abstract: We show that there exists a natural analogue of the Yang-Mills equations using the Frölicher-Nijenhuis bracket between vector-valued differential forms. The gauge field is a rank-two tensor, and when one constrains it to be symmetric, then the system exhibits fractonic behaviours. In the linearised limit, the constrained equations of motion reduce to those of the covariant fracton model [Bertolini… ▽ More We show that there exists a natural analogue of the Yang-Mills equations using the Frölicher-Nijenhuis bracket between vector-valued differential forms. The gauge field is a rank-two tensor, and when one constrains it to be symmetric, then the system exhibits fractonic behaviours. In the linearised limit, the constrained equations of motion reduce to those of the covariant fracton model [Bertolini-Maggiore 2022]. △ Less

Submitted 2 October, 2024; originally announced October 2024.

Comments: 13 pages

Report number: DIAS-STP-24-21 MSC Class: 70S15 (Primary) 17B66; 82D03; 83D99 (Secondary)

Journal ref: Phys. Rev. D 111, 025006 (2025)

$\mathrm{U}(1)^{n}$ Chern-Simons theory: partition function, reciprocity formula and CS-duality

Authors: Han-Miru Kim, Philippe Mathieu, Michail Tagaris, Frank Thuillier

Abstract: The $\mathrm{U}(1)$ Chern-Simons theory can be extended to a topological $\mathrm{U}(1)^n$ theory by taking a combination of Chern-Simons and BF actions, the mixing being achieved with the help of a collection of integer coupling constants. Based on the Deligne-Beilinson cohomology, a partition function can then be computed for such a $\mathrm{U}(1)^n$ Chern-Simons theory. This partition function… ▽ More The $\mathrm{U}(1)$ Chern-Simons theory can be extended to a topological $\mathrm{U}(1)^n$ theory by taking a combination of Chern-Simons and BF actions, the mixing being achieved with the help of a collection of integer coupling constants. Based on the Deligne-Beilinson cohomology, a partition function can then be computed for such a $\mathrm{U}(1)^n$ Chern-Simons theory. This partition function is clearly a topological invariant of the closed oriented $3$-manifold on which the theory is defined. Then, by applying a reciprocity formula a new expression of this invariant is obtained which should be a Reshetikhin-Turaev invariant. Finally, a duality between $\mathrm{U}(1)^n$ Chern-Simons theories is demonstrated. △ Less

Submitted 16 September, 2024; originally announced September 2024.

Comments: 38 pages, 2 figures

Journal ref: J. Math. Phys. 66, 042301 (2025)

Ambitwistor Yang-Mills Theory Revisited

Authors: Leron Borsten, Branislav Jurco, Hyungrok Kim, Christian Saemann, Martin Wolf

Abstract: Inspired by the Movshev-Mason-Skinner Cauchy-Riemann (CR) ambitwistor approach, we provide a rigorous yet elementary construction of a twisted CR holomorphic Chern-Simons action on CR ambitwistor space for maximally supersymmetric Yang-Mills theory on four-dimensional Euclidean space. The key ingredient in our discussion is the homotopy algebraic perspective on perturbative quantum field theory. U… ▽ More Inspired by the Movshev-Mason-Skinner Cauchy-Riemann (CR) ambitwistor approach, we provide a rigorous yet elementary construction of a twisted CR holomorphic Chern-Simons action on CR ambitwistor space for maximally supersymmetric Yang-Mills theory on four-dimensional Euclidean space. The key ingredient in our discussion is the homotopy algebraic perspective on perturbative quantum field theory. Using this technology, we show that both theories are semi-classically equivalent, that is, we construct a quasi-isomorphism between the cyclic $L_\infty$-algebras governing both field theories. This confirms a conjecture from the literature. Furthermore, we also show that the Yang-Mills action is obtained by integrating out an infinite tower of auxiliary fields in the Chern-Simons action, that is, the two theories are related by homotopy transfer. Given its simplicity, this Chern-Simons action should form a fruitful starting point for analysing perturbative properties of Yang-Mills theory. △ Less

Submitted 28 April, 2025; v1 submitted 29 August, 2024; originally announced August 2024.

Comments: v3: 43 pages, typos fixed and clarifications added, version published in Annales Henri Poincare

Report number: DMUS-MP-24/06

Journal ref: Annales Henri Poincare (2025)

Homotopy representations of extended holomorphic symmetry in holomorphic twists

Authors: Simon Jonsson, Hyungrok Kim, Charles Alastair Stephen Young

Abstract: We argue that holomorphic twists of supersymmetric field theories naturally come with a symmetry $L_\infty$-algebra that nontrivially extends holomorphic symmetry. This symmetry acts on spacetime fields only up to homotopy, and the extension is only visible at the level of higher components of the action. We explicitly compute this for the holomorphic twist of ten-dimensional supersymmetric Yang-M… ▽ More We argue that holomorphic twists of supersymmetric field theories naturally come with a symmetry $L_\infty$-algebra that nontrivially extends holomorphic symmetry. This symmetry acts on spacetime fields only up to homotopy, and the extension is only visible at the level of higher components of the action. We explicitly compute this for the holomorphic twist of ten-dimensional supersymmetric Yang-Mills theory, which produces a nontrivial action of a higher $L_\infty$-algebra on (a graded version) of five-dimensional affine space. △ Less

Submitted 23 August, 2024; v1 submitted 1 August, 2024; originally announced August 2024.

Comments: 26 pages. Added additional references and minor clarifications

MSC Class: 81T13 (Primary) 17B55; 17B81; 32A38 (Secondary)

On Ruijsenaars-Schneider spectrum from superconformal indices and ramified instantons

Authors: Hee-Cheol Kim, Anton Nedelin, Shlomo S. Razamat

Abstract: We discuss two physics-inspired approaches to derivation of the eigenfunctions and eigenvalues of $A_N$ Ruijsenaars-Schneider model. First approach which was recently proposed by the authors relies on the computations of superconformal indices of class $\mathcal{S}$ $4d$ ${\mathcal N}=2$ theories with the insertion of surface defects. Second approach uses computations of Nekrasov-Shatashvili limit… ▽ More We discuss two physics-inspired approaches to derivation of the eigenfunctions and eigenvalues of $A_N$ Ruijsenaars-Schneider model. First approach which was recently proposed by the authors relies on the computations of superconformal indices of class $\mathcal{S}$ $4d$ ${\mathcal N}=2$ theories with the insertion of surface defects. Second approach uses computations of Nekrasov-Shatashvili limit of $5d$ ${\mathcal N} = 1^*$ instanton partition functions in the presence of co-dimension two defect. We compare results of these two approaches for the low-lying levels of Ruijsenaars-Schneider model. We also discuss different previously proposed exact quantization conditions for the Coulomb branch parameters of the instanton partition functions and their interpretations in terms of index calculations. △ Less

Submitted 11 July, 2024; originally announced July 2024.

Comments: 25 pages

Topological Classification of Symmetry Breaking and Vacuum Degeneracy

Authors: Simon-Raphael Fischer, Mehran Jalali Farahani, Hyungrok Kim, Christian Saemann

Abstract: We argue that a general system of scalar fields and gauge fields manifesting vacuum degeneracy induces a principal groupoid bundle over spacetime and that the pattern of spontaneous symmetry breaking and the Higgs mechanism are encoded by the singular foliation canonically induced on the moduli space of scalar vacuum expectation values by the Lie groupoid structure. Recent mathematical results in… ▽ More We argue that a general system of scalar fields and gauge fields manifesting vacuum degeneracy induces a principal groupoid bundle over spacetime and that the pattern of spontaneous symmetry breaking and the Higgs mechanism are encoded by the singular foliation canonically induced on the moduli space of scalar vacuum expectation values by the Lie groupoid structure. Recent mathematical results in the classification of singular foliations then provide a qualitative classification of the possible patterns of vacuum degeneracy. △ Less

Submitted 25 June, 2024; originally announced June 2024.

Comments: 7 pages, 5 figures, 1 table

MSC Class: 53C12 (Primary) 70S15; 81T13; 57R30 (Secondary)

Adjusted Connections I: Differential Cocycles for Principal Groupoid Bundles with Connection

Authors: Simon-Raphael Fischer, Mehran Jalali Farahani, Hyungrok Kim, Christian Saemann

Abstract: We develop a new perspective on principal bundles with connection as morphisms from the tangent bundle of the underlying manifold to a classifying dg-Lie groupoid. This groupoid can be identified with a lift of the inner homomorphisms groupoid arising in Ševera's differentiation procedure of Lie quasi-groupoids. Our new perspective readily extends to principal groupoid bundles, but requires an adj… ▽ More We develop a new perspective on principal bundles with connection as morphisms from the tangent bundle of the underlying manifold to a classifying dg-Lie groupoid. This groupoid can be identified with a lift of the inner homomorphisms groupoid arising in Ševera's differentiation procedure of Lie quasi-groupoids. Our new perspective readily extends to principal groupoid bundles, but requires an adjustment, an additional datum familiar from higher gauge theory. We show that for Lie groupoids, the additional adjustment data amounts to a Cartan connection. The resulting adjusted connections naturally provide a global formulation of the kinematical data of curved Yang-Mills-Higgs theories as described by Kotov-Strobl (arXiv:1510.07654) and Fischer (arXiv:2104.02175). △ Less

Submitted 10 June, 2025; v1 submitted 24 June, 2024; originally announced June 2024.

Comments: v3: 1+77 pages, full identification of adjustments with Cartan connections, presentation improved, typos fixed, references and integrated curvature equation added

Classifying 2D topological phases: mapping ground states to string-nets

Authors: Isaac H. Kim, Daniel Ranard

Abstract: We prove the conjectured classification of topological phases in two spatial dimensions with gappable boundary, in a simplified setting. Two gapped ground states of lattice Hamiltonians are in the same quantum phase of matter, or topological phase, if they can be connected by a constant-depth quantum circuit. It is conjectured that the Levin-Wen string-net models exhaust all possible gapped phases… ▽ More We prove the conjectured classification of topological phases in two spatial dimensions with gappable boundary, in a simplified setting. Two gapped ground states of lattice Hamiltonians are in the same quantum phase of matter, or topological phase, if they can be connected by a constant-depth quantum circuit. It is conjectured that the Levin-Wen string-net models exhaust all possible gapped phases with gappable boundary, and these phases are labeled by unitary modular tensor categories. We prove this under the assumption that every phase has a representative state with zero correlation length satisfying the entanglement bootstrap axioms, or a strict form of area law. Our main technical development is to transform these states into string-net states using constant-depth quantum circuits. △ Less

Submitted 27 May, 2024; originally announced May 2024.

Comments: 48 pages, many figures

Quantized geodesic lengths for Teichmüller spaces: algebraic aspects

Authors: Hyun Kyu Kim

Abstract: In 1980's H Verlinde suggested to construct and use a quantization of Teichmüller spaces to construct spaces of conformal blocks for the Liouville conformal field theory. This suggestion led to a mathematical formulation by Fock in 1990's and later by Fock, Goncharov and Shen, called the modular functor conjecture, based on the Chekhov-Fock quantum Teichmüller theory. In 2000's Teschner combined t… ▽ More In 1980's H Verlinde suggested to construct and use a quantization of Teichmüller spaces to construct spaces of conformal blocks for the Liouville conformal field theory. This suggestion led to a mathematical formulation by Fock in 1990's and later by Fock, Goncharov and Shen, called the modular functor conjecture, based on the Chekhov-Fock quantum Teichmüller theory. In 2000's Teschner combined the Chekhov-Fock version and the Kashaev version of quantum Teichmüller theory to construct a solution to a modified form of the conjecture. We embark on a direct approach to the conjecture based on the Chekhov-Fock(-Goncharov) theory. We construct quantized trace-of-monodromy along simple loops via Bonahon and Wong's quantum trace maps developed in 2010's, and investigate algebraic structures of them, which will eventually lead to construction and properties of quantized geodesic length operators. We show that a special recursion relation used by Teschner is satisfied by the quantized trace-of-monodromy, and that the quantized trace-of-monodromy for disjoint loops commute in a certain strong sense. △ Less

Submitted 6 June, 2025; v1 submitted 23 May, 2024; originally announced May 2024.

Comments: 67 pages; v2,v3: minor updates

MSC Class: 18M20; 57K31; 57K20; 13F60; 81R60; 46L65

Out-of-time-order asymptotic observables are quasi-isomorphic to time-ordered amplitudes

Authors: Leron Borsten, Simon Jonsson, Hyungrok Kim

Abstract: Asymptotic observables in quantum field theory beyond the familiar $S$-matrix have recently attracted much interest, for instance in the context of gravity waveforms. Such observables can be understood in terms of Schwinger-Keldysh-type 'amplitudes' computed by a set of modified Feynman rules involving cut internal legs and external legs labelled by time-folds. In parallel, a homotopy-algebraic… ▽ More Asymptotic observables in quantum field theory beyond the familiar $S$-matrix have recently attracted much interest, for instance in the context of gravity waveforms. Such observables can be understood in terms of Schwinger-Keldysh-type 'amplitudes' computed by a set of modified Feynman rules involving cut internal legs and external legs labelled by time-folds. In parallel, a homotopy-algebraic understanding of perturbative quantum field theory has emerged in recent years. In particular, passing through homotopy transfer, the $S$-matrix of a perturbative quantum field theory can be understood as the minimal model of an associated (quantum) $L_\infty$-algebra. Here we bring these two developments together. In particular, we show that Schwinger-Keldysh amplitudes are naturally encoded in an $L_\infty$-algebra, similar to ordinary scattering amplitudes. As before, they are computed via homotopy transfer, but using deformation-retract data that are not canonical (in contrast to the conventional $S$-matrix). We further show that the $L_\infty$-algebras encoding Schwinger-Keldysh amplitudes and ordinary amplitudes are quasi-isomorphic (meaning, in a suitable sense, equivalent). This entails a set of recursion relations that enable one to compute Schwinger-Keldysh amplitudes in terms of ordinary amplitudes or vice versa. △ Less

Submitted 12 August, 2024; v1 submitted 17 May, 2024; originally announced May 2024.

Comments: 27 pages. Published version: typos corrected and the review in sec. 5.1 includes clarifying remarks

MSC Class: 81T18 (Primary) 17B55; 18G50 (Secondary)

Journal ref: J. High Energ. Phys. 2024, 74 (2024)

Disorder Chaos in Short-Range, Diluted, and Lévy Spin Glasses

Authors: Wei-Kuo Chen, Heejune Kim, Arnab Sen

Abstract: In a recent breakthrough [arXiv:2301.04112], Chatterjee proved site disorder chaos in the Edwards-Anderson (EA) short-range spin glass model utilizing the Hermite spectral method. In this paper, we demonstrate the further usefulness of this Hermite spectral approach by extending the validity of site disorder chaos in three related spin glass models. The first, called the mixed even $p$-spin shor… ▽ More In a recent breakthrough [arXiv:2301.04112], Chatterjee proved site disorder chaos in the Edwards-Anderson (EA) short-range spin glass model utilizing the Hermite spectral method. In this paper, we demonstrate the further usefulness of this Hermite spectral approach by extending the validity of site disorder chaos in three related spin glass models. The first, called the mixed even $p$-spin short-range model, is a generalization of the EA model where the underlying graph is a deterministic bounded degree hypergraph consisting of hyperedges with even number of vertices. The second model is the diluted mixed $p$-spin model, which is allowed to have hyperedges with both odd and even number of vertices. For both models, our results hold under general symmetric disorder distributions. The main novelty of our argument is played by an elementary algebraic equation for the Fourier-Hermite series coefficients for the two-spin correlation functions. It allows us to deduce necessary geometric conditions to determine the contributing coefficients in the overlap function, which in spirit is the same as the crucial Lemma 1 in [arXiv:2301.04112]. Finally, we also establish disorder chaos in the Lévy model with stable index $α\in (1, 2)$. △ Less

Submitted 8 April, 2025; v1 submitted 14 April, 2024; originally announced April 2024.

Comments: The latest version includes an appendix providing a lower bound for small perturbations. 28 pages, 3 Figures. To appear in AIHP

MSC Class: 60K35; 82B44

Higher Gauge Theory

Authors: Leron Borsten, Mehran Jalali Farahani, Branislav Jurco, Hyungrok Kim, Jiri Narozny, Dominik Rist, Christian Saemann, Martin Wolf

Abstract: This is an invited survey article on higher gauge theory for the Encyclopedia of Mathematical Physics, 2nd edition. In particular, we provide a lightning introduction to higher structures and to the construction of the kinematical data of higher gauge theories, i.e. connections on higher principal bundles. We also summarise the most important applications and dynamical principles that have appeare… ▽ More This is an invited survey article on higher gauge theory for the Encyclopedia of Mathematical Physics, 2nd edition. In particular, we provide a lightning introduction to higher structures and to the construction of the kinematical data of higher gauge theories, i.e. connections on higher principal bundles. We also summarise the most important applications and dynamical principles that have appeared in the literature, and we close with comments on related areas. △ Less

Submitted 10 January, 2024; originally announced January 2024.

Comments: 36 pages text, 17 pages references

Report number: EMPG-24-01, DMUS-MP-24/01

Temperature upper bound of an ideal gas

Authors: Hyeong-Chan Kim

Abstract: We study thermodynamics of a heat-conducting ideal gas system. The study is based on i) the first law of thermodynamics from action formulation which expects heat-dependence of energy density and ii) the existence condition of a (local) Lorentz boost between an Eckart observer and a Landau-Lifshitz observer--a condition that extends the stability criterion of thermal equilibrium. The implications… ▽ More We study thermodynamics of a heat-conducting ideal gas system. The study is based on i) the first law of thermodynamics from action formulation which expects heat-dependence of energy density and ii) the existence condition of a (local) Lorentz boost between an Eckart observer and a Landau-Lifshitz observer--a condition that extends the stability criterion of thermal equilibrium. The implications of these conditions include: i) Heat contributes to the energy density through the combination $q/nΘ^2$ where $q$, $n$, and $Θ$ represent heat, the number density, and the temperature, respectively. ii) The energy density has a unique minimum at $q=0$. iii) The temperature upper bound suppresses the heat dependence of the energy density inverse quadratically. This result explains why the expected heat dependence is difficult to observe in ordinary situation thermodynamics. △ Less

Submitted 11 July, 2024; v1 submitted 12 November, 2023; originally announced November 2023.

Comments: 9 pages, 2 figure, some changes, to appear in Heliyon

Journal ref: Heliyon 10 (2024) e34249

On level line fluctuations of SOS surfaces above a wall

Authors: Patrizio Caddeo, Yujin H. Kim, Eyal Lubetzky

Abstract: We study the low temperature $(2+1)$D Solid-On-Solid model on $[[1, L ]]^2$ with zero boundary conditions and nonnegative heights (a floor at height $0$). Caputo et al. (2016) established that this random surface typically admits either $\mathfrak h $ or $\mathfrak h+1$ many nested macroscopic level line loops $\{\mathcal L_i\}_{i\geq 0}$ for an explicit $\mathfrak h\asymp \log L$, and its top loo… ▽ More We study the low temperature $(2+1)$D Solid-On-Solid model on $[[1, L ]]^2$ with zero boundary conditions and nonnegative heights (a floor at height $0$). Caputo et al. (2016) established that this random surface typically admits either $\mathfrak h $ or $\mathfrak h+1$ many nested macroscopic level line loops $\{\mathcal L_i\}_{i\geq 0}$ for an explicit $\mathfrak h\asymp \log L$, and its top loop $\mathcal L_0$ has cube-root fluctuations: e.g., if $ρ(x)$ is the vertical displacement of $\mathcal L_0$ from the bottom boundary point $(x,0)$, then $\max ρ(x) = L^{1/3+o(1)}$ over $x\in I_0:=L/2+[[-L^{2/3},L^{2/3}]]$. It is believed that rescaling $ρ$ by $L^{1/3}$ and $I_0$ by $L^{2/3}$ would yield a limit law of a diffusion on $[-1,1]$. However, no nontrivial lower bound was known on $ρ(x)$ for a fixed $x\in I_0$ (e.g., $x=\frac L2$), let alone on $\minρ(x)$ in $I_0$, to complement the bound on $\maxρ(x)$. Here we show a lower bound of the predicted order $L^{1/3}$: for every $ε>0$ there exists $δ>0$ such that $\min_{x\in I_0} ρ(x) \geq δL^{1/3}$ with probability at least $1-ε$. The proof relies on the Ornstein--Zernike machinery due to Campanino-Ioffe-Velenik, and a result of Ioffe, Shlosman and Toninelli (2015) that rules out pinning in Ising polymers with modified interactions along the boundary. En route, we refine the latter result into a Brownian excursion limit law, which may be of independent interest. We further show that in a $ K L^{2/3}\times K L^{2/3}$ box with boundary conditions $\mathfrak h-1,\mathfrak h,\mathfrak h,\mathfrak h$ (i.e., $\mathfrak h-1$ on the bottom side and $\mathfrak h$ elsewhere), the limit of $ρ(x)$ as $K,L\to\infty$ is a Ferrari--Spohn diffusion. △ Less

Submitted 22 October, 2024; v1 submitted 16 September, 2023; originally announced September 2023.

Comments: 63 pages, 2 figures. Final version

MSC Class: 60K35; 82B20; 82B24; 82B41

Journal ref: Forum of Mathematics, Sigma 12 (2024) e91

A trilogy of mapping class group representations from three-dimensional quantum gravity

Authors: Hyun Kyu Kim

Abstract: For a punctured surface $\mathfrak{S}$, the author and Scarinci (arXiv:2112.13329) have recently constructed a quantization of a moduli space of Lorentzian metrics on the 3-manifold $\mathfrak{S} \times \mathbb{R}$ of constant sectional curvature $Λ\in \{-1,0,1\}$. The invariance of this quantization under the action of the mapping class group ${\rm MCG}(\mathfrak{S})$ of $\mathfrak{S}$ yields fam… ▽ More For a punctured surface $\mathfrak{S}$, the author and Scarinci (arXiv:2112.13329) have recently constructed a quantization of a moduli space of Lorentzian metrics on the 3-manifold $\mathfrak{S} \times \mathbb{R}$ of constant sectional curvature $Λ\in \{-1,0,1\}$. The invariance of this quantization under the action of the mapping class group ${\rm MCG}(\mathfrak{S})$ of $\mathfrak{S}$ yields families of unitary representations of ${\rm MCG}(\mathfrak{S})$ on a Hilbert space, with key ingredients being three versions of the quantum dilogarithm functions depending on $Λ$. In this survey article, we review and elaborate on this result. △ Less

Submitted 24 June, 2024; v1 submitted 5 August, 2023; originally announced August 2023.

Comments: 32 pages; to appear in the proceedings of the conference in honor of Igor Frenkel's 70th birthday / v2: minor updates

MSC Class: 57K20; 13F60; 81R60; 83C45; 20C35; 57K35; 20G42; 47B02

Double-Copying Self-Dual Yang-Mills Theory to Self-Dual Gravity on Twistor Space

Authors: Leron Borsten, Branislav Jurco, Hyungrok Kim, Tommaso Macrelli, Christian Saemann, Martin Wolf

Abstract: We construct a simple Lorentz-invariant action for maximally supersymmetric self-dual Yang-Mills theory that manifests colour-kinematics duality. We also show that this action double copies to a known action for maximally supersymmetric self-dual gravity. Both actions live on twistor space and illustrate nicely the homotopy algebraic perspective on the double copy presented in arXiv:2307.02563. Th… ▽ More We construct a simple Lorentz-invariant action for maximally supersymmetric self-dual Yang-Mills theory that manifests colour-kinematics duality. We also show that this action double copies to a known action for maximally supersymmetric self-dual gravity. Both actions live on twistor space and illustrate nicely the homotopy algebraic perspective on the double copy presented in arXiv:2307.02563. This example is particularly interesting as the involved Hopf algebra controlling the momentum dependence is non-commutative and suggests a generalisation to gauged maximally supersymmetric self-dual gravity. △ Less

Submitted 27 November, 2023; v1 submitted 19 July, 2023; originally announced July 2023.

Comments: 1+19 pages, extended presentation, published version

Report number: EMPG-23-15, DMUS-MP-23/13

Journal ref: JHEP 11 (2023) 172

Double Copy from Tensor Products of Metric BV${}^{\color{gray} \blacksquare}$-algebras

Authors: Leron Borsten, Branislav Jurco, Hyungrok Kim, Tommaso Macrelli, Christian Saemann, Martin Wolf

Abstract: Field theories with kinematic Lie algebras, such as field theories featuring colour-kinematics duality, possess an underlying algebraic structure known as BV${}^{\color{gray} \blacksquare}$-algebra. If, additionally, matter fields are present, this structure is supplemented by a module for the BV${}^{\color{gray} \blacksquare}$-algebra. We explain this perspective, expanding on our previous work a… ▽ More Field theories with kinematic Lie algebras, such as field theories featuring colour-kinematics duality, possess an underlying algebraic structure known as BV${}^{\color{gray} \blacksquare}$-algebra. If, additionally, matter fields are present, this structure is supplemented by a module for the BV${}^{\color{gray} \blacksquare}$-algebra. We explain this perspective, expanding on our previous work and providing many additional mathematical details. We also show how the tensor product of two metric BV${}^{\color{gray} \blacksquare}$-algebras yields the action of a new syngamy field theory, a construction which comprises the familiar double copy construction. As examples, we discuss various scalar field theories, Chern-Simons theory, self-dual Yang-Mills theory, and the pure spinor formulations of both M2-brane models and supersymmetric Yang-Mills theory. The latter leads to a new cubic pure spinor action for ten-dimensional supergravity. We also give a homotopy-algebraic perspective on colour-flavour-stripping, obtain a new restricted tensor product over a wide class of bialgebras, and we show that any field theory (even one without colour-kinematics duality) comes with a kinematic $L_\infty$-algebra. △ Less

Submitted 18 November, 2024; v1 submitted 5 July, 2023; originally announced July 2023.

Comments: v3: 98 pages, references added, typos fixed, version published in Fortschritte der Physik

Report number: EMPG-23-14, DMUS-MP-23/11

Journal ref: Fortschr. Phys. 73 (2025) 2300270

Construction and Application of Adjusted Higher Gauge Theories

Authors: Hyungrok Kim

Abstract: This PhD thesis investigates several aspects of nonabelian higher gauge theories, which appear in many areas of physics, notably string theory and gauged supergravity. We show that nonabelian higher gauge theory admits a consistent classical nonperturbative formulation insofar as a higher nonabelian parallel transport exists consistently, without requiring certain curvature components (fake curvat… ▽ More This PhD thesis investigates several aspects of nonabelian higher gauge theories, which appear in many areas of physics, notably string theory and gauged supergravity. We show that nonabelian higher gauge theory admits a consistent classical nonperturbative formulation insofar as a higher nonabelian parallel transport exists consistently, without requiring certain curvature components (fake curvature) to vanish. Next, we explore examples of nonabelian higher gauge theories that naturally appear in high-energy physics. Using a generalisation of $L_\infty$-algebras called $E_2L_\infty$-algebras, we show that tensor hierarchies of gauged supergravity naturally admit a formulation in terms of higher nonabelian gauge theories. Furthermore, toroidal compactifications of string theory exhibiting T-duality also naturally contain higher gauge symmetry, which explain several features of nongeometric compactifications (Q- and R-fluxes). Based on the papers arXiv:1911.06390, arXiv:2106.00108, and arXiv:2204.01783 coauthored with Christian Saemann and Leron Borsten. △ Less

Submitted 12 June, 2023; originally announced June 2023.

Comments: PhD thesis, Heriot-Watt University, Edinburgh. 211 pages

Higher residues and canonical pairing on the twisted de Rham cohomology

Authors: Hoil Kim, Taejung Kim

Abstract: We describe an explicit formula of the canonical pairing on the twisted de Rham cohomology associated with the category of local matrix factorizations and by characterizing its relation to Saito's higher residue pairings, we reprove the conjecture of Shklyarov. We describe an explicit formula of the canonical pairing on the twisted de Rham cohomology associated with the category of local matrix factorizations and by characterizing its relation to Saito's higher residue pairings, we reprove the conjecture of Shklyarov. △ Less

Submitted 29 March, 2024; v1 submitted 23 April, 2023; originally announced April 2023.

Comments: This is the final revised version: some sections reorganized, typos corrected, references added

MSC Class: Primary 14A22; Secondary 16E40; 18G80

T-duality as Correspondences of Categorified Principal Bundles with Adjusted Connections

Authors: Hyungrok Kim, Christian Saemann

Abstract: We provide a pedagogical introduction to the theory of principal 2-bundles with adjusted connections and show how they enter the description of geometric and non-geometric T-dualities as proposed in arXiv:2204.01783. This description combines the torus fibrations as well as the gerbe containing the Kalb-Ramond $B$-field into a single geometric object, a particular case of a non-abelian gerbe. The… ▽ More We provide a pedagogical introduction to the theory of principal 2-bundles with adjusted connections and show how they enter the description of geometric and non-geometric T-dualities as proposed in arXiv:2204.01783. This description combines the torus fibrations as well as the gerbe containing the Kalb-Ramond $B$-field into a single geometric object, a particular case of a non-abelian gerbe. The $B$-field and the metric are encoded in the connection of this categorified principal bundle, and a T-duality is described as a particular span or correspondence of such bundles. The formalism is manifestly covariant under the full T-duality group, and it readily reproduces key examples from the literature. △ Less

Submitted 28 March, 2023; originally announced March 2023.

Comments: 22 pages

Report number: EMPG-23-05

Tree-Level Color-Kinematics Duality from Pure Spinor Actions

Authors: Leron Borsten, Branislav Jurco, Hyungrok Kim, Tommaso Macrelli, Christian Saemann, Martin Wolf

Abstract: We prove that the tree-level scattering amplitudes for (super) Yang-Mills theory in arbitrary dimensions and for M2-brane models exhibit color-kinematics (CK) duality. Our proof for Yang-Mills theory substantially simplifies existing ones in that it relies on the action alone and does not involve any computation; the proof for M2-brane models establishes this result for the first time. Explicitly,… ▽ More We prove that the tree-level scattering amplitudes for (super) Yang-Mills theory in arbitrary dimensions and for M2-brane models exhibit color-kinematics (CK) duality. Our proof for Yang-Mills theory substantially simplifies existing ones in that it relies on the action alone and does not involve any computation; the proof for M2-brane models establishes this result for the first time. Explicitly, we combine the facts that Chern-Simons-type theories naturally come with a kinematic Lie algebra and that both Yang-Mills theory and M2-brane models are of Chern-Simons form when formulated in pure spinor space, extending previous work on Yang-Mills currents arXiv:2108.11708. Our formulation also provides explicit kinematic Lie algebras for the theories under consideration in the form of diffeomorphisms on pure spinor space. The pure spinor formulation of CK-duality is based on ordinary, cubic vertices, but we explain how ordinary CK-duality relates to notions of quartic-vertex 3-Lie algebra CK-duality for M2-brane models previously discussed in the literature. △ Less

Submitted 18 December, 2023; v1 submitted 23 March, 2023; originally announced March 2023.

Comments: 10 pages, expanded presentation, typos fixed, published version

Report number: DMUS-MP-23/05, EMPT-23-04

Journal ref: Phys. Rev. D 108 (2023) 126012

Some Rigorous Results on the Lévy Spin Glass Model

Authors: Wei-Kuo Chen, Heejune Kim, Arnab Sen

Abstract: We study the Lévy spin glass model, a fully connected model on $N$ vertices with heavy-tailed interactions governed by a power law distribution of order $0<α<2.$ Our investigation is divided into three cases $0<α<1$, $α=1$, and $1<α<2.$ When $1<α<2,$ we identify a high temperature regime, in which the limit and fluctuation of the free energy are explicitly obtained and the site and bond overlaps a… ▽ More We study the Lévy spin glass model, a fully connected model on $N$ vertices with heavy-tailed interactions governed by a power law distribution of order $0<α<2.$ Our investigation is divided into three cases $0<α<1$, $α=1$, and $1<α<2.$ When $1<α<2,$ we identify a high temperature regime, in which the limit and fluctuation of the free energy are explicitly obtained and the site and bond overlaps are shown to exhibit concentration, interestingly, while the former is concentrated around zero, the latter obeys a positivity behavior. At any temperature, we further establish the existence of the limiting free energy and derive a variational formula analogous to Panchenko's framework in the setting of the Poissonian Viana-Bray model. For $α=1$, the free energy scales super-linearly and converges to a constant proportional to $β$ in probability at any temperature. In the case of $0<α<1$, the scaling for the free energy is again super-linear, however, it converges weakly to the sum of a Poisson Point Process at any temperature. Additionally, we show that the Gibbs measure puts most of its mass on the configurations that align with signs of the polynomially many heaviest edge weights. △ Less

Submitted 27 August, 2024; v1 submitted 10 March, 2023; originally announced March 2023.

Comments: Two new results are added: Equation 2.5 and Theorem 2.10. References are provided in more detail. Minor improvements/changes are made in some of the proofs, e.g., Proposition 2.8 and Proposition 5.1

A new operator extension of strong subadditivity of quantum entropy

Authors: Ting-Chun Lin, Isaac H. Kim, Min-Hsiu Hsieh

Abstract: Let $S(ρ)$ be the von Neumann entropy of a density matrix $ρ$. Weak monotonicity asserts that $S(ρ_{AB}) - S(ρ_A) + S(ρ_{BC}) - S(ρ_C)\geq 0$ for any tripartite density matrix $ρ_{ABC}$, a fact that is equivalent to the strong subadditivity of entropy. We prove an operator inequality, which, upon taking an expectation value with respect to the state $ρ_{ABC}$, reduces to the weak monotonicity ineq… ▽ More Let $S(ρ)$ be the von Neumann entropy of a density matrix $ρ$. Weak monotonicity asserts that $S(ρ_{AB}) - S(ρ_A) + S(ρ_{BC}) - S(ρ_C)\geq 0$ for any tripartite density matrix $ρ_{ABC}$, a fact that is equivalent to the strong subadditivity of entropy. We prove an operator inequality, which, upon taking an expectation value with respect to the state $ρ_{ABC}$, reduces to the weak monotonicity inequality. Generalizations of this inequality to the one involving two independent density matrices, as well as their Rényi-generalizations, are also presented. △ Less

Submitted 25 May, 2023; v1 submitted 23 November, 2022; originally announced November 2022.

Journal ref: Lett. Math. Phys., 113, 68 (2023)

Non-Geometric T-Duality as Higher Groupoid Bundles with Connections

Authors: Hyungrok Kim, Christian Saemann

Abstract: We describe T-duality between general geometric and non-geometric backgrounds as higher groupoid bundles with connections. Our description extends the previous observation by Nikolaus and Waldorf that the topological aspects of geometric and half-geometric T-dualities can be described in terms of higher geometry. We extend their construction in two ways. First, we endow the higher geometries with… ▽ More We describe T-duality between general geometric and non-geometric backgrounds as higher groupoid bundles with connections. Our description extends the previous observation by Nikolaus and Waldorf that the topological aspects of geometric and half-geometric T-dualities can be described in terms of higher geometry. We extend their construction in two ways. First, we endow the higher geometries with adjusted connections, which allow us to discuss explicit formulas for the metric and the Kalb-Ramond field of a T-background. Second, we extend the principal 2-bundles to augmented 2-groupoid bundles, which accommodate the scalar fields arising in T-duality along several directions as well as $Q$- and $R$-fluxes. Our description is manifestly covariant under the full T-duality group $\mathsf{GO}(n,n;\mathbb{Z})$, and it has interesting physical and mathematical implications. △ Less

Submitted 4 April, 2022; originally announced April 2022.

Comments: 61 pages

Report number: EMPG-22-05

Three-dimensional quantum gravity from the quantum pseudo-Kähler plane

Authors: Hyun Kyu Kim

Abstract: A new canonical Hopf algebra called the quantum pseudo-Kähler plane is introduced. This quantum group can be viewed as a deformation quantization of the complex two-dimensional plane $\mathbb{C}^2$ with a pseudo-Kähler metric, or as a complexified version of the well-known quantum plane Hopf algebra. A natural class of nicely-behaved representations of the quantum pseudo-Kähler plane algebra is de… ▽ More A new canonical Hopf algebra called the quantum pseudo-Kähler plane is introduced. This quantum group can be viewed as a deformation quantization of the complex two-dimensional plane $\mathbb{C}^2$ with a pseudo-Kähler metric, or as a complexified version of the well-known quantum plane Hopf algebra. A natural class of nicely-behaved representations of the quantum pseudo-Kähler plane algebra is defined and studied, in the spirit of the previous joint work of the author and I. B. Frenkel. The tensor square of a unique irreducible representation decomposes into the direct integral of the irreducibles, and the unitary decomposition map is expressed by a special function called the modular double compact quantum dilogarithm, used in the recent joint work of the author and C. Scarinci on the quantization of 3d gravity for positive cosmological constant case. Then, from the associativity of the tensor cube, and from the maps between the left and the right duals, we construct unitary operators forming a new representation of Kashaev's group of transformations of dotted ideal triangulations of punctured surfaces, as an analog of Kashaev's quantum Teichmüller theory. The present work thus inspires one to look for a Kashaev-type quantization of 3d gravity for positive cosmological constant. △ Less

Submitted 4 July, 2023; v1 submitted 27 December, 2021; originally announced December 2021.

Comments: 36 pages. v2 reflects changes made in the reviewing process. To appear in Commun. Math. Phys

MSC Class: 16T05; 83C45; 46L65

A quantization of moduli spaces of 3-dimensional gravity

Authors: Hyun Kyu Kim, Carlos Scarinci

Abstract: We construct a quantization of the moduli space $\mathcal{GH}_Λ(S\times\mathbb{R})$ of maximal globally hyperbolic Lorentzian metrics on $S\times \mathbb{R}$ with constant sectional curvature $Λ$, for a punctured surface $S$. Although this moduli space is known to be symplectomorphic to the cotangent bundle of the Teichmüller space of $S$ independently of the value of $Λ$, we define geometrically… ▽ More We construct a quantization of the moduli space $\mathcal{GH}_Λ(S\times\mathbb{R})$ of maximal globally hyperbolic Lorentzian metrics on $S\times \mathbb{R}$ with constant sectional curvature $Λ$, for a punctured surface $S$. Although this moduli space is known to be symplectomorphic to the cotangent bundle of the Teichmüller space of $S$ independently of the value of $Λ$, we define geometrically natural classes of observables leading to $Λ$-dependent quantizations. Using special coordinate systems, we first view $\mathcal{GH}_Λ(S\times\mathbb{R})$ as the set of points of a cluster $\mathscr{X}$-variety valued in the ring of generalized complex numbers $\mathbb{R}_Λ= \mathbb{R}[\ell]/(\ell^2+Λ)$. We then develop an $\mathbb{R}_Λ$-version of the quantum theory for cluster $\mathscr{X}$-varieties by establishing $\mathbb{R}_Λ$-versions of the quantum dilogarithm function. As a consequence, we obtain three families of projective unitary representations of the mapping class group of $S$. For $Λ<0$ these representations recover those of Fock and Goncharov, while for $Λ\geq 0$ the representations are new. △ Less

Submitted 21 June, 2024; v1 submitted 26 December, 2021; originally announced December 2021.

Comments: 64 pages, 2 figures. revised version accepted for publication in Commun. Math. Phys

MSC Class: 13F60; 53D55; 57K20; 57K35; 81R60; 83C45

Journal ref: Commun. Math. Phys. 405, 144 (2024)

Efficient Product Formulas for Commutators and Applications to Quantum Simulation

Authors: Yu-An Chen, Andrew M. Childs, Mohammad Hafezi, Zhang Jiang, Hwanmun Kim, Yijia Xu

Abstract: We construct product formulas for exponentials of commutators and explore their applications. First, we directly construct a third-order product formula with six exponentials by solving polynomial equations obtained using the operator differential method. We then derive higher-order product formulas recursively from the third-order formula. We improve over previous recursive constructions, reducin… ▽ More We construct product formulas for exponentials of commutators and explore their applications. First, we directly construct a third-order product formula with six exponentials by solving polynomial equations obtained using the operator differential method. We then derive higher-order product formulas recursively from the third-order formula. We improve over previous recursive constructions, reducing the number of gates required to achieve the same accuracy. In addition, we demonstrate that the constituent linear terms in the commutator can be included at no extra cost. As an application, we show how to use the product formulas in a digital protocol for counterdiabatic driving, which increases the fidelity for quantum state preparation. We also discuss applications to quantum simulation of one-dimensional fermion chains with nearest- and next-nearest-neighbor hopping terms, and two-dimensional fractional quantum Hall phases. △ Less

Submitted 23 November, 2021; originally announced November 2021.

Comments: 18 pages, 11 figures

Journal ref: Phys. Rev. Research 4, 013191 (2022)

Elliptic Quantum Curves of 6d SO(N) theories

Authors: Jin Chen, Babak Haghighat, Hee-Cheol Kim, Kimyeong Lee, Marcus Sperling, Xin Wang

Abstract: We discuss supersymmetric defects in 6d $\mathcal{N}=(1,0)$ SCFTs with $\mathrm{SO}(N_c)$ gauge group and $N_c-8$ fundamental flavors. The codimension 2 and 4 defects are engineered by coupling the 6d gauge fields to charged free fields in four and two dimensions, respectively. We find that the partition function in the presence of the codimension 2 defect on $\mathbb{R}^4\times \mathbb{T}^2$ in t… ▽ More We discuss supersymmetric defects in 6d $\mathcal{N}=(1,0)$ SCFTs with $\mathrm{SO}(N_c)$ gauge group and $N_c-8$ fundamental flavors. The codimension 2 and 4 defects are engineered by coupling the 6d gauge fields to charged free fields in four and two dimensions, respectively. We find that the partition function in the presence of the codimension 2 defect on $\mathbb{R}^4\times \mathbb{T}^2$ in the Nekrasov-Shatashvili limit satisfies an elliptic difference equation which quantizes the Seiberg-Witten curve of the 6d theory. The expectation value of the codimension 4 defect appearing in the difference equation is an even (under reflection) degree $N_c$ section over the elliptic curve when $N_c$ is even, and an odd section when $N_c$ is odd. We also find that RG-flows of the defects and the associated difference equations in the 6d $\mathrm{SO}(2N+1)$ gauge theories triggered by Higgs VEVs of KK-momentum states provide quantum Seiberg-Witten curves for $\mathbb{Z}_2$ twisted compactifications of the 6d $\mathrm{SO}(2N)$ gauge theories. △ Less

Submitted 26 October, 2021; originally announced October 2021.

Report number: KIAS-Q21006

Three dimensional construction of the Virasoro-Bott group

Authors: Igor B. Frenkel, Hyun Kyu Kim

Abstract: We present a three-dimensional geometric construction of the Virasoro-Bott group, which is a central extension of the group of diffeomorphisms of the circle. Our approach is analogous to the well-known construction of a central extension of the loop group by means of the Wess-Zumino topological term. In particular, the Virasoro-Bott group is realized as a quotient group of diffeomorphisms of the d… ▽ More We present a three-dimensional geometric construction of the Virasoro-Bott group, which is a central extension of the group of diffeomorphisms of the circle. Our approach is analogous to the well-known construction of a central extension of the loop group by means of the Wess-Zumino topological term. In particular, the Virasoro-Bott group is realized as a quotient group of diffeomorphisms of the disc with special boundary conditions. We identify the Lie algebra corresponding to our group with the Virasoro algebra. We also show that for generalized boundary conditions the Virasoro algebra is extended to a semidirect product with the Heisenberg algebra. We discuss the relation between our construction, the Chern-Simons theory, and the three-dimensional gravity. △ Less

Submitted 10 January, 2022; v1 submitted 24 July, 2021; originally announced July 2021.

Comments: 41 pages. v1: The present paper is a preliminary version, and was mostly written by 2014 / v2: minor changes

MSC Class: 81R10; 17B68; 22E65; 58D05

$EL_\infty$-algebras, Generalized Geometry, and Tensor Hierarchies

Authors: Leron Borsten, Hyungrok Kim, Christian Saemann

Abstract: We define a generalized form of $L_\infty$-algebras called $EL_\infty$-algebras. As we show, these provide the natural algebraic framework for generalized geometry and the symmetries of double field theory as well as the gauge algebras arising in the tensor hierarchies of gauged supergravity. Our perspective shows that the kinematical data of the tensor hierarchy is an adjusted higher gauge theory… ▽ More We define a generalized form of $L_\infty$-algebras called $EL_\infty$-algebras. As we show, these provide the natural algebraic framework for generalized geometry and the symmetries of double field theory as well as the gauge algebras arising in the tensor hierarchies of gauged supergravity. Our perspective shows that the kinematical data of the tensor hierarchy is an adjusted higher gauge theory, which is important for developing finite gauge transformations as well as non-local descriptions. Mathematically, $EL_\infty$-algebras provide small resolutions of the operad $\mathcal{L}ie$, and they shed some light on Loday's problem of integrating Leibniz algebras. △ Less

Submitted 31 May, 2021; originally announced June 2021.

Comments: 65 pages

Report number: EMPG-21-07

Naturality of ${\rm SL}_3$ quantum trace maps for surfaces

Authors: Hyun Kyu Kim

Abstract: Fock-Goncharov's moduli spaces $\mathscr{X}_{{\rm PGL}_3,\frak{S}}$ of framed ${\rm PGL}_3$-local systems on punctured surfaces $\frak{S}$ provide prominent examples of cluster $\mathscr{X}$-varieties and higher Teichmüller spaces. In a previous paper of the author (arXiv:2011.14765), building on the works of others, the so-called ${\rm SL}_3$ quantum trace map is constructed for each triangulable… ▽ More Fock-Goncharov's moduli spaces $\mathscr{X}_{{\rm PGL}_3,\frak{S}}$ of framed ${\rm PGL}_3$-local systems on punctured surfaces $\frak{S}$ provide prominent examples of cluster $\mathscr{X}$-varieties and higher Teichmüller spaces. In a previous paper of the author (arXiv:2011.14765), building on the works of others, the so-called ${\rm SL}_3$ quantum trace map is constructed for each triangulable punctured surface $\frak{S}$ and an ideal triangulation $Δ$ of $\frak{S}$, as a homomorphism from the stated ${\rm SL}_3$-skein algebra of the surface to a quantum torus algebra that deforms the ring of Laurent polynomials in the cube-roots of the cluster coordinate variables for the cluster $\mathscr{X}$-chart for $\mathscr{X}_{{\rm PGL}_3,\frak{S}}$ associated to $Δ$. We develop quantum mutation maps between special subalgebras of the cube-root quantum torus algebras for different triangulations and show that the ${\rm SL}_3$ quantum trace maps are natural, in the sense that they are compatible under these quantum mutation maps. As an application, the quantum ${\rm SL}_3$-${\rm PGL}_3$ duality map constructed in the previous paper is shown to be independent of the choice of an ideal triangulation. △ Less

Submitted 3 June, 2024; v1 submitted 13 April, 2021; originally announced April 2021.

Comments: v2: title change. reflected revision updates for published version. to appear in Quantum Topol

MSC Class: 13F60; 57K31; 53D55; 57K20

Double Copy from Homotopy Algebras

Authors: Leron Borsten, Branislav Jurco, Hyungrok Kim, Tommaso Macrelli, Christian Saemann, Martin Wolf

Abstract: We show that the BRST Lagrangian double copy construction of $\mathcal{N}=0$ supergravity as the `square' of Yang-Mills theory finds a natural interpretation in terms of homotopy algebras. We significantly expand on our previous work arguing the validity of the double copy at the loop level, and we give a detailed derivation of the double copied Lagrangian and BRST operator. Our constructions are… ▽ More We show that the BRST Lagrangian double copy construction of $\mathcal{N}=0$ supergravity as the `square' of Yang-Mills theory finds a natural interpretation in terms of homotopy algebras. We significantly expand on our previous work arguing the validity of the double copy at the loop level, and we give a detailed derivation of the double copied Lagrangian and BRST operator. Our constructions are very general and can be applied to a vast set of examples. △ Less

Submitted 8 September, 2021; v1 submitted 22 February, 2021; originally announced February 2021.

Comments: v2: 168 pages, presentation improved, typos fixed, published version

Report number: DMUS-MP-21/04, EMPG-21-03

Journal ref: Fortschr. Phys. 69 (2021) 2100075

${\rm SL}_3$-laminations as bases for ${\rm PGL}_3$ cluster varieties for surfaces

Authors: Hyun Kyu Kim

Abstract: In this paper we partially settle Fock-Goncharov's duality conjecture for cluster varieties associated to their moduli spaces of ${\rm G}$-local systems on a punctured surface $\frak{S}$ with boundary data, when ${\rm G}$ is a group of type $A_2$, namely ${\rm SL}_3$ and ${\rm PGL}_3$. Based on Kuperberg's ${\rm SL}_3$-webs, we introduce the notion of ${\rm SL}_3$-laminations on $\frak{S}$ defined… ▽ More In this paper we partially settle Fock-Goncharov's duality conjecture for cluster varieties associated to their moduli spaces of ${\rm G}$-local systems on a punctured surface $\frak{S}$ with boundary data, when ${\rm G}$ is a group of type $A_2$, namely ${\rm SL}_3$ and ${\rm PGL}_3$. Based on Kuperberg's ${\rm SL}_3$-webs, we introduce the notion of ${\rm SL}_3$-laminations on $\frak{S}$ defined as certain ${\rm SL}_3$-webs with integer weights. We introduce coordinate systems for ${\rm SL}_3$-laminations, and show that ${\rm SL}_3$-laminations satisfying a congruence property are geometric realizations of the tropical integer points of the cluster $\mathscr{A}$-moduli space $\mathscr{A}_{{\rm SL}_3,\frak{S}}$. Per each such ${\rm SL}_3$-lamination, we construct a regular function on the cluster $\mathscr{X}$-moduli space $\mathscr{X}_{{\rm PGL}_3,\frak{S}}$. We show that these functions form a basis of the ring of all regular functions. For a proof, we develop ${\rm SL}_3$ quantum and classical trace maps for any triangulated bordered surface with marked points, and state-sum formulas for them. We construct quantum versions of the basic regular functions on $\mathscr{X}_{{\rm PGL}_3,\frak{S}}$. The bases constructed in this paper are built from non-elliptic webs, hence could be viewed as higher `bangles' bases, and the corresponding `bracelets' versions can also be considered as direct analogs of Fock-Goncharov's and Allegretti-Kim's bases for the ${\rm SL}_2$-${\rm PGL}_2$ case. △ Less

Submitted 2 September, 2022; v1 submitted 30 November, 2020; originally announced November 2020.

Comments: ver2: A major change is that the quantization is added. Some terminology changed, hence the title changed / ver3: Relatively minor corrections, and bibliography update / ver4: Some errors corrected, gaps filled, subsection 5.7 added, conjectural section 6 cut down, referee's feedbacks applied. To appear in Memoirs of the AMS

MSC Class: 14D23; 14M35; 58D27; 13F60; 57K31; 14D20

Entropy scaling law and the quantum marginal problem

Authors: Isaac H. Kim

Abstract: Quantum many-body states that frequently appear in physics often obey an entropy scaling law, meaning that an entanglement entropy of a subsystem can be expressed as a sum of terms that scale linearly with its volume and area, plus a correction term that is independent of its size. We conjecture that these states have an efficient dual description in terms of a set of marginal density matrices on… ▽ More Quantum many-body states that frequently appear in physics often obey an entropy scaling law, meaning that an entanglement entropy of a subsystem can be expressed as a sum of terms that scale linearly with its volume and area, plus a correction term that is independent of its size. We conjecture that these states have an efficient dual description in terms of a set of marginal density matrices on bounded regions, obeying the same entropy scaling law locally. We prove a restricted version of this conjecture for translationally invariant systems in two spatial dimensions. Specifically, we prove that a translationally invariant marginal obeying three non-linear constraints -- all of which follow from the entropy scaling law straightforwardly -- must be consistent with some global state on an infinite lattice. Moreover, we derive a closed-form expression for the maximum entropy density compatible with those marginals, deriving a variational upper bound on the thermodynamic free energy. Our construction's main assumptions are satisfied exactly by solvable models of topological order and approximately by finite-temperature Gibbs states of certain quantum spin Hamiltonians. △ Less

Submitted 3 February, 2021; v1 submitted 14 October, 2020; originally announced October 2020.

Comments: 61 pages, 7 figures, ~200 in-line figures. Added the toric code example and a discussion about an efficient tensor network construction. More detailed explanation added in Section II

Journal ref: Phys. Rev. X 11, 021039 (2021)

An exactly solvable ansatz for statistical mechanics models

Authors: Isaac H. Kim

Abstract: We propose a family of "exactly solvable" probability distributions to approximate partition functions of two-dimensional statistical mechanics models. While these distributions lie strictly outside the mean-field framework, their free energies can be computed in a time that scales linearly with the system size. This construction is based on a simple but nontrivial solution to the marginal problem… ▽ More We propose a family of "exactly solvable" probability distributions to approximate partition functions of two-dimensional statistical mechanics models. While these distributions lie strictly outside the mean-field framework, their free energies can be computed in a time that scales linearly with the system size. This construction is based on a simple but nontrivial solution to the marginal problem. We formulate two non-linear constraints on the set of locally consistent marginal probabilities that simultaneously (i) ensure the existence of a consistent global probability distribution and (ii) lead to an exact expression for the maximum global entropy. △ Less

Submitted 14 October, 2020; originally announced October 2020.

Comments: 15 pages, 4 figures

Journal ref: J. Stat. Mech. (2021) 063204

The Twisted Index and Topological Saddles

Authors: Mathew Bullimore, Andrea E. V. Ferrari, Heeyeon Kim, Guangyu Xu

Abstract: The twisted index of 3d $\mathcal{N}=2$ gauge theories on $S^1 \times Σ$ has an algebro-geometric interpretation as the Witten index of an effective supersymmetric quantum mechanics. In this paper, we consider the contributions to the supersymmetric quantum mechanics from topological saddle points in supersymmetric localisation of abelian gauge theories. Topological saddles are configurations wher… ▽ More The twisted index of 3d $\mathcal{N}=2$ gauge theories on $S^1 \times Σ$ has an algebro-geometric interpretation as the Witten index of an effective supersymmetric quantum mechanics. In this paper, we consider the contributions to the supersymmetric quantum mechanics from topological saddle points in supersymmetric localisation of abelian gauge theories. Topological saddles are configurations where the matter fields vanish and the gauge symmetry is unbroken, which exist for non-vanishing effective Chern-Simons levels. We compute the contributions to the twisted index from both topological and vortex-like saddles points and show that their combination recovers the Jeffrey-Kirwan residue prescription for the twisted index and its wall-crossing. △ Less

Submitted 22 June, 2023; v1 submitted 22 July, 2020; originally announced July 2020.

Comments: 28 pages, typos corrected to align with published 2022 version

Perturbative Quantum Field Theory and Homotopy Algebras

Authors: Branislav Jurco, Hyungrok Kim, Tommaso Macrelli, Christian Saemann, Martin Wolf

Abstract: We review the homotopy algebraic perspective on perturbative quantum field theory: classical field theories correspond to homotopy algebras such as $A_\infty$- and $L_\infty$-algebras. Furthermore, their scattering amplitudes are encoded in minimal models of these homotopy algebras at tree level and their quantum relatives at loop level. The translation between Lagrangian field theories and homoto… ▽ More We review the homotopy algebraic perspective on perturbative quantum field theory: classical field theories correspond to homotopy algebras such as $A_\infty$- and $L_\infty$-algebras. Furthermore, their scattering amplitudes are encoded in minimal models of these homotopy algebras at tree level and their quantum relatives at loop level. The translation between Lagrangian field theories and homotopy algebras is provided by the Batalin--Vilkovisky formalism. The minimal models are computed recursively using the homological perturbation lemma, which induces useful recursion relations for the computation of scattering amplitudes. After explaining how the homological perturbation lemma produces the usual Feynman diagram expansion, we use our techniques to verify an identity for the Berends--Giele currents which implies the Kleiss--Kuijf relations. △ Less

Submitted 21 August, 2020; v1 submitted 25 February, 2020; originally announced February 2020.

Comments: v2: 25 pages, contribution to the proceedings of the Corfu Summer Institute 2019 "School and Workshops on Elementary Particle Physics and Gravity", typos fixed, published version

Report number: DMUS-MP-20/01, EMPG-20-06

Journal ref: PoS (CORFU2019) 199

Irreducible self-adjoint representations of quantum Teichmüller space and the phase constants

Authors: Hyun Kyu Kim

Abstract: Quantization of the Teichmüller space of a non-compact Riemann surface has emerged in 1980's as an approach to three dimensional quantum gravity. For any choice of an ideal triangulation of the surface, Thurston's shear coordinate functions on the edges form a coordinate system for the Teichmüller space, and they should be replaced by suitable self-adjoint operators on a Hilbert space. Upon a chan… ▽ More Quantization of the Teichmüller space of a non-compact Riemann surface has emerged in 1980's as an approach to three dimensional quantum gravity. For any choice of an ideal triangulation of the surface, Thurston's shear coordinate functions on the edges form a coordinate system for the Teichmüller space, and they should be replaced by suitable self-adjoint operators on a Hilbert space. Upon a change of triangulations, one must construct a unitary operator between the Hilbert spaces intertwining the quantum coordinate operators and satisfying the composition identities up to multiplicative phase constants. In the well-known construction by Chekhov, Fock and Goncharov, the quantum coordinate operators form a family of reducible representations, and the phase constants are all trivial. In the present paper, we employ the harmonic-analytic theory of the Shale-Weil intertwiners for the Schrödinger representations, as well as Faddeev-Kashaev's quantum dilogarithm function, to construct a family of irreducible representations of the quantum shear coordinate functions and the corresponding intertwiners for the changes of triangulations. The phase constants are explicitly computed and described by the Maslov indices of the Lagrangian subspaces of a symplectic vector space, and by the pentagon relation of the flips of triangulations. The present work may generalize to the cluster $\mathscr{X}$-varieties. △ Less

Submitted 26 December, 2020; v1 submitted 19 January, 2020; originally announced January 2020.

MSC Class: 20G05; 43A25; 47A67; 81R60; 22D10; 16G99

Journal ref: Journal of Geometry and Physics 162 (2021) 104103

Adjusted Parallel Transport for Higher Gauge Theories

Authors: Hyungrok Kim, Christian Saemann

Abstract: Many physical theories, including notably string theory, require non-abelian higher gauge fields defining higher holonomy. Previous approaches to such higher connections on categorified principal bundles require these to be fake flat. This condition, however, renders them locally gauge equivalent to connections on abelian gerbes. For particular higher gauge groups, for example 2-group models of th… ▽ More Many physical theories, including notably string theory, require non-abelian higher gauge fields defining higher holonomy. Previous approaches to such higher connections on categorified principal bundles require these to be fake flat. This condition, however, renders them locally gauge equivalent to connections on abelian gerbes. For particular higher gauge groups, for example 2-group models of the string group, this limitation can be overcome by generalizing the notion of higher connection. Starting from this observation, we define a corresponding generalized higher holonomy functor which is free from the fake flatness condition, leading to a truly non-abelian parallel transport. △ Less

Submitted 26 October, 2020; v1 submitted 14 November, 2019; originally announced November 2019.

Comments: v2: 56 pages, presentation improved, minor error corrected, published version

Report number: EMPG-19-24

Journal ref: J. Phys. A 52 (2020) 445206

The lower tail of the half-space KPZ equation

Authors: Yujin H. Kim

Abstract: We establish the first tight bound on the lower tail probability of the half-space KPZ equation with Neumann boundary parameter $A = -1/2$ and narrow-wedge initial data. When the tail depth is of order $T^{2/3}$, the lower bound demonstrates a crossover between a regime of super-exponential decay with exponent $\frac{5}{2}$ (and leading pre-factor $\frac{2}{15 π}T^{1/3}$) and a regime with exponen… ▽ More We establish the first tight bound on the lower tail probability of the half-space KPZ equation with Neumann boundary parameter $A = -1/2$ and narrow-wedge initial data. When the tail depth is of order $T^{2/3}$, the lower bound demonstrates a crossover between a regime of super-exponential decay with exponent $\frac{5}{2}$ (and leading pre-factor $\frac{2}{15 π}T^{1/3}$) and a regime with exponent $3$ (and leading pre-factor $\frac{1}{24}$); the upper bound demonstrates a crossover between a regime with exponent $\frac{3}{2}$ (and arbitrarily small pre-factor) and a regime with exponent $3$ (and leading pre-factor $\frac{1}{24}$). We show that, given a crude leading-order asymptotic in the Stokes region (Definition $1.7$, first defined in (Duke Math J., [Bot17])) for the Ablowitz-Segur solution to the Painlevé II equation, the upper bound on the lower tail probability can be improved to demonstrate the same crossover as the lower bound. We also establish novel bounds on the large deviations of the GOE point process. △ Less

Submitted 25 September, 2021; v1 submitted 19 May, 2019; originally announced May 2019.

Comments: Journal version: minor corrections, slight re-ordering of introduction. 39 pages

MSC Class: 60H15; 60B20; 45M05; 60F10; 60G55; 60H25

Journal ref: Stochastic Process. Appl. 142 (2021) 365-406

${\rm SL}_2$ quantum trace in quantum Teichmüller theory via writhe

Authors: Hyun Kyu Kim, Thang T. Q. Lê, Miri Son

Abstract: Quantization of the Teichmüller space of a punctured Riemann surface $S$ is an approach to $3$-dimensional quantum gravity, and is a prototypical example of quantization of cluster varieties. Any simple loop $γ$ in $S$ gives rise to a natural trace-of-monodromy function $\mathbb{I}(γ)$ on the Teichmüller space. For any ideal triangulation $Δ$ of $S$, this function $\mathbb{I}(γ)$ is a Laurent poly… ▽ More Quantization of the Teichmüller space of a punctured Riemann surface $S$ is an approach to $3$-dimensional quantum gravity, and is a prototypical example of quantization of cluster varieties. Any simple loop $γ$ in $S$ gives rise to a natural trace-of-monodromy function $\mathbb{I}(γ)$ on the Teichmüller space. For any ideal triangulation $Δ$ of $S$, this function $\mathbb{I}(γ)$ is a Laurent polynomial in the square-roots of the exponentiated shear coordinates for the arcs of $Δ$. An important problem was to construct a quantization of this function $\mathbb{I}(γ)$, namely to replace it by a noncommutative Laurent polynomial in the quantum variables. This problem, which is closely related to the framed protected spin characters in physics, has been solved by Allegretti and Kim using Bonahon and Wong's ${\rm SL}_2$ quantum trace for skein algebras, and by Gabella using Gaiotto, Moore and Neitzke's Seiberg-Witten curves, spectral networks, and writhe of links. We show that these two solutions to the quantization problem coincide. We enhance Gabella's solution and show that it is a twist of the Bonahon-Wong quantum trace. △ Less

Submitted 31 March, 2023; v1 submitted 30 December, 2018; originally announced December 2018.

Comments: 45 pages. ver2: Author added. Sections 4, 5, statement and proof of main theorem substantially improved / ver3: Changes made for published version have been reflected

MSC Class: 53D55; 81R60; 51P05; 46L65; 46L85; 13F60

Journal ref: Algebr. Geom. Topol. 23 (2023) 339-418

AKSZ-type Topological Quantum Field Theories and Rational Homotopy Theory

Authors: Hyungrok Kim

Abstract: We reformulate and motivate AKSZ-type topological field theories in pedestrian terms, explaining how they arise as the most general Schwartz-type topological actions subject to a simple constraint, and how they generalize Chern$-$Simons theory and other well known topological field theories, in that they are gauge theories of flat connections of higher gauge groups (infinity-Lie algebras). Their… ▽ More We reformulate and motivate AKSZ-type topological field theories in pedestrian terms, explaining how they arise as the most general Schwartz-type topological actions subject to a simple constraint, and how they generalize Chern$-$Simons theory and other well known topological field theories, in that they are gauge theories of flat connections of higher gauge groups (infinity-Lie algebras). Their Euler$-$Lagrange equations define quasifree graded-commutative differential algebras, or equivalently $L_\infty$-algebras, the equivalent of the Lie algebra of the gauge group; we explain how integrating out auxiliary fields in physics corresponds to taking the Sullivan minimal model of this algebra, and how the correspondence between fields and gauge transformations realizes Koszul duality. Using this dictionary, we can import topological invariants and notions (e.g.$~$the rational LS-category) to apply to this class of theories. △ Less

Submitted 25 September, 2018; originally announced September 2018.

Comments: 32 pages. Comments are welcome