Search

The conjectured symmetries of M-theory famously involve (1.) brane-extended super-symmetry (the M-algebra) and (2.) exceptional duality-symmetry (the $\mathfrak{e}_{11}$-algebra); but little attention has been given to their inevitable combination. In this little note, we highlight (by combining results available in the literature) that the $local$ exceptional duality-symmetry (the hyperbolic involutary $\mathfrak{k}_{1,10} \subset \mathfrak{e}_{11}$) acts on the M-algebra, through the "brane-rotating symmetry" $\mathfrak{sl}_{32}$, in a way which extends the known hierarchy of finite-dimensional $n$-exceptional tangent spaces compatibly beyond the traditional bound of $n \leq 7$ all the way to $n = 11$., Comment: 13 pages

A comprehensive investigation of the entanglement characteristics is carried out on tripartite spin-1/2 systems, examining prototypical tripartite states, the thermal Heisenberg model, and the transverse field Ising model. The entanglement is computed using the R\'enyi relative entropy. In the traditional R\'enyi relative entropy, the generalization parameter $\alpha$ can take values only in the range $0 \leq \alpha \leq 2$ due to the requirements of joint convexity of the measure. To use the R\'enyi relative entropy over a wider range of $\alpha$, we use the sandwiched form which is jointly convex in the regime $0.5 \leq \alpha \leq \infty$. In prototypical tripartite states, we find that GHZ states are monogamous, but surprisingly so are W states. On the other hand, star states exhibit polygamy, due to the higher level of purity of the bipartite subsystems. For spin models, we study the dependence of entanglement on various parameters such as temperature, spin-spin interaction, and anisotropy, and identify regions where entanglement is the largest. The R\'enyi parameter $\alpha$ scales the amount of entanglement in the system. The entanglement measure based on the traditional and the sandwiched R\'enyi relative entropies obey the Araki-Lieb-Thirring inequality. In the Heisenberg models, namely the XYZ, XXZ, and XY models, the system is always monogamous. However, in the transverse field Ising model, the state is initially polygamous and becomes monogamous with temperature and coupling., Comment: 24 Pages

We first give a brief exposition of our recent realization of anyonic quantum states on single M5-brane probes in 11D super-gravity backgrounds, by non-perturbative quantization of the topological sector of the self-dual tensor field on the 6D worldvolume, after its proper flux-quantization. This opens the prospect of holographic models for topological qbits away from the usual but unrealistic limit of large numbers of branes. At the same time, the elementary homotopy-theoretic nature of the construction yields a slick expression of topological quantum gates in homotopically-typed programming languages, opening the prospect of topological-hardware aware quantum programming. In view of these results, we end with some more meta-physical remarks on (cohesive) homotopy (type) theory in view of emergent fundamental physics and, possibly, M-theory., Comment: 16 pages, some figures -- invited contribution to: Arsiwalla, Elshatlawy & Rickles (eds.) "Quantum Gravity and Computation"

In previous work, we introduced Mysterious Triality, extending the Mysterious Duality of Iqbal, Neitzke, and Vafa between physics and algebraic geometry to include algebraic topology in the form of rational homotopy theory. Starting with the rational Sullivan minimal model of the 4-sphere $S^4$, capturing the dynamics of M-theory via Hypothesis H, this progresses to the dimensional reduction of M-theory on torus $T^k$, $k \ge 1$, with its dynamics described via the iterated cyclic loop space $\mathcal{L}_c^k S^4$ of the 4-sphere. From this, we also extracted data corresponding to the maximal torus/Cartan subalgebra and the Weyl group of the exceptional Lie group/algebra of type $E_k$. In this paper, we discover much richer symmetry by extending the data of the Cartan subalgebra to a maximal parabolic subalgebra $\mathfrak{p}_k^{k(k)}$ of the split real form $\mathfrak{e}_{k(k)}$ of the exceptional Lie algebra of type $E_k$ by exhibiting an action, in rational homotopy category, of $\mathfrak{p}_k^{k(k)}$ on the slightly more symmetric than $\mathcal{L}_c^k S^4$ toroidification $\mathcal{T}^k S^4$. This action universally represents symmetries of the equations of motion of supergravity in the reduction of M-theory to $11-k$ dimensions. Along the way, we identify the minimal model of the toroidification $\mathcal{T}^k S^4$, generalizing the results of Vigu\'{e}-Poirrier, Sullivan, and Burghelea, and establish an algebraic toroidification/totalization adjunction., Comment: 29 pages

