Search

In this paper, we first recall the notion of (noncommutative) Poisson conformal algebras and describe some constructions of them. Then we study the formal distribution (noncommutative) Poisson algebras and coefficient (noncommutative) Poisson algebras. Next, we introduce the notion of conformal formal deformations of commutative associative conformal algebras and show that Poisson conformal algebras are the corresponding semi-classical limits. At last, we develop the cohomology theory of noncommutative Poisson conformal algebras and use this cohomology to study their deformations., 31 pages

The mathematical equivalence between finite state stochastic machine and non-dissipative and dissipative quantum tight-binding and Schroedinger model is derived. Stochastic Finite state machine is also expressed by classical epidemic model and can reproduce the quantum entanglement emerging in the case of electrostatically coupled qubits described by von-Neumann entropy both in non-dissipative and dissipative case. The obtained results shows that quantum mechanical phenomena might be simulated by classical statistical model as represented by finite state stochastic machine. It includes the quantum like entanglement and superposition of states. Therefore coupled epidemic models expressed by classical systems in terms of classical physics can be the base for possible incorporation of quantum technologies and in particular for quantum like computation and quantum like communication. The classical density matrix is derived and described by the equation of motion in terms of anticommutator. Existence of Rabi like oscillations is pointed in classical epidemic model. Furthermore the existence of Aharonov-Bohm effect in quantum systems can also be reproduced by the classical epidemic model or in broader sense by finite state stochastic machine. Every quantum system made from quantum dots and described by simplistic tight-binding model by use of position-based qubits can be effectively described by classical statistical model encoded in finite stochastic state machine with very specific structure of S matrix that has twice bigger size as it is the case of quantum matrix Hamiltonian. Furthermore the description of linear and non-linear stochastic finite state machine is mapped to tight-binding and Schroedinger model. The concept of N dimensional complex time is incorporated into tight-binding model, so the description of dissipation in most general case is possible., 47 pages, 5 figures. arXiv admin note: substantial text overlap with arXiv:2012.09923

We consider a natural class of time-periodic infinite-dimensional nonlinear Hamiltonian systems modelling the interaction of a classical mechanical system of particles with a scalar wave field. When the field is defined on a space torus $${\mathbb {T}}^d={\mathbb {R}}^d/(2\pi {\mathbb {Z}})^d$$ T d = R d / ( 2 π Z ) d and the coordinates of the particles are constrained to a submanifold $$Q\subset {\mathbb {T}}^d$$ Q ⊂ T d , we prove that the number of contractible T-periodic solutions of the coupled Hamiltonian particle-field system is bounded from below by the $${\mathbb {Z}}_2$$ Z 2 -cuplength of the space $$\Lambda ^{{\text {contr}}} Q$$ Λ contr Q of contractible loops in Q, provided that the square of the ratio $$T/2\pi $$ T / 2 π of time period T and space period $$X=2\pi $$ X = 2 π is a Diophantine irrational number. The latter condition is necessary since for the infinite-dimensional version of Gromov–Floer compactness as well as for the $$C^0$$ C 0 -bounds we need to deal with small divisors.

The Gaussian Free Field (GFF) is a canonical random surface in probability theory generalizing Brownian motion to higher dimensions. In two dimensions, it is critical in several senses, and is expected to be the universal scaling limit of a host of random surface models in statistical physics. It also arises naturally as the stationary solution to the stochastic heat equation with additive noise. Focusing on the dynamical aspects of the corresponding universality class, we study the mixing time, i.e., the rate of convergence to stationarity, for the canonical prelimiting object, namely the discrete Gaussian free field (DGFF), evolving along the (heat-bath) Glauber dynamics. While there have been significant breakthroughs made in the study of cutoff for Glauber dynamics of random curves, analogous sharp mixing bounds for random surface evolutions have remained elusive. In this direction, we establish that on a box of side-length $n$ in $\mathbb Z^2$, when started out of equilibrium, the Glauber dynamics for the DGFF exhibit cutoff at time $\frac{2}{\pi^2}n^2 \log n$., Comment: 37 pages, 2 figures

We affirmatively settle the question on existence of a real-valued higher order spectral shift function for a pair of self-adjoint operators $H$ and $V$ such that $V$ is bounded and $V(H-iI)^{-1}$ belongs to a Schatten-von Neumann ideal $\mathcal{S}^n$ of compact operators in a separable Hilbert space. We also show that the function satisfies the same trace formula as in the known case of $V\in\mathcal{S}^n$ and that it is unique up to a polynomial summand of order $n-1$. Our result significantly advances earlier partial results where counterparts of the spectral shift function for noncompact perturbations lacked real-valuedness and aforementioned uniqueness as well as appeared in more complicated trace formulas for much more restrictive sets of functions. Our result applies to models arising in noncommutative geometry and mathematical physics., Comment: added proof details, corrected errors

