We apply the geometric-topology surgery theory on spacetime manifolds to study the constraints of quantum statistics data in 2+1 and 3+1 spacetime dimensions. First, we introduce the fusion data for worldline and worldsheet operators capable creating anyon excitations of particles and strings, well-defined in gapped states of matter with intrinsic topological orders. Second, we introduce the braiding statistics data of particles and strings, such as the geometric Berry matrices for particle-string Aharonov-Bohm and multi-loop adiabatic braiding process, encoded by submanifold linkings, in the closed spacetime 3-manifolds and 4-manifolds. Third, we derive new quantum surgery constraints analogous to Verlinde formula associating fusion and braiding statistics data via spacetime surgery, essential for defining the theory of topological orders, and potentially correlated to bootstrap boundary physics such as gapless modes, conformal field theories or quantum anomalies.

In this paper we study segmented strings in AdS3 coupled to a background two-form whose field strength is proportional to the volume form. By changing the coupling, the theory interpolates between the Nambu-Goto string and the SL(2) Wess-Zumino-Witten model. In terms of the kink momentum vectors, the action is independent of the coupling and the classical theory reduces to a single discrete-time Toda-type theory. The WZW model is a singular point in coupling space where the map into Toda variables degenerates.

Segmented strings in flat space are piecewise linear classical string solutions. Kinks between the segments move with the speed of light and their worldlines form a lattice on the worldsheet. This idea can be generalized to AdS3 where the embedding is built from AdS2 patches. The construction provides an exact discretization of the non-linear string equations of motion. This paper computes the area of segmented strings using cross-ratios constructed from the kink vectors. The cross-ratios can be expressed in terms of either left-handed or right-handed variables. The string equation of motion in AdS3 is reduced to that of an integrable time-discretized relativistic Toda-type lattice. Positive solutions yield string embeddings that are unique up to global transformations. In the appendix, the Poincare target space energy is computed by integrating the worldsheet current along kink worldlines and a formula is derived for the integrated scalar curvature of the embedding.

This paper is concerned with the classical motion of a string in global AdS3. The initially static string stretches between two antipodal points on the boundary circle. Both endpoints are perturbed which creates cusps at a steady rate. The cusps propagate towards the interior where they collide. The behavior of the string depends on the strength of forcing. Three qualitatively different phases can be distinguished: transparent, gray, and black. The transparent region is analogous to a standing wave. In the black phase, there is a horizon on the worldsheet and cusps never reach the other endpoint. The string keeps folding and its length grows linearly over time. In the gray phase, the string still grows linearly. However, cusps do cross to the other side. The transparent and gray regions are separated by a transition point where a logarithmic accumulation of cusps is numerically observed. A simple model reproduces the qualitative behavior of the string in the three phases.

We show that the semi-classical analysis of generic Euclidean path integrals necessarily requires complexification of the action and measure, and consideration of complex saddle solutions. We demonstrate that complex saddle points have a natural interpretation in terms of the Picard-Lefschetz theory. Motivated in part by the semi-classical expansion of QCD with adjoint matter on R3 ⇥ S1, we study quantum-mechanical systems with bosonic and fermionic (Grassmann) degrees of freedom with harmonic degenerate minima, as well as (related) purely bosonic systems with harmonic non-degenerate minima. We find exact finite action non-BPS bounce and bion solutions to the holomorphic Newton equations. We find not only real solutions, but also complex solution with non-trivial monodromy, and finally complex multi-valued and singular solutions. Complex bions are necessary for obtaining the correct non-perturbative structure of these models. In the supersymmetric limit the complex solutions govern the ground state properties, and their contribution to the semiclassical expansion is necessary to obtain consistency with the supersymmetry algebra. The multi-valuedness of the action is either related to the hidden topological angle or to the resurgent cancellation of ambiguities. We also show that in the approximate multi-instanton description the integration over the complex quasi-zero mode thimble produces the most salient features of the exact solutions. While exact complex saddles are more difficult to construct in quantum field theory, the relation to the approximate thimble construction suggests that such solutions may be underlying some remarkable features of approximate bion saddles in quantum field theories.

