Search

We provide a new proof of the splitting theorems from Lorentzian geometry, in which simplicity is gained by sacrificing linearity of the d'Alembertian to recover ellipticity. We exploit a negative homogeneity (non-uniformly) elliptic $p$-d'Alembert operator for this purpose. This allows us to bring the Eschenburg, Galloway, and Newman Lorentzian splitting theorems into a framework closer to the Cheeger-Gromoll splitting theorem from Riemannian geometry., Comment: 34 pages

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

We introduce a variational first-order Sobolev calculus on metric measure spacetimes. The key object is the maximal weak subslope of an arbitrary causal function, which plays the role of the (Lorentzian) modulus of its differential. It is shown to satisfy certain chain and Leibniz rules, certify a locality property, and be compatible with its smooth analog. In this setup, we propose a quadraticity condition termed infinitesimal Minkowskianity, which singles out genuinely Lorentzian structures among Lorentz-Finsler spacetimes. Moreover, we establish a comparison theorem for a nonlinear yet elliptic $p$-d'Alembertian in a weak form under the timelike measure contraction property. As a particular case, this extends Eschenburg's classical estimate past the timelike cut locus., Comment: 132 pages. Comments welcome

We argue that a general system of scalar fields and gauge fields manifesting vacuum degeneracy induces a principal groupoid bundle over spacetime and that the pattern of spontaneous symmetry breaking and the Higgs mechanism are encoded by the singular foliation canonically induced on the moduli space of scalar vacuum expectation values by the Lie groupoid structure. Recent mathematical results in the classification of singular foliations then provide a qualitative classification of the possible patterns of vacuum degeneracy., Comment: 7 pages, 5 figures, 1 table

We develop a new perspective on principal bundles with connection as morphisms from the tangent bundle of the underlying manifold to a classifying dg-Lie groupoid. This groupoid can be identified with a lift of the inner homomorphisms groupoid arising in \v{S}evera's differentiation procedure of Lie quasi-groupoids. Our new perspective readily extends to principal groupoid bundles, but requires an adjustment, an additional datum familiar from higher gauge theory. We show that for Lie groupoids, the additional adjustment data amounts to a Cartan connection. The resulting adjusted connections naturally provide a global formulation of the kinematical data of curved Yang-Mills-Higgs theories as described by Kotov-Strobl (arXiv:1510.07654) and Fischer (arXiv:2104.02175)., Comment: v2: 1+77 pages, full identification of adjustments with Cartan connections, presentation improved, typos fixed, references added

We give a brief non-technical introduction to non-regular spacetime geometry. In particular, we discuss how curvature, and hence gravity, can be defined without a smooth (differential geometric) calculus., Comment: 19 pages, 3 Figures; invited article for International Mathematical News, the journal of the Austrian Mathematical Society

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

Impulsive gravitational waves are theoretical models of short but violent bursts of gravitational radiation. They are commonly described by two distinct spacetime metrics, one of local Lipschitz regularity, the other one even distributional. These two metrics are thought to be `physically equivalent' since they can be formally related by a `discontinuous coordinate transformation'. In this paper we provide a mathematical analysis of this issue for the entire class of nonexpanding impulsive gravitational waves propagating in a background spacetime of constant curvature. We devise a natural geometric regularisation procedure to show that the notorious change of variables arises as the distributional limit of a family of smooth coordinate transformations. In other words, we establish that both spacetimes arise as distributional limits of a smooth sandwich wave taken in different coordinate systems which are diffeomorphically related., Comment: 26 pages

Ensuring safety in automated driving is a major challenge for the automotive industry. Special attention is paid to artificial intelligence, in particular to Deep Neural Networks (DNNs), which is considered a key technology in the realization of highly automated driving. DNNs learn from training data, which means that they only achieve good accuracy within the underlying data distribution of the training data. When leaving the training domain, a distributional shift is caused, which can lead to a drastic reduction of accuracy. In this work, we present a proof of concept for a safety mechanism that can detect the leaving of the domain online, i.e. at runtime. In our experiments with the Synthia data set we can show that a 100 % correct detection of whether the input data is inside or outside the domain is achieved. The ability to detect when the vehicle leaves the domain can be an important requirement for certification., Comment: Machine Learning in Certified Systems (MLCS) Workshop, 14.-15.01.2021

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

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

