Persons

Bengt Arne Johannes Hansson Aspman

All publications

Decay Channels for Double Extremal Black Holes in Four Dimensions

  • DOI: 10.21468/SciPostPhys.16.1.021
  • Link: https://doi.org/10.21468/SciPostPhys.16.1.021
  • Department: Artificial Intelligence Center
  • Annotation:
    We explore decay channels for charged black holes with vanishing temperature in N = 2 supersymmetric compactifications of string theory. If not protected by supersymmetry, such extremal black holes are expected to decay as a consequence of the weak gravity conjecture. We concentrate on double extremal, non-supersymmetric black holes for which the values of the scalar fields are constant throughout space-time, and explore decay channels for which decay into BPS and anti-BPS constituents is energetically favorable. We demonstrate the existence of decay channels at tree level for large families of double extremal black holes. For specific charges, we also find stable nonsupersymmetric black holes, suggesting recombination of (anti)-supersymmetric constituents to a non-supersymmetric object.

Taming Binarized Neural Networks and Mixed-Integer Programs

  • DOI: 10.1609/aaai.v38i10.28968
  • Link: https://doi.org/10.1609/aaai.v38i10.28968
  • Department: Artificial Intelligence Center
  • Annotation:
    There has been a great deal of recent interest in binarized neural networks, especially because of their explainability. At the same time, automatic differentiation algorithms such as back-propagation fail for binarized neural networks, which limits their applicability. We show that binarized neural networks admit a tame representation by reformulating the problem of training binarized neural networks as a subadditive dual of a mixed-integer program, which we show to have nice properties. This makes it possible to use the framework of Bolte et al. for implicit differentiation, which offers the possibility for practical implementation of backpropagation in the context of binarized neural networks. This approach could also be used for a broader class of mixed-integer programs, beyond the training of binarized neural networks, as encountered in symbolic approaches to AI and beyond.

Topological quantum compilation of two-qubit gates

  • DOI: 10.1103/PhysRevA.110.052616
  • Link: https://doi.org/10.1103/PhysRevA.110.052616
  • Department: Artificial Intelligence Center
  • Annotation:
    We investigate the topological quantum compilation of two-qubit operations within a system of Fibonacci anyons. Our primary goal is to generate gates that are approximately leakage-free and equivalent to the controlled-NOT (CNOT) gate up to single-qubit operations. These gates belong to the local equivalence class [CNOT]. Additionally, we explore which local equivalence classes of two-qubit operations can be naturally generated by braiding Fibonacci anyons. We discovered that most of the generated classes are located near the edges of the Weyl chamber representation of two-qubit gates, specifically between the local equivalence classes of the identity [1] and [CNOT], SWAP and between those of the double-controlled-NOT [DCNOT] and [SWAP]. Furthermore, we found a numerically exact implementation of a local equivalent of the SWAP gate using a sequence of only nine elements from the Fibonacci braiding gate set.

Topological Twists of Massive SQCD, Part II

  • DOI: 10.1007/s11005-024-01829-5
  • Link: https://doi.org/10.1007/s11005-024-01829-5
  • Department: Artificial Intelligence Center
  • Annotation:
    This is the second and final part of 'Topological twists of massive SQCD'. Part I is available at Lett. Math. Phys. 114 (2024) 3, 62. In this second part, we evaluate the contribution of the Coulomb branch to topological path integrals for N=2\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$\mathcal {N}=2$$\end{document} supersymmetric QCD with Nf <= 3\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$N_f\le 3$$\end{document} massive hypermultiplets on compact four-manifolds. Our analysis includes the decoupling of hypermultiplets, the massless limit and the merging of mutually non-local singularities at the Argyres-Douglas points. We give explicit mass expansions for the four-manifolds P2\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$\mathbb {P}<^>2$$\end{document} and K3. For P2\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$\mathbb {P}<^>2$$\end{document}, we find that the correlation functions are polynomial as function of the masses, while infinite series and (potential) singularities occur for K3. The mass dependence corresponds mathematically to the integration of the equivariant Chern class of the matter bundle over the moduli space of Q-fixed equations. We demonstrate that the physical partition functions agree with mathematical results on Segre numbers of instanton moduli spaces.

Approaching Collateral Optimization for NISQ and Quantum-Inspired Computing

  • DOI: 10.1109/TQE.2023.3314839
  • Link: https://doi.org/10.1109/TQE.2023.3314839
  • Department: Department of Computer Science, Artificial Intelligence Center
  • Annotation:
    Collateral optimization refers to the systematic allocation of financial assets to satisfy obligations or secure transactions while simultaneously minimizing costs and optimizing the usage of available resources. This involves assessing the number of characteristics, such as the cost of funding and quality of the underlying assets to ascertain the optimal collateral quantity to be posted to cover exposure arising from a given transaction or a set of transactions. One of the common objectives is to minimize the cost of collateral required to mitigate the risk associated with a particular transaction or a portfolio of transactions while ensuring sufficient protection for the involved parties. Often, this results in a large-scale combinatorial optimization problem. In this study, we initially present a mixed-integer linear programming formulation for the collateral optimization problem, followed by a quadratic unconstrained binary optimization (QUBO) formulation in order to pave the way toward approaching the problem in a hybrid-quantum and noisy intermediate-scale quantum-ready way. We conduct local computational small-scale tests using various software development kits and discuss the behavior of our formulations as well as the potential for performance enhancements. We find that while the QUBO-based approaches fail to find the global optima in the small-scale experiments, they are reasonably close suggesting their potential for large instances. We further survey the recent literature that proposes alternative ways to attack combinatorial optimization problems suitable for collateral optimization.

The U-plane Integral, Mock Modularity and Enumerative Geometry

  • DOI: 10.1007/s11005-022-01520-7
  • Link: https://doi.org/10.1007/s11005-022-01520-7
  • Department: Artificial Intelligence Center
  • Annotation:
    We revisit the low-energy effective U(1) action of topologically twisted N = 2 SYM theory with gauge group of rank one on a generic oriented smooth four-manifold X with nontrivial fundamental group. After including a specific new set of Q-exact operators to the known action, we express the integrand of the path integral of the low-energy U(1) theory as an anti-holomorphic derivative. This allows us to use the theory of mock modular forms and indefinite theta functions for the explicit evaluation of correlation functions of the theory, thus facilitating the computations compared to previously used methods. As an explicit check of our results, we compute the path integral for the product ruled surfaces X = Sigma(g) x CP1 for the reduction on either factor and compare the results with existing literature. In the case of reduction on the Riemann surface Sigma(g), via an equivalent topological A-model on CP1, we will be able to express the generating function of genus zero Gromov-Witten invariants of the moduli space of flat rank one connections over Sigma(g) in terms of an indefinite theta function, whence we would be able to make concrete numerical predictions of these enumerative invariants in terms of modular data, thereby allowing us to derive results in enumerative geometry from number theory.

Responsible person Ing. Mgr. Radovan Suk