Showing 1–50 of 283 results for author: König, J

Quantum stochastic resonance in a single-photon emitter

Authors: H. Mannel, J. Zöllner, E. Kleinherbers, M. Zöllner, N. Schwarz, F. Rimek, A. D. Wieck, A. Ludwig, A. Lorke, J. König, M. Geller

Abstract: Stochastic resonance is a phenomenon in which fluctuations enhance an otherwise weak signal. It has been found in many different systems in paleoclimatology, biology, medicine, and physics. The classical stochastic resonance due to thermal noise has recently been experimentally extended to the quantum regime, where the fundamental randomness of individual quantum events provides the noise source.… ▽ More Stochastic resonance is a phenomenon in which fluctuations enhance an otherwise weak signal. It has been found in many different systems in paleoclimatology, biology, medicine, and physics. The classical stochastic resonance due to thermal noise has recently been experimentally extended to the quantum regime, where the fundamental randomness of individual quantum events provides the noise source. Here, we demonstrate quantum stochastic resonance in the single-electron tunneling dynamics of a periodically driven single-photon emitter, consisting of a self-assembled quantum dot that is tunnel-coupled to an electron reservoir. Such highly-controllable quantum emitters are promising candidates for future applications in quantum information technologies. We monitor the charge dynamics by resonant optical excitation and identify quantum stochastic resonance with the help of full counting statistics of tunneling events in terms of the Fano factor and extend the statistical evaluation to factorial cumulants to gain a deeper understanding of this far-reaching phenomenon. △ Less

Submitted 20 May, 2025; originally announced May 2025.

A note on monogenic even polynomials

Authors: Joachim König

Abstract: We extend several predecessor works on even sextic monogenic polynomials. In particular, we prove a conjecture of Lenny Jones, thereby classifying even sextic monogenic polynomials with cyclic Galois group. This result is key to completing previous partial results on existence or non-existence of infinite families of even sextic monogenic polynomials with a prescribed Galois group. Some of the und… ▽ More We extend several predecessor works on even sextic monogenic polynomials. In particular, we prove a conjecture of Lenny Jones, thereby classifying even sextic monogenic polynomials with cyclic Galois group. This result is key to completing previous partial results on existence or non-existence of infinite families of even sextic monogenic polynomials with a prescribed Galois group. Some of the underlying ideas are relevant for investigation of more general families of even polynomials $f(X^2)$, or power-compositional polynomials $f(X^\ell)$. △ Less

Submitted 15 May, 2025; originally announced May 2025.

Unramified extensions of quadratic number fields with Galois group $2.A_n$

Authors: Joachim König

Abstract: We realize infinitely many covering groups $2.A_n$ (where $A_n$ is the alternating group) as the Galois group of everywhere unramified Galois extensions over infinitely many quadratic number fields. After several predecessor works investigating special cases or proving conditional results in this direction, these are the first unramified realizations of infinitely many of these groups. We realize infinitely many covering groups $2.A_n$ (where $A_n$ is the alternating group) as the Galois group of everywhere unramified Galois extensions over infinitely many quadratic number fields. After several predecessor works investigating special cases or proving conditional results in this direction, these are the first unramified realizations of infinitely many of these groups. △ Less

Submitted 15 May, 2025; originally announced May 2025.

Topologically enabled superconductivity: possible implications for rhombohedral graphene

Authors: Francesca Paoletti, Daniele Guerci, Giorgio Sangiovanni, Urban F. P. Seifert, Elio J. König

Abstract: We present a topological mechanism for superconductivity emerging from Chern-2 insulators. While, naively, time-reversal symmetry breaking is expected to prevent superconductivity, it turns out that the opposite is the case: An explicit model calculation for a generalized attractive-U Haldane-Hubbard model demonstrates that superconductivity is only stabilized near the quantum anomalous Hall state… ▽ More We present a topological mechanism for superconductivity emerging from Chern-2 insulators. While, naively, time-reversal symmetry breaking is expected to prevent superconductivity, it turns out that the opposite is the case: An explicit model calculation for a generalized attractive-U Haldane-Hubbard model demonstrates that superconductivity is only stabilized near the quantum anomalous Hall state, but not near a trivial, time-reversal symmetric band insulator. As standard Bardeen-Cooper-Schrieffer-like mean-field theory fails to capture any superconducting state, we explain this using an effective fractionalized field theory involving fermionic chargeons, bosonic colorons and an emergent U(1) gauge field. When the chargeons form a gapped topological band structure, the proliferation of single monopoles of this gauge field is forbidden. However, long-ranged monopole-antimonopole correlations emerge, and we argue that those correspond to superconducting order. Using random phase approximation on top of extensive slave-rotor mean-field calculations we characterize coherence length and stiffness of the superconductor. Thereby, we deduce the phase diagram in parameter space and furthermore discuss the effect of doping, temperature and an external magnetic field. We complement the fractionalized theory with calculations using an effective spin model and Gutzwiller projected wavefunctions. While mostly based on a simple toy model, we argue that our findings contribute to a better understanding of superconductivity emerging out of spin- and valley polarized rhombohedral graphene multilayers in a parameter regime with nearby quantum anomalous Hall insulators. △ Less

Submitted 17 April, 2025; originally announced April 2025.

Exceptional Topology on Nonorientable Manifolds

Authors: J. Lukas K. König, Kang Yang, André Grossi Fonseca, Sachin Vaidya, Marin Soljačić, Emil J. Bergholtz

Abstract: We classify gapped and gapless phases of non-Hermitian band structures on two-dimensional nonorientable parameter spaces. Such spaces arise in a wide range of physical systems in the presence of non-symmorphic parameter space symmetries. For gapped phases, we find that nonorientable spaces provide a natural setting for exploring fundamental structural problems in braid group theory, such as torsio… ▽ More We classify gapped and gapless phases of non-Hermitian band structures on two-dimensional nonorientable parameter spaces. Such spaces arise in a wide range of physical systems in the presence of non-symmorphic parameter space symmetries. For gapped phases, we find that nonorientable spaces provide a natural setting for exploring fundamental structural problems in braid group theory, such as torsion and conjugacy. Gapless phases, which host exceptional points (EPs), explicitly violate the fermion doubling theorem, even in two-band models. We demonstrate that EPs traversing the nonorientable parameter space exhibit non-Abelian charge inversion. These braided phases and their transitions leave distinct signatures in the form of bulk Fermi arc degeneracies, offering a concrete route toward experimental realization and verification. △ Less

Submitted 6 March, 2025; originally announced March 2025.

Comments: 7 pages, 4 figures

Magneto-Optics of Anisotropic Exciton Polaritons in Two-Dimensional Perovskites

Authors: Jonas K. König, Jamie M. Fitzgerald, Ermin Malic

Abstract: Layered 2D organic-inorganic perovskite semiconductors support strongly confined excitons that offer significant potential for ultrathin polaritonic devices due to their tunability and huge oscillator strength. The application of a magnetic field has proven to be an invaluable tool for investigating the exciton fine structure observed in these materials. Yet, the combination of an in-plane magneti… ▽ More Layered 2D organic-inorganic perovskite semiconductors support strongly confined excitons that offer significant potential for ultrathin polaritonic devices due to their tunability and huge oscillator strength. The application of a magnetic field has proven to be an invaluable tool for investigating the exciton fine structure observed in these materials. Yet, the combination of an in-plane magnetic field and the strong coupling regime has remained largely unexplored. In this work, we combine microscopic theory with a rigorous solution of Maxwell's equations to model the magneto-optics of exciton polaritons in 2D perovskites. We predict that the brightened dark exciton state can enter the strong coupling regime. Furthermore, the magnetic-field-induced mixing of polarization selection rules and the breaking of in-plane symmetry lead to highly anisotropic polariton branches. This study contributes to a better understanding of the exciton fine structure in 2D perovskites and demonstrates the cavity control of highly anisotropic and polarization-sensitive exciton polaritons. △ Less

Submitted 25 February, 2025; originally announced February 2025.

Comments: Main text: 23 pages, 4 figures Supplementary information: 14 pages, 7 figures

Sol-gel transition in heteroassociative RNA-protein solutions: A quantitative comparison of coarse-grained simulations and the Semenov-Rubinstein theory

Authors: Xinxiang Chen, Jude Ann Vishnu, Pol Besenius, Julian König, Friederike Schmid

Abstract: Protein RNA-binding domains selectively interact with specific RNA sites, a key interaction that determines the emergent cooperative behaviors in RNA-protein mixtures. Through molecular dynamics simulations, we investigate the impact of the specific binding interactions on the phase transitions of an examplary RNA-protein system and compare it with predictions of the Semenov-Rubinstein theory of a… ▽ More Protein RNA-binding domains selectively interact with specific RNA sites, a key interaction that determines the emergent cooperative behaviors in RNA-protein mixtures. Through molecular dynamics simulations, we investigate the impact of the specific binding interactions on the phase transitions of an examplary RNA-protein system and compare it with predictions of the Semenov-Rubinstein theory of associative polymers. Our findings reveal a sol-gel (percolation) transition without phase separation, characterized by double reentrant behavior as the RNA or protein concentration increases. We highlight the crucial role of bridge formations in driving these transitions, particularly when binding sites are saturated. The theory quantitatively predicts the binding numbers at equilibrium in the semidilute regime, but it significantly overestimates the size of the concentration range where percolation is observed. This can partly be traced back to the fact that the mean-field assumption in the theory is not valid in the dilute regime, and that the theory neglects the existence of cycles in the connectivity graph of the percolating cluster at the sol-gel transition. Our study enriches the understanding of RNA-protein phase behaviors, providing valuable insights for the interpretation of experimental observations. △ Less

