Showing 1–50 of 61 results for author: Zhang, R

Correlation between residual entropy and spanning tree entropy of ice-type models on graphs

Authors: Mikhail Isaev, Brendan D. McKay, Rui-Ray Zhang

Abstract: The logarithm of the number of Eulerian orientations, normalised by the number of vertices, is known as the residual entropy in studies of ice-type models on graphs. The spanning tree entropy depends similarly on the number of spanning trees. We demonstrate and investigate a remarkably strong, though non-deterministic, correlation between these two entropies. This leads us to propose a new heurist… ▽ More The logarithm of the number of Eulerian orientations, normalised by the number of vertices, is known as the residual entropy in studies of ice-type models on graphs. The spanning tree entropy depends similarly on the number of spanning trees. We demonstrate and investigate a remarkably strong, though non-deterministic, correlation between these two entropies. This leads us to propose a new heuristic estimate for the residual entropy of regular graphs that performs much better than previous heuristics. We also study the expansion properties and residual entropy of random graphs with given degrees. △ Less

Submitted 6 March, 2025; v1 submitted 8 September, 2024; originally announced September 2024.

Comments: Corollary 2.7 is improved, extensive rearrangements, new data

MSC Class: 05C45; 82D03

On the global Gaussian bending measure and its applications in stationary spacetimes

Authors: Zhen Zhang, Rui Zhang

Abstract: Modified gravity theories have been suggested to address the limitations of general relativity, each exhibiting differences, particularly in their strong-field limits. Nonetheless, there lacks effective means to distinguish or test these theories through local strong-field measurements. In this work, we define a global Gaussian bending measure over singular spacetime regions, establish a correspon… ▽ More Modified gravity theories have been suggested to address the limitations of general relativity, each exhibiting differences, particularly in their strong-field limits. Nonetheless, there lacks effective means to distinguish or test these theories through local strong-field measurements. In this work, we define a global Gaussian bending measure over singular spacetime regions, establish a corresponding global theory, and demonstrate its applications in a general stationary spacetime. The global theory is based on differential geometry, rather than on specific gravity theories, allowing it to depict various physics within general relativity and beyond. For example, it can be applied to describe the gravitational bending of massless or massive messengers, such as photons, neutrinos, cosmic rays, and possibly massive gravitational waves predicted in certain theories of gravity. Besides, the global theory is applicable to any stationary spacetime regions outside a rotating black hole. As an instance of its direct applications, we investigate the highly-curved spacetime effects of the black hole in its immediate surrounding regions and design local strong-field experiments involving different shapes of singular lensing patches. New means can be therefore anticipated to be developed according to the global theory to differentiate between different gravity theories and test them in their strong-field regions. △ Less

Submitted 22 May, 2025; v1 submitted 4 August, 2024; originally announced August 2024.

Comments: 37 pages, 4 figures, 2 tables. Published in Classical and Quantum Gravity

Journal ref: Class. Quantum Grav. 42 (2025) 115006

Learning PDEs from data on closed surfaces with sparse optimization

Authors: Zhengjie Sun, Leevan Ling, Ran Zhang

Abstract: The discovery of underlying surface partial differential equation (PDE) from observational data has significant implications across various fields, bridging the gap between theory and observation, enhancing our understanding of complex systems, and providing valuable tools and insights for applications. In this paper, we propose a novel approach, termed physical-informed sparse optimization (PIS),… ▽ More The discovery of underlying surface partial differential equation (PDE) from observational data has significant implications across various fields, bridging the gap between theory and observation, enhancing our understanding of complex systems, and providing valuable tools and insights for applications. In this paper, we propose a novel approach, termed physical-informed sparse optimization (PIS), for learning surface PDEs. Our approach incorporates both $L_2$ physical-informed model loss and $L_1$ regularization penalty terms in the loss function, enabling the identification of specific physical terms within the surface PDEs. The unknown function and the differential operators on surfaces are approximated by some extrinsic meshless methods. We provide practical demonstrations of the algorithms including linear and nonlinear systems. The numerical experiments on spheres and various other surfaces demonstrate the effectiveness of the proposed approach in simultaneously achieving precise solution prediction and identification of unknown PDEs. △ Less

Submitted 12 September, 2024; v1 submitted 9 May, 2024; originally announced May 2024.

Branching algebras for the general linear Lie superalgebra

Authors: Soo Teck Lee, Ruibin Zhang

Abstract: We develop an algebraic approach to the branching of representations of the general linear Lie superalgebra $\mathfrak{gl}_{p|q}({\mathbb C})$, by constructing certain super commutative algebras whose structure encodes the branching rules. Using this approach, we derive the branching rules for restricting any irreducible polynomial representation $V$ of $\mathfrak{gl}_{p|q}({\mathbb C})$ to a regu… ▽ More We develop an algebraic approach to the branching of representations of the general linear Lie superalgebra $\mathfrak{gl}_{p|q}({\mathbb C})$, by constructing certain super commutative algebras whose structure encodes the branching rules. Using this approach, we derive the branching rules for restricting any irreducible polynomial representation $V$ of $\mathfrak{gl}_{p|q}({\mathbb C})$ to a regular subalgebra isomorphic to $\mathfrak{gl}_{r|s}({\mathbb C})\oplus \mathfrak{gl}_{r'|s'}({\mathbb C})$, $\mathfrak{gl}_{r|s}({\mathbb C})\oplus\mathfrak{gl}_1({\mathbb C})^{r'+s'}$ or $\mathfrak{gl}_{r|s}({\mathbb C})$, with $r+r'=p$ and $s+s'=q$. In the case of $\mathfrak{gl}_{r|s}({\mathbb C})\oplus\mathfrak{gl}_1({\mathbb C})^{r'+s'}$ with $s=0$ or $s=1$ but general $r$, we also construct a basis for the space of $\mathfrak{gl}_{r|s}({\mathbb C})$ highest weight vectors in $V$; when $r=s=0$, the branching rule leads to explicit expressions for the weight multiplicities of $V$ in terms of Kostka numbers. △ Less

Submitted 17 March, 2024; originally announced March 2024.

Comments: 35 pages

MSC Class: 05E10; 15A75; 20G05; 22E46

Skew-symmetric solutions of the classical Yang-Baxter equation and $\mathcal{O}$-operators of Malcev algebras

Authors: Shan Ren, Runxuan Zhang

Abstract: We study connections between skew-symmetric solutions of the classical Yang-Baxter equation (CYBE) and $\mathcal{O}$-operators of Malcev algebras. We prove that a skew-symmetric solution of the CYBE on a Malcev algebra can be interpreted as an $\mathcal{O}$-operator associated to the coadjoint representation. We show that this connection can be enhanced with symplectic forms when considering non-d… ▽ More We study connections between skew-symmetric solutions of the classical Yang-Baxter equation (CYBE) and $\mathcal{O}$-operators of Malcev algebras. We prove that a skew-symmetric solution of the CYBE on a Malcev algebra can be interpreted as an $\mathcal{O}$-operator associated to the coadjoint representation. We show that this connection can be enhanced with symplectic forms when considering non-degenerate skew-symmetric solutions. We also show that $\mathcal{O}$-operators associated to a general representation could give skew-symmetric solutions of the CYBE on certain semi-direct products of Malcev algebras. We reveal the relationship between invertible $\mathcal{O}$-operators and compatible pre-Malcev algebra structures on a Malcev algebra. We finally obtain several analogous results on connections between the CYBE and $\mathcal{O}$-operators in the case of pre-Malcev algebras. △ Less

Submitted 13 February, 2024; originally announced February 2024.

Comments: 20 pages and accpeted for publication by Filomat. arXiv admin note: text overlap with arXiv:2208.11841

MSC Class: 17D10; 15A04; 17B38

Para-spaces, their differential analysis and an application to Green's quantisation

Authors: Ruibin Zhang

