Showing 1–50 of 57 results for author: Costello, K

Factorization algebra

Authors: Kevin Costello, Owen Gwilliam

Abstract: Factorization algebras are local-to-global objects living on manifolds, and they arise naturally in mathematics and physics. Their local structure encompasses examples like associative algebras and vertex algebras; in these examples, their global structure encompasses Hochschild homology and conformal blocks. In the setting of quantum field theory, factorization algebras articulate a minimal set o… ▽ More Factorization algebras are local-to-global objects living on manifolds, and they arise naturally in mathematics and physics. Their local structure encompasses examples like associative algebras and vertex algebras; in these examples, their global structure encompasses Hochschild homology and conformal blocks. In the setting of quantum field theory, factorization algebras articulate a minimal set of axioms satisfied by the observables of a theory, and they capture concepts like the operator product and correlation functions. In this survey article for the Encyclopedia of Mathematical Physics, 2nd Edition, we give the definitions and key examples, compare this approach with other approaches to mathematically formalizing field theory, describe key results, and explain how higher symmetries can be encoded in this framework. △ Less

Submitted 26 October, 2023; v1 submitted 9 October, 2023; originally announced October 2023.

Burns space and holography

Authors: Kevin Costello, Natalie M. Paquette, Atul Sharma

Abstract: We elaborate on various aspects of our top-down celestial holographic duality wherein the semiclassical bulk spacetime is a 4d asymptotically flat, self-dual Kähler geometry known as Burns space. The bulk theory includes an open string sector comprising a 4d WZW model and a closed string sector called "Mabuchi gravity" capturing fluctuations of the Kähler potential. Starting with the type I topolo… ▽ More We elaborate on various aspects of our top-down celestial holographic duality wherein the semiclassical bulk spacetime is a 4d asymptotically flat, self-dual Kähler geometry known as Burns space. The bulk theory includes an open string sector comprising a 4d WZW model and a closed string sector called "Mabuchi gravity" capturing fluctuations of the Kähler potential. Starting with the type I topological B-model on the twistor space of flat space, we obtain the twistor space of Burns space from the backreaction of a stack of $N$ coincident D1 branes, while the chiral algebra is obtained from (a twist of) the brane worldvolume theory. One striking consequence of this duality is that all loop-level scattering amplitudes of the theory on Burns space can be expressed as correlation functions of an explicit 2d chiral algebra. We also present additional large-$N$ checks, matching several 2 and 3-point amplitudes and their collinear expansions in the WZW$_4$ sector, and the mixed WZW$_4$-Mabuchi sector, of the bulk theory to the corresponding 2 and 3-point vacuum correlators and operator product expansions in the dual chiral algebra. Key features of the duality, along with our main results, are summarized in the introduction. △ Less

Submitted 31 October, 2023; v1 submitted 1 June, 2023; originally announced June 2023.

Comments: 134 pages, v2 published version

Bootstrap** two-loop QCD amplitudes

Authors: Kevin J. Costello

Abstract: Form factors of self-dual gauge theory are equal to correlators of an (extended) celestial chiral algebra. This suggests that these form factors can be computed using the "bootstrap" method familiar from 2d CFTs. The method can also be applied to certain QCD amplitudes, which are built from form-factors of self-dual gauge theory. In this paper this bootstrap method is applied to compute two-loop… ▽ More Form factors of self-dual gauge theory are equal to correlators of an (extended) celestial chiral algebra. This suggests that these form factors can be computed using the "bootstrap" method familiar from 2d CFTs. The method can also be applied to certain QCD amplitudes, which are built from form-factors of self-dual gauge theory. In this paper this bootstrap method is applied to compute two-loop all-plus QCD amplitudes, for $SU(N)$ gauge theory with certain special matter conent. A closed formula is presented for all single-trace amplitudes. △ Less

Submitted 16 August, 2023; v1 submitted 1 February, 2023; originally announced February 2023.

Comments: Version 2: several computational errors pointed out by Anthony Morales have been corrected

Space Trusted Autonomy Readiness Levels

Authors: Kerianne L. Hobbs, Joseph B. Lyons, Martin S. Feather, Benjamen P Bycroft, Sean Phillips, Michelle Simon, Mark Harter, Kenneth Costello, Yuri Gawdiak, Stephen Paine

Abstract: Technology Readiness Levels are a mainstay for organizations that fund, develop, test, acquire, or use technologies. Technology Readiness Levels provide a standardized assessment of a technology's maturity and enable consistent comparison among technologies. They inform decisions throughout a technology's development life cycle, from concept, through development, to use. A variety of alternative R… ▽ More Technology Readiness Levels are a mainstay for organizations that fund, develop, test, acquire, or use technologies. Technology Readiness Levels provide a standardized assessment of a technology's maturity and enable consistent comparison among technologies. They inform decisions throughout a technology's development life cycle, from concept, through development, to use. A variety of alternative Readiness Levels have been developed, including Algorithm Readiness Levels, Manufacturing Readiness Levels, Human Readiness Levels, Commercialization Readiness Levels, Machine Learning Readiness Levels, and Technology Commitment Levels. However, while Technology Readiness Levels have been increasingly applied to emerging disciplines, there are unique challenges to assessing the rapidly develo** capabilities of autonomy. This paper adopts the moniker of Space Trusted Autonomy Readiness Levels to identify a two-dimensional scale of readiness and trust appropriate for the special challenges of assessing autonomy technologies that seek space use. It draws inspiration from other readiness levels' definitions, and from the rich field of trust and trustworthiness. The Space Trusted Autonomy Readiness Levels were developed by a collaborative Space Trusted Autonomy subgroup, which was created from The Space Science and Technology Partnership Forum between the United States Space Force, the National Aeronautics and Space Administration, and the National Reconnaissance Office. △ Less

Submitted 24 October, 2022; v1 submitted 13 October, 2022; originally announced October 2022.

Top-down holography in an asymptotically flat spacetime

Authors: Kevin Costello, Natalie M. Paquette, Atul Sharma

Abstract: We propose a holographic duality for a four dimensional WZW model with target manifold $\mathrm{SO}(8)$, coupled to scalar-flat Kähler gravity on an asymptotically flat, four dimensional background known as the Burns metric. The holographic dual is a two dimensional chiral algebra built out of gauged beta-gamma systems with $\mathrm{SO}(8)$ flavor. We test the duality by matching two-point correla… ▽ More We propose a holographic duality for a four dimensional WZW model with target manifold $\mathrm{SO}(8)$, coupled to scalar-flat Kähler gravity on an asymptotically flat, four dimensional background known as the Burns metric. The holographic dual is a two dimensional chiral algebra built out of gauged beta-gamma systems with $\mathrm{SO}(8)$ flavor. We test the duality by matching two-point correlators of soft gluon currents with two-point gluon amplitudes, and their leading OPE coefficients with collinear limits of three-point gluon amplitudes. △ Less

Submitted 30 August, 2022; originally announced August 2022.

Comments: 12 pages

On the associativity of one-loop corrections to the celestial OPE

Authors: Kevin Costello, Natalie M. Paquette

Abstract: There has been recent interest in the question of whether QCD collinear singularities can be viewed as the OPE of a two-dimensional CFT. We analyze a version of this question for the self-dual limit of pure gauge theory (incorporating states of both helicities). We show that the known one-loop collinear singulaties do not form an associative chiral algebra. The failure of associativity can be trac… ▽ More There has been recent interest in the question of whether QCD collinear singularities can be viewed as the OPE of a two-dimensional CFT. We analyze a version of this question for the self-dual limit of pure gauge theory (incorporating states of both helicities). We show that the known one-loop collinear singulaties do not form an associative chiral algebra. The failure of associativity can be traced to a novel gauge anomaly on twistor space. We find that associativity can be restored for certain gauge groups if we introduce an unusual axion, which cancels the twistor space anomaly by a Green-Schwarz mechanism. Alternatively, associativity can be restored for some gauge groups with carefully chosen matter. △ Less

