-
The Global Diffusion Limit for the Space Dependent Variable-Order Time-Fractional Diffusion Equation
Authors:
Christopher N. Angstmann,
Daniel S. Han,
Bruce I. Henry,
Boris Z. Huang,
Zhuang Xu
Abstract:
The diffusion equation and its time-fractional counterpart can be obtained via the diffusion limit of continuous-time random walks with exponential and heavy-tailed waiting time distributions. The space dependent variable-order time-fractional diffusion equation is a generalization of the time-fractional diffusion equation with a fractional exponent that varies over space, modelling systems with s…
▽ More
The diffusion equation and its time-fractional counterpart can be obtained via the diffusion limit of continuous-time random walks with exponential and heavy-tailed waiting time distributions. The space dependent variable-order time-fractional diffusion equation is a generalization of the time-fractional diffusion equation with a fractional exponent that varies over space, modelling systems with spatial heterogeneity. However, there has been limited work on defining a global diffusion limit and an underlying random walk for this macroscopic governing equation, which is needed to make meaningful interpretations of the parameters for applications. Here, we introduce continuous time and discrete time random walk models that limit to the variable-order fractional diffusion equation via a global diffusion limit and space- and time- continuum limits. From this, we show how the master equation of the discrete time random walk can be used to provide a numerical method for solving the variable-order fractional diffusion equation. The results in this work provide underlying random walks and an improved understanding of the diffusion limit for the variable-order fractional diffusion equation, which is critical for the development, calibration and validation of models for diffusion in spatially inhomogeneous media with traps and obstacles.
△ Less
Submitted 29 April, 2025; v1 submitted 25 April, 2025;
originally announced April 2025.
-
On Gromov--Witten invariants of $\mathbb{P}^1$-orbifolds and topological difference equations
Authors:
Zhengfei Huang,
Di Yang
Abstract:
Let $(m_1, m_2)$ be a pair of positive integers. Denote by $\mathbb{P}^1$ the complex projective line, and by $\mathbb{P}^1_{m_1,m_2}$ the orbifold complex projective line obtained from $\mathbb{P}^1$ by adding $\mathbb{Z}_{m_1}$ and $\mathbb{Z}_{m_2}$ orbifold points. In this paper we introduce a matrix linear difference equation, prove existence and uniqueness of its formal Puiseux-series soluti…
▽ More
Let $(m_1, m_2)$ be a pair of positive integers. Denote by $\mathbb{P}^1$ the complex projective line, and by $\mathbb{P}^1_{m_1,m_2}$ the orbifold complex projective line obtained from $\mathbb{P}^1$ by adding $\mathbb{Z}_{m_1}$ and $\mathbb{Z}_{m_2}$ orbifold points. In this paper we introduce a matrix linear difference equation, prove existence and uniqueness of its formal Puiseux-series solutions, and use them to give conjectural formulas for $k$-point ($k\ge2$) functions of Gromov--Witten invariants of $\mathbb{P}^1_{m_1,m_2}$. Explicit expressions of the unique solutions are also obtained. We carry out concrete computations of the first few invariants by using the conjectural formulas. For the case when one of $m_1, m_2$ equals 1, we prove validity of the conjectural formulas.
△ Less
Submitted 1 May, 2025; v1 submitted 22 April, 2025;
originally announced April 2025.
-
From Weyl Anomaly to Defect Supersymmetric Rényi Entropy and Casimir Energy
Authors:
Zi-Xiao Huang,
Ma-Ke Yuan,
Yang Zhou
Abstract:
We present a closed-form expression for the contribution of surface defects to the supersymmetric Rényi entropy in six-dimensional $(2,0)$ theories. Our results show that this defect contribution is a linear function of $1/n$ and is directly proportional to $2b-d_2$, where $b$ and $d_2$ are the surface defect Weyl anomaly coefficients. We also derive a closed-form expression for the defect contrib…
▽ More
We present a closed-form expression for the contribution of surface defects to the supersymmetric Rényi entropy in six-dimensional $(2,0)$ theories. Our results show that this defect contribution is a linear function of $1/n$ and is directly proportional to $2b-d_2$, where $b$ and $d_2$ are the surface defect Weyl anomaly coefficients. We also derive a closed-form expression for the defect contribution to the supersymmetric Casimir energy, which simplifies to $-d_2$ (up to a proportionality constant) in the chiral algebra limit.
△ Less
Submitted 16 January, 2025;
originally announced January 2025.
-
Information geometry of bosonic Gaussian thermal states
Authors:
Zixin Huang,
Mark M. Wilde
Abstract:
Bosonic Gaussian thermal states form a fundamental class of states in quantum information science. This paper explores the information geometry of these states, focusing on characterizing the distance between two nearby states and the geometry induced by a parameterization in terms of their mean vectors and Hamiltonian matrices. In particular, for the family of bosonic Gaussian thermal states, we…
▽ More
Bosonic Gaussian thermal states form a fundamental class of states in quantum information science. This paper explores the information geometry of these states, focusing on characterizing the distance between two nearby states and the geometry induced by a parameterization in terms of their mean vectors and Hamiltonian matrices. In particular, for the family of bosonic Gaussian thermal states, we derive expressions for their Fisher-Bures and Kubo-Mori information matrices with respect to their mean vectors and Hamiltonian matrices. An important application of our formulas consists of fundamental limits on how well one can estimate these parameters. We additionally establish formulas for the derivatives and the symmetric logarithmic derivatives of bosonic Gaussian thermal states. The former could have applications in gradient descent algorithms for quantum machine learning when using bosonic Gaussian thermal states as an ansatz, and the latter in formulating optimal strategies for single parameter estimation of bosonic Gaussian thermal states. Finally, the expressions for the aforementioned information matrices could have additional applications in natural gradient descent algorithms when using bosonic Gaussian thermal states as an ansatz.
△ Less
Submitted 27 November, 2024;
originally announced November 2024.
-
Unified analysis of non-Markovian open quantum systems in Gaussian environment using superoperator formalism
Authors:
Zhen Huang,
Lin Lin,
Gunhee Park,
Yuanran Zhu
Abstract:
We present perturbative error bounds for the non-Markovian dynamics of observables in open quantum systems interacting with Gaussian environments, governed by general Liouville dynamics. This extends the work of [Mascherpa et al., Phys. Rev. Lett. 118, 100401, 2017], which demonstrated qualitatively tighter bounds over the standard Grönwall-type analysis, where the joint system-environment evoluti…
▽ More
We present perturbative error bounds for the non-Markovian dynamics of observables in open quantum systems interacting with Gaussian environments, governed by general Liouville dynamics. This extends the work of [Mascherpa et al., Phys. Rev. Lett. 118, 100401, 2017], which demonstrated qualitatively tighter bounds over the standard Grönwall-type analysis, where the joint system-environment evolution is unitary. Our results apply to systems with both bosonic and fermionic environments. Our approach utilizes a superoperator formalism, which avoids the need for formal coherent state path integral calculations, or the dilation of Lindblad dynamics into an equivalent unitary framework with infinitely many degrees of freedom. This enables a unified treatment of a wide range of open quantum systems. These findings provide a solid theoretical basis for various recently developed pseudomode methods in simulating open quantum system dynamics.
△ Less
Submitted 13 November, 2024;
originally announced November 2024.
-
Semi-definite optimization of the measured relative entropies of quantum states and channels
Authors:
Zixin Huang,
Mark M. Wilde
Abstract:
The measured relative entropies of quantum states and channels find operational significance in quantum information theory as achievable error rates in hypothesis testing tasks. They are of interest in the near term, as they correspond to hybrid quantum-classical strategies with technological requirements far less challenging to implement than required by the most general strategies allowed by qua…
▽ More
The measured relative entropies of quantum states and channels find operational significance in quantum information theory as achievable error rates in hypothesis testing tasks. They are of interest in the near term, as they correspond to hybrid quantum-classical strategies with technological requirements far less challenging to implement than required by the most general strategies allowed by quantum mechanics. In this paper, we prove that these measured relative entropies can be calculated efficiently by means of semi-definite programming, by making use of variational formulas for the measured relative entropies of states and semi-definite representations of the weighted geometric mean and the operator connection of the logarithm. Not only do the semi-definite programs output the optimal values of the measured relative entropies of states and channels, but they also provide numerical characterizations of optimal strategies for achieving them, which is of significant practical interest for designing hypothesis testing protocols.
△ Less
Submitted 27 June, 2024;
originally announced June 2024.
-
Proof of 5D $A_n$ AGT conjecture at $β=1$
Authors:
Qian Shen,
Zi-Hao Huang,
Shao-Ping Hu,
Qing-Jie Yuan,
Kilar Zhang
Abstract:
In this paper, we give a proof of 5D $A_n$ AGT conjecture at $β=1$, where the gauge theory side is one dimension higher than the original 4D case, and corresponds to the q-deformation of the 2D conformal field theory side. We define a q-deformed $A_n$ Selberg integral, which generalizes the $A_n$ Selberg integral and the q-deformed $A_1$ Selberg integral in the literature. A q-deformed $A_n$ Selbe…
▽ More
In this paper, we give a proof of 5D $A_n$ AGT conjecture at $β=1$, where the gauge theory side is one dimension higher than the original 4D case, and corresponds to the q-deformation of the 2D conformal field theory side. We define a q-deformed $A_n$ Selberg integral, which generalizes the $A_n$ Selberg integral and the q-deformed $A_1$ Selberg integral in the literature. A q-deformed $A_n$ Selberg average formula with $n+1$ Schur polynomials is proposed and proved to complete the proof.
△ Less
Submitted 2 September, 2024; v1 submitted 22 May, 2024;
originally announced May 2024.
-
Classical-Quantum correspondence in Lindblad evolution
Authors:
Jeffrey Galkowski,
Zhen Huang,
Maciej Zworski
Abstract:
We show that for the Lindblad evolution defined using (at most) quadratically growing classical Hamiltonians and (at most) linearly growing classical jump functions (quantized into jump operators assumed to satisfy certain ellipticity conditions and modeling interaction with a larger system), the evolution of a quantum observable remains close to the classical Fokker--Planck evolution in the Hilbe…
▽ More
We show that for the Lindblad evolution defined using (at most) quadratically growing classical Hamiltonians and (at most) linearly growing classical jump functions (quantized into jump operators assumed to satisfy certain ellipticity conditions and modeling interaction with a larger system), the evolution of a quantum observable remains close to the classical Fokker--Planck evolution in the Hilbert--Schmidt norm for times vastly exceeding the Ehrenfest time (the limit of such agreement with no jump operators). The time scale is the same as in the recent papers by Hernández--Ranard--Riedel but the statement and methods are different. The appendix presents numerical experiments illustrating the classical/quantum correspondence in Lindblad evolution and comparing it to the mathematical results.
△ Less
Submitted 19 June, 2024; v1 submitted 14 March, 2024;
originally announced March 2024.
-
Proof of $A_{n}$ AGT conjecture at $β=1$
Authors:
Qing-Jie Yuan,
Shao-Ping Hu,
Zi-Hao Huang,
Kilar Zhang
Abstract:
AGT conjecture reveals a connection between 4D $\mathcal{N}=2$ gauge theory and 2D conformal field theory. Though some special instances have been proven, others remain elusive and the attempts on its full proof never stop. When the $Ω$ background parameters satisfy $-ε_1/ε_2\equiv β=1$, the story simplifies a bit. A proof of the correspondence in the case of $A_{1}$ gauge group was given in 2010…
▽ More
AGT conjecture reveals a connection between 4D $\mathcal{N}=2$ gauge theory and 2D conformal field theory. Though some special instances have been proven, others remain elusive and the attempts on its full proof never stop. When the $Ω$ background parameters satisfy $-ε_1/ε_2\equiv β=1$, the story simplifies a bit. A proof of the correspondence in the case of $A_{1}$ gauge group was given in 2010 by Mironov et al., while the $A_{n}$ extension is verified by Matsuo and Zhang in 2011, with an assumption on the Selberg integral of $n+1$ Schur polynomials. Then in 2020, Albion et al. obtained the rigorous result of this formula. In this paper, we show that their result is equivalent to the conjecture on Selberg integral of Schur polynomials, thus leading to the proof of the $A_{n}$ case at $β=1$. To perform a double check, we also directly start from this formula, and manage to show the identification between the two sides of AGT correspondence.
△ Less
Submitted 24 April, 2024; v1 submitted 19 May, 2023;
originally announced May 2023.
-
$T \overline{T}$-Like Flows and $3d$ Nonlinear Supersymmetry
Authors:
Christian Ferko,
Yangrui Hu,
Zejun Huang,
Konstantinos Koutrolikos,
Gabriele Tartaglino-Mazzucchelli
Abstract:
We show that the $3d$ Born-Infeld theory can be generated via an irrelevant deformation of the free Maxwell theory. The deforming operator is constructed from the energy-momentum tensor and includes a novel non-analytic contribution that resembles root-$T \overline{T}$. We find that a similar operator deforms a free scalar into the scalar sector of the Dirac-Born-Infeld action, which describes tra…
▽ More
We show that the $3d$ Born-Infeld theory can be generated via an irrelevant deformation of the free Maxwell theory. The deforming operator is constructed from the energy-momentum tensor and includes a novel non-analytic contribution that resembles root-$T \overline{T}$. We find that a similar operator deforms a free scalar into the scalar sector of the Dirac-Born-Infeld action, which describes transverse fluctuations of a D-brane, in any dimension. We also analyse trace flow equations and obtain flows for subtracted models driven by a relevant operator. In $3d$, the irrelevant deformation can be made manifestly supersymmetric by presenting the flow equation in $\mathcal{N} = 1$ superspace, where the deforming operator is built from supercurrents. We demonstrate that two supersymmetric presentations of the D2-brane effective action, the Maxwell-Goldstone multiplet and the tensor-Goldstone multiplet, satisfy superspace flow equations driven by this supercurrent combination. To do this, we derive expressions for the supercurrents in general classes of vector and tensor/scalar models by directly solving the superspace conservation equations and also by coupling to $\mathcal{N} = 1$ supergravity. As both of these multiplets exhibit a second, spontaneously broken supersymmetry, this analysis provides further evidence for a connection between current-squared deformations and nonlinearly realized symmetries.
△ Less
Submitted 12 December, 2023; v1 submitted 20 February, 2023;
originally announced February 2023.
-
Classification of pre-Jordan Algebras and Rota-Baxter Operators on Jordan Algebras in Low Dimensions
Authors:
Yuze Sun,
Zhen Huang,
Shilong Zhao,
Zheshuai Tian
Abstract:
This paper is devoted to the classification of complex pre-Jordan algebras in the sense of isomorphisms in dimensions $\leq$ 3. All Rota-Baxter operators on complex Jordan algebras in dimensions $\leq$ 3 and the induced pre-Jordan algebras are also presented.
This paper is devoted to the classification of complex pre-Jordan algebras in the sense of isomorphisms in dimensions $\leq$ 3. All Rota-Baxter operators on complex Jordan algebras in dimensions $\leq$ 3 and the induced pre-Jordan algebras are also presented.
△ Less
Submitted 3 November, 2021;
originally announced November 2021.
-
Anyon Condensation: Coherent states, Symmetry Enriched Topological Phases, Goldstone Theorem, and Dynamical Rearrangement of Symmetry
Authors:
Yuting Hu,
Zichang Huang,
Ling-yan Hung,
Yidun Wan
Abstract:
Although the mathematics of anyon condensation in topological phases has been studied intensively in recent years, a proof of its physical existence is tantamount to constructing an effective Hamiltonian theory. In this paper, we concretely establish the physical foundation of anyon condensation by building the effective Hamiltonian and the Hilbert space, in which we explicitly construct the vacuu…
▽ More
Although the mathematics of anyon condensation in topological phases has been studied intensively in recent years, a proof of its physical existence is tantamount to constructing an effective Hamiltonian theory. In this paper, we concretely establish the physical foundation of anyon condensation by building the effective Hamiltonian and the Hilbert space, in which we explicitly construct the vacuum of the condensed phase as the coherent states that are the eigenstates of the creation operators that create the condensate anyons. Along with this construction, which is analogous to Laughlin's construction of wavefunctions of fractional quantum hall states, we generalize the Goldstone theorem in the usual spontaneous symmetry breaking paradigm to the case of anyon condensation. We then prove that the condensed phase is a symmetry enriched (protected) topological phase by directly constructing the corresponding symmetry transformations, which can be considered as a generalization of the Bogoliubov transformation.
△ Less
Submitted 13 September, 2021;
originally announced September 2021.
-
Spinfoam on Lefschetz Thimble: Markov Chain Monte-Carlo Computation of Lorentzian Spinfoam Propagator
Authors:
Muxin Han,
Zichang Huang,
Hongguang Liu,
Dongxue Qu,
Yidun Wan
Abstract:
We compute numerically the Lorentzian Engle-Pereira-Rovelli-Livine (EPRL) spinfoam propagator on a 4-simplex, by adapting the methods of Lefschetz thimble and Markov Chain Monte-Carlo to oscillatory spinfoam integrals. Our method can compute any spinfoam observables at relatively large spins. We obtain the numerical results of the propagators at different spins and demonstrate their consistency wi…
▽ More
We compute numerically the Lorentzian Engle-Pereira-Rovelli-Livine (EPRL) spinfoam propagator on a 4-simplex, by adapting the methods of Lefschetz thimble and Markov Chain Monte-Carlo to oscillatory spinfoam integrals. Our method can compute any spinfoam observables at relatively large spins. We obtain the numerical results of the propagators at different spins and demonstrate their consistency with the expected spinfoam semi-classical behavior in the large spin limit. Our results exhibit significant quantum corrections at smaller spins. Our method is reliable and thus can be employed to discover the semi-classical and quantum behaviors of the spinfoam model.
△ Less
Submitted 20 March, 2021; v1 submitted 21 December, 2020;
originally announced December 2020.
-
Symplectic Pseudospectral Time-Domain Scheme for Solving Time-Dependent Schrodinger Equation
Authors:
Jing Shen,
Wei E. I. Sha,
Xiaojing Kuang,
Jinhua Hu,
Zhixiang Huang,
Xianliang Wu
Abstract:
A symplectic pseudospectral time-domain (SPSTD) scheme is developed to solve Schrodinger equation. Instead of spatial finite differences in conventional finite-difference time-domain (FDTD) method, the fast Fourier transform is used to calculate the spatial derivatives. In time domain, the scheme adopts high-order symplectic integrators to simulate time evolution of Schrodinger equation. A detaile…
▽ More
A symplectic pseudospectral time-domain (SPSTD) scheme is developed to solve Schrodinger equation. Instead of spatial finite differences in conventional finite-difference time-domain (FDTD) method, the fast Fourier transform is used to calculate the spatial derivatives. In time domain, the scheme adopts high-order symplectic integrators to simulate time evolution of Schrodinger equation. A detailed numerical study on the eigenvalue problems of 1D quantum well and 3D harmonic oscillator is carried out. The simulation results strongly confirm the advantages of the SPSTD scheme over the traditional PSTD method and FDTD approach. Furthermore, by comparing to the traditional PSTD method and the non-symplectic Runge-Kutta (RK) method, the explicit SPSTD scheme which is an infinite order of accuracy in space domain and energy-conserving in time domain, is well suited for a long-term simulation.
△ Less
Submitted 8 May, 2018;
originally announced May 2018.
-
Minimal Integrity Bases of Invariants of Second Order Tensors in a Flat Riemannian Space
Authors:
Liqun Qi,
Zhenghai Huang
Abstract:
In this paper, we study invariants of second order tensors in an $n$-dimensional flat Riemannian space. We define eigenvalues, eigenvectors and characteristic polynomials for second order tensors in such an $n$-dimensional Riemannian space and show that the coefficients of the characteristic polynomials are real polynomial invariants of that tensor. Then we give minimal integrity bases for second…
▽ More
In this paper, we study invariants of second order tensors in an $n$-dimensional flat Riemannian space. We define eigenvalues, eigenvectors and characteristic polynomials for second order tensors in such an $n$-dimensional Riemannian space and show that the coefficients of the characteristic polynomials are real polynomial invariants of that tensor. Then we give minimal integrity bases for second order symmetric and antisymmetric tensors, respectively, and study their special cases in the Minkowski space and applications in electrodynamics, etc.
△ Less
Submitted 4 May, 2018;
originally announced May 2018.
-
Special Kähler geometry of the Hitchin system and topological recursion
Authors:
David Baraglia,
Zhenxi Huang
Abstract:
We investigate the special Kähler geometry of the base of the Hitchin integrable system in terms of spectral curves and topological recursion. The Taylor expansion of the special Kähler metric about any point in the base may be computed by integrating the $g = 0$ Eynard-Orantin invariants of the corresponding spectral curve over cycles. In particular, we show that the Donagi-Markman cubic is compu…
▽ More
We investigate the special Kähler geometry of the base of the Hitchin integrable system in terms of spectral curves and topological recursion. The Taylor expansion of the special Kähler metric about any point in the base may be computed by integrating the $g = 0$ Eynard-Orantin invariants of the corresponding spectral curve over cycles. In particular, we show that the Donagi-Markman cubic is computed by the invariant $W^{(0)}_3$. We use topological recursion to go one step beyond this and compute the symmetric quartic of second derivatives of the period matrix.
△ Less
Submitted 20 July, 2017; v1 submitted 16 July, 2017;
originally announced July 2017.
-
On a type of non-classical boundary condition of Lagrangian field
Authors:
Zaixing Huang
Abstract:
In the framework of the Lagrangian field theory, we derive a type of new non-classical natural boundary condition to be correlated with the mean curvature of boundary surface. Under the condition of homogeneity and isotropy, this type of boundary condition can be simplified into the Tolman's formula in which the size effect of surface tension is prescribed.
In the framework of the Lagrangian field theory, we derive a type of new non-classical natural boundary condition to be correlated with the mean curvature of boundary surface. Under the condition of homogeneity and isotropy, this type of boundary condition can be simplified into the Tolman's formula in which the size effect of surface tension is prescribed.
△ Less
Submitted 11 February, 2018; v1 submitted 18 June, 2017;
originally announced June 2017.
-
Loop-Quantum-Gravity Simplicity Constraint as Surface Defect in Complex Chern-Simons Theory
Authors:
Muxin Han,
Zichang Huang
Abstract:
The simplicity constraint is studied in the context of 4d spinfoam models with cosmological constant. We find that the quantum simplicity constraint is realized as the 2d surface defect in SL(2,$\mathbb{C}$) Chern-Simons theory in the construction of spinfoam amplitudes. By this realization of simplicity constraint in Chern-Simons theory, we are able to construct the new spinfoam amplitude with co…
▽ More
The simplicity constraint is studied in the context of 4d spinfoam models with cosmological constant. We find that the quantum simplicity constraint is realized as the 2d surface defect in SL(2,$\mathbb{C}$) Chern-Simons theory in the construction of spinfoam amplitudes. By this realization of simplicity constraint in Chern-Simons theory, we are able to construct the new spinfoam amplitude with cosmological constant for arbitrary simplicial complex (with many 4-simplices). The semiclassical asymptotics of the amplitude is shown to reproduce correctly the 4-dimensional Einstein-Regge action with cosmological constant term.
△ Less
Submitted 4 May, 2017; v1 submitted 10 February, 2017;
originally announced February 2017.
-
SU(2) Flat Connection on Riemann Surface and Twisted Geometry with Cosmological Constant
Authors:
Muxin Han,
Zichang Huang
Abstract:
SU(2) flat connection on 2D Riemann surface is shown to relate to the generalized twisted geometry in 3D space with cosmological constant. Various flat connection quantities on Riemann surface are mapped to the geometrical quantities in discrete 3D space. We propose that the moduli space of SU(2) flat connections on Riemann surface generalizes the phase space of twisted geometry or Loop Quantum Gr…
▽ More
SU(2) flat connection on 2D Riemann surface is shown to relate to the generalized twisted geometry in 3D space with cosmological constant. Various flat connection quantities on Riemann surface are mapped to the geometrical quantities in discrete 3D space. We propose that the moduli space of SU(2) flat connections on Riemann surface generalizes the phase space of twisted geometry or Loop Quantum Gravity to include the cosmological constant.
△ Less
Submitted 28 February, 2017; v1 submitted 4 October, 2016;
originally announced October 2016.
-
Piecewise constant level set algorithm for an inverse elliptic problem in nonlinear electromagnetism
Authors:
Xiangyin Kong,
Zhengfang Zhang,
Zhengda Huang
Abstract:
An inverse problem of identifying inhomogeneity or crack in the workpiece made of nonlinear magnetic material is investigated. To recover the shape from the local measurements, a piecewise constant level set algorithm is proposed. By means of the Lagrangian multiplier method, we derive the first variation w.r.t the level set function and obtain the descent direction by the adjoint variable method.…
▽ More
An inverse problem of identifying inhomogeneity or crack in the workpiece made of nonlinear magnetic material is investigated. To recover the shape from the local measurements, a piecewise constant level set algorithm is proposed. By means of the Lagrangian multiplier method, we derive the first variation w.r.t the level set function and obtain the descent direction by the adjoint variable method. Numerical results show the robustness and effectiveness of our algorithm applied to reconstruct some complex shapes.
△ Less
Submitted 3 December, 2012;
originally announced December 2012.
-
NumExp: Numerical epsilon expansion of hypergeometric functions
Authors:
Zhi-Wei Huang,
Jueping Liu
Abstract:
It is demonstrated that the well-regularized hypergeometric functions can be evaluated directly and numerically. The package NumExp is presented for expanding hypergeometric functions and/or other transcendental functions in a small regularization parameter. The hypergeometric function is expressed as a Laurent series in the regularization parameter and the coefficients are evaluated numerically b…
▽ More
It is demonstrated that the well-regularized hypergeometric functions can be evaluated directly and numerically. The package NumExp is presented for expanding hypergeometric functions and/or other transcendental functions in a small regularization parameter. The hypergeometric function is expressed as a Laurent series in the regularization parameter and the coefficients are evaluated numerically by using the multi-precision finite difference method. This elaborate expansion method works for a wide variety of hypergeometric functions, which are needed in the context of dimensional regularization for loop integrals. The divergent and finite parts can be extracted from the final result easily and simultaneously. In addition, there is almost no restriction on the parameters of hypergeometric functions.
△ Less
Submitted 5 April, 2013; v1 submitted 18 September, 2012;
originally announced September 2012.
-
Gaussian Beam Methods for the Dirac Equation in the Semi-classical Regime
Authors:
Hao Wu,
Zhongyi Huang,
Shi Jin,
Dongsheng Yin
Abstract:
The Dirac equation is an important model in relativistic quantum mechanics. In the semi-classical regime $ε\ll1$, even a spatially spectrally accurate time splitting method \cite{HuJi:05} requires the mesh size to be $O(ε)$, which makes the direct simulation extremely expensive. In this paper, we present the Gaussian beam method for the Dirac equation. With the help of an eigenvalue decomposition,…
▽ More
The Dirac equation is an important model in relativistic quantum mechanics. In the semi-classical regime $ε\ll1$, even a spatially spectrally accurate time splitting method \cite{HuJi:05} requires the mesh size to be $O(ε)$, which makes the direct simulation extremely expensive. In this paper, we present the Gaussian beam method for the Dirac equation. With the help of an eigenvalue decomposition, the Gaussian beams can be independently evolved along each eigenspace and summed to construct an approximate solution of the Dirac equation. Moreover, the proposed Eulerian Gaussian beam keeps the advantages of constructing the Hessian matrices by simply using level set functions' derivatives. Finally, several numerical examples show the efficiency and accuracy of the method.
△ Less
Submitted 2 May, 2012;
originally announced May 2012.
-
A Bloch decomposition based split-step pseudo spectral method for quantum dynamics with periodic potentials
Authors:
Zhongyi Huang,
Shi Jin,
Peter Markowich,
Christof Sparber
Abstract:
We present a new numerical method for accurate computations of solutions to (linear) one dimensional Schrödinger equations with periodic potentials. This is a prominent model in solid state physics where we also allow for perturbations by non-periodic potentials describing external electric fields. Our approach is based on the classical Bloch decomposition method which allows to diagonalize the pe…
▽ More
We present a new numerical method for accurate computations of solutions to (linear) one dimensional Schrödinger equations with periodic potentials. This is a prominent model in solid state physics where we also allow for perturbations by non-periodic potentials describing external electric fields. Our approach is based on the classical Bloch decomposition method which allows to diagonalize the periodic part of the Hamiltonian operator. Hence, the dominant effects from dispersion and periodic lattice potential are computed together, while the non-periodic potential acts only as a perturbation. Because the split-step communicator error between the periodic and non-periodic parts is relatively small, the step size can be chosen substantially larger than for the traditional splitting of the dispersion and potential operators. Indeed it is shown by the given examples, that our method is unconditionally stable and more efficient than the traditional split-step pseudo spectral schemes. To this end a particular focus is on the semiclassical regime, where the new algorithm naturally incorporates the adiabatic splitting of slow and fast degrees of freedom.
△ Less
Submitted 2 May, 2012;
originally announced May 2012.
-
A time-splitting spectral scheme for the Maxwell-Dirac system
Authors:
Zhongyi Huang,
Shi Jin,
Peter Markowich,
Christof Sparber,
Chunxiong Zheng
Abstract:
We present a time-splitting spectral scheme for the Maxwell-Dirac system and similar time-splitting methods for the corresponding asymptotic problems in the semi-classical and the non-relativistic regimes. The scheme for the Maxwell-Dirac system conserves the Lorentz gauge condition, is unconditionally stable and highly efficient as our numerical examples show. In particular we focus in our exampl…
▽ More
We present a time-splitting spectral scheme for the Maxwell-Dirac system and similar time-splitting methods for the corresponding asymptotic problems in the semi-classical and the non-relativistic regimes. The scheme for the Maxwell-Dirac system conserves the Lorentz gauge condition, is unconditionally stable and highly efficient as our numerical examples show. In particular we focus in our examples on the creation of positronic modes in the semi-classical regime and on the electron-positron interaction in the non-relativistic regime. Furthermore, in the non-relativistic regime, our numerical method exhibits uniform convergence in the small parameter $\dt$, which is the ratio of the characteristic speed and the speed of light.
△ Less
Submitted 2 May, 2012;
originally announced May 2012.
-
Physical transformations between quantum states
Authors:
Zejun Huang,
Chi-Kwong Li,
Edward Poon,
Nung-Sing Sze
Abstract:
Given two sets of quantum states {A_1, ..., A_k} and {B_1, ..., B_k}, represented as sets of density matrices, necessary and sufficient conditions are obtained for the existence of a physical transformation T, represented as a trace-preserving completely positive map, such that T(A_i) = B_i for i = 1, ..., k. General completely positive maps without the trace-preserving requirement, and unital com…
▽ More
Given two sets of quantum states {A_1, ..., A_k} and {B_1, ..., B_k}, represented as sets of density matrices, necessary and sufficient conditions are obtained for the existence of a physical transformation T, represented as a trace-preserving completely positive map, such that T(A_i) = B_i for i = 1, ..., k. General completely positive maps without the trace-preserving requirement, and unital completely positive maps transforming the states are also considered.
△ Less
Submitted 26 October, 2012; v1 submitted 25 March, 2012;
originally announced March 2012.
-
Extension the Noether's theorem to Lagrangian formulation with nonlocality
Authors:
Zaixing Huang
Abstract:
A Lagrangian formulation with nonlocality is investigated in this paper. The nonlocality of the Lagrangian is introduced by a new nonlocal argument that is defined as a nonlocal residual satisfying the zero mean condition. The nonlocal Euler-Lagrangian equation is derived from the Hamilton's principle. The Noether's theorem is extended to this Lagrangian formulation with nonlocality. With the help…
▽ More
A Lagrangian formulation with nonlocality is investigated in this paper. The nonlocality of the Lagrangian is introduced by a new nonlocal argument that is defined as a nonlocal residual satisfying the zero mean condition. The nonlocal Euler-Lagrangian equation is derived from the Hamilton's principle. The Noether's theorem is extended to this Lagrangian formulation with nonlocality. With the help of the extended Noether's theorem, the conservation laws relevant to energy, linear momentum, angular momentum and the Eshelby tensor are determined in the nonlocal elasticity associated with the mechanically based constitutive model. The results show that the conservation laws exist only in the form of the integral over the whole domain occupied by body. The localization of the conservation laws is discussed in detail. We demonstrate that not every conservation law corresponds to a local equilibrium equation. Only when the nonlocal residual of conservation current exists, can a conservation law be transformed into a local equilibrium equation by localization.
△ Less
Submitted 6 March, 2012;
originally announced March 2012.
-
A Gauge field Induced by the Global Gauge Invariance of Action Integral
Authors:
Zaixing huang
Abstract:
As a general rule, it is considered that the global gauge invariance of an action integral does not cause the occurrence of gauge field. However, in this paper we demonstrate that when the so-called localized assumption is excluded, the gauge field will be induced by the global gauge invariance of the action integral. An example is given to support this conclusion.
As a general rule, it is considered that the global gauge invariance of an action integral does not cause the occurrence of gauge field. However, in this paper we demonstrate that when the so-called localized assumption is excluded, the gauge field will be induced by the global gauge invariance of the action integral. An example is given to support this conclusion.
△ Less
Submitted 27 September, 2007; v1 submitted 16 September, 2007;
originally announced September 2007.