Abstract: We introduce a class of non-commutative geometries, loosely referred to as para-spaces, which are manifolds equipped with sheaves of non-commutative algebras called para-algebras. A differential analysis on para-spaces is investigated, which is reminiscent of that on super manifolds and can be readily applied to model physical problems, for example, by using para-space analogues of differential eq… ▽ More We introduce a class of non-commutative geometries, loosely referred to as para-spaces, which are manifolds equipped with sheaves of non-commutative algebras called para-algebras. A differential analysis on para-spaces is investigated, which is reminiscent of that on super manifolds and can be readily applied to model physical problems, for example, by using para-space analogues of differential equations. Two families of examples, the affine para-spaces $\mathbb{K}^{m|n}(p)$ and para-projective spaces $\mathbb{KP}^{m|n}(p)$, with $\mathbb{K}$ being $\mathbb{R}$ and $\mathbb{C}$, are treated in detail for all positive integers $p$. As an application of such non-commutative geometries, we interpret Green's theory of parafermions in terms of para-spaces on a point. Other potential applications in quantum field theory are also commented upon. △ Less

Submitted 19 December, 2023; v1 submitted 7 December, 2023; originally announced December 2023.

Comments: Additional references included

Parity duality of super $r$-matrices via $\mathcal O$-operators and pre-Lie superalgebras

Authors: Chengming Bai, Li Guo, Runxuan Zhang

Abstract: This paper studies super $r$-matrices and operator forms of the super classical Yang-Baxter equation. First by a unified treatment, the classical correspondence between $r$-matrices and $\mathcal{O}$-operators is generalized to a correspondence between homogeneous super $r$-matrices and homogeneous $\mathcal{O}$-operators. Next, by a parity reverse of Lie superalgebra representations, a duality is… ▽ More This paper studies super $r$-matrices and operator forms of the super classical Yang-Baxter equation. First by a unified treatment, the classical correspondence between $r$-matrices and $\mathcal{O}$-operators is generalized to a correspondence between homogeneous super $r$-matrices and homogeneous $\mathcal{O}$-operators. Next, by a parity reverse of Lie superalgebra representations, a duality is established between the even and the odd $\mathcal{O}$-operators, giving rise to a parity duality among the induced super $r$-matrices. Thus any homogeneous $\OO$-operator or any homogeneous super $r$-matrix with certain supersymmetry produces a parity pair of super $r$-matrices, and generates an infinite tree hierarchy of homogeneous super $r$-matrices. Finally, a pre-Lie superalgebra naturally defines a parity pair of $\mathcal{O}$-operators, and thus a parity pair of super $r$-matrices. △ Less

Submitted 9 September, 2023; originally announced September 2023.

Comments: 26 pages; to appear in Math Research Letters

MSC Class: 17B10; 17B38; 16T23; 17B81; 81R05; 17B80; 17B60

Numerical methods for computing the discrete and continuous Laplace transforms

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

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

Submitted 25 April, 2023; originally announced April 2023.

Edgeworth-type expansion for the one-point distribution of the KPZ fixed point with a large height at a prior location

Authors: Ron Nissim, Ruixuan Zhang

Abstract: We consider the Kardar-Parisi-Zhang (KPZ) fixed point $\mathrm{H}(x,τ)$ with the narrow-wedge initial condition and investigate the distribution of $\mathrm{H}(x,τ)$ conditioned on a large height at an earlier space-time point $\mathrm{H}(x',τ')$. As $\mathrm{H}(x',τ')$ tends to infinity, we prove that the conditional one-point distribution of $\mathrm{H}(x,τ)$ in the regime $τ>τ'$ converges to th… ▽ More We consider the Kardar-Parisi-Zhang (KPZ) fixed point $\mathrm{H}(x,τ)$ with the narrow-wedge initial condition and investigate the distribution of $\mathrm{H}(x,τ)$ conditioned on a large height at an earlier space-time point $\mathrm{H}(x',τ')$. As $\mathrm{H}(x',τ')$ tends to infinity, we prove that the conditional one-point distribution of $\mathrm{H}(x,τ)$ in the regime $τ>τ'$ converges to the Gaussian Unitary Ensemble (GUE) Tracy-Widom distribution and that the next two lower-order error terms can be expressed as derivatives of the Tracy-Widom distribution. The lowe order expansion here is analogue to the Edgeworth expansion in the central limit theorem. These KPZ-type limiting behaviors are different from the Gaussian-type ones obtained in \cite{Liu-Wang22} where they study the finite-dimensional distribution of $\mathrm{H}(x,τ)$ conditioned on a large height at a later space-time point $\mathrm{H}(x',τ')$. They show, with the narrow-wedge initial condition, that the conditional random field $\mathrm{H}(x,τ)$ in the regime $τ<τ'$ converges to the minimum of two independent Brownian bridges modified by linear drifts as $\mathrm{H}(x',τ')$ goes to infinity. The two results stated above provide the phase diagram of the asymptotic behaviors of a conditional law of KPZ fixed point in the regimes $τ>τ'$ and $τ<τ'$ when $\mathrm{H}(x',τ')$ goes to infinity. △ Less

Submitted 27 February, 2025; v1 submitted 10 October, 2022; originally announced October 2022.

Comments: The reference has been updated, and the proofs for cases (2) and (4) in Section 4.3 have been corrected

The Brascamp-Lieb inequality and its influence on Fourier analysis

Authors: Ruixiang Zhang

Abstract: Brascamp-Lieb inequalities have been important in analysis, mathematical physics and neighboring areas. Recently, these inequalities have had a deep influence on Fourier analysis and, in particular, on Fourier restriction theory. In this article we motivate and explain this connection. A lot of our examples are taken from a rapidly developing subarea called "decoupling". It is the author's hope th… ▽ More Brascamp-Lieb inequalities have been important in analysis, mathematical physics and neighboring areas. Recently, these inequalities have had a deep influence on Fourier analysis and, in particular, on Fourier restriction theory. In this article we motivate and explain this connection. A lot of our examples are taken from a rapidly developing subarea called "decoupling". It is the author's hope that this article will be accessible to graduate students in fields broadly related to analysis. △ Less

Submitted 1 June, 2022; v1 submitted 22 March, 2022; originally announced March 2022.

Comments: 38 pages

Torelli-type theorems for gravitational instantons with quadratic volume growth

Authors: Gao Chen, Jeff Viaclovsky, Ruobing Zhang

Abstract: We prove Torelli-type uniqueness theorems for both ALG$^*$ gravitational instantons and ALG gravitational instantons which are of order $2$. That is, the periods uniquely characterize these types of gravitational instantons up to diffeomorphism. We define a period mapping $\mathscr{P}$, which we show is surjective in the ALG cases, and open in the ALG$^*$ cases. We also construct some new degenera… ▽ More We prove Torelli-type uniqueness theorems for both ALG$^*$ gravitational instantons and ALG gravitational instantons which are of order $2$. That is, the periods uniquely characterize these types of gravitational instantons up to diffeomorphism. We define a period mapping $\mathscr{P}$, which we show is surjective in the ALG cases, and open in the ALG$^*$ cases. We also construct some new degenerations of hyperkähler metrics on the K3 surface which exhibit bubbling of ALG$^*$ gravitational instantons. △ Less

Submitted 16 August, 2022; v1 submitted 14 December, 2021; originally announced December 2021.

Collapsing geometry of hyperkähler 4-manifolds and applications

Authors: Song Sun, Ruobing Zhang

Abstract: We investigate the collapsing geometry of hyperkähler 4-manifolds. As applications we prove two well-known conjectures in the field. (1) Any collapsed limit of unit-diameter hyperkähler metrics on the K3 manifold is isometric to one of the following: the quotient of a flat 3-torus by an involution, a singular special Kähler metric on the 2-sphere, or the unit interval. (2) Any complete hyperkä… ▽ More We investigate the collapsing geometry of hyperkähler 4-manifolds. As applications we prove two well-known conjectures in the field. (1) Any collapsed limit of unit-diameter hyperkähler metrics on the K3 manifold is isometric to one of the following: the quotient of a flat 3-torus by an involution, a singular special Kähler metric on the 2-sphere, or the unit interval. (2) Any complete hyperkähler 4-manifold with finite energy (i.e., gravitational instanton) is asymptotic to a model end at infinity. △ Less