Submitted 21 February, 2025; originally announced February 2025.

Journal ref: Macromolecules 2025, 58, 6, 3331-3342

Design and Benchmarks for Emulating Kondo Dynamics on a Quantum Chip

Authors: Soumyadeep Sarma, Jukka I. Väyrynen, Elio J. König

Abstract: Motivated by recent advances in digital quantum simulation and the overall prospective of solving correlated many-electron problems using quantum algorithms, we design a gate-based quantum circuit that emulates the dynamics of the Kondo impurity model. We numerically determine the impurity magnetization, entanglement between impurity and fermionic sites and energy as a function of time (i.e.~circu… ▽ More Motivated by recent advances in digital quantum simulation and the overall prospective of solving correlated many-electron problems using quantum algorithms, we design a gate-based quantum circuit that emulates the dynamics of the Kondo impurity model. We numerically determine the impurity magnetization, entanglement between impurity and fermionic sites and energy as a function of time (i.e.~circuit depth) for various initial states and find universal long-time dynamics. We complement the numerical simulations for moderate system size with an asymptotically exact analytical solution that is effective in the limit of large system sizes and for starting states corresponding to a filled Fermi sea. This work opens up the perspective of studying the dynamics of electronic quantum many-body states on quantum chips of the NISQ era. △ Less

Submitted 14 January, 2025; originally announced January 2025.

Comments: 16+13 pages, 19 figures

The IBEX Imaging Knowledge-Base: A Community Resource Enabling Adoption and Development of Immunofluoresence Imaging Methods

Authors: Ziv Yaniv, Ifeanyichukwu U. Anidi, Leanne Arakkal, Armando J. Arroyo-Mejías, Rebecca T. Beuschel, Katy Börner, Colin J. Chu, Beatrice Clark, Menna R. Clatworthy, Jake Colautti, Fabian Coscia, Joshua Croteau, Saven Denha, Rose Dever, Walderez O. Dutra, Sonja Fritzsche, Spencer Fullam, Michael Y. Gerner, Anita Gola, Kenneth J. Gollob, Jonathan M. Hernandez, Jyh Liang Hor, Hiroshi Ichise, Zhixin Jing, Danny Jonigk , et al. (36 additional authors not shown)

Abstract: The iterative bleaching extends multiplexity (IBEX) Knowledge-Base is a central portal for researchers adopting IBEX and related 2D and 3D immunofluorescence imaging methods. The design of the Knowledge-Base is modeled after efforts in the open-source software community and includes three facets: a development platform (GitHub), static website, and service for data archiving. The Knowledge-Base fa… ▽ More The iterative bleaching extends multiplexity (IBEX) Knowledge-Base is a central portal for researchers adopting IBEX and related 2D and 3D immunofluorescence imaging methods. The design of the Knowledge-Base is modeled after efforts in the open-source software community and includes three facets: a development platform (GitHub), static website, and service for data archiving. The Knowledge-Base facilitates the practice of open science throughout the research life cycle by providing validation data for recommended and non-recommended reagents, e.g., primary and secondary antibodies. In addition to reporting negative data, the Knowledge-Base empowers method adoption and evolution by providing a venue for sharing protocols, videos, datasets, software, and publications. A dedicated discussion forum fosters a sense of community among researchers while addressing questions not covered in published manuscripts. Together, scientists from around the world are advancing scientific discovery at a faster pace, reducing wasted time and effort, and instilling greater confidence in the resulting data. △ Less

Submitted 17 December, 2024; originally announced December 2024.

Critical Point Criteria and Dynamically Monogenic Polynomials

Authors: Joachim König, Hanson Smith, Zack Wolske

Abstract: Let $K$ be a number field with ring of integers $\mathcal{O}_K$, and let $f(x)\in\mathcal{O}_K[x]$ be a monic, irreducible polynomial. We establish necessary and sufficient conditions in terms of the critical points of $f(x)$ for the iterates of $f(x)$ to be monogenic polynomials. More generally, we give necessary and sufficient conditions for the backwards orbits of elements of $\mathcal{O}_K$ un… ▽ More Let $K$ be a number field with ring of integers $\mathcal{O}_K$, and let $f(x)\in\mathcal{O}_K[x]$ be a monic, irreducible polynomial. We establish necessary and sufficient conditions in terms of the critical points of $f(x)$ for the iterates of $f(x)$ to be monogenic polynomials. More generally, we give necessary and sufficient conditions for the backwards orbits of elements of $\mathcal{O}_K$ under $f(x)$ to be monogenerators. We apply our criteria to construct novel examples of dynamically monogenic polynomials, yielding infinite towers of monogenic number fields with the backward orbit of one monogenerator giving a monogenerator at the next level. △ Less

Submitted 17 February, 2025; v1 submitted 13 December, 2024; originally announced December 2024.

Comments: This version corrects the error in our earlier manuscript. Our necessary and sufficient conditions now accommodate certain exceptional primes; however, the examples and applications from our previous manuscript still hold. 26 pages. Comments welcome!

MSC Class: 11R04; 11R21; 37P05

Characterizing maximally many-body entangled fermionic states by using $M$-body density matrix

Authors: Irakli Giorgadze, Haixuan Huang, Jordan Gaines, Elio J. König, Jukka I. Väyrynen

Abstract: Fermionic Hamiltonians play a critical role in quantum chemistry, one of the most promising use cases for near-term quantum computers. However, since encoding nonlocal fermionic statistics using conventional qubits results in significant computational overhead, fermionic quantum hardware, such as fermion atom arrays, were proposed as a more efficient platform. In this context, we here study the ma… ▽ More Fermionic Hamiltonians play a critical role in quantum chemistry, one of the most promising use cases for near-term quantum computers. However, since encoding nonlocal fermionic statistics using conventional qubits results in significant computational overhead, fermionic quantum hardware, such as fermion atom arrays, were proposed as a more efficient platform. In this context, we here study the many-body entanglement structure of fermionic $N$-particle states by concentrating on $M$-body reduced density matrices (DMs) across various bipartitions in Fock space. The von Neumann entropy of the reduced DM is a basis independent entanglement measure which generalizes the traditional quantum chemistry concept of the one-particle DM entanglement, which characterizes how a single fermion is entangled with the rest. We carefully examine upper bounds on the $M$-body entanglement, which are analogous to the volume law of conventional entanglement measures. To this end we establish a connection between $M$-body reduced DM and the mathematical structure of hypergraphs. Specifically, we show that a special class of hypergraphs, known as $t$-designs, corresponds to maximally entangled fermionic states. Finally, we explore fermionic many-body entanglement in random states. We semianalytically demonstrate that the distribution of reduced DMs associated with random fermionic states corresponds to the trace-fixed Wishart-Laguerre random matrix ensemble. In the limit of large single-particle dimension $D$ and a non-zero filling fraction, random states asymptotically become absolutely maximally entangled. △ Less

Submitted 12 December, 2024; originally announced December 2024.

Comments: 21+2 pages, 5 figures

Photonic Non-Abelian Braid Monopole

Authors: Kunkun Wang, J. Lukas K. König, Kang Yang, Lei Xiao, Wei Yi, Emil J. Bergholtz, Peng Xue

Abstract: Monopoles and braids are exotic but elusive aspects of fundamental theories of light and matter. In lattice systems, monopoles of band-structure degeneracies are subject to well-established no-go (doubling) theorems that appear to universally apply in closed Hermitian systems and open non-Hermitian systems alike. However, the non-Abelian braid topology of non-Hermitian multi-band systems provides… ▽ More Monopoles and braids are exotic but elusive aspects of fundamental theories of light and matter. In lattice systems, monopoles of band-structure degeneracies are subject to well-established no-go (doubling) theorems that appear to universally apply in closed Hermitian systems and open non-Hermitian systems alike. However, the non-Abelian braid topology of non-Hermitian multi-band systems provides a remarkable loophole to these constraints. Here we make use of this loophole, and experimentally implement, for the first time, a monopole degeneracy in a non-Hermitian three-band system in the form of a single third-order exceptional point. We explicitly demonstrate the intricate braiding topology and the non-Abelian fusion rules underlying the monopole degeneracy. The experiment is carried out using a new design of single-photon interferometry, enabling eigenstate and spectral resolutions for non-Hermitian multi-band systems with widely tunable parameters. Thus, the union of state-of-the-art experiments, fundamental theory, and everyday concepts such as braids paves the way toward the highly exotic non-Abelian topology unique to non-Hermitian settings. △ Less

Submitted 10 October, 2024; originally announced October 2024.

Comments: 11 pages, 7 figures

Quantum Restored Symmetry Protected Topological Phases

Authors: Dhruv Tiwari, Steffen Bollmann, Sebastian Paeckel, Elio J. König

Abstract: Symmetry protected topological (SPT) phases are fundamental quantum many-body states of matter beyond Landau's paradigm. Here, we introduce the concept of quantum restored SPTs (QRSPTs), where the protecting symmetry is spontaneously broken at each instance in time, but restored after time average over quantum fluctuations, so that topological features re-emerge. To illustrate the concept, we stud… ▽ More Symmetry protected topological (SPT) phases are fundamental quantum many-body states of matter beyond Landau's paradigm. Here, we introduce the concept of quantum restored SPTs (QRSPTs), where the protecting symmetry is spontaneously broken at each instance in time, but restored after time average over quantum fluctuations, so that topological features re-emerge. To illustrate the concept, we study a one-dimensional fermionic Su-Schrieffer-Heeger model with fluctuating superconducting order. We solve this problem in several limiting cases using a variety of analytical methods and compare them to numerical (density matrix renormalization group) simulations which are valid throughout the parameter regime. We thereby map out the phase diagram and identify a QRSPT phase with topological features which are reminiscent from (but not identical to) the topology of the underlying free fermion system. The QRSPT paradigm thereby stimulates a new perspective for the constructive design of novel topological quantum many-body phases. △ Less

Submitted 3 October, 2024; originally announced October 2024.

Comments: 7 pages, 6 pages supplement, 10 figures

Winding Topology of Multifold Exceptional Points

Authors: Tsuneya Yoshida, J. Lukas K. König, Lukas Rødland, Emil J. Bergholtz, Marcus Stålhammar

Abstract: Despite their ubiquity, a systematic classification of multifold exceptional points, $n$-fold spectral degeneracies (EP$n$s), remains a significant unsolved problem. In this article, we characterize the Abelian eigenvalue topology of generic EP$n$s and symmetry-protected EP$n$s for arbitrary $n$. The former and the latter emerge in a $(2n-2)$- and $(n-1)$-dimensional parameter space, respectively.… ▽ More Despite their ubiquity, a systematic classification of multifold exceptional points, $n$-fold spectral degeneracies (EP$n$s), remains a significant unsolved problem. In this article, we characterize the Abelian eigenvalue topology of generic EP$n$s and symmetry-protected EP$n$s for arbitrary $n$. The former and the latter emerge in a $(2n-2)$- and $(n-1)$-dimensional parameter space, respectively. By introducing topological invariants called resultant winding numbers, we elucidate that these EP$n$s are stable due to topology of a map from a base space (momentum or parameter space) to a sphere defined by resultants. In a $D$-dimensional parameter space ($D\geq c$), the resultant winding number topologically characterize a $(D-c)$-dimensional manifold of generic [symmetry-protected] EP$n$s whose codimension is $c=2n-2$ [$c=n-1$]. Our framework implies fundamental doubling theorems for both generic EP$n$s and symmetry-protected EP$n$s in $n$-band models. △ Less

Submitted 29 January, 2025; v1 submitted 13 September, 2024; originally announced September 2024.

Comments: 10pages, 2 figures

Journal ref: Phys. Rev. Research 7 (2025) L012021

Linear constellations in primes with arithmetic restrictions

Authors: Christopher Frei, Joachim König, Magdaléna Tinková

Abstract: We prove analogues of the Green-Tao-Ziegler theorem on linear constellations in primes, in which the primes under consideration are restricted by certain arithmetic conditions. Our first main result is conditional upon Hooley's Riemann hypothesis and imposes the extra condition that the primes have prescribed primitive roots. Our second main result is unconditional and imposes the extra condition… ▽ More We prove analogues of the Green-Tao-Ziegler theorem on linear constellations in primes, in which the primes under consideration are restricted by certain arithmetic conditions. Our first main result is conditional upon Hooley's Riemann hypothesis and imposes the extra condition that the primes have prescribed primitive roots. Our second main result is unconditional and imposes the extra condition that the primes have prescribed Artin symbols in given Galois number fields. In the appendix we present an application of the second result in inverse Galois theory. △ Less

Submitted 16 September, 2024; v1 submitted 30 August, 2024; originally announced August 2024.

Comments: 59 pages; minor corrections; added appendix with improved Galois-theoretic application; main article by by Christopher Frei and Magdaléna Tinková; appendix by Christopher Frei, Joachim König and Magdaléna Tinková

MSC Class: 11P32 (11A07; 11R45; 11B30; 11R32)

On the set of stable primes for postcritically infinite maps over number fields

Authors: Joachim König

Abstract: Many interesting questions in arithmetic dynamics revolve, in one way or another, around the (local and/or global) reducibility behavior of iterates of a polynomial. We show that for very general families of integer polynomials $f$ (and, more generally, rational functions over number fields), the set of stable primes, i.e., primes modulo which all iterates of $f$ are irreducible, is a density zero… ▽ More Many interesting questions in arithmetic dynamics revolve, in one way or another, around the (local and/or global) reducibility behavior of iterates of a polynomial. We show that for very general families of integer polynomials $f$ (and, more generally, rational functions over number fields), the set of stable primes, i.e., primes modulo which all iterates of $f$ are irreducible, is a density zero set. Compared to previous results, our families cover a much wider ground, and in particular apply to $100\%$ of polynomials of any given odd degree, thus adding evidence to the conjecture that polynomials with a "large" set of stable primes are necessarily of a very specific shape, and in particular are necessarily postcritically finite. △ Less

Submitted 3 October, 2024; v1 submitted 24 August, 2024; originally announced August 2024.

Comments: Includes strengthened version of Corollary 1.2

The IBEX Knowledge-Base: Achieving more together with open science

Authors: Andrea J. Radtke, Ifeanyichukwu Anidi, Leanne Arakkal, Armando Arroyo-Mejias, Rebecca T. Beuschel, Katy Borner, Colin J. Chu, Beatrice Clark, Menna R. Clatworthy, Jake Colautti, Joshua Croteau, Saven Denha, Rose Dever, Walderez O. Dutra, Sonja Fritzsche, Spencer Fullam, Michael Y. Gerner, Anita Gola, Kenneth J. Gollob, Jonathan M. Hernandez, Jyh Liang Hor, Hiroshi Ichise, Zhixin Jing, Danny Jonigk, Evelyn Kandov , et al. (33 additional authors not shown)

Abstract: Iterative Bleaching Extends multipleXity (IBEX) is a versatile method for highly multiplexed imaging of diverse tissues. Based on open science principles, we created the IBEX Knowledge-Base, a resource for reagents, protocols and more, to empower innovation. Iterative Bleaching Extends multipleXity (IBEX) is a versatile method for highly multiplexed imaging of diverse tissues. Based on open science principles, we created the IBEX Knowledge-Base, a resource for reagents, protocols and more, to empower innovation. △ Less

Submitted 26 July, 2024; originally announced July 2024.

Comments: 8 pages, 1 figure, 9 references

Relevance of Anisotropy in the Kondo Effect: Lessons From the Symplectic Case

Authors: Matan Lotem, Sarath Sankar, Tianhao Ren, Moshe Goldstein, Elio. J. König, Andreas Weichselbaum, Eran Sela, Alexei M. Tsvelik

Abstract: A Kondo model with symplectic symmetry was recently put forward as the effective low-energy theory of a superconducting-island device coupled to multiple leads. This model, which possesses non-Fermi liquid physics and effective anyons, was argued to belong to the class of topological Kondo effects. Here, we clarify the extent of stability of its exotic fixed point using perturbative and numerical… ▽ More A Kondo model with symplectic symmetry was recently put forward as the effective low-energy theory of a superconducting-island device coupled to multiple leads. This model, which possesses non-Fermi liquid physics and effective anyons, was argued to belong to the class of topological Kondo effects. Here, we clarify the extent of stability of its exotic fixed point using perturbative and numerical renormalization group in conjunction with bosonization and conformal field theory. In contrast to previous claims, we show that asymmetry in the coupling to the leads destabilizes the non-Fermi liquid. Other destabilizing perturbations include asymmetry in the superconducting pairing or internal energy of the individual quantum dots in the island. Nevertheless, these perturbations all generate the same relevant operators. Thus, only a small number of couplings need to be tuned individually, and these can be selected according to experimental convenience. Our results highlight a common misconception that anisotropy in single-channel Kondo couplings is always irrelevant. As demonstrated, relevant terms will emerge whenever the group generators do not span the full space of impurity operators. This calls for a more detailed inspection of models that exhibit this property, such as large-spin impurities and SO(M) Kondo models. △ Less

Submitted 10 December, 2024; v1 submitted 16 July, 2024; originally announced July 2024.

Comments: 28 pages, 7 figures, accepted version

Journal ref: Phys. Rev. B 110, 235122 (2024)

Effective time-dependent temperature for fermionic master equations beyond the Markov and the secular approximations

Authors: Lukas Litzba, Eric Kleinherbers, Jürgen König, Ralf Schützhold, Nikodem Szpak

Abstract: We consider a fermionic quantum system exchanging particles with an environment at a fixed temperature and study its reduced evolution by means of a Redfield-I equation with time-dependent (non-Markovian) coefficients. We find that the description can be efficiently reduced to a standard-form Redfield-II equation, however, with a time-dependent effective bath temperature obeying a universal law. A… ▽ More We consider a fermionic quantum system exchanging particles with an environment at a fixed temperature and study its reduced evolution by means of a Redfield-I equation with time-dependent (non-Markovian) coefficients. We find that the description can be efficiently reduced to a standard-form Redfield-II equation, however, with a time-dependent effective bath temperature obeying a universal law. At early times, after the system and environment start in a product state, the effective temperature appears to be very high, yet eventually it settles down towards the true environment value. In this way, we obtain a time-local master equation, offering high accuracy at all times and preserving the crucial properties of the density matrix. It includes non-Markovian relaxation processes beyond the secular approximation and time-averaging methods and can be further applied to various types of Gorini-Kossakowski-Sudarshan-Lindblad equations. We derive the theory from first principles and discuss its application using a simple example of a single quantum dot. △ Less

Submitted 3 February, 2025; v1 submitted 15 March, 2024; originally announced March 2024.

Comments: 16 pages, 13 figures

Journal ref: Phys. Rev. B 111, 085103 (2025)

Dark versus blocking states in electronic transport: a Lee-Yang zero analysis of full counting statistics

Authors: Johann Zöllner, Philipp Stegmann, Jürgen König, Eric Kleinherbers

Abstract: Electronic transport through nanostructures can be suppressed by coherent population trapping, in which quantum coherence leads to a dark state that decouples from the drain electrode. Finite transport, then, relies on decoherence of the dark state. An alternative scenario for reduced transport is weak coupling of a state, referred to as a blocking state, to the drain. This raises the question of… ▽ More Electronic transport through nanostructures can be suppressed by coherent population trapping, in which quantum coherence leads to a dark state that decouples from the drain electrode. Finite transport, then, relies on decoherence of the dark state. An alternative scenario for reduced transport is weak coupling of a state, referred to as a blocking state, to the drain. This raises the question of whether and how these two scenarios can be distinguished in the transport features. For the example of electron transport through a carbon nanotube, we identify regimes, in which this distinction is possible by analyzing the full counting statistics in terms of Lee-Yang zeros and factorial cumulants. △ Less

Submitted 27 September, 2024; v1 submitted 14 March, 2024; originally announced March 2024.

Comments: 11 pages, 9 figures

Journal ref: Phys. Rev. B 110 (2024) 115411

Sparsity of stable primes for dynamical sequences

Authors: Joachim König

Abstract: We show that a dynamical sequence $(f_n)_{n\in \mathbb{N}}$ of polynomials over a number field whose set of stable primes is of positive density must necessarily have a very restricted, and in particular ``near-solvable" dynamical Galois group. Together with existing heuristics, our results suggest moreover that a polynomial $f$ all of whose iterates are irreducible modulo a positive density subse… ▽ More We show that a dynamical sequence $(f_n)_{n\in \mathbb{N}}$ of polynomials over a number field whose set of stable primes is of positive density must necessarily have a very restricted, and in particular ``near-solvable" dynamical Galois group. Together with existing heuristics, our results suggest moreover that a polynomial $f$ all of whose iterates are irreducible modulo a positive density subset of the primes must necessarily be a composition of linear functions, monomials and Dickson polynomials. △ Less

Submitted 27 October, 2024; v1 submitted 28 February, 2024; originally announced February 2024.

Comments: To appear in Bull. London Math. Soc

Topological Kondo effect with spinful Majorana fermions

Authors: Steffen Bollmann, Jukka I. Väyrynen, Elio J. König

Abstract: Motivated by the importance of studying topological superconductors beyond the mean-field approximation, we here investigate mesoscopic islands of time reversal invariant topological superconductors (TRITOPS). We characterize the spectrum in the presence of strong order parameter fluctuations in the presence of an arbitrary number of Kramers pairs of Majorana edge states and study the effect of co… ▽ More Motivated by the importance of studying topological superconductors beyond the mean-field approximation, we here investigate mesoscopic islands of time reversal invariant topological superconductors (TRITOPS). We characterize the spectrum in the presence of strong order parameter fluctuations in the presence of an arbitrary number of Kramers pairs of Majorana edge states and study the effect of coupling the Coulomb blockaded island to external leads. In the case of an odd fermionic parity on the island, we derive an unconventional Kondo Hamiltonian in which metallic leads couple to both topological Majorana degrees of freedom (which keep track of the parity in different leads) and the overall spin-1/2 in the island. For the simplest case of a single wire (two pairs of Majorana edge states), we demonstrate that anisotropies are irrelevant in the weak coupling renormalization group flow. This permits us to solve the Kondo problem in the vicinity of a Toulouse-like point using Abelian Bosonization. We demonstrate a residual ground state entropy of $\ln(2)$, which is protected by spin-rotation symmetry, but reduced to $\ln(\sqrt{2})$ (as in the spinless topological Kondo effect) by symmetry breaking perturbations. In the symmetric case, we further demonstrate the simultaneous presence of both Fermi liquid and non-Fermi liquid like thermodynamics (depending on the observable) and derive charge and spin transport signatures of the Coulomb blockaded island. △ Less

Submitted 8 February, 2024; originally announced February 2024.

Comments: 10+13 pages, 4+1 figures

Polynomial compositions with large monodromy groups and applications to arithmetic dynamics

Authors: Joachim König, Danny Neftin, Shai Rosenberg

Abstract: For a composition $f=f_1\circ\cdots \circ f_r$ of polynomials $f_i\in \mathbb Q[x]$ of degrees $d_i\geq 5$ with alternating or symmetric monodromy group, we show that the monodromy group of $f$ contains the iterated wreath product $A_{d_r}\wr \cdots\wr A_{d_1}$. A similar property holds more generally for polynomials that do not factor through $x^d$ or Chebyshev. We derive consequences to arithmet… ▽ More For a composition $f=f_1\circ\cdots \circ f_r$ of polynomials $f_i\in \mathbb Q[x]$ of degrees $d_i\geq 5$ with alternating or symmetric monodromy group, we show that the monodromy group of $f$ contains the iterated wreath product $A_{d_r}\wr \cdots\wr A_{d_1}$. A similar property holds more generally for polynomials that do not factor through $x^d$ or Chebyshev. We derive consequences to arithmetic dynamics regarding arboreal representations, and forward and backward orbits of such $f$. In particular, given an orbit $(a_n)_{n=0}^\infty$ of $f$ as above, we show that for "almost all" $a\in \mathbb Z$, the set of primes $p$ for which some $a_n$ is congruent to $a$ mod $p$ is "small". △ Less

Submitted 1 February, 2024; v1 submitted 31 January, 2024; originally announced January 2024.

MSC Class: 37P55; 11G99; 12F10; 20B05

Efficient training of Gaussian processes with tensor product structure

Authors: Josie König, Max Pfeffer, Martin Stoll

Abstract: To determine the optimal set of hyperparameters of a Gaussian process based on a large number of training data, both a linear system and a trace estimation problem must be solved. In this paper, we focus on establishing numerical methods for the case where the covariance matrix is given as the sum of possibly multiple Kronecker products, i.e., can be identified as a tensor. As such, we will repres… ▽ More To determine the optimal set of hyperparameters of a Gaussian process based on a large number of training data, both a linear system and a trace estimation problem must be solved. In this paper, we focus on establishing numerical methods for the case where the covariance matrix is given as the sum of possibly multiple Kronecker products, i.e., can be identified as a tensor. As such, we will represent this operator and the training data in the tensor train format. Based on the AMEn method and Krylov subspace methods, we derive an efficient scheme for computing the matrix functions required for evaluating the gradient and the objective function in hyperparameter optimization. △ Less

Submitted 23 December, 2023; originally announced December 2023.

Topological Green's function zeros in an exactly solved model and beyond

Authors: Steffen Bollmann, Chandan Setty, Urban F. P. Seifert, Elio J. König

Abstract: The interplay of topological electronic band structures and strong interparticle interactions provides a promising path towards the constructive design of robust, long-range entangled many-body systems. As a prototype for such systems, we here study an exactly integrable, local model for a fractionalized topological insulator. Using a controlled perturbation theory about this limit, we demonstrate… ▽ More The interplay of topological electronic band structures and strong interparticle interactions provides a promising path towards the constructive design of robust, long-range entangled many-body systems. As a prototype for such systems, we here study an exactly integrable, local model for a fractionalized topological insulator. Using a controlled perturbation theory about this limit, we demonstrate the existence of topological bands of zeros in the exact fermionic Green's function and show that {in this model} they do affect the topological invariant of the system, but not the quantized transport response. Close to (but prior to) the Higgs transition signaling the breakdown of fractionalization, the topological bands of zeros acquire a finite ``lifetime''. We also discuss the appearance of edge states and edge zeros at real space domain walls separating different phases of the system. This model provides a fertile ground for controlled studies of the phenomenology of Green's function zeros and the underlying exactly solvable lattice gauge theory illustrates the synergetic cross-pollination between solid-state theory, high-energy physics and quantum information science. △ Less

Submitted 22 December, 2023; originally announced December 2023.

Comments: 5 papges, 9 pages supplement, 5 figures

Topological quantum criticality from multiplicative topological phases

Authors: R. Flores-Calderón, Elio J. König, Ashley M. Cook

Abstract: Symmetry-protected topological phases (SPTs) characterized by short-range entanglement include many states essential to understanding of topological condensed matter physics, and the extension to gapless SPTs provides essential understanding of their consequences. In this work, we identify a fundamental connection between gapless SPTs and recently-introduced multiplicative topological phases, demo… ▽ More Symmetry-protected topological phases (SPTs) characterized by short-range entanglement include many states essential to understanding of topological condensed matter physics, and the extension to gapless SPTs provides essential understanding of their consequences. In this work, we identify a fundamental connection between gapless SPTs and recently-introduced multiplicative topological phases, demonstrating that multiplicative topological phases are an intuitive and general approach to realizing concrete models for gapless SPTs. In particular, they are naturally well-suited to realizing higher-dimensional, stable, and intrinsic gapless SPTs through combination of canonical topological insulator and semimetal models with critical gapless models in symmetry-protected tensor product constructions, opening avenues to far broader and deeper investigation of topology via short-range entanglement. △ Less

Submitted 29 November, 2023; originally announced November 2023.

Journal ref: Phys. Rev. Lett. 134, 116602, (2025)

Relaxation to persistent currents in a Hubbard trimer coupled to fermionic baths

Authors: Nikodem Szpak, Gernot Schaller, Ralf Schützhold, Jürgen König

Abstract: We consider a ring of fermionic quantum sites, modeled by the Fermi--Hubbard Hamiltonian, in which electrons can move and interact strongly via the Coulomb repulsion. The system is coupled to fermionic cold baths which by the exchange of particles and energy induce relaxation in the system. We eliminate the environment and describe the system effectively by Lindblad master equations in various ver… ▽ More We consider a ring of fermionic quantum sites, modeled by the Fermi--Hubbard Hamiltonian, in which electrons can move and interact strongly via the Coulomb repulsion. The system is coupled to fermionic cold baths which by the exchange of particles and energy induce relaxation in the system. We eliminate the environment and describe the system effectively by Lindblad master equations in various versions valid for different coupling parameter regimes. The early relaxation phase proceeds in a universal way, irrespective of the relative couplings and approximations. The system settles down to its low--energy sector and is consecutively well approximated by the Heisenberg model. We compare different Lindblad approaches which, in the late relaxation, push the system towards different final states with opposite, extreme spin orders, from ferromagenetic to antiferromagnetic. Due to spin frustration in the trimer (a three site ring), degenerate ground states are formed by spin waves (magnons). The system described by the global coherent version of the Lindblad operators relaxes towards the final states carrying directed persistent spin currents. We numerically confirm these predictions. △ Less

Submitted 21 February, 2025; v1 submitted 10 November, 2023; originally announced November 2023.

Comments: 26 pages, 14 figures

Journal ref: Phys. Rev. B 110, 115131 (2024)

Nodal phases in non-Hermitian wallpaper crystals

Authors: J. Lukas K. König, Felix Herber, Emil J. Bergholtz

Abstract: Symmetry and non-Hermiticity play pivotal roles in photonic lattices. While symmetries such as parity-time ($\mathcal{PT}$) symmetry have attracted ample attention, more intricate crystalline symmetries have been neglected in comparison. Here, we investigate the impact of the 17 wallpaper space groups of two-dimensional crystals on non-Hermitian band structures. We show that the non-trivial spac… ▽ More Symmetry and non-Hermiticity play pivotal roles in photonic lattices. While symmetries such as parity-time ($\mathcal{PT}$) symmetry have attracted ample attention, more intricate crystalline symmetries have been neglected in comparison. Here, we investigate the impact of the 17 wallpaper space groups of two-dimensional crystals on non-Hermitian band structures. We show that the non-trivial space group representations enforce degeneracies at high symmetry points and dictate their dispersion away from these points. In combination with either $\mathcal{T}$ or $\mathcal{PT}$, the symmorphic p4mm symmetry, as well as the non-symmorphic p2mg, p2gg, and p4gm symmetries, protect novel exceptional chains intersecting at the pertinent high symmetry points. △ Less

Submitted 16 February, 2024; v1 submitted 27 October, 2023; originally announced October 2023.

Comments: 6 pages, 2 figures

Journal ref: Appl. Phys. Lett. 124, 051109 (2024)

Emulating moiré materials with quasiperiodic circuit quantum electrodynamics

Authors: Tobias Herrig, Christina Koliofoti, Jedediah H. Pixley, Elio J. König, Roman-Pascal Riwar

Abstract: Topological bandstructures interfering with moiré superstructures give rise to a plethora of emergent phenomena, which are pivotal for correlated insulating and superconducting states of twisttronics materials. While quasiperiodicity was up to now a notion mostly reserved for solid-state materials and cold atoms, we here demonstrate the capacity of conventional superconducting circuits to emulate… ▽ More Topological bandstructures interfering with moiré superstructures give rise to a plethora of emergent phenomena, which are pivotal for correlated insulating and superconducting states of twisttronics materials. While quasiperiodicity was up to now a notion mostly reserved for solid-state materials and cold atoms, we here demonstrate the capacity of conventional superconducting circuits to emulate moiré physics in charge space. With two examples, we show that Hofstadter's butterfly and the magic-angle effect, are directly visible in spectroscopic transport measurements. Importantly, these features survive in the presence of harmonic trapping potentials due to parasitic linear capacitances. Our proposed platform benefits from unprecedented tuning capabilities, and opens the door to probe incommensurate physics in virtually any spatial dimension. △ Less

Submitted 27 March, 2024; v1 submitted 23 October, 2023; originally announced October 2023.

Comments: 11 pages, 5 figures

Homotopy, Symmetry, and Non-Hermitian Band Topology

Authors: Kang Yang, Zhi Li, J. Lukas K. König, Lukas Rødland, Marcus Stålhammar, Emil J. Bergholtz

Abstract: Non-Hermitian matrices are ubiquitous in the description of nature ranging from classical dissipative systems, including optical, electrical, and mechanical metamaterials, to scattering of waves and open quantum many-body systems. Seminal line-gap and point-gap classifications of non-Hermitian systems using K-theory have deepened the understanding of many physical phenomena. However, ample systems… ▽ More Non-Hermitian matrices are ubiquitous in the description of nature ranging from classical dissipative systems, including optical, electrical, and mechanical metamaterials, to scattering of waves and open quantum many-body systems. Seminal line-gap and point-gap classifications of non-Hermitian systems using K-theory have deepened the understanding of many physical phenomena. However, ample systems remain beyond this description; reference points and lines do not in general distinguish whether multiple non-Hermitian bands exhibit intriguing exceptional points, spectral braids and crossings. To address this we consider two different notions: non-Hermitian band gaps and separation gaps that crucially encompass a broad class of multi-band scenarios, enabling the description of generic band structures with symmetries. With these concepts, we provide a unified and comprehensive classification of both gapped and nodal systems in the presence of physically relevant parity-time ($\mathcal{PT}$) and pseudo-Hermitian symmetries using homotopy theory. This uncovers new stable topology stemming from both eigenvalues and wave functions, and remarkably also implies distinct fragile topological phases. In particular, we reveal different Abelian and non-Abelian phases in $\mathcal{PT}$-symmetric systems, described by frame and braid topology. The corresponding invariants are robust to symmetry-preserving perturbations that do not induce (exceptional) degeneracy, and they also predict the deformation rules of nodal phases. We further demonstrate that spontaneous $\mathcal{PT}$ symmetry breaking is captured by Chern-Euler and Chern-Stiefel-Whitney descriptions, a fingerprint of unprecedented non-Hermitian topology previously overlooked. These results open the door for theoretical and experimental exploration of a rich variety of novel topological phenomena in a wide range of physical platforms. △ Less

Submitted 3 July, 2024; v1 submitted 25 September, 2023; originally announced September 2023.

Comments: 44 pages, 12 figures, published version

Journal ref: Rep. Prog. Phys. 87 078002 (2024)

What can galaxy shapes tell us about physics beyond the standard model?

Authors: Oliver H. E. Philcox, Morgane J. König, Stephon Alexander, David N. Spergel

Abstract: The shapes of galaxies trace scalar physics in the late-Universe through the large-scale gravitational potential. Are they also sensitive to higher-spin physics? We present a general study into the observational consequences of vector and tensor modes in the early and late Universe, through the statistics of cosmic shear and its higher-order generalization, flexion. Higher-spin contributions arise… ▽ More The shapes of galaxies trace scalar physics in the late-Universe through the large-scale gravitational potential. Are they also sensitive to higher-spin physics? We present a general study into the observational consequences of vector and tensor modes in the early and late Universe, through the statistics of cosmic shear and its higher-order generalization, flexion. Higher-spin contributions arise from both gravitational lensing and intrinsic alignments, and we give the leading-order correlators for each (some of which have been previously derived), in addition to their flat-sky limits. In particular, we find non-trivial sourcing of shear $EB$ and $BB$ spectra, depending on the parity properties of the source. We consider two sources of vector and tensor modes: scale-invariant primordial fluctuations and cosmic strings, forecasting the detectability of each for upcoming surveys. Shear is found to be a powerful probe of cosmic strings, primarily through the continual sourcing of vector modes; flexion adds little to the constraining power except on very small scales ($\ell\gtrsim 1000$), though it could be an intriguing probe of as-yet-unknown rank-three tensors or halo-scale physics. Such probes could be used to constrain new physics proposed to explain recent pulsar timing array observations. △ Less

Submitted 22 February, 2024; v1 submitted 15 September, 2023; originally announced September 2023.

Comments: 25+9 pages, 5 figures, accepted by Phys. Rev. D

Topological Quantum Computation on a Chiral Kondo Chain

Authors: Tianhao Ren, Elio J. König, Alexei M. Tsvelik

Abstract: We describe the chiral Kondo chain model based on the symplectic Kondo effect and demonstrate that it has a quantum critical ground state populated by non-Abelian anyons. We show that the fusion channel of two arbitrary anyons can be detected by locally coupling the two anyons to an extra single channel of chiral current and measuring the corresponding conductance at finite frequency. Based on suc… ▽ More We describe the chiral Kondo chain model based on the symplectic Kondo effect and demonstrate that it has a quantum critical ground state populated by non-Abelian anyons. We show that the fusion channel of two arbitrary anyons can be detected by locally coupling the two anyons to an extra single channel of chiral current and measuring the corresponding conductance at finite frequency. Based on such measurements, we propose that the chiral Kondo chain model with symplectic symmetry can be used for implementation of measurement-only topological quantum computations, and it possesses a number of distinct features favorable for such applications. The sources and effects of errors in the proposed system are analyzed, and possible material realizations are discussed. △ Less

Submitted 14 February, 2024; v1 submitted 6 September, 2023; originally announced September 2023.

Comments: 19 pages, 7 figures, appendix updated

$\mathbb{Z}_N$ lattice gauge theories with matter fields

Authors: Kaustubh Roy, Elio J. König

Abstract: Motivated by the exotic phenomenology of certain quantum materials and recent advances in programmable quantum emulators, we here study fermions and bosons in $\mathbb Z_N$ lattice gauge theories. We introduce a family of exactly soluble models, and characterize their orthogonal (semi-)metallic ground states, the excitation spectrum, and the correlation functions. We further study integrability br… ▽ More Motivated by the exotic phenomenology of certain quantum materials and recent advances in programmable quantum emulators, we here study fermions and bosons in $\mathbb Z_N$ lattice gauge theories. We introduce a family of exactly soluble models, and characterize their orthogonal (semi-)metallic ground states, the excitation spectrum, and the correlation functions. We further study integrability breaking perturbations using an appropriately derived set of Feynman diagrammatic rules and borrowing physics associated to Anderson's orthogonality catastrophe. In the context of the ground states, we revisit Luttinger's theorem following Oshikawa's flux insertion argument and furthermore demonstrate the existence of a Luttinger surface of zeros in the fermionic Green's function. Upon inclusion of perturbations, we address the transition from the orthogonal metal to the normal state by condensation of certain excitations in the gauge sectors, so-called ``$e$-particles''. We furthermore discuss the effect of dynamics in the dual ``$m$-particle'' excitations, which ultimately leads to the formation of charge-neutral hadronic $N$-particle bound states. We present analytical arguments for the most important phases and estimates for phase boundaries of the model. Specifically, and in sharp distinction to quasi-1D $\mathbb Z_N$ lattice gauge theories, renormalization group arguments imply that the phase diagram does not include an emergent deconfining $U(1)$ phase. Therefore, in regards to lattice QED problems, $\mathbb Z_N$ quantum emulators with $N<\infty$ can at best be used for approximate solutions at intermediate length scales. △ Less

Submitted 24 August, 2023; originally announced August 2023.

On sets of rational functions which locally represent all of $\mathbb{Q}$

Authors: Benjamin Klahn, Joachim König

Abstract: We investigate finite sets of rational functions $\{ f_{1},f_{2}, \dots, f_{r} \}$ defined over some number field $K$ satisfying that any $t_{0} \in K$ is a $K_{p}$-value of one of the functions $f_{i}$ for almost all primes $p$ of $K$. We give strong necessary conditions on the shape of functions appearing in a minimal set with this property, as well as numerous concrete examples showing that the… ▽ More We investigate finite sets of rational functions $\{ f_{1},f_{2}, \dots, f_{r} \}$ defined over some number field $K$ satisfying that any $t_{0} \in K$ is a $K_{p}$-value of one of the functions $f_{i}$ for almost all primes $p$ of $K$. We give strong necessary conditions on the shape of functions appearing in a minimal set with this property, as well as numerous concrete examples showing that these necessary conditions are in a way also close to sufficient. We connect the problem to well-studied concepts such as intersective polynomials and arithmetically exceptional functions. △ Less

Submitted 15 August, 2024; v1 submitted 21 June, 2023; originally announced June 2023.

Comments: Revised version

Journal ref: J. Algebra 653 (2024), 1--24

Type-II heavy Fermi liquids and the magnetic memory of 4Hb-TaS$_2$

Authors: Elio J. König

Abstract: The interplay of quantum spin liquids with itinerant conduction electrons is of crucial interest for understanding layered structures composed of frustrated magnet and metal monolayers. Using parton-mean-field theory, we here demonstrate that a type-II heavy Fermi liquid, which is characterized by a vortex lattice in the slave boson condensate, can occur in the vicinity of the quantum phase transi… ▽ More The interplay of quantum spin liquids with itinerant conduction electrons is of crucial interest for understanding layered structures composed of frustrated magnet and metal monolayers. Using parton-mean-field theory, we here demonstrate that a type-II heavy Fermi liquid, which is characterized by a vortex lattice in the slave boson condensate, can occur in the vicinity of the quantum phase transition separating fractionalized and heavy Fermi liquid phases. The magnetic flux threading each such vortex is about $ v_f/ 137 c$ times smaller than the magnetic flux threading vortices in type-II superconductors, where $v_f$ is the speed of magnetic excitations and $c$ the speed of light. This makes a magnetic observation of this effect challenging. We propose scanning tunneling spectroscopy instead and investigate its signatures. If a type-II heavy Fermi liquid is cooled into a type-II superconductor, vortices in the slave boson condensate and in the superconducting condensate mutually attract. We argue that the type-II heavy Fermi liquid thereby provides a compelling explanation for the magnetic memory observed recently [Persky \textit{et al.}, Nature \textbf{609}, 692 (2022)] in thermal cycles of 4Hb-TaS$_2$. △ Less

Submitted 20 June, 2023; v1 submitted 13 June, 2023; originally announced June 2023.

Comments: 4+$ε$ pages, 9 pages supplement. 2 + 2 figures. Typos, formatting and reference list updated

Unraveling spin dynamics from charge fluctuations

Authors: Eric Kleinherbers, Hendrik Mannel, Jens Kerski, Martin Geller, Axel Lorke, Jürgen König

Abstract: The use of single electron spins in quantum dots as qubits requires detailed knowledge about the processes involved in their initialization and operation as well as their relaxation and decoherence. In optical schemes for such spin qubits, spin-flip Raman as well as Auger processes play an important role, in addition to environment-induced spin relaxation. In this paper, we demonstrate how to quan… ▽ More The use of single electron spins in quantum dots as qubits requires detailed knowledge about the processes involved in their initialization and operation as well as their relaxation and decoherence. In optical schemes for such spin qubits, spin-flip Raman as well as Auger processes play an important role, in addition to environment-induced spin relaxation. In this paper, we demonstrate how to quantitatively access all the spin-related processes in one go by monitoring the charge fluctuations of the quantum dot. For this, we employ resonance fluorescence and analyze the charge fluctuations in terms of waiting-time distributions and full counting statistics characterized by factorial cumulants. △ Less

Submitted 24 May, 2023; originally announced May 2023.

Comments: 14 pages, 8 figures

Journal ref: Phys. Rev. Res. 5, 043103 (2023)

Quasi-particle propagation across semiconductor-Mott insulator interfaces

Authors: Jan Verlage, Friedemann Queisser, Nikodem Szpak, Jürgen König, Peter Kratzer, Ralf Schützhold

Abstract: As a prototypical example for a heterostructure combining a weakly and a strongly interacting quantum many-body system, we study the interface between a semiconductor and a Mott insulator. Via the hierarchy of correlations, we derive and match the propagating or evanescent (quasi) particle solutions on both sides and assume that the interactions among the electrons in the semiconducting regions ca… ▽ More As a prototypical example for a heterostructure combining a weakly and a strongly interacting quantum many-body system, we study the interface between a semiconductor and a Mott insulator. Via the hierarchy of correlations, we derive and match the propagating or evanescent (quasi) particle solutions on both sides and assume that the interactions among the electrons in the semiconducting regions can be absorbed by an effective potential. While the propagation is described by a band-like dispersion in both the weakly and the strongly interacting case, the inverse decay length across the interface follows a different dependence on the band gap in the Mott insulator and the semiconductor. As one consequence, tunnelling through a Mott insulating layer behaves quite differently from a semiconducting (or band insulating) layer. For example, we find a strong suppression of tunnelling for energies in the middle between the upper and lower Hubbard band of the Mott insulator. △ Less

Submitted 23 December, 2024; v1 submitted 23 March, 2023; originally announced March 2023.

Journal ref: Int J Theor Phys 63, 258 (2024)

Full counting statistics in a Majorana single-charge transistor

Authors: Eric Kleinherbers, Alexander Schünemann, Jürgen König

Abstract: We study full counting statistics of electron transport through a Majorana single-charge transistor. At low bias voltage, transport is dominated by the so-called Josephson-Majorana cycle, a sequence of normal and anomalous single-charge and Josephson tunneling. Factorial cumulants characterizing the full counting statistics elucidate the correlated nature of the charge transfers in this cycle. Mor… ▽ More We study full counting statistics of electron transport through a Majorana single-charge transistor. At low bias voltage, transport is dominated by the so-called Josephson-Majorana cycle, a sequence of normal and anomalous single-charge and Josephson tunneling. Factorial cumulants characterizing the full counting statistics elucidate the correlated nature of the charge transfers in this cycle. Moreover, we predict a topological transition in the full counting statistics from a perfect Poissonian transfer of Cooper pairs to a correlated switching between two distinct fermion parity states with increasing Josephson coupling. △ Less

Submitted 10 May, 2023; v1 submitted 7 March, 2023; originally announced March 2023.

Comments: 10 pages, 6 figures

Journal ref: Phys. Rev. B 107, 195407 (2023)

Fully Composable and Adequate Verified Compilation with Direct Refinements between Open Modules (Technical Report)

Authors: Ling Zhang, Yuting Wang, Jinhua Wu, Jérémie Koenig, Zhong Shao

Abstract: Verified compilation of open modules (i.e., modules whose functionality depends on other modules) provides a foundation for end-to-end verification of modular programs ubiquitous in contemporary software. However, despite intensive investigation in this topic for decades, the proposed approaches are still difficult to use in practice as they rely on assumptions about the internal working of compil… ▽ More Verified compilation of open modules (i.e., modules whose functionality depends on other modules) provides a foundation for end-to-end verification of modular programs ubiquitous in contemporary software. However, despite intensive investigation in this topic for decades, the proposed approaches are still difficult to use in practice as they rely on assumptions about the internal working of compilers which make it difficult for external users to apply the verification results. We propose an approach to verified compositional compilation without such assumptions in the setting of verifying compilation of heterogeneous modules written in first-order languages supporting global memory and pointers. Our approach is based on the memory model of CompCert and a new discovery that a Kripke relation with a notion of memory protection can serve as a uniform and composable semantic interface for the compiler passes. By absorbing the rely-guarantee conditions on memory evolution for all compiler passes into this Kripke Memory Relation and by piggybacking requirements on compiler optimizations onto it, we get compositional correctness theorems for realistic optimizing compilers as refinements that directly relate native semantics of open modules and that are ignorant of intermediate compilation processes. Such direct refinements support all the compositionality and adequacy properties essential for verified compilation of open modules. We have applied this approach to the full compilation chain of CompCert with its Clight source language and demonstrated that our compiler correctness theorem is open to composition and intuitive to use with reduced verification complexity through end-to-end verification of non-trivial heterogeneous modules that may freely invoke each other (e.g., mutually recursively). △ Less

Submitted 18 November, 2023; v1 submitted 25 February, 2023; originally announced February 2023.

AuthentiSense: A Scalable Behavioral Biometrics Authentication Scheme using Few-Shot Learning for Mobile Platforms

Authors: Hossein Fereidooni, Jan König, Phillip Rieger, Marco Chilese, Bora Gökbakan, Moritz Finke, Alexandra Dmitrienko, Ahmad-Reza Sadeghi

Abstract: Mobile applications are widely used for online services sharing a large amount of personal data online. One-time authentication techniques such as passwords and physiological biometrics (e.g., fingerprint, face, and iris) have their own advantages but also disadvantages since they can be stolen or emulated, and do not prevent access to the underlying device, once it is unlocked. To address these c… ▽ More Mobile applications are widely used for online services sharing a large amount of personal data online. One-time authentication techniques such as passwords and physiological biometrics (e.g., fingerprint, face, and iris) have their own advantages but also disadvantages since they can be stolen or emulated, and do not prevent access to the underlying device, once it is unlocked. To address these challenges, complementary authentication systems based on behavioural biometrics have emerged. The goal is to continuously profile users based on their interaction with the mobile device. However, existing behavioural authentication schemes are not (i) user-agnostic meaning that they cannot dynamically handle changes in the user-base without model re-training, or (ii) do not scale well to authenticate millions of users. In this paper, we present AuthentiSense, a user-agnostic, scalable, and efficient behavioural biometrics authentication system that enables continuous authentication and utilizes only motion patterns (i.e., accelerometer, gyroscope and magnetometer data) while users interact with mobile apps. Our approach requires neither manually engineered features nor a significant amount of data for model training. We leverage a few-shot learning technique, called Siamese network, to authenticate users at a large scale. We perform a systematic measurement study and report the impact of the parameters such as interaction time needed for authentication and n-shot verification (comparison with enrollment samples) at the recognition stage. Remarkably, AuthentiSense achieves high accuracy of up to 97% in terms of F1-score even when evaluated in a few-shot fashion that requires only a few behaviour samples per user (3 shots). Our approach accurately authenticates users only after 1 second of user interaction. For AuthentiSense, we report a FAR and FRR of 0.023 and 0.057, respectively. △ Less

Submitted 6 February, 2023; originally announced February 2023.

Comments: 16 pages, 7 figures

Fluctuation-driven excess noise near superconducting phase transition

Authors: Juhun Kwak, Emil Pellett, Elio J. König, Alex Levchenko

Abstract: We discuss intrinsic mechanisms of nonequilibrium excess noise in superconducting devices and transition edge sensors. In particular, we present an overview of fluctuation-driven contributions to the current noise in the vicinity of the superconducting transition. We argue that sufficiently close to the critical temperature fluctuations of conductivity may become correlated provided that the rate… ▽ More We discuss intrinsic mechanisms of nonequilibrium excess noise in superconducting devices and transition edge sensors. In particular, we present an overview of fluctuation-driven contributions to the current noise in the vicinity of the superconducting transition. We argue that sufficiently close to the critical temperature fluctuations of conductivity may become correlated provided that the rate of quasiparticle relaxation is slow as compared to dynamics of superconducting fluctuations. In this regime, fluctuations of conductivity adiabatically follow the fluctuations of the electron distribution. This leads to a substantial enhancement of current noise. The corresponding spectral power density of noise has a Lorentzian shape in the frequency domain while its magnitude scales proportionally to the inelastic relaxation time. It also sensitively depends on the dephasing and Ginzburg-Landau timescales. Further estimates suggest that this mechanism dominates over the conventional temperature fluctuations in the same range of parameters. To describe these effects microscopically, we use the nonequilibrium Keldysh technique in the semiclassical approximation of superconductivity with Boltzmann-Langevin random forces to account for correlations of fluctuations. △ Less

Submitted 27 December, 2022; originally announced December 2022.

Comments: In part this material appeared originally in the supplement to arXiv:2202.06309, and now has been expanded into this paper. Prepared for the AoP memorial volume dedicated to K. B. Efetov [14 pages, 1 figure]

Journal ref: Annals of Physics 456, 169307 (2023)

Quasiperiodic circuit quantum electrodynamics

Authors: Tobias Herrig, Jedediah H. Pixley, Elio J. König, Roman-Pascal Riwar

Abstract: Superconducting circuits are an extremely versatile platform to realize quantum information hardware and to emulate topological materials. We here show how a simple arrangement of capacitors and conventional superconductor-insulator-superconductor junctions can realize an even broader class of systems, in the form of a nonlinear capacitive element which is quasiperiodic with respect to the quantiz… ▽ More Superconducting circuits are an extremely versatile platform to realize quantum information hardware and to emulate topological materials. We here show how a simple arrangement of capacitors and conventional superconductor-insulator-superconductor junctions can realize an even broader class of systems, in the form of a nonlinear capacitive element which is quasiperiodic with respect to the quantized Cooper-pair charge. Our setup allows to create protected Dirac points defined in the transport degrees of freedom, whose presence leads to a suppression of the classical finite-frequency current noise. Furthermore, the quasiperiodicity can emulate Anderson localization in charge space, measurable via vanishing charge quantum fluctuations. The realization by means of the macroscopic transport degrees of freedom allows for a straightforward generalization to arbitrary dimensions and implements truly non-interacting versions of the considered models. As an outlook, we discuss potential ideas to simulate a transport version of the magic-angle effect known from twisted bilayer graphene. △ Less

Submitted 30 December, 2023; v1 submitted 23 December, 2022; originally announced December 2022.

Comments: 18 pages, 8 figures

Journal ref: npj Quantum Inf. 9, 116 (2023)

Time-limited Balanced Truncation for Data Assimilation Problems

Authors: Josie König, Melina A. Freitag

Abstract: Balanced truncation is a well-established model order reduction method which has been applied to a variety of problems. Recently, a connection between linear Gaussian Bayesian inference problems and the system-theoretic concept of balanced truncation has been drawn. Although this connection is new, the application of balanced truncation to data assimilation is not a novel idea: it has already been… ▽ More Balanced truncation is a well-established model order reduction method which has been applied to a variety of problems. Recently, a connection between linear Gaussian Bayesian inference problems and the system-theoretic concept of balanced truncation has been drawn. Although this connection is new, the application of balanced truncation to data assimilation is not a novel idea: it has already been used in four-dimensional variational data assimilation (4D-Var). This paper discusses the application of balanced truncation to linear Gaussian Bayesian inference, and, in particular, the 4D-Var method, thereby strengthening the link between systems theory and data assimilation further. Similarities between both types of data assimilation problems enable a generalisation of the state-of-the-art approach to the use of arbitrary prior covariances as reachability Gramians. Furthermore, we propose an enhanced approach using time-limited balanced truncation that allows to balance Bayesian inference for unstable systems and in addition improves the numerical results for short observation periods. △ Less

Submitted 24 August, 2023; v1 submitted 15 December, 2022; originally announced December 2022.

Comments: 24 pages, 5 figures

MSC Class: 62F15; 65L99; 93A15; 93B11

Biorthogonal Renormalization

Authors: Elisabet Edvardsson, J Lukas K König, Marcus Stålhammar

Abstract: The biorthogonal formalism extends conventional quantum mechanics to the non-Hermitian realm. It has, however, been pointed out that the biorthogonal inner product changes with the scaling of the eigenvectors, an ambiguity whose physical significance is still being debated. Here, we revisit this issue and argue when this choice of normalization is of physical importance. We illustrate in which set… ▽ More The biorthogonal formalism extends conventional quantum mechanics to the non-Hermitian realm. It has, however, been pointed out that the biorthogonal inner product changes with the scaling of the eigenvectors, an ambiguity whose physical significance is still being debated. Here, we revisit this issue and argue when this choice of normalization is of physical importance. We illustrate in which settings quantities such as expectation values and transition probabilities depend on the scaling of eigenvectors, and in which settings the biorthogonal formalism remains unambiguous. To resolve the apparent scaling ambiguity, we introduce an inner product independent of the gauge choice of basis and show that its corresponding mathematical structure is consistent with quantum mechanics. Using this formalism, we identify a deeper problem relating to the physicality of Hilbert space representations, which we illustrate using the position basis. Apart from increasing the understanding of the mathematical foundations upon which many physical results rely, our findings also pave the way towards consistent comparisons between systems described by non-Hermitian Hamiltonians. △ Less

Submitted 21 April, 2023; v1 submitted 12 December, 2022; originally announced December 2022.

Comments: Important updates. 19 pages, 3 figures

Interlayer exciton polaritons in homobilayers of transition metal dichalcogenides

Authors: Jonas K. König, Jamie M. Fitzgerald, Joakim Hagel, Daniel Erkensten, Ermin Malic

Abstract: Transition metal dichalcogenides integrated within a high-quality microcavity support well-defined exciton polaritons. While the role of intralayer excitons in 2D polaritonics is well studied, interlayer excitons have been largely ignored due to their weak oscillator strength. Using a microscopic and material-realistic Wannier-Hopfield model, we demonstrate that MoS$_2$ homobilayers in a Fabry-Per… ▽ More Transition metal dichalcogenides integrated within a high-quality microcavity support well-defined exciton polaritons. While the role of intralayer excitons in 2D polaritonics is well studied, interlayer excitons have been largely ignored due to their weak oscillator strength. Using a microscopic and material-realistic Wannier-Hopfield model, we demonstrate that MoS$_2$ homobilayers in a Fabry-Perot cavity support polaritons that exhibit a large interlayer exciton contribution, while remaining visible in linear optical spectra. Interestingly, with suitable tuning of the cavity length, the hybridization between intra- and interlayer excitons can be 'unmixed' due to the interaction with photons. We predict formation of polaritons where > 90% of the total excitonic contribution is stemming from the interlayer exciton. Furthermore, we explore the conditions on the tunneling strength and exciton energy landscape to push this to even 100%. Despite the extremely weak oscillator strength of the underlying interlayer exciton, optical energy can be effectively fed into the polaritons once the critical coupling condition of balanced radiative and scattering decay channels is met. These findings have a wide relevance for fields ranging from nonlinear optoelectronic devices to Bose-Einstein condensation. △ Less

Submitted 6 December, 2022; originally announced December 2022.

Comments: Main text: 19 pages, 5 figures Supplementary information: 8 pages, 6 figures

On fake subfields of number fields

Authors: Joachim König

Abstract: We investigate the failure of a local-global principle with regard to "containment of number fields"; i.e., we are interested in pairs of number fields $(K_1,K_2)$ such that $K_2$ is not a subfield of any algebraic conjugate $K_1^σ$ of $K_1$, but the splitting type of any single rational prime $p$ unramified in $K_1$ and in $K_2$ is such that it cannot rule out the containment… ▽ More We investigate the failure of a local-global principle with regard to "containment of number fields"; i.e., we are interested in pairs of number fields $(K_1,K_2)$ such that $K_2$ is not a subfield of any algebraic conjugate $K_1^σ$ of $K_1$, but the splitting type of any single rational prime $p$ unramified in $K_1$ and in $K_2$ is such that it cannot rule out the containment $K_2\subseteq K_1^σ$. Examples of such situations arise naturally, but not exclusively, via the well-studied concept of arithmetically equivalent number fields. We give some systematic constructions yielding "fake subfields" (in the above sense) which are not induced by arithmetic equivalence. This may also be interpreted as a failure of a certain local-global principle related to zeta functions of number fields. △ Less

Submitted 3 August, 2023; v1 submitted 30 November, 2022; originally announced December 2022.

Comments: (Second, revised version)

Lifshitz transition in the phase diagram of two-leg $t$-$J$ ladder systems at low filling

Authors: Steffen Bollmann, Alexander Osterkorn, Elio J. König, Salvatore R. Manmana

Abstract: We use a combination of numerical matrix product states (MPS) and analytical approaches to investigate the phase diagram of the two-leg $t$-$J$ ladder in the region of low to intermediate fillings. We choose the same coupling strength along the leg- and rung-directions, but study the effect of adding a nearest-neighbor repulsion $V$. We observe a rich phase diagram and analytically identify a Lifs… ▽ More We use a combination of numerical matrix product states (MPS) and analytical approaches to investigate the phase diagram of the two-leg $t$-$J$ ladder in the region of low to intermediate fillings. We choose the same coupling strength along the leg- and rung-directions, but study the effect of adding a nearest-neighbor repulsion $V$. We observe a rich phase diagram and analytically identify a Lifshitz-like band filling transition, which can be associated to a numerically observed crossover from s-wave to d-wave like superconducting quasi-long range order (QLRO). Due to the strong interactions, the Lifshitz transition is smeared into a crossover region which separates two distinct Luttinger theories with unequal physical meaning of the Luttinger parameter. Our numerically exact MPS results spotlight deviations from standard Luttinger theory in this crossover region and is consistent with Luttinger theory sufficiently far away from the Lifshitz transition. At very low fillings, studying the Friedel-like oscillations of the local density identifies a precursor region to a Wigner crystal at small values of the magnetic exchange interaction $J/t$. We discuss analytically how tuning parameters at these fillings modifies the phase diagram, and find good agreement with MPS results. △ Less

Submitted 23 November, 2022; originally announced November 2022.

Comments: 14 pages, 4 appendices, 17 figures

Drag resistance mediated by quantum spin liquids

Authors: Raffaele Mazzilli, Alex Levchenko, Elio J. König

Abstract: Recent advances in material synthesis made it possible to realize two-dimensional monolayers of candidate materials for a quantum spin liquid (QSL) such as $α$-RuCl$_3$,1T-TaSe$_2$ and 1T-TaS$_2$. In this work, we propose an experimental setup that exploits nonlocal electrical probes to gain information on the transport properties of a gapless QSL. The proposed setup is a spinon-mediated drag expe… ▽ More Recent advances in material synthesis made it possible to realize two-dimensional monolayers of candidate materials for a quantum spin liquid (QSL) such as $α$-RuCl$_3$,1T-TaSe$_2$ and 1T-TaS$_2$. In this work, we propose an experimental setup that exploits nonlocal electrical probes to gain information on the transport properties of a gapless QSL. The proposed setup is a spinon-mediated drag experiment: a current is injected in one of the two layers and a voltage is measured on the second metallic film. The overall momentum transfer mechanism is a two-step process mediated by Kondo interaction between the local moments in the quantum spin liquid and the spins of the electrons. In the limit of negligible momentum relaxed within the QSL layer, we calculate the drag relaxation rate for Kitaev, $\mathbb{Z}_2$, and U(1) QSLs using Aslamazov-Larkin diagrams. We find, however, that the case of dominant momentum relaxation within the QSL layer is far more relevant and thus develop a model based on the Boltzmann kinetic equation to describe the proposed setup. Within this framework we calculate the low temperature scaling behavior of the drag resistivity, both for U(1) and $\mathbb{Z}_2$ QSLs with Fermi surfaces. In some regimes we find a crossover in the temperature scaling that is different between the $\mathbb{Z}_2$ and U(1) QSL both because of the non-Fermi liquid nature of the U(1) QSL, and because of the qualitatively different momentum relaxation mechanism within the QSL layer. Our findings suggest that parameters of the system can be tuned to make the spinon-mediated drag a significant fraction of the total transresistance. △ Less

Submitted 15 November, 2022; originally announced November 2022.

Comments: 10 pages, 2 appendices, 7 figures

Journal ref: Phys. Rev. B 108, 014425 (2023)

Braid Protected Topological Band Structures with Unpaired Exceptional Points

Authors: J. Lukas K. König, Kang Yang, Jan Carl Budich, Emil J. Bergholtz

Abstract: We demonstrate the existence of topologically stable unpaired exceptional points (EPs), and construct simple non-Hermitian (NH) tight-binding models exemplifying such remarkable nodal phases. While fermion doubling, i.e. the necessity of compensating the topological charge of a stable nodal point by an anti-dote, rules out a direct counterpart of our findings in the realm of Hermitian semimetals,… ▽ More We demonstrate the existence of topologically stable unpaired exceptional points (EPs), and construct simple non-Hermitian (NH) tight-binding models exemplifying such remarkable nodal phases. While fermion doubling, i.e. the necessity of compensating the topological charge of a stable nodal point by an anti-dote, rules out a direct counterpart of our findings in the realm of Hermitian semimetals, here we derive how noncommuting braids of complex energy levels may stabilize unpaired EPs. Drawing on this insight, we reveal the occurrence of a single, unpaired EP, manifested as a non-Abelian monopole in the Brillouin zone of a minimal three-band model. This third-order degeneracy represents a sweet spot within a larger topological phase that cannot be fully gapped by any local perturbation. Instead, it may only split into simpler (second-order) degeneracies that can only gap out by pairwise annihilation after having moved around inequivalent large circles of the Brillouin zone. Our results imply the incompleteness of a topological classification based on winding numbers, due to non-Abelian representations of the braid group intertwining three or more complex energy levels, and provide insights into the topological robustness of non-Hermitian systems and their non-Abelian phase transitions. △ Less

Submitted 29 October, 2023; v1 submitted 10 November, 2022; originally announced November 2022.

Comments: 5+7 pages, 3+3 figures

Journal ref: Phys. Rev. Research 5 (2023) L042010

Grounding Game Semantics in Categorical Algebra

Authors: Jérémie Koenig

Abstract: I present a formal connection between algebraic effects and game semantics, two important lines of work in programming languages semantics with applications in compositional software verification. Specifically, the algebraic signature enumerating the possible side-effects of a computation can be read as a game, and strategies for this game constitute the free algebra for the signature in a cate… ▽ More I present a formal connection between algebraic effects and game semantics, two important lines of work in programming languages semantics with applications in compositional software verification. Specifically, the algebraic signature enumerating the possible side-effects of a computation can be read as a game, and strategies for this game constitute the free algebra for the signature in a category of complete partial orders (cpos). Hence, strategies provide a convenient model of computations with uninterpreted side-effects. In particular, the operational flavor of game semantics carries over to the algebraic context, in the form of the coincidence between the initial algebras and the terminal coalgebras of cpo endofunctors. Conversely, the algebraic point of view sheds new light on the strategy constructions underlying game semantics. Strategy models can be reformulated as ideal completions of partial strategy trees (free dcpos on the term algebra). Extending the framework to multi-sorted signatures would make this construction available for a large class of games. △ Less

Submitted 3 November, 2022; originally announced November 2022.

Comments: In Proceedings ACT 2021, arXiv:2211.01102

ACM Class: D.3.1; F.3.2

Journal ref: EPTCS 372, 2022, pp. 368-383