-
A unifying framework for quantum simulation algorithms for time-dependent Hamiltonian dynamics
Authors:
Yu Cao,
Shi Jin,
Nana Liu
Abstract:
Recently, there has been growing interest in simulating time-dependent Hamiltonians using quantum algorithms, driven by diverse applications, such as quantum adiabatic computing. While techniques for simulating time-independent Hamiltonian dynamics are well-established, time-dependent Hamiltonian dynamics is less explored and it is unclear how to systematically organize existing methods and to fin…
▽ More
Recently, there has been growing interest in simulating time-dependent Hamiltonians using quantum algorithms, driven by diverse applications, such as quantum adiabatic computing. While techniques for simulating time-independent Hamiltonian dynamics are well-established, time-dependent Hamiltonian dynamics is less explored and it is unclear how to systematically organize existing methods and to find new methods. Sambe-Howland's continuous clock elegantly transforms time-dependent Hamiltonian dynamics into time-independent Hamiltonian dynamics, which means that by taking different discretizations, existing methods for time-independent Hamiltonian dynamics can be exploited for time-dependent dynamics. In this work, we systemically investigate how Sambe-Howland's clock can serve as a unifying framework for simulating time-dependent Hamiltonian dynamics. Firstly, we demonstrate the versatility of this approach by showcasing its compatibility with analog quantum computing and digital quantum computing. Secondly, for digital quantum computers, we illustrate how this framework, combined with time-independent methods (e.g., product formulas, multi-product formulas, qDrift, and LCU-Taylor), can facilitate the development of efficient algorithms for simulating time-dependent dynamics. This framework allows us to (a) resolve the problem of finding minimum-gate time-dependent product formulas; (b) establish a unified picture of both Suzuki's and Huyghebaert and De Raedt's approaches; (c) generalize Huyghebaert and De Raedt's first and second-order formula to arbitrary orders; (d) answer an unsolved question in establishing time-dependent multi-product formulas; (e) and recover continuous qDrift on the same footing as time-independent qDrift. Thirdly, we demonstrate the efficacy of our newly developed higher-order Huyghebaert and De Raedt's algorithm through digital adiabatic simulation.
△ Less
Submitted 5 November, 2024;
originally announced November 2024.
-
Weak Generative Sampler to Efficiently Sample Invariant Distribution of Stochastic Differential Equation
Authors:
Zhiqiang Cai,
Yu Cao,
Yuanfei Huang,
Xiang Zhou
Abstract:
Sampling invariant distributions from an Itô diffusion process presents a significant challenge in stochastic simulation. Traditional numerical solvers for stochastic differential equations require both a fine step size and a lengthy simulation period, resulting in biased and correlated samples. The current deep learning-based method solves the stationary Fokker--Planck equation to determine the i…
▽ More
Sampling invariant distributions from an Itô diffusion process presents a significant challenge in stochastic simulation. Traditional numerical solvers for stochastic differential equations require both a fine step size and a lengthy simulation period, resulting in biased and correlated samples. The current deep learning-based method solves the stationary Fokker--Planck equation to determine the invariant probability density function in the form of deep neural networks, but they generally do not directly address the problem of sampling from the computed density function. In this work, we introduce a framework that employs a weak generative sampler (WGS) to directly generate independent and identically distributed (iid) samples induced by a transformation map derived from the stationary Fokker--Planck equation. Our proposed loss function is based on the weak form of the Fokker--Planck equation, integrating normalizing flows to characterize the invariant distribution and facilitate sample generation from a base distribution. Our randomized test function circumvents the need for min-max optimization in the traditional weak formulation. Our method necessitates neither the computationally intensive calculation of the Jacobian determinant nor the invertibility of the transformation map. A crucial component of our framework is the adaptively chosen family of test functions in the form of Gaussian kernel functions with centers related to the generated data samples. Experimental results on several benchmark examples demonstrate the effectiveness and scalability of our method, which offers both low computational costs and excellent capability in exploring multiple metastable states.
△ Less
Submitted 5 June, 2025; v1 submitted 29 May, 2024;
originally announced May 2024.
-
Edge states in super honeycomb structures with PT-symmetric deformations
Authors:
Ying Cao,
Yi Zhu
Abstract:
The existence of edge states is one of the most vital properties of topological insulators. Although tremendous success has been accomplished in describing and explaining edge states associated with PT symmetry breaking, little work has been done on PT symmetry preserving cases. Two-dimensional Schroedinger operators with super honeycomb lattice potentials always have double Dirac cones at the Gam…
▽ More
The existence of edge states is one of the most vital properties of topological insulators. Although tremendous success has been accomplished in describing and explaining edge states associated with PT symmetry breaking, little work has been done on PT symmetry preserving cases. Two-dimensional Schroedinger operators with super honeycomb lattice potentials always have double Dirac cones at the Gamma point - the zero momentum point on their energy bands due to C6 symmetry, PT symmetry, and the "folding" symmetry - caused by an additional translation symmetry. There are two topologically different ways to deform such a system by PT symmetry preserving but folding symmetry breaking perturbations. Interestingly, there exist two gapped edge states on the interface between such two kinds of perturbed materials. In this paper, we illustrate the existence of such PT preserving edge states rigorously for the first time. We use a domain wall modulated Schroedinger operator to model the phenomenon under small perturbations and rigorously prove the existence of two gapped edge states. We also provide a brief interpretation from the point of view of "topology" by the parities of degenerate bulk modes. Our work thoroughly explains the existence of "helical" like edge states in super honeycomb configurations and lays a foundation for the descriptions of topologies of such systems.
△ Less
Submitted 8 March, 2025; v1 submitted 23 February, 2024;
originally announced February 2024.
-
Quantum simulation for time-dependent Hamiltonians -- with applications to non-autonomous ordinary and partial differential equations
Authors:
Yu Cao,
Shi Jin,
Nana Liu
Abstract:
Non-autonomous dynamical systems appear in a very wide range of interesting applications, both in classical and quantum dynamics, where in the latter case it corresponds to having a time-dependent Hamiltonian. However, the quantum simulation of these systems often needs to appeal to rather complicated procedures involving the Dyson series, considerations of time-ordering, requirement of time steps…
▽ More
Non-autonomous dynamical systems appear in a very wide range of interesting applications, both in classical and quantum dynamics, where in the latter case it corresponds to having a time-dependent Hamiltonian. However, the quantum simulation of these systems often needs to appeal to rather complicated procedures involving the Dyson series, considerations of time-ordering, requirement of time steps to be discrete and/or requiring multiple measurements and postselection. These procedures are generally much more complicated than the quantum simulation of time-independent Hamiltonians. Here we propose an alternative formalism that turns any non-autonomous unitary dynamical system into an autonomous unitary system, i.e., quantum system with a time-independent Hamiltonian, in one higher dimension, while keeping time continuous. This makes the simulation with time-dependent Hamiltonians not much more difficult than that of time-independent Hamiltonians, and can also be framed in terms of an analogue quantum system evolving continuously in time. We show how our new quantum protocol for time-dependent Hamiltonians can be performed in a resource-efficient way and without measurements, and can be made possible on either continuous-variable, qubit or hybrid systems. Combined with a technique called Schrodingerisation, this dilation technique can be applied to the quantum simulation of any linear ODEs and PDEs, and nonlinear ODEs and certain nonlinear PDEs, with time-dependent coefficients.
△ Less
Submitted 5 December, 2023;
originally announced December 2023.
-
A pseudo-reversible normalizing flow for stochastic dynamical systems with various initial distributions
Authors:
Minglei Yang,
Pengjun Wang,
Diego del-Castillo-Negrete,
Yanzhao Cao,
Guannan Zhang
Abstract:
We present a pseudo-reversible normalizing flow method for efficiently generating samples of the state of a stochastic differential equation (SDE) with different initial distributions. The primary objective is to construct an accurate and efficient sampler that can be used as a surrogate model for computationally expensive numerical integration of SDE, such as those employed in particle simulation…
▽ More
We present a pseudo-reversible normalizing flow method for efficiently generating samples of the state of a stochastic differential equation (SDE) with different initial distributions. The primary objective is to construct an accurate and efficient sampler that can be used as a surrogate model for computationally expensive numerical integration of SDE, such as those employed in particle simulation. After training, the normalizing flow model can directly generate samples of the SDE's final state without simulating trajectories. Existing normalizing flows for SDEs depend on the initial distribution, meaning the model needs to be re-trained when the initial distribution changes. The main novelty of our normalizing flow model is that it can learn the conditional distribution of the state, i.e., the distribution of the final state conditional on any initial state, such that the model only needs to be trained once and the trained model can be used to handle various initial distributions. This feature can provide a significant computational saving in studies of how the final state varies with the initial distribution. We provide a rigorous convergence analysis of the pseudo-reversible normalizing flow model to the target probability density function in the Kullback-Leibler divergence metric. Numerical experiments are provided to demonstrate the effectiveness of the proposed normalizing flow model.
△ Less
Submitted 8 June, 2023;
originally announced June 2023.
-
A Donaldson-Thomas crepant resolution conjecture on Calabi-Yau 4-folds
Authors:
Yalong Cao,
Martijn Kool,
Sergej Monavari
Abstract:
Let $G$ be a finite subgroup of $\mathrm{SU}(4)$ whose elements have age not larger than one. In the first part of this paper, we define $K$-theoretic stable pair invariants on the crepant resolution of the affine quotient $\mathbb{C}^4/G$, and conjecture closed formulae for their generating series, expressed in terms of the root system of $G$. In the second part, we define degree zero Donaldson-T…
▽ More
Let $G$ be a finite subgroup of $\mathrm{SU}(4)$ whose elements have age not larger than one. In the first part of this paper, we define $K$-theoretic stable pair invariants on the crepant resolution of the affine quotient $\mathbb{C}^4/G$, and conjecture closed formulae for their generating series, expressed in terms of the root system of $G$. In the second part, we define degree zero Donaldson-Thomas invariants of Calabi-Yau 4-orbifolds, develop a vertex formalism that computes the invariants in the toric case and conjecture closed formulae for the quotient stacks $[\mathbb{C}^4/\mathbb{Z}_r]$, $[\mathbb{C}^4/\mathbb{Z}_2\times \mathbb{Z}_2]$. Combining these two parts, we formulate a crepant resolution correspondence which relates the above two theories.
△ Less
Submitted 12 September, 2023; v1 submitted 27 January, 2023;
originally announced January 2023.
-
Double Dirac cones in band structures of periodic Schrödinger operators
Authors:
Ying Cao,
Yi Zhu
Abstract:
Dirac cones are conical singularities that occur near the degenerate points in band structures. Such singularities result in enormous unusual phenomena of the corresponding physical systems. This work investigates double Dirac cones that occur in the vicinity of a fourfold degenerate point in the band structures of certain operators. It is known that such degeneracy originates in the symmetries of…
▽ More
Dirac cones are conical singularities that occur near the degenerate points in band structures. Such singularities result in enormous unusual phenomena of the corresponding physical systems. This work investigates double Dirac cones that occur in the vicinity of a fourfold degenerate point in the band structures of certain operators. It is known that such degeneracy originates in the symmetries of the Hamiltonian. We use two dimensional periodic Schrödinger operators with novel designed symmetries as our prototype. First, we characterize admissible potentials, termed as super honeycomb lattice potentials. They are honeycomb lattices potentials with a key additional translation symmetry. It is rigorously justified that Schrödinger operators with such potentials almost guarantee the existence of double Dirac cones on the bands at the Γ point, the origin of the Brillouin zone. We further show that the additional translation symmetry is an indispensable ingredient by a perturbation analysis. Indeed, the double cones disappear if the additional translation symmetry is broken. Many numerical simulations are provided, which agree well with our analysis.
△ Less
Submitted 16 August, 2023; v1 submitted 10 December, 2022;
originally announced December 2022.
-
Thermodynamic limit of the spin-$\frac{1}{2}$ XYZ spin chain with the antiperiodic boundary condition
Authors:
Zhirong Xin,
Yusong Cao,
Xiaotian Xu,
Tao Yang,
Junpeng Cao,
Wen-Li Yang
Abstract:
Based on its off-diagonal Bethe ansatz solution, we study the thermodynamic limit of the spin-$\frac{1}{2}$ XYZ spin chain with the antiperiodic boundary condition. The key point of our method is that there exist some degenerate points of the crossing parameter $η_{m,l}$, at which the associated inhomogeneous $T-Q$ relation becomes a homogeneous one. This makes extrapolating the formulae deriving…
▽ More
Based on its off-diagonal Bethe ansatz solution, we study the thermodynamic limit of the spin-$\frac{1}{2}$ XYZ spin chain with the antiperiodic boundary condition. The key point of our method is that there exist some degenerate points of the crossing parameter $η_{m,l}$, at which the associated inhomogeneous $T-Q$ relation becomes a homogeneous one. This makes extrapolating the formulae deriving from the homogeneous one to an arbitrary $η$ with $O(N^{-2})$ corrections for a large $N$ possible. The ground state energy and elementary excitations of the system are obtained. By taking the trigonometric limit, we also give the results of antiperiodic XXZ spin chain within the gapless region in the thermodynamic limit, which does not have any degenerate points.
△ Less
Submitted 23 December, 2020; v1 submitted 31 August, 2020;
originally announced August 2020.
-
Foundations for Bayesian inference with engineered likelihood functions for robust amplitude estimation
Authors:
Dax Enshan Koh,
Guoming Wang,
Peter D. Johnson,
Yudong Cao
Abstract:
We present mathematical and conceptual foundations for the task of robust amplitude estimation using engineered likelihood functions (ELFs), a framework introduced in Wang et al. [PRX Quantum 2, 010346 (2021)] that uses Bayesian inference to enhance the rate of information gain in quantum sampling. These ELFs, which are obtained by choosing tunable parameters in a parametrized quantum circuit to m…
▽ More
We present mathematical and conceptual foundations for the task of robust amplitude estimation using engineered likelihood functions (ELFs), a framework introduced in Wang et al. [PRX Quantum 2, 010346 (2021)] that uses Bayesian inference to enhance the rate of information gain in quantum sampling. These ELFs, which are obtained by choosing tunable parameters in a parametrized quantum circuit to minimize the expected posterior variance of an estimated parameter, play an important role in estimating the expectation values of quantum observables. We give a thorough characterization and analysis of likelihood functions arising from certain classes of quantum circuits and combine this with the tools of Bayesian inference to give a procedure for picking optimal ELF tunable parameters. Finally, we present numerical results to demonstrate the performance of ELFs.
△ Less
Submitted 22 May, 2022; v1 submitted 16 June, 2020;
originally announced June 2020.
-
Stable pair invariants of local Calabi-Yau 4-folds
Authors:
Yalong Cao,
Martijn Kool,
Sergej Monavari
Abstract:
In 2008, Klemm-Pandharipande defined Gopakumar-Vafa type invariants of a Calabi-Yau 4-fold $X$ using Gromov-Witten theory. Recently, Cao-Maulik-Toda proposed a conjectural description of these invariants in terms of stable pair theory. When $X$ is the total space of the sum of two line bundles over a surface $S$, and all stable pairs are scheme theoretically supported on the zero section, we expre…
▽ More
In 2008, Klemm-Pandharipande defined Gopakumar-Vafa type invariants of a Calabi-Yau 4-fold $X$ using Gromov-Witten theory. Recently, Cao-Maulik-Toda proposed a conjectural description of these invariants in terms of stable pair theory. When $X$ is the total space of the sum of two line bundles over a surface $S$, and all stable pairs are scheme theoretically supported on the zero section, we express stable pair invariants in terms of intersection numbers on Hilbert schemes of points on $S$. As an application, we obtain new verifications of the Cao-Maulik-Toda conjectures for low degree curve classes and find connections to Carlsson-Okounkov numbers. Some of our verifications involve genus zero Gopakumar-Vafa type invariants recently determined in the context of the log-local principle by Bousseau-Brini-van Garrel. Finally, using the vertex formalism, we provide a few more verifications of the Cao-Maulik-Toda conjectures when thickened curves contribute and also for the case of local $\mathbb{P}^3$.
△ Less
Submitted 3 April, 2021; v1 submitted 20 April, 2020;
originally announced April 2020.
-
$K$-theoretic DT/PT correspondence for toric Calabi-Yau 4-folds
Authors:
Yalong Cao,
Martijn Kool,
Sergej Monavari
Abstract:
Recently, Nekrasov discovered a new "genus" for Hilbert schemes of points on $\mathbb{C}^4$. We conjecture a DT/PT correspondence for Nekrasov genera for toric Calabi-Yau 4-folds. We verify our conjecture in several cases using a vertex formalism. Taking a certain limit of the equivariant parameters, we recover the cohomological DT/PT correspondence for toric Calabi-Yau 4-folds recently conjecture…
▽ More
Recently, Nekrasov discovered a new "genus" for Hilbert schemes of points on $\mathbb{C}^4$. We conjecture a DT/PT correspondence for Nekrasov genera for toric Calabi-Yau 4-folds. We verify our conjecture in several cases using a vertex formalism. Taking a certain limit of the equivariant parameters, we recover the cohomological DT/PT correspondence for toric Calabi-Yau 4-folds recently conjectured by the first two authors. Another limit gives a dimensional reduction to the $K$-theoretic DT/PT correspondence for toric 3-folds conjectured by Nekrasov-Okounkov. As an application of our techniques, we find a conjectural formula for the generating series of $K$-theoretic stable pair invariants of the local resolved conifold. Upon dimensional reduction to the resolved conifold, we recover a formula which was recently proved by Kononov-Okounkov-Osinenko.
△ Less
Submitted 20 July, 2022; v1 submitted 18 June, 2019;
originally announced June 2019.
-
Tensorization of the strong data processing inequality for quantum chi-square divergences
Authors:
Yu Cao,
Jianfeng Lu
Abstract:
It is well-known that any quantum channel $\mathcal{E}$ satisfies the data processing inequality (DPI), with respect to various divergences, e.g., quantum $χ^2_κ$divergences and quantum relative entropy. More specifically, the data processing inequality states that the divergence between two arbitrary quantum states $ρ$ and $σ$ does not increase under the action of any quantum channel…
▽ More
It is well-known that any quantum channel $\mathcal{E}$ satisfies the data processing inequality (DPI), with respect to various divergences, e.g., quantum $χ^2_κ$divergences and quantum relative entropy. More specifically, the data processing inequality states that the divergence between two arbitrary quantum states $ρ$ and $σ$ does not increase under the action of any quantum channel $\mathcal{E}$. For a fixed channel $\mathcal{E}$ and a state $σ$, the divergence between output states $\mathcal{E}(ρ)$ and $\mathcal{E}(σ)$ might be strictly smaller than the divergence between input states $ρ$ and $σ$, which is characterized by the strong data processing inequality (SDPI). Among various input states $ρ$, the largest value of the rate of contraction is known as the SDPI constant. An important and widely studied property for classical channels is that SDPI constants tensorize. In this paper, we extend the tensorization property to the quantum regime: we establish the tensorization of SDPIs for the quantum $χ^2_{κ_{1/2}}$ divergence for arbitrary quantum channels and also for a family of $χ^2_κ$ divergences (with $κ\ge κ_{1/2}$) for arbitrary quantum-classical channels.
△ Less
Submitted 23 October, 2019; v1 submitted 13 April, 2019;
originally announced April 2019.
-
Curve counting and DT/PT correspondence for Calabi-Yau 4-folds
Authors:
Yalong Cao,
Martijn Kool
Abstract:
Recently, Cao-Maulik-Toda defined stable pair invariants of a compact Calabi-Yau 4-fold $X$. Their invariants are conjecturally related to the Gopakumar-Vafa type invariants of $X$ defined using Gromov-Witten theory by Klemm-Pandharipande. In this paper, we consider curve counting invariants of $X$ using Hilbert schemes of curves and conjecture a DT/PT correspondence which relates these to stable…
▽ More
Recently, Cao-Maulik-Toda defined stable pair invariants of a compact Calabi-Yau 4-fold $X$. Their invariants are conjecturally related to the Gopakumar-Vafa type invariants of $X$ defined using Gromov-Witten theory by Klemm-Pandharipande. In this paper, we consider curve counting invariants of $X$ using Hilbert schemes of curves and conjecture a DT/PT correspondence which relates these to stable pair invariants of $X$.
After providing evidence in the compact case, we define analogous invariants for toric Calabi-Yau 4-folds using a localization formula. We formulate a vertex formalism for both theories and conjecture a relation between the (fully equivariant) DT/PT vertex, which we check in several cases. This relation implies a DT/PT correspondence for toric Calabi-Yau 4-folds with primary insertions.
△ Less
Submitted 3 August, 2020; v1 submitted 28 March, 2019;
originally announced March 2019.
-
Stable pairs and Gopakumar-Vafa type invariants for Calabi-Yau 4-folds
Authors:
Yalong Cao,
Davesh Maulik,
Yukinobu Toda
Abstract:
As an analogy to Gopakumar-Vafa conjecture on CY 3-folds, Klemm-Pandharipande defined GV type invariants on CY 4-folds using GW theory and conjectured their integrality. In this paper, we define stable pair type invariants on CY 4-folds and use them to interpret these GV type invariants. Examples are computed for both compact and non-compact CY 4-folds to support our conjectures.
As an analogy to Gopakumar-Vafa conjecture on CY 3-folds, Klemm-Pandharipande defined GV type invariants on CY 4-folds using GW theory and conjectured their integrality. In this paper, we define stable pair type invariants on CY 4-folds and use them to interpret these GV type invariants. Examples are computed for both compact and non-compact CY 4-folds to support our conjectures.
△ Less
Submitted 9 October, 2019; v1 submitted 30 January, 2019;
originally announced February 2019.
-
Gradient flow structure and exponential decay of the sandwiched Rényi divergence for primitive Lindblad equations with GNS-detailed balance
Authors:
Yu Cao,
Jianfeng Lu,
Yulong Lu
Abstract:
We study the entropy production of the sandwiched Rényi divergence under the primitive Lindblad equation with GNS-detailed balance. We prove that the Lindblad equation can be identified as the gradient flow of the sandwiched Rényi divergence of any order $α \in (0, \infty)$. This extends a previous result by Carlen and Maas [Journal of Functional Analysis, 273(5), 1810-1869] for the quantum relati…
▽ More
We study the entropy production of the sandwiched Rényi divergence under the primitive Lindblad equation with GNS-detailed balance. We prove that the Lindblad equation can be identified as the gradient flow of the sandwiched Rényi divergence of any order $α \in (0, \infty)$. This extends a previous result by Carlen and Maas [Journal of Functional Analysis, 273(5), 1810-1869] for the quantum relative entropy (i.e., $α = 1$). Moreover, we show that the sandwiched Rényi divergence of any order $α \in (0, \infty)$ decays exponentially fast under the time-evolution of such a Lindblad equation.
△ Less
Submitted 8 April, 2019; v1 submitted 1 October, 2018;
originally announced October 2018.
-
Two (2 + 1)-dimensional integrable nonlocal nonlinear Schrodinger equations: Breather, rational and semi-rational solutions
Authors:
Yulei Cao,
Boris A. Malomed,
Jingsong He
Abstract:
Recently, an integrable system of coupled (2+1)-dimensional nonlinear Schrodinger (NLS) equations was introduced by Fokas (eq. (18) in Nonlinearity 29}, 319324 (2016)). Following this pattern, two integrable equations [eqs.2 and 3] with specific parity-time symmetry are introduced here, under different reduction conditions. For eq. 2, two kinds of periodic solutions are obtained analytically by me…
▽ More
Recently, an integrable system of coupled (2+1)-dimensional nonlinear Schrodinger (NLS) equations was introduced by Fokas (eq. (18) in Nonlinearity 29}, 319324 (2016)). Following this pattern, two integrable equations [eqs.2 and 3] with specific parity-time symmetry are introduced here, under different reduction conditions. For eq. 2, two kinds of periodic solutions are obtained analytically by means of the Hirota's bilinear method. In the long-wave limit, the two periodic solutions go over into rogue waves (RWs) and semi-rational solutions, respectively. The RWs have a line shape, while the semi-rational states represent RWs built on top of the background of periodic line waves. Similarly, semi-rational solutions consisting of a line RW and line breather are derived. For eq. 3, three kinds of analytical solutions,\textit{viz}., breathers, lumps and semi-rational solutions, representing lumps, periodic line waves and breathers are obtained, using the Hirota method. Their dynamics are analyzed and demonstrated by means of three-dimensional plots. It is also worthy to note that eq. 2 can reduce to a (1+1)-dimensional \textquotedblleft reverse-space" nonlocal NLS equation by means of a certain transformation, Lastly, main differences between solutions of eqs.2 and 3 are summarized.
△ Less
Submitted 1 July, 2018; v1 submitted 28 June, 2018;
originally announced June 2018.
-
Genus zero Gopakumar-Vafa type invariants for Calabi-Yau 4-folds
Authors:
Yalong Cao,
Davesh Maulik,
Yukinobu Toda
Abstract:
In analogy with the Gopakumar-Vafa conjecture on CY 3-folds, Klemm and Pandharipande defined GV type invariants on Calabi-Yau 4-folds using Gromov-Witten theory and conjectured their integrality. In this paper, we propose a sheaf-theoretic interpretation of their genus zero invariants using Donaldson-Thomas theory on CY 4-folds. More specifically, we conjecture genus zero GV type invariants are…
▽ More
In analogy with the Gopakumar-Vafa conjecture on CY 3-folds, Klemm and Pandharipande defined GV type invariants on Calabi-Yau 4-folds using Gromov-Witten theory and conjectured their integrality. In this paper, we propose a sheaf-theoretic interpretation of their genus zero invariants using Donaldson-Thomas theory on CY 4-folds. More specifically, we conjecture genus zero GV type invariants are $\mathrm{DT_{4}}$ invariants for one-dimensional stable sheaves on CY 4-folds. Some examples are computed for both compact and non-compact CY 4-folds to support our conjectures. We also propose an equivariant version of the conjectures for local curves and verify them in certain cases.
△ Less
Submitted 8 January, 2018;
originally announced January 2018.
-
Families of exact solutions of a new extended (2+1)-dimensional Boussinesq equation
Authors:
Yulei Cao,
Jingsong He,
Dumitru Mihalache
Abstract:
A new variant of the $(2+1)$-dimensional [$(2+1)d$] Boussinesq equation was recently introduced by J. Y. Zhu, arxiv:1704.02779v2, 2017; see eq. (3). First, we derive in this paper the one-soliton solutions of both bright and dark types for the extended $(2+1)d$ Boussinesq equation by using the traveling wave method. Second, $N$-soliton, breather, and rational solutions are obtained by using the Hi…
▽ More
A new variant of the $(2+1)$-dimensional [$(2+1)d$] Boussinesq equation was recently introduced by J. Y. Zhu, arxiv:1704.02779v2, 2017; see eq. (3). First, we derive in this paper the one-soliton solutions of both bright and dark types for the extended $(2+1)d$ Boussinesq equation by using the traveling wave method. Second, $N$-soliton, breather, and rational solutions are obtained by using the Hirota bilinear method and the long wave limit. Nonsingular rational solutions of two types were obtained analytically, namely: (i) rogue-wave solutions having the form of W-shaped lines waves and (ii) lump-type solutions. Two generic types of semi-rational solutions were also put forward. The obtained semi-rational solutions are as follows: (iii) a hybrid of a first-order lump and a bright one-soliton solution and (iv) a hybrid of a first-order lump and a first-order breather.
△ Less
Submitted 23 December, 2017;
originally announced December 2017.
-
Lindblad equation and its semi-classical limit of the Anderson-Holstein model
Authors:
Yu Cao,
Jianfeng Lu
Abstract:
For multi-level open quantum system, the interaction between different levels could pose challenge to understand the quantum system both analytically and numerically. In this work, we study the approximation of the dynamics of the Anderson-Holstein model, as a model of multi-level open quantum system, by Redfield and Lindblad equations. Both equations have a desirable property that if the density…
▽ More
For multi-level open quantum system, the interaction between different levels could pose challenge to understand the quantum system both analytically and numerically. In this work, we study the approximation of the dynamics of the Anderson-Holstein model, as a model of multi-level open quantum system, by Redfield and Lindblad equations. Both equations have a desirable property that if the density operators for different levels is diagonal initially, they remain to be diagonal for any time. Thanks to this nice property, the semi-classical limit of both Redfield and Lindblad equations could be derived explicitly; the resulting classical master equations share similar structures of transport and hopping terms. The Redfield and Lindblad equations are also compared from the angle of time dependent perturbation theory.
△ Less
Submitted 23 June, 2017; v1 submitted 10 April, 2017;
originally announced April 2017.
-
Remarks on mirror symmetry of Donaldson-Thomas theory for Calabi-Yau 4-folds
Authors:
Yalong Cao,
Naichung Conan Leung
Abstract:
Motivated by Strominger-Yau-Zaslow's mirror symmetry proposal and Kontsevich's homological mirror symmetry conjecture, we study mirror phenomena (in A-model) of certain results from Donaldson-Thomas theory for Calabi-Yau 4-folds.
Motivated by Strominger-Yau-Zaslow's mirror symmetry proposal and Kontsevich's homological mirror symmetry conjecture, we study mirror phenomena (in A-model) of certain results from Donaldson-Thomas theory for Calabi-Yau 4-folds.
△ Less
Submitted 12 June, 2015;
originally announced June 2015.
-
Orientability for gauge theories on Calabi-Yau manifolds
Authors:
Yalong Cao,
Naichung Conan Leung
Abstract:
We study orientability issues of moduli spaces from gauge theories on Calabi-Yau manifolds. Our results generalize and strengthen those for Donaldson-Thomas theory on Calabi-Yau manifolds of dimensions 3 and 4. We also prove a corresponding result in the relative situation which is relevant to the gluing problem in DT theory.
We study orientability issues of moduli spaces from gauge theories on Calabi-Yau manifolds. Our results generalize and strengthen those for Donaldson-Thomas theory on Calabi-Yau manifolds of dimensions 3 and 4. We also prove a corresponding result in the relative situation which is relevant to the gluing problem in DT theory.
△ Less
Submitted 18 June, 2015; v1 submitted 4 February, 2015;
originally announced February 2015.
-
On the rate of convergence of the two-dimensional $α$-models of turbulence to the Navier-Stokes equations
Authors:
Y. Cao,
E. S. Titi
Abstract:
Rates of convergence of solutions of various two-dimensional $α-$regularization models, subject to periodic boundary conditions, toward solutions of the exact Navier-Stokes equations are given in the $L^\infty$-$L^2$ time-space norm, in terms of the regularization parameter $ α$, when $α$ approaches zero. Furthermore, as a paradigm, error estimates for the Galerkin approximation of the exact two…
▽ More
Rates of convergence of solutions of various two-dimensional $α-$regularization models, subject to periodic boundary conditions, toward solutions of the exact Navier-Stokes equations are given in the $L^\infty$-$L^2$ time-space norm, in terms of the regularization parameter $ α$, when $α$ approaches zero. Furthermore, as a paradigm, error estimates for the Galerkin approximation of the exact two-dimensional Leray-$α$ model are also presented in the $L^\infty$-$L^2$ time-space norm. Simply by the triangle inequality, one can reach the error estimates of the solutions of Galerkin approximation of the $α$-regularization models toward the exact solutions of the Navier-Stokes equations in the two-dimensional periodic boundary conditions case.
△ Less
Submitted 15 October, 2009; v1 submitted 24 February, 2009;
originally announced February 2009.
-
Modulation theory for self-focusing in the nonlinear Schrödinger-Helmholtz equation
Authors:
Yanping Cao,
Ziad H. Musslimani,
Edriss S. Titi
Abstract:
The nonlinear Schrödinger-Helmholtz (SH) equation in $N$ space dimensions with $2σ$ nonlinear power was proposed as a regularization of the classical nonlinear Schrödinger (NLS) equation. It was shown that the SH equation has a larger regime ($1\leσ<\frac{4}{N}$) of global existence and uniqueness of solutions compared to that of the classical NLS ($0<σ<\frac{2}{N}$). In the limiting case where…
▽ More
The nonlinear Schrödinger-Helmholtz (SH) equation in $N$ space dimensions with $2σ$ nonlinear power was proposed as a regularization of the classical nonlinear Schrödinger (NLS) equation. It was shown that the SH equation has a larger regime ($1\leσ<\frac{4}{N}$) of global existence and uniqueness of solutions compared to that of the classical NLS ($0<σ<\frac{2}{N}$). In the limiting case where the Schrödinger-Helmholtz equation is viewed as a perturbed system of the classical NLS equation, we apply modulation theory to the classical critical case ($σ=1,\:N=2$) and show that the regularization prevents the formation of singularities of the NLS equation. Our theoretical results are supported by numerical simulations
△ Less
Submitted 8 February, 2009; v1 submitted 23 November, 2008;
originally announced November 2008.
-
Nonlinear Schrodinger-Helmholtz Equation as Numerical Regularization of the Nonlinear Schrodinger Equation
Authors:
Yanping Cao,
Ziad H. Musslimani,
Edriss S. Titi
Abstract:
A regularized $α-$system of the Nonlinear Schrödinger Equation (NLS) with $2σ$ nonlinear power in dimension $N$ is studied. We prove existence and uniqueness of local solution in the case $1 \le σ<\frac{4}{N-2}$ and existence and uniqueness of global solution in the case $1 \le σ< \frac{4}{N}$. When $α\to 0^+$, this regularized system will converge to the classical NLS in the appropriate range.…
▽ More
A regularized $α-$system of the Nonlinear Schrödinger Equation (NLS) with $2σ$ nonlinear power in dimension $N$ is studied. We prove existence and uniqueness of local solution in the case $1 \le σ<\frac{4}{N-2}$ and existence and uniqueness of global solution in the case $1 \le σ< \frac{4}{N}$. When $α\to 0^+$, this regularized system will converge to the classical NLS in the appropriate range. In particular, the purpose of this numerical regularization is to shed light on the profile of the blow up solutions of the original Nonlinear Schrödinger Equation in the range $\frac{2}{N}\le σ<\frac{4}{N}$, and in particular for the critical case $σ= \frac{2}{N}$.
△ Less
Submitted 27 June, 2007;
originally announced June 2007.
-
Trivial Stationary Solutions to the Kuramoto-Sivashinsky and Certain Nonlinear Elliptic Equations
Authors:
Yanping Cao,
Edriss S. Titi
Abstract:
We show that the only locally integrable stationary solutions to the integrated Kuramoto-Sivashinsky equation in $R$ and $R^2$ are the trivial constant solutions. We extend our technique and prove similar results to other nonlinear elliptic problems in $\R^N$.
We show that the only locally integrable stationary solutions to the integrated Kuramoto-Sivashinsky equation in $R$ and $R^2$ are the trivial constant solutions. We extend our technique and prove similar results to other nonlinear elliptic problems in $\R^N$.
△ Less
Submitted 30 March, 2006;
originally announced March 2006.