Submitted 28 December, 2022; v1 submitted 30 August, 2021; originally announced August 2021.

Comments: A conjecture on the L2-curvature energy was added in Section 7.3. To appear in Acta Mathematica

Poisson Yang-Baxter equations and $\mathcal{O}$-operators of Poisson superalgebras

Authors: Jiawen Shan, Runxuan Zhang

Abstract: We investigate connections between $\mathcal {O}$-operators of Poisson superalgebras and skew-symmetric solutions of the Poisson Yang-Baxter equation (PYBE). We prove that a skew-symmetric solution of the PYBE on a Poisson superalgebra can be interpreted as an $\mathcal {O}$-operator associated to the co-regular representation. We show that this connection can be enhanced with symplectic forms whe… ▽ More We investigate connections between $\mathcal {O}$-operators of Poisson superalgebras and skew-symmetric solutions of the Poisson Yang-Baxter equation (PYBE). We prove that a skew-symmetric solution of the PYBE on a Poisson superalgebra can be interpreted as an $\mathcal {O}$-operator associated to the co-regular representation. We show that this connection can be enhanced with symplectic forms when considering non-degenerate skew-symmetric solutions. We also show that $\mathcal {O}$-operators associated to a general representation could give skew-symmetric solutions of the PYBE in certain semi-direct product of Poisson superalgebras. △ Less

Submitted 28 March, 2025; v1 submitted 2 March, 2021; originally announced March 2021.

Comments: The proof of Theorem 4.7 is incomplete

A generalization on derivations of Lie algebras

Authors: Hongliang Chang, Yin Chen, Runxuan Zhang

Abstract: We initiate a study on a range of new generalized derivations of finite-dimensional Lie algebras over an algebraically closed field of characteristic zero. This new generalization of derivations has an analogue in the theory of associative prime rings and unites many well-known generalized derivations that have already appeared extensively in the study of Lie algebras and other nonassociative alge… ▽ More We initiate a study on a range of new generalized derivations of finite-dimensional Lie algebras over an algebraically closed field of characteristic zero. This new generalization of derivations has an analogue in the theory of associative prime rings and unites many well-known generalized derivations that have already appeared extensively in the study of Lie algebras and other nonassociative algebras. After exploiting fundamental properties, we introduce and analyze their interiors, especially focusing on the rationality of the corresponding Hilbert series. Applying techniques in computational ideal theory we develop an approach to explicitly compute these new generalized derivations for the three-dimensional special linear Lie algebra over the complex field. △ Less

Submitted 3 November, 2020; originally announced November 2020.

Comments: 17 pages; to appear in Electronic Research Archive

Journal ref: Electronic Research Archive 29 (2021) 2457--2473

Polynomial Blow-up Upper Bounds for the Einstein-scalar field System Under Spherical Symmetry

Authors: Xinliang An, Ruixiang Zhang

Abstract: For general gravitational collapse, inside the black-hole region, singularities $(r=0)$ may arise. In this article, we aim to answer how strong these singularities could be. We analyse the behaviours of various geometric quantities. In particular, we show that in the most singular scenario, the Kretschmann scalar obeys polynomial blow-up upper bounds $O(1/r^N)$. This improves previously best-known… ▽ More For general gravitational collapse, inside the black-hole region, singularities $(r=0)$ may arise. In this article, we aim to answer how strong these singularities could be. We analyse the behaviours of various geometric quantities. In particular, we show that in the most singular scenario, the Kretschmann scalar obeys polynomial blow-up upper bounds $O(1/r^N)$. This improves previously best-known double-exponential upper bounds $O\big(\exp\exp(1/r)\big)$. Our result is sharp in the sense that there are known examples showing that no sub-polynomial upper bound could hold. Finally we do a case study on perturbations of the Schwarzschild solution. △ Less

Submitted 30 March, 2020; originally announced March 2020.

Comments: 34 pages, published in Commun. Math. Phys. online on Jan 21, 2020

The scattering of fractional Schrödinger operators with short range potentials

Authors: Rui Zhang, Tianxiao Huang, Quan Zheng

Abstract: For any positive real number $s$, we study the scattering theory in a unified way for the fractional Schrödinger operator $H=H_0+V$, where $H_0=(-Δ)^\frac s2$ and the real-valued potential $V$ satisfies short range condition. We prove the existence and asymptotic completeness of the wave operators $W_\pm=\mathrm{s-}\lim_{t\rightarrow\pm\infty}e^{itH}e^{-itH_0}$, the discreteness and finite multipl… ▽ More For any positive real number $s$, we study the scattering theory in a unified way for the fractional Schrödinger operator $H=H_0+V$, where $H_0=(-Δ)^\frac s2$ and the real-valued potential $V$ satisfies short range condition. We prove the existence and asymptotic completeness of the wave operators $W_\pm=\mathrm{s-}\lim_{t\rightarrow\pm\infty}e^{itH}e^{-itH_0}$, the discreteness and finite multiplicity of the non-zero pure point spectrum $σ_\mathrm{pp}\setminus\{0\}$ of $H$, and the finite decay property of eigenfunctions. The short range condition is sharp with respect to the allowed decay rate of $V$, and the decay threshold for the existence and non-existence of the wave operators is faster than $|x|^{-1}$ at the infinity in some sense. Our approach is inspired by the theory of limiting absorption principle for simply characteristic operators established by S. Agmon and L. Hörmander in the 1970s. △ Less

Submitted 9 April, 2021; v1 submitted 7 January, 2020; originally announced January 2020.

Comments: We relax the range of $ε_j$ in Proposition 1.5

Representations of $ω$-Lie Algebras and Tailed Derivations of Lie Algebras

Authors: Runxuan Zhang

Abstract: We study the representation theory of finite-dimensional $ω$-Lie algebras over the complex field. We derive an $ω$-Lie version of the classical Lie's theorem, i.e., any finite-dimensional irreducible module of a soluble $ω$-Lie algebra is one-dimensional. We also prove that indecomposable modules of some three-dimensional $ω$-Lie algebras could be parametrized by the complex field and nilpotent ma… ▽ More We study the representation theory of finite-dimensional $ω$-Lie algebras over the complex field. We derive an $ω$-Lie version of the classical Lie's theorem, i.e., any finite-dimensional irreducible module of a soluble $ω$-Lie algebra is one-dimensional. We also prove that indecomposable modules of some three-dimensional $ω$-Lie algebras could be parametrized by the complex field and nilpotent matrices. We introduce the notion of a tailed derivation of a nonassociative algebra $g$ and prove that if $g$ is a Lie algebra, then there exists a one-to-one correspondence between tailed derivations of $g$ and one-dimensional $ω$-extensions of $g$. △ Less

Submitted 18 December, 2021; v1 submitted 3 October, 2019; originally announced October 2019.

Comments: 15 pages

MSC Class: 17B10; 17B30; 17B40

Journal ref: International Journal of Algebra and Computation 31 (2021) 325-339

Frobenius objects in the category of relations

Authors: Rajan Amit Mehta, Ruoqi Zhang

Abstract: We give a characterization, in terms of simplicial sets, of Frobenius objects in the category of relations. This result generalizes a result of Heunen, Contreras, and Cattaneo showing that special dagger Frobenius objects in the category of relations are in correspondence with groupoids. As an additional example, we construct a Frobenius object in the category of relations whose elements are certa… ▽ More We give a characterization, in terms of simplicial sets, of Frobenius objects in the category of relations. This result generalizes a result of Heunen, Contreras, and Cattaneo showing that special dagger Frobenius objects in the category of relations are in correspondence with groupoids. As an additional example, we construct a Frobenius object in the category of relations whose elements are certain cohomology classes in a compact oriented Riemannian manifold. △ Less

Submitted 2 September, 2024; v1 submitted 20 June, 2019; originally announced July 2019.

Comments: v2: minor edits, final version

MSC Class: 18B10; 18B40; 18D35; 18G30; 20L05; 57R56

Journal ref: Letters in Mathematical Physics 110 (2020), no. 7, 1941-1959