Semi-classically equivalent field theories are related by a quasi-isomorphism between their underlying $L_\infty$-algebras, but such a quasi-isomorphism is not necessarily a homotopy transfer. We demonstrate that all quasi-isomorphisms can be lifted to spans of $L_\infty$-algebras in which the quasi-isomorphic $L_\infty$-algebras are obtained from a correspondence $L_\infty$-algebra by a homotopy transfer. Our construction is very useful: homotopy transfer is computationally tractable, and physically, it amounts to integrating out fields in a Feynman diagram expansion. Spans of $L_\infty$-algebras allow for a clean definition of quasi-isomorphisms of cyclic $L_\infty$-algebras. Furthermore, they appear naturally in many contexts within physics. As examples, we first consider scalar field theory with interaction vertices blown up in different ways. We then show that (non-Abelian) T-duality can be seen as a span of $L_\infty$-algebras, and we provide full details in the case of the principal chiral model. We also present the relevant span of $L_\infty$-algebras for the Penrose-Ward transform in the context of self-dual Yang-Mills theory and Bogomolny monopoles., Comment: 49 pages

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

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

Colour-kinematics duality is a remarkable property of Yang-Mills theory. Its validity implies a relation between gauge theory and gravity scattering amplitudes, known as double copy. Albeit fully established at the tree level, its extension to the loop level is conjectural. Lifting the on-shell, scattering amplitudes-based description to the level of action functionals, we argue that a theory that exhibits tree-level colour-kinematics duality can be reformulated in a way such that its loop integrands manifest a generalised form of colour-kinematics duality. Moreover, we show how the structures of higher homotopy theory naturally describe this off-shell reformulation of colour-kinematics duality., Comment: 6 pages, proceedings of ICHEP 2022

We analyze theories with color-kinematics duality from an algebraic perspective and find that any such theory has an underlying BV${}^{\color{gray} \blacksquare}$-algebra structure, extending the ideas of arXiv:1912.03110. Conversely, we show that any theory with a BV${}^{\color{gray} \blacksquare}$-algebra features a kinematic Lie algebra that controls interaction vertices, both on- and off-shell. We explain that the archetypal example of a theory with BV${}^{\color{gray} \blacksquare}$-algebra is Chern-Simons theory, for which the resulting kinematic Lie algebra is isomorphic to the Schouten-Nijenhuis algebra on multivector fields. The BV${}^{\color{gray} \blacksquare}$-algebra implies the known color-kinematics duality of Chern-Simons theory. Similarly, we show that holomorphic and Cauchy-Riemann (CR) Chern-Simons theories come with BV${}^{\color{gray} \blacksquare}$-algebras and that, on the appropriate twistor spaces, these theories organize and identify kinematic Lie algebras for self-dual and full Yang-Mills theories, as well as the currents of any field theory with a twistorial description. We show that this result extends to the loop level under certain assumptions., Comment: v2: presentation improved, typos fixed, published version

Averaging predictions of a deep ensemble of networks is apopular and effective method to improve predictive performance andcalibration in various benchmarks and Kaggle competitions. However, theruntime and training cost of deep ensembles grow linearly with the size ofthe ensemble, making them unsuitable for many applications. Averagingensemble weights instead of predictions circumvents this disadvantageduring inference and is typically applied to intermediate checkpoints ofa model to reduce training cost. Albeit effective, only few works haveimproved the understanding and the performance of weight averaging.Here, we revisit this approach and show that a simple weight fusion (WF)strategy can lead to a significantly improved predictive performance andcalibration. We describe what prerequisites the weights must meet interms of weight space, functional space and loss. Furthermore, we presenta new test method (called oracle test) to measure the functional spacebetween weights. We demonstrate the versatility of our WF strategy acrossstate of the art segmentation CNNs and Transformers as well as real worlddatasets such as BDD100K and Cityscapes. We compare WF with similarapproaches and show our superiority for in- and out-of-distribution datain terms of predictive performance and calibration.

Machine learning (ML) techniques have gained popularity in the neuroimaging field due to their potential for classifying neuropsychiatric disorders. However, the diagnostic predictive power of the existing algorithms has been limited by small sample sizes, lack of representativeness, data leakage, and/or overfitting. Here, we overcome these limitations with the largest multi-site sample size to date (n=5,356) to provide a generalizable ML classification benchmark of major depressive disorder (MDD). Using brain measures from standardized ENIGMA analysis pipelines in FreeSurfer, we were able to classify MDD vs healthy controls (HC) with around 62% balanced accuracy, but when harmonizing the data using ComBat balanced accuracy dropped to approximately 52%. Similar results were observed in stratified groups according to age of onset, antidepressant use, number of episodes and sex. Future studies incorporating higher dimensional brain imaging/phenotype features, and/or using more advanced machine and deep learning methods may achieve more encouraging prospects., Comment: main document 37 pages; supplementary material 24 pages

