Showing 1–50 of 91 results for author: Christiansen, R

Orders-of-magnitude reduction in photonic mode volume by nano-sculpting

Authors: Rasmus E. Christiansen, Jesper Mørk, Ole Sigmund

Abstract: Three-dimensionally sculpted dielectric nanostructures supporting material(air) confined optical modes with single-emitter mode volumes three(four) orders of magnitude below the diffraction limit, $V_{\textbf{r}_0} \approx 0.0004 \left[λ/(2 n)\right]^3 \left( V_{\textbf{r}_0} \approx 0.00003 \left[λ/2\right]^3\right)$, are discovered using topology optimization. Encapsulating the nanostructure by… ▽ More Three-dimensionally sculpted dielectric nanostructures supporting material(air) confined optical modes with single-emitter mode volumes three(four) orders of magnitude below the diffraction limit, $V_{\textbf{r}_0} \approx 0.0004 \left[λ/(2 n)\right]^3 \left( V_{\textbf{r}_0} \approx 0.00003 \left[λ/2\right]^3\right)$, are discovered using topology optimization. Encapsulating the nanostructure by ellipsoidal shells enables seemingly unbounded mode quality factor enhancement ($Q > 10^8$ demonstrated numerically) leading to Purcell enhancement above $10^{11}$. It is studied how $V_{\textbf{r}_0}$ and $Q$ depend on the choice of material, device volume, minimum feature size and number of shells. △ Less

Submitted 24 June, 2024; originally announced June 2024.

Comments: 7 Pages, 5 Figures

The Correlation Energy of the Electron Gas in the Mean-Field Regime

Authors: Martin Ravn Christiansen, Christian Hainzl, Phan Thành Nam

Abstract: We prove a rigorous lower bound on the correlation energy of interacting fermions in the mean-field regime for a wide class of singular interactions, including the Coulomb potential. Combined with the upper bound obtained in \cite{ChrHaiNam-23b}, our result establishes an analogue of the Gell-Mann--Brueckner formula $c_{1}ρ\log\left(ρ\right)+c_{2}ρ$ for the correlation energy of the electron gas i… ▽ More We prove a rigorous lower bound on the correlation energy of interacting fermions in the mean-field regime for a wide class of singular interactions, including the Coulomb potential. Combined with the upper bound obtained in \cite{ChrHaiNam-23b}, our result establishes an analogue of the Gell-Mann--Brueckner formula $c_{1}ρ\log\left(ρ\right)+c_{2}ρ$ for the correlation energy of the electron gas in the high-density limit. Moreover, our analysis allows us to go beyond mean-field scaling while still covering the same class of potentials. △ Less

Submitted 2 May, 2024; originally announced May 2024.

Comments: 60 pages

Omnidirectional gradient force optical trap** in dielectric nanocavities by inverse design

Authors: Beñat Martinez de Aguirre Jokisch, Benjamin Falkenberg Gøtzsche, Philip Trøst Kristensen, Martijn Wubs, Ole Sigmund, Rasmus Ellebæk Christiansen

Abstract: Optical trap** enables precise control of individual particles of different sizes, such as atoms, molecules, or nanospheres. Optical tweezers provide free-space omnidirectional optical trap** of objects in laboratories around the world. As an alternative to standard macroscopic setups based on lenses, which are inherently bound by the diffraction limit, plasmonic and photonic nanostructures pr… ▽ More Optical trap** enables precise control of individual particles of different sizes, such as atoms, molecules, or nanospheres. Optical tweezers provide free-space omnidirectional optical trap** of objects in laboratories around the world. As an alternative to standard macroscopic setups based on lenses, which are inherently bound by the diffraction limit, plasmonic and photonic nanostructures promise trap** by near-field optical effects on the extreme nanoscale. However, the practical design of lossless waveguide-coupled nanostructures capable of trap** deeply sub-wavelength particles in all spatial directions using the gradient force has until now proven insurmountable. In this work, we demonstrate an omnidirectional optical trap realized by inverse-designing fabrication-ready integrated dielectric nanocavities. The sub-wavelength optical trap is designed to rely solely on the gradient force and is thus particle-size agnostic. In particular, we show how a nanometer-sized trapped particle experiences a force strong enough to overcome room-temperature thermal fluctuations. Furthermore, through the robust inverse design framework, we tailor manufacturable devices operating at near-infrared and optical frequencies. Our results open a new regime of levitated optical trap** by achieving a deep trap** potential capable of trap** single sub-wavelength particles in all directions using optical gradient forces. We anticipate potentially groundbreaking applications of the optimized optical trap** system for biomolecular analysis in aqueous environments, levitated cavity-optomechanics, and cold atom physics, constituting an important step towards realizing integrated bio-nanophotonics and mesoscopic quantum mechanical experiments. △ Less

Submitted 30 April, 2024; v1 submitted 23 April, 2024; originally announced April 2024.

Subtraction and Addition of Propagating Photons by Two-Level Emitters

Authors: Mads M. Lund, Fan Yang, Victor Rueskov Christiansen, Danil Kornovan, Klaus Mølmer

Abstract: Coherent manipulation of quantum states of light is key to photonic quantum information processing. In this Letter, we show that a passive two-level nonlinearity suffices to implement non-Gaussian quantum operations on propagating field modes. In particular, the collective light-matter interaction can efficiently extract a single photon from a multi-photon input wave packet to an orthogonal tempor… ▽ More Coherent manipulation of quantum states of light is key to photonic quantum information processing. In this Letter, we show that a passive two-level nonlinearity suffices to implement non-Gaussian quantum operations on propagating field modes. In particular, the collective light-matter interaction can efficiently extract a single photon from a multi-photon input wave packet to an orthogonal temporal mode. We accurately describe the single-photon subtraction process by elements of an intuitive quantum-trajectory model. By employing this process, quantum information protocols gain orders of magnitude improved efficiency over heralded schemes with linear optics. The reverse process can be used to add photons one-by-one to a single wave-packet mode and compose arbitrarily large Fock states with a finite total success probability $>96.7\%$. △ Less

Submitted 18 April, 2024; originally announced April 2024.

Comments: 6+6 pages, 5+3 figures

The JWST-PRIMAL Legacy Survey. A JWST/NIRSpec reference sample for the physical properties and Lyman-$α$ absorption and emission of $\sim 500$ galaxies at $z=5.5-13.4$

Authors: K. E. Heintz, G. B. Brammer, D. Watson, P. A. Oesch, L. C. Keating, M. J. Hayes, Abdurro'uf, K. Z. Arellano-Córdova, A. C. Carnall, C. R. Christiansen, F. Cullen, R. Davé, P. Dayal, A. Ferrara, K. Finlator, J. P. U. Fynbo, S. R. Flury, V. Gelli, S. Gillman, R. Gottumukkala, K. Gould, T. R. Greve, S. E. Hardin, T. Y. -Y Hsiao, A. Hutter , et al. (23 additional authors not shown)

Abstract: One of the surprising early findings with JWST has been the discovery of a strong "roll-over" or a softening of the absorption edge of Ly$α$ in a large number of galaxies at ($z\gtrsim 6$), in addition to systematic offsets from photometric redshift estimates and fundamental galaxy scaling relations. This has been interpreted as damped Ly$α$ absorption (DLA) wings from high column densities of neu… ▽ More One of the surprising early findings with JWST has been the discovery of a strong "roll-over" or a softening of the absorption edge of Ly$α$ in a large number of galaxies at ($z\gtrsim 6$), in addition to systematic offsets from photometric redshift estimates and fundamental galaxy scaling relations. This has been interpreted as damped Ly$α$ absorption (DLA) wings from high column densities of neutral atomic hydrogen (HI), signifying major gas accretion events in the formation of these galaxies. To explore this new phenomenon systematically, we assemble the JWST/NIRSpec PRImordial gas Mass AssembLy (PRIMAL) legacy survey of 494 galaxies at $z=5.5-13.4$. We characterize this benchmark sample in full and spectroscopically derive the galaxy redshifts, metallicities, star-formation rates, and ultraviolet slopes. We define a new diagnostic, the Ly$α$ dam** parameter $D_{\rm Lyα}$ to measure and quantify the Ly$α$ emission strength, HI fraction in the IGM, or local HI column density for each source. The JWST-PRIMAL survey is based on the spectroscopic DAWN JWST Archive (DJA-Spec). All the software, reduced spectra, and spectroscopically derived quantities and catalogs are made publicly available in dedicated repositories. The fraction of strong galaxy DLAs are found to be in the range $65-95\%$ at $z>5.5$. The fraction of strong Ly$α$ emitters (LAEs) is found to increase with decreasing redshift, in qualitative agreement with previous observational results, and are predominantly associated with low-metallicity and UV faint galaxies. By contrast, strong DLAs are observed in galaxies with a variety of intrinsic physical properties. Our results indicate that strong DLAs likely reflect a particular early assembly phase of reionization-era galaxies, at which point they are largely dominated by pristine HI gas accretion. [abridged] △ Less

Submitted 2 April, 2024; originally announced April 2024.

Comments: 20 pages, 18 figures, 3 tables. Submitted to A&A. Comments welcome! All data and catalogs are available through the DAWN JWST Archive (DJA): https://dawn-cph.github.io/dja/ and https://github.com/keheintz/jwst-primal

Jaynes-Cummings interaction with a traveling light pulse

Authors: Victor Rueskov Christiansen, Mads Middelhede Lund, Fan Yang, Klaus Mølmer