Complex structure degenerations and collapsing of Calabi-Yau metrics

Authors: Song Sun, Ruobing Zhang

Abstract: In this paper, we make progress on understanding the collapsing behavior of Calabi-Yau metrics on a degenerating family of polarized Calabi-Yau manifolds. In the case of a family of smooth Calabi-Yau hypersurfaces in projective space degenerating into the transversal union of two smooth Fano hypersurfaces in a generic way, we obtain a complete result in all dimensions establishing explicit and pre… ▽ More In this paper, we make progress on understanding the collapsing behavior of Calabi-Yau metrics on a degenerating family of polarized Calabi-Yau manifolds. In the case of a family of smooth Calabi-Yau hypersurfaces in projective space degenerating into the transversal union of two smooth Fano hypersurfaces in a generic way, we obtain a complete result in all dimensions establishing explicit and precise relationships between the metric collapsing and complex structure degenerations. This result is new even in complex dimension two. This is achieved via gluing and singular perturbation techniques, and a key geometric ingredient involving the construction of certain (not necessarily smooth) Kähler metrics with torus symmetry. We also discuss possible extensions of this result to more general settings. △ Less

Submitted 11 September, 2024; v1 submitted 7 June, 2019; originally announced June 2019.

Comments: Minor revision and updates

PT-symmetry entails pseudo-Hermiticity regardless of diagonalizability

Authors: Ruili Zhang, Hong Qin, Jianyuan Xiao

Abstract: We prove that in finite dimensions, a Parity-Time (PT)-symmetric Hamiltonian is necessarily pseudo-Hermitian regardless of whether it is diagonalizable or not. This result is different from Mostafazadeh's, which requires the Hamiltonian to be diagonalizable. PT-symmetry breaking often occurs at exceptional points where the Hamiltonian is not diagonalizable. Our result implies that PT-symmetry brea… ▽ More We prove that in finite dimensions, a Parity-Time (PT)-symmetric Hamiltonian is necessarily pseudo-Hermitian regardless of whether it is diagonalizable or not. This result is different from Mostafazadeh's, which requires the Hamiltonian to be diagonalizable. PT-symmetry breaking often occurs at exceptional points where the Hamiltonian is not diagonalizable. Our result implies that PT-symmetry breaking is equivalent to the onset of instabilities of pseudo-Hermitian systems, which was systematically studied by Krein et al. in 1950s. In particular, we show that the mechanism of PT-symmetry breaking is the resonance between eigenmodes with different Krein signatures. △ Less

Submitted 1 April, 2019; originally announced April 2019.

Comments: 11pages, 1 figure. arXiv admin note: text overlap with arXiv:1801.01676

Kelvin-Helmholtz instability is the result of parity-time symmetry breaking

Authors: Hong Qin, Ruili Zhang, Alexander S. Glasser, Jianyuan Xiao

Abstract: Parity-Time (PT)-symmetry is being actively investigated as a fundamental property of observables in quantum physics. We show that the governing equations of the classical two-fluid interaction and the incompressible fluid system are PT-symmetric, and the well-known Kelvin-Helmholtz instability is the result of spontaneous PT-symmetry breaking. It is expected that all classical conservative system… ▽ More Parity-Time (PT)-symmetry is being actively investigated as a fundamental property of observables in quantum physics. We show that the governing equations of the classical two-fluid interaction and the incompressible fluid system are PT-symmetric, and the well-known Kelvin-Helmholtz instability is the result of spontaneous PT-symmetry breaking. It is expected that all classical conservative systems governed by Newton's law admit PT-symmetry, and the spontaneous breaking thereof is a generic mechanism for classical instabilities. Discovering the PT-symmetry of systems in fluid dynamics and plasma physics and identifying the PT-symmetry breaking responsible for instabilities enable new techniques to classical physics and enrich the physics of PT-symmetry. △ Less

Submitted 12 November, 2018; v1 submitted 28 October, 2018; originally announced October 2018.

Comments: 11 pages, 1 figure

Journal ref: Phys. Plasmas 26, 032102 (2019)

Degenerate quantum general linear groups

Authors: Jin Cheng, Yan Wang, Ruibin Zhang

Abstract: Given any pair of positive integers m and n, we construct a new Hopf algebra, which may be regarded as a degenerate version of the quantum group of gl(m+n). We study its structure and develop a highest weight representation theory. The finite dimensional simple modules are classified in terms of highest weights, which are essentially characterised by m+n-2 nonnegative integers and two arbitrary no… ▽ More Given any pair of positive integers m and n, we construct a new Hopf algebra, which may be regarded as a degenerate version of the quantum group of gl(m+n). We study its structure and develop a highest weight representation theory. The finite dimensional simple modules are classified in terms of highest weights, which are essentially characterised by m+n-2 nonnegative integers and two arbitrary nonzero scalars. In the special case with m=2 and n=1, an explicit basis is constructed for each finite dimensional simple module. For all m and n, the degenerate quantum group has a natural irreducible representation acting on C(q)^(m+n). It admits an R-matrix that satisfies the Yang-Baxter equation and intertwines the co-multiplication and its opposite. This in particular gives rise to isomorphisms between the two module structures of any tensor power of C(q)^(m+n) defined relative to the co-multiplication and its opposite respectively. A topological invariant of knots is constructed from this R-matrix, which reproduces the celebrated HOMFLY polynomial. Degenerate quantum groups of other classical types are briefly discussed. △ Less

Submitted 18 May, 2018; originally announced May 2018.

What breaks parity-time-symmetry? -- pseudo-Hermiticity and resonance between positive- and negative-action modes

Authors: Ruili Zhang, Hong Qin, Jianyuan Xiao, Jian Liu

Abstract: It is generally believed that Parity-Time (PT)-symmetry breaking occurs when eigenvalues or both eigenvalues and eigenvectors coincide. However, we show that this well-accepted picture of PT-symmetry breaking is incorrect. Instead, we demonstrate that the physical mechanism of PT-symmetry breaking is the resonance between positive- and negative-action modes. It is proved that PT-symmetry breaking… ▽ More It is generally believed that Parity-Time (PT)-symmetry breaking occurs when eigenvalues or both eigenvalues and eigenvectors coincide. However, we show that this well-accepted picture of PT-symmetry breaking is incorrect. Instead, we demonstrate that the physical mechanism of PT-symmetry breaking is the resonance between positive- and negative-action modes. It is proved that PT-symmetry breaking occurs when and only when this resonance condition is satisfied, and this mechanism applies to all known PT-symmetry breakings observed in different branches of physics. The result is achieved by proving a remarkable fact that in finite dimensions, a PT-symmetric Hamiltonian is necessarily pseudo-Hermitian, regardless whether it is diagonalizable or not. △ Less

Submitted 5 March, 2018; v1 submitted 5 January, 2018; originally announced January 2018.

Comments: 15 pages, 3 figures

A lattice Maxwell system with discrete space-time symmetry and local energy-momentum conservation

Authors: Jianyuan Xiao, Hong Qin, Yuan Shi, Jian Liu, Ruili Zhang

Abstract: A lattice Maxwell system is developed with gauge-symmetry, symplectic structure and discrete space-time symmetry. Noether's theorem for Lie group symmetries is generalized to discrete symmetries for the lattice Maxwell system. As a result, the lattice Maxwell system is shown to admit a discrete local energy-momentum conservation law corresponding to the discrete space-time symmetry. These conserva… ▽ More A lattice Maxwell system is developed with gauge-symmetry, symplectic structure and discrete space-time symmetry. Noether's theorem for Lie group symmetries is generalized to discrete symmetries for the lattice Maxwell system. As a result, the lattice Maxwell system is shown to admit a discrete local energy-momentum conservation law corresponding to the discrete space-time symmetry. These conservative properties make the discrete system an effective algorithm for numerically solving the governing differential equations on continuous space-time. Moreover, the lattice model, respecting all conservation laws and geometric structures, is as good as and probably more preferable than the continuous Maxwell model. Under the simulation hypothesis by Bostrom and in consistent with the discussion on lattice QCD by Beane et al., the two interpretations of physics laws on space-time lattice could be essentially the same. △ Less