Submitted 11 April, 2022; originally announced April 2022.

Comments: 12 pages

Celestial holography meets twisted holography: 4d amplitudes from chiral correlators

Authors: Kevin Costello, Natalie M. Paquette

Abstract: We propose a new program for computing a certain integrand of scattering amplitudes of four-dimensional gauge theories which we call the \textit{form factor integrand}, starting from 6d holomorphic theories on twistor space. We show that the form factor integrands can be expressed as sums of products of 1.) correlators of a 2d chiral algebra, related to the algebra of asymptotic symmetries uncover… ▽ More We propose a new program for computing a certain integrand of scattering amplitudes of four-dimensional gauge theories which we call the \textit{form factor integrand}, starting from 6d holomorphic theories on twistor space. We show that the form factor integrands can be expressed as sums of products of 1.) correlators of a 2d chiral algebra, related to the algebra of asymptotic symmetries uncovered recently in the celestial holography program, and 2.) OPE coefficients of a 4d non-unitary CFT. We prove that conformal blocks of the chiral algebras are in one-to-one correspondence with local operators in 4d. We use this bijection to recover the Parke-Taylor formula, the CSW formula, and certain one-loop scattering amplitudes. Along the way, we explain and derive various aspects of celestial holography, incorporating techniques from the twisted holography program such as Koszul duality. This perspective allows us to easily and efficiently recover the infinite-dimensional chiral algebras of asymptotic symmetries recently extracted from scattering amplitudes of massless gluons and gravitons in the celestial basis. We also compute some simple one-loop corrections to the chiral algebras and derive the three-dimensional bulk theories for which these 2d algebras furnish an algebra of boundary local operators. △ Less

Submitted 1 January, 2023; v1 submitted 7 January, 2022; originally announced January 2022.

Comments: 82 pages, 6 figures, 1 table. Version 2: several corrections, more one-loop amplitudes computed. v3: minor corrections, JHEP published version

Quantizing local holomorphic field theories on twistor space

Authors: Kevin J. Costello

Abstract: This paper studies a class of four-dimensional quantum field theories which arise by quantizing local holomorphic field theories on twistor space. These theories have some remarkable properties: in particular, all correlation functions are rational functions. The two main examples are the $WZW_4$ model of Donaldson and Losev, Moore, Nekrasov and Shatashvili, and self-dual Yang-Mills theory. In eac… ▽ More This paper studies a class of four-dimensional quantum field theories which arise by quantizing local holomorphic field theories on twistor space. These theories have some remarkable properties: in particular, all correlation functions are rational functions. The two main examples are the $WZW_4$ model of Donaldson and Losev, Moore, Nekrasov and Shatashvili, and self-dual Yang-Mills theory. In each case, anomalies on twistor space must be cancelled by a Green-Schwarz mechanism, which introduces additional fields. For $WZW_4$, this only works for $G = SO(8)$ and the additional field is gravitational. For self-dual Yang-Mills, this works for $SU(2)$, $SU(3)$, $SO(8)$ and the exceptional groups, and the additional field is an axion. △ Less

Submitted 16 November, 2021; originally announced November 2021.

Twisted heterotic/type I duality

Authors: Kevin Costello, Brian R. Williams

Abstract: We formulate a twisted version of the conjectured duality between heterotic and type I string theories. Our formulation relates the chiral part of the heterotic string with a type I topological B-model on a Calabi-Yau five-fold. We provide a non-trivial check of this duality by showing that certain infinite-dimensional Lie algebras of global gauge transformations built from each theory are isomorp… ▽ More We formulate a twisted version of the conjectured duality between heterotic and type I string theories. Our formulation relates the chiral part of the heterotic string with a type I topological B-model on a Calabi-Yau five-fold. We provide a non-trivial check of this duality by showing that certain infinite-dimensional Lie algebras of global gauge transformations built from each theory are isomorphic. Matching the structure constants of the Lie algebras involves a detailed analysis of one-loop corrections on the type I side. △ Less

Submitted 27 October, 2021; originally announced October 2021.

Avoiding Monochromatic Solutions to 3-term Equations

Authors: Kevin P. Costello, Gabriel Elvin

Abstract: Given an equation, the integers $[n] = \{1, 2, \dots, n\}$ as inputs, and the colors red and blue, how can we color $[n]$ in order to minimize the number of monochromatic solutions to the equation, and what is the minimum? The answer is only known for a handful of equations, but much progress has been made on improving upper and lower bounds on minima for various equations. A well-studied characte… ▽ More Given an equation, the integers $[n] = \{1, 2, \dots, n\}$ as inputs, and the colors red and blue, how can we color $[n]$ in order to minimize the number of monochromatic solutions to the equation, and what is the minimum? The answer is only known for a handful of equations, but much progress has been made on improving upper and lower bounds on minima for various equations. A well-studied characteristic an equation, which has its roots in graph Ramsey theory, is to determine if the minimum number of monochromatic solutions can be achieved (asymptotically) by uniformly random colorings. Such equations are called common. We prove that no 3-term equations are common and provide a lower bound for a specific class of 3-term equations. △ Less

Submitted 8 April, 2022; v1 submitted 4 March, 2021; originally announced March 2021.

Comments: Streamlined construction of solutions beating random, added argument giving quadratic lower bound for certain equations

MSC Class: 05D10

Q-operators are 't Hooft lines

Authors: Kevin Costello, Davide Gaiotto, Junya Yagi

Abstract: We study 't Hooft lines in four-dimensional holomorphic-topological Chern-Simons theory. We relate them to Q-operators in the theory of integrable systems. We give a physical interpretation of the fundamental TQ and QQ relations satisfied by Q-operators and conventional transfer matrices. We study 't Hooft lines in four-dimensional holomorphic-topological Chern-Simons theory. We relate them to Q-operators in the theory of integrable systems. We give a physical interpretation of the fundamental TQ and QQ relations satisfied by Q-operators and conventional transfer matrices. △ Less

Submitted 2 March, 2021; originally announced March 2021.

Comments: 79 pages, 6 figures

Categorical Enumerative Invariants, I: String vertices

Authors: Andrei Caldararu, Kevin Costello, Junwu Tu

Abstract: We define combinatorial counterparts to the geometric string vertices of Sen-Zwiebach and Costello-Zwiebach, which are certain closed subsets of the moduli spaces of curves. Our combinatorial vertices contain the same information as the geometric ones, are effectively computable, and act on the Hochschild chains of a cyclic $A_\infty$-algebra. This is the first in a series of two papers where we… ▽ More We define combinatorial counterparts to the geometric string vertices of Sen-Zwiebach and Costello-Zwiebach, which are certain closed subsets of the moduli spaces of curves. Our combinatorial vertices contain the same information as the geometric ones, are effectively computable, and act on the Hochschild chains of a cyclic $A_\infty$-algebra. This is the first in a series of two papers where we define enumerative invariants associated to a pair consisting of a cyclic $A_\infty$-algebra and a splitting of the Hodge filtration on its cyclic homology. These invariants conjecturally generalize the Gromov-Witten and Fan-Jarvis-Ruan-Witten invariants from symplectic geometry, and the Bershadsky-Cecotti-Ooguri-Vafa invariants from holomorphic geometry. △ Less

Submitted 14 September, 2020; originally announced September 2020.

Comments: 35 pages

MSC Class: 57K20; 53D45; 14N35

The Chern-Simons Origin of Superstring Integrability

Authors: Kevin Costello, Bogdan Stefański jr