Abstract: The Jaynes-Cummings model provides a simple and accurate description of the interaction between a two-level quantum emitter and a single mode of quantum radiation. Due to the multimode continuum of eigenmodes in free space and in waveguides, the Jaynes-Cummings model should not be expected to properly describe the interaction between an emitter and a traveling pulse of quantum radiation. In this a… ▽ More The Jaynes-Cummings model provides a simple and accurate description of the interaction between a two-level quantum emitter and a single mode of quantum radiation. Due to the multimode continuum of eigenmodes in free space and in waveguides, the Jaynes-Cummings model should not be expected to properly describe the interaction between an emitter and a traveling pulse of quantum radiation. In this article, we review a cascaded quantum system approach that accurately describes the interaction of a quantum system with an incident quantum pulse of radiation. This approach leads to different formulations of the theory, each of a similar structure as the Jaynes-Cummings model but with important modifications. △ Less

Submitted 7 March, 2024; originally announced March 2024.

Comments: 9 pages, 5 figures

Three-dimensional bound states of cylindrical quantum heterostructures with position-dependent mass carriers

Authors: H. R. Christiansen, R. M. Lima

Abstract: We present a comprehensive spectral analysis of cylindrical quantum heterostructures by considering effective electronic carriers with position-dependent mass for five different kinetic-operator orderings. We obtain the bound energy eigenstates of particles in a three-dimensional cylindrical nanowire under a confining hyperbolic potential with both open and closed boundary conditions in the radial… ▽ More We present a comprehensive spectral analysis of cylindrical quantum heterostructures by considering effective electronic carriers with position-dependent mass for five different kinetic-operator orderings. We obtain the bound energy eigenstates of particles in a three-dimensional cylindrical nanowire under a confining hyperbolic potential with both open and closed boundary conditions in the radial and the axial directions. In the present model we consider carriers with continuous mass distributions within the dot with abrupt mass discontinuities at the barriers, moving in a quantum dot that connects different substances. Continuity of mass and potential at the interfaces with the external layers result as a particular case. Our approach is mostly analytical and allows a precise comparison among von Roos ordering classes. △ Less

Submitted 12 December, 2023; originally announced December 2023.

Comments: 33pp, 20 figs

Journal ref: Physica Scripta, Phys. Scr. 99 (2024) 015915

Parametric Amplification of a Quantum Pulse

Authors: Offek Tziperman, Victor Rueskov Christiansen, Ido Kaminer, Klaus Mølmer

Abstract: Creating and manipulating quantum states of light requires nonlinear interactions, but while nonlinear optics is inherently multi-mode, quantum optical analyses are often done with single-mode approximations. We present a multi-mode theory for the transformation of a quantum pulse by Hamiltonians that are quadratic in the field creation and annihilation operators. Our theory describes nonlinear pr… ▽ More Creating and manipulating quantum states of light requires nonlinear interactions, but while nonlinear optics is inherently multi-mode, quantum optical analyses are often done with single-mode approximations. We present a multi-mode theory for the transformation of a quantum pulse by Hamiltonians that are quadratic in the field creation and annihilation operators. Our theory describes nonlinear processes, such as parametric amplification and squeezing, as well as all linear processes, such as dispersion and beam splitting. We show that a single input pulse feeds only two distinct output modes and, for certain quantum states, just one. Our theory provides the quantum states in the output modes, which are crucial for the application of pulses in quantum optics and quantum information. △ Less

Submitted 7 December, 2023; originally announced December 2023.

Comments: 7 pages, 4 figures

Energy eigenstates of position-dependent mass particles in a spherical quantum dot

Authors: R. M. Lima, H. R. Christiansen

Abstract: We obtain the exact energy spectrum of nonuniform mass particles for a collection of Hamiltonians in a three-dimensional approach to a quantum dot. By considering a set of generalized Schrödinger equations with different orderings between the particle's momentum and mass, the energy bound-states are calculated analytically for hard boundary conditions. The present results are of interest in atomic… ▽ More We obtain the exact energy spectrum of nonuniform mass particles for a collection of Hamiltonians in a three-dimensional approach to a quantum dot. By considering a set of generalized Schrödinger equations with different orderings between the particle's momentum and mass, the energy bound-states are calculated analytically for hard boundary conditions. The present results are of interest in atomic physics and quantum dot theory. △ Less

Submitted 23 November, 2023; originally announced November 2023.

Comments: 13 pages, 10 figures

Journal ref: European Physical Journal B, 96: 150 (2023)

Hilbert-Schmidt Estimates for Fermionic 2-Body Operators

Authors: Martin Ravn Christiansen

Abstract: We prove that the 2-body operator $γ_2^Ψ$ of a fermionic $N$-particle state $Ψ$ obeys $||γ_2^Ψ||_{HS} \leq \sqrt{5} N$, which complements the bound of Yang that $||γ_2^Ψ||_{op} \leq N$. This estimate furthermore resolves a conjecture of Carlen-Lieb-Reuvers (arXiv:1403.3816) concerning the entropy of the normalized 2-body operator. We also prove that the Hilbert-Schmidt norm of the truncated 2-body… ▽ More We prove that the 2-body operator $γ_2^Ψ$ of a fermionic $N$-particle state $Ψ$ obeys $||γ_2^Ψ||_{HS} \leq \sqrt{5} N$, which complements the bound of Yang that $||γ_2^Ψ||_{op} \leq N$. This estimate furthermore resolves a conjecture of Carlen-Lieb-Reuvers (arXiv:1403.3816) concerning the entropy of the normalized 2-body operator. We also prove that the Hilbert-Schmidt norm of the truncated 2-body operator $γ_2^{Ψ,T}$ obeys the inequality $||γ_2^{Ψ,T}||_{HS} \leq \sqrt{5 N \, \mathrm{tr}(γ_1^Ψ(1 - γ_1^Ψ))}$. △ Less

Submitted 29 January, 2024; v1 submitted 1 May, 2023; originally announced May 2023.

Comments: 8 pages, final version

Journal ref: Commun. Math. Phys. 405, 18 (2024)

The kinetic Hamiltonian with position-dependent mass

Authors: R. M. Lima, H. R. Christiansen

Abstract: In the present paper we examine in a systematic way the most relevant orderings of pure kinetic Hamiltonians for five different position-dependent mass (PDM) profiles: soliton-like, reciprocal quadratic and biquadratic, exponential and parabolic. As a result of the non-commutativity between momentum and position operators, a diversity of effective potentials is generated. We analyze the whole set… ▽ More In the present paper we examine in a systematic way the most relevant orderings of pure kinetic Hamiltonians for five different position-dependent mass (PDM) profiles: soliton-like, reciprocal quadratic and biquadratic, exponential and parabolic. As a result of the non-commutativity between momentum and position operators, a diversity of effective potentials is generated. We analyze the whole set and find unexpected coincidences as well as discrepancies among them. We obtain analytically the full-spectrum of energies and solutions in the twenty-five cases considered. It is shown how the simple ordinary constant-mass solutions are transformed into a variety of complex combinations of transcendental functions and arguments. We find that particles with a non-uniform mass density can present discrete energy spectra as well as continuous ones which can be bounded or not. These results are consistent with the fact that although the external potential is zero, PDM eigenfunctions are not actual free states but a sort of effective waves in a solid-state sample. This is precisely the origin of the position-dependent mass. In all the events we obtain exact complete spectral expressions. Our methodological procedure thus puts a wide diversity of Hamiltonian seeds on an equal footing in order to be compared. This allows choosing the better arrangement to model a specific solid or heterostructure once the spectrum of a given material is experimentally available. Finally, we perform a one-dimensional model calculation of a double heterostructure with a parabolic PDM particle in the interface region. Our study is also indicated for applications inside material structures with the addition of external potentials. △ Less

Submitted 4 March, 2023; originally announced March 2023.

Comments: 36 pages, 20 figures

Journal ref: Physica E: Low dimensional Systems and Nanostructures 150 (2023) 115688

Emergent Quasi-Bosonicity in Interacting Fermi Gases

Authors: Martin Ravn Christiansen

Abstract: This thesis concerns the correlation structure of interacting Fermi gases on a torus in the mean-field regime. A bosonization method in the spirit of Sawada is developed to analyze the system, and is applied to obtain an upper bound for the correlation energy of the system for a wide class of repulsive interaction potentials, including the Coulomb potential. This upper bound includes both a bosoni… ▽ More This thesis concerns the correlation structure of interacting Fermi gases on a torus in the mean-field regime. A bosonization method in the spirit of Sawada is developed to analyze the system, and is applied to obtain an upper bound for the correlation energy of the system for a wide class of repulsive interaction potentials, including the Coulomb potential. This upper bound includes both a bosonic contribution, as found in the bosonic model of Sawada, and an exchange contribution, as was found by Gell-Mann and Brueckner but which was missed by Sawada's model. An extension to weakly attractive potentials is also presented, as is an outline of the derivation of an effective Hamiltonian for regular interaction potentials, and the construction of plasmon states for this outside of the mean-field setting. This thesis is based on the papers [arXiv:2106.11161, arXiv:2206.13073, arXiv:2208.01581]. △ Less

Submitted 30 January, 2023; originally announced January 2023.

Comments: PhD thesis, 141 pages

The gas and stellar content of a metal-poor galaxy at $z=8.496$ as revealed by JWST and ALMA

Authors: K. E. Heintz, C. Giménez-Arteaga, S. Fujimoto, G. Brammer, D. Espada, S. Gillman, J. González-López, T. R. Greve, Y. Harikane, B. Hatsukade, K. K. Knudsen, A. M. Koekemoer, K. Kohno, V. Kokorev, M. M. Lee, G. E. Magdis, E. J. Nelson, F. Rizzo, R. L. Sanders, D. Schaerer, A. E. Shapley, V. B. Strait, S. Toft, F. Valentino, A. van der Wel , et al. (5 additional authors not shown)