Submitted 5 September, 2017; originally announced September 2017.

Comments: 12 pages

Nonlinear quantitative photoacoustic tomography with two-photon absorption

Authors: Kui Ren, Rongting Zhang

Abstract: Two-photon photoacoustic tomography (TP-PAT) is a non-invasive optical molecular imaging modality that aims at inferring two-photon absorption property of heterogeneous media from photoacoustic measurements. In this work, we analyze an inverse problem in quantitative TP-PAT where we intend to reconstruct optical coefficients in a semilinear elliptic PDE, the mathematical model for the propagation… ▽ More Two-photon photoacoustic tomography (TP-PAT) is a non-invasive optical molecular imaging modality that aims at inferring two-photon absorption property of heterogeneous media from photoacoustic measurements. In this work, we analyze an inverse problem in quantitative TP-PAT where we intend to reconstruct optical coefficients in a semilinear elliptic PDE, the mathematical model for the propagation of near infra-red photons in tissue-like optical media with two-photon absorption, from the internal absorbed energy data. We derive uniqueness and stability results on the reconstructions of single and multiple optical coefficients, and present some numerical reconstruction results based on synthetic data to complement the theoretical analysis. △ Less

Submitted 27 April, 2017; v1 submitted 11 August, 2016; originally announced August 2016.

MSC Class: 35R30; 49N45; 65M32; 74J25

Quantum correspondences of affine Lie superalgebras

Authors: Ying Xu, R. B. Zhang

Abstract: There is a surprising isomorphism between the quantised universal enveloping algebras of osp(1|2n) and so(2n+1). This same isomorphism emerged in recent work of Mikhaylov and Witten in the context of string theory as a T-duality composed with an S-duality. We construct similar Hopf superalgebra isomorphisms for families of pairs of quantum affine superalgebras. An immediate consequence is that the… ▽ More There is a surprising isomorphism between the quantised universal enveloping algebras of osp(1|2n) and so(2n+1). This same isomorphism emerged in recent work of Mikhaylov and Witten in the context of string theory as a T-duality composed with an S-duality. We construct similar Hopf superalgebra isomorphisms for families of pairs of quantum affine superalgebras. An immediate consequence is that the representation categories of the quantum affine superalgebras in each pair are equivalent as strict tensor categories. △ Less

Submitted 24 April, 2017; v1 submitted 5 July, 2016; originally announced July 2016.

Comments: Some proofs have been simplified; 19 pages

MSC Class: 15A72; 17B20

On some 2D orthogonal q-polynomials

Authors: Mourad E. H. Ismail, Ruiming Zhang

Abstract: We introduce two q-analogues of the 2D-Hermite polynomials which are functions of two complex variables. We derive explicit formulas, orthogonality relations, raising and lowering operator relations, generating functions, and Rodrigues formulas for both families. We also introduce a q-2D analogue of the disk polynomials (Zernike polynomials) and derive similar formulas for them as well including e… ▽ More We introduce two q-analogues of the 2D-Hermite polynomials which are functions of two complex variables. We derive explicit formulas, orthogonality relations, raising and lowering operator relations, generating functions, and Rodrigues formulas for both families. We also introduce a q-2D analogue of the disk polynomials (Zernike polynomials) and derive similar formulas for them as well including evaluating certain connection coefficients. Some of the generating functions may be related to Rogers-Ramanujan type identities. △ Less

Submitted 19 August, 2015; v1 submitted 17 November, 2014; originally announced November 2014.

Comments: 38 pages

MSC Class: 33C50; 33D50; 33C45; 33D45

Character and dimension formulae for queer Lie superalgebra

Authors: Yucai Su, R. B. Zhang

Abstract: Closed formulae are constructed for the characters and dimensions of the finite dimensional simple modules of the queer Lie superalgebra q(n). This is achieved by refining Brundan's algorithm for computing simple q(n)-characters. Closed formulae are constructed for the characters and dimensions of the finite dimensional simple modules of the queer Lie superalgebra q(n). This is achieved by refining Brundan's algorithm for computing simple q(n)-characters. △ Less

Submitted 12 May, 2013; originally announced May 2013.

Comments: LaTeX, 16 pages

MSC Class: 17B10

Smooth U(1) Gauge Fields in de Sitter Spacetime

Authors: Shibei Kong, Ruixiao Zhang, Peng Zhao, Bin Zhou

Abstract: Using the methods of Lie groups and Lie algebras, we solved U(1) gauge potentials in the de Sitter background. Resulted gauge potentials are smooth on the whole spacetime, satisfying the Lorentz gauge condition. It is shown that electromagnetic fields in the de Sitter background could not be source free. Using the methods of Lie groups and Lie algebras, we solved U(1) gauge potentials in the de Sitter background. Resulted gauge potentials are smooth on the whole spacetime, satisfying the Lorentz gauge condition. It is shown that electromagnetic fields in the de Sitter background could not be source free. △ Less

Submitted 31 May, 2018; v1 submitted 2 April, 2013; originally announced April 2013.

Comments: draft

Generalised Jantzen filtration of Lie superalgebras II: the exceptional cases

Authors: Yucai Su, R. B. Zhang

Abstract: Let $g$ be an exceptional Lie superalgebra, and let $p$ be the maximal parabolic subalgebra which contains the distinguished Borel subalgebra and has a purely even Levi subalgebra. For any parabolic Verma module in the parabolic category $O^p$, it is shown that the Jantzen filtration is the unique Loewy filtration, and the decomposition numbers of the layers of the filtration are determined by the… ▽ More Let $g$ be an exceptional Lie superalgebra, and let $p$ be the maximal parabolic subalgebra which contains the distinguished Borel subalgebra and has a purely even Levi subalgebra. For any parabolic Verma module in the parabolic category $O^p$, it is shown that the Jantzen filtration is the unique Loewy filtration, and the decomposition numbers of the layers of the filtration are determined by the coefficients of inverse Kazhdan-Lusztig polynomials. An explicit description of the submodule lattices of the parabolic Verma modules is given, and formulae for characters and dimensions of the finite dimensional simple modules are obtained. △ Less

Submitted 19 March, 2013; originally announced March 2013.

Comments: 30 pages

Cohomologies and Deformations of Generalized Left-symmetric Algebras

Authors: Run-Xuan Zhang

Abstract: The purpose of this paper is to develop a cohomology and deformation theories for generalized left-symmetric algebras.We introduce the notions of generalized left-symmetric cohomology and deformation. We also generalize a theorem of Dzhumadil'daev on connections between the right-symmetric cohomology and Chevalley-Eilenberg cohomology. As an application, we obtain a factorization theorem in left-s… ▽ More The purpose of this paper is to develop a cohomology and deformation theories for generalized left-symmetric algebras.We introduce the notions of generalized left-symmetric cohomology and deformation. We also generalize a theorem of Dzhumadil'daev on connections between the right-symmetric cohomology and Chevalley-Eilenberg cohomology. As an application, we obtain a factorization theorem in left-symmetric superalgebras cohomology. Finally, we obtain all complex simple left-symmetric superalgebras of dimension 3 by the infinitesimal deformations of a given left-symmetric superalgebras. △ Less

Submitted 25 February, 2013; originally announced February 2013.

Left-symmetric Structures on Complex Simple Lie Superalgebras

Authors: Run-Xuan Zhang

Abstract: A well-known fact is that there does not exist any compatible left-symmetric structures on a finite-dimensional complex semisimple Lie algebra (see \cite{Chu1974}). This result is not valid in semisimple Lie superalgebra case. In this paper, we study the compatible Left-symmetric superalgebra (LSSA for short) structures on complex simple Lie superalgebras. We prove that there is not any compatible… ▽ More A well-known fact is that there does not exist any compatible left-symmetric structures on a finite-dimensional complex semisimple Lie algebra (see \cite{Chu1974}). This result is not valid in semisimple Lie superalgebra case. In this paper, we study the compatible Left-symmetric superalgebra (LSSA for short) structures on complex simple Lie superalgebras. We prove that there is not any compatible LSSA structure on a finite-dimensional complex simple Lie superalgebra except for the classical simple Lie superalgebra $A(m,n)(m\neq n)$ and Cartan simple Lie superalgebra $W(n)(n\geq 3)$. We also classify all compatible LSSAs with a right-identity on A(0,1). △ Less