We describe a method, based on "hard" contact topology, of showing the existence of semi-infinite trajectories of contact Hamiltonian flows which start on one Legendrian submanifold and asymptotically converge to another Legendrian submanifold. We discuss a mathematical model of non-equilibrium thermodynamics where such trajectories play a role of relaxation processes, and illustrate our results in the case of the Glauber dynamics for the mean field Ising model., Comment: 40 pages, 5 figures, improved exposition, mild revision of the section on Glauber dynamics

We consider a boundary value problem for a general second order linear equation in a perforated domain. The perforation is made by small cavities, a minimal distance between the cavities is also small. We impose minimal natural geometric conditions on the shapes of the cavities and no conditions on their distribution in the domain. On the boundaries of the cavities a nonlinear Robin condition is imposed. The sizes of the cavities and the minimal distance between them are supposed to satisfy a certain simple condition ensuring that under the homogenization the cavities disappear and we obtain a similar problem in a non-perforated domain. Our main results state the convergence of the solution of the perturbed problem to that of the homogenized one in $W_2^1$- and $L_2$-norms uniformly in $L_2$-norm of the right hand side in the equation and provide the estimates for the convergence rates. We also discuss the order sharpness of these estimates.

The reaction-diffusion master equation (RDME) is a lattice-based stochastic model for spatially resolved cellular processes. It is often interpreted as an approximation to spatially continuous reaction-diffusion models, which, in the limit of an infinitely large population, may be described by means of reaction-diffusion partial differential equations (RDPDEs). Analyzing and understanding the relation between different mathematical models for reaction-diffusion dynamics is a research topic of steady interest. In this work, we explore a route to the hydrodynamic limit of the RDME which uses gradient structures. Specifically, we elaborate on a method introduced in [J. Maas, A. Mielke: Modeling of chemical reactions systems with detailed balance using gradient structures. J. Stat. Phys. (181), 2257-2303 (2020)] in the context of well-mixed reaction networks by showing that, once it is complemented with an appropriate limit procedure, it can be applied to spatially extended systems with diffusion. Under the assumption of detailed balance, we write down a gradient structure for the RDME and use the method to produce a gradient structure for its hydrodynamic limit, namely, for the corresponding RDPDE.

We consider last passage percolation on $\mathbb Z^2$ with general weight distributions, which is expected to be a member of the Kardar-Parisi-Zhang (KPZ) universality class. In this model, an oriented path between given endpoints which maximizes the sum of the i.i.d. weight variables associated to its vertices is called a geodesic. Under natural conditions of curvature of the limiting geodesic weight profile and stretched exponential decay of both tails of the point-to-point weight, we use geometric arguments to upgrade the assumptions to prove optimal upper and lower tail behavior with the exponents of $3/2$ and $3$ for the weight of the geodesic from $(1,1)$ to $(r,r)$ for all large finite $r$. The proofs merge several ideas, including the well known super-additivity property of last passage values, concentration of measure behavior for sums of stretched exponential random variables, and geometric insights coming from the study of geodesics and more general objects called geodesic watermelons. Previously such optimal behavior was only known for exactly solvable models, with proofs relying on hard analysis of formulas from integrable probability, which are unavailable in the general setting. Our results illustrate a facet of universality in a class of KPZ stochastic growth models and provide a geometric explanation of the upper and lower tail exponents of the GUE Tracy-Widom distribution, the conjectured one point scaling limit of such models. The key arguments are based on an observation of general interest that super-additivity allows a natural iterative bootstrapping procedure to obtain improved tail estimates., 45 pages, 6 figures

Operators with zero dimensional spectral measures appear naturally in the theory of ergodic Schr\"odinger operators. We develop the concept of a complete family of Hausdorff measure functions in order to analyze and distinguish between these measures with any desired precision. We prove that the dimension of spectral measures of half-line operators with positive upper Lyapunov exponent are at most logarithmic for every possible boundary phase. We show that this is sharp by constructing an explicit operator whose spectral measure obtains this dimension. We also extend and improve some basic results from the theory of rank one perturbations and quantum dynamics to encompass generalized Hausdorff dimensions., Comment: 35 pages

In this paper, we study the Dirichlet-to-Neumann operators on infinite subgraphs of graphs. For an infinite graph, we prove Cheeger-type estimates for the bottom spectrum of the Dirichlet-to-Neumann operator, and the higher order Cheeger estimates for higher order eigenvalues of the Dirichlet-to-Neumann operator., 30 pages

