Showing 1–50 of 76 results for author: Guo, Y

Mass-Critical Neutron Stars in the Hartree-Fock and Hartree-Fock-Bogoliubov Theories

Authors: Bin Chen, Yujin Guo, Phan Thành Nam, Dong Hao Ou Yang

Abstract: We investigate the ground states of neutron stars and white dwarfs in the Hartree-Fock (HF) and Hartree-Fock-Bogoliubov (HFB) theories. It is known that the system is stable below a critical mass, which depends on the gravitational constant, while it becomes unstable if the total mass exceeds the critical mass. We prove that if the total mass is at the critical mass, then the HFB minimizers do not… ▽ More We investigate the ground states of neutron stars and white dwarfs in the Hartree-Fock (HF) and Hartree-Fock-Bogoliubov (HFB) theories. It is known that the system is stable below a critical mass, which depends on the gravitational constant, while it becomes unstable if the total mass exceeds the critical mass. We prove that if the total mass is at the critical mass, then the HFB minimizers do not exist for any gravitational constant, while the HF minimizers exist for every gravitational constant except for a countable set, which is fully characterized by the Gagliardo-Nirenberg inequality for orthonormal systems. Our results complement the existence results in the sub-critical mass case established in [E. Lenzmann and M. Lewin, Duke Math. J., 2010]. △ Less

Submitted 23 April, 2025; originally announced April 2025.

Comments: 36 pages

Bootstrapping SU(3) Lattice Yang-Mills Theory

Authors: Yuanhong Guo, Zeyu Li, Gang Yang, Guorui Zhu

Abstract: We apply the positivity bootstrap approach to SU(3) lattice Yang-Mills (YM) theory, extending previous studies of large N and SU(2) theories by incorporating multiple-trace Wilson loop operators. Utilizing Hermitian and reflection positivity conditions, along with Schwinger-Dyson (SD) loop equations, we compute rigorous bounds for the expectation values of plaquette Wilson loop in 2D, 3D, and 4D Y… ▽ More We apply the positivity bootstrap approach to SU(3) lattice Yang-Mills (YM) theory, extending previous studies of large N and SU(2) theories by incorporating multiple-trace Wilson loop operators. Utilizing Hermitian and reflection positivity conditions, along with Schwinger-Dyson (SD) loop equations, we compute rigorous bounds for the expectation values of plaquette Wilson loop in 2D, 3D, and 4D YM theories. Our results exhibit clear convergence and are consistent with known analytic or numerical results. To enhance the approach, we introduce a novel twist-reflection positivity condition, which we prove to be exact in the 2D YM theory. Additionally, we propose a dimensional-reduction truncation, where Wilson loop operators are effectively restricted to a lower-dimensional subplane, significantly simplifying the computations. SD equations for double-trace Wilson loops are also derived in detail. Our findings suggest that the positivity bootstrap method is broadly applicable to higher-rank gauge theories beyond the single-trace cases, providing a solid foundation for further non-perturbative investigations of gauge theories using positivity-based methods. △ Less

Submitted 20 February, 2025; originally announced February 2025.

Comments: 52 pages, 16 figures

Cascade equation for the discontinuities in the Stefan problem with surface tension

Authors: Yucheng Guo, Sergey Nadtochiy, Mykhaylo Shkolnikov

Abstract: The Stefan problem with surface tension is well known to exhibit discontinuities in the associated moving aggregate (i.e., in the domain occupied by the solid), whose structure has only been understood under translational or radial symmetry so far. In this paper, we derive an auxiliary partial differential equation of second-order hyperbolic type, referred to as the cascade equation, that captures… ▽ More The Stefan problem with surface tension is well known to exhibit discontinuities in the associated moving aggregate (i.e., in the domain occupied by the solid), whose structure has only been understood under translational or radial symmetry so far. In this paper, we derive an auxiliary partial differential equation of second-order hyperbolic type, referred to as the cascade equation, that captures said discontinuities in the absence of any symmetry assumptions. Specializing to the one-phase setting, we introduce a novel (global) notion of weak solution to the cascade equation, which is defined as a limit of mean-field game equilibria. For the spatial dimension two, we show the existence of such a weak solution and prove a natural perimeter estimate on the associated moving aggregate. △ Less

Submitted 19 October, 2024; originally announced October 2024.

Comments: 41 pages

MSC Class: 80A22; 35L10; 49N80; 49Q15

Efficient energy-stable parametric finite element methods for surface diffusion flow and applications in solid-state dewetting

Authors: Meng Li, Yihang Guo, Jingjiang Bi

