-
Free field realization of the quantum toroidal algebra of $\mathfrak{gl}_1$ with general levels
Authors:
Zitao Chen,
Xiang-Mao Ding
Abstract:
We present a unified free field realization of representations for the quantum toroidal algebra of $\mathfrak{gl}_1$ with arbitrary levels, constructed using six free boson fields. This realization arises from a specialized factorization of the structure function within the defining relations of the quantum toroidal algebra of $\mathfrak{gl}_1$. Utilizing this free field realization, we further de…
▽ More
We present a unified free field realization of representations for the quantum toroidal algebra of $\mathfrak{gl}_1$ with arbitrary levels, constructed using six free boson fields. This realization arises from a specialized factorization of the structure function within the defining relations of the quantum toroidal algebra of $\mathfrak{gl}_1$. Utilizing this free field realization, we further develop intertwining operators for the algebra of $\mathfrak{gl}_1$.
△ Less
Submitted 24 April, 2025;
originally announced April 2025.
-
On Sufficient and Necessary Criteria of Multipartite Quantum Entanglement
Authors:
Zhi-Bo Chen,
Shao-Ming Fei
Abstract:
Based on the generalized Bloch representation, we study the separability and genuine multipartite entanglement of arbitrary dimensional multipartite quantum states. Some sufficient and some necessary criteria are presented. For certain states, these criteria together are both sufficient and necessary. Detailed examples show that our criteria are better than some existing ones in identifying entang…
▽ More
Based on the generalized Bloch representation, we study the separability and genuine multipartite entanglement of arbitrary dimensional multipartite quantum states. Some sufficient and some necessary criteria are presented. For certain states, these criteria together are both sufficient and necessary. Detailed examples show that our criteria are better than some existing ones in identifying entanglement. Based on these criteria, the largest separable ball around the maximally mixed state for arbitrary multi-qubit systems is found, and it is proved that its radius is the constant 1. Furthermore, the criteria in this paper can be implemented experimentally.
△ Less
Submitted 13 March, 2025;
originally announced March 2025.
-
Local Conservation Laws and Entropy Inequality for Kinetic Models with Delocalized Collision Integrals
Authors:
Frédérique Charles,
Zhe Chen,
François Golse
Abstract:
This article presents a common setting for the collision integrals $\mathrm{St}$ appearing in the kinetic theory of dense gases. It includes the collision integrals of the Enskog equation, of (a variant of) the Povzner equation, and of a model for soft sphere collisions proposed by Cercignani [Comm. Pure Appl. Math. 36 (1983), 479-494]. All these collision integrals are delocalized, in the sense t…
▽ More
This article presents a common setting for the collision integrals $\mathrm{St}$ appearing in the kinetic theory of dense gases. It includes the collision integrals of the Enskog equation, of (a variant of) the Povzner equation, and of a model for soft sphere collisions proposed by Cercignani [Comm. Pure Appl. Math. 36 (1983), 479-494]. All these collision integrals are delocalized, in the sense that they involve products of the distribution functions of gas molecules evaluated at positions whose distance is of the order of the molecular radius. Our first main result is to express these collision integrals as the divergence in $v$ of some mass current, where $v$ is the velocity variable, while $v_i\mathrm{St}$ and $|v|^2\mathrm{St}$ are expressed as the phase space divergence (i.e divergence in both position and velocity) of appropriate momentum and energy currents. This extends to the case of dense gases an earlier result by Villani [Math. Modelling Numer. Anal. M2AN 33 (1999), 209-227] in the case of the classical Boltzmann equation (where the collision integral is involves products of the distribution function of gas molecules evaluated at different velocities, but at the same position. Applications of this conservative formulation of delocalized collision integrals include the possibility of obtaining the local conservation laws of momentum and energy starting from this kinetic theory of denses gases. Similarly a local variant of the Boltzmann H Theorem, involving some kind of free energy instead of Boltzmann's H function, can be obtained in the form of an expression for the entropy production in terms of the phase space divergence of some phase space current, and of a nonpositive term.
△ Less
Submitted 21 December, 2024;
originally announced December 2024.
-
Hopf bifurcation of a non-parallel Navier-Stokes flow
Authors:
Zhi-Min Chen
Abstract:
A plane non-parallel flow in a square fluid domain exhibits an odd number of vortices. A spectral structure is found to have a non-real solution of the spectral problem linearized around the flow. With the use of this structure, Hopf bifurcation or secondary time periodic flows branching of a basic square eddy flow is found. In contrast to a square eddy flow involving an even number of vortices in…
▽ More
A plane non-parallel flow in a square fluid domain exhibits an odd number of vortices. A spectral structure is found to have a non-real solution of the spectral problem linearized around the flow. With the use of this structure, Hopf bifurcation or secondary time periodic flows branching of a basic square eddy flow is found. In contrast to a square eddy flow involving an even number of vortices in earlier analytical and experimental investigations, instability of the flow leads to steady-state bifurcations.
△ Less
Submitted 10 April, 2024;
originally announced April 2024.
-
Monodromy of generalized Lame equations with Darboux-Treibich-Verdier potentials: A universal law
Authors:
Zhijie Chen,
Chang-Shou Lin
Abstract:
The Darboux-Treibich-Verdier (DTV) potential $\sum_{k=0}^{3}n_{k}(n_{k}+1)\wp(z+\tfrac{ ω_{k}}{2};τ)$ is well-known as doubly-periodic solutions of the stationary KdV hierarchy (Treibich-Verdier, Duke Math. J. {\bf 68} (1992), 217-236). In this paper, we study the generalized Lamé equation with the DTV potential \begin{equation*} y^{\prime \prime }(z)=\bigg[ \sum_{k=0}^{3}n_{k}(n_{k}+1)\wp(z+\tfra…
▽ More
The Darboux-Treibich-Verdier (DTV) potential $\sum_{k=0}^{3}n_{k}(n_{k}+1)\wp(z+\tfrac{ ω_{k}}{2};τ)$ is well-known as doubly-periodic solutions of the stationary KdV hierarchy (Treibich-Verdier, Duke Math. J. {\bf 68} (1992), 217-236). In this paper, we study the generalized Lamé equation with the DTV potential \begin{equation*} y^{\prime \prime }(z)=\bigg[ \sum_{k=0}^{3}n_{k}(n_{k}+1)\wp(z+\tfrac{ ω_{k}}{2};τ)+B\bigg] y(z),\quad n_{k}\in \mathbb{N} \end{equation*} from the monodromy aspect. We prove that the map from $(τ, B)$ to the monodromy data $(r,s)$ satisfies a surprising universal law $dτ\wedge dB\equiv8π^2 dr\wedge ds.$ Our proof applies Panlevé VI equation and modular forms. We also give applications to the algebraic multiplicity of (anti)periodic eigenvalues for the associated Hill operator.
△ Less
Submitted 2 April, 2024;
originally announced April 2024.
-
On (co-)morphisms of $n$-Lie-Rinehart algebras with applications to Nambu-Poisson manifolds
Authors:
Yanhui Bi,
Zhixiong Chen,
Tao Zhang
Abstract:
In this paper, we give a unified description of morphisms and comorphisms of $n$-Lie-Rinehart algebras. We show that these morphisms and comorphisms can be regarded as two subalgebras of the $ψ$-sum of $n$-Lie-Rinehart algebras. We also provide similar descriptions for morphisms and comorphisms of $n$-Lie algebroids. It is proved that the category of vector bundles with Nambu-Poisson structures of…
▽ More
In this paper, we give a unified description of morphisms and comorphisms of $n$-Lie-Rinehart algebras. We show that these morphisms and comorphisms can be regarded as two subalgebras of the $ψ$-sum of $n$-Lie-Rinehart algebras. We also provide similar descriptions for morphisms and comorphisms of $n$-Lie algebroids. It is proved that the category of vector bundles with Nambu-Poisson structures of rank $n$ and the category of their dual bundles with $n$-Lie algebroid structures of rank $n$ are equivalent to each other.
△ Less
Submitted 19 September, 2023;
originally announced September 2023.
-
Banach space formalism of quantum mechanics
Authors:
Zeqian Chen
Abstract:
This paper presents a generalization of quantum mechanics from conventional Hilbert space formalism to Banach space one. We construct quantum theory starting with any complex Banach space beyond a complex Hilbert space, through using a basic fact that a complex Banach space always admits a semi-inner product. Precisely, in a complex Banach space $\mathbb{X}$ with a given semi-inner product, a pure…
▽ More
This paper presents a generalization of quantum mechanics from conventional Hilbert space formalism to Banach space one. We construct quantum theory starting with any complex Banach space beyond a complex Hilbert space, through using a basic fact that a complex Banach space always admits a semi-inner product. Precisely, in a complex Banach space $\mathbb{X}$ with a given semi-inner product, a pure state is defined by Lumer \cite{Lumer1961} to be a bounded linear functional on the space of bounded operators determined by a normalized element of $\mathbb{X}$ under the semi-inner product, and then the state space $\mathcal{S} (\mathbb{X})$ of the system is the weakly closed convex set spanned by all pure states. Based on Lumer's notion of the state, we associate a quantum system with a complex Banach space $\mathbb{X}$ equipped with a fixed semi-inner product, and then define a physical event at a quantum state $ω\in \mathcal{S}(\mathbb{X})$ to be a projection $P$ (bounded operator such that $P^2 =P$) in $\mathbb{X}$ satisfying the positivity condition $0 \le ω(P) \le 1,$ and a physical quantity at a quantum state $ω$ to be a spectral operator of scalar type with real spectrum so that the associated spectral projections are all physical events at $ω.$ The Born formula for measurement of a physical quantity is the natural pairing of operators with linear functionals satisfying the probability conservation law. A time evolution of the system is governed by a one-parameter group of invertible spectral operators determined by a scalar type operator with the real spectrum, which satisfies the Schrödinger equation. Our formulation is just a generalization of the Dirac-von Neumann formalism of quantum mechanics to the Banach space setting. We include some examples for illustration.
△ Less
Submitted 8 June, 2023;
originally announced June 2023.
-
Weak $(p,k)$-Dirac manifolds
Authors:
Yanhui Bi,
Zhixiong Chen
Abstract:
In this paper, we introduce the notion of a weak $(p,k)$-Dirac structure in $TM\oplus Λ^pT^*M$, where $0\leq k \leq p-1$. The weak $(p,k)$-Lagrangian condition has more informations than the $(p,k)$-Lagrangian condition and contains the $(p,k)$-Lagrangian condition. The weak $(p,0)$-Dirac structures are exactly the higher Dirac structures of order p introduced by N. Martinez Alba and H. Bursztyn i…
▽ More
In this paper, we introduce the notion of a weak $(p,k)$-Dirac structure in $TM\oplus Λ^pT^*M$, where $0\leq k \leq p-1$. The weak $(p,k)$-Lagrangian condition has more informations than the $(p,k)$-Lagrangian condition and contains the $(p,k)$-Lagrangian condition. The weak $(p,0)$-Dirac structures are exactly the higher Dirac structures of order p introduced by N. Martinez Alba and H. Bursztyn in [23] and [6], respectively. The regular weak $(p,p-1)$-Dirac structure together with $(p,p-1)$-Lagrangian subspace at each point $m\in M$ have the multisymplectic foliation. Finally, we introduce the notion of weak $(p,k)$-Dirac morphism. We give the condition that a weak $(p,k)$-Dirac manifold is also a weak $(p,k)$-Dirac manifold after pulling back.
△ Less
Submitted 19 September, 2023; v1 submitted 5 February, 2023;
originally announced February 2023.
-
Spectrum of non-Hermitian deep-Hebbian neural networks
Authors:
Zijian Jiang,
Ziming Chen,
Tianqi Hou,
Haiping Huang
Abstract:
Neural networks with recurrent asymmetric couplings are important to understand how episodic memories are encoded in the brain. Here, we integrate the experimental observation of wide synaptic integration window into our model of sequence retrieval in the continuous time dynamics. The model with non-normal neuron-interactions is theoretically studied by deriving a random matrix theory of the Jacob…
▽ More
Neural networks with recurrent asymmetric couplings are important to understand how episodic memories are encoded in the brain. Here, we integrate the experimental observation of wide synaptic integration window into our model of sequence retrieval in the continuous time dynamics. The model with non-normal neuron-interactions is theoretically studied by deriving a random matrix theory of the Jacobian matrix in neural dynamics. The spectra bears several distinct features, such as breaking rotational symmetry about the origin, and the emergence of nested voids within the spectrum boundary. The spectral density is thus highly non-uniformly distributed in the complex plane. The random matrix theory also predicts a transition to chaos. In particular, the edge of chaos provides computational benefits for the sequential retrieval of memories. Our work provides a systematic study of time-lagged correlations with arbitrary time delays, and thus can inspire future studies of a broad class of memory models, and even big data analysis of biological time series.
△ Less
Submitted 16 January, 2023; v1 submitted 24 August, 2022;
originally announced August 2022.
-
Dirac generating operators of split Courant algebroids
Authors:
Liqiang Cai,
Zhuo Chen,
Honglei Lang,
Maosong Xiang
Abstract:
Given a vector bundle $A$ over a smooth manifold $M$ such that the square root $\mathcal{L}$ of the line bundle $\wedge^{\mathrm{top}}A^\ast \otimes \wedge^{\mathrm{top}}T^\ast M$ exists, the Clifford bundle associated to the split pseudo-Euclidean vector bundle $(E = A \oplus A^\ast, \langle \cdot, \cdot \rangle)$, admits a spinor bundle $\wedge^\bullet A \otimes \mathcal{L}$, whose section space…
▽ More
Given a vector bundle $A$ over a smooth manifold $M$ such that the square root $\mathcal{L}$ of the line bundle $\wedge^{\mathrm{top}}A^\ast \otimes \wedge^{\mathrm{top}}T^\ast M$ exists, the Clifford bundle associated to the split pseudo-Euclidean vector bundle $(E = A \oplus A^\ast, \langle \cdot, \cdot \rangle)$, admits a spinor bundle $\wedge^\bullet A \otimes \mathcal{L}$, whose section space can be thought of as that of Berezinian half-densities of the graded manifold $A^\ast[1]$. We give an explicit construction of Dirac generating operators of split Courant algebroid (or proto-bialgebroid) structures on $A \oplus A^\ast$ introduced by Alekseev and Xu. We also prove that the square of the Dirac generating operator gives rise to an invariant of the split Courant algebroid.
△ Less
Submitted 20 June, 2022;
originally announced June 2022.
-
Defect patterns of two-dimensional nematic liquid crystals in confinement
Authors:
Xiaomei Yao,
Lei Zhang,
Jeff Z. Y. Chen
Abstract:
A two-dimensional or quasi-two-dimensional nematic liquid crystal refers to a surface confined system. When such a system is further confined by external line boundaries or excluded from internal line boundaries, the nematic directors form a deformed texture that may display defect points or defect lines, for which winding numbers can be clearly defined. Here, a particular attention is paid to the…
▽ More
A two-dimensional or quasi-two-dimensional nematic liquid crystal refers to a surface confined system. When such a system is further confined by external line boundaries or excluded from internal line boundaries, the nematic directors form a deformed texture that may display defect points or defect lines, for which winding numbers can be clearly defined. Here, a particular attention is paid to the case when the liquid crystal molecules prefer to form a boundary nematic texture in parallel to the wall surface (i.e., following the homogeneous boundary condition). A general theory, based on geometric argument, is presented for the relationship between the sum of all winding numbers in the system (the total winding number) and the type of confinement angles and curved segments. The conclusion is validated by comparing the theoretical defect rule with existing nematic textures observed experimentally and theoretically in recent years.
△ Less
Submitted 15 December, 2021;
originally announced December 2021.
-
A mathematical formalism of non-Hermitian quantum mechanics and observable-geometric phases
Authors:
Zeqian Chen
Abstract:
We present a mathematical formalism of non-Hermitian quantum mechanics, following the Dirac-von Neumann formalism of quantum mechanics. In this formalism, the state postulate is the same as in the Dirac-von Neumann formalism, but the observable postulate should be changed to include para-Hermitian operators (spectral operators of scalar type with real spectrum) representing observable, as such bot…
▽ More
We present a mathematical formalism of non-Hermitian quantum mechanics, following the Dirac-von Neumann formalism of quantum mechanics. In this formalism, the state postulate is the same as in the Dirac-von Neumann formalism, but the observable postulate should be changed to include para-Hermitian operators (spectral operators of scalar type with real spectrum) representing observable, as such both the measurement postulate and the evolution postulate must be modified accordingly. This is based on a Stone type theorem as proved here that the dynamics of non-Hermitian quantum systems is governed by para-unitary time evolution. The Born formula on the expectation of an observable at a certain state is given in the non-Hermitian setting, which is proved to be equal to the usual Born rule for every Hermitian observable, but for a non-Hermitian one it may depend on measurement via the choice of a metric operator associated with the non-Hermitian observable under measurement. Our formalism is nether Hamiltonian-dependent nor basis-dependent, but can recover both PT-symmetric and biorthogonal quantum mechanics, and it reduces to the Dirac-von Neumann formalism of quantum mechanics in the Hermitian setting. As application, we study observable-geometric phases for non-Hermitian quantum systems.
△ Less
Submitted 28 March, 2022; v1 submitted 24 November, 2021;
originally announced November 2021.
-
Dg Loday-Pirashvili modules over Lie algebras
Authors:
Zhuo Chen,
Yu Qiao,
Maosong Xiang,
Tao Zhang
Abstract:
A Loday-Pirashvili module over a Lie algebra $\mathfrak{g}$ is a Lie algebra object $\bigl(G\xrightarrow{X} \mathfrak{g} \bigr)$ in the category of linear maps, or equivalently, a $\mathfrak{g}$-module $G$ which admits a $\mathfrak{g}$-equivariant linear map $X:G\to \mathfrak{g}$. We study dg Loday-Pirashvili modules over Lie algebras, which is a generalization of Loday-Pirashvili modules in a nat…
▽ More
A Loday-Pirashvili module over a Lie algebra $\mathfrak{g}$ is a Lie algebra object $\bigl(G\xrightarrow{X} \mathfrak{g} \bigr)$ in the category of linear maps, or equivalently, a $\mathfrak{g}$-module $G$ which admits a $\mathfrak{g}$-equivariant linear map $X:G\to \mathfrak{g}$. We study dg Loday-Pirashvili modules over Lie algebras, which is a generalization of Loday-Pirashvili modules in a natural way, and establish several equivalent characterizations of dg Loday-Pirashvili modules. To provide a concise characterization, a dg Loday-Pirashvili module is a non-negative and bounded dg $\mathfrak{g}$-module $V$ paired with a weak morphism of dg $\mathfrak{g}$-modules $α\colon V\rightsquigarrow \mathfrak{g}$. Such a dg Loday-Pirashvili module resolves an arbitrarily specified classical Loday-Pirashvili module in the sense that it exists and is unique (up to homotopy). Dg Loday-Pirashvili modules can be characterized through dg derivations. This perspective allows the calculation of the corresponding twisted Atiyah classes. By leveraging the Kapranov functor on the dg derivation arising from a dg Loday-Pirashvili module $(V,α)$, a Leibniz$_\infty[1]$ algebra structure can be derived on $\wedge^\bullet \mathfrak{g}^\vee\otimes V[1]$. The binary bracket of this structure corresponds to the twisted Atiyah cocycle. To exemplify these intricate algebraic structures through specific cases, we utilize this machinery to a particular type of dg Loday-Pirashvili modules stemming from Lie algebra pairs.
△ Less
Submitted 19 November, 2024; v1 submitted 22 October, 2021;
originally announced October 2021.
-
Spectral Independence via Stability and Applications to Holant-Type Problems
Authors:
Zongchen Chen,
Kuikui Liu,
Eric Vigoda
Abstract:
This paper formalizes connections between stability of polynomials and convergence rates of Markov Chain Monte Carlo (MCMC) algorithms. We prove that if a (multivariate) partition function is nonzero in a region around a real point $λ$ then spectral independence holds at $λ$. As a consequence, for Holant-type problems (e.g., spin systems) on bounded-degree graphs, we obtain optimal $O(n\log n)$ mi…
▽ More
This paper formalizes connections between stability of polynomials and convergence rates of Markov Chain Monte Carlo (MCMC) algorithms. We prove that if a (multivariate) partition function is nonzero in a region around a real point $λ$ then spectral independence holds at $λ$. As a consequence, for Holant-type problems (e.g., spin systems) on bounded-degree graphs, we obtain optimal $O(n\log n)$ mixing time bounds for the single-site update Markov chain known as the Glauber dynamics. Our result significantly improves the running time guarantees obtained via the polynomial interpolation method of Barvinok (2017), refined by Patel and Regts (2017).
There are a variety of applications of our results. In this paper, we focus on Holant-type (i.e., edge-coloring) problems, including weighted edge covers and weighted even subgraphs. For the weighted edge cover problem (and several natural generalizations) we obtain an $O(n\log{n})$ sampling algorithm on bounded-degree graphs. The even subgraphs problem corresponds to the high-temperature expansion of the ferromagnetic Ising model. We obtain an $O(n\log{n})$ sampling algorithm for the ferromagnetic Ising model with a nonzero external field on bounded-degree graphs, which improves upon the classical result of Jerrum and Sinclair (1993) for this class of graphs. We obtain further applications to antiferromagnetic two-spin models on line graphs, weighted graph homomorphisms, tensor networks, and more.
△ Less
Submitted 11 July, 2024; v1 submitted 7 June, 2021;
originally announced June 2021.
-
The standard cohomology of regular Courant algebroids
Authors:
Xiongwei Cai,
Zhuo Chen,
Maosong Xiang
Abstract:
For any regular Courant algebroid $E$ over a smooth manifold $M$ with characteristic distribution $F$ and ample Lie algebroid $A_E$, we prove that there exists a canonical homological vector field on the graded manifold $A_E[1] \oplus (TM/F)^\ast[2]$ such that the resulting dg manifold $\mathcal{M}_E$, which we call the minimal model of the Courant algebroid $E$, encodes all cohomological informat…
▽ More
For any regular Courant algebroid $E$ over a smooth manifold $M$ with characteristic distribution $F$ and ample Lie algebroid $A_E$, we prove that there exists a canonical homological vector field on the graded manifold $A_E[1] \oplus (TM/F)^\ast[2]$ such that the resulting dg manifold $\mathcal{M}_E$, which we call the minimal model of the Courant algebroid $E$, encodes all cohomological information of $E$. Indeed, the standard cohomology of $E$ can be identified with the cohomology of the function space on $\mathcal{M}_E$, which can be computed by a Hodge-to-de Rham type spectral sequence. We apply this result to generalized exact Courant algebroids and those arising from regular Lie algebroids.
△ Less
Submitted 1 November, 2022; v1 submitted 31 May, 2021;
originally announced May 2021.
-
Limiting current distribution for a two species asymmetric exclusion process
Authors:
Zeying Chen,
Jan de Gier,
Iori Hiki,
Tomohiro Sasamoto,
Masato Usui
Abstract:
We study current fluctuations of a two-species asymmetric exclusion process, known as the Arndt-Heinzel-Rittenberg model. For a step-Bernoulli initial condition with finite number of particles, we provide an explicit multiple integral expression for a certain joint current probability distribution. By performing an asymptotic analysis we prove that the joint current distribution is given by a prod…
▽ More
We study current fluctuations of a two-species asymmetric exclusion process, known as the Arndt-Heinzel-Rittenberg model. For a step-Bernoulli initial condition with finite number of particles, we provide an explicit multiple integral expression for a certain joint current probability distribution. By performing an asymptotic analysis we prove that the joint current distribution is given by a product of a Gaussian and a GUE Tracy-Widom distribution in the long time limit, as predicted by non-linear fluctuating hydrodynamics.
△ Less
Submitted 31 March, 2021;
originally announced April 2021.
-
Hochschild cohomology of dg manifolds associated to integrable distributions
Authors:
Zhuo Chen,
Maosong Xiang,
Ping Xu
Abstract:
For the field $\mathbb{K} = \mathbb{R}$ or $\mathbb{C}$, and an integrable distribution $F \subseteq T_M \otimes_{\mathbb{R}} \mathbb{K}$ on a smooth manifold $M$, we study the Hochschild cohomology of the dg manifold $(F[1],d_F)$ and establish a canonical isomorphism with the Hochschild cohomology of the algebra of functions on leaf space in terms of transversal polydifferential operators of $F$.…
▽ More
For the field $\mathbb{K} = \mathbb{R}$ or $\mathbb{C}$, and an integrable distribution $F \subseteq T_M \otimes_{\mathbb{R}} \mathbb{K}$ on a smooth manifold $M$, we study the Hochschild cohomology of the dg manifold $(F[1],d_F)$ and establish a canonical isomorphism with the Hochschild cohomology of the algebra of functions on leaf space in terms of transversal polydifferential operators of $F$. In particular, for the dg manifold $(T_X^{0,1}[1],\bar{\partial})$ associated with a complex manifold $X$, we prove that its Hochschild cohomology is canonically isomorphic to the Hochschild cohomology $HH^{\bullet}(X)$ of the complex manifold $X$. As an application, we show that the Duflo-Kontsevich type theorem for the dg manifold $(T_X^{0,1}[1],\bar{\partial})$ implies the Duflo-Kontsevich theorem for complex manifolds.
△ Less
Submitted 3 August, 2022; v1 submitted 14 March, 2021;
originally announced March 2021.
-
On Mixing of Markov Chains: Coupling, Spectral Independence, and Entropy Factorization
Authors:
Antonio Blanca,
Pietro Caputo,
Zongchen Chen,
Daniel Parisi,
Daniel Štefankovič,
Eric Vigoda
Abstract:
For general spin systems, we prove that a contractive coupling for any local Markov chain implies optimal bounds on the mixing time and the modified log-Sobolev constant for a large class of Markov chains including the Glauber dynamics, arbitrary heat-bath block dynamics, and the Swendsen-Wang dynamics. This reveals a novel connection between probabilistic techniques for bounding the convergence t…
▽ More
For general spin systems, we prove that a contractive coupling for any local Markov chain implies optimal bounds on the mixing time and the modified log-Sobolev constant for a large class of Markov chains including the Glauber dynamics, arbitrary heat-bath block dynamics, and the Swendsen-Wang dynamics. This reveals a novel connection between probabilistic techniques for bounding the convergence to stationarity and analytic tools for analyzing the decay of relative entropy. As a corollary of our general results, we obtain $O(n\log{n})$ mixing time and $Ω(1/n)$ modified log-Sobolev constant of the Glauber dynamics for sampling random $q$-colorings of an $n$-vertex graph with constant maximum degree $Δ$ when $q > (11/6 - ε_0)Δ$ for some fixed $ε_0>0$. We also obtain $O(\log{n})$ mixing time and $Ω(1)$ modified log-Sobolev constant of the Swendsen-Wang dynamics for the ferromagnetic Ising model on an $n$-vertex graph of constant maximum degree when the parameters of the system lie in the tree uniqueness region. At the heart of our results are new techniques for establishing spectral independence of the spin system and block factorization of the relative entropy. On one hand we prove that a contractive coupling of a local Markov chain implies spectral independence of the Gibbs distribution. On the other hand we show that spectral independence implies factorization of entropy for arbitrary blocks, establishing optimal bounds on the modified log-Sobolev constant of the corresponding block dynamics.
△ Less
Submitted 12 March, 2021;
originally announced March 2021.
-
Optimal Mixing of Glauber Dynamics: Entropy Factorization via High-Dimensional Expansion
Authors:
Zongchen Chen,
Kuikui Liu,
Eric Vigoda
Abstract:
We prove an optimal mixing time bound on the single-site update Markov chain known as the Glauber dynamics or Gibbs sampling in a variety of settings. Our work presents an improved version of the spectral independence approach of Anari et al. (2020) and shows $O(n\log{n})$ mixing time on any $n$-vertex graph of bounded degree when the maximum eigenvalue of an associated influence matrix is bounded…
▽ More
We prove an optimal mixing time bound on the single-site update Markov chain known as the Glauber dynamics or Gibbs sampling in a variety of settings. Our work presents an improved version of the spectral independence approach of Anari et al. (2020) and shows $O(n\log{n})$ mixing time on any $n$-vertex graph of bounded degree when the maximum eigenvalue of an associated influence matrix is bounded. As an application of our results, for the hard-core model on independent sets weighted by a fugacity $λ$, we establish $O(n\log{n})$ mixing time for the Glauber dynamics on any $n$-vertex graph of constant maximum degree $Δ$ when $λ<λ_c(Δ)$ where $λ_c(Δ)$ is the critical point for the uniqueness/non-uniqueness phase transition on the $Δ$-regular tree. More generally, for any antiferromagnetic 2-spin system we prove $O(n\log{n})$ mixing time of the Glauber dynamics on any bounded degree graph in the corresponding tree uniqueness region. Our results apply more broadly; for example, we also obtain $O(n\log{n})$ mixing for $q$-colorings of triangle-free graphs of maximum degree $Δ$ when the number of colors satisfies $q > αΔ$ where $α\approx 1.763$, and $O(m\log{n})$ mixing for generating random matchings of any graph with bounded degree and $m$ edges.
△ Less
Submitted 23 March, 2023; v1 submitted 3 November, 2020;
originally announced November 2020.
-
The Swendsen-Wang Dynamics on Trees
Authors:
Antonio Blanca,
Zongchen Chen,
Daniel Štefankovič,
Eric Vigoda
Abstract:
The Swendsen-Wang algorithm is a sophisticated, widely-used Markov chain for sampling from the Gibbs distribution for the ferromagnetic Ising and Potts models. This chain has proved difficult to analyze, due in part to the global nature of its updates. We present optimal bounds on the convergence rate of the Swendsen-Wang algorithm for the complete $d$-ary tree. Our bounds extend to the non-unique…
▽ More
The Swendsen-Wang algorithm is a sophisticated, widely-used Markov chain for sampling from the Gibbs distribution for the ferromagnetic Ising and Potts models. This chain has proved difficult to analyze, due in part to the global nature of its updates. We present optimal bounds on the convergence rate of the Swendsen-Wang algorithm for the complete $d$-ary tree. Our bounds extend to the non-uniqueness region and apply to all boundary conditions.
We show that the spatial mixing conditions known as Variance Mixing and Entropy Mixing, introduced in the study of local Markov chains by Martinelli et al. (2003), imply $Ω(1)$ spectral gap and $O(\log{n})$ mixing time, respectively, for the Swendsen-Wang dynamics on the $d$-ary tree. We also show that these bounds are asymptotically optimal. As a consequence, we establish $Θ(\log{n})$ mixing for the Swendsen-Wang dynamics for all boundary conditions throughout the tree uniqueness region; in fact, our bounds hold beyond the uniqueness threshold for the Ising model, and for the $q$-state Potts model when $q$ is small with respect to $d$. Our proofs feature a novel spectral view of the Variance Mixing condition inspired by several recent rapid mixing results on high-dimensional expanders and utilize recent work on block factorization of entropy under spatial mixing conditions.
△ Less
Submitted 10 May, 2021; v1 submitted 15 July, 2020;
originally announced July 2020.
-
Rapid Mixing for Colorings via Spectral Independence
Authors:
Zongchen Chen,
Andreas Galanis,
Daniel Štefankovič,
Eric Vigoda
Abstract:
The spectral independence approach of Anari et al. (2020) utilized recent results on high-dimensional expanders of Alev and Lau (2020) and established rapid mixing of the Glauber dynamics for the hard-core model defined on weighted independent sets. We develop the spectral independence approach for colorings, and obtain new algorithmic results for the corresponding counting/sampling problems.
Le…
▽ More
The spectral independence approach of Anari et al. (2020) utilized recent results on high-dimensional expanders of Alev and Lau (2020) and established rapid mixing of the Glauber dynamics for the hard-core model defined on weighted independent sets. We develop the spectral independence approach for colorings, and obtain new algorithmic results for the corresponding counting/sampling problems.
Let $α^*\approx 1.763$ denote the solution to $\exp(1/x)=x$ and let $α>α^*$. We prove that, for any triangle-free graph $G=(V,E)$ with maximum degree $Δ$, for all $q\geqαΔ+1$, the mixing time of the Glauber dynamics for $q$-colorings is polynomial in $n=|V|$, with the exponent of the polynomial independent of $Δ$ and $q$. In comparison, previous approximate counting results for colorings held for a similar range of $q$ (asymptotically in $Δ$) but with larger girth requirement or with a running time where the polynomial exponent depended on $Δ$ and $q$ (exponentially). One further feature of using the spectral independence approach to study colorings is that it avoids many of the technical complications in previous approaches caused by coupling arguments or by passing to the complex plane; the key improvement on the running time is based on relatively simple combinatorial arguments which are then translated into spectral bounds.
△ Less
Submitted 15 July, 2020;
originally announced July 2020.
-
Rapid Mixing of Glauber Dynamics up to Uniqueness via Contraction
Authors:
Zongchen Chen,
Kuikui Liu,
Eric Vigoda
Abstract:
For general antiferromagnetic 2-spin systems, including the hardcore model and the antiferromagnetic Ising model, there is an $\mathsf{FPTAS}$ for the partition function on graphs of maximum degree $Δ$ when the infinite regular tree lies in the uniqueness region by Li et al. (2013). Moreover, in the tree non-uniqueness region, Sly (2010) showed that there is no $\mathsf{FPRAS}$ to estimate the par…
▽ More
For general antiferromagnetic 2-spin systems, including the hardcore model and the antiferromagnetic Ising model, there is an $\mathsf{FPTAS}$ for the partition function on graphs of maximum degree $Δ$ when the infinite regular tree lies in the uniqueness region by Li et al. (2013). Moreover, in the tree non-uniqueness region, Sly (2010) showed that there is no $\mathsf{FPRAS}$ to estimate the partition function unless $\mathsf{NP}=\mathsf{RP}$. The algorithmic results follow from the correlation decay approach due to Weitz (2006) or the polynomial interpolation approach developed by Barvinok (2016). However the running time is only polynomial for constant $Δ$. For the hardcore model, recent work of Anari et al. (2020) establishes rapid mixing of the simple single-site Markov chain known as the Glauber dynamics in the tree uniqueness region. Our work simplifies their analysis of the Glauber dynamics by considering the total pairwise influence of a fixed vertex $v$ on other vertices, as opposed to the total influence on $v$, thereby extending their work to all 2-spin models and improving the mixing time.
More importantly our proof ties together the three disparate algorithmic approaches: we show that contraction of the tree recursions with a suitable potential function, which is the primary technique for establishing efficiency of Weitz's correlation decay approach and Barvinok's polynomial interpolation approach, also establishes rapid mixing of the Glauber dynamics. We emphasize that this connection holds for all 2-spin models (both antiferromagnetic and ferromagnetic), and existing proofs for correlation decay or polynomial interpolation immediately imply rapid mixing of Glauber dynamics. Our proof utilizes that the graph partition function divides that of Weitz's self-avoiding walk trees, leading to new tools for analyzing influence of vertices.
△ Less
Submitted 18 July, 2021; v1 submitted 20 April, 2020;
originally announced April 2020.
-
Tensor Ring Decomposition: Optimization Landscape and One-loop Convergence of Alternating Least Squares
Authors:
Ziang Chen,
Yingzhou Li,
Jianfeng Lu
Abstract:
In this work, we study the tensor ring decomposition and its associated numerical algorithms. We establish a sharp transition of algorithmic difficulty of the optimization problem as the bond dimension increases: On one hand, we show the existence of spurious local minima for the optimization landscape even when the tensor ring format is much over-parameterized, i.e., with bond dimension much larg…
▽ More
In this work, we study the tensor ring decomposition and its associated numerical algorithms. We establish a sharp transition of algorithmic difficulty of the optimization problem as the bond dimension increases: On one hand, we show the existence of spurious local minima for the optimization landscape even when the tensor ring format is much over-parameterized, i.e., with bond dimension much larger than that of the true target tensor. On the other hand, when the bond dimension is further increased, we establish one-loop convergence for alternating least square algorithm for tensor ring decomposition. The theoretical results are complemented by numerical experiments for both local minimum and one-loop convergence for the alternating least square algorithm.
△ Less
Submitted 16 June, 2020; v1 submitted 16 May, 2019;
originally announced May 2019.
-
Superintegrable systems from block separation of variables and unified derivation of their quadratic algebras
Authors:
Zhe Chen,
Ian Marquette,
Yao-Zhong Zhang
Abstract:
We present a new method for constructing $D$-dimensional minimally superintegrable systems based on block coordinate separation of variables. We give two new families of superintegrable systems with $N$ ($N\leq D$) singular terms of the partitioned coordinates and involving arbitrary functions. These Hamiltonians generalize the singular oscillator and Kepler systems. We derive their exact energy s…
▽ More
We present a new method for constructing $D$-dimensional minimally superintegrable systems based on block coordinate separation of variables. We give two new families of superintegrable systems with $N$ ($N\leq D$) singular terms of the partitioned coordinates and involving arbitrary functions. These Hamiltonians generalize the singular oscillator and Kepler systems. We derive their exact energy spectra via separation of variables. We also obtain the quadratic algebras satisfied by the integrals of motion of these models. We show how the quadratic symmetry algebras can be constructed by novel application of the gauge transformations from those of the non-partitioned cases. We demonstrate that these quadratic algebraic structures display an universal nature to the extent that their forms are independent of the functions in the singular potentials.
△ Less
Submitted 7 September, 2019; v1 submitted 1 May, 2019;
originally announced May 2019.
-
Extended Laplace-Runge-Lentz vectors, new family of superintegrable systems and quadratic algebras
Authors:
Zhe Chen,
Ian Marquette,
Yao-Zhong Zhang
Abstract:
We present a useful proposition for discovering extended Laplace-Runge-Lentz vectors of certain quantum mechanical systems. We propose a new family of superintegrable systems and construct their integrals of motion. We solve these systems via separation of variables in spherical coordinates and obtain their exact energy eigenvalues and the corresponding eigenfunctions. We give the quadratic algebr…
▽ More
We present a useful proposition for discovering extended Laplace-Runge-Lentz vectors of certain quantum mechanical systems. We propose a new family of superintegrable systems and construct their integrals of motion. We solve these systems via separation of variables in spherical coordinates and obtain their exact energy eigenvalues and the corresponding eigenfunctions. We give the quadratic algebra relations satisfied by the integrals of motion. Remarkably these algebra relations involve the Casimir operators of certain higher rank Lie algebras in the structure constants.
△ Less
Submitted 22 September, 2018;
originally announced September 2018.
-
Two Irreducible Functional Bases of Isotropic Invariants of A Fourth Order Three-Dimensional Symmetric and Traceless Tensor
Authors:
Zhongming Chen,
Yannan Chen,
Liqun Qi,
Wennan Zou
Abstract:
The elasticity tensor is one of the most important fourth order tensors in mechanics. Fourth order three-dimensional symmetric and traceless tensors play a crucial role in the study of the elasticity tensors. In this paper, we present two isotropic irreducible functional bases of a fourth order three-dimensional symmetric and traceless tensor. One of them is the minimal integrity basis introduced…
▽ More
The elasticity tensor is one of the most important fourth order tensors in mechanics. Fourth order three-dimensional symmetric and traceless tensors play a crucial role in the study of the elasticity tensors. In this paper, we present two isotropic irreducible functional bases of a fourth order three-dimensional symmetric and traceless tensor. One of them is the minimal integrity basis introduced by Smith and Bao in 1997. It has nine homogeneous polynomial invariants of degrees two, three, four, five, six, seven, eight, nine and ten, respectively. We prove that it is also an irreducible functional basis. The second irreducible functional basis also has nine homogeneous polynomial invariants. It has no quartic invariant but has two sextic invariants. The other seven invariants are the same as those of the Smith-Bao basis. Hence, the second irreducible functional basis is not contained in any minimal integrity basis.
△ Less
Submitted 17 September, 2018; v1 submitted 15 September, 2018;
originally announced September 2018.
-
New formulation of the finite depth free surface Green function
Authors:
Zhi-Min Chen
Abstract:
For a pulsating free surface source in a three-dimensional finite depth fluid domain, the Green function of the source presented by John [F. John, On the motion of floating bodies II. Simple harmonic motions, Communs. Pure Appl. Math. 3 (1950) 45-101] is superposed as the Rankine source potential, an image source potential and a wave integral in the infinite domain $(0, \infty)$. When the source p…
▽ More
For a pulsating free surface source in a three-dimensional finite depth fluid domain, the Green function of the source presented by John [F. John, On the motion of floating bodies II. Simple harmonic motions, Communs. Pure Appl. Math. 3 (1950) 45-101] is superposed as the Rankine source potential, an image source potential and a wave integral in the infinite domain $(0, \infty)$. When the source point together with a field point is on the free surface, John's integral and its gradient are not convergent since the integration $\int^\infty_κ$ of the corresponding integrands does not tend to zero in a uniform manner as $κ$ tends to $\infty$. Thus evaluation of the Green function is not based on direct integration of the wave integral but is obtained by approximation expansions in earlier investigations. In the present study, five images of the source with respect to the free surface mirror and the water bed mirror in relation to the image method are employed to reformulate the wave integral. Therefore the free surface Green function of the source is decomposed into the Rankine potential, the five image source potentials and a new wave integral, of which the integrand is approximated by a smooth and rapidly decaying function. The gradient of the Green function is further formulated so that the same integration stability with the wave integral is demonstrated. The significance of the present research is that the improved wave integration of the Green function and its gradient becomes convergent. Therefore evaluation of the Green function is obtained through the integration of the integrand in a straightforward manner. The application of the scheme to a floating body or a submerged body motion in regular waves shows that the approximation is sufficiently accurate to compute linear wave loads in practice.
△ Less
Submitted 28 April, 2020; v1 submitted 20 August, 2018;
originally announced August 2018.
-
Straightforward integration for free surface Green function and body wave motions
Authors:
Zhi-Min Chen
Abstract:
An alternative manner is provided for solving the classical linearised problem of the radiation and diffraction of regular water waves caused by oscillation of a floating body in deep water. It is shown that the singular wave integrals of the three-dimensional free surface Green function $G$ and its gradient $\nabla G$ can be regarded as regular wave integrals and are integrated directly. The meth…
▽ More
An alternative manner is provided for solving the classical linearised problem of the radiation and diffraction of regular water waves caused by oscillation of a floating body in deep water. It is shown that the singular wave integrals of the three-dimensional free surface Green function $G$ and its gradient $\nabla G$ can be regarded as regular wave integrals and are integrated directly. The method is validated by comparing with benchmark data for a floating or submerged body undergoing oscillatory wave motions. The comparison shows that the evaluation is sufficiently accurate for practical purposes. As the significance of the method, the numerical approximation stability for the gradient $\nabla G$ is shown to be the same with that for $G$.
△ Less
Submitted 26 October, 2018; v1 submitted 20 August, 2018;
originally announced August 2018.
-
Swendsen-Wang Dynamics for General Graphs in the Tree Uniqueness Region
Authors:
Antonio Blanca,
Zongchen Chen,
Eric Vigoda
Abstract:
The Swendsen-Wang dynamics is a popular algorithm for sampling from the Gibbs distribution for the ferromagnetic Ising model on a graph $G=(V,E)$. The dynamics is a "global" Markov chain which is conjectured to converge to equilibrium in $O(|V|^{1/4})$ steps for any graph $G$ at any (inverse) temperature $β$. It was recently proved by Guo and Jerrum (2017) that the Swendsen-Wang dynamics has polyn…
▽ More
The Swendsen-Wang dynamics is a popular algorithm for sampling from the Gibbs distribution for the ferromagnetic Ising model on a graph $G=(V,E)$. The dynamics is a "global" Markov chain which is conjectured to converge to equilibrium in $O(|V|^{1/4})$ steps for any graph $G$ at any (inverse) temperature $β$. It was recently proved by Guo and Jerrum (2017) that the Swendsen-Wang dynamics has polynomial mixing time on any graph at all temperatures, yet there are few results providing $o(|V|)$ upper bounds on its convergence time.
We prove fast convergence of the Swendsen-Wang dynamics on general graphs in the tree uniqueness region of the ferromagnetic Ising model. In particular, when $β< β_c(d)$ where $β_c(d)$ denotes the uniqueness/non-uniqueness threshold on infinite $d$-regular trees, we prove that the relaxation time (i.e., the inverse spectral gap) of the Swendsen-Wang dynamics is $Θ(1)$ on any graph of maximum degree $d \geq 3$. Our proof utilizes a version of the Swendsen-Wang dynamics which only updates isolated vertices. We establish that this variant of the Swendsen-Wang dynamics has mixing time $O(\log{|V|})$ and relaxation time $Θ(1)$ on any graph of maximum degree $d$ for all $β< β_c(d)$. We believe that this Markov chain may be of independent interest, as it is a monotone Swendsen-Wang type chain. As part of our proofs, we provide modest extensions of the technology of Mossel and Sly (2013) for analyzing mixing times and of the censoring result of Peres and Winkler (2013). Both of these results are for the Glauber dynamics, and we extend them here to general monotone Markov chains. This class of dynamics includes for example the heat-bath block dynamics, for which we obtain new tight mixing time bounds.
△ Less
Submitted 12 June, 2018;
originally announced June 2018.
-
Exact confirmation of 1D nonlinear fluctuating hydrodynamics for a two-species exclusion process
Authors:
Zeying Chen,
Jan de Gier,
Iori Hiki,
Tomohiro Sasamoto
Abstract:
We consider current statistics for a two species exclusion process of particles hopping in opposite directions on a one-dimensional lattice. We derive an exact formula for the Green's function as well as for a joint current distribution of the model, and study its long time behavior. For a step type initial condition, we show that the limiting distribution is a product of the Gaussian and the GUE…
▽ More
We consider current statistics for a two species exclusion process of particles hopping in opposite directions on a one-dimensional lattice. We derive an exact formula for the Green's function as well as for a joint current distribution of the model, and study its long time behavior. For a step type initial condition, we show that the limiting distribution is a product of the Gaussian and the GUE Tracy-Widom distribution. This is the first analytic confirmation for a multi-component system of a prediction from the recently proposed non-linear fluctuating hydrodynamics for one dimensional systems.
△ Less
Submitted 19 March, 2018;
originally announced March 2018.
-
An Irreducible Function Basis of Isotropic Invariants of A Third Order Three-Dimensional Symmetric Tensor
Authors:
Zhongming Chen,
Jinjie Liu,
Liqun Qi,
Quanshui Zheng,
Wennan Zou
Abstract:
In this paper, we present an eleven invariant isotropic irreducible function basis of a third order three-dimensional symmetric tensor. This irreducible function basis is a proper subset of the Olive-Auffray minimal isotropic integrity basis of that tensor. The octic invariant and a sextic invariant in the Olive-Auffray integrity basis are dropped out. This result is of significance to the further…
▽ More
In this paper, we present an eleven invariant isotropic irreducible function basis of a third order three-dimensional symmetric tensor. This irreducible function basis is a proper subset of the Olive-Auffray minimal isotropic integrity basis of that tensor. The octic invariant and a sextic invariant in the Olive-Auffray integrity basis are dropped out. This result is of significance to the further research of irreducible function bases of higher order tensors.
△ Less
Submitted 21 June, 2018; v1 submitted 3 March, 2018;
originally announced March 2018.
-
Atiyah and Todd classes arising from integrable distributions
Authors:
Zhuo Chen,
Maosong Xiang,
Ping Xu
Abstract:
In this paper, we study the Atiyah class and Todd class of the DG manifold $(F[1],d_F)$ corresponding to an integrable distribution $F \subset T_{\mathbb{K}} M = TM \otimes_{\mathbb{R}} \mathbb{K}$, where $\mathbb{K} = \mathbb{R}$ or $\mathbb{C}$. We show that these two classes are canonically identical to those of the Lie pair $(T_{\mathbb{K}} M, F)$. As a consequence, the Atiyah class of a compl…
▽ More
In this paper, we study the Atiyah class and Todd class of the DG manifold $(F[1],d_F)$ corresponding to an integrable distribution $F \subset T_{\mathbb{K}} M = TM \otimes_{\mathbb{R}} \mathbb{K}$, where $\mathbb{K} = \mathbb{R}$ or $\mathbb{C}$. We show that these two classes are canonically identical to those of the Lie pair $(T_{\mathbb{K}} M, F)$. As a consequence, the Atiyah class of a complex manifold $X$ is isomorphic to the Atiyah class of the corresponding DG manifold $(T^{0,1}_X[1],\bar{\partial})$. Moreover, if $X$ is a compact Kähler manifold, then the Todd class of $X$ is also isomorphic to the Todd class of the corresponding DG manifold $(T^{0,1}_X[1],\bar{\partial})$.
△ Less
Submitted 26 January, 2018; v1 submitted 30 November, 2017;
originally announced November 2017.
-
Coherence generating power of unitary transformations via probabilistic average
Authors:
Lin Zhang,
Zhihao Ma,
Zhihua Chen,
Shao-Ming Fei
Abstract:
We study the ability of a quantum channel to generate quantum coherence when it applies to incoherent states. Based on probabilistic averages, we define a measure of such coherence generating power (CGP) for a generic quantum channel, based on the average coherence generated by the quantum channel acting on a uniform ensemble of incoherent states. Explicit analytical formula of the CGP for any uni…
▽ More
We study the ability of a quantum channel to generate quantum coherence when it applies to incoherent states. Based on probabilistic averages, we define a measure of such coherence generating power (CGP) for a generic quantum channel, based on the average coherence generated by the quantum channel acting on a uniform ensemble of incoherent states. Explicit analytical formula of the CGP for any unitary channels are presented in terms of subentropy. An upper bound for CGP of unital quantum channels has been also derived. Detailed examples are investigated.
△ Less
Submitted 7 May, 2018; v1 submitted 7 November, 2017;
originally announced November 2017.
-
Integrable stochastic dualities and the deformed Knizhnik-Zamolodchikov equation
Authors:
Zeying Chen,
Jan de Gier,
Michael Wheeler
Abstract:
We present a new method for obtaining duality functions in multi-species asymmetric exclusion processes (mASEP), from solutions of the deformed Knizhnik-Zamolodchikov equations. Our method reproduces, as a special case, duality functions for the self-dual single species ASEP on the integer lattice.
We present a new method for obtaining duality functions in multi-species asymmetric exclusion processes (mASEP), from solutions of the deformed Knizhnik-Zamolodchikov equations. Our method reproduces, as a special case, duality functions for the self-dual single species ASEP on the integer lattice.
△ Less
Submitted 18 September, 2017;
originally announced September 2017.
-
Sharp nonexistence results for curvature equations with four singular sources on rectangular tori
Authors:
Zhijie Chen,
Chang-Shou Lin
Abstract:
In this paper, we prove that there are no solutions for the curvature equation \[ Δu+e^{u}=8πnδ_{0}\text{ on }E_τ, \quad n\in\mathbb{N}, \] where $E_τ$ is a flat rectangular torus and $δ_{0}$ is the Dirac measure at the lattice points. This confirms a conjecture in \cite{CLW2} and also improves a result of Eremenko and Gabrielov \cite{EG}. The nonexistence is a delicate problem because the equatio…
▽ More
In this paper, we prove that there are no solutions for the curvature equation \[ Δu+e^{u}=8πnδ_{0}\text{ on }E_τ, \quad n\in\mathbb{N}, \] where $E_τ$ is a flat rectangular torus and $δ_{0}$ is the Dirac measure at the lattice points. This confirms a conjecture in \cite{CLW2} and also improves a result of Eremenko and Gabrielov \cite{EG}. The nonexistence is a delicate problem because the equation always has solutions if $8πn$ in the RHS is replaced by $2πρ$ with $0<ρ\notin 4\mathbb{N}$. Geometrically, our result implies that a rectangular torus $E_τ$ admits a metric with curvature $+1$ acquiring a conic singularity at the lattice points with angle $2πα$ if and only if $α$ is not an odd integer.
Unexpectedly, our proof of the nonexistence result is to apply the spectral theory of finite-gap potential, or equivalently the algebro-geometric solutions of stationary KdV hierarchy equations. Indeed, our proof can also yield a sharp nonexistence result for the curvature equation with singular sources at three half periods and the lattice points.
△ Less
Submitted 13 September, 2017;
originally announced September 2017.
-
Spectral density of mixtures of random density matrices for qubits
Authors:
Lin Zhang,
Jiamei Wang,
Zhihua Chen
Abstract:
We derive the spectral density of the equiprobable mixture of two random density matrices of a two-level quantum system. We also work out the spectral density of mixture under the so-called quantum addition rule. We use the spectral densities to calculate the average entropy of mixtures of random density matrices, and show that the average entropy of the arithmetic-mean-state of $n$ qubit density…
▽ More
We derive the spectral density of the equiprobable mixture of two random density matrices of a two-level quantum system. We also work out the spectral density of mixture under the so-called quantum addition rule. We use the spectral densities to calculate the average entropy of mixtures of random density matrices, and show that the average entropy of the arithmetic-mean-state of $n$ qubit density matrices randomly chosen from the Hilbert-Schmidt ensemble is never decreasing with the number $n$. We also get the exact value of the average squared fidelity. Some conjectures and open problems related to von Neumann entropy are also proposed.
△ Less
Submitted 18 March, 2018; v1 submitted 8 August, 2017;
originally announced August 2017.
-
Ill-posedness of waterline integral of time domain free surface Green function for surface piercing body advancing at dynamic speed
Authors:
Zhi-Min Chen
Abstract:
In the linear time domain computation of a floating body advancing at a dynamic speed, the source formulation for the velocity potential of the hydrodynamic problem is commonly used so that the velocity potential is expressed as the integral of time domain free surface sources distributed on the two-dimensional wetted body surface and the one-dimensional waterline, which is the intersection of the…
▽ More
In the linear time domain computation of a floating body advancing at a dynamic speed, the source formulation for the velocity potential of the hydrodynamic problem is commonly used so that the velocity potential is expressed as the integral of time domain free surface sources distributed on the two-dimensional wetted body surface and the one-dimensional waterline, which is the intersection of the wetted body surface and the mean free water surface. A time domain free surface source is corresponding to the time domain free surface Green function associated with a suitable source strength, which is to be solved from body boundary condition and normal velocity boundary integral equation of the source formulation.
The normal velocity boundary integral equation contains an integral of the normal derivative of the time domain free surface Green function on the waterline. It is shown that the waterline integral is ill-posed. Thus the source strength of velocity potential is not obtainable.
△ Less
Submitted 18 July, 2018; v1 submitted 30 June, 2017;
originally announced July 2017.
-
Real-root property of the spectral polynomial of the Treibich-Verdier potential and related problems
Authors:
Zhijie Chen,
Ting-Jung Kuo,
Chang-Shou Lin,
Kouichi Takemura
Abstract:
We study the spectral polynomial of the Treibich-Verdier potential. Such spectral polynomial, which is a generalization of the classical Lame polynomial, plays fundamental roles in both the finite-gap theory and the ODE theory of Heun's equation. In this paper, we prove that all the roots of such spectral polynomial are real and distinct under some assumptions. The proof uses the classical concept…
▽ More
We study the spectral polynomial of the Treibich-Verdier potential. Such spectral polynomial, which is a generalization of the classical Lame polynomial, plays fundamental roles in both the finite-gap theory and the ODE theory of Heun's equation. In this paper, we prove that all the roots of such spectral polynomial are real and distinct under some assumptions. The proof uses the classical concept of Sturm sequence and isomonodromic theories. We also prove an analogous result for a polynomial associated with a generalized Lame equation. Differently, our new approach is based on the viewpoint of the monodromy data.
△ Less
Submitted 7 October, 2016;
originally announced October 2016.
-
An infinite linear hierarchy for the incompressible Navier-Stokes equation and application
Authors:
Zeqian Chen
Abstract:
This paper introduces an infinite linear hierarchy for the homogeneous, incompressible three-dimensional Navier-Stokes equation. The Cauchy problem of the hierarchy with a factorized divergence-free initial datum is shown to be equivalent to that of the incompressible Navier-Stokes equation in $\mathcal{H}^1.$ This allows us to present an explicit formula for solutions to the incompressible Navier…
▽ More
This paper introduces an infinite linear hierarchy for the homogeneous, incompressible three-dimensional Navier-Stokes equation. The Cauchy problem of the hierarchy with a factorized divergence-free initial datum is shown to be equivalent to that of the incompressible Navier-Stokes equation in $\mathcal{H}^1.$ This allows us to present an explicit formula for solutions to the incompressible Navier-Stokes equation under consideration. The obtained formula is an expansion in terms of binary trees encoding the collision histories of the "particles" in a concise form. Precisely, each term in the summation of $n$ "particles" collision is expressed by a $n$-parameter singular integral operator with an explicit kernel in Fourier space, describing a kind of processes of two-body interaction of $n$ "particles". Therefore, this formula is a physical expression for the solutions of the incompressible Navier-Stokes equation.
△ Less
Submitted 23 January, 2017; v1 submitted 6 October, 2016;
originally announced October 2016.
-
Atiyah classes of strongly homotopy Lie pairs
Authors:
Zhuo Chen,
Honglei Lang,
Maosong Xiang
Abstract:
The subject of this paper is strongly homotopy (SH) Lie algebras, also known as $L_\infty$-algebras. We extract an intrinsic character, the Atiyah class, which measures the nontriviality of an (SH) Lie algebra $A$ when it is extended to $L$. In fact, given such an SH Lie pair $(L, A)$, and any $A$-module $E$, there associates a canonical cohomology class, the Atiyah class $[α^E]$, which generalize…
▽ More
The subject of this paper is strongly homotopy (SH) Lie algebras, also known as $L_\infty$-algebras. We extract an intrinsic character, the Atiyah class, which measures the nontriviality of an (SH) Lie algebra $A$ when it is extended to $L$. In fact, given such an SH Lie pair $(L, A)$, and any $A$-module $E$, there associates a canonical cohomology class, the Atiyah class $[α^E]$, which generalizes earlier known Atiyah classes out of Lie algebra pairs. We show that the Atiyah class $[α^{L/A}]$ induces a graded Lie algebra structure on $\operatorname{H}^\bullet_{\mathrm{CE}}(A,L/A[-2])$, and the Atiyah class $[α^E]$ of any $A$-module $E$ induces a Lie algebra module structure on $\operatorname{H}^\bullet_{\mathrm{CE}}(A,E)$. Moreover, Atiyah classes are invariant under gauge equivalent $A$-compatible infinitesimal deformations of $L$.
△ Less
Submitted 18 May, 2019; v1 submitted 4 September, 2016;
originally announced September 2016.
-
Fermionic Novikov algebras admitting invariant non-degenerate symmetric bilinear forms are Novikov algebras
Authors:
Zhiqi Chen,
Ming Ding
Abstract:
This paper is to prove that a fermionic Novikov algebra equipped with an invariant non-degenerate symmetric bilinear form is a Novikov algebra.
This paper is to prove that a fermionic Novikov algebra equipped with an invariant non-degenerate symmetric bilinear form is a Novikov algebra.
△ Less
Submitted 5 May, 2015;
originally announced May 2015.
-
Fluctuation limit for interacting diffusions with partial annihilations through membranes
Authors:
Zhen-Qing Chen,
Wai-Tong Louis Fan
Abstract:
We study fluctuations of the empirical processes of a non-equilibrium interacting particle system consisting of two species over a domain that is recently introduced in [8] and establish its functional central limit theorem. This fluctuation limit is a distribution-valued Gaussian Markov process which can be represented as a mild solution of a stochastic partial differential equation. The drift of…
▽ More
We study fluctuations of the empirical processes of a non-equilibrium interacting particle system consisting of two species over a domain that is recently introduced in [8] and establish its functional central limit theorem. This fluctuation limit is a distribution-valued Gaussian Markov process which can be represented as a mild solution of a stochastic partial differential equation. The drift of our fluctuation limit involves a new partial differential equation with nonlinear coupled term on the interface that characterized the hydrodynamic limit of the system. The covariance structure of the Gaussian part consists two parts, one involving the spatial motion of the particles inside the domain and other involving a boundary integral term that captures the boundary interactions between two species. The key is to show that the Boltzmann-Gibbs principle holds for our non-equilibrium system. Our proof relies on generalizing the usual correlation functions to the join correlations at two different times.
△ Less
Submitted 26 November, 2015; v1 submitted 21 October, 2014;
originally announced October 2014.
-
Stabilities of homothetically shrinking Yang-Mills solitons
Authors:
Zhengxiang Chen,
Yongbing Zhang
Abstract:
In this paper we introduce entropy-stability and F-stability for homothetically shrinking Yang-Mills solitons, employing entropy and second variation of $\mathcal{F}$-functional respectively. For a homothetically shrinking soliton which does not descend, we prove that entropy-stability implies F-stability. These stabilities have connections with the study of Type-I singularities of the Yang-Mills…
▽ More
In this paper we introduce entropy-stability and F-stability for homothetically shrinking Yang-Mills solitons, employing entropy and second variation of $\mathcal{F}$-functional respectively. For a homothetically shrinking soliton which does not descend, we prove that entropy-stability implies F-stability. These stabilities have connections with the study of Type-I singularities of the Yang-Mills flow. Two byproducts are also included: We show that the Yang-Mills flow in dimension four cannot develop a Type-I singularity; and we obtain a gap theorem for homothetically shrinking solitons.
△ Less
Submitted 15 December, 2014; v1 submitted 20 October, 2014;
originally announced October 2014.
-
A Hopf algebra associated to a Lie pair
Authors:
Zhuo Chen,
Mathieu Stiénon,
Ping Xu
Abstract:
The quotient $L/A[-1]$ of a pair $A\hookrightarrow L$ of Lie algebroids is a Lie algebra object in the derived category $D^b(\mathscr{A})$ of the category $\mathscr{A}$ of left $\mathcal{U}(A)$-modules, the Atiyah class $α_{L/A}$ being its Lie bracket. In this note, we describe the universal enveloping algebra of the Lie algebra object $L/A[-1]$ and we prove that it is a Hopf algebra object in…
▽ More
The quotient $L/A[-1]$ of a pair $A\hookrightarrow L$ of Lie algebroids is a Lie algebra object in the derived category $D^b(\mathscr{A})$ of the category $\mathscr{A}$ of left $\mathcal{U}(A)$-modules, the Atiyah class $α_{L/A}$ being its Lie bracket. In this note, we describe the universal enveloping algebra of the Lie algebra object $L/A[-1]$ and we prove that it is a Hopf algebra object in $D^b(\mathscr{A})$.
△ Less
Submitted 23 September, 2014;
originally announced September 2014.
-
Reverse Time Migration for Reconstructing Extended Obstacles in Planar Acoustic Waveguides
Authors:
Zhiming Chen,
Guanghui Huang
Abstract:
We propose a new reverse time migration method for reconstructing extended obstacles in the planar waveguide using acoustic waves at a fixed frequency. We prove the resolution of the reconstruction method in terms of the aperture and the thickness of the waveguide. The resolution analysis implies that the imaginary part of the cross-correlation imaging function is always positive and thus may have…
▽ More
We propose a new reverse time migration method for reconstructing extended obstacles in the planar waveguide using acoustic waves at a fixed frequency. We prove the resolution of the reconstruction method in terms of the aperture and the thickness of the waveguide. The resolution analysis implies that the imaginary part of the cross-correlation imaging function is always positive and thus may have better stability properties. Numerical experiments are included to illustrate the powerful imaging quality and to confirm our resolution results.
△ Less
Submitted 10 June, 2014;
originally announced June 2014.
-
Reverse Time Migration for Extended Obstacles: Electromagnetic Waves
Authors:
Junqing Chen,
Zhiming Chen,
Guanghui Huang
Abstract:
We propose a new single frequency reverse time migration (RTM) algorithm for imaging extended targets using electromagnetic waves. The imaging functional is defined as the imaginary part of the cross-correlation of the Green function for Helmholtz equation and the back-propagated electromagnetic field. The resolution of our RTM method for both penetrable and non-penetrable extended targets is stud…
▽ More
We propose a new single frequency reverse time migration (RTM) algorithm for imaging extended targets using electromagnetic waves. The imaging functional is defined as the imaginary part of the cross-correlation of the Green function for Helmholtz equation and the back-propagated electromagnetic field. The resolution of our RTM method for both penetrable and non-penetrable extended targets is studied by virtue of Helmholtz-Kirchhoff identity for the time-harmonic Maxwell equation. The analysis implies that our imaging functional is always positive and thus may have better stability properties. Numerical examples are provided to demonstrate the powerful imaging quality and confirm our theoretical results.
△ Less
Submitted 10 June, 2014;
originally announced June 2014.
-
Reverse Time Migration for Extended Obstacles: Acoustic Waves
Authors:
Junqing Chen,
Zhiming Chen,
Guanghui Huang
Abstract:
We consider the resolution of the single frequency reverse time migration (RTM) method for extended targets without the assumption of the validation of geometric optics approximation. The resolution analysis, which applies in both penetrable and non-penetrable obstacles with sound soft or impedance boundary condition on the boundary of the obstacle, implies that the imaginary part of the cross-cor…
▽ More
We consider the resolution of the single frequency reverse time migration (RTM) method for extended targets without the assumption of the validation of geometric optics approximation. The resolution analysis, which applies in both penetrable and non-penetrable obstacles with sound soft or impedance boundary condition on the boundary of the obstacle, implies that the imaginary part of the cross-correlation imaging functional is always positive and thus may have better stability properties. Numerical experiments are included to illustrate the powerful imaging quality and to confirm our resolution results.
△ Less
Submitted 10 June, 2014;
originally announced June 2014.
-
Functional central limit theorem for Brownian particles in domains with Robin boundary condition
Authors:
Zhen-Qing Chen,
Wai-Tong Louis Fan
Abstract:
We rigorously derive non-equilibrium space-time fluctuation for the particle density of a system of reflected diffusions in bounded Lipschitz domains in $\mathbb R^d$. The particles are independent and are killed by a time-dependent potential which is asymptotically proportional to the boundary local time. We generalize the functional analytic framework introduced by Kotelenez [19, 20] to deal wit…
▽ More
We rigorously derive non-equilibrium space-time fluctuation for the particle density of a system of reflected diffusions in bounded Lipschitz domains in $\mathbb R^d$. The particles are independent and are killed by a time-dependent potential which is asymptotically proportional to the boundary local time. We generalize the functional analytic framework introduced by Kotelenez [19, 20] to deal with time-dependent perturbations. Our proof relies on Dirichlet form method rather than the machineries derived from Kotelenez's sub-martingale inequality. Our result holds for any symmetric reflected diffusion, for any bounded Lipschitz domain and for any dimension $d\geq 1$.
△ Less
Submitted 9 July, 2014; v1 submitted 5 April, 2014;
originally announced April 2014.
-
Systems of interacting diffusions with partial annihilation through membranes
Authors:
Zhen-Qing Chen,
Wai-Tong Fan
Abstract:
We introduce an interacting particle system in which two families of reflected diffusions interact in a singular manner near a deterministic interface $I$. This system can be used to model the transport of positive and negative charges in a solar cell or the population dynamics of two segregated species under competition. A related interacting random walk model with discrete state spaces has recen…
▽ More
We introduce an interacting particle system in which two families of reflected diffusions interact in a singular manner near a deterministic interface $I$. This system can be used to model the transport of positive and negative charges in a solar cell or the population dynamics of two segregated species under competition. A related interacting random walk model with discrete state spaces has recently been introduced and studied in Chen and Fan (2014). In this paper, we establish the functional law of large numbers for this new system, thereby extending the hydrodynamic limit in Chen and Fan (2014) to reflected diffusions in domains with mixed-type boundary conditions, which include absorption (harvest of electric charges). We employ a new and direct approach that avoids going through the delicate BBGKY hierarchy.
△ Less
Submitted 3 July, 2017; v1 submitted 24 March, 2014;
originally announced March 2014.
-
Left-symmetric algebroids
Authors:
Jiefeng Liu,
Yunhe Sheng,
Chengming Bai,
Zhiqi Chen
Abstract:
In this paper, we introduce a notion of a left-symmetric algebroid, which is a generalization of a left-symmetric algebra from a vector space to a vector bundle. The left multiplication gives rise to a representation of the corresponding sub-adjacent Lie algebroid. We construct left-symmetric algebroids from $\mathcal O$-operators on Lie algebroids. We study phase spaces of Lie algebroids in terms…
▽ More
In this paper, we introduce a notion of a left-symmetric algebroid, which is a generalization of a left-symmetric algebra from a vector space to a vector bundle. The left multiplication gives rise to a representation of the corresponding sub-adjacent Lie algebroid. We construct left-symmetric algebroids from $\mathcal O$-operators on Lie algebroids. We study phase spaces of Lie algebroids in terms of left-symmetric algebroids. Representations of left-symmetric algebroids are studied in detail. At last, we study deformations of left-symmetric algebroids, which could be controlled by the second cohomology class in the deformation cohomology.
△ Less
Submitted 23 December, 2013;
originally announced December 2013.
