arXiv subjects

Konstantina Trivisa

Publications and source records attributed to Konstantina Trivisa.

At least 19 recordsLinked to original sources

arXiv2026

Linear Combination of Hamiltonian Simulation with Commutator Scaling

The Linear Combination of Hamiltonian Simulation (LCHS) framework simulates dissipative linear dynamics by representing time evolution as an integral over unitary operators, which is discretized by quadrature and implemented via Hamiltonian simulation. While existing analyses achieve near-optimal scaling in time and precision using norm-based quantities of the dissipative generator, we show that implementing the Hamiltonian simulation steps with Multi-Product Formulas (MPFs) yields commutator-sensitive error and complexity bounds. We demonstrate that the quadrature rule affects not only discretization error but also commutator structure and query complexity. This dependence is quantified through post-quadrature analysis for abstract MPF error profiles and for general time-independent and local Hamiltonians using known commutator-sensitive MPF error estimates. We compare uniform trapezoidal and free-scale sinh--sinh quadrature, showing improved quadrature-cardinality scaling for the latter, and illustrate the framework with applications to fractional diffusion, advection--diffusion, and open quantum systems.

quant-ph↗

arXiv2026

Stochastic Compressible Euler Equations with Frictional Damping: Existence of $L^\infty$ Martingale Solutions and Asymptotic Porous Medium-Like Behavior

We study the one-dimensional isentropic compressible Euler equations with linear (frictional) damping, subject to multiplicative, white-in-time stochastic forcing. The system is posed on a bounded interval with $L^\infty$ initial data and Dirichlet boundary conditions imposed on the momentum. We establish the global-in-time existence of $L^\infty$ martingale solutions that satisfy an appropriate entropy inequality. Then, we analyze the long-time behavior of these solutions and show that, under suitable assumptions on the noise, they converge almost surely and exponentially fast to a constant steady state of the system. The limiting density is well-approximated by the asymptotic solution of the deterministic porous medium equation, while the momentum exhibits the asymptotic behavior predicted by Darcy's law. The analysis in the stochastic setting is delicate, as temporal white-noise perturbations can significantly influence the long-time statistics of the solution. Our approach hinges on deriving sharp moment estimates for the entropy, which enable us to quantify and ultimately prove the decay of stochastic effects. To the best of our knowledge, this work provides the first rigorous pathwise convergence result for the long-time behavior of solutions to the stochastic isentropic compressible Euler equations with linear damping.

math.AP↗

arXiv2025

Statistically stationary solutions to the stochastic isentropic compressible Euler equations with linear damping

We study the long time behavior of isentropic compressible Euler equations with linear damping driven by a white-in-time noise, on a one-dimensional torus. We prove the existence of a statistically stationary solution in the class of weak martingale entropy solutions for any adiabatic constant $\gamma>1$, which satisfies an associated entropy inequality. To establish this result, we use a multi-level approximation scheme consisting of a truncation parameter $R$ and an artificial viscosity parameter $\epsilon$. The truncated system preserves the structure of the regularized system with the artificial viscosity, thereby providing key properties such as an invariant region and non-existence of vacuum at the approximate level. These properties allow us to construct an invariant measure for the approximate system in both $R$ and $\epsilon$ associated to a Feller semigroup for the well-posed dynamics of the approximate system for any $\gamma > 1$. This gives us a statistically stationary solution for the approximate problem, which we then successively pass to the limit as $R \to \infty$ and as $\epsilon \to 0$ to obtain a statistically stationary solution to the original stochastic system. Our analysis is novel, using new techniques for establishing uniform bounds on entropies of all orders, which allow us to pass to the limit in the parameters. We believe that this result is a valuable step towards further understanding the long-time statistical behavior of the stochastic Euler equations in one spatial dimension.

math.AP↗

arXiv2025

Existence and long-time behavior of global strong solutions to a nonlinear model of tumor growth

In this manuscript, we study a nonlinear model of tumor growth, described by a coupled hyperbolic-elliptic system of partial differential equations. In this model, the compressible flow of tumor cells is modeled by a transport equation for the cell density, which takes into account transport via a background flow (given by a potential solving a Brinkman-type equation), and which has a source term modeling cell growth and death. In this manuscript, we show that for sufficiently large viscosity, the tumor growth system admits nontrivial global strong solutions for positive initial data having a gradient with sufficiently small norm. This illustrates the regularizing effects of the source term representing tumor cell growth and death on the resulting transport dynamics of the equation. Furthermore, we characterize the long-time behavior of global strong solutions to the tumor growth system using a level-set analysis, in which we analyze how level sets evolve as they are transported by the flow, in terms of expansion/contraction and accretion/depletion of cells. While there has been past work on global existence of weak solutions for this tumor growth system, this manuscript opens the study of well-posedness in terms of more regular strong/classical solutions, which exist globally in time.