Within the synthetic-geometric framework of Lorentzian (pre-)length spaces developed in Kunzinger and S\"amann (Ann. Glob. Anal. Geom. 54(3):399--447, 2018) we introduce a notion of a hyperbolic angle, an angle between timelike curves and related concepts like timelike tangent cone and exponential map. This provides valuable technical tools for the further development of the theory and paves the way for the main result of the article, which is the characterization of timelike curvature bounds (defined via triangle comparison) with an angle monotonicity condition. Further, we improve on a geodesic non-branching result for spaces with timelike curvature bounded below., Comment: 71 pages, 15 figures; v3: minor changes suggested by the referee

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

We define the notion of adjustment for strict Lie 2-groups and provide the complete cocycle description for non-Abelian gerbes with connections whose structure 2-group is an adjusted 2-group. Most importantly, we depart from the common fake-flat connections and employ adjusted connections. This is an important generalisation that is needed for physical applications especially in the context of supergravity. We give a number of explicit examples; in particular, we lift the spin structure on $S^4$, corresponding to an instanton-anti-instanton pair, to a string structure, a 2-group bundle with connection. We also outline how categorified forms of Bogomolny monopoles known as self-dual strings can be obtained via a Penrose-Ward transform of string bundles over twistor space., Comment: v3: 77 pages, presentation substantially changed, many results added

We define a one-parameter family of canonical volume measures on Lorentzian (pre-)length spaces. In the Lorentzian setting, this allows us to define a geometric dimension - akin to the Hausdorff dimension for metric spaces - that distinguishes between e.g. spacelike and null subspaces of Minkowski spacetime. The volume measure corresponding to its geometric dimension gives a natural reference measure on a synthetic or limiting spacetime, and allows us to define what it means for such a spacetime to be collapsed (in analogy with metric measure geometry and the theory of Riemannian Ricci limit spaces). As a crucial tool we introduce a doubling condition for causal diamonds and a notion of causal doubling measures. Moreover, applications to continuous spacetimes and connections to synthetic timelike curvature bounds are given., Comment: 45 pages, 4 figures; v2: minor improvements

Color-kinematics (CK) duality is a remarkable symmetry of gluon amplitudes that is the key to the double copy which links gauge theory and gravity amplitudes. Here we show that the complete Yang-Mills action itself, including its gauge-fixing and ghost sectors required for quantization, can be recast to manifest CK duality using a series of field redefinitions and gauge choices. Crucially, the resulting loop-level integrands are automatically CK-dual, up to potential Jacobian counterterms required for unitarity. While these counterterms may break CK duality, they exist, are unique and, since the tree-level is unaffected, may be deduced from the action or the integrands. Consequently, CK duality is a symmetry of the action like any other symmetry, and it is anomalous in a controlled and mostly harmless sense. Our results apply to any theory with CK-dual tree-level amplitudes. We also show that two CK duality-manifesting parent actions may be factorized and fused into a consistent quantizable offspring, with the double copy as the prime example. This provides a direct proof of the double copy to all loop orders., Comment: v3: 71 pages; arguments, statements, and presentation extended and improved; clarifications added; typos fixed; published version

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

The use of deep neural networks (DNNs) in safety-critical applications like mobile health and autonomous driving is challenging due to numerous model-inherent shortcomings. These shortcomings are diverse and range from a lack of generalization over insufficient interpretability to problems with malicious inputs. Cyber-physical systems employing DNNs are therefore likely to suffer from safety concerns. In recent years, a zoo of state-of-the-art techniques aiming to address these safety concerns has emerged. This work provides a structured and broad overview of them. We first identify categories of insufficiencies to then describe research activities aiming at their detection, quantification, or mitigation. Our paper addresses both machine learning experts and safety engineers: The former ones might profit from the broad range of machine learning topics covered and discussions on limitations of recent methods. The latter ones might gain insights into the specifics of modern ML methods. We moreover hope that our contribution fuels discussions on desiderata for ML systems and strategies on how to propel existing approaches accordingly., Comment: 94 pages

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