Abstract: We present a joint analysis of the galaxy S04590 at $z=8.496$ based on NIRSpec, NIRCam, and NIRISS observations obtained through as part of Early Release Observations programme of the James Webb Space Telescope (JWST) and the far-infrared [CII]-$158μ$m emission line detected by dedicated Atacama Large Millimeter/submillimeter Array (ALMA) observations. We determine the physical properties of S0459… ▽ More We present a joint analysis of the galaxy S04590 at $z=8.496$ based on NIRSpec, NIRCam, and NIRISS observations obtained through as part of Early Release Observations programme of the James Webb Space Telescope (JWST) and the far-infrared [CII]-$158μ$m emission line detected by dedicated Atacama Large Millimeter/submillimeter Array (ALMA) observations. We determine the physical properties of S04590 from modelling of the spectral energy distribution (SED) and through the redshifted optical nebular emission lines detected with JWST/NIRSpec. The best-fit SED model reveals a low-mass ($M_\star = 10^{7.2}-10^{8}\,M_{\odot}$) galaxy with a low oxygen abundance of $12+\log{\rm (O/H)} = 7.16^{+0.10}_{-0.12}$ derived from the strong nebular and auroral emission lines. Assuming that [CII] effectively traces the interstellar medium (ISM), we estimate the total gas mass of the galaxy to be $M_{\rm gas} = (8.0\pm 4.0)\times 10^{8}\,M_\odot$ based on the luminosity and spatial extent of [CII]. This yields an exceptionally high gas fraction, $f_{\rm gas} = M_{\rm gas}/(M_{\rm gas} + M_\star) \gtrsim 90\%$, though still consistent within the range expected for its low metallicity. We further derive the metal mass of the galaxy based on the gas mass and gas-phase metallicity, which we find to be consistent with the expected metal production from Type II supernovae. Finally, we make the first constraints on the dust-to-gas (DTG) and dust-to-metals (DTM) ratios of galaxies in the epoch of reionization at $z\gtrsim 6$, showing overall low mass ratios of logDGT $<-3.8$ and logDTM $<-0.5$, though consistent with local scaling relations and in particular the local metal-poor galaxy I Zwicky 18. Our analysis highlights the synergy between ALMA and JWST in characterizing the gas, metal, and stellar content of the first generation of galaxies. △ Less

Submitted 6 February, 2023; v1 submitted 13 December, 2022; originally announced December 2022.

Comments: Accepted for publication in ApJL

Scalar particles around a Rindler-Schwarzschild wormhole

Authors: C. R. Muniz, H. R. Christiansen, M. S. Cunha, J. Furtado, V. B. Bezerra

Abstract: In this paper, we study quantum relativistic features of a scalar field around the Rindler-Schwarzschild wormhole. First, we introduce this new class of spacetime, investigating some energy conditions and verifying their violation in a region nearby the wormhole throat, which means that the object has to have an exotic energy in order to prevent its collapse. Then, we study the behavior of the mas… ▽ More In this paper, we study quantum relativistic features of a scalar field around the Rindler-Schwarzschild wormhole. First, we introduce this new class of spacetime, investigating some energy conditions and verifying their violation in a region nearby the wormhole throat, which means that the object has to have an exotic energy in order to prevent its collapse. Then, we study the behavior of the massless scalar field in this spacetime and compute the effective potential by means of tortoise coordinates. We show that such a potential is attractive nearby the wormhole throat and that is traversable via quantum tunneling by massive particles with sufficiently low energies. The solution of the Klein-Gordon equation is obtained subsequently, showing that the energy spectrum of the field is subject to a constraint which induces a decreasing oscillatory behavior. On imposing Dirichlet boundary conditions on a spherical shell nearby the throat we then determine the particle energy levels, and we use this spectrum to calculate the quantum revival of the eigenstates. Finally, we compute the Casimir energy associated with the massless scalar field at zero temperature. We perform this calculation by means of the sum of modes method. The zero-point energy is regularized using the Epstein-Hurwitz zeta-function. We also obtain an analytical expression for the Casimir force acting on the shell. △ Less

Submitted 13 October, 2022; originally announced October 2022.

Comments: 14 pages, 6 figures

Journal ref: Universe 2022, 8(12), 616

The Gell-Mann$-$Brueckner Formula for the Correlation Energy of the Electron Gas: A Rigorous Upper Bound in the Mean-Field Regime

Authors: Martin Ravn Christiansen, Christian Hainzl, Phan Thành Nam

Abstract: We prove a rigorous upper bound on the correlation energy of interacting fermions in the mean-field regime for a wide class of interaction potentials. Our result covers the Coulomb potential, and in this case we obtain the analogue of the Gell-Mann$-$Brueckner formula $c_{1}ρ\log\left(ρ\right)+c_{2}ρ$ in the high density limit. We do this by refining the analysis of our bosonization method to deal… ▽ More We prove a rigorous upper bound on the correlation energy of interacting fermions in the mean-field regime for a wide class of interaction potentials. Our result covers the Coulomb potential, and in this case we obtain the analogue of the Gell-Mann$-$Brueckner formula $c_{1}ρ\log\left(ρ\right)+c_{2}ρ$ in the high density limit. We do this by refining the analysis of our bosonization method to deal with singular potentials, and to capture the exchange contribution which is absent in the purely bosonic picture. △ Less

Submitted 7 February, 2023; v1 submitted 2 August, 2022; originally announced August 2022.

Comments: 50 pages, final version

Designing Structures that Maximize Spatially Averaged Surface-Enhanced Raman Spectra

Authors: Wenjie Yao, Francesc Verdugo, Henry O. Everitt, Rasmus E. Christiansen, Steven G. Johnson

Abstract: We present a general framework for inverse design of nanopatterned surfaces that maximize spatially averaged surface-enhanced Raman (SERS) spectra from molecules distributed randomly throughout a material or fluid, building upon a recently proposed trace formulation for optimizing incoherent emission. This leads to radically different designs than optimizing SERS emission at a single known locatio… ▽ More We present a general framework for inverse design of nanopatterned surfaces that maximize spatially averaged surface-enhanced Raman (SERS) spectra from molecules distributed randomly throughout a material or fluid, building upon a recently proposed trace formulation for optimizing incoherent emission. This leads to radically different designs than optimizing SERS emission at a single known location, as we illustrate using several 2D design problems addressing effects of hot-spot density, angular selectivity, and nonlinear damage. We obtain optimized structures that perform about 4 times better than coating with optimized spheres or bowtie structures and about 20 times better when the nonlinear damage effects are included. △ Less

Submitted 1 August, 2022; originally announced August 2022.

Journal ref: Optics Express Vol. 31, Issue 3, pp. 4964-4977 (2023)

On the Effective Quasi-Bosonic Hamiltonian of the Electron Gas: Collective Excitations and Plasmon Modes

Authors: Martin Ravn Christiansen, Christian Hainzl, Phan Thành Nam

Abstract: We consider an effective quasi-bosonic Hamiltonian of the electron gas which emerges naturally from the random phase approximation and describes the collective excitations of the gas. By a rigorous argument, we explain how the plasmon modes can be interpreted as a special class of approximate eigenstates of this model. We consider an effective quasi-bosonic Hamiltonian of the electron gas which emerges naturally from the random phase approximation and describes the collective excitations of the gas. By a rigorous argument, we explain how the plasmon modes can be interpreted as a special class of approximate eigenstates of this model. △ Less

Submitted 10 November, 2022; v1 submitted 27 June, 2022; originally announced June 2022.

Comments: 34 pages, 1 figure, final version

Journal ref: Lett. Math. Phys. 112, 114 (2022)

Observation of strong backscattering in valley-Hall photonic topological interface modes

Authors: Christian Anker Rosiek, Guillermo Arregui, Anastasiia Vladimirova, Marcus Albrechtsen, Babak Vosoughi Lahijani, Rasmus Ellebæk Christiansen, Søren Stobbe

Abstract: The unique properties of light underpin the visions of photonic quantum technologies, optical interconnects, and a wide range of novel sensors, but a key limiting factor today is losses due to either absorption or backscattering on defects. Recent developments in topological photonics have fostered the vision of backscattering-protected waveguides made from topological interface modes, but, surpri… ▽ More The unique properties of light underpin the visions of photonic quantum technologies, optical interconnects, and a wide range of novel sensors, but a key limiting factor today is losses due to either absorption or backscattering on defects. Recent developments in topological photonics have fostered the vision of backscattering-protected waveguides made from topological interface modes, but, surprisingly, measurements of their propagation losses were so far missing. Here we report on measurements of losses in the slow-light regime of valley-Hall topological waveguides and find no indications of topological protection against backscattering on ubiquitous structural defects. We image the light scattered out from the topological waveguides and find that the propagation losses are due to Anderson localization. The only photonic topological waveguides proposed for materials without intrinsic absorption in the optical domain are quantum spin-Hall and valley-Hall interface states, but the former exhibits strong out-of-plane losses, and our work therefore raises fundamental questions about the real-world value of topological protection in reciprocal photonics. △ Less

Submitted 16 April, 2024; v1 submitted 23 June, 2022; originally announced June 2022.

Comments: Accepted Manuscript

Journal ref: Nat. Photon. 17 (2023) 386-392

Electronic-photonic circuit crossings

Authors: Babak Vosoughi Lahijani, Marcus Albrechtsen, Rasmus Christiansen, Christian Rosiek, Konstantinos Tsoukalas, Mathias Sutherland, Søren Stobbe

Abstract: Electrical control of light in integrated photonics is central to a wide range of research and applications. It is conventionally achieved with thermo-optic tuning, but this suffers from high energy consumption and crosstalk. These challenges could be resolved with nanoelectromechanical photonics but scalable platforms were so far not demonstrated because of incompatibility with conventional multi… ▽ More Electrical control of light in integrated photonics is central to a wide range of research and applications. It is conventionally achieved with thermo-optic tuning, but this suffers from high energy consumption and crosstalk. These challenges could be resolved with nanoelectromechanical photonics but scalable platforms were so far not demonstrated because of incompatibility with conventional multilayer metal architectures and because conventional approaches do not allow crossings of electrical wires and photonic waveguides. Here we use topology optimization to devise a single-layer electronic-photonic circuit crossing with up to 99.8% optical transmission across an isolation trench with excellent electrical isolation. We use the crossing to demonstrate a monolithic silicon nano-electro-mechanical add-drop switch in which the flow of photons, electrons, and mechanical motions are fully integrated within the same layer. Our work enables hitherto impossible opto-electro-mechanical topologies and may lead to new functionalities in nano-opto-electro-mechanical systems, optomechanics, and integrated quantum photonics. △ Less