Submitted 23 February, 2013; originally announced February 2013.

Some Varieties of Lie Rings

Authors: Yin Chen, Runxuan Zhang

Abstract: In this paper, several theorems of Macdonald \cite{Mac1961,Mac1962} on the varieties of nilpotent groups will be generalized to the case of Lie rings. We consider three varieties of Lie rings of any characteristic associated with some equations (see Eqs. (\ref{eq:1.1})-(\ref{eq:1.3}) below). We prove that each Lie ring in variety $(\ref{eq:1.1})$ is nilpotent of exponent at most $n+2$; if $L$ is a… ▽ More In this paper, several theorems of Macdonald \cite{Mac1961,Mac1962} on the varieties of nilpotent groups will be generalized to the case of Lie rings. We consider three varieties of Lie rings of any characteristic associated with some equations (see Eqs. (\ref{eq:1.1})-(\ref{eq:1.3}) below). We prove that each Lie ring in variety $(\ref{eq:1.1})$ is nilpotent of exponent at most $n+2$; if $L$ is a Lie ring in variety $(\ref{eq:1.2})$, then $L^{2}$ is nilpotent of exponent at most $n+1$; and each Lie ring in variety $(\ref{eq:1.3})$ is solvable of length at most $n+1$. Finally, we also discuss some varieties of solvable Lie rings and the varieties of Lie rings defined by the properties of subrings. △ Less

Submitted 29 November, 2012; originally announced November 2012.

Comments: 9 pages,to appear in Asian-Eur. J. Math

MSC Class: 17A30; 17B30

Journal ref: Asian-Eur. J. Math. 5 (2012) 1250051, 11 pp

A generating mechanism for higher order rogue waves

Authors: J. S. He, H. R. Zhang, L. H. Wang, K. Porsezian, A. S. Fokas

Abstract: We introduce a mechanism for generating higher order rogue waves (HRWs) of the nonlinear Schrödinger(NLS) equation: the progressive fusion and fission of $n$ degenerate breathers associated with a critical eigenvalue $λ_0$, creates an order $n$ HRW. By adjusting the relative phase of the breathers at the interacting area, it is possible to obtain different types of HRWs. The value $λ_0$ is a zero… ▽ More We introduce a mechanism for generating higher order rogue waves (HRWs) of the nonlinear Schrödinger(NLS) equation: the progressive fusion and fission of $n$ degenerate breathers associated with a critical eigenvalue $λ_0$, creates an order $n$ HRW. By adjusting the relative phase of the breathers at the interacting area, it is possible to obtain different types of HRWs. The value $λ_0$ is a zero point of the eigenfunction of the Lax pair of the NLS equation and it corresponds to the limit of the period of the breather tending to infinity. By employing this mechanism we prove two conjectures regarding the total number of peaks, as well as a decomposition rule in the circular pattern of an order $n$ HRW. △ Less

Submitted 16 May, 2013; v1 submitted 17 September, 2012; originally announced September 2012.

Comments: 12 pages, 13 figures, To appear in Phys.Rev.E

Existence of Optical Vortices

Authors: Yisong Yang, Ruifeng Zhang

Abstract: Optical vortices arise as phase singularities of the light fields and are of central interest in modern optical physics. In this paper, some existence theorems are established for stationary vortex wave solutions of a general class of nonlinear Schrödinger equations. There are two types of results. The first type concerns the existence of positive-radial-profile solutions which are obtained throug… ▽ More Optical vortices arise as phase singularities of the light fields and are of central interest in modern optical physics. In this paper, some existence theorems are established for stationary vortex wave solutions of a general class of nonlinear Schrödinger equations. There are two types of results. The first type concerns the existence of positive-radial-profile solutions which are obtained through a constrained minimization approach. The second type addresses the existence of saddle-point solutions through a mountain-pass-theorem or min-max method so that the wave propagation constant may be arbitrarily prescribed in an open interval. Furthermore some explicit estimates for the lower bound and sign of the wave propagation constant with respect to the light beam power and vortex winding number are also derived for the first type solutions. △ Less

Submitted 21 September, 2012; v1 submitted 7 September, 2012; originally announced September 2012.

Comments: 17 pages

Analysis on the evolution process of BFW-like model with explosive percolation of multiple giant components

Authors: Renquan Zhang, Wei Wei, Binghui Guo, Yang Zhang, Zhiming Zheng

Abstract: Recently, the modified BFW model on random graph [Phys. Rev. Lett., 106, 115701 (2011)], which shows a strongly discontinuous percolation transition with multiple giant components, has attracted much attention from physicists, statisticians and materials scientists. In this paper, by establishing the theoretical expression of evolution equations on the modified BFW model, the steady-state and evol… ▽ More Recently, the modified BFW model on random graph [Phys. Rev. Lett., 106, 115701 (2011)], which shows a strongly discontinuous percolation transition with multiple giant components, has attracted much attention from physicists, statisticians and materials scientists. In this paper, by establishing the theoretical expression of evolution equations on the modified BFW model, the steady-state and evolution process are analyzed and a close correspondence is built between the values of parameter αand the number of giant components in steady-states, which fits very well with the numerical simulations. In fact, with the value of αdecreasing to 0.25, the error between theoretical and numerical results is smaller than 4% and trends to 0 rapidly. Furthermore, the sizes of giant components for different evolution strategies can also be obtained by solving some constraints derived from the evolution equations. The analysis of the steady-state and evolution process is of great help to explain why the percolation of modified BFW model is explosive and how explosive it is. △ Less

Submitted 13 June, 2012; originally announced June 2012.

Comments: 12 pages, 5 figures

Extended Poincaré supersymmetry in three dimensions and supersymmetric anyons

Authors: M. Chaichian, A. Tureanu, R. B. Zhang

Abstract: We classify the unitary representations of the extended Poincaré supergroups in three dimensions. Irreducible unitary representations of any spin can appear, which correspond to supersymmetric anyons. Our results also show that all irreducible unitary representations necessarily have physical momenta. This is in sharp contrast to the ordinary Poincaré group in three dimensions, that admits in addi… ▽ More We classify the unitary representations of the extended Poincaré supergroups in three dimensions. Irreducible unitary representations of any spin can appear, which correspond to supersymmetric anyons. Our results also show that all irreducible unitary representations necessarily have physical momenta. This is in sharp contrast to the ordinary Poincaré group in three dimensions, that admits in addition irreducible unitary representations with non-physical momenta, which are discarded on physical grounds. △ Less

Submitted 11 June, 2012; v1 submitted 23 April, 2012; originally announced April 2012.

Comments: 7 pages; commentaries added in Sect. IV A and in Conclusion; added references

Invariant integration on orthosymplectic and unitary supergroups

Authors: Kevin Coulembier, Ruibin Zhang

Abstract: The orthosymplectic supergroup OSp(m|2n) and unitary supergroup U(p|q) are studied following a new approach that starts from Harish-Chandra pairs and links the sheaf-theoretical supermanifold approach of Berezin and others with the differential geometry approach of Rogers and others. The matrix elements of the fundamental representation of the Lie supergroup G are expressed in terms of functions o… ▽ More The orthosymplectic supergroup OSp(m|2n) and unitary supergroup U(p|q) are studied following a new approach that starts from Harish-Chandra pairs and links the sheaf-theoretical supermanifold approach of Berezin and others with the differential geometry approach of Rogers and others. The matrix elements of the fundamental representation of the Lie supergroup G are expressed in terms of functions on the product supermanifold G_0 x R^{0|N}, with G_0 the underlying Lie group and N the odd dimension of G. This product supermanifold is isomorphic to the supermanifold of G. This leads to a new expression for the standard generators of the corresponding Lie superalgebra g as invariant derivations on G. Using these results a new and transparent formula for the invariant integrals on OSp(m|2n) and U(p|q) is obtained. △ Less