Callias-type (or Dirac-Schr\"odinger) operators associated to abstract semifinite spectral triples are introduced and their indices are computed in terms of an associated index pairing derived from the spectral triple. The result is then interpreted as an index theorem for a non-commutative analogue of spectral flow. Both even and odd spectral triples are considered, and both commutative and non-commutative examples are given., Comment: numerous minor corrections, to appear in J. Noncommutative Geometry

We establish quantitative blow-up criteria below the scaling threshold for radially symmetric solutions to the defocusing nonlinear Schr\"odinger equation with nonlinearity $|u|^6u$. This provides to our knowledge the first generic results distinguishing potential blow-up solutions of the defocusing equation from many of the known examples of blow-up in the focusing case. Our main tool is a quantitative version of a result showing that uniform bounds on $L^2$-based critical Sobolev norms imply scattering estimates. As another application of our techniques, we establish a variant which allows for slow growth in the critical norm. We show that if the critical Sobolev norm on compact time intervals is controlled by a slowly growing quantity depending on the Stricharz norm, then the solution can be extended globally in time, with a corresponding scattering estimate., Comment: 22 pages

The Clarkson-McLeod solutions of the fourth Painlev\'e equation behave like $\kappa D_{\alpha-\frac{1}{2}}^2(\sqrt{2}x)$ as $x\rightarrow +\infty$, where $\kappa$ is some real constant and $D_{\alpha-\frac{1}{2}}(x)$ is the parabolic cylinder function. Using the Deift-Zhou nonlinear steepest descent method, we derive the asymptotic behaviors for this class of solutions as $x\to-\infty$. This completes a proof of Clarkson and McLeod's conjecture on the asymptotics of this family of solutions. The total integrals of the Clarkson-McLeod solutions and the asymptotic approximations of the $\sigma$-form of this family of solutions are also derived. Furthermore, we find a determinantal representation of the $\sigma$-form of the Clarkson-McLeod solutions via an integrable operator with the parabolic cylinder kernel., Comment: 52 pages, 11 figures

Let us denote by LF the class of all orthomodular lattices (OMLs) that are locally finite (i.e., L in LF provided each finite subset of L generates in L a finite subOML). We first show in this note how one can obtain new locally finite OMLs from the initial ones and enlarge thus the class LF . We find LF considerably large though, obviously, not all OMLs belong to LF . We then study states on the OMLs of LF . We show that local finiteness may to a certain extent make up for distributivity. We for instance show that if L in LF and if for any finite subOML K there is a state s : K to [0, 1] on K, then there is a state on the entire L. We also consider further algebraic and state properties of LF relevant to quantum logic theory., 5 pages, 0 figures

We study the construction of substitution tilings of the plane based on certain simplicial configurations of tangents of the deltoid with evenly distributed orientations. The random tiling ensembles are obtained as a result of tile rearrangements in the substitution rules associated to edge flips., 18 pages, 12 figures

Starting from the Bardeen-Cooper-Schrieffer (BCS) free energy functional, we derive the Ginzburg-Landau functional in the presence of a weak homogeneous magnetic field. We also provide an asymptotic formula for the BCS critical temperature as a function of the magnetic field. This extends the previous works arXiv:1102.4001 and arXiv:1410.2352 of Frank, Hainzl, Seiringer and Solovej to the case of external magnetic fields with non-vanishing magnetic flux through the unit cell., 91 pages, 1 figure

We consider a trapped dilute gas of $N$ bosons in $\mathbb{R}^3$ interacting via a three-body interaction potential of the form $N\, V(N^{1/2}(x-y,x-z))$. In the limit $N\to \infty$, we prove that every approximate ground state of the system is a convex superposition of minimizers of a 3D energy-critical nonlinear Schr\"odinger functional where the nonlinear coupling constant is proportional to the scattering energy of the interaction potential. In particular, the $N$-body ground state exhibits complete Bose--Einstein condensation if the nonlinear Schr\"odinger minimizer is unique up to a complex phase., Comment: 57 pages

We consider 1D quantum scattering problem for a Hamiltonian with symmetries. We show that the proper treatment of symmetries in the spirit of homological algebra leads to new objects, generalizing the well known T- and K-matrices. Homological treatment implies that old objects and new ones are be combined in a differential. This differential arises from homotopy transfer of induced interaction and symmetries on solutions of free equations of motion. Therefore, old and new objects satisfy remarkable quadratic equations. We construct an explicit example in SUSY QM on $S^1$ demonstrating nontriviality of the above relation.

Abstract Perfectly incompressible materials do not exist in nature but are a useful approximation of several media which can be deformed in non-isothermal processes but undergo very small volume variations. In this paper, the linear analysis of the Darcy-Bénard problem is performed in the class of extended-quasi-thermal-incompressible fluids, introducing a factor $$\beta$$ β which describes the compressibility of the fluid and plays an essential role in the instability results. In particular, in the Oberbeck-Boussinesq approximation, a more realistic constitutive equation for the fluid density is employed in order to obtain more thermodynamically consistent instability results. The critical Rayleigh-Darcy number for the onset of convection is determined, via linear instability analysis of the conduction solution, as a function of a dimensionless parameter $$\widehat{\beta }$$ β ^ proportional to the compressibility factor $$\beta$$ β , proving that $$\widehat{\beta }$$ β ^ enhances the onset of convective motions. Article Highlights The onset of convection in fluid-saturated porous media is analyzed, taking into account fluid compressibility effect. The critical Rayleigh-Darcy number is determined in a closed algebraic form via linear instability analysis. The critical Rayleigh-Darcy number is shown to be a decreasing function of the dimensionless compressibility factor.

We show that all resonances in Dirichlet obstacle scattering (in C \mathbb {C} in odd dimensions and in the logarithmic cover of C ∖ { 0 } \mathbb {C}\setminus \{0\} in even dimensions) are generically simple in the class of obstacles with C k C^k (and C ∞ C^\infty ) boundaries, k ≥ 2 k \geq 2 . The method also yields a Hadamard type variational formula for a simple resonance.

We prove Strichartz estimates in similarity coordinates for the radial wave equation with a self-similar potential in dimensions d ≥ 4 d\geq 4 . As an application of these, we establish the asymptotic stability of the ODE blowup profile of the energy critical radial nonlinear wave equation for 4 ≤ d ≤ 6 4\leq d\leq 6 .

We study how the typical gradient and typical height of a random surface are modified by the addition of quenched disorder in the form of a random independent external field. The results provide quantitative estimates, sharp up to multiplicative constants, in the following cases. It is shown that for real-valued disordered random surfaces of the $\nabla \phi$ type with a uniformly convex interaction potential: (i) The gradient of the surface delocalizes in dimensions $1\le d\le 2$ and localizes in dimensions $d\ge3$. (ii) The surface delocalizes in dimensions $1\le d\le 4$ and localizes in dimensions $d\ge 5$. It is further shown that for the integer-valued disordered Gaussian free field: (i) The gradient of the surface delocalizes in dimensions $d=1,2$ and localizes in dimensions $d\ge3$. (ii) The surface delocalizes in dimensions $d=1,2$. (iii) The surface localizes in dimensions $d\ge 3$ at weak disorder strength. The behavior in dimensions $d\ge 3$ at strong disorder is left open. The proofs rely on several tools: explicit identities satisfied by the expectation of the random surface, the Efron--Stein concentration inequality, a coupling argument for Langevin dynamics (originally due to Funaki and Spohn) and the Nash--Aronson estimate., Comment: Fixes a mistake in the appendix: the inequality (A.10) of arXiv v4 was incorrect, this is corrected in this version with an additional half a page. The result of Proposition 3.3 is still correct. ArXiv v4 is the version accepted for publication; 50 pages

We consider Schrödinger operators in $\ell^2(\mathbb{Z})$ whose potentials are given by the sum of an ergodic term and a random term of Anderson type. Under the assumption that the ergodic term is generated by a homeomorphism of a connected compact metric space and a continuous sampling function, we show that the almost sure spectrum arises in an explicitly described way from the unperturbed spectrum and the topological support of the single-site distribution. In particular, assuming that the latter is compact and contains at least two points, this explicit description of the almost sure spectrum shows that it will always be given by a finite union of non-degenerate compact intervals. The result can be viewed as a far reaching generalization of the well known formula for the spectrum of the classical Anderson model., 11 pages

We provide an intersection-theoretic formula for the Euler characteristic of the moduli space of smooth curves. This formula reads purely in terms of Hodge integrals and, as a corollary, the standard calculus of tautological classes gives a new short proof of the Harer-Zagier formula. Our result is based on the Gauss-Bonnet formula, and on the observation that a certain parametrisation of the $\Omega$-class - the Chern class of the universal $r$-th root of the twisted log canonical bundle - provides the Chern class of the log tangent bundle to the moduli space of smooth curves. Being $\Omega$-classes by now employed in many enumerative problems, mostly recently found and at times surprisingly different from each other, we dedicate some work to produce an extensive list of their general properties: extending existing ones, finding new ones, and writing down some only known to the experts., Comment: 13 pages

In any medium there are fluctuations due to temperature or due to the quantum nature of its constituents. If a material body is immersed into such a medium, its shape and the properties of its constituents modify the properties of the surrounding medium and its fluctuations. If in the same medium there is a second body then -- in addition to all direct interactions between them -- the modifications due to the first body influence the modifications due to the second body. This mutual influence results in a force between these bodies. If the excitations of the medium, which mediate the effective interaction between the bodies, are massless, this force is long-ranged and nowadays known as a Casimir force. If the fluctuating medium consists of the confined electromagnetic field in vacuum, one speaks of the quantum mechanical Casimir effect. In the case that the order parameter of material fields fluctuates - such as differences of number densities or concentrations - and that the corresponding fluctuations of the order parameter are long-ranged, one speaks of the critical Casimir effect. This holds, e.g., in the case of systems which undergo a second-order phase transition and which are thermodynamically located near the corresponding critical point, or for systems with a continuous symmetry exhibiting Goldstone mode excitations. Here we review the currently available exact results concerning the critical Casimir effect in systems encompassing the one-dimensional Ising, XY, and Heisenberg models, the two-dimensional Ising model, the Gaussian and the spherical models, as well as the mean field results for the Ising and the XY model. Special attention is paid to the influence of the boundary conditions on the behavior of the Casimir force., Comment: 218 pages, 68 figures

We consider the Cauchy problems in the whole space for the wave equation with a weighted L^{1}-initial data. We first derive sharp infinite time blowup estimates of the L^{2}-norm of solutions in the one and two dimensional cases. Then, we apply it to the local energy decay estimates for n = 2, which is not studied so completely when the 0-th moment of the initial velocity does not vanish. The idea to derive them is strongly inspired from a technique used in the author's previous papers., 13 pages, Remark 1.3 of the original version has been positively solved

The max-relative entropy together with its smoothed version is a basic tool in quantum information theory. In this paper, we derive the exact exponent for the asymptotic decay of the small modification of the quantum state in smoothing the max-relative entropy based on purified distance. We then apply this result to the problem of privacy amplification against quantum side information, and we obtain an upper bound for the exponent of the asymptotic decreasing of the insecurity, measured using either purified distance or relative entropy. Our upper bound complements the earlier lower bound established by Hayashi, and the two bounds match when the rate of randomness extraction is above a critical value. Thus, for the case of high rate, we have determined the exact security exponent. Following this, we give examples and show that in the low-rate case, neither the upper bound nor the lower bound is tight in general. This exhibits a picture similar to that of the error exponent in channel coding. Lastly, we investigate the asymptotics of equivocation and its exponent under the security measure using the sandwiched R\'enyi divergence of order $s\in (1,2]$, which has not been addressed previously in the quantum setting., Comment: V3: close to published version

In this paper, we analyze the Bollob\'as and Riordan polynomial $\mathcal{R}$ for ribbon graphs with half-ribbons introduced in [Combinatorics, Probability and Computing 31, 507-549, 2022]. We prove the universality property of a multivariate version of $\mathcal{R}$ whereas $\mathcal{R}$ itself turns out to be universal for a subclass of ribbon graphs with half-ribbons. We also show that $\mathcal{R}$ can be defined on some equivalence classes of ribbon graphs involving half-ribbons moves and that the new polynomial is universal on these classes., Comment: 21 pages, 15 figures

Simple strain-rate viscoelasticity models of isotropic soft solid are introduced. The constitutive equations account for finite strain, incompressibility, material frame-indifference, nonlinear elasticity, and viscous dissipation. A nonlinear viscous wave equation for the shear strain is obtained exactly and corresponding one-way Burgers-type equations are derived by making standard approximations. Analysis of the travelling wave solutions shows that these partial differential equations produce distinct solutions, and deviations are exacerbated when wave amplitudes are not arbitrarily small. In the elastic limit, the one-way approximate wave equation can be linked to simple wave theory and shock wave theory, thus, allowing direct error measurements.

We introduce a new approach to the the asymptotic iteration method (AIM) by means of which we establish the standard AIM connection with the continued fractions technique and we develop a novel termination condition in terms of the approximants. With the help of this alternative termination condition and certain properties of continuous fractions, we derive a closed formula for the asymptotic function $\alpha$ of the AIM technique in terms of an infinite series. Furthermore, we show that such a series converges pointwise to $\alpha$ which, in turn, can be interpreted as a specific term of the minimal solution of a certain recurrence relation. We also investigate some conditions ensuring the existence of a minimal solution and hence, of the function $\alpha$ itself., Comment: 15 pages

For general antiferromagnetic 2-spin systems, including the hardcore model and the antiferromagnetic Ising model, there is an $\mathsf{FPTAS}$ for the partition function on graphs of maximum degree $\Delta$ when the infinite regular tree lies in the uniqueness region by Li et al. (2013). Moreover, in the tree non-uniqueness region, Sly (2010) showed that there is no $\mathsf{FPRAS}$ to estimate the partition function unless $\mathsf{NP}=\mathsf{RP}$. The algorithmic results follow from the correlation decay approach due to Weitz (2006) or the polynomial interpolation approach developed by Barvinok (2016). However the running time is only polynomial for constant $\Delta$. For the hardcore model, recent work of Anari et al. (2020) establishes rapid mixing of the simple single-site Markov chain known as the Glauber dynamics in the tree uniqueness region. Our work simplifies their analysis of the Glauber dynamics by considering the total pairwise influence of a fixed vertex $v$ on other vertices, as opposed to the total influence on $v$, thereby extending their work to all 2-spin models and improving the mixing time. More importantly our proof ties together the three disparate algorithmic approaches: we show that contraction of the tree recursions with a suitable potential function, which is the primary technique for establishing efficiency of Weitz's correlation decay approach and Barvinok's polynomial interpolation approach, also establishes rapid mixing of the Glauber dynamics. We emphasize that this connection holds for all 2-spin models (both antiferromagnetic and ferromagnetic), and existing proofs for correlation decay or polynomial interpolation immediately imply rapid mixing of Glauber dynamics. Our proof utilizes that the graph partition function divides that of Weitz's self-avoiding walk trees, leading to new tools for analyzing influence of vertices., Comment: Section 7 and Appendix E are updated to fix a small error

We study solvable lattice models associated to canonical Grothendieck polynomials and their duals. We derive inversion relations and Cauchy identities.

The Eden cell growth model is a simple discrete stochastic process which produces a "blob" in $\mathbb{R}^d$: start with one cube in the regular grid, and at each time step add a neighboring cube uniformly at random. This process has been used as a model for the growth of aggregations, tumors, and bacterial colonies and the healing of wounds, among other natural processes. Here, we study the topology and local geometry of the resulting structure, establishing asymptotic bounds for Betti numbers. Our main result is that the Betti numbers grow at a rate between the conjectured rate of growth of the site perimeter and the actual rate of growth of the site perimeter. We also present the results of computational experiments on finer aspects of the geometry and topology, such as persistent homology and the distribution of shapes of holes., 34 pages, 11 figures, 5 tables; revisions in response to referee reports

This paper examines a system of partial differential equations describing dislocation dynamics in a crystalline solid. In particular we consider dynamics linearized about a state of zero stress and use linear semigroup theory to establish existence, uniqueness, and time-asymptotic behavior of the linear system.

We consider ground states of rotating Bose-Einstein condensates with attractive interactions in non-radially harmonic traps $V(x)=x_1^2+\Lambda ^2x_2^2 $, where $00$ denotes the product for the number of particles times the absolute value of the scattering length. We analyze the asymptotic expansions of ground states as $a\nearrow a^*$, which display the visible effect of $\Omega$ on ground states. As a byproduct, we further prove that ground states do not have any vortex in the region $R(a):=\{x\in R^2:\,|x|\le C (a^*-a)^{-\frac{1}{12}}\}$ as $a\nearrow a^*$ for some constant $C>0$, which is independent of $0, Comment: 29 pages, this is the revised version. The further revised version is published by Journal de Math\'ematiques Pures et Appliqu\'ees in 2023

We establish one-body reduced density-matrix functional theory for the canonical ensemble in a finite basis set at an elevated temperature. Including temperature guarantees differentiability of the universal functional by occupying all states and additionally not fully occupying the states in a fermionic system. We use convexity of the universal functional and invertibility of the potential-to-1RDM map to show that the subgradient contains only one element which is equivalent to differentiability. This allows us to show that all 1RDMs with a purely fractional occupation number spectrum ($0 < n_i < 1 \; \forall_i$) are uniquely $v$-representable up to a constant., 7 pages, 1 figure

We examine the power series solutions of two classical nonlinear ordinary differential equations of fluid mechanics that are mathematically related by their large-distance asymptotic behaviours in semi-infinite domains. The first problem is that of the ‘Sakiadis’ boundary layer over a moving flat wall, for which no exact analytic solution has been put forward. The second problem is that of a static air–liquid meniscus with surface tension that intersects a flat wall at a given contact angle and limits to a flat pool away from the wall. For the latter problem, the exact analytic solution—given as distance from the wall as a function of meniscus height—has long been known (Batchelor, G. K. (1967) An Introduction to Fluid Dynamics, chapter 1: The physical properties of fluids. Cambridge). Here, we provide an explicit solution as meniscus height versus distance from the wall to elucidate structural similarities to the Sakiadis boundary layer. Although power series solutions are readily obtainable to the governing nonlinear ordinary differential equations, we show that—in both problems—the series diverge due to non-physical complex or negative real-valued singularities. In both cases, these singularities can be moved by expanding in exponential gauge functions motivated by their respective large distance asymptotic behaviours to enable series convergence over their full semi-infinite domains. For the Sakiadis problem, this not only provides a convergent Taylor series (and conjectured exact) solution to the ODE, but also a means to evaluate the wall shear parameter (and other properties) to within any desired precision. Although the nature of nonlinear ODEs precludes general conclusions, our results indicate that asymptotic behaviours can be useful when proposing variable transformations to overcome power series divergence.

One possibility of defining a quantum R\'enyi $\alpha$-divergence of two quantum states is to optimize the classical R\'enyi $\alpha$-divergence of their post-measurement probability distributions over all possible measurements (measured R\'enyi divergence), and maybe regularize these quantities over multiple copies of the two states (regularized measured R\'enyi $\alpha$-divergence). A key observation behind the theorem for the strong converse exponent of asymptotic binary quantum state discrimination is that the regularized measured R\'enyi $\alpha$-divergence coincides with the sandwiched R\'enyi $\alpha$-divergence when $\alpha>1$. Moreover, it also follows from the same theorem that to achieve this, it is sufficient to consider $2$-outcome measurements (tests) for any number of copies (this is somewhat surprising, as achieving the measured R\'enyi $\alpha$-divergence for $n$ copies might require a number of measurement outcomes that diverges in $n$, in general). In view of this, it seems natural to expect the same when $\alpha1$ case., Comment: v3: 30 pages, minor improvements. Thanks to a comment by an anonymous reviewer, we can now show that the two different ways to regularize the test-measured R\'enyi $\alpha$-divergence lead to different quantities

We study the holomorphic twist of 3d ${\cal N}=2$ gauge theories in the presence of boundaries, and the algebraic structure of bulk and boundary local operators. In the holomorphic twist, both bulk and boundary local operators form chiral algebras (\emph{a.k.a.} vertex operator algebras). The bulk algebra is commutative, endowed with a shifted Poisson bracket and a "higher" stress tensor; while the boundary algebra is a module for the bulk, may not be commutative, and may or may not have a stress tensor. We explicitly construct bulk and boundary algebras for free theories and Landau-Ginzburg models. We construct boundary algebras for gauge theories with matter and/or Chern-Simons couplings, leaving a full description of bulk algebras to future work. We briefly discuss the presence of higher A-infinity like structures., 96 pages

In Carqueville et al., arXiv:1809.01483, the notion of an orbifold datum $\mathbb{A}$ in a modular fusion category $\mathcal{C}$ was introduced as part of a generalised orbifold construction for Reshetikhin-Turaev TQFTs. In this paper, given a simple orbifold datum $\mathbb{A}$ in $\mathcal{C}$, we introduce a ribbon category $\mathcal{C}_{\mathbb{A}}$ and show that it is again a modular fusion category. The definition of $\mathcal{C}_{\mathbb{A}}$ is motivated by properties of Wilson lines in the generalised orbifold. We analyse two examples in detail: (i) when $\mathbb{A}$ is given by a simple commutative $\Delta$-separable Frobenius algebra $A$ in $\mathcal{C}$; (ii) when $\mathbb{A}$ is an orbifold datum in $\mathcal{C} = \operatorname{Vect}$, built from a spherical fusion category $\mathcal{S}$. We show that in case (i), $\mathcal{C}_{\mathbb{A}}$ is ribbon-equivalent to the category of local modules of $A$, and in case (ii), to the Drinfeld centre of $\mathcal{S}$. The category $\mathcal{C}_{\mathbb{A}}$ thus unifies these two constructions into a single algebraic setting., Comment: 58 pages

Many real-world systems are well-modeled by Brownian particles subject to gradient dynamics plus noise arising, e.g., from the thermal fluctuations of a heat bath. Of central importance to many applications in physics and biology (e.g., molecular motors) is the net steady-state particle current or "flux" enabled by the noise and an additional driving force. However, this flux cannot usually be calculated analytically. Motivated by this, we investigate the steady-state flux generated by a nondegenerate diffusion process on a general compact manifold; such fluxes are essentially equivalent to the stochastic intersection numbers of Manabe (1982). In the case that noise is small and the drift is "gradient-like" in an appropriate sense, we derive a graph-theoretic formula for the small-noise asymptotics of the flux using Freidlin-Wentzell theory. When additionally the drift is a local gradient sufficiently close to a generic global gradient, there is a natural flux equivalent to the entropy production rate -- in this case our graph-theoretic formula becomes Morse-theoretic, and the result admits a description in terms of persistent homology. As an application, we provide a mathematically rigorous explanation of the paradoxical "negative resistance" phenomenon in Brownian transport discovered by Cecchi and Magnasco (1996)., Accepted to Communications in Mathematical Physics

In the context of mathematical modeling, it is sometimes convenient to integrate models of different nature. These types of combinations, however, might entail difficulties even when individual models are well-understood, particularly in relation to the well-posedness of the ensemble. In this article, we focus on combining two classes of dissimilar diffusive models: the first one defined over a continuum and the second one based on discrete equations that connect average values of the solution over disjoint subdomains. For stationary problems, we show unconditional stability of the linked problems and then the stability and convergence of its discretized counterpart when mixed finite elements are used to approximate the model on the continuum. The theoretical results are highlighted with numerical examples illustrating the effects of linking diffusive models. As a side result, we show that the methods introduced in this article can be used to infer the solution of diffusive problems with incomplete data., 22 pages, 7 figures, preprint. International Journal for Numerical Methods in Engineering (2023)

In this note, we give a short proof of the localization formula for the loop space Chern character of a compact Riemannian spin manifold M, using the rescaled spinor bundle on the tangent groupoid associated to M., 19 pages

The logarithmic representation of infinitesimal generators is generalized to the cases when the evolution operator is unbounded. The generalized result is applicable to the representation of infinitesimal generators of unbounded evolution operators, where unboundedness of evolution operator is an essential ingredient of nonlinear analysis. In conclusion a general framework for the identification between the infinitesimal generators with evolution operators is established. A mathematical framework for such an identification is indispensable to the rigorous treatment of nonlinear transforms: e.g., transforms appearing in the theory of integrable systems., To appear in Math. Meth. Appl. Sci

We obtain Weyl type asymptotics for the quantised derivative $\dbar f$ of a function $f$ from the homgeneous Sobolev space $\dot{W}^1_d(\mathbb{R}^d)$ on $\mathbb{R}^d.$ The asymptotic coefficient $\|\nabla f\|_{L_d(\mathbb R^d)}$ is equivalent to the norm of $\dbar f$ in the principal ideal $\mathcal{L}_{d,\infty},$ thus, providing a non-asymptotic, uniform bound on the spectrum of $\dbar f.$ Our methods are based on the $C^{\ast}$-algebraic notion of the principal symbol mapping on $\mathbb{R}^d$, as developed recently by the last two authors and collaborators., 41 pages; accepted for publication in Trans. Amer. Math. Soc

We consider the classical momentum- or velocity-dependent two-dimensional Hamiltonian given by $$\mathcal H_N = p_1^2 + p_2^2 +\sum_{n=1}^N \gamma_n(q_1 p_1 + q_2 p_2)^n ,$$ where $q_i$ and $p_i$ are generic canonical variables, $\gamma_n$ are arbitrary coefficients, and $N\in \mathbb N$. For $N=2$, being both $\gamma_1,\gamma_2$ different from zero, this reduces to the classical Zernike system. We prove that $\mathcal H_N$ always provides a superintegrable system (for any value of $\gamma_n$ and $N$) by obtaining the corresponding constants of the motion explicitly, which turn out to be of higher-order in the momenta. Such generic results are not only applied to the Euclidean plane, but also to the sphere and the hyperbolic plane. In the latter curved spaces, $\mathcal H_N $ is expressed in geodesic polar coordinates showing that such a new superintegrable Hamiltonian can be regarded as a superposition of the isotropic 1:1 curved (Higgs) oscillator with even-order anharmonic curved oscillators plus another superposition of higher-order momentum-dependent potentials. Furthermore, the symmetry algebra determined by the constants of the motion is also studied, giving rise to a $(2N-1)$th-order polynomial algebra. As a byproduct, the Hamiltonian $\mathcal H_N $ is interpreted as a family of superintegrable perturbations of the classical Zernike system. Finally, it is shown that $\mathcal H_N$ (and so the Zernike system as well) is endowed with a Poisson $\mathfrak{sl}(2,\mathbb R)$-coalgebra symmetry which would allow for further possible generalizations that are also discussed., Comment: 27 pages, 4 figures. Minor corrections

Analysing two-dimensional shallow water equations with idealised bottom topographies have many applications in the atmospheric and oceanic sciences; however, restrictive flow pattern assumptions have been made to achieve explicit solutions. This work employs the Adomian decomposition method (ADM) to develop semi-analytical formulations of these problems that preserve the direct correlation of the physical parameters while capturing the nonlinear phenomenon. Furthermore, we exploit these techniques as reverse engineering mechanisms to develop key connections between some prevalent ansatz formulations in the open literature as well as derive new families of exact solutions describing geostrophic inertial oscillations and anticyclonic vortices with finite escape times. Our semi-analytical evaluations show the promise of this approach in terms of providing robust approximations against several oceanic variations and bottom topographies while also preserving the direct correlation between the physical parameters such as the Froude number, the bottom topography, the Coriolis parameter, as well as the flow and free surface behaviours. Our numerical validations provide additional confirmations of this approach while also illustrating that ADM can also be used to provide insight and deduce novel solutions that have not been explored, which can be used to characterize various types of geophysical flows., Comment: 21 pages, 3 figures