We present a six-dimensional $\mathcal{N}=(1,0)$ supersymmetric higher gauge theory in which self-duality is consistently implemented by physically trivial additional fields. The action contains both $\mathcal{N}=(1,0)$ tensor and vector multiplets and is non-trivially interacting. The tensor multiplet part is loosely related to a recently proposed action by Sen that leads to on-shell self-duality in an elegant way. As we also show, Sen's action finds a very natural and direct interpretation from a homotopy algebraic perspective., Comment: 29 pages, typos fixed, clarifications added, published version

This article describes BabyIAXO, an intermediate experimental stage of the International Axion Observatory (IAXO), proposed to be sited at DESY. IAXO is a large-scale axion helioscope that will look for axions and axion-like particles (ALPs), produced in the Sun, with unprecedented sensitivity. BabyIAXO is conceived to test all IAXO subsystems (magnet, optics and detectors) at a relevant scale for the final system and thus serve as prototype for IAXO, but at the same time as a fully-fledged helioscope with relevant physics reach itself, and with potential for discovery. The BabyIAXO magnet will feature two 10 m long, 70 cm diameter bores, and will host two detection lines (optics and detector) of dimensions similar to the final ones foreseen for IAXO. BabyIAXO will detect or reject solar axions or ALPs with axion-photon couplings down to $g_{a\gamma} \sim 1.5 \times 10^{-11}$ GeV$^{-1}$, and masses up to $m_a\sim 0.25$ eV. BabyIAXO will offer additional opportunities for axion research in view of IAXO, like the development of precision x-ray detectors to identify particular spectral features in the solar axion spectrum, and the implementation of radiofrequency-cavity-based axion dark matter setups., Comment: 77 pages, 49 figures. Prepared for submission to JHEP. Third version after referees comments

We discuss the symmetry factors of Feynman diagrams of scalar field theories with polynomial potential. After giving a concise general formula for them, we present an elementary and direct proof that when computing scattering amplitudes using the homological perturbation lemma, each contributing Feynman diagram is indeed included with the correct symmetry factor., Comment: 20 pages

We show that maximal causal curves for a Lipschitz continuous Lorentzian metric admit a $\mathcal{C}^{1,1}$-parametrization and that they solve the geodesic equation in the sense of Filippov in this parametrization. Our proof shows that maximal causal curves are either everywhere lightlike or everywhere timelike. Furthermore, the proof demonstrates that maximal causal curves for an $\alpha$-H\"older continuous Lorentzian metric admit a $\mathcal{C}^{1,\frac{\alpha}{4}}$-parametrization., Comment: 25 pages; v2: minor improvements of the presentation

We show that the double copy of gauge theory amplitudes to $\mathcal{N}=0$ supergravity amplitudes extends from tree level to loop level. We first explain that color-kinematic duality is a condition for the Becchi-Rouet-Stora-Tyutin operator and the action of a field theory with cubic interaction terms to double copy to a consistent gauge theory. We then apply this argument to Yang-Mills theory, where color-kinematic duality is known to be satisfied onshell at tree level. Finally, we show that the latter restriction can only lead to terms that can be absorbed in a sequence of field redefinitions, rendering the double copied action equivalent to $\mathcal{N}=0$ supergravity., Comment: v2: 7 pages, improved presentation, published version

We review the homotopy algebraic perspective on perturbative quantum field theory: classical field theories correspond to homotopy algebras such as $A_\infty$- and $L_\infty$-algebras. Furthermore, their scattering amplitudes are encoded in minimal models of these homotopy algebras at tree level and their quantum relatives at loop level. The translation between Lagrangian field theories and homotopy algebras is provided by the Batalin--Vilkovisky formalism. The minimal models are computed recursively using the homological perturbation lemma, which induces useful recursion relations for the computation of scattering amplitudes. After explaining how the homological perturbation lemma produces the usual Feynman diagram expansion, we use our techniques to verify an identity for the Berends--Giele currents which implies the Kleiss--Kuijf relations., Comment: v2: 25 pages, contribution to the proceedings of the Corfu Summer Institute 2019 "School and Workshops on Elementary Particle Physics and Gravity", typos fixed, published version

Safety is one of the most important development goals for highly automated driving (HAD) systems. This applies in particular to the perception function driven by Deep Neural Networks (DNNs). For these, large parts of the traditional safety processes and requirements are not fully applicable or sufficient. The aim of this paper is to present a framework for the description and mitigation of DNN insufficiencies and the derivation of relevant safety mechanisms to increase the safety of DNNs. To assess the effectiveness of these safety mechanisms, we present a categorization scheme for evaluation metrics.