In the context of two illustrative examples from supersymmetric quantum mechanics we show that the semiclassical analysis of the path integral requires complexification of the configuration space and action, and the inclusion of complex saddle points, even when the parameters in the action are real. We find new exact complex saddles, and show that without their contribution the semi-classical expansion is in conflict with basic properties such as positive-semidefiniteness of the spectrum, and constraints of supersymmetry. Generic saddles are not only complex, but also possibly multi-valued, and even singular. This is in contrast to instanton solutions, which are real, smooth, and single-valued. The multi-valuedness of the action can be interpreted as a hidden topological angle, quantized in units of π in supersymmetric theories. The general ideas also apply to non-supersymmetric theories.

We discuss Nakamaye's Theorem and its recent extension to compact complex manifolds, together with some applications.

We show existence and uniqueness of solutions to the Monge-Ampere equation on compact almost complex manifolds with non-integrable almost complex structure.

Most of classical theoretical ecology is based on the assumption that organisms in a community can be naturally partitioned into groups of individuals that can be treated as identical. At the same time, mounting experimental evidence from studies of microbial communities raises the intriguing question whether this intuition is an accurate description of the microbial world. This work builds on Mac Arthur’s model of competitive coexistence on multiple resources to construct a framework that does not rely on postulated existence of species as fundamental ecological variables. In one parameter regime, effective “species” with a core and accessory genome naturally appear in this model as emergent concepts. However, the same model allows a smooth transition to a highly diverse regime where the species formalism becomes inadequate. An alternative description is proposed based on the dynamical modes of population fluctuations. This approach provides a naturally hierarchical description of community dynamics which is well-defined even when the species description breaks down. The relevance of this framework for understanding the complexity of naturally observed microbial communities is discussed.

Information theory is gaining popularity as a tool to characterize performance of biological systems. However, information is commonly quantified without reference to whether or how a system could extract and use it; as a result, information-theoretic quantities are easily misinterpreted. Here we take the example of pattern-forming developmental systems which are commonly structured a cascades of sequential gene expression steps. Such a multi-tiered structure appears to constitute sub-optimal use of the positional information provided by the input morphogen because noise is added at each tier. However, the conventional theory fails to distinguish between the total information in a morphogen and information that can be usefully extracted and interpreted by downstream elements. We demonstrate that quantifying the information that is accessible to the system naturally explains the prevalence of multi-tiered network architectures as a consequence of the noise inherent to the control of gene expression. We support our argument with empirical observations from patterning along the major body axis of the fruit fly embryo. Our results exhibit the limitations of the standard information-theoretic characterization of biological signaling and illustrate how they can be resolved.

In pattern-forming developmental systems, cells commonly interpret graded input signals, known as morphogens. Morphogens often pattern tissues through cascades of sequential gene expression steps. Such a multi-tiered structure appears to constitute suboptimal use of the positional information provided by the input morphogen because noise is added at each tier. However, the conventional theory neglects the role of the format in which information is encoded. We argue that the relevant performance measure is not solely the amount of information carried by the morphogen, but the amount of information that can be accessed by the downstream network. We demonstrate that quantifying the information that is accessible to the system naturally explains the prevalence of multi-tiered network architectures as a consequence of the noise inherent to the control of gene expression. We support our argument with empirical observations from patterning along the major body axis of the fruit fly embryo.

The hallmark of a major evolutionary transition, whereby independently replicating units became grouped together into larger wholes, is the “decoupling” of fitness of the collective from the individual fitnesses of the units. It is widely believed that the key element making such decoupling possible is extensive cooperation between the lower-level entities. Here, it is demonstrated that cohesive multicellular behavior can arise in a purely competitive setting as a generic consequence of division of labor. A minimal theoretical model of competitive coexistence on multiple resources provides an explicit manifestation of fitness decoupling in a rigorous mathematical sense. This form of multicellular behavior is not vulnerable to “cheaters” and can be expected to be widespread in microbial ecosystems.