Abstract: We derive the AdS${}_5\times$S${}^5$ Green-Schwarz superstring from four-dimensional Beltrami-Chern-Simons theory reduced on a manifold with singular boundary conditions. In this construction, the Lax connection and spectral parameter of the integrable superstring have a simple geometric origin in four dimensions as gauge connection and reduction coordinate. Kappa symmetry arises as a certain clas… ▽ More We derive the AdS${}_5\times$S${}^5$ Green-Schwarz superstring from four-dimensional Beltrami-Chern-Simons theory reduced on a manifold with singular boundary conditions. In this construction, the Lax connection and spectral parameter of the integrable superstring have a simple geometric origin in four dimensions as gauge connection and reduction coordinate. Kappa symmetry arises as a certain class of singular gauge transformations, while the worldsheet metric comes from complex-structure-changing Beltrami differentials. Our approach offers the possibility of investigating integrable holography using traditional field theory methods. △ Less

Submitted 30 August, 2020; v1 submitted 6 May, 2020; originally announced May 2020.

Comments: 6 pages, v3 presentation improved, to appear in Phys. Rev. Lett

Journal ref: Phys. Rev. Lett. 125, 121602 (2020)

Boundary Chiral Algebras and Holomorphic Twists

Authors: Kevin Costello, Tudor Dimofte, Davide Gaiotto

Abstract: We study the holomorphic twist of 3d ${\cal N}=2$ gauge theories in the presence of boundaries, and the algebraic structure of bulk and boundary local operators. In the holomorphic twist, both bulk and boundary local operators form chiral algebras (\emph{a.k.a.} vertex operator algebras). The bulk algebra is commutative, endowed with a shifted Poisson bracket and a "higher" stress tensor; while th… ▽ More We study the holomorphic twist of 3d ${\cal N}=2$ gauge theories in the presence of boundaries, and the algebraic structure of bulk and boundary local operators. In the holomorphic twist, both bulk and boundary local operators form chiral algebras (\emph{a.k.a.} vertex operator algebras). The bulk algebra is commutative, endowed with a shifted Poisson bracket and a "higher" stress tensor; while the boundary algebra is a module for the bulk, may not be commutative, and may or may not have a stress tensor. We explicitly construct bulk and boundary algebras for free theories and Landau-Ginzburg models. We construct boundary algebras for gauge theories with matter and/or Chern-Simons couplings, leaving a full description of bulk algebras to future work. We briefly discuss the presence of higher A-infinity like structures. △ Less

Submitted 30 April, 2020; originally announced May 2020.

Comments: 96 pages

Twisted Supergravity and Koszul Duality: A case study in AdS$_3$

Authors: Kevin Costello, Natalie M. Paquette

Abstract: In this note, we study a simplified variant of the familiar holographic duality between supergravity on AdS$_3\times S^3\times T^4$ and the SCFT (on the moduli space of) the symmetric orbifold theory $Sym^N(T^4)$ as $N \rightarrow \infty$. This variant arises conjecturally from a twist proposed by the first author and Si Li. We recover a number of results concerning protected subsectors of the ori… ▽ More In this note, we study a simplified variant of the familiar holographic duality between supergravity on AdS$_3\times S^3\times T^4$ and the SCFT (on the moduli space of) the symmetric orbifold theory $Sym^N(T^4)$ as $N \rightarrow \infty$. This variant arises conjecturally from a twist proposed by the first author and Si Li. We recover a number of results concerning protected subsectors of the original duality working directly in the twisted bulk theory. Moreover, we identify the symmetry algebra arising in the $N\rightarrow \infty$ limit of the twisted gravitational theory. We emphasize the role of $\textit{Koszul duality}$---a ubiquitous mathematical notion to which we provide a friendly introduction---in field theory and string theory. After illustrating the appearance of Koszul duality in the "toy" example of holomorphic Chern-Simons theory, we describe how (a deformation of) Koszul duality relates bulk and boundary operators in our twisted setup, and explain how one can compute algebra OPEs diagrammatically using this notion. Further details, results, and computations will appear in a companion paper. △ Less

Submitted 26 January, 2020; v1 submitted 7 January, 2020; originally announced January 2020.

Comments: 80 pages, 9 figures

Information Gathering in Ad-Hoc Radio Networks

Authors: Marek Chrobak, Kevin Costello, Leszek Gasieniec

Abstract: In the ad-hoc radio network model, nodes communicate with their neighbors via radio signals, without knowing the topology of the graph. We study the information gathering problem, where each node has a piece of information called a rumor, and the objective is to transmit all rumors to a designated target node. We provide an O(n^1.5*polylog(n)) deteministic protocol for information gathering in ad-… ▽ More In the ad-hoc radio network model, nodes communicate with their neighbors via radio signals, without knowing the topology of the graph. We study the information gathering problem, where each node has a piece of information called a rumor, and the objective is to transmit all rumors to a designated target node. We provide an O(n^1.5*polylog(n)) deteministic protocol for information gathering in ad-hoc radio networks, significantly improving the trivial bound of O(n^2). △ Less

Submitted 16 November, 2019; v1 submitted 9 September, 2019; originally announced September 2019.

Hyperbolic String Vertices

Authors: Kevin Costello, Barton Zwiebach

Abstract: The string vertices of closed string field theory are subsets of the moduli spaces of punctured Riemann surfaces that satisfy a geometric version of the Batalin-Vilkovisky master equation. We present a homological proof of existence of string vertices and their uniqueness up to canonical transformations. Using hyperbolic metrics on surfaces with geodesic boundaries we give an exact construction of… ▽ More The string vertices of closed string field theory are subsets of the moduli spaces of punctured Riemann surfaces that satisfy a geometric version of the Batalin-Vilkovisky master equation. We present a homological proof of existence of string vertices and their uniqueness up to canonical transformations. Using hyperbolic metrics on surfaces with geodesic boundaries we give an exact construction of string vertices as sets of surfaces with systole greater than or equal to $L$ with $L\leq 2\, \hbox{arcsinh}\, 1$. Intrinsic hyperbolic collars prevent the appearance of short geodesics upon sewing. The surfaces generated by Feynman diagrams are naturally endowed with Thurston metrics: hyperbolic on the vertices and flat on the propagators. For the classical theory the length $L$ is arbitrary and, as $L\to \infty$ hyperbolic vertices become the minimal-area vertices of closed string theory. △ Less

Submitted 30 August, 2019; originally announced September 2019.

Comments: 26 pages, 7 figures

Report number: MIT-CTP-5139

An Omega(n^2) Lower Bound for Random Universal Sets for Planar Graphs

Authors: Alexander Choi, Marek Chrobak, Kevin Costello

Abstract: A set $U\subseteq \reals^2$ is $n$-universal if all $n$-vertex planar graphs have a planar straight-line embedding into $U$. We prove that if $Q \subseteq \reals^2$ consists of points chosen randomly and uniformly from the unit square then $Q$ must have cardinality $Ω(n^2)$ in order to be $n$-universal with high probability. This shows that the probabilistic method, at least in its basic form, can… ▽ More A set $U\subseteq \reals^2$ is $n$-universal if all $n$-vertex planar graphs have a planar straight-line embedding into $U$. We prove that if $Q \subseteq \reals^2$ consists of points chosen randomly and uniformly from the unit square then $Q$ must have cardinality $Ω(n^2)$ in order to be $n$-universal with high probability. This shows that the probabilistic method, at least in its basic form, cannot be used to establish an $o(n^2)$ upper bound on universal sets. △ Less

Submitted 11 September, 2019; v1 submitted 19 August, 2019; originally announced August 2019.

Gauge Theory And Integrability, III

Authors: Kevin Costello, Masahito Yamazaki