Submitted 19 January, 2012; originally announced January 2012.

MSC Class: 58C50; 58A50; 17B99; 16T05

Journal ref: J. Phys. A 45 (2012), no. 9, 095204

Existence of Non-Abelian Vortices in the Aharony--Bergman--Jafferis--Maldacena Theory

Authors: Shouxin Chen, Ruifeng Zhang, Meili Zhu

Abstract: Vortices in non-Abelian gauge field theory play important roles in confinement mechanism and are governed by systems of nonlinear elliptic equations of complicated structures. In this paper, we present a series of existence and uniqueness theorems for multiple vortex solutions of the non-Abelian BPS vortex equations over R^2 and on a doubly periodic domain. Our methods are based on calculus of var… ▽ More Vortices in non-Abelian gauge field theory play important roles in confinement mechanism and are governed by systems of nonlinear elliptic equations of complicated structures. In this paper, we present a series of existence and uniqueness theorems for multiple vortex solutions of the non-Abelian BPS vortex equations over R^2 and on a doubly periodic domain. Our methods are based on calculus of variations and a fixed-point argument. The necessary and sufficient conditions for the existence of a unique solution in the doubly periodic situation are explicitly expressed in terms of several physical parameters involved. △ Less

Submitted 7 January, 2012; originally announced January 2012.

Comments: arXiv admin note: substantial text overlap with arXiv:1106.1626 by other authors

Determining the Solution Space of Vertex-Cover by Interactions and Backbones

Authors: Wei Wei, Renquan Zhang, Binghui Guo, Zhiming Zheng

Abstract: To solve the combinatorial optimization problems especially the minimal Vertex-cover problem with high efficiency, is a significant task in theoretical computer science and many other subjects. Aiming at detecting the solution space of Vertex-cover, a new structure named interaction between nodes is defined and discovered for random graph, which results in the emergence of the frustration and long… ▽ More To solve the combinatorial optimization problems especially the minimal Vertex-cover problem with high efficiency, is a significant task in theoretical computer science and many other subjects. Aiming at detecting the solution space of Vertex-cover, a new structure named interaction between nodes is defined and discovered for random graph, which results in the emergence of the frustration and long-range correlation phenomenon. Based on the backbones and interactions with a node adding process, we propose an Interaction and Backbone Evolution Algorithm to achieve the reduced solution graph, which has a direct correspondence to the solution space of Vertex-cover. By this algorithm, the whole solution space can be obtained strictly when there is no leaf-removal core on the graph and the odd cycles of unfrozen nodes bring great obstacles to its efficiency. Besides, this algorithm possesses favorable exactness and has good performance on random instances even with high average degrees. The interaction with the algorithm provides a new viewpoint to solve Vertex-cover, which will have a wide range of applications to different types of graphs, better usage of which can lower the computational complexity for solving Vertex-cover. △ Less

Submitted 23 March, 2012; v1 submitted 28 December, 2011; originally announced December 2011.

A noncommutative geometric approach to the quantum structure of spacetime

Authors: R. B. Zhang, Xiao Zhang

Abstract: Together with collaborators, we introduced a noncommutative Riemannian geometry over Moyal algebras and systematically developed it for noncommutative spaces embedded in higher dimensions in the last few years. The theory was applied to construct a noncommutative version of general relativity, which is expected to capture some essential structural features of spacetime at the Planck scale. Example… ▽ More Together with collaborators, we introduced a noncommutative Riemannian geometry over Moyal algebras and systematically developed it for noncommutative spaces embedded in higher dimensions in the last few years. The theory was applied to construct a noncommutative version of general relativity, which is expected to capture some essential structural features of spacetime at the Planck scale. Examples of noncommutative spacetimes were investigated in detail. These include quantisations of plane-fronted gravitational waves, quantum Schwarzschild spacetime and Schwarzschild-de Sitter spacetime, and a quantun Tolman spacetime which is relevant to gravitational collapse. Here we briefly review the theory and its application in the study of quantum structure of spacetime. △ Less

Submitted 1 August, 2011; originally announced August 2011.

Comments: 46 pages. arXiv admin note: substantial text overlap with arXiv:0810.2357

Maximum Principles for P1-Conforming Finite Element Approximations of Quasi-Linear Second Order Elliptic Equations

Authors: Junping Wang, Ran Zhang

Abstract: This paper derives some discrete maximum principles for $P1$-conforming finite element approximations for quasi-linear second order elliptic equations. The results are extensions of the classical maximum principles in the theory of partial differential equations to finite element methods. The mathematical tools are based on the variational approach that was commonly used in the classical PDE theor… ▽ More This paper derives some discrete maximum principles for $P1$-conforming finite element approximations for quasi-linear second order elliptic equations. The results are extensions of the classical maximum principles in the theory of partial differential equations to finite element methods. The mathematical tools are based on the variational approach that was commonly used in the classical PDE theory. The discrete maximum principles are established by assuming a property on the discrete variational form that is of global nature. In particular, the assumption on the variational form is verified when the finite element partition satisfies some angle conditions. For the general quasi-linear elliptic equation, these angle conditions indicate that each triangle or tetrahedron needs to be $\mathcal{O}(h^α)$-acute in the sense that each angle $α_{ij}$ (for triangle) or interior dihedral angle $α_{ij}$ (for tetrahedron) must satisfy $α_{ij}\le π/2-γh^α$ for some $α\ge 0$ and $γ>0$. For the Poisson problem where the differential operator is given by Laplacian, the angle requirement is the same as the existing ones: either all the triangles are non-obtuse or each interior edge is non-negative. It should be pointed out that the analytical tools used in this paper are based on the powerful De Giorgi's iterative method that has played important roles in the theory of partial differential equations. The mathematical analysis itself is of independent interest in the finite element analysis. △ Less

Submitted 1 November, 2011; v1 submitted 7 May, 2011; originally announced May 2011.

Comments: 17 pages, 3 figures, report of new research results in numerical PDEs

MSC Class: 65N30 (Primary) 65N50 (Secondary)

Journal ref: SIAM J Numer. Anal., Vol. 50, No. 2, pp.626-642, 2012

Serre presentations of Lie superalgebras

Authors: R. B. Zhang

Abstract: An analogue of Serre's theorem is established for finite dimensional simple Lie superalgebras, which describes presentations in terms of Chevalley generators and Serre type relations relative to all possible choices of Borel subalgebras. The proof of the theorem is conceptually transparent; it also provides an alternative approach to Serre's theorem for ordinary Lie algebras. An analogue of Serre's theorem is established for finite dimensional simple Lie superalgebras, which describes presentations in terms of Chevalley generators and Serre type relations relative to all possible choices of Borel subalgebras. The proof of the theorem is conceptually transparent; it also provides an alternative approach to Serre's theorem for ordinary Lie algebras. △ Less

Submitted 16 January, 2011; originally announced January 2011.

Comments: 45 pages

MSC Class: 17B05; 17B20; 17B22; 17B10

Topological Vortices in Chiral Gauge Theory of Graphene

Authors: Xin Liu, Ruibin Zhang

Abstract: Generation mechanism of energy gaps between conductance and valence bands is at the centre of the study of graphene material. Recently Chamon, Jackiw, et al. proposed a mechanism of using a Kekulé distortion background field $% \varphi $ and its induced gauge potential $A_{i}$ to generate energy gaps. In this paper various vortex structures inhering in this model are studied. Regarding $\varphi $… ▽ More Generation mechanism of energy gaps between conductance and valence bands is at the centre of the study of graphene material. Recently Chamon, Jackiw, et al. proposed a mechanism of using a Kekulé distortion background field $% \varphi $ and its induced gauge potential $A_{i}$ to generate energy gaps. In this paper various vortex structures inhering in this model are studied. Regarding $\varphi $ as a generic background field rather than a fixed Nielson-Oleson type distribution, we have found two new types of vortices on the graphene surface --- the velocity field vortices and the monopole-motion induced vortices --- from the inner structure of the potential $A_{i}$. These vortex structures naturally arise from the motion of the Dirac fermions instead of from the background distortion field. △ Less