We continue our study of the chemical (graph) distance inside large critical percolation clusters in dimension two. We prove new estimates, which involve the three-arm probability, for the point-to-surface and point-to-point distances. We show that the point-to-point distance in Z 2 between two points in the same critical percolation cluster has infinite second moment. We also give quantitative versions of our previous results comparing the length of the shortest crossing to that of the lowest crossing of a box.

We consider a discrete, non-Hermitian random matrix model, which can be expressed as a shift of a rank-one perturbation of an anti-symmetric matrix. We show that, asymptotically almost surely, the real parts of the eigenvalues of the non-Hermitian matrix around any fixed index are interlaced with those of the anti-symmetric matrix. Along the way, we show that some tools recently developed to study the eigenvalue distributions of Hermitian matrices extend to the anti-symmetric setting.

We consider a discrete, non-Hermitian random matrix model, which can be expressed as a shift of a rank-one perturbation of an anti-symmetric matrix. We show that, asymptotically almost surely, the real parts of the eigenvalues of the non-Hermitian matrix around any fixed index are interlaced with those of the anti-symmetric matrix. Along the way, we show that some tools recently developed to study the eigenvalue distributions of Hermitian matrices extend to the anti-symmetric setting.

We consider two-dimensional critical bond percolation. Conditioned on the existence of an open circuit in an annulus, we show that the ratio of the expected size of the shortest open circuit to the expected size of the innermost circuit tends to zero as the side length of the annulus tends to infinity, the aspect ratio remaining fixed. The same proof yields a similar result for the lowest open crossing of a rectangle. In this last case, we answer a question of Kesten and Zhang by showing in addition that the ratio of the length of the shortest crossing to the length of the lowest tends to zero in probability. This suggests that the chemical distance in critical percolation is given by an exponent strictly smaller than that of the lowest path.

Although random cell complexes occur throughout the physical sciences, there does not appear to be a standard way to quantify their statistical similarities and differences. The various proposals in the literature are usually motivated by the analysis of particular physical systems and do not necessarily apply to general situations. The central concepts in this paper—the swatch and the cloth—provide a description of the local topology of a cell complex that is general (any physical system that can be represented as a cell complex is admissible) and complete (any statistical question about the local topology can be answered from the cloth). Furthermore, this approach allows a distance to be defined that measures the similarity of the local topology of two cell complexes. The distance is used to identify a steady state of a model grain boundary network, quantify the approach to this steady state, and show that the steady state is independent of the initial conditions. The same distance is then employed to show that the long-term properties in simulations of a specific model of a dislocation network do not depend on the implementation of dislocation intersections.

The absorption rate of low-energy, or soft, electromagnetic radiation by spherically symmetric black holes in arbitrary dimensions is shown to be fixed by conservation of energy and large gauge transformations. We interpret this result as the explicit realization of the Hawking-Perry-Strominger Ward identity for large gauge transformations in the background of a non-evaporating black hole. Along the way we rederive and extend previous analytic results regarding the absorption rate for the minimal scalar and the photon.

We show that there exists an infinite tower of fermionic symmetries in pure d=4, N=1 supergravity on an asymptotically flat background. The Ward identities associated with these symmetries are equivalent to the soft limit of the gravitino and to the statement of supersymmetry at every angle. Additionally, we show that these charges commute into charges associated with the (unextended) BMS group, providing a supersymmetrization of the BMS translations.