Abstract: We study two-dimensional integrable field theories from the viewpoint of the four-dimensional Chern-Simons-type gauge theory introduced recently. The integrable field theories are realized as effective theories for the four-dimensional theory coupled with two-dimensional surface defects, and we can systematically compute their Lagrangians and the Lax operators satisfying the zero-curvature conditi… ▽ More We study two-dimensional integrable field theories from the viewpoint of the four-dimensional Chern-Simons-type gauge theory introduced recently. The integrable field theories are realized as effective theories for the four-dimensional theory coupled with two-dimensional surface defects, and we can systematically compute their Lagrangians and the Lax operators satisfying the zero-curvature condition. Our construction includes many known integrable field theories, such as Gross-Neveu models, principal chiral models with Wess-Zumino terms and symmetric-space coset sigma models. Moreover we obtain various generalization these models in a number of different directions, such as trigonometric/elliptic deformations, multi-defect generalizations and models associated with higher-genus spectral curves, many of which seem to be new. △ Less

Submitted 6 August, 2019; originally announced August 2019.

Comments: 108 pages, 19 figures

Report number: IPMU19-0110

Anomaly cancellation in the topological string

Authors: Kevin Costello, Si Li

Abstract: We describe the coupling of holomorphic Chern-Simons theory at large N with Kodaira-Spencer gravity. We explain a new anomaly cancellation mechanism at all loops in perturbation theory for open-closed topological B-model. At one loop this anomaly cancellation is analogous to the Green-Schwarz mechanism. As an application, we introduce a type I version of Kodaira-Spencer theory in complex dimensi… ▽ More We describe the coupling of holomorphic Chern-Simons theory at large N with Kodaira-Spencer gravity. We explain a new anomaly cancellation mechanism at all loops in perturbation theory for open-closed topological B-model. At one loop this anomaly cancellation is analogous to the Green-Schwarz mechanism. As an application, we introduce a type I version of Kodaira-Spencer theory in complex dimensions 3 and 5. In complex dimension 5, we show that it can only be coupled consistently at the quantum level to holomorphic Chern-Simons theory with gauge group SO(32). This is analogous to the Green-Schwarz mechanism for the physical type I string. This coupled system is conjectured to be a supersymmetric localization of type I string theory. In complex dimension 3, the required gauge group is SO(8). △ Less

Submitted 5 January, 2020; v1 submitted 22 May, 2019; originally announced May 2019.

Comments: 43 pages, 2 figures. Comments are welcome

Twisted Holography

Authors: Kevin Costello, Davide Gaiotto

Abstract: We derive and test a novel holographic duality in the B-model topological string theory. The duality relates the B-model on certain Calabi-Yau three-folds to two-dimensional chiral algebras defined as gauged $βγ\,$ systems. The duality conjecturally captures a topological sector of more familiar $\mathrm{AdS}_5 / \mathrm{CFT}_4$ holographic dualities. We derive and test a novel holographic duality in the B-model topological string theory. The duality relates the B-model on certain Calabi-Yau three-folds to two-dimensional chiral algebras defined as gauged $βγ\,$ systems. The duality conjecturally captures a topological sector of more familiar $\mathrm{AdS}_5 / \mathrm{CFT}_4$ holographic dualities. △ Less

Submitted 8 January, 2021; v1 submitted 21 December, 2018; originally announced December 2018.

Comments: Updated reference

Higgs and Coulomb branches from vertex operator algebras

Authors: Kevin Costello, Thomas Creutzig, Davide Gaiotto

Abstract: We formulate a conjectural relation between the category of line defects in topologically twisted 3d ${\cal N} = 4$ supersymmetric quantum field theories and categories of modules for Vertex Operator Algebras of boundary local operators for the theories. We test the conjecture in several examples and provide some partial proofs for standard classes of gauge theories. We formulate a conjectural relation between the category of line defects in topologically twisted 3d ${\cal N} = 4$ supersymmetric quantum field theories and categories of modules for Vertex Operator Algebras of boundary local operators for the theories. We test the conjecture in several examples and provide some partial proofs for standard classes of gauge theories. △ Less

Submitted 9 November, 2018; originally announced November 2018.

Comments: 57 pages, 8 figures

Unification of integrability in supersymmetric gauge theories

Authors: Kevin Costello, Junya Yagi

Abstract: A four-dimensional analog of Chern-Simons theory produces integrable lattice models from Wilson lines and surface operators. We show that this theory describes a quasi-topological sector of maximally supersymmetric Yang-Mills theory in six dimensions, topologically twisted and subjected to an Ω-deformation. By realizing the six-dimensional theory in string theory and applying dualities, we unify v… ▽ More A four-dimensional analog of Chern-Simons theory produces integrable lattice models from Wilson lines and surface operators. We show that this theory describes a quasi-topological sector of maximally supersymmetric Yang-Mills theory in six dimensions, topologically twisted and subjected to an Ω-deformation. By realizing the six-dimensional theory in string theory and applying dualities, we unify various phenomena in which the eight-vertex model and the XYZ spin chain, as well as variants thereof, emerge from supersymmetric gauge theories. △ Less

Submitted 7 September, 2021; v1 submitted 3 October, 2018; originally announced October 2018.

Comments: 84 pages. v2: minor changes and corrections, references added; v3: minor changes, published version

Journal ref: Adv. Theor. Math. Phys. 24 (2020) 1931-2041

Vertex Operator Algebras and 3d N=4 gauge theories

Authors: Kevin Costello, Davide Gaiotto

Abstract: We introduce two mirror constructions of Vertex Operator Algebras associated to special boundary conditions in 3d N=4 gauge theories. We conjecture various relations between these boundary VOA's and properties of the (topologically twisted) bulk theories. We discuss applications to the Symplectic Duality and Geometric Langlands programs. We introduce two mirror constructions of Vertex Operator Algebras associated to special boundary conditions in 3d N=4 gauge theories. We conjecture various relations between these boundary VOA's and properties of the (topologically twisted) bulk theories. We discuss applications to the Symplectic Duality and Geometric Langlands programs. △ Less

Submitted 17 April, 2018; originally announced April 2018.

Comments: 40 pages, no figures

Gauge Theory and Integrability, II

Authors: Kevin Costello, Edward Witten, Masahito Yamazaki

Abstract: Starting with a four-dimensional gauge theory approach to rational, elliptic, and trigonometric solutions of the Yang-Baxter equation, we determine the corresponding quantum group deformations to all orders in $\hbar$ by deducing their RTT presentations. The arguments we give are a mix of familiar ones with reasoning that is more transparent from the four-dimensional gauge theory point of view. Th… ▽ More Starting with a four-dimensional gauge theory approach to rational, elliptic, and trigonometric solutions of the Yang-Baxter equation, we determine the corresponding quantum group deformations to all orders in $\hbar$ by deducing their RTT presentations. The arguments we give are a mix of familiar ones with reasoning that is more transparent from the four-dimensional gauge theory point of view. The arguments apply most directly for $\mathfrak{gl}_N$ and can be extended to all simple Lie algebras other than $\mathfrak{e}_8$ by taking into account the self-duality of some representations, the framing anomaly for Wilson operators, and the existence of quantum vertices at which several Wilson operators can end. △ Less

Submitted 5 February, 2018; originally announced February 2018.

Comments: 51 pp

Report number: IPMU18-0025

Journal ref: ICCM Not. 6, 120-146 (2018)

Gauge Theory and Integrability, I

Authors: Kevin Costello, Edward Witten, Masahito Yamazaki

Abstract: Several years ago, it was proposed that the usual solutions of the Yang-Baxter equation associated to Lie groups can be deduced in a systematic way from four-dimensional gauge theory. In the present paper, we extend this picture, fill in many details, and present the arguments in a concrete and down-to-earth way. Many interesting effects, including the leading nontrivial contributions to the $R$-m… ▽ More Several years ago, it was proposed that the usual solutions of the Yang-Baxter equation associated to Lie groups can be deduced in a systematic way from four-dimensional gauge theory. In the present paper, we extend this picture, fill in many details, and present the arguments in a concrete and down-to-earth way. Many interesting effects, including the leading nontrivial contributions to the $R$-matrix, the operator product expansion of line operators, the framing anomaly, and the quantum deformation that leads from $\mathfrak{g}[[z]]$ to the Yangian, are computed explicitly via Feynman diagrams. We explain how rational, trigonometric, and elliptic solutions of the Yang-Baxter equation arise in this framework, along with a generalization that is known as the dynamical Yang-Baxter equation. △ Less

