-
A general framework for the asymptotic analysis of moist atmospheric flows
Authors:
Daniel Bäumer,
Rupert Klein,
Norbert J. Mauser
Abstract:
We deal with asymptotic analysis for the derivation of partial differential equation models for geophysical flows in the earth's atmosphere with moist process closures, and we study their mathematical properties. Starting with the Navier-Stokes equations for dry air, we put the seminal papers of Klein, Majda et al. in a unified context and then discuss the appropriate extension to moist air. In pa…
▽ More
We deal with asymptotic analysis for the derivation of partial differential equation models for geophysical flows in the earth's atmosphere with moist process closures, and we study their mathematical properties. Starting with the Navier-Stokes equations for dry air, we put the seminal papers of Klein, Majda et al. in a unified context and then discuss the appropriate extension to moist air. In particular, we deal with the scale-independent distinguished limit for the universal parameters of atmospheric motion for moist air, with the Clausius-Clapeyron relation that links saturation vapor pressure and air temperature, and with the mathematical formulation of phase changes associated with cloud formation and rain production. We conclude with a discussion of the precipitating quasigeostrophic (PQG) models introduced by Smith & Stechmann. Our intent is, on the one hand, to convey the problems arising at the modeling stage to mathematicians; on the other hand, we want to present the relevant mathematical methods and results to meteorologists.
△ Less
Submitted 17 June, 2025;
originally announced June 2025.
-
On the rational invariants of quantum systems of $n$-qubits
Authors:
Luca Candelori,
Vladimir Y. Chernyak,
John R. Klein
Abstract:
For an $n$-qubit system, a rational function on the space of mixed states which is invariant with respect to the action of the group of local symmetries may be viewed as a detailed measure of entanglement. We show that the field of all such invariant rational functions is purely transcendental over the complex numbers and has transcendence degree $4^n - 2n-1$. An explicit transcendence basis is al…
▽ More
For an $n$-qubit system, a rational function on the space of mixed states which is invariant with respect to the action of the group of local symmetries may be viewed as a detailed measure of entanglement. We show that the field of all such invariant rational functions is purely transcendental over the complex numbers and has transcendence degree $4^n - 2n-1$. An explicit transcendence basis is also exhibited.
△ Less
Submitted 12 March, 2024; v1 submitted 10 March, 2024;
originally announced March 2024.
-
On the variety of X-states
Authors:
Luca Candelori,
Vladimir Y. Chernyak,
John R. Klein
Abstract:
We introduce the notion of an X-state on $n$-qubits. After taking the Zariski closure of the set of X-states in the space of all mixed states, we obtain a complex algebraic variety $\scr X$ that is equipped with the action of the Lie group of local symmetries $G$. We show that the field of $G$-invariant rational functions on $\scr X$ is purely transcendental over the complex numbers of degree…
▽ More
We introduce the notion of an X-state on $n$-qubits. After taking the Zariski closure of the set of X-states in the space of all mixed states, we obtain a complex algebraic variety $\scr X$ that is equipped with the action of the Lie group of local symmetries $G$. We show that the field of $G$-invariant rational functions on $\scr X$ is purely transcendental over the complex numbers of degree $2^{2n-1}-n-1$.
△ Less
Submitted 26 February, 2024;
originally announced February 2024.
-
On the boundary layer arising from fast internal waves dynamics
Authors:
Rupert Klein,
Xin Liu
Abstract:
In this paper, we investigate the boundary layer arising from the fast internal waves in the Boussinesq equations with the Brunt-Vaisälä frequency of order $ \mathcal O(1/\varepsilon) $. For the homogeneous-in-height stratification, previous work by \emph{Desjardins, Lannes, Saut, 3(1):153--192, Water Waves, 2021} establishes uniform-in-$ε$ estimates locally in time, with additional constraints on…
▽ More
In this paper, we investigate the boundary layer arising from the fast internal waves in the Boussinesq equations with the Brunt-Vaisälä frequency of order $ \mathcal O(1/\varepsilon) $. For the homogeneous-in-height stratification, previous work by \emph{Desjardins, Lannes, Saut, 3(1):153--192, Water Waves, 2021} establishes uniform-in-$ε$ estimates locally in time, with additional constraints on the boundary data initially, which essentially restricts the dynamics in the spatially periodic domain. Removing such constraints, our goal is to investigate the general near-boundary behavior. We observe that the fast internal waves will give rise to large growth of the spatial derivatives in the normal direction of the solutions in the vicinity of the boundary. To capture this phenomenon, we introduce an inviscid boundary layer using a natural scaling. In addition, we investigate the well-posedness of such a boundary layer system in the space of analytic functions.
△ Less
Submitted 28 December, 2023;
originally announced December 2023.
-
Effective Rationality for Local Unitary Invariants of Mixed States of Two Qubits
Authors:
Luca Candelori,
Vladimir Y. Chernyak,
John R. Klein,
Nick Rekuski
Abstract:
We calculate the field of rational local unitary invariants for mixed states of two qubits, by employing methods from algebraic geometry. We prove that this field is rational (i.e. purely transcendental), and that it is generated by nine algebraically independent polynomial invariants. We do so by constructing a relative section, in the sense of invariant theory, whose Weyl group is a finite abeli…
▽ More
We calculate the field of rational local unitary invariants for mixed states of two qubits, by employing methods from algebraic geometry. We prove that this field is rational (i.e. purely transcendental), and that it is generated by nine algebraically independent polynomial invariants. We do so by constructing a relative section, in the sense of invariant theory, whose Weyl group is a finite abelian group. From this construction, we are able to give explicit expressions for the generating invariants in terms of the Bloch matrix representation of mixed states of two qubits. We also prove similar rationality statements for the local unitary invariants of symmetric mixed states of two qubits. Our results apply to both complex-valued and real-valued invariants.
△ Less
Submitted 25 May, 2023;
originally announced May 2023.
-
Rational Local Unitary Invariants of Symmetrically Mixed States of Two Qubits
Authors:
Luca Candelori,
Vladimir Y. Chernyak,
John R. Klein,
Nick Rekuski
Abstract:
We compute the field of rational local unitary invariants for locally maximally mixed states and symmetrically mixed states of two qubits. In both cases, we prove that the field of rational invariants is purely transcendental. We also construct explicit geometric quotients and prove that they are always rational. All the results are obtained by working over the field of real numbers, employing met…
▽ More
We compute the field of rational local unitary invariants for locally maximally mixed states and symmetrically mixed states of two qubits. In both cases, we prove that the field of rational invariants is purely transcendental. We also construct explicit geometric quotients and prove that they are always rational. All the results are obtained by working over the field of real numbers, employing methods from classical and geometric invariant theory over arbitrary fields of characteristic zero.
△ Less
Submitted 7 August, 2023; v1 submitted 26 April, 2023;
originally announced April 2023.
-
Simulation of a particle domain in a continuum/fluctuating hydrodynamics reservoir
Authors:
Abbas Gholami,
Rupert Klein,
Luigi Delle Site
Abstract:
In molecular simulation and fluid mechanics, the coupling of a particle domain with a continuum representation of its embedding environment is an ongoing challenge. In this work, we show a novel approach where the latest version of the adaptive resolution scheme (AdResS), with non-interacting tracers as particles reservoir, is combined with a fluctuating hydrodynamics (FHD) solver. The resulting a…
▽ More
In molecular simulation and fluid mechanics, the coupling of a particle domain with a continuum representation of its embedding environment is an ongoing challenge. In this work, we show a novel approach where the latest version of the adaptive resolution scheme (AdResS), with non-interacting tracers as particles reservoir, is combined with a fluctuating hydrodynamics (FHD) solver. The resulting algorithm, supported by a solid mathematical model, allows for a physically consistent exchange of matter and energy between the particle domain and its fluctuating continuum reservoir. Numerical tests are performed to show the validity of the algorithm. Differently from previous algorithms of the same kind, the current approach allows for simulations where, in addition to density fluctuations, also thermal fluctuations can be accounted for, thus large complex molecular systems, as for example hydrated biological membranes in a thermal field, can now be efficiently treated.
△ Less
Submitted 30 October, 2022; v1 submitted 27 October, 2022;
originally announced October 2022.
-
Chemical diffusion master equation: formulations of reaction--diffusion processes on the molecular level
Authors:
Mauricio J. del Razo,
Stefanie Winkelmann,
Rupert Klein,
Felix Höfling
Abstract:
The chemical diffusion master equation (CDME) describes the probabilistic dynamics of reaction--diffusion systems at the molecular level [del Razo et al., Lett. Math. Phys. 112:49, 2022]; it can be considered the master equation for reaction--diffusion processes. The CDME consists of an infinite ordered family of Fokker--Planck equations, where each level of the ordered family corresponds to a cer…
▽ More
The chemical diffusion master equation (CDME) describes the probabilistic dynamics of reaction--diffusion systems at the molecular level [del Razo et al., Lett. Math. Phys. 112:49, 2022]; it can be considered the master equation for reaction--diffusion processes. The CDME consists of an infinite ordered family of Fokker--Planck equations, where each level of the ordered family corresponds to a certain number of particles and each particle represents a molecule. The equations at each level describe the spatial diffusion of the corresponding set of particles, and they are coupled to each other via reaction operators --linear operators representing chemical reactions. These operators change the number of particles in the system, and thus transport probability between different levels in the family. In this work, we present three approaches to formulate the CDME and show the relations between them. We further deduce the non-trivial combinatorial factors contained in the reaction operators, and we elucidate the relation to the original formulation of the CDME, which is based on creation and annihilation operators acting on many-particle probability density functions. Finally we discuss applications to multiscale simulations of biochemical systems among other future prospects.
△ Less
Submitted 5 October, 2022;
originally announced October 2022.
-
The soundproof model of an acoustic--internal waves system with low stratification
Authors:
Didier Bresch,
Rupert Klein,
Xin Liu
Abstract:
This work is devoted to investigating a compressible fluid system with low stratification, which is driven by fast acoustic waves and internal waves. The approximation using a soundproof model is justified. More precisely, the soundproof model captures the dynamics of both the non-oscillating mean flows and the oscillating internal waves, while filters out the fast acoustic waves, of the compressi…
▽ More
This work is devoted to investigating a compressible fluid system with low stratification, which is driven by fast acoustic waves and internal waves. The approximation using a soundproof model is justified. More precisely, the soundproof model captures the dynamics of both the non-oscillating mean flows and the oscillating internal waves, while filters out the fast acoustic waves, of the compressible system with or without initial acoustic waves. Moreover, the fast-slow oscillation structure is investigated.
△ Less
Submitted 5 August, 2022;
originally announced August 2022.
-
Nonequilibrium induced by reservoirs: Physico-mathematical models and numerical tests
Authors:
Rupert Klein,
Roya Ebrahimi Viand,
Felix Höfling,
Luigi Delle Site
Abstract:
In a recently proposed computational model of open molecular systems out of equilibrium [Ebrahimi Viand et al. J.Chem.Phys. 153, 101102 (2020)], the action of different reservoirs enters as a linear sum into the Liouville-type evolution equations for the open system's statistics. The linearity of the coupling is common to different mathematical models of open systems and essentially relies on negl…
▽ More
In a recently proposed computational model of open molecular systems out of equilibrium [Ebrahimi Viand et al. J.Chem.Phys. 153, 101102 (2020)], the action of different reservoirs enters as a linear sum into the Liouville-type evolution equations for the open system's statistics. The linearity of the coupling is common to different mathematical models of open systems and essentially relies on neglecting the feedback of the system onto the reservoir due to their interaction. In this paper, we test the range of applicability of the computational model with a linear coupling to two different reservoirs, which induces a nonequilibrium situation. To this end, we studied the density profiles of Lennard-Jones liquids in large thermal gradients using nonequilibrium molecular dynamics simulations with open boundaries. We put in perspective the formulation of an extension of the mathematical model that can account for nonlinear effects.
△ Less
Submitted 1 March, 2021; v1 submitted 28 September, 2020;
originally announced September 2020.
-
Liouville-type equations for the n-particle distribution functions of an open system
Authors:
Luigi Delle Site,
Rupert Klein
Abstract:
In this work we derive a mathematical model for an open system that exchanges particles and momentum with a reservoir from their joint Hamiltonian dynamics. The complexity of this many-particle problem is addressed by introducing a countable set of n-particle phase space distribution functions just for the open subsystem, while accounting for the reservoir only in terms of statistical expectations…
▽ More
In this work we derive a mathematical model for an open system that exchanges particles and momentum with a reservoir from their joint Hamiltonian dynamics. The complexity of this many-particle problem is addressed by introducing a countable set of n-particle phase space distribution functions just for the open subsystem, while accounting for the reservoir only in terms of statistical expectations. From the Liouville equation for the full system we derive a set of coupled Liouville-type equations for the n-particle distributions by marginalization with respect to reservoir states. The resulting equation hierarchy describes the external momentum forcing of the open system by the reservoir across its boundaries, and it covers the effects of particle exchanges, which induce probability transfers between the n- and (n+1)-particle distributions. Similarities and differences with the Bergmann-Lebowitz model of open systems (P.G.Bergmann, J.L. Lebowitz, Phys.Rev., 99:578--587 (1955)) are discussed in the context of the implementation of these guiding principles in a computational scheme for molecular simulations.
△ Less
Submitted 7 August, 2020; v1 submitted 17 July, 2019;
originally announced July 2019.
-
Reflection and transmission of gravity waves at non-uniform stratification layers
Authors:
Christopher Pütz,
Mark Schlutow,
Rupert Klein,
Vera Bense,
Peter Spichtinger
Abstract:
The present study focuses on the interaction of gravity waves in the atmosphere with the tropopause. As the vertical extent of the latter is small compared to the density scale height, wave propagation is described by the Taylor-Goldstein equation as derived from the linearised Boussinesq approximation. Of particular interest in the construction of gravity wave parameterisations for the upper atmo…
▽ More
The present study focuses on the interaction of gravity waves in the atmosphere with the tropopause. As the vertical extent of the latter is small compared to the density scale height, wave propagation is described by the Taylor-Goldstein equation as derived from the linearised Boussinesq approximation. Of particular interest in the construction of gravity wave parameterisations for the upper atmosphere are the transmission and reflection properties of the tropopause as these determine the upward fluxes of energy and momentum carried by internal waves.
A method is presented that decomposes internal waves explicitly into upward and downward propagating contributions, thus giving direct access to transmission and reflection coefficients of finite regions of non-uniform stratification in a stationary atmosphere. The scheme utilizes a piecewise constant approximation for the background stratification and matches up- and downward propagating plane wave solutions in each layer through physically meaningful coupling conditions. As a result, transmission and reflection coefficients follow immediately.
△ Less
Submitted 20 December, 2018;
originally announced December 2018.
-
Stochastic Dynamics of Extended Objects in Driven Systems: I. Higher-Dimensional Currents in the Continuous Setting
Authors:
Michael J. Catanzaro,
Vladimir Y. Chernyak,
John R. Klein
Abstract:
The probability distributions, as well as the mean values of stochastic currents and fluxes, associated with a driven Langevin process, provide a good and topologically protected measure of how far a stochastic system is driven out of equilibrium. By viewing a Langevin process on a compact oriented manifold of arbitrary dimension m as a theory of a random vector field associated with the environme…
▽ More
The probability distributions, as well as the mean values of stochastic currents and fluxes, associated with a driven Langevin process, provide a good and topologically protected measure of how far a stochastic system is driven out of equilibrium. By viewing a Langevin process on a compact oriented manifold of arbitrary dimension m as a theory of a random vector field associated with the environment, we are able to consider stochastic motion of higher-dimensional objects, which allow new observables, called higher-dimensional currents, to be introduced. These higher dimensional currents arise by counting intersections of a k-dimensional trajectory, produced by a evolving (k-1)-dimensional cycle, with a reference cross section, represented by a cycle of complimentary dimension (m - k). We further express the mean fluxes in terms of the solutions of the Supersymmetric Fokker-Planck (SFP), thus generalizing the corresponding well-known expressions for the conventional currents.
△ Less
Submitted 1 September, 2016;
originally announced September 2016.
-
Stochastic Dynamics of Extended Objects in Driven Systems II: Current Quantization in the Low-Temperature Limit
Authors:
Michael J. Catanzaro,
Vladimir Y. Chernyak,
John R. Klein
Abstract:
Driven Langevin processes have appeared in a variety of fields due to the relevance of natural phenomena having both deterministic and stochastic effects. The stochastic currents and fluxes in these systems provide a convenient set of observables to describe their non-equilibrium steady states. Here we consider stochastic motion of a (k - 1)-dimensional object, which sweeps out a k-dimensional tra…
▽ More
Driven Langevin processes have appeared in a variety of fields due to the relevance of natural phenomena having both deterministic and stochastic effects. The stochastic currents and fluxes in these systems provide a convenient set of observables to describe their non-equilibrium steady states. Here we consider stochastic motion of a (k - 1)-dimensional object, which sweeps out a k-dimensional trajectory, and gives rise to a higher k-dimensional current. By employing the low-temperature (low-noise) limit, we reduce the problem to a discrete Markov chain model on a CW complex, a topological construction which generalizes the notion of a graph. This reduction allows the mean fluxes and currents of the process to be expressed in terms of solutions to the discrete Supersymmetric Fokker-Planck (SFP) equation. Taking the adiabatic limit, we show that generic driving leads to rational quantization of the generated higher dimensional current. The latter is achieved by implementing the recently developed tools, coined the higher-dimensional Kirchhoff tree and co-tree theorems. This extends the study of motion of extended objects in the continuous setting performed in the prequel to this manuscript.
△ Less
Submitted 1 September, 2016;
originally announced September 2016.
-
A higher Boltzmann distribution
Authors:
Michael J. Catanzaro,
Vladimir Y. Chernyak,
John R. Klein
Abstract:
We characterize the classical Boltzmann distribution as the unique solution to a certain combinatorial Hodge theory problem in homological degree zero on a finite graph. By substituting for the graph a CW complex and a degree d, we are able to define, by direct analogy, a higher dimensional Boltzmann distribution as a certain (d-1)-cycle on the real cellular chain complex which is characterized by…
▽ More
We characterize the classical Boltzmann distribution as the unique solution to a certain combinatorial Hodge theory problem in homological degree zero on a finite graph. By substituting for the graph a CW complex and a degree d, we are able to define, by direct analogy, a higher dimensional Boltzmann distribution as a certain (d-1)-cycle on the real cellular chain complex which is characterized by appropriate constraints. We then give an explicit formula for this cycle. We explain how this circle of ideas relates to the authors' Higher Kirchhoff Network Theorem. We also give an improved version of the authors' Higher Matrix-Tree Theorems.
△ Less
Submitted 24 March, 2017; v1 submitted 22 June, 2015;
originally announced June 2015.
-
Exciton Scattering via Algebraic Topology
Authors:
Michael J. Catanzaro,
Vladimir Y. Chernyak,
John R. Klein
Abstract:
This paper introduces an intersection theory problem for maps into a smooth manifold equipped with a stratification. We investigate the problem in the special case when the target is the unitary group and the domain is a circle. The first main result is an index theorem that equates a global intersection index with a finite sum of locally defined intersection indices. The local indices are integer…
▽ More
This paper introduces an intersection theory problem for maps into a smooth manifold equipped with a stratification. We investigate the problem in the special case when the target is the unitary group and the domain is a circle. The first main result is an index theorem that equates a global intersection index with a finite sum of locally defined intersection indices. The local indices are integers arising from the geometry of the stratification.
The result is used to study a well-known problem in chemical physics, namely, the problem of enumerating the electronic excitations (excitons) of a molecule equipped with scattering data. We provide a lower bound for this number. The bound is shown to be sharp in a limiting case.
△ Less
Submitted 1 August, 2017; v1 submitted 10 May, 2015;
originally announced May 2015.
-
Algebraic topology and the quantization of fluctuating currents
Authors:
Vladimir Y. Chernyak,
John R. Klein,
Nikolai A. Sinitsyn
Abstract:
We give a new approach to the study of statistical mechanical systems: algebraic topology is used to investigate the statistical distributions of stochastic currents generated in graphs. In the adiabatic and low temperature limits we will demonstrate that quantization of current generation occurs.
We give a new approach to the study of statistical mechanical systems: algebraic topology is used to investigate the statistical distributions of stochastic currents generated in graphs. In the adiabatic and low temperature limits we will demonstrate that quantization of current generation occurs.
△ Less
Submitted 9 April, 2012;
originally announced April 2012.