Submitted 29 April, 2022; originally announced April 2022.

Comments: 32 pages, 20 figures

Interaction of quantum systems with single pulses of quantized radiation

Authors: Victor Rueskov Christiansen, Alexander Holm Kiilerich, Klaus Mølmer

Abstract: The interaction of a propagating pulse of quantum radiation with a localized quantum system can be described by a cascaded master equation with a distinct initially populated input and a finally populated output field mode [Phys. Rev. Lett. 123, 123604 (2019), arXiv:1902.09833v3]. By transformation to an appropriate interaction picture, we identify the usual Jaynes-Cummings Hamiltonian between the… ▽ More The interaction of a propagating pulse of quantum radiation with a localized quantum system can be described by a cascaded master equation with a distinct initially populated input and a finally populated output field mode [Phys. Rev. Lett. 123, 123604 (2019), arXiv:1902.09833v3]. By transformation to an appropriate interaction picture, we identify the usual Jaynes-Cummings Hamiltonian between the scatterer and a superposition of the initial and final mode, with a strength given by the travelling pulse mode amplitude. The transformation also identifies a coupling of the scatterer with an orthogonal combination of the two modes. The transformed master equation offers important insights into the system dynamics and it permits numerically efficient solutions. △ Less

Submitted 14 March, 2022; originally announced March 2022.

Comments: 9 pages, 8 figures

Four-dimensional regular black strings in bilocal gravity

Authors: C. R. Muniz, H. R. Christiansen, M. S. Cunha, J. Furtado

Abstract: In this paper, we obtain a static black string solution for a bilocal gravitational source in 3+1 dimensions. The solution is regular at the origin and tends asymptotically to the ordinary static uncharged black string solution of general relativity. It allows an event horizon and an internal horizon depending on the value of the mass density. A mass remnant associated with a vanishing Hawking tem… ▽ More In this paper, we obtain a static black string solution for a bilocal gravitational source in 3+1 dimensions. The solution is regular at the origin and tends asymptotically to the ordinary static uncharged black string solution of general relativity. It allows an event horizon and an internal horizon depending on the value of the mass density. A mass remnant associated with a vanishing Hawking temperature is also found. In order to stabilize the solution, a perfect cosmological fluid with state parameter $ω>-1$ should be present throughout space. However, energy conditions do not exclude an exotic substance nearby the black string. Finally, we find the stationary counterpart of the solution and analyze the behavior of the horizons according to the mass and angular momentum of the spinning object. △ Less

Submitted 30 June, 2022; v1 submitted 28 February, 2022; originally announced February 2022.

Comments: 12 pages, 5 figures, text improved, final version to be published in the Annals of Physics

Journal ref: Annals of Physics 443, 168980 (2022)

New regular 2+1 black hole solutions from bilocal gravity

Authors: H. R. Christiansen, Milko Estrada, M. S. Cunha, J. Furtado, C. R. Muniz

Abstract: We obtain new regular black hole solutions for an action in 2+1 dimensions with bilocal Ricci scalar and negative cosmological constant. Besides their connection to the cosmological constant, these solutions depend on a fundamental length due to their non-local nature. The effective profile densities that result from the non-local geometries have quasi-localized mass/energy since they are finite a… ▽ More We obtain new regular black hole solutions for an action in 2+1 dimensions with bilocal Ricci scalar and negative cosmological constant. Besides their connection to the cosmological constant, these solutions depend on a fundamental length due to their non-local nature. The effective profile densities that result from the non-local geometries have quasi-localized mass/energy since they are finite at the origin and their integration in all space is convergent. The black holes obtained are free of singularities and present one, two, or none horizons depending on the values of the involved parameters. The new solutions can have either an AdS, dS, or even a flat core. In the case of a de-Sitter core, it could represent a repulsive force coming from quantum effects. Although the resulting (effective) cosmological constant is positive near the origin, the classical (naked) counterpart is still negative thus precluding a cosmological horizon. We investigate the energy conditions of the effective source and determine the region where exotic energy should be found. Thermodynamic quantities are also computed. On the one hand, Gibbs's potential shows that both solutions are globally unstable, as in the BTZ case. On the other, we show that for small values of the horizon radius the Hawking temperature is negatively divergent but a finite size remnant can be defined where $T_H$ crosses zero. At this point, the heat capacity sign changes from negative to positive, indicating that the black holes are locally stable while irradiating. Thus, such a quantity, along with $T_H$, presents crucial differences with the BTZ black hole for small horizon radii where quantum effects become relevant. Finally, we analyze the bilocal black hole geodesics and find stable circular orbits for massless and massive particles, another feature absent in the BTZ case. △ Less

Submitted 6 April, 2023; v1 submitted 30 January, 2022; originally announced January 2022.

Comments: Text improved, 20 pages, 7 figures. Accepted for publication in Int. J. Mod. Phys. D

Trace formulation for photonic inverse design with incoherent sources

Authors: Wenjie Yao, Francesc Verdugo, Rasmus E. Christiansen, Steven G. Johnson

Abstract: Spatially incoherent light sources, such as spontaneously emitting atoms, naively require Maxwell's equations to be solved many times to obtain the total emission, which becomes computationally intractable in conjunction with large-scale optimization (inverse design). We present a trace formulation of incoherent emission that can be efficiently combined with inverse design, even for topology optim… ▽ More Spatially incoherent light sources, such as spontaneously emitting atoms, naively require Maxwell's equations to be solved many times to obtain the total emission, which becomes computationally intractable in conjunction with large-scale optimization (inverse design). We present a trace formulation of incoherent emission that can be efficiently combined with inverse design, even for topology optimization over thousands of design degrees of freedom. Our formulation includes previous reciprocity-based approaches, limited to a few output channels (e.g. normal emission), as special cases, but generalizes to a continuum of emission directions by exploiting the low-rank structure of emission problems. We present several examples of incoherent-emission topology optimization, including tailoring the geometry of fluorescent particles, a periodically emitting surface, and a structure emitting into a waveguide mode, as well as discussing future applications to problems such as Raman sensing and cathodoluminescence. △ Less

Submitted 16 November, 2022; v1 submitted 25 November, 2021; originally announced November 2021.

Comments: 29pages, 3 figures

Journal ref: Struct Multidisc Optim 65, 336 (2022)

Nanometer-scale photon confinement in topology-optimized dielectric cavities

Authors: Marcus Albrechtsen, Babak Vosoughi Lahijani, Rasmus Ellebæk Christiansen, Vy Thi Hoang Nguyen, Laura Nevenka Casses, Søren Engelberth Hansen, Nicolas Stenger, Ole Sigmund, Henri Jansen, Jesper Mørk, Søren Stobbe

Abstract: Nanotechnology enables in principle a precise map** from design to device but relied so far on human intuition and simple optimizations. In nanophotonics, a central question is how to make devices in which the light-matter interaction strength is limited only by materials and nanofabrication. Here, we integrate measured fabrication constraints into topology optimization, aiming for the strongest… ▽ More Nanotechnology enables in principle a precise map** from design to device but relied so far on human intuition and simple optimizations. In nanophotonics, a central question is how to make devices in which the light-matter interaction strength is limited only by materials and nanofabrication. Here, we integrate measured fabrication constraints into topology optimization, aiming for the strongest possible light-matter interaction in a compact silicon membrane, demonstrating an unprecedented photonic nanocavity with a mode volume of $V\sim3\times10^{-4}\,λ^3$, quality factor $Q\sim1100$, and footprint $4\,λ^2$ for telecom photons with a $λ\sim 1550$ nm wavelength. We fabricate the cavity, which confines photons inside 8 nm silicon bridges and use near-field optical measurements to perform the first experimental demonstration of photon confinement to a single hotspot well below the diffraction limit in dielectrics. △ Less

Submitted 1 March, 2022; v1 submitted 3 August, 2021; originally announced August 2021.

Journal ref: Nat. Commun. 13 (2022), 6281

The Random Phase Approximation for Interacting Fermi Gases in the Mean-Field Regime

Authors: Martin Ravn Christiansen, Christian Hainzl, Phan Thành Nam

Abstract: We present a general approach to justify the random phase approximation for the homogeneous Fermi gas in three dimensions in the mean-field scaling regime. We consider a system of $N$ fermions on a torus, interacting via a two-body repulsive potential proportional to $N^{-\frac{1}{3}}$. In the limit $N\to\infty$, we derive the exact leading order of the correlation energy and the bosonic elementar… ▽ More We present a general approach to justify the random phase approximation for the homogeneous Fermi gas in three dimensions in the mean-field scaling regime. We consider a system of $N$ fermions on a torus, interacting via a two-body repulsive potential proportional to $N^{-\frac{1}{3}}$. In the limit $N\to\infty$, we derive the exact leading order of the correlation energy and the bosonic elementary excitations of the system, which are consistent with the prediction of the random phase approximation in the physics literature. △ Less

Submitted 13 November, 2023; v1 submitted 21 June, 2021; originally announced June 2021.

Comments: Final version to appear in Forum Math. Pi (124 pages), plus a supplementary note (15 pages)

Towards 3D-Printed Inverse-Designed Metaoptics