Submitted 4 February, 2018; v1 submitted 28 September, 2017; originally announced September 2017.

Comments: 141 pp

Report number: IPMU17-0136

Journal ref: ICCM Not. 6, 46-119 (2018)

Topological Chern-Simons/Matter Theories

Authors: Mina Aganagic, Kevin Costello, Jacob McNamara, Cumrun Vafa

Abstract: We propose a new partially topological theory in three dimensions which couples Chern-Simons theory to matter. The 3-manifolds needed for this construction admit transverse holomorphic foliation (THF). The theory depends only on the choice of such a structure, but not on a choice of metric and in this sense, it is topological. We argue that this theory arises in topological A-model string theory o… ▽ More We propose a new partially topological theory in three dimensions which couples Chern-Simons theory to matter. The 3-manifolds needed for this construction admit transverse holomorphic foliation (THF). The theory depends only on the choice of such a structure, but not on a choice of metric and in this sense, it is topological. We argue that this theory arises in topological A-model string theory on Lagrangian 3-branes in the presence of additional parallel coisotropic 5-branes. The theory obtained in this way is equivalent to an N=2 supersymmetric Chern-Simons matter theory on the same 3-manifold, which also only depends on the THF structure. The theory is a realization of a topological theory of class H, which allows splitting of a temporal direction from spatial directions. We briefly discuss potential condensed matter applications. △ Less

Submitted 25 August, 2017; v1 submitted 29 June, 2017; originally announced June 2017.

Comments: 50 pages, 1 figure. v2: references added

Holography and Koszul duality: the example of the $M2$ brane

Authors: Kevin Costello

Abstract: Si Li and author suggested in that, in some cases, the AdS/CFT correspondence can be formulated in terms of the algebraic operation of Koszul duality. In this paper this suggestion is checked explicitly for $M2$ branes in an $Ω$-background. The algebra of supersymmetric operators on a stack of $K$ $M2$ branes is shown to be Koszul dual, in large $K$, to the algebra of supersymmetric operators of… ▽ More Si Li and author suggested in that, in some cases, the AdS/CFT correspondence can be formulated in terms of the algebraic operation of Koszul duality. In this paper this suggestion is checked explicitly for $M2$ branes in an $Ω$-background. The algebra of supersymmetric operators on a stack of $K$ $M2$ branes is shown to be Koszul dual, in large $K$, to the algebra of supersymmetric operators of $11$-dimensional supergravity in an $Ω$-background (using the formulation of supergravity in an $Ω$-background presented in arXiv:1610.04144). The twisted form of supergravity that is used here can be quantized to all orders in perturbation theory. We find that the Koszul duality result holds to all orders in perturbation theory, in both the gravitational theory and the theory on the $M2$. (However, there is a certain non-linear identification of the coupling constants on each side which I was unable to determine explicitly). It is also shown that the algebra of operators on $K$ $M2$ branes, as $K \to \infty$, is a quantum double-loop algebra (a two-variable analog of the Yangian). This algebra is also the Koszul dual of the algebra of operators on the gravitational theory. An explicit presentation for this algebra is presented, and it is shown that this algebra is the unique quantization of its classical limit. Some conjectural applications to enumerative geometry of Calabi-Yau threefolds are also presented. △ Less

Submitted 6 May, 2017; originally announced May 2017.

M-theory in the Omega-background and 5-dimensional non-commutative gauge theory

Authors: Kevin Costello

Abstract: The $Ω$-background is defined for supergravity, and a very general class of such backgrounds is constructed for 11-dimensional supergravity. 11-dimensional supergravity in a certain $Ω$-background is shown to be equivalent to a 5-dimensional non-commutative gauge theory of Chern-Simons type. M2 and M5 branes are expressed as 1 and 2-dimensional extended objects in the 5-dimensional gauge theory. T… ▽ More The $Ω$-background is defined for supergravity, and a very general class of such backgrounds is constructed for 11-dimensional supergravity. 11-dimensional supergravity in a certain $Ω$-background is shown to be equivalent to a 5-dimensional non-commutative gauge theory of Chern-Simons type. M2 and M5 branes are expressed as 1 and 2-dimensional extended objects in the 5-dimensional gauge theory. This 5-dimensional gauge theory is shown to admit a consistent quantization with two coupling constants, despite being formally non-renormalizable. A check of a twisted version of AdS/CFT is performed relating this 5-dimensional non-commutative gauge theory to the theory on N M5 branes, wrap** an $A_{k-1}$ singularity and placed in an $Ω$-background. The operators on the M5 branes, in the $Ω$-background, are described by a certain chiral algebra which in the large N limit becomes a $W_{k+\infty}$ algebra. This chiral algebra is recovered from the 5-dimensional gauge theory. This argument also provides a holographic explanation of the result of Maulik-Okounkov and Schiffmann-Vasserot that the $W_{k+\infty}$ algebra acts on the equivariant cohomology of the moduli of instantons on an $A_{k-1}$ singularity. △ Less

Submitted 13 October, 2016; originally announced October 2016.

Twisted supergravity and its quantization

Authors: Kevin Costello, Si Li

Abstract: Twisted supergravity is supergravity in a background where the bosonic ghost field takes a non-zero value. This is the supergravity counterpart of the familiar concept of twisting supersymmetric field theories. In this paper, we give conjectural descriptions of type IIA and IIB supergravity in $10$ dimensions. Our conjectural descriptions are in terms of the closed-string field theories associated… ▽ More Twisted supergravity is supergravity in a background where the bosonic ghost field takes a non-zero value. This is the supergravity counterpart of the familiar concept of twisting supersymmetric field theories. In this paper, we give conjectural descriptions of type IIA and IIB supergravity in $10$ dimensions. Our conjectural descriptions are in terms of the closed-string field theories associated to certain topological string theories, and we conjecture that these topological string theories are twists of the physical string theories. For type IIB, the results of arXiv:1505.6703 show that our candidate twisted supergravity theory admits a unique quantization in perturbation theory. This is despite the fact that the theories, like the original physical theories, are non-renormalizable. Although we do not prove our conjectures, we amass considerable evidence. We find that our candidates for the twisted supergravity theories contain the residual supersymmetry one would expect. We also prove (using heavily a result of Baulieu arXiv:1009.3893) the open string version of our conjecture: the theory living on a brane in the topological string theory is a twist of the maximally supersymmetric gauge theory living on the brane in the physical string theory. △ Less

Submitted 1 June, 2016; originally announced June 2016.

Comments: 72 pages

Faster Information Gathering in Ad-Hoc Radio Tree Networks

Authors: Marek Chrobak, Kevin P. Costello

Abstract: We study information gathering in ad-hoc radio networks. Initially, each node of the network has a piece of information called a rumor, and the overall objective is to gather all these rumors in the designated target node. The ad-hoc property refers to the fact that the topology of the network is unknown when the computation starts. Aggregation of rumors is not allowed, which means that each node… ▽ More We study information gathering in ad-hoc radio networks. Initially, each node of the network has a piece of information called a rumor, and the overall objective is to gather all these rumors in the designated target node. The ad-hoc property refers to the fact that the topology of the network is unknown when the computation starts. Aggregation of rumors is not allowed, which means that each node may transmit at most one rumor in one step. We focus on networks with tree topologies, that is we assume that the network is a tree with all edges directed towards the root, but, being ad-hoc, its actual topology is not known. We provide two deterministic algorithms for this problem. For the model that does not assume any collision detection nor acknowledgement mechanisms, we give an $O(n\log\log n)$-time algorithm, improving the previous upper bound of $O(n\log n)$. We also show that this running time can be further reduced to $O(n)$ if the model allows for acknowledgements of successful transmissions. △ Less