While fractional quantum Hall systems provide the best experimental evidence yet of (abelian) anyons plausibly necessary for future fault-tolerant quantum computation, like all strongly-coupled quantum systems their physics is not deeply understood. However, generally a promising approach is to (holographically) realize such systems on branes in string/M-theory; and specifically an old argument by Hellerman & Susskind gives a sketch of fractional quantum Hall states arising via discrete light cone quantization of M5/M9-brane intersections. Here we present a rigorous derivation of abelian anyon quantum states on M5$\perp$MO9-branes ("open M5-branes") on the discrete light cone, after globally completing the traditional local field content on the M5-worldvolume via a flux-quantization law compatible with the ambient 11d supergravity, specifically taken to be in the unstable co-Homotopy cohomology ("Hypothesis H"). The main step in the proof uses a theorem of Okuyama to identify co-Homotopy moduli spaces with configuration spaces of strings with charged endpoints, and identifies their loop spaces with cobordism of framed links that, under topological light cone quantization, turn out to be identified with the regularized Wilson loops of abelian Chern-Simons theory., Comment: 22 pages

Over a decade before the modern formulation of AdS/CFT duality, Duff et al. had observed a candidate microscopic explanation by identifying the CFT fields with fluctuations of probe p-branes stretched out in parallel near the horizon of their own black brane incarnation. A profound way to characterize these and more general probe p-brane configurations, especially for M5-branes, is expected to be as "super-embeddings" of their super-worldvolumes into target super-spacetime - but no concrete example of these had appeared in the literature. Here we fill this gap by constructing the explicit holographic super-embedding of probe M5-branes and M2-branes into their corresponding super-AdS backgrounds. The result seems to be novel and shows that the holographic M-probes, static with respect to the Poincar\'e chart, must sit exactly at the throat radius., Comment: 28 pages

This paper presents the Hybrid Overestimating Approximate Adder designed to enhance the performance in processing engines, specifically focused on edge AI applications. A novel Plus One Adder design is proposed as an incremental adder in the RCA chain, incorporating a Full Adder with an excess 1 alongside inputs A, B, and Cin. The design approximates outputs to 2 bit values to reduce hardware complexity and improve resource efficiency. The Plus One Adder is integrated into a dynamically reconfigurable HOAA, allowing runtime interchangeability between accurate and approximate overestimation modes. The proposed design is demonstrated for multiple applications, such as Twos complement subtraction and Rounding to even, and the Configurable Activation function, which are critical components of the Processing engine. Our approach shows 21 percent improvement in area efficiency and 33 percent reduction in power consumption, compared to state of the art designs with minimal accuracy loss. Thus, the proposed HOAA could be a promising solution for resource-constrained environments, offering ideal trade-offs between hardware efficiency vs computational accuracy.

We highlight the need for global completion of the field content in the M5-brane sigma-model analogous to Dirac's charge/flux quantization, and we point out that the superspace Bianchi identities on the worldvolume and on its ambient supergravity background constrain the M5's flux-quantization law to be in a non-abelian cohomology theory rationally equivalent to a twisted form of co-Homotopy. In order to clearly bring out this subtle point we give a streamlined re-derivation of the worldvolume 3-flux via M5 "super-embeddings". Finally, assuming the flux-quantization law to actually be in co-Homotopy ("Hypothesis H") we show how this implies Skyrmion-like solitons on general M5-worldvolumes and (abelian) anyonic solitons on the boundaries of "open M5-branes" in heterotic M-theory., Comment: 44 pages; v3: published version, abstract shortened and typos fixed; v2: minor additions

Flux quantization of the C-field in 11d supergravity is arguably necessary for the (UV-)completion of the theory, in that it determines the torsion charges carried by small numbers of M-branes. However, hypotheses about C-field flux-quantization ("models of the C-field") have previously been discussed only in the bosonic sector of 11d supergravity and ignoring the supergravity equations of motion. Here we highlight a duality-symmetric formulation of on-shell 11d supergravity on superspace, observe that this naturally lends itself to completion of the theory by flux quantization, and indeed that 11d super-spacetimes are put on-shell by carrying quantizable duality-symmetric super-C-field flux; the proof of which we present in detail., Comment: 62 pages; v3: added section 2.1.7 and various minor improvements; v2: fixed lemma 2.48 and added lemma 3.6

Flux- and charge-quantization laws for higher gauge fields of Maxwell type -- e.g. the common electromagnetic field (the "A-field") but also the B-, RR-, and C-fields considered in string/M-theory -- specify non-perturbative completions of these fields by encoding their solitonic behaviour and hence by specifying the discrete charges carried by the individual branes (higher-dimensional monopoles or solitons) that source the field fluxes. This article surveys the general (rational-)homotopy theoretic understanding of flux- and charge-quantization via the Chern-Dold character map generalized to the non-linear (self-sourcing) Bianchi identities that appear in higher-dimensional supergravity theories, notably for B&RR-fields in D=10, for the C-field in D=11 supergravity, and for the B-field on fivebrane worldvolumes., Comment: 34+6 pages, many figures; v2: published version, commissioned for the Encyclopedia of Mathematical Physics 2nd ed