Authors: Charles Roques-Carmes, Zin Lin, Rasmus E. Christiansen, Yannick Salamin, Steven E. Kooi, John D. Joannopoulos, Steven G. Johnson, Marin Soljačić

Abstract: Optical metasurfaces have been heralded as the platform to integrate multiple functionalities in a compact form-factor, potentially replacing bulky components. A central step** stone towards realizing this promise is the demonstration of multifunctionality under several constraints (e.g. at multiple incident wavelengths and/or angles) in a single device -- an achievement being hampered by design… ▽ More Optical metasurfaces have been heralded as the platform to integrate multiple functionalities in a compact form-factor, potentially replacing bulky components. A central step** stone towards realizing this promise is the demonstration of multifunctionality under several constraints (e.g. at multiple incident wavelengths and/or angles) in a single device -- an achievement being hampered by design limitations inherent to single-layer planar geometries. Here, we propose a general framework for the inverse design of volumetric 3D metaoptics via topology optimization, showing that even few-wavelength thick devices can achieve high-efficiency multifunctionality. We embody our framework in multiple closely-spaced patterned layers of a low-index polymer. We experimentally demonstrate our approach with an inverse-designed 3d-printed light concentrator working at five different non-paraxial angles of incidence. Our framework paves the way towards realizing multifunctional ultra-compact 3D nanophotonic devices. △ Less

Submitted 31 July, 2021; v1 submitted 24 May, 2021; originally announced May 2021.

Comments: 16 pages, 4 figures

Topology Optimization of Surface-enhanced Raman Scattering Substrates

Authors: Ying Pan, Rasmus E. Christiansen, Jerome Michon, Juejun Hu, Steven G. Johnson

Abstract: Surface-enhanced Raman spectroscopy is a powerful and versatile sensing method with a detection limit down to the single molecule level. In this article, we demonstrate how topology optimization (TopOpt) can be used for designing surface enhanced Raman scattering (SERS) substrates adhering to realistic fabrication constraints. As an example, we experimentally demonstrated a SERS enhancement factor… ▽ More Surface-enhanced Raman spectroscopy is a powerful and versatile sensing method with a detection limit down to the single molecule level. In this article, we demonstrate how topology optimization (TopOpt) can be used for designing surface enhanced Raman scattering (SERS) substrates adhering to realistic fabrication constraints. As an example, we experimentally demonstrated a SERS enhancement factor of 5*10e4 for the 604 cm-1 Raman line of rhodamine 6G using metal nanostructures with a critical dimension of 20 nm. We then show that, by relaxing the fabrication constraints, TopOpt may be used to design SERS substrates with orders of magnitude larger enhancement factor. The results validate topology optimization as an effective method for engineering nanostructures with optimal performance and fabrication tolerance. △ Less

Submitted 27 January, 2021; originally announced January 2021.

Comments: 12 pages

Computational inverse design for ultra-compact single-piece metalenses free of chromatic and angular aberration

Authors: Zin Lin, Charles Roques-Carmes, Rasmus E. Christiansen, Marin Soljačić, Steven G. Johnson

Abstract: We present full-Maxwell topology-optimization design of a single-piece multlayer metalens, about 10 wavelengths~$λ$ in thickness, that simultaneously focuses over a $60^\circ$ angular range and a 23\% spectral bandwidth without suffering chromatic or angular aberration, a "plan-achromat." At all angles and frequencies it achieves diffraction-limited focusing (Strehl ratio $> 0.8$) and absolute foc… ▽ More We present full-Maxwell topology-optimization design of a single-piece multlayer metalens, about 10 wavelengths~$λ$ in thickness, that simultaneously focuses over a $60^\circ$ angular range and a 23\% spectral bandwidth without suffering chromatic or angular aberration, a "plan-achromat." At all angles and frequencies it achieves diffraction-limited focusing (Strehl ratio $> 0.8$) and absolute focusing efficiency $> 50$\%. Both 2D and 3D axi-symmetric designs are presented, optimized over $\sim 10^5$ degrees of freedom. We also demonstrate shortening the lens-to-sensor distance while producing the same image as for a longer "virtual" focal length and maintaining plan-achromaticity. These proof-of-concept designs demonstrate the ultra-compact multi-functionality that can be achieved by exploiting the full wave physics of subwavelength designs, and motivate future work on design and fabrication of multi-layer meta-optics. △ Less

Submitted 27 October, 2020; originally announced November 2020.

Spectroscopic classification of a complete sample of astrometrically-selected quasar candidates using Gaia DR2

Authors: K. E. Heintz, J. P. U. Fynbo, S. J. Geier, P. Møller, J. -K. Krogager, C. Konstantopoulou, A. de Burgos, L. Christensen, C. L. Steinhardt, B. Milvang-Jensen, P. Jakobsson, E. Høg, B. E. H. K. Arvedlund, C. R. Christiansen, T. B. Hansen, P. D. Henriksen, K. B. Kuszon, I. B. McKenzie, K. A. Mosekjær, M. F. K. Paulsen, M. N. Sukstorf, S. N. Wilson, S. K. K. Ørgaard

Abstract: Here we explore the efficiency and fidelity of a purely astrometric selection of quasars as point sources with zero proper motions in the {\it Gaia} data release 2 (DR2). We have built a complete candidate sample including 104 Gaia-DR2 point sources brighter than $G<20$ mag within one degree of the north Galactic pole (NGP), all with proper motions consistent with zero within 2$σ$ uncertainty. In… ▽ More Here we explore the efficiency and fidelity of a purely astrometric selection of quasars as point sources with zero proper motions in the {\it Gaia} data release 2 (DR2). We have built a complete candidate sample including 104 Gaia-DR2 point sources brighter than $G<20$ mag within one degree of the north Galactic pole (NGP), all with proper motions consistent with zero within 2$σ$ uncertainty. In addition to pre-existing spectra, we have secured long-slit spectroscopy of all the remaining candidates and find that all 104 stationary point sources in the field can be classified as either quasars (63) or stars (41). The selection efficiency of the zero-proper-motion criterion at high Galactic latitudes is thus $\approx 60\%$. Based on this complete quasar sample we examine the basic properties of the underlying quasar population within the imposed limiting magnitude. We find that the surface density of quasars is 20 deg$^{-2}$, the redshift distribution peaks at $z\sim1.5$, and that only eight systems ($13^{+5}_{-3}\%$) show significant dust reddening. We then explore the selection efficiency of commonly used optical, near- and mid-infrared quasar identification techniques and find that they are all complete at the $85-90\%$ level compared to the astrometric selection. Finally, we discuss how the astrometric selection can be improved to an efficiency of $\approx70\%$ by including an additional cut requiring parallaxes of the candidates to be consistent with zero within 2$σ$. The selection efficiency will further increase with the release of future, more sensitive astrometric measurement from the Gaia mission. This type of selection, purely based on the astrometry of the quasar candidates, is unbiased in terms of colours and emission mechanisms of the quasars and thus provides the most complete census of the quasar population within the limiting magnitude of Gaia. △ Less

Submitted 12 October, 2020; originally announced October 2020.

Comments: Accepted for publication in A&A. Abstract abridged

Journal ref: A&A 644, A17 (2020)

Compact 200 line MATLAB code for inverse design in photonics by topology optimization: tutorial

Authors: Rasmus E. Christiansen, Ole Sigmund