Submitted 7 December, 2015; originally announced December 2015.

Comments: Full version; extended abstract to appear in LATIN '16

ACM Class: G.2.2; F.2.2

Quantization of open-closed BCOV theory, I

Authors: Kevin Costello, Si Li

Abstract: This is the first in a series of papers which analyze the problem of quantizing the theory coupling Kodaira-Spencer gravity (or BCOV theory) on Calabi-Yau manifolds using the formalism for perturbative QFT developed by the first author. In this paper, we focus on flat space $\mathbb{C}^d$ for $d$ odd. We prove that there exists a unique quantization of the theory coupling BCOV theory and holomorph… ▽ More This is the first in a series of papers which analyze the problem of quantizing the theory coupling Kodaira-Spencer gravity (or BCOV theory) on Calabi-Yau manifolds using the formalism for perturbative QFT developed by the first author. In this paper, we focus on flat space $\mathbb{C}^d$ for $d$ odd. We prove that there exists a unique quantization of the theory coupling BCOV theory and holomorphic Chern-Simons theory with gauge group the supergroup $GL(N \mid N)$. We deduce a canonically defined quantization of BCOV theory on its own. We also discuss some conjectural links between BCOV theory in various dimensions and twists of physical theories: in complex dimension $3$ we conjecture a relationship to twists of $(1,0)$ supersymmetric theories and in complex dimension $5$ to a twist of type IIB supergravity. △ Less

Submitted 25 May, 2015; originally announced May 2015.

Comments: 105 pages

Information Gathering in Ad-Hoc Radio Networks with Tree Topology

Authors: Marek Chrobak, Kevin Costello, Leszek Gasieniec, Dariusz R. Kowalski

Abstract: We study the problem of information gathering in ad-hoc radio networks without collision detection, focussing on the case when the network forms a tree, with edges directed towards the root. Initially, each node has a piece of information that we refer to as a rumor. Our goal is to design protocols that deliver all rumors to the root of the tree as quickly as possible. The protocol must complete t… ▽ More We study the problem of information gathering in ad-hoc radio networks without collision detection, focussing on the case when the network forms a tree, with edges directed towards the root. Initially, each node has a piece of information that we refer to as a rumor. Our goal is to design protocols that deliver all rumors to the root of the tree as quickly as possible. The protocol must complete this task within its allotted time even though the actual tree topology is unknown when the computation starts. In the deterministic case, assuming that the nodes are labeled with small integers, we give an O(n)-time protocol that uses unbounded messages, and an O(n log n)-time protocol using bounded messages, where any message can include only one rumor. We also consider fire-and-forward protocols, in which a node can only transmit its own rumor or the rumor received in the previous step. We give a deterministic fire-and- forward protocol with running time O(n^1.5), and we show that it is asymptotically optimal. We then study randomized algorithms where the nodes are not labelled. In this model, we give an O(n log n)-time protocol and we prove that this bound is asymptotically optimal. △ Less

Submitted 6 July, 2014; originally announced July 2014.

Lectures on mathematical aspects of (twisted) supersymmetric gauge theories

Authors: Kevin Costello, Claudia Scheimbauer

Abstract: Supersymmetric gauge theories have played a central role in applications of quantum field theory to mathematics. Topologically twisted supersymmetric gauge theories often admit a rigorous mathematical description: for example, the Donaldson invariants of a 4-manifold can be interpreted as the correlation functions of a topologically twisted N=2 gauge theory. The aim of these lectures is to describ… ▽ More Supersymmetric gauge theories have played a central role in applications of quantum field theory to mathematics. Topologically twisted supersymmetric gauge theories often admit a rigorous mathematical description: for example, the Donaldson invariants of a 4-manifold can be interpreted as the correlation functions of a topologically twisted N=2 gauge theory. The aim of these lectures is to describe a mathematical formulation of partially-twisted supersymmetric gauge theories (in perturbation theory). These partially twisted theories are intermediate in complexity between the physical theory and the topologically twisted theories. Moreover, we will sketch how the operators of such a theory form a two complex dimensional analog of a vertex algebra. Finally, we will consider a deformation of the N=1 theory and discuss its relation to the Yangian, as explained in arXiv:1308.0370 and arXiv:1303.2632. △ Less

Submitted 12 January, 2014; originally announced January 2014.

Comments: Notes from a lecture series by the first author at the Les Houches Winter School on Mathematical Physics in 2012. To appear in the proceedings of this conference. Related to papers arXiv:1308.0370, arXiv:1303.2632, and arXiv:1111.4234

Integrable lattice models from four-dimensional field theories

Authors: Kevin J. Costello

Abstract: This note gives a general construction of an integrable lattice model (and a solution of the Yang-Baxter equation with spectral parameter) from a four-dimensional field theory which is a mixture of topological and holomorphic. Spin-chain models arise in this way from a twisted, deformed version of N=1 gauge theory. This note gives a general construction of an integrable lattice model (and a solution of the Yang-Baxter equation with spectral parameter) from a four-dimensional field theory which is a mixture of topological and holomorphic. Spin-chain models arise in this way from a twisted, deformed version of N=1 gauge theory. △ Less

Submitted 1 August, 2013; originally announced August 2013.

Comments: Based on the longer paper arXiv:1303.2632 and on my talk at String-Math 2013. 9 figures

Supersymmetric gauge theory and the Yangian

Authors: Kevin Costello

Abstract: This paper develops a new connection between supersymmetric gauge theories and the Yangian. I show that a twisted, deformed version of the pure N=1 supersymmetric gauge theory is controlled by the Yangian, in the same way that Chern-Simons theory is controlled by the quantum group. This result is used to give an exact calculation, in perturbation theory, of the expectation value of a certain net o… ▽ More This paper develops a new connection between supersymmetric gauge theories and the Yangian. I show that a twisted, deformed version of the pure N=1 supersymmetric gauge theory is controlled by the Yangian, in the same way that Chern-Simons theory is controlled by the quantum group. This result is used to give an exact calculation, in perturbation theory, of the expectation value of a certain net of n+m Wilson operators in the deformed N=1 gauge theory. This expectation value coincides with the partition function of a spin-chain integrable lattice model on an n-by-m doubly-periodic lattice. △ Less

Submitted 3 April, 2013; v1 submitted 11 March, 2013; originally announced March 2013.

Comments: 145 pages

Very Low-mass Stellar and Substellar Companions to Solar-like Stars from MARVELS II: A Short-period Companion Orbiting an F Star with Evidence of a Stellar Tertiary And Significant Mutual Inclination

Authors: Scott W. Fleming, Jian Ge, Rory Barnes, Thomas G. Beatty, Justin R. Crepp, Nathan De Lee, Massimiliano Esposito, Bruno Femenia, Leticia Ferreira, Bruce Gary, B. Scott Gaudi, Luan Ghezzi, Jonay I. González Hernández, Leslie Hebb, Peng Jiang, Brian Lee, Ben Nelson, Gustavo F. Porto de Mello, Benjamin J. Shappee, Keivan Stassun, Todd A. Thompson, Benjamin M. Tofflemire, John P. Wisniewski, W. Michael Wood-Vasey, Eric Agol , et al. (37 additional authors not shown)