The physical world is fundamentally: (1) field-theoretic, (2) smooth, (3) local, (4) gauged, (5) containing fermions, and last but not least: (6) non-perturbative. Tautologous as this may sound, it is remarkable that the mathematical notion of geometry which reflects all of these aspects -- namely, as we will explain: "supergeometric homotopy theory" -- has received little attention even by mathematicians and remains unknown to most physicists. Elaborate algebraic machinery is known for perturbative field theories, but in order to tackle the deep open questions of the subject, these will need to be lifted to a global geometry of physics. Our aim in this series is, first, to introduce inclined physicists to this theory, second to fill mathematical gaps in the existing literature, and finally to rigorously develop the full power of supergeometric homotopy theory and apply it to the analysis of fermionic (not necessarily super-symmetric) field theories. To warm up, in this first part we explain how classical bosonic Lagrangian field theory (variational Euler-Lagrange theory) finds a natural home in the "topos of smooth sets", thereby neatly setting the scene for the higher supergeometry discussed in later parts of the series. This introductory material will be largely known to a few experts but has never been comprehensively laid out before. A key technical point we make is to regard jet bundle geometry systematically in smooth sets instead of just its subcategories of diffeological spaces or even Fr\'echet manifolds -- or worse simply as a formal object. Besides being more transparent and powerful, it is only on this backdrop that a reasonable supergeometric jet geometry exists, needed for satisfactory discussion of any field theory with fermions., Comment: 120 pages, minor changes, clarifying material added

While it has become widely appreciated that defining (higher) gauge theories requires, in addition to ordinary phase space data, also "flux quantization" laws in generalized differential cohomology, there has been little discussion of the general rules, if any, for lifting Poisson-brackets of (flux-)observables and their quantization from traditional phase spaces to the resulting higher moduli stacks of flux-quantized gauge fields. In this short note, we present a systematic analysis of (i) the canonical quantization of flux observables in Yang-Mills theory and (ii) of valid flux quantization laws in abelian Yang-Mills, observing (iii) that the resulting topological quantum observables form the homology Pontrjagin algebra of the loop space of the moduli space of flux-quantized gauge fields. This is remarkable because the homology Ponrjagin algebra on loops of moduli makes immediate sense in broad generality for higher and non-abelian (non-linearly coupled) gauge fields, such as for the C-field in 11d supergravity, where it recovers the quantum effects previously discussed in the context of "Hypothesis H"., Comment: 20 pages

While it has become widely appreciated that (higher) gauge theories need, besides their variational phase space data, to be equipped with "flux quantization laws" in generalized differential cohomology, there used to be no general prescription for how to define and construct the resulting flux-quantized phase space stacks. In this short note we observe that all higher Maxwell-type equations have solution spaces given by flux densities on a Cauchy surface subject to a higher Gauss law and no further constraint: The metric duality-constraint is all absorbed into the evolution equation away from the Cauchy surface. Moreover, we observe that the higher Gauss law characterizes the Cauchy data as flat differential forms valued in a characteristic L-infinity-algebra. Using the recent construction of the non-abelian Chern-Dold character map, this implies that compatible flux quantization laws on phase space have classifying spaces whose rational Whitehead L-infinity algebra is this characteristic one. The flux-quantized higher phase space stack of the theory is then simply the corresponding (generally non-abelian) differential cohomology moduli stack on the Cauchy surface. We show how this systematic prescription subsumes existing proposals for flux-quantized phase spaces of vacuum Maxwell theory and of the chiral boson. Moreover, for the case of NS/RR-fields in type II supergravity, the traditional "Hypothesis K" of flux quantization in topological K-theory is naturally implied, without the need, on phase space, for the notorious further duality constraint. Finally, as a genuinely non-abelian example, we consider flux-quantization of the C-field in 11d supergravity/M-theory given by unstable differential 4-Cohomotopy ("Hypothesis H") and emphasize again that, implemented on Cauchy data, this qualifies as the full phase space without the need for a further duality constraint., Comment: 23 pages; v3: published version, with a little more background added to section 3.1; v2: more references added & typos fixed