Abstract: We provide a compact 200 line MATLAB code demonstrating how topology optimization (TopOpt) as an inverse design tool may be used in photonics, targeting the design of two-dimensional dielectric metalenses and a metallic reflector as examples. The physics model is solved using the finite element method, and the code utilizes MATLAB's fmincon algorithm to solve the optimization problem. In addition… ▽ More We provide a compact 200 line MATLAB code demonstrating how topology optimization (TopOpt) as an inverse design tool may be used in photonics, targeting the design of two-dimensional dielectric metalenses and a metallic reflector as examples. The physics model is solved using the finite element method, and the code utilizes MATLAB's fmincon algorithm to solve the optimization problem. In addition to presenting the code itself, we briefly discuss a number of extensions and provide the code required to implement some of these. Finally, we demonstrate the superiority of using a gradient-based method compared to a genetic-algorithm-based method (using MATLAB's ga algorithm) for solving inverse design problems in photonics. The MATLAB software is freely available in the paper and may be downloaded from https://www.topopt.mek.dtu.dk. △ Less

Submitted 23 February, 2021; v1 submitted 23 August, 2020; originally announced September 2020.

Comments: 5 Figures, 17 pages

Inverse design in photonics by topology optimization: tutorial

Authors: Rasmus E. Christiansen, Ole Sigmund

Abstract: Topology optimization methods for inverse design of nano-photonic systems have recently become extremely popular and are presented in various forms and under various names. Approaches comprise gradient and non-gradient based algorithms combined with more or less systematic ways to improve convergence, discreteness of solutions and satisfaction of manufacturing constraints. We here provide a tutori… ▽ More Topology optimization methods for inverse design of nano-photonic systems have recently become extremely popular and are presented in various forms and under various names. Approaches comprise gradient and non-gradient based algorithms combined with more or less systematic ways to improve convergence, discreteness of solutions and satisfaction of manufacturing constraints. We here provide a tutorial for the systematic and efficient design of nano-photonic structures by Topology Optimization (TopOpt). The implementation is based on the advanced and systematic approaches developed in TopOpt for structural optimization during the last three decades. The tutorial presents a step-by-step guide for deriving the continuous constrained optimization problem forming the foundation of the Topology Optimization method, using a cylindrical metalens design problem as an example. It demonstrates the effect and necessity of applying a number of auxiliary tools in the design process in order to ensure good numerical modelling practice and to achieve physically realisable designs. Application examples also include an optical demultiplexer. △ Less

Submitted 23 February, 2021; v1 submitted 23 August, 2020; originally announced August 2020.

Comments: 8 figures, 19 pages

Fullwave Maxwell inverse design of axisymmetric, tunable, and multi-scale multi-wavelength metalenses

Authors: Rasmus E. Christiansen, Zin Lin, Charles Roques Carmes, Yannick Salamin, Steven E. Kooi, John D. Joannopoulos, Marin Soljačić, Steven G. Johnson

Abstract: We demonstrate new axisymmetric inverse-design techniques that can solve problems radically different from traditional lenses, including \emph{reconfigurable} lenses (that shift a multi-frequency focal spot in response to refractive-index changes) and {\emph{widely separated}} multi-wavelength lenses ($λ= 1\,μ$m and $10\,μ$m). We also present experimental validation for an axisymmetric inverse-des… ▽ More We demonstrate new axisymmetric inverse-design techniques that can solve problems radically different from traditional lenses, including \emph{reconfigurable} lenses (that shift a multi-frequency focal spot in response to refractive-index changes) and {\emph{widely separated}} multi-wavelength lenses ($λ= 1\,μ$m and $10\,μ$m). We also present experimental validation for an axisymmetric inverse-designed monochrome lens in the near-infrared fabricated via two-photon polymerization. Axisymmetry allows fullwave Maxwell solvers to be scaled up to structures hundreds or even thousands of wavelengths in diameter before requiring domain-decomposition approximations, while multilayer topology optimization with $\sim 10^5$ degrees of freedom can tackle challenging design problems even when restricted to axisymmetric structures. △ Less

Submitted 27 October, 2020; v1 submitted 22 July, 2020; originally announced July 2020.

Comments: 13 pages, 6 figures

A causal framework for distribution generalization

Authors: Rune Christiansen, Niklas Pfister, Martin Emil Jakobsen, Nicola Gnecco, Jonas Peters

Abstract: We consider the problem of predicting a response $Y$ from a set of covariates $X$ when test and training distributions differ. Since such differences may have causal explanations, we consider test distributions that emerge from interventions in a structural causal model, and focus on minimizing the worst-case risk. Causal regression models, which regress the response on its direct causes, remain u… ▽ More We consider the problem of predicting a response $Y$ from a set of covariates $X$ when test and training distributions differ. Since such differences may have causal explanations, we consider test distributions that emerge from interventions in a structural causal model, and focus on minimizing the worst-case risk. Causal regression models, which regress the response on its direct causes, remain unchanged under arbitrary interventions on the covariates, but they are not always optimal in the above sense. For example, for linear models and bounded interventions, alternative solutions have been shown to be minimax prediction optimal. We introduce the formal framework of distribution generalization that allows us to analyze the above problem in partially observed nonlinear models for both direct interventions on $X$ and interventions that occur indirectly via exogenous variables $A$. It takes into account that, in practice, minimax solutions need to be identified from data. Our framework allows us to characterize under which class of interventions the causal function is minimax optimal. We prove sufficient conditions for distribution generalization and present corresponding impossibility results. We propose a practical method, NILE, that achieves distribution generalization in a nonlinear IV setting with linear extrapolation. We prove consistency and present empirical results. △ Less

Submitted 17 August, 2021; v1 submitted 12 June, 2020; originally announced June 2020.

Comments: 52 pages, 8 figures, 2 tables. To be published in IEEE Transactions on Pattern Analysis and Machine Intelligence (TPAMI)

MSC Class: Primary 62Gxx; secondary 62G35; 62G08; 62D20

Towards Causal Inference for Spatio-Temporal Data: Conflict and Forest Loss in Colombia

Authors: Rune Christiansen, Matthias Baumann, Tobias Kuemmerle, Miguel D. Mahecha, Jonas Peters

Abstract: In many data scientific problems, we are interested in inferring causal relationships in the data generating mechanism. Here, we consider the following real-world question: how has the Colombian conflict influenced tropical forest loss? There is evidence for both enhancing and reducing impacts. Answering such questions requires the use of causal models. In this work, we propose a class of causal m… ▽ More In many data scientific problems, we are interested in inferring causal relationships in the data generating mechanism. Here, we consider the following real-world question: how has the Colombian conflict influenced tropical forest loss? There is evidence for both enhancing and reducing impacts. Answering such questions requires the use of causal models. In this work, we propose a class of causal models for spatio-temporal stochastic processes. It allows us to formally define and quantify the causal effect of a vector of covariates $X$ on a real-valued response $Y$, even if the causal background knowledge is incomplete. We introduce a procedure for estimating causal effects, and a non-parametric hypothesis test for these effects being zero. The proposed methods do not make strong distributional assumptions, and allow for arbitrarily many latent confounders, given that these confounders do not vary across time (or, alternatively, they do not vary across space). When applying our causal methodology to the problem of conflict and forest loss, using data from 2000 to 2018, we find a reducing but insignificant causal effect of conflict on forest loss. Regionally, both enhancing and reducing effects can be identified. Our theoretical findings are supported by simulations, and code is available online. △ Less

Submitted 29 August, 2022; v1 submitted 18 May, 2020; originally announced May 2020.

Comments: 33 pages, 11 figures

Journal ref: JASA Applications and Case Studies, volume 117, year 2022, p. 591-601

Class of solutions of the Wheeler-DeWitt equation with ordering parameter

Authors: H. S. Vieira, V. B. Bezerra, C. R. Muniz, M. S. Cunha, H. R. Christiansen

Abstract: In this letter, we discuss the Wheeler-DeWitt equation with an ordering parameter in the Friedmann-Robertson-Walker universe. The solutions when the universe was very small and at the end of the expansion are obtained in terms of Bessel and Heun functions, respectively. We also obtain a boundary condition which should be satisfied by the ordering parameter, namely, $0 \leq p \leq 2$. We investigat… ▽ More In this letter, we discuss the Wheeler-DeWitt equation with an ordering parameter in the Friedmann-Robertson-Walker universe. The solutions when the universe was very small and at the end of the expansion are obtained in terms of Bessel and Heun functions, respectively. We also obtain a boundary condition which should be satisfied by the ordering parameter, namely, $0 \leq p \leq 2$. We investigate the minimum value of the scale factor with respect to the maximum value of the probability density. △ Less

Submitted 27 August, 2020; v1 submitted 30 March, 2020; originally announced March 2020.

Comments: 6 pages, 9 figures

MSC Class: 81Q05; 83C45; 83C57; 83C75

Journal ref: Physics Letters B 809 (2020) 135712

Strongly enhanced upconversion in trivalent erbium ions by tailored gold nanostructures: toward high-efficient silicon-based photovoltaics

Authors: Jeppe Christiansen, Joakim Vester-Petersen, Søren Roesgaard, Søren H. Møller, Rasmus E. Christiansen, Ole Sigmund, Søren P. Madsen, Peter Balling, Brian Julsgaard

Abstract: Upconversion of sub-band-gap photons constitutes a promising way for improving the efficiency of silicon-based solar cells beyond the Shockley-Queisser limit. 1500 to 980 nm upconversion by trivalent erbium ions is well-suited for this purpose, but the small absorption cross section hinders real-world applications. We employ tailored gold nanostructures to vastly improve the upconversion efficienc… ▽ More Upconversion of sub-band-gap photons constitutes a promising way for improving the efficiency of silicon-based solar cells beyond the Shockley-Queisser limit. 1500 to 980 nm upconversion by trivalent erbium ions is well-suited for this purpose, but the small absorption cross section hinders real-world applications. We employ tailored gold nanostructures to vastly improve the upconversion efficiency in erbium-doped TiO$_2$ thin films. The nanostructures are found using topology optimization and parameter optimization and fabricated by electron beam lithography. In qualitative agreement with a theoretical model, the samples show substantial electric-field enhancements inside the upconverting films for excitation at 1500 nm for both s- and p-polarization under a wide range of incidence angles and excitation intensities. An unprecedented upconversion enhancement of 913(51) is observed at an excitation intensity of 1.7 Wcm$^{-2}$. We derive a semi-empirical expression for the photonically enhanced upconversion efficiency, valid for all excitation intensities. This allows us to determine the upconversion properties needed to achieve significant improvements in real-world solar-cell devices through photonic-enhanced upconversion. △ Less

Submitted 17 November, 2019; originally announced November 2019.

Comments: 9 pages (main text), 4 figures, 1 supporting information of 15 pages

Journal ref: Solar Energy Materials and Solar Cells 208 (2020) 110406

Inverse Design of Nanoparticles for Enhanced Raman Scattering

Authors: Rasmus E. Christiansen, Jérôme Michon, Mohammed Benzaouia, Ole Sigmund, Steven G. Johnson

Abstract: We show that topology optimization (TO) of metallic resonators can lead to $\sim 10^2\times$ improvement in surface-enhanced Raman scattering (SERS) efficiency compared to traditional resonant structures such as bowtie antennas. TO inverse design leads to surprising structures very different from conventional designs, which simultaneously optimize focusing of the incident wave and emission from th… ▽ More We show that topology optimization (TO) of metallic resonators can lead to $\sim 10^2\times$ improvement in surface-enhanced Raman scattering (SERS) efficiency compared to traditional resonant structures such as bowtie antennas. TO inverse design leads to surprising structures very different from conventional designs, which simultaneously optimize focusing of the incident wave and emission from the Raman dipole. We consider isolated metallic particles as well as more complicated configurations such as periodic surfaces or resonators coupled to dielectric waveguides, and the benefits of TO are even greater in the latter case. Our results are motivated by recent rigorous upper bounds to Raman scattering enhancement, and shed light on the extent to which these bounds are achievable. △ Less

Submitted 19 November, 2019; v1 submitted 12 November, 2019; originally announced November 2019.

Comments: 19 pages

Exact solutions of the Wheeler-DeWitt equation with ordering term in a dark energy scenario

Authors: C. R. Muniz, H. R. Christiansen, M. S. Cunha, H. S. Vieira

Abstract: We investigate the quantum evolution of the universe in the presence of two types of dark energies. First, we consider the phantom class ($ω<-1$) which would be responsible for a super-accelerated cosmic expansion, and then we apply the procedure to an ordinary $Λ>0$ vacuum ($ω=-1$). This is done by analytically solving the Wheeler-DeWitt equation with ordering term (WdW) in the cosmology of Fried… ▽ More We investigate the quantum evolution of the universe in the presence of two types of dark energies. First, we consider the phantom class ($ω<-1$) which would be responsible for a super-accelerated cosmic expansion, and then we apply the procedure to an ordinary $Λ>0$ vacuum ($ω=-1$). This is done by analytically solving the Wheeler-DeWitt equation with ordering term (WdW) in the cosmology of Friedmann-Robertson-Walker. In this paper, we find exact solutions in the scale factor $a$ and the ordering parameter $q$. For $q=1$ it is shown that the universe has a high probability of evolving from a big bang singularity. On the other hand, for $q = 0$ the solution indicates that an initial singularity is unlikely. Instead, the universe has maximal probability of starting with a finite well-defined size which we compute explicitly at primordial times. We also study the time evolution of the scale factor by means of the Hamilton-Jacobi equation and show that an ultimate big rip singularity emerges explicitly from our solutions. The phantom scenario thus predicts a dramatic end in which the universe would reach an infinite scale factor in a finite cosmological time as pointed by Caldwell et al. in a classical setup. Finally, we solve the WdW equation with ordinary constant dark energy and show that in this case the universe does not rip apart in a finite era. △ Less

Submitted 20 March, 2020; v1 submitted 10 June, 2019; originally announced June 2019.

Comments: 16 pages, improved figures, some new relevant conclusions, references added

Journal ref: Physics of the Dark Universe, v28, 100547 (2020)

Designing Photonic Topological Insulators with Quantum-Spin-Hall Edge States using Topology Optimization

Authors: Rasmus E. Christiansen, Fengwen Wang, Ole Sigmund, Søren Stobbe

Abstract: Designing photonic topological insulators is highly non-trivial because it requires inversion of band symmetries around the band gap, which was so far done using intuition combined with meticulous trial and error. Here we take a completely different approach: we consider the design of photonic topological insulators as an inverse design problem and use topology optimization to maximize the transmi… ▽ More Designing photonic topological insulators is highly non-trivial because it requires inversion of band symmetries around the band gap, which was so far done using intuition combined with meticulous trial and error. Here we take a completely different approach: we consider the design of photonic topological insulators as an inverse design problem and use topology optimization to maximize the transmission through an edge mode with a sharp bend. Two design domains composed of two different, but initially identical, C$_\text{6v}$-symmetric unit cells define the geometrical design problem. Remarkably, the optimization results in a photonic topological insulator reminiscent of the shrink-and-grow approach to quantum-spin-Hall photonic topological insulators but with notable differences in the topology of the crystal as well as qualitatively different band structures and with significantly improved performance as gauged by the band-gap sizes, which are at least 50 \% larger than previous designs. Furthermore, we find a directional beta factor exceeding 99 \%, and very low losses for sharp bends. Our approach allows for the introduction of fabrication limitations by design and opens an avenue towards designing PTIs with hitherto unexplored symmetry constraints. △ Less

Submitted 17 April, 2019; originally announced April 2019.

Comments: 7 pages, 5 figures

Topological Insulators by Topology Optimization

Authors: Rasmus E. Christiansen, Fengwen Wang, Ole Sigmund

Abstract: An acoustic topological insulator (TI) is synthesized using topology optimization, a free material inverse design method. The TI appears spontaneously from the optimization process without imposing requirements on the existence of pseudo spin-1/2 states at the TI interface edge, or the Chern number of the topological phases. The resulting TI is passive; consisting of acoustically hard members plac… ▽ More An acoustic topological insulator (TI) is synthesized using topology optimization, a free material inverse design method. The TI appears spontaneously from the optimization process without imposing requirements on the existence of pseudo spin-1/2 states at the TI interface edge, or the Chern number of the topological phases. The resulting TI is passive; consisting of acoustically hard members placed in an air background and has an operational bandwidth of $\approx$12.5\% showing high transmission. Further analysis demonstrates confinement of more than 99\% of the total field intensity in the TI within at most six lattice constants from the TI interface. The proposed design hereby outperforms a reference from recent literature regarding energy transmission, field confinement and operational bandwidth. △ Less

Submitted 4 April, 2019; originally announced April 2019.

Comments: 6 pages, 5 figures

Journal ref: Phys. Rev. Lett. 122, 234502 (2019)

Optimal-Time Dictionary-Compressed Indexes

Authors: Anders Roy Christiansen, Mikko Berggren Ettienne, Tomasz Kociumaka, Gonzalo Navarro, Nicola Prezza

Abstract: We describe the first self-indexes able to count and locate pattern occurrences in optimal time within a space bounded by the size of the most popular dictionary compressors. To achieve this result we combine several recent findings, including \emph{string attractors} --- new combinatorial objects encompassing most known compressibility measures for highly repetitive texts ---, and grammars based… ▽ More We describe the first self-indexes able to count and locate pattern occurrences in optimal time within a space bounded by the size of the most popular dictionary compressors. To achieve this result we combine several recent findings, including \emph{string attractors} --- new combinatorial objects encompassing most known compressibility measures for highly repetitive texts ---, and grammars based on \emph{locally-consistent parsing}. More in detail, let $γ$ be the size of the smallest attractor for a text $T$ of length $n$. The measure $γ$ is an (asymptotic) lower bound to the size of dictionary compressors based on Lempel--Ziv, context-free grammars, and many others. The smallest known text representations in terms of attractors use space $O(γ\log(n/γ))$, and our lightest indexes work within the same asymptotic space. Let $ε>0$ be a suitably small constant fixed at construction time, $m$ be the pattern length, and $occ$ be the number of its text occurrences. Our index counts pattern occurrences in $O(m+\log^{2+ε}n)$ time, and locates them in $O(m+(occ+1)\log^εn)$ time. These times already outperform those of most dictionary-compressed indexes, while obtaining the least asymptotic space for any index searching within $O((m+occ)\,\textrm{polylog}\,n)$ time. Further, by increasing the space to $O(γ\log(n/γ)\log^εn)$, we reduce the locating time to the optimal $O(m+occ)$, and within $O(γ\log(n/γ)\log n)$ space we can also count in optimal $O(m)$ time. No dictionary-compressed index had obtained this time before. All our indexes can be constructed in $O(n)$ space and $O(n\log n)$ expected time. As a byproduct of independent interest... △ Less

Submitted 4 September, 2019; v1 submitted 30 November, 2018; originally announced November 2018.

Maximizing the quality factor to mode volume ratio for ultra-small photonic crystal cavities

Authors: Fengwen Wang, Rasmus Ellebæk Christiansen, Yi Yu, Jesper Mørk, Ole Sigmund

Abstract: Small manufacturing-tolerant photonic crystal cavities are systematically designed using topology optimization to enhance the ratio between quality factor and mode volume, Q/V. For relaxed manufacturing tolerance, a cavity with bow-tie shape is obtained which confines light beyond the diffraction limit into a deep-subwavelength volume. Imposition of a small manufacturing tolerance still results in… ▽ More Small manufacturing-tolerant photonic crystal cavities are systematically designed using topology optimization to enhance the ratio between quality factor and mode volume, Q/V. For relaxed manufacturing tolerance, a cavity with bow-tie shape is obtained which confines light beyond the diffraction limit into a deep-subwavelength volume. Imposition of a small manufacturing tolerance still results in efficient designs, however, with diffraction-limited confinement. Inspired by numerical results, an elliptic ring grating cavity concept is extracted via geometric fitting. Numerical evaluations demonstrate that for small sizes, topology-optimized cavities enhance the Q/V-ratio by up to two orders of magnitude relative to standard L1 cavities and more than one order of magnitude relative to shape-optimized L1 cavities. An increase in cavity size can enhance the Q/V-ratio by an increase of the Q-factor without significant increase of V. Comparison between optimized and reference cavities illustrates that significant reduction of V requires big topological changes in the cavity. △ Less

Submitted 18 December, 2018; v1 submitted 4 October, 2018; originally announced October 2018.

Journal ref: Applied Physics Letters 113, 241101 (2018)

Switching Regression Models and Causal Inference in the Presence of Discrete Latent Variables

Authors: Rune Christiansen, Jonas Peters

Abstract: Given a response $Y$ and a vector $X = (X^1, \dots, X^d)$ of $d$ predictors, we investigate the problem of inferring direct causes of $Y$ among the vector $X$. Models for $Y$ that use all of its causal covariates as predictors enjoy the property of being invariant across different environments or interventional settings. Given data from such environments, this property has been exploited for causa… ▽ More Given a response $Y$ and a vector $X = (X^1, \dots, X^d)$ of $d$ predictors, we investigate the problem of inferring direct causes of $Y$ among the vector $X$. Models for $Y$ that use all of its causal covariates as predictors enjoy the property of being invariant across different environments or interventional settings. Given data from such environments, this property has been exploited for causal discovery. Here, we extend this inference principle to situations in which some (discrete-valued) direct causes of $ Y $ are unobserved. Such cases naturally give rise to switching regression models. We provide sufficient conditions for the existence, consistency and asymptotic normality of the MLE in linear switching regression models with Gaussian noise, and construct a test for the equality of such models. These results allow us to prove that the proposed causal discovery method obtains asymptotic false discovery control under mild conditions. We provide an algorithm, make available code, and test our method on simulated data. It is robust against model violations and outperforms state-of-the-art approaches. We further apply our method to a real data set, where we show that it does not only output causal predictors, but also a process-based clustering of data points, which could be of additional interest to practitioners. △ Less

Submitted 11 March, 2020; v1 submitted 16 August, 2018; originally announced August 2018.

Comments: 46 pages, 14 figures; real-world application added in Section 5.2; additional numerical experiments added in the Appendix E

Journal ref: Journal of Machine Learning Research 21(41): 1--46, 2020

Compressed Indexing with Signature Grammars

Authors: Anders Roy Christiansen, Mikko Berggren Ettienne

Abstract: The compressed indexing problem is to preprocess a string $S$ of length $n$ into a compressed representation that supports pattern matching queries. That is, given a string $P$ of length $m$ report all occurrences of $P$ in $S$. We present a data structure that supports pattern matching queries in $O(m + occ (\lg\lg n + \lg^εz))$ time using $O(z \lg(n / z))$ space where $z$ is the size of the LZ… ▽ More The compressed indexing problem is to preprocess a string $S$ of length $n$ into a compressed representation that supports pattern matching queries. That is, given a string $P$ of length $m$ report all occurrences of $P$ in $S$. We present a data structure that supports pattern matching queries in $O(m + occ (\lg\lg n + \lg^εz))$ time using $O(z \lg(n / z))$ space where $z$ is the size of the LZ77 parse of $S$ and $ε> 0$ is an arbitrarily small constant, when the alphabet is small or $z = O(n^{1 - δ})$ for any constant $δ> 0$. We also present two data structures for the general case; one where the space is increased by $O(z\lg\lg z)$, and one where the query time changes from worst-case to expected. These results improve the previously best known solutions. Notably, this is the first data structure that decides if $P$ occurs in $S$ in $O(m)$ time using $O(z\lg(n/z))$ space. Our results are mainly obtained by a novel combination of a randomized grammar construction algorithm with well known techniques relating pattern matching to 2D-range reporting. △ Less

Submitted 11 April, 2018; v1 submitted 22 November, 2017; originally announced November 2017.

ACM Class: F.2.2; E.1

Thermal Casimir effect in Kerr spacetime with quintessence and massive gravitons

Authors: V. B. Bezerra, H. R. Christiansen, M. S. Cunha, C. R. Muniz, M. O. Tahim

Abstract: Starting from an analytical expression for the Helmholtz free energy we calculate the thermal corrections to the Casimir energy-density and entropy within nearby ideal parallel plates in the vacuum of a massless scalar field. Our framework is the Kerr spacetime in the presence of quintessence and massive gravitons. The high and low temperature regimes are especially analysed in order to distinguis… ▽ More Starting from an analytical expression for the Helmholtz free energy we calculate the thermal corrections to the Casimir energy-density and entropy within nearby ideal parallel plates in the vacuum of a massless scalar field. Our framework is the Kerr spacetime in the presence of quintessence and massive gravitons. The high and low temperature regimes are especially analysed in order to distinguish the main contributions. For instance, in the high temperature regime, we show that the force between the plates is repulsive and grows with both the quintessence and the massive gravitons. Regarding the Casimir entropy, our results are in agreement with the Nernst heat theorem and therefore confirm the third law of thermodynamics in the present scenario. △ Less

Submitted 1 November, 2017; originally announced November 2017.

Comments: 15 pages, 4 figures

Journal ref: Eur.Phys.J. C77 (2017) no.11, 787

Fast Dynamic Arrays

Authors: Philip Bille, Anders Roy Christiansen, Mikko Berggren Ettienne, Inge Li Gørtz

Abstract: We present a highly optimized implementation of tiered vectors, a data structure for maintaining a sequence of $n$ elements supporting access in time $O(1)$ and insertion and deletion in time $O(n^ε)$ for $ε> 0$ while using $o(n)$ extra space. We consider several different implementation optimizations in C++ and compare their performance to that of vector and multiset from the standard library on… ▽ More We present a highly optimized implementation of tiered vectors, a data structure for maintaining a sequence of $n$ elements supporting access in time $O(1)$ and insertion and deletion in time $O(n^ε)$ for $ε> 0$ while using $o(n)$ extra space. We consider several different implementation optimizations in C++ and compare their performance to that of vector and multiset from the standard library on sequences with up to $10^8$ elements. Our fastest implementation uses much less space than multiset while providing speedups of $40\times$ for access operations compared to multiset and speedups of $10.000\times$ compared to vector for insertion and deletion operations while being competitive with both data structures for all other operations. △ Less

Submitted 1 November, 2017; originally announced November 2017.

ACM Class: F.2.2; E.1

Succinct Partial Sums and Fenwick Trees

Authors: Philip Bille, Anders Roy Christiansen, Nicola Prezza, Frederik Rye Skjoldjensen

Abstract: We consider the well-studied partial sums problem in succint space where one is to maintain an array of n k-bit integers subject to updates such that partial sums queries can be efficiently answered. We present two succint versions of the Fenwick Tree - which is known for its simplicity and practicality. Our results hold in the encoding model where one is allowed to reuse the space from the input… ▽ More We consider the well-studied partial sums problem in succint space where one is to maintain an array of n k-bit integers subject to updates such that partial sums queries can be efficiently answered. We present two succint versions of the Fenwick Tree - which is known for its simplicity and practicality. Our results hold in the encoding model where one is allowed to reuse the space from the input data. Our main result is the first that only requires nk + o(n) bits of space while still supporting sum/update in O(log_b n) / O(b log_b n) time where 2 <= b <= log^O(1) n. The second result shows how optimal time for sum/update can be achieved while only slightly increasing the space usage to nk + o(nk) bits. Beyond Fenwick Trees, the results are primarily based on bit-packing and sampling - making them very practical - and they also allow for simple optimal parallelization. △ Less

Submitted 31 May, 2017; originally announced May 2017.

Exact solutions and phenomenological constraints from massive scalars in a Gravity's Rainbow spacetime

Authors: V. B. Bezerra, H. R. Christiansen, M. S. Cunha, C. R. Muniz

Abstract: We obtain the exact (confluent Heun) solutions to the massive scalar field in a Gravity's Rainbow Schwarzschild metric. With these solutions at hand, we study the Hawking radiation resulting from the tunneling rate through the event horizon. We show that the emission spectrum obeys non-extensive statistics and is halted when a certain mass remnant is reached. Next, we infer constraints on the rain… ▽ More We obtain the exact (confluent Heun) solutions to the massive scalar field in a Gravity's Rainbow Schwarzschild metric. With these solutions at hand, we study the Hawking radiation resulting from the tunneling rate through the event horizon. We show that the emission spectrum obeys non-extensive statistics and is halted when a certain mass remnant is reached. Next, we infer constraints on the rainbow parameters from recent LHC particle physics experiments and Hubble STIS astrophysics measurements. Finally, we study the low frequency limit in order to find the modified energy spectrum around the source. △ Less

Submitted 2 July, 2017; v1 submitted 4 April, 2017; originally announced April 2017.

Comments: Rewritten and enlarged version. 17 pages, 1 figure, 1 table. Some typos corrected. Final version to appear in Phys. Rev. D

Journal ref: Phys. Rev. D 96, 024018 (2017)

Sequential decision problems, dependent types and generic solutions

Authors: Nicola Botta, Patrik Jansson, Cezar Ionescu, David R. Christiansen, Edwin Brady

Abstract: We present a computer-checked generic implementation for solving finite-horizon sequential decision problems. This is a wide class of problems, including inter-temporal optimizations, knapsack, optimal bracketing, scheduling, etc. The implementation can handle time-step dependent control and state spaces, and monadic representations of uncertainty (such as stochastic, non-deterministic, fuzzy, or… ▽ More We present a computer-checked generic implementation for solving finite-horizon sequential decision problems. This is a wide class of problems, including inter-temporal optimizations, knapsack, optimal bracketing, scheduling, etc. The implementation can handle time-step dependent control and state spaces, and monadic representations of uncertainty (such as stochastic, non-deterministic, fuzzy, or combinations thereof). This level of genericity is achievable in a programming language with dependent types (we have used both Idris and Agda). Dependent types are also the means that allow us to obtain a formalization and computer-checked proof of the central component of our implementation: Bellman's principle of optimality and the associated backwards induction algorithm. The formalization clarifies certain aspects of backwards induction and, by making explicit notions such as viability and reachability, can serve as a starting point for a theory of controllability of monadic dynamical systems, commonly encountered in, e.g., climate impact research. △ Less

Submitted 22 March, 2017; v1 submitted 23 October, 2016; originally announced October 2016.

Comments: 23 pages, 2 figures

Journal ref: Logical Methods in Computer Science, Volume 13, Issue 1 (March 17, 2017) lmcs:3191

Relativistic Landau Levels in the Rotating Cosmic String Spacetime

Authors: M. S. Cunha, C. R. Muniz, H. R. Christiansen, V. B. Bezerra

Abstract: In the spacetime induced by a rotating cosmic string we compute the energy levels of a massive spinless particle coupled covariantly to a homogeneous magnetic field parallel to the string. Afterwards, we consider the addition of a scalar potential with a Coulomb-type and a linear confining term and completely solve the Klein-Gordon equations for each configuration. Finally, assuming rigid-wall bou… ▽ More In the spacetime induced by a rotating cosmic string we compute the energy levels of a massive spinless particle coupled covariantly to a homogeneous magnetic field parallel to the string. Afterwards, we consider the addition of a scalar potential with a Coulomb-type and a linear confining term and completely solve the Klein-Gordon equations for each configuration. Finally, assuming rigid-wall boundary conditions, we find the Landau levels when the linear defect is itself magnetized. Remarkably, our analysis reveals that the Landau quantization occurs even in the absence of gauge fields provided the string is endowed with spin. △ Less

Submitted 7 September, 2016; v1 submitted 14 June, 2016; originally announced June 2016.

Comments: Writing and grammar revised. References added. 14 pages, no figures. To appear in European Phys. J. C