Submitted 4 June, 2010; originally announced June 2010.

Comments: 12 pages

Journal ref: Ann. Phys. 325 (2010) 384-391

Generalised Jantzen filtration of Lie superalgebras I

Authors: Yucai Su, R. B. Zhang

Abstract: A Jantzen type filtration for generalised Varma modules of Lie superalgebras is introduced. In the case of type I Lie superalgebras, it is shown that the generalised Jantzen filtration for any Kac module is the unique Loewy filtration, and the decomposition numbers of the layers of the filtration are determined by the coefficients of inverse Kazhdan-Lusztig polynomials. Furthermore, the length of… ▽ More A Jantzen type filtration for generalised Varma modules of Lie superalgebras is introduced. In the case of type I Lie superalgebras, it is shown that the generalised Jantzen filtration for any Kac module is the unique Loewy filtration, and the decomposition numbers of the layers of the filtration are determined by the coefficients of inverse Kazhdan-Lusztig polynomials. Furthermore, the length of the Jantzen filtration for any Kac module is determined explicitly in terms of the degree of atypicality of the highest weight. These results are applied to obtain a detailed description of the submodule lattices of Kac modules. △ Less

Submitted 15 October, 2010; v1 submitted 7 January, 2010; originally announced January 2010.

Comments: This is the final version to appear in the Journal of European Math Society. LaTeX, 31 pages

MSC Class: 17B10; 17B20

Generalised Verma modules for the orthosymplectic Lie superalgebra osp(k|2)

Authors: Yucai Su, R. B. Zhang

Abstract: The composition factors and their multiplicities are determined for generalised Verma modules over the orthosymplectic Lie superalgebra osp(k|2). The results enable us to obtain explicit formulae for the formal characters and dimensions of the finite-dimensional irreducible modules. Applying these results, we also compute the first and second cohomology groups of the Lie superalgebra with coeffi… ▽ More The composition factors and their multiplicities are determined for generalised Verma modules over the orthosymplectic Lie superalgebra osp(k|2). The results enable us to obtain explicit formulae for the formal characters and dimensions of the finite-dimensional irreducible modules. Applying these results, we also compute the first and second cohomology groups of the Lie superalgebra with coefficients in finite-dimensional Kac modules and irreducible modules. △ Less

Submitted 17 December, 2009; v1 submitted 4 November, 2009; originally announced November 2009.

Comments: LaTeX, 23 pages, update reference (adding one reference)

MSC Class: 17B37; 20G42; 17B10

Journal ref: Journal of Algebra 357 (2012), 94-115

A quantum analogue of the first fundamental theorem of invariant theory

Authors: G. I. Lehrer, Hechun Zhang, R. B. Zhang

Abstract: We establish a noncommutative analogue of the first fundamental theorem of classical invariant theory. For each quantum group associated with a classical Lie algebra, we construct a noncommutative associative algebra whose underlying vector space forms a module for the quantum group and whose algebraic structure is preserved by the quantum group action. The subspace of invariants is shown to for… ▽ More We establish a noncommutative analogue of the first fundamental theorem of classical invariant theory. For each quantum group associated with a classical Lie algebra, we construct a noncommutative associative algebra whose underlying vector space forms a module for the quantum group and whose algebraic structure is preserved by the quantum group action. The subspace of invariants is shown to form a subalgebra, which is finitely generated. We determine generators of this subalgebra of invariants and determine their commutation relations. In each case considered, the noncommutative modules we construct are flat deformations of their classical commutative analogues. Thus by taking the limit as $q\to 1$, our results imply the first fundamental theorem of classical invariant theory, and therefore generalise them to the noncommutative case. △ Less

Submitted 10 August, 2009; originally announced August 2009.

Comments: 44 pages, 3 figures

MSC Class: 81R50; 16W35;

Projective module description of embedded noncommutative spaces

Authors: R. B. Zhang, Xiao Zhang

Abstract: An algebraic formulation is given for the embedded noncommutative spaces over the Moyal algebra developed in a geometric framework in \cite{CTZZ}. We explicitly construct the projective modules corresponding to the tangent bundles of the embedded noncommutative spaces, and recover from this algebraic formulation the metric, Levi-Civita connection and related curvatures, which were introduced geome… ▽ More An algebraic formulation is given for the embedded noncommutative spaces over the Moyal algebra developed in a geometric framework in \cite{CTZZ}. We explicitly construct the projective modules corresponding to the tangent bundles of the embedded noncommutative spaces, and recover from this algebraic formulation the metric, Levi-Civita connection and related curvatures, which were introduced geometrically in \cite{CTZZ}. Transformation rules for connections and curvatures under general coordinate changes are given. A bar involution on the Moyal algebra is discovered, and its consequences on the noncommutative differential geometry are described. △ Less

Submitted 12 May, 2010; v1 submitted 14 October, 2008; originally announced October 2008.

Comments: 25 pages, final version, to appear in Reviews in Mathematical Physics

On endomorphisms of quantum tensor space

Authors: G. I. Lehrer R. B. Zhang

Abstract: We give a presentation of the endomorphism algebra $\End_{\cU_q(\fsl_2)}(V^{\otimes r})$, where $V$ is the 3-dimensional irreducible module for quantum $\fsl_2$ over the function field $\C(q^{1/2})$. This will be as a quotient of the Birman-Wenzl-Murakami algebra $BMW_r(q):=BMW_r(q^{-4},q^2-q^{-2})$ by an ideal generated by a single idempotent $Φ_q$. Our presentation is in analogy with the case… ▽ More We give a presentation of the endomorphism algebra $\End_{\cU_q(\fsl_2)}(V^{\otimes r})$, where $V$ is the 3-dimensional irreducible module for quantum $\fsl_2$ over the function field $\C(q^{1/2})$. This will be as a quotient of the Birman-Wenzl-Murakami algebra $BMW_r(q):=BMW_r(q^{-4},q^2-q^{-2})$ by an ideal generated by a single idempotent $Φ_q$. Our presentation is in analogy with the case where $V$ is replaced by the 2- dimensional irreducible $\cU_q(\fsl_2)$-module, the BMW algebra is replaced by the Hecke algebra $H_r(q)$ of type $A_{r-1}$, $Φ_q$ is replaced by the quantum alternator in $H_3(q)$, and the endomorphism algebra is the classical realisation of the Temperley-Lieb algebra on tensor space. In particular, we show that all relations among the endomorphisms defined by the $R$-matrices on $V^{\otimes r}$ are consequences of relations among the three $R$-matrices acting on $V^{\otimes 4}$. The proof makes extensive use of the theory of cellular algebras. Potential applications include the decomposition of tensor powers when $q$ is a root of unity. △ Less

Submitted 24 June, 2008; originally announced June 2008.

Comments: 14 pages

MSC Class: 20G42; 81R50

On Zeros of Fourier Transforms

Authors: Ruiming Zhang

Abstract: In this work we verify the sufficiency of a Jensen's necessary and sufficient condition for a class of genus 0 or 1 entire functions to have only real zeros. They are Fourier transforms of even, positive, indefinitely differentiable, and very fast decreasing functions. We also apply our result to several important special functions in mathematics, such as modified Bessel function… ▽ More In this work we verify the sufficiency of a Jensen's necessary and sufficient condition for a class of genus 0 or 1 entire functions to have only real zeros. They are Fourier transforms of even, positive, indefinitely differentiable, and very fast decreasing functions. We also apply our result to several important special functions in mathematics, such as modified Bessel function $K_{iz}(a),\ a>0$ as a function of variable $z$, Riemann Xi function $Ξ(z)$, and character Xi function $Ξ(z;χ)$ when $χ$ is a real primitive non-principal character satisfying $\varphi(u;χ)\ge0$ on the real line, we prove these entire functions have only real zeros. △ Less

Submitted 24 December, 2015; v1 submitted 4 June, 2008; originally announced June 2008.

Comments: 9 pages

MSC Class: 37A45; 26B25; 42A38; 30D10; 33C10; 11M26