Formalizations of quantum information theory in category theory and type theory, for the design of verifiable quantum programming languages, need to express its two fundamental characteristics: (1) parameterized linearity and (2) metricity. The first is naturally addressed by dependent-linearly typed languages such as Proto-Quipper or, following our recent observations: Linear Homotopy Type Theory (LHoTT). The second point has received much attention (only) in the form of semantics in "dagger-categories", where operator adjoints are axiomatized but their specification to Hermitian adjoints still needs to be imposed by hand. We describe a natural emergence of Hermiticity which is rooted in principles of equivariant homotopy theory, lends itself to homotopically-typed languages and naturally connects to topological quantum states classified by twisted equivariant KR-theory. Namely, we observe that when the complex numbers are considered as a monoid internal to Z/2-equivariant real linear types, via complex conjugation, then (finite-dimensional) Hilbert spaces do become self-dual objects among internally-complex Real modules. The point is that this construction of Hermitian forms requires of the ambient linear type theory nothing further than a negative unit term of tensor unit type. We observe that just such a term is constructible in LHoTT, where it interprets as an element of the infinity-group of units of the sphere spectrum, tying the foundations of quantum theory to homotopy theory. We close by indicating how this allows for encoding (and verifying) the unitarity of quantum gates and of quantum channels in quantum languages embedded into LHoTT., Comment: 10 pages, some figures

The modern theory of functional programming languages uses monads for encoding computational side-effects and side-contexts, beyond bare-bone program logic. Even though quantum computing is intrinsically side-effectful (as in quantum measurement) and context-dependent (as on mixed ancillary states), little of this monadic paradigm has previously been brought to bear on quantum programming languages. Here we systematically analyze the (co)monads on categories of parameterized module spectra which are induced by Grothendieck's "motivic yoga of operations" -- for the present purpose specialized to HC-modules and further to set-indexed complex vector spaces. Interpreting an indexed vector space as a collection of alternative possible quantum state spaces parameterized by quantum measurement results, as familiar from Proto-Quipper-semantics, we find that these (co)monads provide a comprehensive natural language for functional quantum programming with classical control and with "dynamic lifting" of quantum measurement results back into classical contexts. We close by indicating a domain-specific quantum programming language (QS) expressing these monadic quantum effects in transparent do-notation, embeddable into the recently constructed Linear Homotopy Type Theory (LHoTT) which interprets into parameterized module spectra. Once embedded into LHoTT, this should make for formally verifiable universal quantum programming with linear quantum types, classical control, dynamic lifting, and notably also with topological effects., Comment: 120 pages, various figures

Recently Freedman & Hastings asked for a mathematical theory that would unify quantum entanglement/tensor-structure with parameterized/bundle-structure via their amalgamation (a hypothetical pushout) along bare quantum (information) theory. As a proposed answer to this question, we first make precise a form of the relevant pushout diagram in monoidal category theory. Then we prove that the pushout produces what is known as the *external* tensor product on vector bundles/K-classes, or rather on flat such bundles (flat K-theory), i.e., those equipped with monodromy encoding topological Berry phases. The bulk of our result is a further homotopy-theoretic enhancement of the situation to the "derived category" (infinity-category) of flat infinity-vector bundles ("infinity-local systems") equipped with the "derived functor" of the external tensor product. Concretely, we present an integral model category of simplicial functors into simplicial K-chain complexes which conveniently presents the infinity-category of parameterized HK-module spectra over varying base spaces and is equipped with homotopically well-behaved external tensor product structure. In concluding we indicate how this model category serves as categorical semantics for the linear-multiplicative fragment of Linear Homotopy Type Theory (LHoTT), which is thus exhibited as a universal quantum programming language. This is the context in which we recently showed that topological anyonic braid quantum gates are native objects in LHoTT., Comment: 79 pages, various figures; v2: Section 3.4 added, proof of first step in item 3 in thm. 3.23 fixed

We will classify physically admissible manifold structures by the use of Waldhausen categories. These categories give rise to algebraic K-Theory. Moreover, we will show that a universal K-spectrum is necessary for a physical manifold being admissible. Application to the generalized structure of D-branes are also provided. This might give novel insights in how the manifold structure in String and M-Theory looks like.

Despite the evident necessity of topological protection for realizing scalable quantum computers, the conceptual underpinnings of topological quantum logic gates had arguably remained shaky, both regarding their physical realization as well as their information-theoretic nature. Building on recent results on defect branes in string/M-theory and on their holographically dual anyonic defects in condensed matter theory, here we explain how the specification of realistic topological quantum gates, operating by anyon defect braiding in topologically ordered quantum materials, has a surprisingly slick formulation in parameterized point-set topology, which is so fundamental that it lends itself to certification in modern homotopically typed programming languages, such as cubical Agda. We propose that this remarkable confluence of concepts may jointly kickstart the development of topological quantum programming proper as well as of real-world application of homotopy type theory, both of which have arguably been falling behind their high expectations; in any case, it provides a powerful paradigm for simulating and verifying topological quantum computing architectures with high-level certification languages aware of the actual physical principles of realistic topological quantum hardware. In a companion article, we will explain how further passage to "dependent linear" homotopy data types naturally extends this scheme to a full-blown quantum programming/certification language in which our topological quantum gates may be compiled to verified quantum circuits, complete with quantum measurement gates and classical control., Comment: 88 pages, various figures