math.AP↗

arXiv2025

The Existence of Anomalous Dissipation over Bounded Interior Domains

A prevalent feature of three-dimensional turbulence is the presence of anomalous dissipation, or that the mean rate of energy dissipation is bounded below by a positive number in the inviscid limit. This is thought to be due to the nonlinear convection term in the Navier Stokes equations stretching vortex tubules and thereby increasing the amount of small scale oscillations within the flow. In this paper, we construct an example of a linear Stokes flow within a sphere that exhibits anomalous dissipation.

math.AP↗

arXiv2024

Multi-Product Hamiltonian Simulation with Explicit Commutator Scaling

The well-conditioned multi-product formula (MPF), proposed by Low-Kliuchnikov-Wiebe (2019), is a high-order, time-independent Hamiltonian simulation algorithm that implements a linear combination of low-order product formulas. Prior work established its well-conditioned algorithmic construction and near-optimal time and precision dependence, but did not simultaneously provide an explicit error bound in terms of nested commutators, which has left its practical advantage uncertain. In this work, we provide a rigorous complexity analysis of the well-conditioned MPF, explicitly establishing both commutator scaling and near-optimal dependence on time and precision through a rigorous Baker-Campbell-Hausdorff (BCH) and variation-of-parameters-based error analysis. Using our improved complexity estimates, we present several physically relevant applications where the second-order-based MPF asymptotically outperforms the second-order product formula in all three aspects of system size, time, and precision. We further demonstrate that, while MPF yields worse scalings than the best post-Trotter methods in most applications, there exist certain parameter regimes in the nonlocal fast-transform Bogoliubov-de Gennes model where MPF can outperform both leading post-Trotter methods and product formulas with fixed or adaptively optimized order.

quant-ph↗

arXiv2023

On the Free Boundary Problems of 3-D Compressible Euler Equations Coupled or Uncoupled With a Nonlinear Poisson Equation

For the problem of the non-isentropic compressible Euler Equations coupled with a nonlinear Poisson equation with the electric potential satisfying the Dirichlet boundary condition in three spatial dimensions with a general free boundary not restricting to a graph, we identify suitable stability conditions on the electric potential and the pressure under which we obtain a priori estimates on the Sobolev norms of the fluid and electric variables and bounds for geometric quantities of free surface. The stability conditions in this case for a general variable entropy are that the outer normal derivative of the electric potential is positive on the free surface, whereas that on the pressure is negative. In the isentropic case, the stability condition reduces to a single one, the outer normal derivative of the difference of the enthalpy and the electric potential is negative on the free surface. For the free boundary problem of the non-isentropic compressible Euler equations with variable entropy without coupling with the nonlinear Poisson equation, the corresponding higher-order estimates are also obtained under the Taylor sign condition. It is also found that one less derivative is needed to close the energy estimates for the problem for the non-isentropic compressible Euler Equations coupled with a nonlinear Poisson equation when the electric potential satisfies the Dirichlet boundary condition under the stability conditions on the electric potential and the pressure, compared with the problem of the non-isentropic compressible Euler equations.

math.AP↗

arXiv2023

Quantum algorithms for linear and non-linear fractional reaction-diffusion equations

High-dimensional fractional reaction-diffusion equations have numerous applications in the fields of biology, chemistry, and physics, and exhibit a range of rich phenomena. While classical algorithms have an exponential complexity in the spatial dimension, a quantum computer can produce a quantum state that encodes the solution with only polynomial complexity, provided that suitable input access is available. In this work, we investigate efficient quantum algorithms for linear and nonlinear fractional reaction-diffusion equations with periodic boundary conditions. For linear equations, we analyze and compare the complexity of various methods, including the second-order Trotter formula, time-marching method, and truncated Dyson series method. We also present a novel algorithm that combines the linear combination of Hamiltonian simulation technique with the interaction picture formalism, resulting in optimal scaling in the spatial dimension. For nonlinear equations, we employ the Carleman linearization method and propose a block-encoding version that is appropriate for the dense matrices that arise from the spatial discretization of fractional reaction-diffusion equations.

