-
Positivity Bounds on Massive Vectors
Authors:
Francesco Bertucci,
Johan Henriksson,
Brian McPeak,
Sergio Ricossa,
Francesco Riva,
Alessandro Vichi
Abstract:
In this paper, we explore positivity bounds for the effective field theory~(EFT) of a single weakly coupled massive vector field. The presence of both mass and spin makes the crossing properties of the amplitudes vastly complicated -- we address this by parametrizing the amplitudes as products of a polarization matrix and a vector of appropriately chosen functions with simpler crossing properties.…
▽ More
In this paper, we explore positivity bounds for the effective field theory~(EFT) of a single weakly coupled massive vector field. The presence of both mass and spin makes the crossing properties of the amplitudes vastly complicated -- we address this by parametrizing the amplitudes as products of a polarization matrix and a vector of appropriately chosen functions with simpler crossing properties. The resulting framework involves sum rules and null constraints that allows us to constrain any combination of low-energy observables, such as EFT amplitudes. By varying the value of the vector mass over the cutoff scale, some of our bounds asymptote to the bounds obtained in the context of photons and massless scalars. This work paves the way for future applications to e.g. non-abelian massive vectors, glueballs and theories with spin larger than one.
△ Less
Submitted 20 February, 2024;
originally announced February 2024.
-
Evaluation of Out-of-Distribution Detection Performance on Autonomous Driving Datasets
Authors:
Jens Henriksson,
Christian Berger,
Stig Ursing,
Markus Borg
Abstract:
Safety measures need to be systemically investigated to what extent they evaluate the intended performance of Deep Neural Networks (DNNs) for critical applications. Due to a lack of verification methods for high-dimensional DNNs, a trade-off is needed between accepted performance and handling of out-of-distribution (OOD) samples.
This work evaluates rejecting outputs from semantic segmentation D…
▽ More
Safety measures need to be systemically investigated to what extent they evaluate the intended performance of Deep Neural Networks (DNNs) for critical applications. Due to a lack of verification methods for high-dimensional DNNs, a trade-off is needed between accepted performance and handling of out-of-distribution (OOD) samples.
This work evaluates rejecting outputs from semantic segmentation DNNs by applying a Mahalanobis distance (MD) based on the most probable class-conditional Gaussian distribution for the predicted class as an OOD score. The evaluation follows three DNNs trained on the Cityscapes dataset and tested on four automotive datasets and finds that classification risk can drastically be reduced at the cost of pixel coverage, even when applied on unseen datasets. The applicability of our findings will support legitimizing safety measures and motivate their usage when arguing for safe usage of DNNs in automotive perception.
△ Less
Submitted 30 January, 2024;
originally announced January 2024.
-
Bootstrap** mesons at large $N$: Regge trajectory from spin-two maximization
Authors:
Jan Albert,
Johan Henriksson,
Leonardo Rastelli,
Alessandro Vichi
Abstract:
We continue the investigation of large $N$ QCD from a modern bootstrap perspective, focusing on the mesons. We make the natural spectral assumption that the $2 \to 2$ pion amplitude must contain, above the spin-one rho meson, a massive resonance of spin two. By maximizing its coupling we find a very interesting extremal solution of the dual bootstrap problem, which appears to contain at least a fu…
▽ More
We continue the investigation of large $N$ QCD from a modern bootstrap perspective, focusing on the mesons. We make the natural spectral assumption that the $2 \to 2$ pion amplitude must contain, above the spin-one rho meson, a massive resonance of spin two. By maximizing its coupling we find a very interesting extremal solution of the dual bootstrap problem, which appears to contain at least a full Regge trajectory. Its low-lying states are in uncanny quantitative agreement with the meson masses in the real world.
△ Less
Submitted 22 December, 2023;
originally announced December 2023.
-
Missing local operators, zeros, and twist-4 trajectories
Authors:
Johan Henriksson,
Petr Kravchuk,
Brett Oertel
Abstract:
The number of local operators in a CFT below a given twist grows with spin. Consistency with analyticity in spin then requires that at low spin, infinitely many Regge trajectories must decouple from local correlation functions, implying infinitely many vanishing conditions for OPE coefficients. In this paper we explain the mechanism behind this infinity of zeros. Specifically, the mechanism is rel…
▽ More
The number of local operators in a CFT below a given twist grows with spin. Consistency with analyticity in spin then requires that at low spin, infinitely many Regge trajectories must decouple from local correlation functions, implying infinitely many vanishing conditions for OPE coefficients. In this paper we explain the mechanism behind this infinity of zeros. Specifically, the mechanism is related to the two-point function rather than the three-point function, explaining the vanishing of OPE coefficients in every correlator from a single condition. We illustrate our result by studying twist-4 Regge trajectories in the Wilson--Fisher CFT at one loop.
△ Less
Submitted 13 May, 2024; v1 submitted 14 December, 2023;
originally announced December 2023.
-
Representing and extracting knowledge from single cell data
Authors:
Ionut Sebastian Mihai,
Sarang Chafle,
Johan Henriksson
Abstract:
Single-cell analysis is currently one of the most high-resolution techniques to study biology. The large complex datasets that have been generated have spurred numerous developments in computational biology, in particular the use of advanced statistics and machine learning. This review attempts to explain the deeper theoretical concepts that underpin current state-of-the-art analysis methods. Sing…
▽ More
Single-cell analysis is currently one of the most high-resolution techniques to study biology. The large complex datasets that have been generated have spurred numerous developments in computational biology, in particular the use of advanced statistics and machine learning. This review attempts to explain the deeper theoretical concepts that underpin current state-of-the-art analysis methods. Single-cell analysis is covered from cell, through instruments, to current and upcoming models. A minimum of mathematics and statistics has been used, but the reader is assumed to either have basic knowledge of single-cell analysis workflows, or have a solid knowledge of statistics. The aim of this review is to spread concepts which are not yet in common use, especially from topology and generative processes, and how new statistical models can be developed to capture more of biology. This opens epistemological questions regarding our ontology and models, and some pointers will be given to how natural language processing (NLP) may help overcome our cognitive limitations for understanding single-cell data.
△ Less
Submitted 25 April, 2023;
originally announced April 2023.
-
Anomalous Dimensions in Hypercubic Theories
Authors:
Alexander Bednyakov,
Johan Henriksson,
Stefanos R. Kousvos
Abstract:
We perform a comprehensive perturbative study of the operator spectrum in multi-scalar theories with hypercubic global symmetry. This includes working out symmetry representations and their corresponding tensor structures. These structures are then used to compute the anomalous dimensions of scalar operators with up to four fields and arbitrary representations to six-loop order. Moreover, we deter…
▽ More
We perform a comprehensive perturbative study of the operator spectrum in multi-scalar theories with hypercubic global symmetry. This includes working out symmetry representations and their corresponding tensor structures. These structures are then used to compute the anomalous dimensions of scalar operators with up to four fields and arbitrary representations to six-loop order. Moreover, we determine one-loop anomalous dimensions for a large number of low-lying operators in the spectrum which include more powers of the fundamental field and/or insertions of derivatives. As an aside we show how projectors used in the conformal bootstrap can be conveniently reused in computations of anomalous dimensions. The results of our study are of use to the conformal bootstrap. They also illuminate features of conformal perturbation theory and the large $n$ expansion. Our results may be of interest for various crossover phenomena in statistical field theory. In total, we compute the scaling dimension of more than 300 operators, of which 16 are computed to six-loops. Our analysis is exhaustive with respect to group theory up to rank 4 for any number of flavours $n$, and also exhaustive with respect to which representations exist for $n \leq 4$.
△ Less
Submitted 21 March, 2024; v1 submitted 13 April, 2023;
originally announced April 2023.
-
Averaging over codes and an $SU(2)$ modular bootstrap
Authors:
Johan Henriksson,
Brian McPeak
Abstract:
Error-correcting codes are known to define chiral 2d lattice CFTs where all the $U(1)$ symmetries are enhanced to $SU(2)$. In this paper, we extend this construction to a broader class of length-$n$ codes which define full (non-chiral) CFTs with $SU(2)^n$ symmetry, where $n=c+\bar c$. We show that codes give a natural discrete ensemble of 2d theories in which one can compute averaged observables.…
▽ More
Error-correcting codes are known to define chiral 2d lattice CFTs where all the $U(1)$ symmetries are enhanced to $SU(2)$. In this paper, we extend this construction to a broader class of length-$n$ codes which define full (non-chiral) CFTs with $SU(2)^n$ symmetry, where $n=c+\bar c$. We show that codes give a natural discrete ensemble of 2d theories in which one can compute averaged observables. The partition functions obtained from averaging over all codes weighted equally is found to be given by the sum over modular images of the vacuum character of the full extended symmetry group, and in this case the number of modular images is finite. This averaged partition function has a large gap, scaling linearly with $n$, in primaries of the full $SU(2)^n$ symmetry group. Using the sum over modular images, we conjecture the form of the genus-2 partition function. This exhibits the connected contributions to disconnected boundaries characteristic of wormhole solutions in a bulk dual.
△ Less
Submitted 16 November, 2023; v1 submitted 30 August, 2022;
originally announced August 2022.
-
Spectrum continuity and level repulsion: the Ising CFT from infinitesimal to finite $\boldsymbol\varepsilon$
Authors:
Johan Henriksson,
Stefanos R. Kousvos,
Marten Reehorst
Abstract:
Using numerical conformal bootstrap technology we perform a non-perturbative study of the Ising CFT and its spectrum from infinitesimal to finite values of $\varepsilon=4-d$. Exploiting the recent navigator bootstrap method in conjunction with the extremal functional method, we test various qualitative and quantitative features of the $\varepsilon$-expansion. We follow the scaling dimensions of nu…
▽ More
Using numerical conformal bootstrap technology we perform a non-perturbative study of the Ising CFT and its spectrum from infinitesimal to finite values of $\varepsilon=4-d$. Exploiting the recent navigator bootstrap method in conjunction with the extremal functional method, we test various qualitative and quantitative features of the $\varepsilon$-expansion. We follow the scaling dimensions of numerous operators from the perturbatively controlled regime to finite coupling. We do this for $\mathbb Z_2$-even operators up to spin 12 and for $\mathbb Z_2$-odd operators up to spin 6 and find a good matching with perturbation theory. In the finite coupling regime we observe two operators whose dimensions approach each other and then repel, a phenomenon known as level repulsion and which can be analyzed via operator mixing. Our work improves on previous studies in both increased precision and the number of operators studied, and is the first to observe level repulsion in the conformal bootstrap.
△ Less
Submitted 10 February, 2023; v1 submitted 20 July, 2022;
originally announced July 2022.
-
Analytic bootstrap of mixed correlators in the $\boldsymbol{O(n)}$ CFT
Authors:
Francesco Bertucci,
Johan Henriksson,
Brian McPeak
Abstract:
We use large spin perturbation theory and the Lorentzian inversion formula to compute order-$\varepsilon$ corrections to mixed correlators in the $O(n)$ Wilson-Fisher CFT in $4 - \varepsilon$ dimensions. In particular, we find the scaling dimensions and averaged OPE coefficients appearing in all correlators involving $\varphi$ and $\varphi^2$, for $\varphi^2$ in both the singlet and symmetric trac…
▽ More
We use large spin perturbation theory and the Lorentzian inversion formula to compute order-$\varepsilon$ corrections to mixed correlators in the $O(n)$ Wilson-Fisher CFT in $4 - \varepsilon$ dimensions. In particular, we find the scaling dimensions and averaged OPE coefficients appearing in all correlators involving $\varphi$ and $\varphi^2$, for $\varphi^2$ in both the singlet and symmetric traceless representations of $O(n)$. We extend some computations to the next order, and find order-$\varepsilon^2$ data for a number of quantities for the Ising case at $n = 1$. Along the way, we discuss several interesting technical aspects which arise, including subleading corrections to mixed conformal blocks, projections onto higher twists in the inversion formula, and multiplet recombination.
△ Less
Submitted 7 October, 2022; v1 submitted 18 May, 2022;
originally announced May 2022.
-
Narain CFTs and Quantum Codes at Higher Genus
Authors:
Johan Henriksson,
Ashish Kakkar,
Brian McPeak
Abstract:
Code CFTs are 2d conformal field theories defined by error-correcting codes. Recently, Dymarsky and Shapere generalized the construction of code CFTs to include quantum error-correcting codes. In this paper, we explore this connection at higher genus. We prove that the higher-genus partition functions take the form of polynomials of higher-weight theta functions, and that the higher-genus modular…
▽ More
Code CFTs are 2d conformal field theories defined by error-correcting codes. Recently, Dymarsky and Shapere generalized the construction of code CFTs to include quantum error-correcting codes. In this paper, we explore this connection at higher genus. We prove that the higher-genus partition functions take the form of polynomials of higher-weight theta functions, and that the higher-genus modular group acts as simple linear transformations on these polynomials. We explain how to solve the modular constraints explicitly, which we do for genus 2. The result is that modular invariance at genus 1 and genus 2 is much more constraining than genus 1 alone. This allows us to drastically reduce the space of possible code CFTs. We also consider a number of examples of "isospectral theories" -- CFTs with the same genus 1 partition function -- and we find that they have different genus 2 partition functions. Finally, we make connection to some 2d CFTs known from the modular bootstrap. The $n = 4$ theory conjectured to have the largest possible gap, the $SO(8)$ WZW model, is a code CFT, allowing us to give an expression for its genus 2 partition function. We also find some other known CFTs which are not code theories but whose partition functions satisfy the same simple polynomial ansatz as the code theories. This leads us to speculate about the usefulness of the code polynomial form beyond the study of code CFTs.
△ Less
Submitted 29 April, 2022;
originally announced May 2022.
-
Understanding the Impact of Edge Cases from Occluded Pedestrians for ML Systems
Authors:
Jens Henriksson,
Christian Berger,
Stig Ursing
Abstract:
Machine learning (ML)-enabled approaches are considered a substantial support technique of detection and classification of obstacles of traffic participants in self-driving vehicles. Major breakthroughs have been demonstrated the past few years, even covering complete end-to-end data processing chain from sensory inputs through perception and planning to vehicle control of acceleration, breaking a…
▽ More
Machine learning (ML)-enabled approaches are considered a substantial support technique of detection and classification of obstacles of traffic participants in self-driving vehicles. Major breakthroughs have been demonstrated the past few years, even covering complete end-to-end data processing chain from sensory inputs through perception and planning to vehicle control of acceleration, breaking and steering. YOLO (you-only-look-once) is a state-of-the-art perception neural network (NN) architecture providing object detection and classification through bounding box estimations on camera images. As the NN is trained on well annotated images, in this paper we study the variations of confidence levels from the NN when tested on hand-crafted occlusion added to a test set. We compare regular pedestrian detection to upper and lower body detection. Our findings show that the two NN using only partial information perform similarly well like the NN for the full body when the full body NN's performance is 0.75 or better. Furthermore and as expected, the network, which is only trained on the lower half body is least prone to disturbances from occlusions of the upper half and vice versa.
△ Less
Submitted 26 April, 2022;
originally announced April 2022.
-
Performance Analysis of Out-of-Distribution Detection on Trained Neural Networks
Authors:
Jens Henriksson,
Christian Berger,
Markus Borg,
Lars Tornberg,
Sankar Raman Sathyamoorthy,
Cristofer Englund
Abstract:
Several areas have been improved with Deep Learning during the past years. Implementing Deep Neural Networks (DNN) for non-safety related applications have shown remarkable achievements over the past years; however, for using DNNs in safety critical applications, we are missing approaches for verifying the robustness of such models. A common challenge for DNNs occurs when exposed to out-of-distrib…
▽ More
Several areas have been improved with Deep Learning during the past years. Implementing Deep Neural Networks (DNN) for non-safety related applications have shown remarkable achievements over the past years; however, for using DNNs in safety critical applications, we are missing approaches for verifying the robustness of such models. A common challenge for DNNs occurs when exposed to out-of-distribution samples that are outside of the scope of a DNN, but which result in high confidence outputs despite no prior knowledge of such input.
In this paper, we analyze three methods that separate between in- and out-of-distribution data, called supervisors, on four well-known DNN architectures. We find that the outlier detection performance improves with the quality of the model. We also analyse the performance of the particular supervisors during the training procedure by applying the supervisor at a predefined interval to investigate its performance as the training proceeds. We observe that understanding the relationship between training results and supervisor performance is crucial to improve the model's robustness and to indicate, what input samples require further measures to improve the robustness of a DNN. In addition, our work paves the road towards an instrument for safety argumentation for safety critical applications. This paper is an extended version of our previous work presented at 2019 SEAA (cf. [1]); here, we elaborate on the used metrics, add an additional supervisor and test them on two additional datasets.
△ Less
Submitted 26 April, 2022;
originally announced April 2022.
-
Ergo, SMIRK is Safe: A Safety Case for a Machine Learning Component in a Pedestrian Automatic Emergency Brake System
Authors:
Markus Borg,
Jens Henriksson,
Kasper Socha,
Olof Lennartsson,
Elias Sonnsjö Lönegren,
Thanh Bui,
Piotr Tomaszewski,
Sankar Raman Sathyamoorthy,
Sebastian Brink,
Mahshid Helali Moghadam
Abstract:
Integration of Machine Learning (ML) components in critical applications introduces novel challenges for software certification and verification. New safety standards and technical guidelines are under development to support the safety of ML-based systems, e.g., ISO 21448 SOTIF for the automotive domain and the Assurance of Machine Learning for use in Autonomous Systems (AMLAS) framework. SOTIF an…
▽ More
Integration of Machine Learning (ML) components in critical applications introduces novel challenges for software certification and verification. New safety standards and technical guidelines are under development to support the safety of ML-based systems, e.g., ISO 21448 SOTIF for the automotive domain and the Assurance of Machine Learning for use in Autonomous Systems (AMLAS) framework. SOTIF and AMLAS provide high-level guidance but the details must be chiseled out for each specific case. We initiated a research project with the goal to demonstrate a complete safety case for an ML component in an open automotive system. This paper reports results from an industry-academia collaboration on safety assurance of SMIRK, an ML-based pedestrian automatic emergency braking demonstrator running in an industry-grade simulator. We demonstrate an application of AMLAS on SMIRK for a minimalistic operational design domain, i.e., we share a complete safety case for its integrated ML-based component. Finally, we report lessons learned and provide both SMIRK and the safety case under an open-source licence for the research community to reuse.
△ Less
Submitted 6 December, 2022; v1 submitted 16 April, 2022;
originally announced April 2022.
-
Bounding Violations of the Weak Gravity Conjecture
Authors:
Johan Henriksson,
Brian McPeak,
Francesco Russo,
Alessandro Vichi
Abstract:
The black hole weak gravity conjecture (WGC) is a set of linear inequalities on the four-derivative corrections to Einstein--Maxwell theory. Remarkably, in four dimensions, these combinations appear in the $2 \to 2$ photon amplitudes, leading to the hope that the conjecture might be supported using dispersion relations. However, the presence of a pole arising in the forward limit due to graviton e…
▽ More
The black hole weak gravity conjecture (WGC) is a set of linear inequalities on the four-derivative corrections to Einstein--Maxwell theory. Remarkably, in four dimensions, these combinations appear in the $2 \to 2$ photon amplitudes, leading to the hope that the conjecture might be supported using dispersion relations. However, the presence of a pole arising in the forward limit due to graviton exchange greatly complicates the use of such arguments. In this paper, we apply recently developed numerical techniques to handle the graviton pole, and we find that standard dispersive arguments are not strong enough to imply the black hole WGC. Specifically, under a fairly typical set of assumptions, including weak coupling of the EFT and Regge boundedness, a small violation of the black hole WGC is consistent with unitarity and causality. We quantify the size of this violation, which vanishes in the limit where gravity decouples and also depends logarithmically on an infrared cutoff. We discuss the meaning of these bounds in various scenarios. We also implement a method for bounding amplitudes without manifestly positive spectral densities, which could be applied to any system of non-identical states, and we use it to improve bounds on the EFT of pure photons in absence of gravity.
△ Less
Submitted 6 April, 2022; v1 submitted 15 March, 2022;
originally announced March 2022.
-
The critical O(N) CFT: Methods and conformal data
Authors:
Johan Henriksson
Abstract:
The critical $O(N)$ CFT in spacetime dimensions $2 < d < 4$ is one of the most important examples of a conformal field theory, with the Ising CFT at $N=1$, $2 \leq d < 4$, as a notable special case. Apart from numerous physical applications, it serves frequently as a concrete testing ground for new approaches and techniques based on conformal symmetry. In the perturbative limits - the…
▽ More
The critical $O(N)$ CFT in spacetime dimensions $2 < d < 4$ is one of the most important examples of a conformal field theory, with the Ising CFT at $N=1$, $2 \leq d < 4$, as a notable special case. Apart from numerous physical applications, it serves frequently as a concrete testing ground for new approaches and techniques based on conformal symmetry. In the perturbative limits - the $4-\varepsilon$ expansion, the large $N$ expansion and the $2+\tildeε$ expansion - a lot of conformal data have been computed over the years. In this report, we give an overview of the critical $O(N)$ CFT, including some methods to study it, and present a large collection of conformal data. The data, extracted from the literature and supplemented by many additional computations of order $\varepsilon$ anomalous dimensions, are made available through an ancillary data file.
△ Less
Submitted 12 December, 2022; v1 submitted 24 January, 2022;
originally announced January 2022.
-
Classical Codes and Chiral CFTs at Higher Genus
Authors:
Johan Henriksson,
Ashish Kakkar,
Brian McPeak
Abstract:
Higher genus modular invariance of two-dimensional conformal field theories (CFTs) is a largely unexplored area. In this paper, we derive explicit expressions for the higher genus partition functions of a specific class of CFTs: code CFTs, which are constructed using classical error-correcting codes. In this setting, the $\mathrm{Sp}(2g,\mathbb Z)$ modular transformations of genus $g$ Riemann surf…
▽ More
Higher genus modular invariance of two-dimensional conformal field theories (CFTs) is a largely unexplored area. In this paper, we derive explicit expressions for the higher genus partition functions of a specific class of CFTs: code CFTs, which are constructed using classical error-correcting codes. In this setting, the $\mathrm{Sp}(2g,\mathbb Z)$ modular transformations of genus $g$ Riemann surfaces can be recast as a simple set of linear maps acting on $2^g$ polynomial variables, which comprise an object called the code enumerator polynomial. The CFT partition function is directly related to the enumerator polynomial, meaning that solutions of the linear constraints from modular invariance immediately give a set of seemingly consistent partition functions at a given genus. We then find that higher genus constraints, plus consistency under degeneration limits of the Riemann surface, greatly reduces the number of possible code CFTs. This work provides a step towards a full understanding of the constraints from higher genus modular invariance on 2d CFTs.
△ Less
Submitted 29 April, 2022; v1 submitted 9 December, 2021;
originally announced December 2021.
-
Rigorous Bounds on Light-by-Light Scattering
Authors:
Johan Henriksson,
Brian McPeak,
Francesco Russo,
Alessandro Vichi
Abstract:
We bound EFT coefficients appearing in $2 \to 2$ photon scattering amplitudes in four dimensions. After reviewing unitarity and positivity conditions in this context, we use dispersion relations and crossing symmetry to compute sum rules and null constraints. This allows us to derive new rigorous bounds on operators with four, six, and eight derivatives, including two-sided bounds on their ratios.…
▽ More
We bound EFT coefficients appearing in $2 \to 2$ photon scattering amplitudes in four dimensions. After reviewing unitarity and positivity conditions in this context, we use dispersion relations and crossing symmetry to compute sum rules and null constraints. This allows us to derive new rigorous bounds on operators with four, six, and eight derivatives, including two-sided bounds on their ratios. Comparing with a number of partial UV completions, we find that some of our bounds are saturated by the amplitudes that arise from integrating out a massive scalar or axion, while others suggest the existence of unknown amplitudes.
△ Less
Submitted 25 September, 2022; v1 submitted 27 July, 2021;
originally announced July 2021.
-
Performance Analysis of Out-of-Distribution Detection on Various Trained Neural Networks
Authors:
Jens Henriksson,
Christian Berger,
Markus Borg,
Lars Tornberg,
Sankar Raman Sathyamoorthy,
Cristofer Englund
Abstract:
Several areas have been improved with Deep Learning during the past years. For non-safety related products adoption of AI and ML is not an issue, whereas in safety critical applications, robustness of such approaches is still an issue. A common challenge for Deep Neural Networks (DNN) occur when exposed to out-of-distribution samples that are previously unseen, where DNNs can yield high confidence…
▽ More
Several areas have been improved with Deep Learning during the past years. For non-safety related products adoption of AI and ML is not an issue, whereas in safety critical applications, robustness of such approaches is still an issue. A common challenge for Deep Neural Networks (DNN) occur when exposed to out-of-distribution samples that are previously unseen, where DNNs can yield high confidence predictions despite no prior knowledge of the input.
In this paper we analyse two supervisors on two well-known DNNs with varied setups of training and find that the outlier detection performance improves with the quality of the training procedure. We analyse the performance of the supervisor after each epoch during the training cycle, to investigate supervisor performance as the accuracy converges. Understanding the relationship between training results and supervisor performance is valuable to improve robustness of the model and indicates where more work has to be done to create generalized models for safety critical applications.
△ Less
Submitted 29 March, 2021;
originally announced March 2021.
-
Perturbative and Nonperturbative Studies of CFTs with MN Global Symmetry
Authors:
Johan Henriksson,
Andreas Stergiou
Abstract:
Fixed points in three dimensions described by conformal field theories with $MN_{m,n}= O(m)^n\rtimes S_n$ global symmetry have extensive applications in critical phenomena. Associated experimental data for $m=n=2$ suggest the existence of two non-trivial fixed points, while the $\varepsilon$ expansion predicts only one, resulting in a puzzling state of affairs. A recent numerical conformal bootstr…
▽ More
Fixed points in three dimensions described by conformal field theories with $MN_{m,n}= O(m)^n\rtimes S_n$ global symmetry have extensive applications in critical phenomena. Associated experimental data for $m=n=2$ suggest the existence of two non-trivial fixed points, while the $\varepsilon$ expansion predicts only one, resulting in a puzzling state of affairs. A recent numerical conformal bootstrap study has found two kinks for small values of the parameters $m$ and $n$, with critical exponents in good agreement with experimental determinations in the $m=n=2$ case. In this paper we investigate the fate of the corresponding fixed points as we vary the parameters $m$ and $n$. We find that one family of kinks approaches a perturbative limit as $m$ increases, and using large spin perturbation theory we construct a large $m$ expansion that fits well with the numerical data. This new expansion, akin to the large $N$ expansion of critical $O(N)$ models, is compatible with the fixed point found in the $\varepsilon$ expansion. For the other family of kinks, we find that it persists only for $n=2$, where for large $m$ it approaches a non-perturbative limit with $Δ_φ\approx 0.75$. We investigate the spectrum in the case $MN_{100,2}$ and find consistency with expectations from the lightcone bootstrap.
△ Less
Submitted 31 May, 2021; v1 submitted 21 January, 2021;
originally announced January 2021.
-
Analytic Bootstrap for Perturbative Conformal Field Theories
Authors:
Johan Henriksson
Abstract:
Conformal field theories play a central role in theoretical physics with many applications ranging from condensed matter to string theory. The conformal bootstrap studies conformal field theories using mathematical consistency conditions and has seen great progress over the last decade. In this thesis we present an implementation of analytic bootstrap methods for perturbative conformal field theor…
▽ More
Conformal field theories play a central role in theoretical physics with many applications ranging from condensed matter to string theory. The conformal bootstrap studies conformal field theories using mathematical consistency conditions and has seen great progress over the last decade. In this thesis we present an implementation of analytic bootstrap methods for perturbative conformal field theories in dimensions greater than two, which we achieve by combining large spin perturbation theory with the Lorentzian inversion formula. In the presence of a small expansion parameter, not necessarily the coupling constant, we develop this into a systematic framework, applicable to a wide range of theories. The first two chapters provide the necessary background and a review of the analytic bootstrap. This is followed by a chapter which describes the method in detail, taking the form of a practical guide to large spin perturbation theory by means of a step-by-step implementation. The second part of the thesis presents several explicit implementations of the framework, taking examples from a number of well-studied conformal field theories. We show how many literature results can be reproduced from a purely bootstrap perspective and how a variety of new results can be derived.
△ Less
Submitted 8 April, 2021; v1 submitted 28 August, 2020;
originally announced August 2020.
-
Analytic and Numerical Bootstrap of CFTs with $O(m)\times O(n)$ Global Symmetry in 3D
Authors:
Johan Henriksson,
Stefanos R. Kousvos,
Andreas Stergiou
Abstract:
Motivated by applications to critical phenomena and open theoretical questions, we study conformal field theories with $O(m)\times O(n)$ global symmetry in $d=3$ spacetime dimensions. We use both analytic and numerical bootstrap techniques. Using the analytic bootstrap, we calculate anomalous dimensions and OPE coefficients as power series in $\varepsilon=4-d$ and in $1/n$, with a method that gene…
▽ More
Motivated by applications to critical phenomena and open theoretical questions, we study conformal field theories with $O(m)\times O(n)$ global symmetry in $d=3$ spacetime dimensions. We use both analytic and numerical bootstrap techniques. Using the analytic bootstrap, we calculate anomalous dimensions and OPE coefficients as power series in $\varepsilon=4-d$ and in $1/n$, with a method that generalizes to arbitrary global symmetry. Whenever comparison is possible, our results agree with earlier results obtained with diagrammatic methods in the literature. Using the numerical bootstrap, we obtain a wide variety of operator dimension bounds, and we find several islands (isolated allowed regions) in parameter space for $O(2)\times O(n)$ theories for various values of $n$. Some of these islands can be attributed to fixed points predicted by perturbative methods like the $\varepsilon$ and large-$n$ expansions, while others appear to arise due to fixed points that have been claimed to exist in resummations of perturbative beta functions.
△ Less
Submitted 8 December, 2020; v1 submitted 29 April, 2020;
originally announced April 2020.
-
Controlled time series generation for automotive software-in-the-loop testing using GANs
Authors:
Dhasarathy Parthasarathy,
Karl Bäckström,
Jens Henriksson,
Sólrún Einarsdóttir
Abstract:
Testing automotive mechatronic systems partly uses the software-in-the-loop approach, where systematically covering inputs of the system-under-test remains a major challenge. In current practice, there are two major techniques of input stimulation. One approach is to craft input sequences which eases control and feedback of the test process but falls short of exposing the system to realistic scena…
▽ More
Testing automotive mechatronic systems partly uses the software-in-the-loop approach, where systematically covering inputs of the system-under-test remains a major challenge. In current practice, there are two major techniques of input stimulation. One approach is to craft input sequences which eases control and feedback of the test process but falls short of exposing the system to realistic scenarios. The other is to replay sequences recorded from field operations which accounts for reality but requires collecting a well-labeled dataset of sufficient capacity for widespread use, which is expensive. This work applies the well-known unsupervised learning framework of Generative Adversarial Networks (GAN) to learn an unlabeled dataset of recorded in-vehicle signals and uses it for generation of synthetic input stimuli. Additionally, a metric-based linear interpolation algorithm is demonstrated, which guarantees that generated stimuli follow a customizable similarity relationship with specified references. This combination of techniques enables controlled generation of a rich range of meaningful and realistic input patterns, improving virtual test coverage and reducing the need for expensive field tests.
△ Less
Submitted 18 February, 2020; v1 submitted 16 February, 2020;
originally announced February 2020.
-
An alternative to diagrams for the critical O(N) model: dimensions and structure constants to order $1/N^2$
Authors:
Luis F. Alday,
Johan Henriksson,
Mark van Loon
Abstract:
We apply the methods of modern analytic bootstrap to the critical $O(N)$ model in a $1/N$ expansion. At infinite $N$ the model possesses higher spin symmetry which is weakly broken as we turn on $1/N$. By studying consistency conditions for the correlator of four fundamental fields we derive the CFT-data for all the (broken) currents to order $1/N$, and the CFT-data for the non-singlet currents to…
▽ More
We apply the methods of modern analytic bootstrap to the critical $O(N)$ model in a $1/N$ expansion. At infinite $N$ the model possesses higher spin symmetry which is weakly broken as we turn on $1/N$. By studying consistency conditions for the correlator of four fundamental fields we derive the CFT-data for all the (broken) currents to order $1/N$, and the CFT-data for the non-singlet currents to order $1/N^2$. To order $1/N$ our results are in perfect agreement with those in the literature. To order $1/N^2$ we reproduce known results for anomalous dimensions and obtain a variety of new results for structure constants, including the global symmetry central charge $C_J$ to this order.
△ Less
Submitted 16 December, 2019; v1 submitted 4 July, 2019;
originally announced July 2019.
-
Towards Structured Evaluation of Deep Neural Network Supervisors
Authors:
Jens Henriksson,
Christian Berger,
Markus Borg,
Lars Tornberg,
Cristofer Englund,
Sankar Raman Sathyamoorthy,
Stig Ursing
Abstract:
Deep Neural Networks (DNN) have improved the quality of several non-safety related products in the past years. However, before DNNs should be deployed to safety-critical applications, their robustness needs to be systematically analyzed. A common challenge for DNNs occurs when input is dissimilar to the training set, which might lead to high confidence predictions despite proper knowledge of the i…
▽ More
Deep Neural Networks (DNN) have improved the quality of several non-safety related products in the past years. However, before DNNs should be deployed to safety-critical applications, their robustness needs to be systematically analyzed. A common challenge for DNNs occurs when input is dissimilar to the training set, which might lead to high confidence predictions despite proper knowledge of the input. Several previous studies have proposed to complement DNNs with a supervisor that detects when inputs are outside the scope of the network. Most of these supervisors, however, are developed and tested for a selected scenario using a specific performance metric. In this work, we emphasize the need to assess and compare the performance of supervisors in a structured way. We present a framework constituted by four datasets organized in six test cases combined with seven evaluation metrics. The test cases provide varying complexity and include data from publicly available sources as well as a novel dataset consisting of images from simulated driving scenarios. The latter we plan to make publicly available. Our framework can be used to support DNN supervisor evaluation, which in turn could be used to motive development, validation, and deployment of DNNs in safety-critical applications.
△ Less
Submitted 7 March, 2019; v1 submitted 4 March, 2019;
originally announced March 2019.
-
Critical O(N) model to order $ε^4$ from analytic bootstrap
Authors:
Johan Henriksson,
Mark van Loon
Abstract:
We compute, using the method of large spin perturbation theory, the anomalous dimensions and OPE coefficients of all leading twist operators in the critical $ O(N) $ model, to fourth order in the $ ε$-expansion. This is done fully within a bootstrap framework, and generalizes a recent result for the CFT-data of the Wilson-Fisher model. The anomalous dimensions we obtain for the $ O(N) $ singlet op…
▽ More
We compute, using the method of large spin perturbation theory, the anomalous dimensions and OPE coefficients of all leading twist operators in the critical $ O(N) $ model, to fourth order in the $ ε$-expansion. This is done fully within a bootstrap framework, and generalizes a recent result for the CFT-data of the Wilson-Fisher model. The anomalous dimensions we obtain for the $ O(N) $ singlet operators agree with the literature values, obtained by diagrammatic techniques, while the anomalous dimensions for operators in other representations, as well as all OPE coefficients, are new. From the results for the OPE coefficients, we derive the $ ε^4 $ corrections to the central charges $ C_T $ and $ C_J $, which are found to be compatible with the known large $ N $ expansions. Predictions for the central charge in the strongly coupled 3d model, including the 3d Ising model, are made for various values of $ N $, which compare favourably with numerical results and previous predictions.
△ Less
Submitted 31 August, 2018; v1 submitted 10 January, 2018;
originally announced January 2018.
-
Taming the $ε$-expansion with Large Spin Perturbation Theory
Authors:
Luis F. Alday,
Johan Henriksson,
Mark van Loon
Abstract:
We apply analytic bootstrap techniques to the four-point correlator of fundamental fields in the Wilson-Fisher model. In an $ε$-expansion crossing symmetry fixes the double discontinuity of the correlator in terms of CFT data at lower orders. Large spin perturbation theory, or equivalently the recently proposed Froissart-Gribov inversion integral, then allows one to reconstruct the CFT data of int…
▽ More
We apply analytic bootstrap techniques to the four-point correlator of fundamental fields in the Wilson-Fisher model. In an $ε$-expansion crossing symmetry fixes the double discontinuity of the correlator in terms of CFT data at lower orders. Large spin perturbation theory, or equivalently the recently proposed Froissart-Gribov inversion integral, then allows one to reconstruct the CFT data of intermediate operators of any spin. We use this method to compute the anomalous dimensions and OPE coefficients of leading twist operators. To cubic order in $ε$ the double discontinuity arises solely from the identity operator and the scalar bilinear operator, making the computation straightforward. At higher orders the double discontinuity receives contributions from infinite towers of higher spin operators. At fourth order, the structure of perturbation theory leads to a proposal in terms of functions of certain degree of transcendentality, which can then be fixed by symmetries. This leads to the full determination of the CFT data for leading twist operators to fourth order.
△ Less
Submitted 31 May, 2018; v1 submitted 6 December, 2017;
originally announced December 2017.
-
Perturbative Four-Point Functions from the Analytic Conformal Bootstrap
Authors:
Johan Henriksson,
Tomasz Lukowski
Abstract:
We apply the analytic conformal bootstrap method to study weakly coupled conformal gauge theories in four dimensions. We employ twist conformal blocks to find the most general form of the one-loop four-point correlation function of identical scalar operators, without any reference to Feynman calculations. The method relies only on symmetries of the model. In particular, it does not require introdu…
▽ More
We apply the analytic conformal bootstrap method to study weakly coupled conformal gauge theories in four dimensions. We employ twist conformal blocks to find the most general form of the one-loop four-point correlation function of identical scalar operators, without any reference to Feynman calculations. The method relies only on symmetries of the model. In particular, it does not require introducing any regularisation and it is free from the redundancies usually associated with the Feynman approach. By supplementing the general solution with known data for a small number of operators, we recover explicit forms of one-loop correlation functions of four Konishi operators as well as of four half-BPS operators $\mathcal{O}_{20'}$ in $\mathcal{N}=4$ super Yang-Mills.
△ Less
Submitted 17 October, 2017;
originally announced October 2017.