Recently, a number of new Ward identities for large gauge transformations and large diffeomorphisms have been discovered. Some of the identities are reinterpretations of previously known statements, while some appear to be genuinely new. We use Noether’s second theorem with the path integral as a powerful way of generating these kinds of Ward identities. We reintroduce Noether’s second theorem and discuss how to work with the physical remnant of gauge symmetry in gauge fixed systems. We illustrate our mechanism in Maxwell theory, Yang–Mills theory, p-form field theory, and Einstein–Hilbert gravity. We comment on multiple connections between Noether’s second theorem and known results in the recent literature. Our approach suggests a novel point of view with important physical consequences.

We revisit the “state-dependence” of the map that we proposed recently between bulk operators in the interior of a large AdS black hole and operators in the boundary CFT. By refining recent versions of the information paradox, we show that this feature is necessary for the CFT to successfully describe local physics behind the horizon — not only for single-sided black holes but even in the eternal black hole. We show that state-dependence is invisible to an infalling observer who cannot differentiate these operators from those of ordinary quantum effective field theory. Therefore the infalling observer does not observe any violations of quantum mechanics. We successfully resolve a large class of potential ambiguities in our construction. We analyze states where the CFT is entangled with another system and show that the ER=EPR conjecture emerges from our construction in a natural and precise form. We comment on the possible semi-classical origins of state-dependence.

In this article we describe Hecke operators on the differential algebra of geometric quasi-modular forms. As an application for each natural number d we construct a vector field in six dimensions which determines uniquely the polynomial relations between the Eisenstein series of weight 2, 4 and 6 and their transformation under multiplication of the argument by d, and in particular, it determines uniquely the modular curve of degree d isogenies between elliptic curves.

In this article we study a differential algebra of modular-type functions attached to the periods of a one-parameter family of Calabi–Yau varieties which is mirror dual to the universal family of quintic threefolds. Such an algebra is generated by seven functions satisfying functional and differential equations in parallel to the modular functional equations of classical Eisenstein series and the Ramanujan differential equation. Our result is the first example of automorphic-type functions attached to varieties whose period domain is not Hermitian symmetric. It is a reformulation and realization of a problem of Griffiths from the seventies on the existence of automorphic functions for the moduli of polarized Hodge structures.

In this paper we study the support recovery problem for single index models Y=f(X⊺β,ε), where f is an unknown link function, X∼Np(0,𝕀p) and β is an s-sparse unit vector such that βi∈{±1s√,0}. In particular, we look into the performance of two computationally inexpensive algorithms: (a) the diagonal thresholding sliced inverse regression (DT-SIR) introduced by Lin et al. (2015); and (b) a semi-definite programming (SDP) approach inspired by Amini & Wainwright (2008). When s=O(p1−δ) for some δ>0, we demonstrate that both procedures can succeed in recovering the support of β as long as the rescaled sample size κ=nslog(p−s) is larger than a certain critical threshold. On the other hand, when κ is smaller than a critical value, any algorithm fails to recover the support with probability at least 12 asymptotically. In other words, we demonstrate that both DT-SIR and the SDP approach are optimal (up to a scalar) for recovering the support of β in terms of sample size. We provide extensive simulations, as well as a real dataset application to help verify our theoretical observations.

We provide here a framework to analyze the phase transition phenomenon of slice inverse regression (SIR), a supervised dimension reduction technique introduced by Li [1991]. Under mild conditions, the asymptotic ratio ρ = lim p/n is the phase transition parameter and the SIR estimator is consistent if and only if ρ = 0. When dimension p is greater than n, we propose a diagonal thresholding screening SIR (DT-SIR) algorithm. This method provides us with an estimate of the eigen-space of the covariance matrix of the conditional expectation var(E[x|y]). The desired dimension reduction space is then obtained by multiplying the inverse of the covariance matrix on the eigen-space. Under certain sparsity assumptions on both the covariance matrix of predictors and the loadings of the directions, we prove the consistency of DT-SIR in estimating the dimension reduction space in high dimensional data analysis. Extensive numerical experiments demonstrate superior performances of the proposed method in comparison to its competitors.