Abstract: We report the discovery via radial velocity of a short-period (P = 2.430420 \pm 0.000006 days) companion to the F-type main sequence star TYC 2930-00872-1. A long-term trend in the radial velocities indicates the presence of a tertiary stellar companion with $P > 2000$ days. High-resolution spectroscopy of the host star yields T_eff = 6427 +/- 33 K, log(g) = 4.52 +/- 0.14, and [Fe/H]=-0.04 +/- 0.0… ▽ More We report the discovery via radial velocity of a short-period (P = 2.430420 \pm 0.000006 days) companion to the F-type main sequence star TYC 2930-00872-1. A long-term trend in the radial velocities indicates the presence of a tertiary stellar companion with $P > 2000$ days. High-resolution spectroscopy of the host star yields T_eff = 6427 +/- 33 K, log(g) = 4.52 +/- 0.14, and [Fe/H]=-0.04 +/- 0.05. These parameters, combined with the broad-band spectral energy distribution and parallax, allow us to infer a mass and radius of the host star of M_1=1.21 +/- 0.08 M_\odot and R_1=1.09_{-0.13}^{+0.15} R_\odot. We are able to exclude transits of the inner companion with high confidence. The host star's spectrum exhibits clear Ca H and K core emission indicating stellar activity, but a lack of photometric variability and small v*sin(I) suggest the primary's spin axis is oriented in a pole-on configuration. The rotational period of the primary from an activity-rotation relation matches the orbital period of the inner companion to within 1.5 σ, suggesting they are tidally locked. If the inner companion's orbital angular momentum vector is aligned with the stellar spin axis, as expected through tidal evolution, then it has a stellar mass of M_2 ~ 0.3-0.4 M_\odot. Direct imaging limits the existence of stellar companions to projected separations < 30 AU. No set of spectral lines and no significant flux contribution to the spectral energy distribution from either companion are detected, which places individual upper mass limits of M < 1.0 M_\odot, provided they are not stellar remnants. If the tertiary is not a stellar remnant, then it likely has a mass of ~0.5-0.6 M_\odot, and its orbit is likely significantly inclined from that of the secondary, suggesting that the Kozai-Lidov mechanism may have driven the dynamical evolution of this system. △ Less

Submitted 24 June, 2012; originally announced June 2012.

Comments: 37 pages, 7 tables, 21 figures, Accepted in AJ

Matching with Commitments

Authors: Kevin Costello, Prasad Tetali, Pushkar Tripathi

Abstract: We consider the following stochastic optimization problem first introduced by Chen et al. in \cite{chen}. We are given a vertex set of a random graph where each possible edge is present with probability p_e. We do not know which edges are actually present unless we scan/probe an edge. However whenever we probe an edge and find it to be present, we are constrained to picking the edge and both its e… ▽ More We consider the following stochastic optimization problem first introduced by Chen et al. in \cite{chen}. We are given a vertex set of a random graph where each possible edge is present with probability p_e. We do not know which edges are actually present unless we scan/probe an edge. However whenever we probe an edge and find it to be present, we are constrained to picking the edge and both its end points are deleted from the graph. We wish to find the maximum matching in this model. We compare our results against the optimal omniscient algorithm that knows the edges of the graph and present a 0.573 factor algorithm using a novel sampling technique. We also prove that no algorithm can attain a factor better than 0.898 in this model. △ Less

Submitted 8 May, 2012; originally announced May 2012.

Quantum BCOV theory on Calabi-Yau manifolds and the higher genus B-model

Authors: Kevin J. Costello, Si Li

Abstract: Bershadsky-Cecotti-Ooguri-Vafa (BCOV) proposed that the B-model of mirror symmetry should be described by a quantum field theory on a Calabi-Yau variety, which they called the Kodaira-Spenser theory (we call it the BCOV theory). This is the first of three papers in which we construct and analyze the quantum BCOV theory. In this paper, we construct the classical field theory on a Calabi-Yau variety… ▽ More Bershadsky-Cecotti-Ooguri-Vafa (BCOV) proposed that the B-model of mirror symmetry should be described by a quantum field theory on a Calabi-Yau variety, which they called the Kodaira-Spenser theory (we call it the BCOV theory). This is the first of three papers in which we construct and analyze the quantum BCOV theory. In this paper, we construct the classical field theory on a Calabi-Yau variety of arbitrary dimension; define what it means to give a quantization; analyze the relation Givental's symplectic formalism for Gromov-Witten theory; prove uniqueness of the quantization on an elliptic curve; and prove the Virasoro constraints on an elliptic curve. The second paper (arXiv:1112.4063) proves that the partition function of the quantum BCOV theory on the elliptic curve is equivalent to the Gromov-Witten theory of the mirror elliptic curve. The third paper, in progress, constructs the quantum BCOV theory on a general Calabi-Yau. △ Less

Submitted 21 January, 2012; originally announced January 2012.

Comments: 75 pages

A geometric construction of the Witten genus, II

Authors: Kevin J. Costello

Abstract: I give a rigorous construction of a 2-dimensional quantum field theory of maps from an elliptic curve to a compact complex manifold X, and I show that the partition function of this theory is the Witten genus of X. The results proved here were announced (in a slightly different form) in arXiv:1006.5422. I give a rigorous construction of a 2-dimensional quantum field theory of maps from an elliptic curve to a compact complex manifold X, and I show that the partition function of this theory is the Witten genus of X. The results proved here were announced (in a slightly different form) in arXiv:1006.5422. △ Less

Submitted 15 December, 2011; v1 submitted 4 December, 2011; originally announced December 2011.

Comments: 91 pages. Version 2: typos corrected

Notes on supersymmetric and holomorphic field theories in dimensions 2 and 4

Authors: Kevin J. Costello

Abstract: These notes explore some aspects of formal derived geometry related to classical field theory. One goal is to explain how many important classical field theories in physics -- such as supersymmetric gauge theories and supersymmetric sigma-models -- can be described very cleanly using derived geometry. In particular, I describe a mathematically natural construction of Kapustin-Witten's P^1 of twist… ▽ More These notes explore some aspects of formal derived geometry related to classical field theory. One goal is to explain how many important classical field theories in physics -- such as supersymmetric gauge theories and supersymmetric sigma-models -- can be described very cleanly using derived geometry. In particular, I describe a mathematically natural construction of Kapustin-Witten's P^1 of twisted supersymmetric gauge theories. △ Less

Submitted 20 May, 2013; v1 submitted 17 November, 2011; originally announced November 2011.

Comments: Dedicated to Dennis Sullivan on the occassion of his 70th birthday. Version 2: many typos corrected. Version 3: some further corrections and clarifications, no significant changes

Ground-based multisite observations of two transits of HD 80606b

Authors: A. Shporer, J. N. Winn, S. Dreizler, K. D. Colon, W. M. Wood-Vasey, P. I. Choi, C. Morley, C. Moutou, W. F. Welsh, D. Pollaco, D. Starkey, E. Adams, S. C. C. Barros, F. Bouchy, A. Cabrera-Lavers, S. Cerutti, L. Coban, K. Costello, H. Deeg, R. F. Diaz, G. A. Esquerdo, J. Fernandez, S. W. Fleming, E. B. Ford, B. J. Fulton , et al. (19 additional authors not shown)

Abstract: We present ground-based optical observations of the September 2009 and January 2010 transits of HD 80606b. Based on 3 partial light curves of the September 2009 event, we derive a midtransit time of T_c [HJD] = 2455099.196 +- 0.026, which is about 1 sigma away from the previously predicted time. We observed the January 2010 event from 9 different locations, with most phases of the transit being ob… ▽ More We present ground-based optical observations of the September 2009 and January 2010 transits of HD 80606b. Based on 3 partial light curves of the September 2009 event, we derive a midtransit time of T_c [HJD] = 2455099.196 +- 0.026, which is about 1 sigma away from the previously predicted time. We observed the January 2010 event from 9 different locations, with most phases of the transit being observed by at least 3 different teams. We determine a midtransit time of T_c [HJD] = 2455210.6502 +- 0.0064, which is within 1.3 sigma of the time derived from a Spitzer observation of the same event. △ Less

