-
Quantum Framework for Simulating Linear PDEs with Robin Boundary Conditions
Authors:
Nikita Guseynov,
Xiajie Huang,
Nana Liu
Abstract:
We propose an explicit, oracle-free quantum framework for numerically simulating general linear partial differential equations (PDEs) that extends previous work \cite{guseynov2024efficientPDE} to also encompass (a) Robin boundary conditions (which includes Neumann and Dirichlet boundary conditions as special cases), (b) inhomogeneous terms, and (c) variable coefficients in space and time. Our appr…
▽ More
We propose an explicit, oracle-free quantum framework for numerically simulating general linear partial differential equations (PDEs) that extends previous work \cite{guseynov2024efficientPDE} to also encompass (a) Robin boundary conditions (which includes Neumann and Dirichlet boundary conditions as special cases), (b) inhomogeneous terms, and (c) variable coefficients in space and time. Our approach begins with a general finite-difference discretization and applies the Schrodingerisation technique to transform the resulting system into one satisfying unitary quantum evolution so quantum simulation can be applied.
For the Schrodinger equation corresponding to the discretized PDE, we construct an efficient block-encoding of $H$, scaling polylogarithmically with the number of grid points $N$. This object is compatible with quantum signal processing, to create the evolution operator $e^{-iHt}$. The oracle-free nature of our method allows us to count complexity in more fundamental units (C-NOTs and one-qubit rotations), bypassing the inefficiencies of oracle queries. Thus, the overall algorithm scales polynomially with $N$ and linearly with spatial dimension $d$, offering a polynomial speedup in $N$ and an exponential advantage in $d$, alleviating the classical curse of dimensionality. The correctness and efficiency of the proposed approach are further supported by numerical simulations.
By explicitly defining the quantum operations and their resource requirements, our approach stands as a practical solution for solving PDEs, distinct from others that rely on oracle queries and purely asymptotic scaling methods.
△ Less
Submitted 25 June, 2025;
originally announced June 2025.
-
Large genus asymptotics of super Weil-Petersson volumes
Authors:
Xuanyu Huang
Abstract:
In this paper, we obtain the asymptotic expansions of super intersection numbers and prove that the associated coefficients are polynomials. Moreover, we give an algorithm which can explicitly compute these coefficients. As an application, we prove the existence of a complete asymptotic expansion of super Weil-Petersson volumes in the large genus. This generalizes the celebrated work of Mirzakhani…
▽ More
In this paper, we obtain the asymptotic expansions of super intersection numbers and prove that the associated coefficients are polynomials. Moreover, we give an algorithm which can explicitly compute these coefficients. As an application, we prove the existence of a complete asymptotic expansion of super Weil-Petersson volumes in the large genus. This generalizes the celebrated work of Mirzakhani-Zograf. We also confirm two conjectural formulae proposed by Griguolo-Papalini-Russo-Seminara.
△ Less
Submitted 14 January, 2025;
originally announced January 2025.
-
Asymptotic coefficients of Weil-Petersson volumes in the large genus
Authors:
Xuanyu Huang
Abstract:
Mirzakhani-Zograf proved the large genus asymptotic expansions of Weil-Petersson volumes and showed that the asymptotic coefficients are polynomials in $\mathbb Q[π^{-2},π^2]$. They also conjectured that these are actually polynomials in $\mathbb Q[π^{-2}]$. In this paper, we prove Mirzakhani-Zograf's conjecture.
Mirzakhani-Zograf proved the large genus asymptotic expansions of Weil-Petersson volumes and showed that the asymptotic coefficients are polynomials in $\mathbb Q[π^{-2},π^2]$. They also conjectured that these are actually polynomials in $\mathbb Q[π^{-2}]$. In this paper, we prove Mirzakhani-Zograf's conjecture.
△ Less
Submitted 10 January, 2025;
originally announced January 2025.
-
Higher Weil-Petersson volumes of the moduli space of super Riemann surfaces
Authors:
Xuanyu Huang,
Kefeng Liu,
Hao Xu
Abstract:
Inspired by the theory of JT supergravity, Stanford-Witten derived a remarkable recursion formula of Weil-Petersson volumes of moduli space of super Riemann surfaces. It is the super version of the celebrated Mirzakhani's recursion formula. In this paper, we generalize Stanford-Witten's formula to include high degree kappa classes.
Inspired by the theory of JT supergravity, Stanford-Witten derived a remarkable recursion formula of Weil-Petersson volumes of moduli space of super Riemann surfaces. It is the super version of the celebrated Mirzakhani's recursion formula. In this paper, we generalize Stanford-Witten's formula to include high degree kappa classes.
△ Less
Submitted 10 January, 2025;
originally announced January 2025.
-
Weyl laws for Schrödinger operators on compact manifolds with boundary
Authors:
Xiaoqi Huang,
Xing Wang,
Cheng Zhang
Abstract:
We prove Weyl laws for Schrödinger operators with critically singular potentials on compact manifolds with boundary. We also improve the Weyl remainder estimates under the condition that the set of all periodic geodesic billiards has measure 0. These extend the classical results by Seeley, Ivrii and Melrose. The proof uses the Gaussian heat kernel bounds for short times and a perturbation argument…
▽ More
We prove Weyl laws for Schrödinger operators with critically singular potentials on compact manifolds with boundary. We also improve the Weyl remainder estimates under the condition that the set of all periodic geodesic billiards has measure 0. These extend the classical results by Seeley, Ivrii and Melrose. The proof uses the Gaussian heat kernel bounds for short times and a perturbation argument involving the wave equation.
△ Less
Submitted 8 September, 2024;
originally announced September 2024.
-
Efficient explicit gate construction of block-encoding for Hamiltonians needed for simulating partial differential equations
Authors:
Nikita Guseynov,
Xiajie Huang,
Nana Liu
Abstract:
One of the most promising applications of quantum computers is solving partial differential equations (PDEs). By using the Schrodingerisation technique - which converts non-conservative PDEs into Schrodinger equations - the problem can be reduced to Hamiltonian simulations. The particular class of Hamiltonians we consider is shown to be sufficient for simulating almost any linear PDE. In particula…
▽ More
One of the most promising applications of quantum computers is solving partial differential equations (PDEs). By using the Schrodingerisation technique - which converts non-conservative PDEs into Schrodinger equations - the problem can be reduced to Hamiltonian simulations. The particular class of Hamiltonians we consider is shown to be sufficient for simulating almost any linear PDE. In particular, these Hamiltonians consist of discretizations of polynomial products and sums of position and momentum operators. This paper addresses an important gap by efficiently loading these Hamiltonians into the quantum computer through block-encoding. The construction is explicit and efficient in terms of one- and two-qubit operations, forming a fundamental building block for constructing the unitary evolution operator for that class of Hamiltonians. The proposed algorithm demonstrates a squared logarithmic scaling with respect to the spatial partitioning size, offering a polynomial speedup over classical finite-difference methods in the context of spatial partitioning for PDE solving. Furthermore, the algorithm is extended to the multi-dimensional case, achieving an exponential acceleration with respect to the number of dimensions, alleviating the curse of dimensionality problem. This work provides an essential foundation for developing explicit and efficient quantum circuits for PDEs, Hamiltonian simulations, and ground state and thermal state preparation.
△ Less
Submitted 27 January, 2025; v1 submitted 21 May, 2024;
originally announced May 2024.
-
Sharp $L^p$ estimates and size of nodal sets for generalized Steklov eigenfunctions
Authors:
Xiaoqi Huang,
Yannick Sire,
Xing Wang,
Cheng Zhang
Abstract:
We prove sharp $L^p$ estimates for the Steklov eigenfunctions on compact manifolds with boundary in terms of their $L^2$ norms on the boundary. We prove it by establishing $L^p$ bounds for the harmonic extension operators as well as the spectral projection operators on the boundary. Moreover, we derive lower bounds on the size of nodal sets for a variation of the Steklov spectral problem. We consi…
▽ More
We prove sharp $L^p$ estimates for the Steklov eigenfunctions on compact manifolds with boundary in terms of their $L^2$ norms on the boundary. We prove it by establishing $L^p$ bounds for the harmonic extension operators as well as the spectral projection operators on the boundary. Moreover, we derive lower bounds on the size of nodal sets for a variation of the Steklov spectral problem. We consider a generalized version of the Steklov problem by adding a non-smooth potential on the boundary but some of our results are new even without potential.
△ Less
Submitted 30 December, 2022;
originally announced January 2023.
-
Canonical mean-field molecular dynamics derived from quantum mechanics
Authors:
Xin Huang,
Petr Plechac,
Mattias Sandberg,
Anders Szepessy
Abstract:
Canonical quantum correlation observables can be approximated by classical molecular dynamics. In the case of low temperature the ab initio molecular dynamics potential energy is based on the ground state electron eigenvalue problem and the accuracy has been proven to be $\mathcal O(M^{-1})$, provided the first electron eigenvalue gap is sufficiently large compared to the given temperature and…
▽ More
Canonical quantum correlation observables can be approximated by classical molecular dynamics. In the case of low temperature the ab initio molecular dynamics potential energy is based on the ground state electron eigenvalue problem and the accuracy has been proven to be $\mathcal O(M^{-1})$, provided the first electron eigenvalue gap is sufficiently large compared to the given temperature and $M$ is the ratio of nuclei and electron masses. For higher temperature eigenvalues corresponding to excited electron states are required to obtain $\mathcal O(M^{-1})$ accuracy and the derivations assume that all electron eigenvalues are separated, which for instance excludes conical intersections. This work studies a mean-field molecular dynamics approximation where the mean-field Hamiltonian for the nuclei is the partial trace $h:={\rm Tr}(H e^{-βH})/{\rm Tr}(e^{-βH})$ with respect to the electron degrees of freedom and $H$ is the Weyl symbol corresponding to a quantum many body Hamiltonian $\widehat{H}$. It is proved that the mean-field molecular dynamics approximates canonical quantum correlation observables with accuracy $\mathcal O (M^{-1}+ tε^2)$, for correlation time $t$ where $ε^2$ is related to the variance of mean value approximation $h$. Furthermore, the proof derives a precise asymptotic representation of the Weyl symbol of the Gibbs density operator using a path integral formulation. Numerical experiments on a model problem with one nuclei and two electron states show that the mean-field dynamics has similar or better accuracy than standard molecular dynamics based on the ground state electron eigenvalue.
△ Less
Submitted 23 January, 2023; v1 submitted 22 November, 2021;
originally announced November 2021.
-
Sharp Pointwise Weyl Laws for Schrödinger Operators with Singular Potentials on Flat Tori
Authors:
Xiaoqi Huang,
Cheng Zhang
Abstract:
The Weyl law of the Laplacian on the flat torus $\mathbb{T}^n$ is concerning the number of eigenvalues $\leλ^2$, which is equivalent to counting the lattice points inside the ball of radius $λ$ in $\mathbb{R}^n$. The leading term in the Weyl law is $c_nλ^n$, while the sharp error term $O(λ^{n-2})$ is only known in dimension $n\ge5$. Determining the sharp error term in lower dimensions is a famous…
▽ More
The Weyl law of the Laplacian on the flat torus $\mathbb{T}^n$ is concerning the number of eigenvalues $\leλ^2$, which is equivalent to counting the lattice points inside the ball of radius $λ$ in $\mathbb{R}^n$. The leading term in the Weyl law is $c_nλ^n$, while the sharp error term $O(λ^{n-2})$ is only known in dimension $n\ge5$. Determining the sharp error term in lower dimensions is a famous open problem (e.g. Gauss circle problem). In this paper, we show that under a type of singular perturbations one can obtain the pointwise Weyl law with a sharp error term in any dimensions. Moreover, this result verifies the sharpness of the general theorems for the Schrödinger operators $H_V=-Δ_{g}+V$ in the previous work of the authors, and extends the 3-dimensional results of Frank-Sabin to any dimensions.
△ Less
Submitted 13 February, 2023; v1 submitted 27 September, 2021;
originally announced September 2021.
-
Pointwise Weyl Laws for Schrödinger operators with singular potentials
Authors:
Xiaoqi Huang,
Cheng Zhang
Abstract:
We consider the Schrödinger operators $H_V=-Δ_g+V$ with singular potentials $V$ on general $n$-dimensional Riemannian manifolds and study whether various forms of pointwise Weyl law remain valid under this pertubation. We prove that the pointwise Weyl law holds for potentials in the Kato class, which is the minimal assumption to ensure that $H_V$ is essentially self-adjoint and bounded from below…
▽ More
We consider the Schrödinger operators $H_V=-Δ_g+V$ with singular potentials $V$ on general $n$-dimensional Riemannian manifolds and study whether various forms of pointwise Weyl law remain valid under this pertubation. We prove that the pointwise Weyl law holds for potentials in the Kato class, which is the minimal assumption to ensure that $H_V$ is essentially self-adjoint and bounded from below or has favorable heat kernel bounds. Moreover, we show that the pointwise Weyl law with the standard sharp error term $O(λ^{n-1})$ holds for potentials in $L^n(M)$.
△ Less
Submitted 13 February, 2023; v1 submitted 9 March, 2021;
originally announced March 2021.
-
Restriction of toral eigenfunctions to totally geodesic submanifolds
Authors:
Xiaoqi Huang,
Cheng Zhang
Abstract:
We estimate the $L^2$ norm of the restriction to a totally geodesic submanifold of the eigenfunctions of the Laplace-Beltrami operator on the standard flat torus $\mathbb{T}^d$, $d\ge2$. We reduce getting correct bounds to counting lattice points in the intersection of some $ν$-transverse bands on the sphere. Moreover, we prove the correct bounds for rational totally geodesic submanifolds of arbit…
▽ More
We estimate the $L^2$ norm of the restriction to a totally geodesic submanifold of the eigenfunctions of the Laplace-Beltrami operator on the standard flat torus $\mathbb{T}^d$, $d\ge2$. We reduce getting correct bounds to counting lattice points in the intersection of some $ν$-transverse bands on the sphere. Moreover, we prove the correct bounds for rational totally geodesic submanifolds of arbitrary codimension. In particular, we verify the conjecture of Bourgain-Rudnick on $L^2$-restriction estimates for rational hyperplanes. On $\mathbb{T}^2$, we prove the uniform $L^2$ restriction bounds for closed geodesics. On $\mathbb{T}^3$, we obtain explicit $L^2$ restriction estimates for the totally geodesic submanifolds, which improve the corresponding results by Burq-Gérard-Tzvetkov, Hu, Chen-Sogge.
△ Less
Submitted 26 November, 2019; v1 submitted 24 February, 2019;
originally announced February 2019.
-
On the uniqueness class, stochastic completeness and volume growth for graphs
Authors:
Xueping Huang,
Matthias Keller,
Marcel Schmidt
Abstract:
In this note we prove an optimal volume growth condition for stochastic completeness of graphs under very mild assumptions. This is realized by proving a uniqueness class criterion for the heat equation which is an analogue to a corresponding result of Grigor'yan on manifolds. This uniqueness class criterion is shown to hold for graphs that we call globally local, i.e., graphs where we control the…
▽ More
In this note we prove an optimal volume growth condition for stochastic completeness of graphs under very mild assumptions. This is realized by proving a uniqueness class criterion for the heat equation which is an analogue to a corresponding result of Grigor'yan on manifolds. This uniqueness class criterion is shown to hold for graphs that we call globally local, i.e., graphs where we control the jump size far outside. The transfer from general graphs to globally local graphs is then carried out via so called refinements.
△ Less
Submitted 13 December, 2018;
originally announced December 2018.
-
On some new global existence result of 3D Magnetohydrodynamic equations
Authors:
Cheng He,
Xiangdi Huang,
Yun Wang
Abstract:
This paper is devoted to the incompressible Magenetohydrodynamic equations in $\R^3$. We prove that if the difference between the magnetic field and the velocity is small initially then it will remain forever, thus results in global strong solution without smallness restriction on the size of initial velocity or magnetic field. In other words, magnetic field can indeed regularize the Navier-Stokes…
▽ More
This paper is devoted to the incompressible Magenetohydrodynamic equations in $\R^3$. We prove that if the difference between the magnetic field and the velocity is small initially then it will remain forever, thus results in global strong solution without smallness restriction on the size of initial velocity or magnetic field. In other words, magnetic field can indeed regularize the Navier-Stokes equations, due to cancelation.
△ Less
Submitted 12 August, 2013;
originally announced August 2013.
-
Serrin-Type Blowup Criterion for Viscous, Compressible, and Heat Conducting Navier-Stokes and Magnetohydrodynamic Flows
Authors:
Xiangdi Huang,
Jing Li
Abstract:
This paper establishes a blowup criterion for the three-dimensional viscous, compressible, and heat conducting magnetohydrodynamic (MHD) flows.
It is essentially shown that for the Cauchy problem and the initial-boundary-value one of the three-dimensional compressible MHD flows with initial density allowed to vanish, the strong or smooth solution exists globally if the density is bounded from ab…
▽ More
This paper establishes a blowup criterion for the three-dimensional viscous, compressible, and heat conducting magnetohydrodynamic (MHD) flows.
It is essentially shown that for the Cauchy problem and the initial-boundary-value one of the three-dimensional compressible MHD flows with initial density allowed to vanish, the strong or smooth solution exists globally if the density is bounded from above and the velocity satisfies the Serrin's condition. Therefore, if the Serrin norm of the velocity remains bounded, it is not possible for other kinds of singularities (such as vacuum states vanish or vacuum appears in the non-vacuum region or even milder singularities) to form before the density becomes unbounded. This criterion is analogous to the well-known Serrin's blowup criterion for the three-dimensional incompressible Navier-Stokes equations, in particular, it is independent of the temperature and magnetic field and is just the same as that of the barotropic compressible Navier-Stokes equations.
As a direct application, it is shown that the same result also holds for the strong or smooth solutions to the three-dimensional full compressible Navier-Stokes system describing the motion of a viscous, compressible, and heat conducting fluid.
△ Less
Submitted 22 October, 2012;
originally announced October 2012.
-
Global Strong solution with vacuum to the 2D nonhomogeneous incompressible MHD system
Authors:
Xiangdi Huang,
Yun Wang
Abstract:
In this paper, we first prove the unique global strong solution with vacuum to the two dimensional nonhomogeneous incompressible MHD system, as long as the initial data satisfies some compatibility condition. As a corollary, the global existence of strong solution with vacuum to the 2D nonhomogeneous incompressible Navier-Stokes equations is also established. Our main result improves all the previ…
▽ More
In this paper, we first prove the unique global strong solution with vacuum to the two dimensional nonhomogeneous incompressible MHD system, as long as the initial data satisfies some compatibility condition. As a corollary, the global existence of strong solution with vacuum to the 2D nonhomogeneous incompressible Navier-Stokes equations is also established. Our main result improves all the previous results where the initial density need to be strictly positive. The key idea is to use some critical Sobolev inequality of logarithmic type, which is originally due to Brezis-Wainger.
△ Less
Submitted 26 June, 2012;
originally announced June 2012.
-
Existence and Blowup Behavior of Global Strong Solutions to the Two-Dimensional Baratropic Compressible Navier-Stokes System with Vacuum and Large Initial Data
Authors:
Xiangdi Huang,
Jing Li
Abstract:
For periodic initial data with initial density allowed to vanish, we establish the global existence of strong and weak solutions for the two-dimensional compressible Navier-Stokes equations with no restrictions on the size of initial data provided the bulk viscosity coefficient is $λ= ρ^β$ with $β>4/3$. These results generalize and improve the previous ones due to Vaigant-Kazhikhov([Sib. Math. J.…
▽ More
For periodic initial data with initial density allowed to vanish, we establish the global existence of strong and weak solutions for the two-dimensional compressible Navier-Stokes equations with no restrictions on the size of initial data provided the bulk viscosity coefficient is $λ= ρ^β$ with $β>4/3$. These results generalize and improve the previous ones due to Vaigant-Kazhikhov([Sib. Math. J. (1995), 36(6), 1283-1316]) which requires $β>3$. Moreover, both the uniform upper bound of the density and the large-time behavior of the strong and weak solutions are also obtained.
△ Less
Submitted 16 June, 2012; v1 submitted 24 May, 2012;
originally announced May 2012.
-
Global Classical and Weak Solutions to the Three-Dimensional Full Compressible Navier-Stokes System with Vacuum and Large Oscillations
Authors:
Xiangdi Huang,
Jing Li
Abstract:
We establish the global existence and uniqueness of classical solutions to the three-dimensional full compressible Navier-Stokes system with smooth initial data which are of small energy but possibly large oscillations where the initial density is allowed to vanish. Moreover, for the initial data which may be discontinuous and contain vacuum states, we also obtain the global existence of weak solu…
▽ More
We establish the global existence and uniqueness of classical solutions to the three-dimensional full compressible Navier-Stokes system with smooth initial data which are of small energy but possibly large oscillations where the initial density is allowed to vanish. Moreover, for the initial data which may be discontinuous and contain vacuum states, we also obtain the global existence of weak solutions. These results generalize previous ones on classical and weak solutions for initial density being strictly away from vacuum, and are the first for global classical and weak solutions which may have large oscillations and can contain vacuum states.
△ Less
Submitted 5 August, 2011; v1 submitted 23 July, 2011;
originally announced July 2011.
-
Blowup Criterion for the Compressible Flows with Vacuum States
Authors:
Xiangdi Huang,
Jing Li,
Zhouping Xin
Abstract:
We prove that the maximum norm of the deformation tensor of velocity gradients controls the possible breakdown of smooth(strong) solutions for the 3-dimensional compressible Navier-Stokes equations, which will happen, for example, if the initial density is compactly supported \cite{X1}. More precisely, if a solution of the compressible Navier-Stokes equations is initially regular and loses i…
▽ More
We prove that the maximum norm of the deformation tensor of velocity gradients controls the possible breakdown of smooth(strong) solutions for the 3-dimensional compressible Navier-Stokes equations, which will happen, for example, if the initial density is compactly supported \cite{X1}. More precisely, if a solution of the compressible Navier-Stokes equations is initially regular and loses its regularity at some later time, then the loss of regularity implies the growth without bound of the deformation tensor as the critical time approaches. Our result is the same as Ponce's criterion for 3-dimensional incompressible Euler equations (\cite{po}). Moreover, our method can be generalized to the full Compressible Navier-Stokes system which improve the previous results. In addition, initial vacuum states are allowed in our cases.
△ Less
Submitted 30 April, 2010;
originally announced April 2010.
-
Global Well-Posedness of Classical Solutions with Large Oscillations and Vacuum to the Three-Dimensional Isentropic Compressible Navier-Stokes Equations
Authors:
Xiangdi Huang,
Jing Li,
Zhouping Xin
Abstract:
We establish the global existence and uniqueness of classical solutions to the Cauchy problem for the isentropic compressible Navier-Stokes equations in three spatial dimensions with smooth initial data which are of small energy but possibly large oscillations with constant state as far field which could be either vacuum or non-vacuum. The initial density is allowed to vanish and the spatial measu…
▽ More
We establish the global existence and uniqueness of classical solutions to the Cauchy problem for the isentropic compressible Navier-Stokes equations in three spatial dimensions with smooth initial data which are of small energy but possibly large oscillations with constant state as far field which could be either vacuum or non-vacuum. The initial density is allowed to vanish and the spatial measure of the set of vacuum can be arbitrarily large, in particular, the initial density can even have compact support. These results generalize previous results on classical solutions for initial densities being strictly away from vacuum, and are the first for global classical solutions which may have large oscillations and can contain vacuum states.
△ Less
Submitted 8 July, 2010; v1 submitted 27 April, 2010;
originally announced April 2010.
-
Serrin Type Criterion for the Three-Dimensional Viscous Compressible Flows
Authors:
Xiangdi Huang,
Jing Li,
Zhouping Xin
Abstract:
We extend the well-known Serrin's blowup criterion for the three-dimensional (3D) incompressible Navier-Stokes equations to the 3D viscous compressible cases. It is shown that for the Cauchy problem of the 3D compressible Navier-Stokes system in the whole space, the strong or smooth solution exists globally if the velocity satisfies the Serrin's condition and either the supernorm of the densi…
▽ More
We extend the well-known Serrin's blowup criterion for the three-dimensional (3D) incompressible Navier-Stokes equations to the 3D viscous compressible cases. It is shown that for the Cauchy problem of the 3D compressible Navier-Stokes system in the whole space, the strong or smooth solution exists globally if the velocity satisfies the Serrin's condition and either the supernorm of the density or the $L^1(0,T;L^\infty)$-norm of the divergence of the velocity is bounded. Furthermore, in the case that either the shear viscosity coefficient is suitably large or there is no vacuum, the Serrin's condition on the velocity can be removed in this criteria.
△ Less
Submitted 27 April, 2010;
originally announced April 2010.
-
A Blow-Up Criterion for Classical Solutions to the Compressible Navier-Stokes Equations
Authors:
Xiangdi Huang,
Zhouping Xin
Abstract:
In this paper, we obtain a blow up criterion for classical solutions to the 3-D compressible Naiver-Stokes equations just in terms of the gradient of the velocity, similar to the Beal-Kato-Majda criterion for the ideal incompressible flow. In addition, initial vacuum is allowed in our case.
In this paper, we obtain a blow up criterion for classical solutions to the 3-D compressible Naiver-Stokes equations just in terms of the gradient of the velocity, similar to the Beal-Kato-Majda criterion for the ideal incompressible flow. In addition, initial vacuum is allowed in our case.
△ Less
Submitted 18 March, 2009; v1 submitted 18 March, 2009;
originally announced March 2009.
-
A Blow-Up Criterion for the Compressible Navier-Stokes equations
Authors:
Xiangdi Huang,
Zhouping Xin
Abstract:
In this paper, we obtain a blow up criterion for strong solutions to the 3-D compressible Naveri-Stokes equations just in terms of the gradient of the velocity, similar to the Beal-Kato-Majda criterion for the ideal incompressible flow. The key ingredients in our analysis are the a priori super-norm estimate of the momentum by a Moser-iteration and an estimate of the space-time square mean of th…
▽ More
In this paper, we obtain a blow up criterion for strong solutions to the 3-D compressible Naveri-Stokes equations just in terms of the gradient of the velocity, similar to the Beal-Kato-Majda criterion for the ideal incompressible flow. The key ingredients in our analysis are the a priori super-norm estimate of the momentum by a Moser-iteration and an estimate of the space-time square mean of the gradient of the density.
In addition, initial vacuum is allowed in our case.
△ Less
Submitted 16 February, 2009;
originally announced February 2009.
-
Schrodinger Equation As a General Optimization Algorithm
Authors:
Xiaofei Huang
Abstract:
One of the greatest scientific achievements of physics in the 20th century is the discovery of quantum mechanics. The Schrodinger equation is the most fundamental equation in quantum mechanics describing the time-based evolution of the quantum state of a physical system. It has been found that the time-independent version of the equation can be derived from a general optimization algorithm. Inst…
▽ More
One of the greatest scientific achievements of physics in the 20th century is the discovery of quantum mechanics. The Schrodinger equation is the most fundamental equation in quantum mechanics describing the time-based evolution of the quantum state of a physical system. It has been found that the time-independent version of the equation can be derived from a general optimization algorithm. Instead of arguing for a new interpretation and possible deeper principle for quantum mechanics, this paper elaborates a few points of the equation as a general global optimization algorithm. Benchmarked against randomly generated hard optimization problems, this paper shows that the algorithm significantly outperformed a classic local optimization algorithm. The former found a solution in one second with a single trial better than the best one found by the latter around one hour after one hundred thousand trials.
△ Less
Submitted 10 February, 2009;
originally announced February 2009.
-
Separability of Multi-Partite Quantum States
Authors:
Xiaofen Huang,
Naihuan Jing
Abstract:
We give a direct tensor decomposition for any density matrix into Hermitian operators. Based upon the decomposition we study when the mixed states are separable and generalize the separability indicators to multi-partite states and show that a density operator is separable if and only if the separable indicator is non-negative. We then derive two bounds for the separable indicator in terms of th…
▽ More
We give a direct tensor decomposition for any density matrix into Hermitian operators. Based upon the decomposition we study when the mixed states are separable and generalize the separability indicators to multi-partite states and show that a density operator is separable if and only if the separable indicator is non-negative. We then derive two bounds for the separable indicator in terms of the spectrum of the factor operators in the tensor summands.
△ Less
Submitted 31 July, 2008;
originally announced July 2008.