quant-ph↗

arXiv2022

Uniqueness in a Navier-Stokes-nonlinear-Schrödinger model of superfluidity

In a previous paper [Jayanti, P.C., Trivisa, K. Local Existence of Solutions to a Navier-Stokes-Nonlinear-Schrödinger Model of Superfluidity. J. Math. Fluid Mech. 24, 46 (2022)], the authors proved the existence of local-in-time weak solutions to a model of superfluidity. The system of governing equations was derived by Pitaevskii in 1959 and couples the nonlinear Schrödinger equation (NLS) and the Navier-Stokes equations (NSE). In this article, we prove a weak-strong type uniqueness theorem for these weak solutions. Only some of their regularity properties are used, allowing room for improved existence theorems in the future, with compatible uniqueness results.

math.AP↗

arXiv2021

Local weak solutions to a Navier-Stokes-nonlinear-Schrödinger model of superfluidity

In a 1959 paper by Pitaevskii, a macroscopic model of superfluidity was derived from first principles, to describe the interacting dynamics between the superfluid and normal fluid phases of Helium-4. The model couples two of the most fundamental PDEs in mathematics: the nonlinear Schrödinger equation (NLS) and the Navier-Stokes equations (NSE). In this article, we show the local existence of weak solutions to this system (in a smooth bounded domain in 3D), by deriving the required a priori estimates. (We will also establish an energy inequality obeyed by the weak solutions constructed in Kim's 1987 paper for the incompressible, inhomogeneous NSE.) To the best of our knowledge, this is the first rigorous mathematical analysis of a bidirectionally coupled system of the NLS and NSE.

math.AP↗

arXiv2020

Efficient quantum algorithm for dissipative nonlinear differential equations

Nonlinear differential equations model diverse phenomena but are notoriously difficult to solve. While there has been extensive previous work on efficient quantum algorithms for linear differential equations, the linearity of quantum mechanics has limited analogous progress for the nonlinear case. Despite this obstacle, we develop a quantum algorithm for dissipative quadratic $n$-dimensional ordinary differential equations. Assuming $R < 1$, where $R$ is a parameter characterizing the ratio of the nonlinearity and forcing to the linear dissipation, this algorithm has complexity $T^2 q~\mathrm{poly}(\log T, \log n, \log 1/\epsilon)/\epsilon$, where $T$ is the evolution time, $\epsilon$ is the allowed error, and $q$ measures decay of the solution. This is an exponential improvement over the best previous quantum algorithms, whose complexity is exponential in $T$. While exponential decay precludes efficiency, driven equations can avoid this issue despite the presence of dissipation. Our algorithm uses the method of Carleman linearization, for which we give a novel convergence theorem. This method maps a system of nonlinear differential equations to an infinite-dimensional system of linear differential equations, which we discretize, truncate, and solve using the forward Euler method and the quantum linear system algorithm. We also provide a lower bound on the worst-case complexity of quantum algorithms for general quadratic differential equations, showing that the problem is intractable for $R \ge \sqrt{2}$. Finally, we discuss potential applications, showing that the $R < 1$ condition can be satisfied in realistic epidemiological models and giving numerical evidence that the method may describe a model of fluid dynamics even for larger values of $R$.

quant-ph↗

arXiv2020

Weak Dissipative solutions to a free-boundary problem for finitely extensible bead-spring chain molecules: variable viscosity coefficients

We investigate the global existence of weak solutions to a free boundary problem governing the evolution of finitely extensible bead-spring chains in dilute polymers. The free boundary in the present context is defined with regard to a density threshold of \r{ho} = 1, below which the fluid is modeled as compressible and above which the fluid is modeled as incompressible. The present article focuses on the physically relevant case in which the viscosity coefficients present in the system depend on the polymer number density, extending the earlier work [8]. We construct the weak solutions of the free boundary problem by perform ing the asymptotic limit as the adiabatic exponent γgoes to \infty for the macroscopic model introduced by Feireisl, Lu and Suli in [10] (see also [6]). The weak sequential stability of the family of dissipative (finite energy) weak solutions to the free boundary problem is also established.

math.AP↗

arXiv2020

Global Regularity of the 2D HVBK equations

The Hall-Vinen-Bekharevich-Khalatnikov (HVBK) equations are a macroscopic model of superfluidity at non-zero temperatures. For smooth, compactly supported data, we prove the global well-posedness of strong solutions to these equations in $\mathbb{R}^2$, in the incompressible and isothermal case. The proof utilises a contraction mapping argument to establish local well-posedness for high-regularity data, following which we demonstrate global regularity using an analogue of the Beale-Kato-Majda criterion in this context. In the appendix, we address the sufficient conditions on a 2D vorticity field, in order to have a finite kinetic energy.

math.AP↗

arXiv2019

On the dynamics of ferrofluids: Global weak solutions to the Rosensweig system and rigorous convergence to equilibrium

This article establishes the global existence of weak solutions to a model proposed by Rosensweig (Rosensweig, Ferrohydrodynamics (1985)) for the dynamics of ferrofluids. The system is expressed by the conservation of linear momentum, the incompressibility condition, the conservation of angular momentum, and the evolution of the magnetization. The existence proof is inspired by the DiPerna-Lions theory of renormalized solutions. In addition, the rigorous relaxation limit of the equations of ferrohydrodynamics towards the quasi-equilibrium is investigated. The proof relies on the relative entropy method, which involves constructing a suitable functional, analyzing its time evolution and obtaining convergence results for the sequence of approximating solutions.

math.AP↗

arXiv2018

On a free boundary problem for finitely extensible bead-spring chain molecules in dilute polymers

We investigate the global existence of weak solutions to a free boundary problem governing the evolution of finitely extensible bead-spring chains in dilute polymers. We construct weak solutions of the two-phase model by performing the asymptotic limit as the adiabatic exponent $γ$ goes to $\infty$ for a macroscopic model which arises from the kinetic theory of dilute solutions of nonhomogeneous polymeric liquids. In this context the polymeric molecules are idealized as bead-spring chains with finitely extensible nonlinear elastic (FENE) type spring potentials. This class of models involves the unsteady, compressible, isentropic, isothermal Navier-Stokes system in a bounded domain $Ω$ in $\mathbb{R}^d,$ $d=2, 3$ coupled with a Fokker-Planck-Smoluchowski-type diffusion equation (cf. Barrett and Süli [4], [5], [9]). The convergence of these solutions, up to a subsequence, to the free-boundary problem is established using weak convergence methods, compactness arguments which rely on the monotonicity properties of certain quantities in the spirit of [19].

math.AP↗

arXiv2018

Bounded Statistics

If two probability density functions (PDFs) have values for their first $n$ moments which are quite close to each other (upper bounds of their differences are known), can it be expected that the PDFs themselves are very similar? Shown below is an algorithm to quantitatively estimate this "similarity" between the given PDFs, depending on how many moments one has information about. This method involves the concept of functions behaving "similarly" at certain "length scales", which is also precisely defined. This technique could find use in data analysis, to compare a data set with a PDF or another data set, without having to fit a functional form to the data.

math.ST↗

arXiv2018

Invariant measures for the stochastic one-dimensional compressible Navier-Stokes equations

We investigate the long-time behavior of solutions to a stochastically forced one-dimensional Navier-Stokes system, describing the motion of a compressible viscous fluid, in the case of linear pressure law. We prove existence of an invariant measure for the Markov process generated by strong solutions. We overcome the difficulties of working with non-Feller Markov semigroups on non-complete metric spaces by generalizing the classical Krylov-Bogoliubov method, and by providing suitable polynomial and exponential moment bounds on the solution, together with pathwise estimates.

math.AP↗

arXiv2017

Stability and Convergence of Relaxation Schemes to Hyperbolic Balance Laws via a Wave Operator

This article deals with relaxation approximations of nonlinear systems of hyperbolic balance laws. We introduce a class of relaxation schemes and establish their stability and convergence to the solution of hyperbolic balance laws before the formation of shocks, provided that we are within the framework of the compensated compactness method. Our analysis treats systems of hyperbolic balance laws with source terms satisfying a special mechanism which induces weak dissipation in the spirit of Dafermos [C.M. Dafermos J. Hyp. Diff. Equations, 3, 505-527, 2006], as well as hyperbolic balance laws with more general source terms. The rate of convergence of the relaxation system to a solution of the balance laws in the smooth regime is established. Our work follows in spirit the analysis presented in [S. Jin, X. Xin, Comm. Pure. Appl. Math. (1995), 48] and [Ch. Arvanitis, Ch. Makridakis, and A.E. Tzavaras, SIAM J. on Num. Anal. (2005), 42-4] for systems of hyperbolic conservation laws without source terms.

math.AP↗