Submitted 28 September, 2010; v1 submitted 24 August, 2010; originally announced August 2010.

Comments: Accepted to ApJ. Comments are most welcome. v2: added acknowledgments

A geometric construction of the Witten genus, I

Authors: Kevin J. Costello

Abstract: I describe how the Witten genus of a complex manifold $X$ can be seen from a rigorous analysis of a certain two-dimensional quantum field theory of maps from a surface to $X$. I describe how the Witten genus of a complex manifold $X$ can be seen from a rigorous analysis of a certain two-dimensional quantum field theory of maps from a surface to $X$. △ Less

Submitted 27 August, 2010; v1 submitted 28 June, 2010; originally announced June 2010.

Concentration of random determinants and permanent estimators

Authors: Kevin P. Costello, Van Vu

Abstract: We show that the absolute value of the determinant of a matrix with random independent (but not necessarily iid) entries is strongly concentrated around its mean. As an application, we show that the Godsil-Gutman and Barvinok estimators for the permanent of a strictly positive matrix give sub-exponential approximation ratios with high probability. We show that the absolute value of the determinant of a matrix with random independent (but not necessarily iid) entries is strongly concentrated around its mean. As an application, we show that the Godsil-Gutman and Barvinok estimators for the permanent of a strictly positive matrix give sub-exponential approximation ratios with high probability. △ Less

Submitted 12 May, 2009; originally announced May 2009.

Comments: 17 pages, no figures

MSC Class: 15A52

Journal ref: SIAM J. Discrete Math., Vol 23(3) (2009), 1356-1371

Bilinear and Quadratic Variants on the Littlewood-Offord Problem

Authors: Kevin P. Costello

Abstract: If f(x_1, x_2, ..., x_n) is a polynomial dependent on a large number of independent Bernoulli random variables, what can be said about the maximum concentration of f on any single value? For linear polynomials, this reduces to one version of the classical Littlewood-Offord problem: Given nonzero constants a_1 through a_n, what is the maximum number of sums of the form +/- a_1 +/- a_2 +/-... +/-… ▽ More If f(x_1, x_2, ..., x_n) is a polynomial dependent on a large number of independent Bernoulli random variables, what can be said about the maximum concentration of f on any single value? For linear polynomials, this reduces to one version of the classical Littlewood-Offord problem: Given nonzero constants a_1 through a_n, what is the maximum number of sums of the form +/- a_1 +/- a_2 +/-... +/- a_n which take on any single value? Here we consider the case where f is either a bilinear form or a quadratic form. For the bilinear case, we show that the only forms having concentration significantly larger than n^{-1} are those which are in a certain sense very close to being degenerate. For the quadratic case, we show that no form having many nonzero coefficients has concentration significantly larger than n^{-1/2}. In both cases the results are nearly tight. △ Less

Submitted 9 February, 2009; originally announced February 2009.

Comments: 27 pages, no figures

MSC Class: 60C05

Journal ref: Israel Journal of Mathematics, Vol 194 (2013), pg. 359-394

Closed String TCFT for Hermitian Calabi-Yau Elliptic Spaces

Authors: Kevin J. Costello, Thomas Tradler, Mahmoud Zeinalian

Abstract: We describe an explicit action of the prop of the chains on the moduli space of Riemann surfaces on the Hochschild complex of a Calabi-Yau elliptic space. One example of such an elliptic space extends the known string topology operations, for all compact simply-connected manifolds, to a collection indexed by the de Rham currents on the moduli space. Another example pertains to the B-model at all… ▽ More We describe an explicit action of the prop of the chains on the moduli space of Riemann surfaces on the Hochschild complex of a Calabi-Yau elliptic space. One example of such an elliptic space extends the known string topology operations, for all compact simply-connected manifolds, to a collection indexed by the de Rham currents on the moduli space. Another example pertains to the B-model at all genera. △ Less

Submitted 18 July, 2008; originally announced July 2008.

Comments: 35 pages

On the Rank of Random Sparse Matrices

Authors: Kevin P. Costello, Van Vu

Abstract: We investigate the rank of random (symmetric) sparse matrices. Our main finding is that with high probability, any dependency that occurs in such a matrix is formed by a set of few rows that contains an overwhelming number of zeros. This allows us to obtain an exact estimate for the co-rank. We investigate the rank of random (symmetric) sparse matrices. Our main finding is that with high probability, any dependency that occurs in such a matrix is formed by a set of few rows that contains an overwhelming number of zeros. This allows us to obtain an exact estimate for the co-rank. △ Less

Submitted 16 November, 2007; originally announced November 2007.

Comments: 24 pages

MSC Class: 15A52; 60C05

Renormalisation and the Batalin-Vilkovisky formalism

Authors: Kevin J. Costello

Abstract: This paper gives a way to renormalise certain quantum field theories on compact manifolds. Examples include Yang-Mills theory (in dimension 4 only), Chern-Simons theory and holomorphic Chern-Simons theory. The method is within the framework of the Batalin-Vilkovisky formalism. Chern-Simons theory is renormalised in a way respecting all symmetries (up to homotopy). This yields an invariant of smo… ▽ More This paper gives a way to renormalise certain quantum field theories on compact manifolds. Examples include Yang-Mills theory (in dimension 4 only), Chern-Simons theory and holomorphic Chern-Simons theory. The method is within the framework of the Batalin-Vilkovisky formalism. Chern-Simons theory is renormalised in a way respecting all symmetries (up to homotopy). This yields an invariant of smooth manifolds: a certain algebraic structure on the cohomology of the manifold tensored with a Lie algebra, which is a "higher loop" enrichment of the natural Lie-infinity structure. △ Less

Submitted 28 June, 2007; v1 submitted 11 June, 2007; originally announced June 2007.

Comments: 88 pages

The Rank of Random Graphs

Authors: Kevin P. Costello, Van H. Vu

Abstract: We show that almost surely the rank of the adjacency matrix of the Erdös-Rényi random graph $G(n,p)$ equals the number of non-isolated vertices for any $c\ln n/n<p<1/2$, where $c$ is an arbitrary positive constant larger than 1/2. In particular, the giant component (a.s.) has full rank in this range. We show that almost surely the rank of the adjacency matrix of the Erdös-Rényi random graph $G(n,p)$ equals the number of non-isolated vertices for any $c\ln n/n<p<1/2$, where $c$ is an arbitrary positive constant larger than 1/2. In particular, the giant component (a.s.) has full rank in this range. △ Less

Submitted 16 June, 2006; originally announced June 2006.

Comments: 19 pages, no figures

MSC Class: 15A52

Topological conformal field theories and gauge theories

Authors: Kevin J. Costello

Abstract: This paper gives a construction, using heat kernels, of differential forms on the moduli space of metrised ribbon graphs, or equivalently on the moduli space of Riemann surfaces with boundary. The construction depends on a manifold with a bundle of Frobenius algebras, satisfying various conditions. These forms satisfy gluing conditions which mean they form an open topological conformal field the… ▽ More This paper gives a construction, using heat kernels, of differential forms on the moduli space of metrised ribbon graphs, or equivalently on the moduli space of Riemann surfaces with boundary. The construction depends on a manifold with a bundle of Frobenius algebras, satisfying various conditions. These forms satisfy gluing conditions which mean they form an open topological conformal field theory, i.e. a kind of open string theory. If the integral of these forms converged, it would yield the purely quantum part of the partition function of a Chern-Simons type gauge theory. Yang-Mills theory on a four manifold arises as one of these Chern-Simons type gauge theories. △ Less

Submitted 28 June, 2006; v1 submitted 24 May, 2006; originally announced May 2006.

Comments: A few more typos corrected

Journal ref: Geom. Topol. 11 (2007) 1539-1579