Abstract: Currently existing energy-stable parametric finite element methods for surface diffusion flow and other flows are usually limited to first-order accuracy in time. Designing a high-order algorithm for geometric flows that can also be theoretically proven to be energy-stable poses a significant challenge. Motivated by the new scalar auxiliary variable approach [F.Huang, J.Shen, Z.Yang, SIAM J. SCI.… ▽ More Currently existing energy-stable parametric finite element methods for surface diffusion flow and other flows are usually limited to first-order accuracy in time. Designing a high-order algorithm for geometric flows that can also be theoretically proven to be energy-stable poses a significant challenge. Motivated by the new scalar auxiliary variable approach [F.Huang, J.Shen, Z.Yang, SIAM J. SCI. Comput., 42 (2020), pp. A2514-A2536], we propose novel energy-stable parametric finite element approximations for isotropic/anisotropic surface diffusion flows, achieving both first-order and second-order accuracy in time. Additionally, we apply the algorithms to simulate the solid-state dewetting of thin films. Finally, extensive numerical experiments validate the accuracy, energy stability, and efficiency of our developed numerical methods. The designed algorithms in this work exhibit strong versatility, as they can be readily extended to other high-order time discretization methods (e.g., BDFk schemes). Meanwhile, the algorithms achieve remarkable computational efficiency and maintain excellent mesh quality. More importantly, the algorithm can be theoretically proven to possess unconditional energy stability, with the energy nearly equal to the original energy. △ Less

Submitted 12 July, 2024; originally announced July 2024.

RBMD: A molecular dynamics package enabling to simulate 10 million all-atom particles in a single graphics processing unit

Authors: Weihang Gao, Teng Zhao, Yongfa Guo, Jiuyang Liang, Huan Liu, Maoying Luo, Zedong Luo, Wei Qin, Yichao Wang, Qi Zhou, Shi Jin, Zhenli Xu

Abstract: This paper introduces a random-batch molecular dynamics (RBMD) package for fast simulations of particle systems at the nano/micro scale. Different from existing packages, the RBMD uses random batch methods for nonbonded interactions of particle systems. The long-range part of Coulomb interactions is calculated in Fourier space by the random batch Ewald algorithm, which achieves linear complexity a… ▽ More This paper introduces a random-batch molecular dynamics (RBMD) package for fast simulations of particle systems at the nano/micro scale. Different from existing packages, the RBMD uses random batch methods for nonbonded interactions of particle systems. The long-range part of Coulomb interactions is calculated in Fourier space by the random batch Ewald algorithm, which achieves linear complexity and superscalability, surpassing classical lattice-based Ewald methods. For the short-range part, the random batch list algorithm is used to construct neighbor lists, significantly reducing both computational and memory costs. The RBMD is implemented on GPU-CPU heterogeneous architectures, with classical force fields for all-atom systems. Benchmark systems are used to validate accuracy and performance of the package. Comparison with the particle-particle particle-mesh method and the Verlet list method in the LAMMPS package is performed on three different NVIDIA GPUs, demonstrating high efficiency of the RBMD on heterogeneous architectures. Our results also show that the RBMD enables simulations on a single GPU with a CPU core up to 10 million particles. Typically, for systems of one million particles, the RBMD allows simulating all-atom systems with a high efficiency of 8.20 ms per step, demonstrating the attractive feature for running large-scale simulations of practical applications on a desktop machine. △ Less

Submitted 22 August, 2024; v1 submitted 12 July, 2024; originally announced July 2024.

Comments: 26 pages, 8 figures

Mass Concentration of Two-Spinless Fermi Systems with Attractive Interactions

Authors: Yujin Guo, Yan Li

Abstract: We study the two-spinless mass-critical Fermi systems with attractive interactions and trapping potentials. We prove that ground states of the system exist, if and only if the strength $a$ of attractive interactions satisfies $0<a<a_2^*$, where $0<a_2^*<+\infty$ is the best constant of a dual finite-rank Lieb-Thirring inequality. By the blow-up analysis of many-fermion systems, we show that ground… ▽ More We study the two-spinless mass-critical Fermi systems with attractive interactions and trapping potentials. We prove that ground states of the system exist, if and only if the strength $a$ of attractive interactions satisfies $0<a<a_2^*$, where $0<a_2^*<+\infty$ is the best constant of a dual finite-rank Lieb-Thirring inequality. By the blow-up analysis of many-fermion systems, we show that ground states of the system concentrate at the flattest minimum points of the trapping potential $V(x)$ as $a\nearrow a_2^*$. △ Less

Submitted 26 March, 2024; originally announced March 2024.

Ground States of Fermionic Nonlinear Schrödinger Systems with Coulomb Potential II: The $L^2$-Critical Case

Authors: Bin Chen, Yujin Guo, Shu Zhang

Abstract: As a continuation of \cite{me}, we consider ground states of the $N$ coupled fermionic nonlinear Schrödinger system with a parameter $a $ and the Coulomb potential $V(x)$ in the $L^2$-critical case, where $a>0$ represents the attractive strength of the quantum particles. For any given $N\in\mathbb{N}^+$, we prove that the system admits ground states, if and only if the attractive strength $a$ sati… ▽ More As a continuation of \cite{me}, we consider ground states of the $N$ coupled fermionic nonlinear Schrödinger system with a parameter $a $ and the Coulomb potential $V(x)$ in the $L^2$-critical case, where $a>0$ represents the attractive strength of the quantum particles. For any given $N\in\mathbb{N}^+$, we prove that the system admits ground states, if and only if the attractive strength $a$ satisfies $0<a<a^*_N$, where the critical constant $0<a^*_N<\infty$ is the same as the best constant of a dual finite-rank Lieb-Thirring inequality. By developing the so-called blow-up analysis of many-body fermionic problems, we also prove the mass concentration behavior of ground states for the system as $a\nearrow a_N^*$. △ Less

Submitted 11 December, 2023; originally announced December 2023.

Efficient deep data assimilation with sparse observations and time-varying sensors

Authors: Sibo Cheng, Che Liu, Yike Guo, Rossella Arcucci

Abstract: Variational Data Assimilation (DA) has been broadly used in engineering problems for field reconstruction and prediction by performing a weighted combination of multiple sources of noisy data. In recent years, the integration of deep learning (DL) techniques in DA has shown promise in improving the efficiency and accuracy in high-dimensional dynamical systems. Nevertheless, existing deep DA approa… ▽ More Variational Data Assimilation (DA) has been broadly used in engineering problems for field reconstruction and prediction by performing a weighted combination of multiple sources of noisy data. In recent years, the integration of deep learning (DL) techniques in DA has shown promise in improving the efficiency and accuracy in high-dimensional dynamical systems. Nevertheless, existing deep DA approaches face difficulties in dealing with unstructured observation data, especially when the placement and number of sensors are dynamic over time. We introduce a novel variational DA scheme, named Voronoi-tessellation Inverse operator for VariatIonal Data assimilation (VIVID), that incorporates a DL inverse operator into the assimilation objective function. By leveraging the capabilities of the Voronoi-tessellation and convolutional neural networks, VIVID is adept at handling sparse, unstructured, and time-varying sensor data. Furthermore, the incorporation of the DL inverse operator establishes a direct link between observation and state space, leading to a reduction in the number of minimization steps required for DA. Additionally, VIVID can be seamlessly integrated with Proper Orthogonal Decomposition (POD) to develop an end-to-end reduced-order DA scheme, which can further expedite field reconstruction. Numerical experiments in a fluid dynamics system demonstrate that VIVID can significantly outperform existing DA and DL algorithms. The robustness of VIVID is also accessed through the application of various levels of prior error, the utilization of varying numbers of sensors, and the misspecification of error covariance in DA. △ Less

Submitted 24 October, 2023; originally announced October 2023.

Ground States of Fermionic Nonlinear Schrödinger Systems with Coulomb Potential I: The $L^2$-Subcritical Case

Authors: Bin Chen, Yujin Guo

Abstract: We consider ground states of the $N$ coupled fermionic nonlinear Schrödinger systems with the Coulomb potential $V(x)$ in the $L^2$-subcritical case. By studying the associated constraint variational problem, we prove the existence of ground states for the system with any parameter $α>0$, which represents the attractive strength of the non-relativistic quantum particles. The limiting behavior of g… ▽ More We consider ground states of the $N$ coupled fermionic nonlinear Schrödinger systems with the Coulomb potential $V(x)$ in the $L^2$-subcritical case. By studying the associated constraint variational problem, we prove the existence of ground states for the system with any parameter $α>0$, which represents the attractive strength of the non-relativistic quantum particles. The limiting behavior of ground states for the system is also analyzed as $α\to\infty$, where the mass concentrates at one of the singular points for the Coulomb potential $V(x)$. △ Less

Submitted 19 May, 2024; v1 submitted 30 September, 2023; originally announced October 2023.

Comments: 30 pages, this is a revised version of the manuscript arXiv:2310.00563

Stefan problem with surface tension: uniqueness of physical solutions under radial symmetry

Authors: Yucheng Guo, Sergey Nadtochiy, Mykhaylo Shkolnikov

Abstract: We study the Stefan problem with surface tension and radially symmetric initial data. In this context, the notion of a so-called physical solution, which exists globally despite the inherent blow-ups of the melting rate, has been recently introduced in [NS23]. The paper at hand is devoted to the proof that the physical solution is unique, the first such result when the free boundary is not flat, o… ▽ More We study the Stefan problem with surface tension and radially symmetric initial data. In this context, the notion of a so-called physical solution, which exists globally despite the inherent blow-ups of the melting rate, has been recently introduced in [NS23]. The paper at hand is devoted to the proof that the physical solution is unique, the first such result when the free boundary is not flat, or when two phases are present. The main argument relies on a detailed analysis of the hitting probabilities for a three-dimensional Brownian motion, as well as on a novel convexity property of the free boundary obtained by comparison techniques. In the course of the proof, we establish a wide variety of regularity estimates for the free boundary and for the temperature function, of interest in their own right. △ Less

Submitted 5 June, 2023; originally announced June 2023.

Comments: 50 pages, 1 figure

MSC Class: 80A22; 35B44; 60H30; 35B05

Solving anharmonic oscillator with null states: Hamiltonian bootstrap and Dyson-Schwinger equations

Authors: Yongwei Guo, Wenliang Li

Abstract: As basic quantum mechanical models, anharmonic oscillators are recently revisited by bootstrap methods. An effective approach is to make use of the positivity constraints in Hermitian theories. There exists an alternative avenue based on the null state condition, which applies to both Hermitian and non-Hermitian theories. In this work, we carry out an analytic bootstrap study of the quartic oscill… ▽ More As basic quantum mechanical models, anharmonic oscillators are recently revisited by bootstrap methods. An effective approach is to make use of the positivity constraints in Hermitian theories. There exists an alternative avenue based on the null state condition, which applies to both Hermitian and non-Hermitian theories. In this work, we carry out an analytic bootstrap study of the quartic oscillator based on the small coupling expansion. In the Hamiltonian formalism, we obtain the anharmonic generalization of Dirac's ladder operators. Furthermore, the Schrodinger equation can be interpreted as a null state condition generated by an anharmonic ladder operator. This provides an explicit example in which dynamics is incorporated into the principle of nullness. In the Lagrangian formalism, we show that the existence of null states can effectively eliminate the indeterminacy of the Dyson-Schwinger equations and systematically determine $n$-point Green's functions. △ Less

Submitted 1 December, 2023; v1 submitted 25 May, 2023; originally announced May 2023.

Comments: v3: 54 pages, typos corrected, references updated, discussions improved, Sec. 2.2 significantly expanded (high order results and comparison to the nonperturbative null bootstrap added)

Numerical methods for computing the discrete and continuous Laplace transforms

Authors: Yupeng Zhang, Yueyang Shen, Rongqian Zhang, Yuyao Liu, Yunjie Guo, Daxuan Deng, Ivo D. Dinov

Abstract: We propose a numerical method to spline-interpolate discrete signals and then apply the integral transforms to the corresponding analytical spline functions. This represents a robust and computationally efficient technique for estimating the Laplace transform for noisy data. We revisited a Meijer-G symbolic approach to compute the Laplace transform and alternative approaches to extend canonical ob… ▽ More We propose a numerical method to spline-interpolate discrete signals and then apply the integral transforms to the corresponding analytical spline functions. This represents a robust and computationally efficient technique for estimating the Laplace transform for noisy data. We revisited a Meijer-G symbolic approach to compute the Laplace transform and alternative approaches to extend canonical observed time-series. A discrete quantization scheme provides the foundation for rapid and reliable estimation of the inverse Laplace transform. We derive theoretic estimates for the inverse Laplace transform of analytic functions and demonstrate empirical results validating the algorithmic performance using observed and simulated data. We also introduce a generalization of the Laplace transform in higher dimensional space-time. We tested the discrete LT algorithm on data sampled from analytic functions with known exact Laplace transforms. The validation of the discrete ILT involves using complex functions with known analytic ILTs. △ Less

Submitted 25 April, 2023; originally announced April 2023.

Existence and Uniqueness of Constraint Minimizers for the Planar Schrodinger-Poisson System with Logarithmic Potentials

Authors: Yujin Guo, Wenning Liang, Yan Li

Abstract: In this paper, we study constraint minimizers $u$ of the planar Schrödinger-Poisson system with a logarithmic convolution potential $\ln |x|\ast u^2$ and a logarithmic external potential $V(x)=\ln (1+|x|^2)$, which can be described by the $L^2$-critical constraint minimization problem with a subcritical perturbation. We prove that there is a threshold $ρ^* \in (0,\infty)$ such that constraint mini… ▽ More In this paper, we study constraint minimizers $u$ of the planar Schrödinger-Poisson system with a logarithmic convolution potential $\ln |x|\ast u^2$ and a logarithmic external potential $V(x)=\ln (1+|x|^2)$, which can be described by the $L^2$-critical constraint minimization problem with a subcritical perturbation. We prove that there is a threshold $ρ^* \in (0,\infty)$ such that constraint minimizers exist if and only if $0<ρ<ρ^*$. In particular, the local uniqueness of positive constraint minimizers as $ρ\nearrowρ^*$ is analyzed by overcoming the sign-changing property of the logarithmic convolution potential and the non-invariance under translations of the logarithmic external potential. △ Less

Submitted 30 November, 2022; originally announced December 2022.

Comments: 36 pages, all comments are welcome

Nonexistence of Vortices for Rotating Two-Component Focusing Bose Gases

Authors: Yongshuai Gao, Yujin Guo, Yan Li, Yong Luo

Abstract: This paper is concerned with ground states of two-component Bose gases confined in a harmonic trap $V(x)=x_1^2+Λ^2 x_2^2$ rotating at the velocity $Ω>0$, where $Λ\ge 1$ and $(x_1, x_2)\in R^2$. We focus on the case where the intraspecies interaction $(-a_1,-a_2)$ and the interspecies interaction $-β$ are both attractive, i.e, $a_1, a_2$ and $β$ are all positive. It is shown that for any… ▽ More This paper is concerned with ground states of two-component Bose gases confined in a harmonic trap $V(x)=x_1^2+Λ^2 x_2^2$ rotating at the velocity $Ω>0$, where $Λ\ge 1$ and $(x_1, x_2)\in R^2$. We focus on the case where the intraspecies interaction $(-a_1,-a_2)$ and the interspecies interaction $-β$ are both attractive, i.e, $a_1, a_2$ and $β$ are all positive. It is shown that for any $0<Ω<Ω^*:=2$, ground states exist if and only if $0<a_1,\, a_2<a^*:=\|w\|^2_2$ and $0<β<β^*:=a^*+\sqrt{(a^*-a_1)(a^*-a_2)}$, where $w>0$ is the unique positive solution of $-Δw+ w-w^3=0$ in $R^2$. By developing the argument of refined expansions, we further prove the nonexistence of vortices for ground states as $β\nearrowβ^*$, where $0<Ω<Ω^*$ and $0<a_1,\, a_2<a^*$ are fixed. △ Less

Submitted 27 November, 2022; originally announced November 2022.

Comments: 59 pages, 1 figure, and all comments are welcome

Disordered Lieb-Robinson bounds in one dimension

Authors: Christopher L. Baldwin, Adam Ehrenberg, Andrew Y. Guo, Alexey V. Gorshkov

Abstract: By tightening the conventional Lieb-Robinson bounds to better handle systems which lack translation invariance, we determine the extent to which "weak links" suppress operator growth in disordered one-dimensional spin chains. In particular, we prove that ballistic growth is impossible when the distribution of coupling strengths $μ(J)$ has a sufficiently heavy tail at small $J$, and identify the co… ▽ More By tightening the conventional Lieb-Robinson bounds to better handle systems which lack translation invariance, we determine the extent to which "weak links" suppress operator growth in disordered one-dimensional spin chains. In particular, we prove that ballistic growth is impossible when the distribution of coupling strengths $μ(J)$ has a sufficiently heavy tail at small $J$, and identify the correct dynamical exponent to use instead. Furthermore, through a detailed analysis of the special case in which the couplings are genuinely random and independent, we find that the standard formulation of Lieb-Robinson bounds is insufficient to capture the complexity of the dynamics -- we must distinguish between bounds which hold for all sites of the chain and bounds which hold for a subsequence of sites, and we show by explicit example that these two can have dramatically different behaviors. All the same, our result for the dynamical exponent is tight, in that we prove by counterexample that there cannot exist any Lieb-Robinson bound with a smaller exponent. We close by discussing the implications of our results, both major and minor, for numerous applications ranging from quench dynamics to the structure of ground states. △ Less

Submitted 10 August, 2022; originally announced August 2022.

Comments: 23 pages, comments welcome

Simultaneous recovery of an obstacle and its excitation sources from near-field scattering data

Authors: Yan Chang, Yukun Guo

Abstract: This paper is concerned with the inverse problem of determining an obstacle and the corresponding incident point sources in the Helmholtz equation from near-field scattering data. An optimization method is proposed to simultaneously recover both the obstacle and source locations. Moreover, a two-step sampling scheme with novel indicator functions is proposed to produce a good initial guess for sol… ▽ More This paper is concerned with the inverse problem of determining an obstacle and the corresponding incident point sources in the Helmholtz equation from near-field scattering data. An optimization method is proposed to simultaneously recover both the obstacle and source locations. Moreover, a two-step sampling scheme with novel indicator functions is proposed to produce a good initial guess for solving the optimization problem. Theoretically, we analyze the convergence properties of the optimization method and the indicating behaviors of the indicator functions. Several numerical examples are presented to show the effectiveness of the proposed method. △ Less

Submitted 23 December, 2021; originally announced December 2021.

Comments: 26 pages, 9 figures

Naked singularities in the Einstein-Euler system

Authors: Yan Guo, Mahir Hadzic, Juhi Jang

Abstract: In 1990, based on numerical and formal asymptotic analysis, Ori and Piran predicted the existence of self-similar spacetimes, called relativistic Larson-Penston solutions, that can be suitably flattened to obtain examples of spacetimes that dynamically form naked singularities from smooth initial data, and solve the radially symmetric Einstein-Euler system. Despite its importance, a rigorous proof… ▽ More In 1990, based on numerical and formal asymptotic analysis, Ori and Piran predicted the existence of self-similar spacetimes, called relativistic Larson-Penston solutions, that can be suitably flattened to obtain examples of spacetimes that dynamically form naked singularities from smooth initial data, and solve the radially symmetric Einstein-Euler system. Despite its importance, a rigorous proof of the existence of such spacetimes has remained elusive, in part due to the complications associated with the analysis across the so-called sonic hypersurface. We provide a rigorous mathematical proof. Our strategy is based on a delicate study of nonlinear invariances associated with the underlying non-autonomous dynamical system to which the problem reduces after a self-similar reduction. Key technical ingredients are a monotonicity lemma tailored to the problem, an ad hoc shooting method developed to construct a solution connecting the sonic hypersurface to the so-called Friedmann solution, and a nonlinear argument to construct the maximal analytic extension of the solution. Finally, we reformulate the problem in double-null gauge to truncate the self-similar profile and thus obtain an asymptotically flat spacetime with an isolated naked singularity. △ Less

Submitted 20 December, 2021; originally announced December 2021.

Comments: 150 pages, 9 figures

MSC Class: 35Q76; 35Q35; 37N20; 83C75

Gravitational Collapse for Polytropic Gaseous Stars: Self-similar Solutions

Authors: Yan Guo, Mahir Hadzic, Juhi Jang, Matthew Schrecker

Abstract: In the supercritical range of the polytropic indices $γ\in(1,\frac43)$ we show the existence of smooth radially symmetric self-similar solutions to the gravitational Euler-Poisson system. These solutions exhibit gravitational collapse in the sense that the density blows-up in finite time. Some of these solutions were numerically found by Yahil in 1983 and they can be thought of as polytropic analo… ▽ More In the supercritical range of the polytropic indices $γ\in(1,\frac43)$ we show the existence of smooth radially symmetric self-similar solutions to the gravitational Euler-Poisson system. These solutions exhibit gravitational collapse in the sense that the density blows-up in finite time. Some of these solutions were numerically found by Yahil in 1983 and they can be thought of as polytropic analogues of the Larson-Penston collapsing solutions in the isothermal case $γ=1$. They each contain a sonic point, which leads to numerous mathematical difficulties in the existence proof. △ Less

Submitted 26 July, 2021; originally announced July 2021.

Comments: 92 pages

MSC Class: 35Q85; 35B44; 34C05

Monogamy of quantum discord

Authors: Yu Guo, Lizhong Huang, Yang Zhang

Abstract: The original quantum discord (QD) is shown to be not monogamous except for the three-qubit states. Recently, a complete monogamy relation for multiparty quantum system was established for entanglement in [Phys. Rev. A. {101}, 032301~(2020)], and in addition, a new multipartite generalization of QD was proposed in [Phys. Rev. Lett. {124}, 110401~(2020)]. In this work, we firstly define the complete… ▽ More The original quantum discord (QD) is shown to be not monogamous except for the three-qubit states. Recently, a complete monogamy relation for multiparty quantum system was established for entanglement in [Phys. Rev. A. {101}, 032301~(2020)], and in addition, a new multipartite generalization of QD was proposed in [Phys. Rev. Lett. {124}, 110401~(2020)]. In this work, we firstly define the complete monogamy for this multipartite quantum discord (MQD) and the global quantum discord (GQD). MQD, with the same spirit as the complete monogamy of entanglement, is said to be completely monogamous (i) if it does not increase under coarsening of subsystems and (ii) if some given combination of subsystems reach the total amount of the correlation, then all other combination of subsystems that do not include all the given subsystems do not contain such a correlation any more. Here, coarsening of subsystems means discarding or combining some subsystems up to the given partition. Simultaneously, the complete monogamy of GQD is also defined with slight modification on the coarsening relation.Consequently, we explore all the coarsening relations of MQD and show that it is completely monogamous with a modicum assumption. In addition, with the same spirit, we investigate all the coarsening relations for GQD and show that GQD is not completely monogamous.That is, in the sense of the complete monogamy relation, MQD as a generalization of the original QD captures the nature of such a quantum correlation, and thus it is nicer than GQD as a generalization. △ Less

Submitted 6 September, 2021; v1 submitted 1 March, 2021; originally announced March 2021.

Comments: 20 pages

Journal ref: Quantum Sci. Technol. 6 (2021) 045028

Direct imaging for the moment tensor point sources of elastic waves

Authors: Xianchao Wang, Yukun Guo, Sara Bousba

Abstract: We investigate an inverse source problem of the time-harmonic elastic wave equation. Some novel sampling-type numerical schemes are proposed to identify the moment tensor point sources in the Lamé system from near-field measurements. Rigorous theoretical justifications are provided to show that the locations and moment tensors of the elastic sources can be uniquely determined from the multi-freque… ▽ More We investigate an inverse source problem of the time-harmonic elastic wave equation. Some novel sampling-type numerical schemes are proposed to identify the moment tensor point sources in the Lamé system from near-field measurements. Rigorous theoretical justifications are provided to show that the locations and moment tensors of the elastic sources can be uniquely determined from the multi-frequency displacement data. Several numerical examples are also presented to illustrate the validity and robustness of the proposed method. △ Less

Submitted 25 January, 2021; originally announced January 2021.

Larson-Penston Self-similar Gravitational Collapse

Authors: Yan Guo, Mahir Hadzic, Juhi Jang

Abstract: Using numerical integration, in 1969 Penston [22] and Larson [17] independently discovered a self-similar solution describing the collapse of a self-gravitating asymptotically flat fluid with the isothermal equation of state $p=k\varrho$, $k>0$, and subject to Newtonian gravity. We rigorously prove the existence of such a Larson-Penston solution. Using numerical integration, in 1969 Penston [22] and Larson [17] independently discovered a self-similar solution describing the collapse of a self-gravitating asymptotically flat fluid with the isothermal equation of state $p=k\varrho$, $k>0$, and subject to Newtonian gravity. We rigorously prove the existence of such a Larson-Penston solution. △ Less

Submitted 2 November, 2020; originally announced November 2020.

Comments: 44 pages

MSC Class: 35Q85; 35B44; 34C05

The Nonexistence of Vortices for Rotating Bose-Einstein Condensates in Non-Radially Symmetric Traps

Authors: Yujin Guo

Abstract: We consider ground states of rotating Bose-Einstein condensates with attractive interactions in non-radially harmonic traps $V(x)=x_1^2+Λ^2x_2^2 $, where $0<Λ\not =1$ and $x=(x_1, x_2)\in R^2$. For any fixed rotational velocity $0\le Ω<Ω^*:=2\min \{1, Λ\}$, it is known that ground states exist if and only if $ a<a^*$ for some critical constant $0<a^*<\infty$, where $a>0$ denotes the product for th… ▽ More We consider ground states of rotating Bose-Einstein condensates with attractive interactions in non-radially harmonic traps $V(x)=x_1^2+Λ^2x_2^2 $, where $0<Λ\not =1$ and $x=(x_1, x_2)\in R^2$. For any fixed rotational velocity $0\le Ω<Ω^*:=2\min \{1, Λ\}$, it is known that ground states exist if and only if $ a<a^*$ for some critical constant $0<a^*<\infty$, where $a>0$ 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 $Ω$ 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<a<a^*$. △ Less

Submitted 27 October, 2021; v1 submitted 12 October, 2020; originally announced October 2020.

Comments: 29 pages, this is the revised version. The further revised version is published by Journal de Mathématiques Pures et Appliquées in 2023

Linear instability of $Z$-pinch in plasma (II): Viscous case

Authors: Dongfen Bian, Yan Guo, Ian Tice

Abstract: The z-pinch is a classical steady state for the MHD model, where a confined plasma fluid is separated by vacuum, in the presence of a magnetic field which is generated by a prescribed current along the $z$ direction. We develop a scaled variational framework to study its stability in the presence of viscosity effect, and demonstrate that any such z-pinch is always unstable. We also establish the e… ▽ More The z-pinch is a classical steady state for the MHD model, where a confined plasma fluid is separated by vacuum, in the presence of a magnetic field which is generated by a prescribed current along the $z$ direction. We develop a scaled variational framework to study its stability in the presence of viscosity effect, and demonstrate that any such z-pinch is always unstable. We also establish the existence of a largest growing mode, which dominates the linear growth of the linear MHD system. △ Less

Submitted 30 March, 2020; originally announced March 2020.

Comments: 68 pages, all comments are welcome

Linear instability of $Z$-pinch in plasma (I): Inviscid case

Authors: Dongfen Bian, Yan Guo, Ian Tice

Abstract: The z-pinch is a classical steady state for the MHD model, where a confined plasma fluid is separated by vacuum, in the presence of a magnetic field which is generated by a prescribed current along the z direction. We develop a variational framework to study its stability in the absence of viscosity effect, and demonstrate for the first time that any such a z-pinch is always unstable. Moreover, we… ▽ More The z-pinch is a classical steady state for the MHD model, where a confined plasma fluid is separated by vacuum, in the presence of a magnetic field which is generated by a prescribed current along the z direction. We develop a variational framework to study its stability in the absence of viscosity effect, and demonstrate for the first time that any such a z-pinch is always unstable. Moreover, we discover a sufficient condition such that the eigenvalues can be unbounded, which leads to ill-posedness of the linearized MHD system. △ Less

Submitted 30 March, 2020; originally announced March 2020.

Comments: 53 pages, all comments are welcome

Hierarchy of linear light cones with long-range interactions

Authors: Minh C. Tran, Chi-Fang Chen, Adam Ehrenberg, Andrew Y. Guo, Abhinav Deshpande, Yifan Hong, Zhe-Xuan Gong, Alexey V. Gorshkov, Andrew Lucas

Abstract: In quantum many-body systems with local interactions, quantum information and entanglement cannot spread outside of a linear light cone, which expands at an emergent velocity analogous to the speed of light. Local operations at sufficiently separated spacetime points approximately commute -- given a many-body state,… ▽ More In quantum many-body systems with local interactions, quantum information and entanglement cannot spread outside of a linear light cone, which expands at an emergent velocity analogous to the speed of light. Local operations at sufficiently separated spacetime points approximately commute -- given a many-body state, $\mathcal{O}_x(t) \mathcal{O}_y |ψ\rangle \approx \mathcal{O}_y\mathcal{O}_x(t) |ψ\rangle$ with arbitrarily small errors -- so long as $|x-y|\gtrsim vt$, where $v$ is finite. Yet most non-relativistic physical systems realized in nature have long-range interactions: two degrees of freedom separated by a distance $r$ interact with potential energy $V(r) \propto 1/r^α$. In systems with long-range interactions, we rigorously establish a hierarchy of linear light cones: at the same $α$, some quantum information processing tasks are constrained by a linear light cone while others are not. In one spatial dimension, this linear light cone exists for every many-body state when $α>3$ (Lieb-Robinson light cone); for a typical state chosen uniformly at random from the Hilbert space when $α>\frac{5}{2}$ (Frobenius light cone); for every state of a non-interacting system when $α>2$ (free light cone). These bounds apply to time-dependent systems and are optimal up to subalgebraic improvements. Our theorems regarding the Lieb-Robinson and free light cones -- and their tightness -- also generalize to arbitrary dimensions. We discuss the implications of our bounds on the growth of connected correlators and of topological order, the clustering of correlations in gapped systems, and the digital simulation of systems with long-range interactions. In addition, we show that universal quantum state transfer, as well as many-body quantum chaos, are bounded by the Frobenius light cone, and therefore are poorly constrained by all Lieb-Robinson bounds. △ Less

Submitted 18 July, 2022; v1 submitted 30 January, 2020; originally announced January 2020.

Comments: 36 pages; 6 figures; v2: revised and expanded introduction, a few extra results; v3: minor revisions. v4: corrections in Section 7

Journal ref: Phys. Rev. X 10, 031009 (2020)

Non-relativistic expansion of Dirac equation with spherical scalar and vector potentials by reconstituted Foldy-Wouthuysen transformation

Authors: Yixin Guo, Haozhao Liang

Abstract: Inspired by the reconstituted similarity renormalization group method, the reconstituted Foldy-Wouthuysen (FW) transformation is proposed. Applied to the Dirac equation in the covariant density functional theory, the reconstituted FW transformation shows a fast convergence of the spectrum of the single-particle energy. The single-particle densities and the single-particle scalar densities obtained… ▽ More Inspired by the reconstituted similarity renormalization group method, the reconstituted Foldy-Wouthuysen (FW) transformation is proposed. Applied to the Dirac equation in the covariant density functional theory, the reconstituted FW transformation shows a fast convergence of the spectrum of the single-particle energy. The single-particle densities and the single-particle scalar densities obtained by this new method are also investigated. In particular, the relativistic corrections to the densities from the picture-change error between the Schrödinger and Dirac pictures are discussed in detail. Taking these relativistic corrections into account, both the single-particle densities and the single-particle scalar densities are almost identical to their exact values. △ Less

Submitted 31 December, 2019; originally announced January 2020.

Comments: 12 pages, 9 figures

Report number: RIKEN-QHP-436, RIKEN-iTHEMS-Report-20

Journal ref: Phys. Rev. C 101, 024304 (2020)

Non-relativistic expansion of single-nucleon Dirac equation: Comparison between Foldy-Wouthuysen transformation and similarity renormalization group

Authors: Yixin Guo, Haozhao Liang

Abstract: By following the Foldy-Wouthuysen (FW) transformation of the Dirac equation, we work out the exact analytic expressions up to the $1/M^4$ order for the general cases in the covariant density functional theory. These results are further compared with the corresponding ones derived from another novel non-relativistic expansion method, the similarity renormalization group (SRG). Based on that, the or… ▽ More By following the Foldy-Wouthuysen (FW) transformation of the Dirac equation, we work out the exact analytic expressions up to the $1/M^4$ order for the general cases in the covariant density functional theory. These results are further compared with the corresponding ones derived from another novel non-relativistic expansion method, the similarity renormalization group (SRG). Based on that, the origin of the difference between the results obtained by the FW transformation and SRG method is explored. △ Less

Submitted 20 June, 2019; originally announced June 2019.

Comments: 14 pages

Report number: RIKEN-QHP-420, RIKEN-iTHEMS-Report-19

Journal ref: Chin. Phys. C 43, 114105 (2019)

The Landau equation with the specular reflection boundary condition

Authors: Yan Guo, Hyung Ju Hwang, Jin Woo Jang, Zhimeng Ouyang

Abstract: The existence and stability of the Landau equation (1936) in a general bounded domain with a physical boundary condition is a long-outstanding open problem. This work proves the global stability of the Landau equation with the Coulombic potential in a general smooth bounded domain with the specular reflection boundary condition for initial perturbations of the Maxwellian equilibrium states. The hi… ▽ More The existence and stability of the Landau equation (1936) in a general bounded domain with a physical boundary condition is a long-outstanding open problem. This work proves the global stability of the Landau equation with the Coulombic potential in a general smooth bounded domain with the specular reflection boundary condition for initial perturbations of the Maxwellian equilibrium states. The highlight of this work also comes from the low-regularity assumptions made for the initial distribution. This work generalizes the recent global stability result for the Landau equation in a periodic box (KGH-2016). Our methods consist of the generalization of the wellposedness theory for the Fokker-Planck equation (HJV-2014, HJJ-2018) and the extension of the boundary value problem to a whole space problem, as well as the use of a recent extension of De Giorgi-Nash-Moser theory for the kinetic Fokker-Planck equations (GIMV-2016) and the Morrey estimates (Polidoro-Ragusa-1998) to further control the velocity derivatives, which ensures the uniqueness. Our methods provide a new understanding of the grazing collisions in the Landau theory for an initial-boundary value problem. △ Less

Submitted 30 April, 2019; originally announced May 2019.

Comments: 56 pages

The Lieb-Yau Conjecture for Ground States of Pseudo-Relativistic Boson Stars

Authors: Yujin Guo, Xiaoyu Zeng

Abstract: It is known that ground states of the pseudo-relativistic Boson stars exist if and only if the stellar mass $N>0$ satisfies $N<N^*$, where the finite constant $N^*$ is called the critical stellar mass. Lieb and Yau conjecture in [Comm. Math. Phys., 1987] that ground states of the pseudo-relativistic Boson stars are unique for each $N<N^*$. In this paper, we prove that the above uniqueness conjectu… ▽ More It is known that ground states of the pseudo-relativistic Boson stars exist if and only if the stellar mass $N>0$ satisfies $N<N^*$, where the finite constant $N^*$ is called the critical stellar mass. Lieb and Yau conjecture in [Comm. Math. Phys., 1987] that ground states of the pseudo-relativistic Boson stars are unique for each $N<N^*$. In this paper, we prove that the above uniqueness conjecture holds for the particular case where $N>0$ is small enough. △ Less

Submitted 15 April, 2019; originally announced April 2019.

Comments: 22 pages, any comments are welcome

Journal ref: Journal of Functional Analysis (2020)

Non-relativistic expansion of Dirac equation with spherical scalar and vector potentials by similarity renormalization group

Authors: Yixin Guo, Haozhao Liang

Abstract: By following the conventional similarity renormalization group (SRG) expansion of the Dirac equation developed in [J.-Y. Guo, Phys. Rev. C \textbf{85}, 021302 (2012)], we work out the analytic expression of the ${1}/{M^4}$ order and verify the convergence of this method. As a step further, the reconstituted SRG method is proposed by using the re-summation technique. The speed of convergence of the… ▽ More By following the conventional similarity renormalization group (SRG) expansion of the Dirac equation developed in [J.-Y. Guo, Phys. Rev. C \textbf{85}, 021302 (2012)], we work out the analytic expression of the ${1}/{M^4}$ order and verify the convergence of this method. As a step further, the reconstituted SRG method is proposed by using the re-summation technique. The speed of convergence of the reconstituted SRG becomes much faster than the conventional one, and the single-particle densities with the reconstituted SRG are also almost identical to the exact values. △ Less

Submitted 8 April, 2019; originally announced April 2019.

Comments: 10 pages, 3 figures, and 8 tables

Report number: RIKEN-QHP-414, RIKEN-iTHEMS-Report-19

Journal ref: Phys. Rev. C 99, 054324 (2019)

The Nonexistence of Vortices for Rotating Bose-Einstein Condensates with Attractive Interactions

Authors: Yujin Guo, Yong Luo, Wen Yang

Abstract: This article is devoted to studying the model of two-dimensional attractive Bose-Einstein condensates in a trap $V(x)$ rotating at the velocity $Ω$. This model can be described by the complex-valued Gross-Pitaevskii energy functional. It is shown that there exists a critical rotational velocity $0<Ω^*:=Ω^*(V)\leq \infty$, depending on the general trap $V(x)$, such that for any rotational velocity… ▽ More This article is devoted to studying the model of two-dimensional attractive Bose-Einstein condensates in a trap $V(x)$ rotating at the velocity $Ω$. This model can be described by the complex-valued Gross-Pitaevskii energy functional. It is shown that there exists a critical rotational velocity $0<Ω^*:=Ω^*(V)\leq \infty$, depending on the general trap $V(x)$, such that for any rotational velocity $0\leq Ω<Ω^*$, minimizers (i.e., ground states) exist if and only if $a<a^*=\|w\|^2_2$, where $a>0$ denotes the absolute product for the number of particles times the scattering length, and $w>0$ is the unique positive solution of $Δw-w+w^3=0$ in $\mathbb{R}^2$. If $V(x)=|x|^2$ and $ 0<Ω<Ω^*(=2)$ is fixed, we prove that, up to a constant phase, all minimizers must be real-valued, unique and free of vortices as $a \nearrow a^*$, by analyzing the refined limit behavior of minimizers and employing the non-degenerancy of $w$. △ Less

Submitted 24 July, 2020; v1 submitted 28 January, 2019; originally announced January 2019.

Comments: 41 pages, the current file is an updated version of arXiv:1901.09619 and the title is changed. This paper is accepted by Archive for Rational Mechanics and Analysis

Continued Gravitational Collapse for Newtonian Stars

Authors: Yan Guo, Mahir Hadzic, Juhi Jang

Abstract: The classical model of an isolated selfrgavitating gaseous star is given by the Euler-Poisson system with a polytropic pressure law $P(ρ)=ρ^γ$, $γ>1$. For any $1<γ<\frac43$, we construct an infinite-dimensional family of collapsing solutions to the Euler-Poisson system whose density is in general space inhomogeneous and undergoes gravitational blowup along a prescribed space-time surface, with con… ▽ More The classical model of an isolated selfrgavitating gaseous star is given by the Euler-Poisson system with a polytropic pressure law $P(ρ)=ρ^γ$, $γ>1$. For any $1<γ<\frac43$, we construct an infinite-dimensional family of collapsing solutions to the Euler-Poisson system whose density is in general space inhomogeneous and undergoes gravitational blowup along a prescribed space-time surface, with continuous mass absorption at the origin. The leading order singular behavior is described by an explicit collapsing solution of the pressureless Euler-Poisson system. △ Less

Submitted 5 November, 2018; originally announced November 2018.

Comments: 103 pages, 2 figures

MSC Class: 35Q31; 35Q75; 35L81; 35B44; 76N15

Any entanglement of assistance is polygamous

Authors: Yu Guo

Abstract: We propose a condition for a measure of quantum correlation to be polygamous without the traditional polygamy inequality. It is shown to be equivalent to the standard polygamy inequalities for any continuous measure of quantum correlation with the polygamy power. We then show that any entanglement of assistance is polygamous but not monogamous and any faithful entanglement measure is not polygamou… ▽ More We propose a condition for a measure of quantum correlation to be polygamous without the traditional polygamy inequality. It is shown to be equivalent to the standard polygamy inequalities for any continuous measure of quantum correlation with the polygamy power. We then show that any entanglement of assistance is polygamous but not monogamous and any faithful entanglement measure is not polygamous. △ Less

Submitted 26 July, 2018; v1 submitted 16 October, 2017; originally announced October 2017.

Comments: 5 pages

Journal ref: Quantum Information Processing (2018) 17:222

Monogamy of entanglement without inequalities

Authors: Gilad Gour, Yu Guo

Abstract: We provide a fine-grained definition for monogamous measure of entanglement that does not invoke any particular monogamy relation. Our definition is given in terms an equality, as oppose to inequality, that we call the "disentangling condition". We relate our definition to the more traditional one, by showing that it generates standard monogamy relations. We then show that all quantum Markov state… ▽ More We provide a fine-grained definition for monogamous measure of entanglement that does not invoke any particular monogamy relation. Our definition is given in terms an equality, as oppose to inequality, that we call the "disentangling condition". We relate our definition to the more traditional one, by showing that it generates standard monogamy relations. We then show that all quantum Markov states satisfy the disentangling condition for any entanglement monotone. In addition, we demonstrate that entanglement monotones that are given in terms of a convex roof extension are monogamous if they are monogamous on pure states, and show that for any quantum state that satisfies the disentangling condition, its entanglement of formation equals the entanglement of assistance. We characterize all bipartite mixed states with this property, and use it to show that the G-concurrence is monogamous. In the case of two qubits, we show that the equality between entanglement of formation and assistance holds if and only if the state is a rank 2 bipartite state that can be expressed as the marginal of a pure 3-qubit state in the W class. △ Less

Submitted 9 August, 2018; v1 submitted 9 October, 2017; originally announced October 2017.

Comments: 9 pages + 14 Pages appendix, Final Version, Accepted by Quantum

Journal ref: Quantum 2, 81 (2018)

Blow-up behavior of ground states for a nonlinear Schrödinger system with attractive and repulsive interactions

Authors: Yujin Guo, Xiaoyu Zeng, Huan-Song Zhou

Abstract: We consider a nonlinear Schrödinger system arising in a two-component Bose-Einstein condensate (BEC) with attractive intraspecies interactions and repulsive interspecies interactions in $\mathbb{R}^2$. We get ground states of this system by solving a constrained minimization problem. For some kinds of trapping potentials, we prove that the minimization problem has a minimizer if and only if the at… ▽ More We consider a nonlinear Schrödinger system arising in a two-component Bose-Einstein condensate (BEC) with attractive intraspecies interactions and repulsive interspecies interactions in $\mathbb{R}^2$. We get ground states of this system by solving a constrained minimization problem. For some kinds of trapping potentials, we prove that the minimization problem has a minimizer if and only if the attractive interaction strength $a_i (i=1,2)$ of each component of the BEC system is strictly less than a threshold $a^*$. %attractive intraspecies interactions satisfies $a_i< %a^*= \|Q\|_2^2,\ i=1,\,2$, where $Q$ is the unique positive radial solution of $Δu-u+u^3=0$ in $\mathbb{R}^2$; in contrast, there is no minimizer if either $a_i > a^*$ for $i=1$ or $2$, or $a_1=a_2=a^*$. Furthermore, as $(a_1, a_2)\nearrow (a^*, a^*)$, the asymptotical behavior for the minimizers of the minimization problem is discussed. Our results show that each component of the BEC system concentrates at a global minimum of the associated trapping potential. △ Less

Submitted 3 October, 2017; originally announced October 2017.

Comments: 28 pages

MSC Class: 35J60; 35Q40; 46N50

Journal ref: J. DifferentialEquations, 2017

Solving the multi-frequency electromagnetic inverse source problem by the Fourier method

Authors: Guan Wang, Fuming Ma, Yukun Guo, Jingzhi Li

Abstract: This work is concerned with an inverse problem of identifying the current source distribution of the time-harmonic Maxwell's equations from multi-frequency measurements. Motivated by the Fourier method for the scalar Helmholtz equation and the polarization vector decomposition, we propose a novel method for determining the source function in the full vector Maxwell's system. Rigorous mathematical… ▽ More This work is concerned with an inverse problem of identifying the current source distribution of the time-harmonic Maxwell's equations from multi-frequency measurements. Motivated by the Fourier method for the scalar Helmholtz equation and the polarization vector decomposition, we propose a novel method for determining the source function in the full vector Maxwell's system. Rigorous mathematical justifications of the method are given and numerical examples are provided to demonstrate the feasibility and effectiveness of the method. △ Less

Submitted 2 August, 2017; originally announced August 2017.

Comments: 30 pages, 14 figures

MSC Class: 65N21; 35Q61; 65R32

Hydrodynamic Limit of a Kinetic Gas Flow Past an Obstacle

Authors: Raffaele Esposito, Yan Guo, Rossana Marra

Abstract: Given an obstacle in $\mathbb{R}^3$ and a non-zero velocity with small amplitude at the infinity, we construct the unique steady Boltzmann solution flowing around such an obstacle with the prescribed velocity as $|x|\to \infty$, which approaches the corresponding Navier-Stokes steady flow, as the mean-free path goes to zero. Furthermore, we establish the error estimate between the Boltzmann soluti… ▽ More Given an obstacle in $\mathbb{R}^3$ and a non-zero velocity with small amplitude at the infinity, we construct the unique steady Boltzmann solution flowing around such an obstacle with the prescribed velocity as $|x|\to \infty$, which approaches the corresponding Navier-Stokes steady flow, as the mean-free path goes to zero. Furthermore, we establish the error estimate between the Boltzmann solution and its Navier-Stokes approximation. Our method consists of new $L^6$ and $L^3$ estimates in the unbounded exterior domain, as well as an iterative scheme preserving the positivity of the distribution function. △ Less

Submitted 5 June, 2022; v1 submitted 18 February, 2017; originally announced February 2017.

Comments: Corrected some omissions

Journal ref: Commun. Math. Phys. vol. 364, pp. 765-823 (2018)

Local Uniqueness and Refined Spike Profiles of Ground States for Two-Dimensional Attractive Bose-Einstein Condensates

Authors: Yujin Guo, Changshou Lin, Juncheng Wei

Abstract: We consider ground states of two-dimensional Bose-Einstein condensates in a trap with attractive interactions, which can be described equivalently by positive minimizers of the $L^2-$critical constraint Gross-Pitaevskii energy functional. It is known that ground states exist if and only if $a< a^*:= \|w\|_2^2$, where $a$ denotes the interaction strength and $w$ is the unique positive solution of… ▽ More We consider ground states of two-dimensional Bose-Einstein condensates in a trap with attractive interactions, which can be described equivalently by positive minimizers of the $L^2-$critical constraint Gross-Pitaevskii energy functional. It is known that ground states exist if and only if $a< a^*:= \|w\|_2^2$, where $a$ denotes the interaction strength and $w$ is the unique positive solution of $Δw-w+w^3=0$ in $R^2$. In this paper, we prove the local uniqueness and refined spike profiles of ground states as $a\nearrow a^*$, provided that the trapping potential $h(x)$ is homogeneous and $H(y)=\int_{R^2} h(x+y)w^2(x)dx$ admits a unique and non-degenerate critical point. △ Less

Submitted 26 April, 2017; v1 submitted 10 December, 2016; originally announced December 2016.

Comments: 43 pages

Journal ref: SIAM J. Math. Anal. (2017)

Asymptotic Stability of the Boltzmann Equation with Maxwell Boundary Conditions

Authors: Marc Briant, Yan Guo

Abstract: In a general $C^1$ domain, we study the perturbative Cauchy theory for the Boltzmann equation with Maxwell boundary conditions with an accommodation coefficient $α$ in $(\sqrt{2/3},1]$, and discuss this threshold. We consider polynomial or stretched exponential weights $m(v)$ and prove existence, uniqueness and exponential trend to equilibrium around a global Maxwellian in $L^\infty_{x,v}(m)$. Of… ▽ More In a general $C^1$ domain, we study the perturbative Cauchy theory for the Boltzmann equation with Maxwell boundary conditions with an accommodation coefficient $α$ in $(\sqrt{2/3},1]$, and discuss this threshold. We consider polynomial or stretched exponential weights $m(v)$ and prove existence, uniqueness and exponential trend to equilibrium around a global Maxwellian in $L^\infty_{x,v}(m)$. Of important note is the fact that the methods do not involve contradiction arguments. △ Less

Submitted 14 June, 2016; v1 submitted 4 November, 2015; originally announced November 2015.

Comments: 68 pages

Journal ref: Journal of Differential Equations, Vol.261, Issue 12 pp 7000-7079 (2016)

On the Weak Coupling Limit of Quantum Many-body Dynamics and the Quantum Boltzmann Equation

Authors: Xuwen Chen, Yan Guo

Abstract: The rigorous derivation of the Uehling-Uhlenbeck equation from more fundamental quantum many-particle systems is a challenging open problem in mathematics. In this paper, we exam the weak coupling limit of quantum N-particle dynamics. We assume the integral of the microscopic interaction is zero and we assume W^{4,1} per-particle regularity on the coressponding BBGKY sequence so that we can rigoro… ▽ More The rigorous derivation of the Uehling-Uhlenbeck equation from more fundamental quantum many-particle systems is a challenging open problem in mathematics. In this paper, we exam the weak coupling limit of quantum N-particle dynamics. We assume the integral of the microscopic interaction is zero and we assume W^{4,1} per-particle regularity on the coressponding BBGKY sequence so that we can rigorously commute limits and integrals. We prove that, if the BBGKY sequence does converge in some weak sense, then this weak-coupling limit must satisfy the infinite quantum Maxwell-Boltzmann hierarchy instead of the expected infinite Uehling-Uhlenbeck hierarchy, regardless of the statistics the particles obey. Our result indicates that, in order to derive the Uehling-Uhlenbeck equation, one must work with per-particle regularity bound below W^{4,1}. △ Less

Submitted 4 December, 2014; originally announced December 2014.

Journal ref: Kinetic and Related Models, Vol.8 (2015), 443 - 465

Prandtl boundary layer expansions of steady Navier-Stokes flows over a moving plate

Authors: Yan Guo, Toan T. Nguyen

Abstract: This paper concerns the validity of the Prandtl boundary layer theory in the inviscid limit for steady incompressible Navier-Stokes flows. The stationary flows, with small viscosity, are considered on $[0,L]\times \mathbb{R}_{+}$, assuming a no-slip boundary condition over a moving plate at $y=0$. We establish the validity of the Prandtl boundary layer expansion and its error estimates. This paper concerns the validity of the Prandtl boundary layer theory in the inviscid limit for steady incompressible Navier-Stokes flows. The stationary flows, with small viscosity, are considered on $[0,L]\times \mathbb{R}_{+}$, assuming a no-slip boundary condition over a moving plate at $y=0$. We establish the validity of the Prandtl boundary layer expansion and its error estimates. △ Less

Submitted 25 November, 2014; originally announced November 2014.

Comments: 46 pages, no figure

When quantum channel preserves product states

Authors: Yu Guo, Zhaofang Bai, Shuanping Du, Xiulan Li

Abstract: Product states are always considered as the states that don't contain quantum correlation. We discuss here when a quantum channel sends the product states to themselves. The exact forms of such channels are proposed. It is shown that such a quantum channel is a local quantum channel, a composition of a local quantum channel and a flip operation, or such that one of the local states is fixed. Both… ▽ More Product states are always considered as the states that don't contain quantum correlation. We discuss here when a quantum channel sends the product states to themselves. The exact forms of such channels are proposed. It is shown that such a quantum channel is a local quantum channel, a composition of a local quantum channel and a flip operation, or such that one of the local states is fixed. Both finite- and infinite-dimensional systems are considered. △ Less

Submitted 21 September, 2014; originally announced September 2014.

Comments: 4 pages

Journal ref: Reports on Mathematical Physics, 74, 277-282 (2014)

Quantum correlation exists in any non-product state

Authors: Yu Guo, Shengjun Wu

Abstract: Simultaneous existence of correlation in complementary bases is a fundamental feature of quantum correlation, and we show that this characteristic is present in any non-product bipartite state. We propose a measure via mutually unbiased bases to study this feature of quantum correlation, and compare it with other measures of quantum correlation for several families of bipartite states. Simultaneous existence of correlation in complementary bases is a fundamental feature of quantum correlation, and we show that this characteristic is present in any non-product bipartite state. We propose a measure via mutually unbiased bases to study this feature of quantum correlation, and compare it with other measures of quantum correlation for several families of bipartite states. △ Less

Submitted 12 September, 2014; originally announced September 2014.

Comments: 5 pages

Journal ref: Scientific Reports 4:7179 (2014)

Unextendible entangled bases with fixed Schmidt number

Authors: Yu Guo, Shengjun Wu

Abstract: The unextendible product basis (UPB) is generalized to the unextendible entangled basis with any arbitrarily given Schmidt number $k$ (UEBk) for any bipartite system $\mathbb{C}^d\otimes\mathbb{C}^{d'}$ ($2\leq k<d\leq d'$), which can also be regarded as a generalization of the unextendible maximally entangled basis (UMEB). A general way of constructing such a basis with arbitrary $d$ and $d'$ is… ▽ More The unextendible product basis (UPB) is generalized to the unextendible entangled basis with any arbitrarily given Schmidt number $k$ (UEBk) for any bipartite system $\mathbb{C}^d\otimes\mathbb{C}^{d'}$ ($2\leq k<d\leq d'$), which can also be regarded as a generalization of the unextendible maximally entangled basis (UMEB). A general way of constructing such a basis with arbitrary $d$ and $d'$ is proposed. Consequently, it is shown that there are at least $k-r$ (here $r=d$ mod $k$, or $r=d'$ mod $k$) sets of UEBk when $d$ or $d'$ is not the multiple of $k$, while there are at least $2(k-1)$ sets of UEBk when both $d$ and $d'$ are the multiples of $k$. △ Less

Submitted 5 November, 2014; v1 submitted 16 July, 2014; originally announced July 2014.

Comments: 4 pages, minor revisions

Journal ref: Phys. Rev. A.90.054303(2014)

Energy estimates and symmetry breaking in attractive Bose-Einstein condensates with ring-shaped potentials

Authors: Yujin Guo, Xiaoyu Zeng, Huan-Song Zhou

Abstract: This paper is concerned with the properties of $L^2$-normalized minimizers of the Gross-Pitaevskii (GP) functional for a two-dimensional Bose-Einstein condensate with attractive interaction and ring-shaped potential. By establishing some delicate estimates on the least energy of the GP functional, we prove that symmetry breaking occurs for the minimizers of the GP functional as the interaction str… ▽ More This paper is concerned with the properties of $L^2$-normalized minimizers of the Gross-Pitaevskii (GP) functional for a two-dimensional Bose-Einstein condensate with attractive interaction and ring-shaped potential. By establishing some delicate estimates on the least energy of the GP functional, we prove that symmetry breaking occurs for the minimizers of the GP functional as the interaction strength $a>0$ approaches a critical value $a^*$, each minimizer of the GP functional concentrates to a point on the circular bottom of the potential well and then is non-radially symmetric as $a\nearrow a^*$. However, when $a>0$ is suitably small we prove that the minimizers of the GP functional are unique, and this unique minimizer is radially symmetric. △ Less

Submitted 29 June, 2014; originally announced June 2014.

Comments: 26 pages

MSC Class: 35J61; 35J20; 35Q55; 35Q40

Journal ref: Annales de l'Institut Henri Poincare (C) Non Linear Analysis, 2016

Spectral stability of Prandtl boundary layers: an overview

Authors: Emmanuel Grenier, Yan Guo, Toan T. Nguyen

Abstract: In this paper we show how the stability of Prandtl boundary layers is linked to the stability of shear flows in the incompressible Navier Stokes equations. We then recall classical physical instability results, and give a short educational presentation of the construction of unstable modes for Orr Sommerfeld equations. We end the paper with a conjecture concerning the validity of Prandtl boundary… ▽ More In this paper we show how the stability of Prandtl boundary layers is linked to the stability of shear flows in the incompressible Navier Stokes equations. We then recall classical physical instability results, and give a short educational presentation of the construction of unstable modes for Orr Sommerfeld equations. We end the paper with a conjecture concerning the validity of Prandtl boundary layer asymptotic expansions. △ Less

Submitted 17 June, 2014; originally announced June 2014.

Comments: 17 pages

Spectral instability of characteristic boundary layer flows

Authors: Emmanuel Grenier, Yan Guo, Toan T. Nguyen

Abstract: In this paper, we construct growing modes of the linearized Navier-Stokes equations about generic stationary shear flows of the boundary layer type in a regime of sufficiently large Reynolds number: $R \to \infty$. Notably, the shear profiles are allowed to be linearly stable at the infinite Reynolds number limit, and so the instability presented is purely due to the presence of viscosity. The for… ▽ More In this paper, we construct growing modes of the linearized Navier-Stokes equations about generic stationary shear flows of the boundary layer type in a regime of sufficiently large Reynolds number: $R \to \infty$. Notably, the shear profiles are allowed to be linearly stable at the infinite Reynolds number limit, and so the instability presented is purely due to the presence of viscosity. The formal construction of approximate modes is well-documented in physics literature, going back to the work of Heisenberg, C.C. Lin, Tollmien, Drazin and Reid, but a rigorous construction requires delicate mathematical details, involving for instance a treatment of primitive Airy functions and singular solutions. Our analysis gives exact unstable eigenvalues and eigenfunctions, showing that the solution could grow slowly at the rate of $e^{t/\sqrt {R}}$. A new, operator-based approach is introduced, avoiding to deal with matching inner and outer asymptotic expansions, but instead involving a careful study of singularity in the critical layers by deriving pointwise bounds on the Green function of the corresponding Rayleigh and Airy operators. △ Less

Submitted 15 June, 2014; originally announced June 2014.

Comments: 55 pages. arXiv admin note: substantial text overlap with arXiv:1402.1395

Journal ref: Duke Math. J. 165, no. 16 (2016), 3085-3146

Spectral instability of symmetric shear flows in a two-dimensional channel

Authors: Emmanuel Grenier, Yan Guo, Toan Nguyen

Abstract: This paper concerns spectral instability of shear flows in the incompressible Navier-Stokes equations with sufficiently large Reynolds number: $R\to \infty$. It is well-documented in the physical literature, going back to Heisenberg, C.C. Lin, Tollmien, Drazin and Reid, that generic plane shear profiles other than the linear Couette flow are linearly unstable for sufficiently large Reynolds number… ▽ More This paper concerns spectral instability of shear flows in the incompressible Navier-Stokes equations with sufficiently large Reynolds number: $R\to \infty$. It is well-documented in the physical literature, going back to Heisenberg, C.C. Lin, Tollmien, Drazin and Reid, that generic plane shear profiles other than the linear Couette flow are linearly unstable for sufficiently large Reynolds number. In this work, we provide a complete mathematical proof of these physical results. In the case of a symmetric channel flow, our analysis gives exact unstable eigenvalues and eigenfunctions, showing that the solution could grow slowly at the rate of $e^{t/\sqrt {αR}}$, where $α$ is the small spatial frequency that remains between lower and upper marginal stability curves: $α_\mathrm{low}(R) \approx R^{-1/7}$ and $α_\mathrm{up}(R) \approx R^{-1/11}$. We introduce a new, operator-based approach, which avoids to deal with matching inner and outer asymptotic expansions, but instead involves a careful study of singularity in the critical layers by deriving pointwise bounds on the Green function of the corresponding Rayleigh and Airy operators. △ Less

Submitted 6 February, 2014; originally announced February 2014.

Comments: 52 pages, 2 figures

The CHSH-type inequalities for infinite-dimensional quantum systems

Authors: Yu Guo

Abstract: By establishing CHSH operators and CHSH-type inequalities, we show that any entangled pure state in infinite-dimensional systems is entangled in a $2\otimes2$ subspace. We find that, for infinite-dimensional systems, the corresponding properties are similar to that of the two-qubit case: (i) The CHSH-type inequalities provide a sufficient and necessary condition for separability of pure states; (i… ▽ More By establishing CHSH operators and CHSH-type inequalities, we show that any entangled pure state in infinite-dimensional systems is entangled in a $2\otimes2$ subspace. We find that, for infinite-dimensional systems, the corresponding properties are similar to that of the two-qubit case: (i) The CHSH-type inequalities provide a sufficient and necessary condition for separability of pure states; (ii) The CHSH operators satisfy the Cirel'son inequalities; (iii) Any state which violates one of these Bell inequalities is distillable. △ Less

Submitted 14 August, 2013; originally announced August 2013.

Comments: 9 pages. arXiv admin note: text overlap with arXiv:1006.3557 by other authors

Journal ref: Modern Physics Letters B Vol. 27, No. 21 (2013) 1350151

On the Mass Concentration for Bose-Einstein Condensates with Attractive Interactions

Authors: Yujin Guo, Robert Seiringer

Abstract: We consider two-dimensional Bose-Einstein condensates with attractive interaction, described by the Gross-Pitaevskii functional. Minimizers of this functional exist only if the interaction strength $a$ satisfies $a < a^*= \|Q\|_2^2$, where $Q$ is the unique positive radial solution of $Δu-u+u^3=0$ in $\R^2$. We present a detailed analysis of the behavior of minimizers as $a$ approaches $a^*$, wher… ▽ More We consider two-dimensional Bose-Einstein condensates with attractive interaction, described by the Gross-Pitaevskii functional. Minimizers of this functional exist only if the interaction strength $a$ satisfies $a < a^*= \|Q\|_2^2$, where $Q$ is the unique positive radial solution of $Δu-u+u^3=0$ in $\R^2$. We present a detailed analysis of the behavior of minimizers as $a$ approaches $a^*$, where all the mass concentrates at a global minimum of the trapping potential. △ Less

Submitted 24 October, 2013; v1 submitted 23 January, 2013; originally announced January 2013.

Comments: LaTeX, 14 pages; revised version, to appear in Lett. Math. Phys

Journal ref: Lett. Math. Phys. 104, 141-156 (2014)