SearcharxivSearch

arXiv subjects

Pengfei Huang

Publications and source records attributed to Pengfei Huang.

At least 19 recordsLinked to original sources

A counterexample to the curve semistability conjecture for Higgs bundles

In this paper, we give a counterexample to the Bruzzo--Gra\~na Otero conjecture on the curve semistability for Higgs bundles. Let $\Sigma$ be a very general smooth plane quintic curve and let $X=\Sigma^{(2)}$ be its second symmetric product. Starting from the tautological bundle $F=\mathcal{O}_\Sigma(1)^{[2]}$, we construct a rank four Higgs bundle $\mathcal{E}_s=(E_s,\theta_s)$ on $X$. Then, for every smooth projective curve $C$ and every morphism $f:C\to X$, the pullback Higgs bundle $f^*\mathcal{E}_s=(f^*E_s,f^*\theta_s)$ is semistable. However, on the other hand, $\mathrm{det}(E_s)\cong\mathcal{O}_X$ and $\int_Xc_2(E_s)=10$. Consequently, the discriminant of $E_s$ does not vanish, and $\mathcal{E}_s$ provides the desired counterexample.

math.AG

Tangent discontinuity in the oper stratification of de Rham moduli spaces

Let $X$ be a smooth complex projective curve of genus $g$, and let $\mathcal{M}_{\mathrm{dR}}(X,r)$ be the moduli space of flat bundles of rank $r$. Over the stable locus, Simpson showed the oper stratification with Lagrangian fibers and asked whether these fibers are closed and fit together into a smooth foliation. This question is often referred to as the foliation conjecture. In this paper, we give a counterexample to this conjecture in rank two on every curve of genus $g\geq4$. The main idea is to show that the tangent planes are discontinuous along a holomorphic curve crossing two adjacent strata, hence the foliation assertion fails.

math.AG

Deformation theory of parabolic representation pairs

In this paper, we introduce the notions of parabolic representation pairs and the parabolic representation pair variety. We investigate the deformation theory of parabolic representation pairs. The Zariski tangent space and the tangent quadratic cone of the parabolic representation pair variety are described. By the Riemann--Hilbert--Deligne correspondence, we pro-represent the analytic germs of parabolic representation pair variety by functors related to certain groupoids of parabolic logarithmic flat bundles. Under suitable assumptions, we prove that the differential graded Lie algebra (DGLA) controlling the deformation of a parabolic logarithmic flat bundle is partially formal. This leads to the quadraticity of the subvariety of parabolic representation pair variety, which consists of parabolic representation pairs with fixed eigenvalues of monodromies, at certain generic points. Finally, we construct the moduli space of weighted parabolic representation pairs, and, by means of quiver representation theory, we establish the Kobayashi--Hitchin-type theorem for polystable parabolic representation pairs.

math.AG

Symmetric spaces for groups over involutive algebras and applications to Higgs bundles

We study symplectic groups and indefinite orthogonal groups over involutive, possibly noncommutative, algebras $(A, \sigma)$. In the case when the algebra $(A, \sigma)$ is Hermitian, or the complexification $(A_{\mathbb C}, \sigma_{\mathbb C})$ of a Hermitian involutive algebra, one can identify maximal compact subgroups of such groups, and consider their associated Riemannian symmetric spaces. This new perspective allows for the realization of various geometric models for the symmetric space. We describe explicitly the complexified tangent space for each of the models, as well as the diffeomorphisms between them and their differentials. In the second part of the article, we give a number of applications of this theory. The geometric realizations of the Riemannian symmetric spaces described in the first part provide new geometric interpretations of Higgs bundle data that can be used for the study of fundamental group representations into symplectic or into indefinite orthogonal groups over Hermitian involutive algebras. We give an exact component count for the moduli spaces of $\rm{Sp}_2(A_{\mathbb C}, \sigma_{\mathbb C})$-Higgs bundles and of $\rm O(A_{\mathbb C}, \sigma_{\mathbb C})$-Higgs bundles, using the topology of the corresponding maximal compact subgroups rather than Morse-Bott theory techniques. Furthermore, we use the noncommutative symmetric-space models to construct a factorization of the Hitchin morphism for $\rm{Sp}_2(A_{\mathbb C},\sigma_{\mathbb C})$-Higgs bundles, together with analogous factorizations for the real groups $\rm{Sp}_2(A,\sigma)$ and $\rm O_{(1,1)}(A,\sigma)$. These factorizations are induced by quadratic norm maps from the corresponding tangent models to Jordan-algebraic targets and pass through intermediate affine GIT quotients. As a consequence, they reduce the algebraic complexity required in order to characterize the Hitchin base explicitly.

math.DG

An ideal-sparse generalized moment problem reformulation for completely positive tensor decomposition exploiting maximal cliques of multi-hypergraphs

In this paper, we consider the completely positive tensor decomposition problem with ideal-sparsity. First, we propose an algorithm to generate the maximal cliques of multi-hypergraphs associated with completely positive tensors. This also leads to a necessary condition for tensors to be completely positive. Then, the completely positive tensor decomposition problem is reformulated into an ideal-sparse generalized moment problem. It optimizes over several lower dimensional measure variables supported on the maximal cliques of a multi-hypergraph. The moment-based relaxations are applied to solve the reformulation. The convergence of this ideal-sparse moment hierarchies is studied. Numerical results show that the ideal-sparse problem is faster to compute than the original dense formulation of completely positive tensor decomposition problems. It also illustrates that the new reformulation utilizes sparsity structures that differs from the correlative and term sparsity for completely positive tensor decomposition problems.

math.OC

Meissner-Like Currents of Photons in Anomalous Superradiant Phases

We present Meissner-like photon currents in a quantum Rabi zigzag chain under staggered synthetic magnetic fields. The ground state of the Meissner superradiant phase hosts persistent chiral edge currents in a sequence of cancellation of antiparallel vortex pairs, akin to surface currents of the Meissner effect in superconductors. The Meissner phase displays distinct vortex structures and anomalous scaling exponents, arising from geometric frustration effects. Modifying the staggered flux triggers transitions to even- or odd-vortex superradiant phases, where the chiral edge currents flow exclusively in even or odd cavities with localized vortices, respectively. Enhanced interspecies interactions induce the vanishing of currents in a ferromagnetic superradiant phase. Our results enable observation of stabilized photon vortices and edge currents with analogy to quantum Hall-like robustness in light-matter coupling systems.

quant-ph

Rigid $G$-connections and nilpotency of $p$-curvatures

Motivated by Simpson's conjecture on the motivicity of rigid irreducible connections, Esnault and Groechenig demonstrated that the mod-$p$ reductions of such connections on smooth projective varieties have nilpotent $p$-curvatures. In this paper, we extend their result to integrable $G$-connections.

math.AG

Parahoric reduction theory of formal connections (or Higgs fields)

In this paper, we establish the parahoric reduction theory of formal connections (or Higgs fields) on a formal principal bundle with parahoric structures, which generalizes Babbitt-Varadarajan's result for the case without parahoric structures [5] and Boalch's result for the case of regular singularity [9]. As applications, we prove the equivalence between extrinsic definition and intrinsic definition of regular singularity and provide a criterion of relative regularity for formal connections, and also demonstrate a parahoric version of Frenkel-Zhu's Borel reduction theorem of formal connections [23].

math.AG

Filtered Stokes G-local Systems in Nonabelian Hodge Theory on Curves

In the wild nonabelian Hodge correspondence on curves, filtered Stokes G-local systems are regarded as the objects on the Betti side. In this paper, we demonstrate a construction of the moduli space of them, called the Betti moduli space, and it reduces to the wild character variety when the Betti weights are trivial. We study some particular examples including Eguch-Hanson space and the Airy equation together with the corresponding moduli spaces. Furthermore, we provide a proof of the correspondence among irregular singular G-connections, Stokes G-local systems, and Stokes G-representations. This correspondence can be viewed as the G-version of irregular Rieman-Hilbert correspondence on curves.

math.AG

H2O+: An Improved Framework for Hybrid Offline-and-Online RL with Dynamics Gaps

Solving real-world complex tasks using reinforcement learning (RL) without high-fidelity simulation environments or large amounts of offline data can be quite challenging. Online RL agents trained in imperfect simulation environments can suffer from severe sim-to-real issues. Offline RL approaches although bypass the need for simulators, often pose demanding requirements on the size and quality of the offline datasets. The recently emerged hybrid offline-and-online RL provides an attractive framework that enables joint use of limited offline data and imperfect simulator for transferable policy learning. In this paper, we develop a new algorithm, called H2O+, which offers great flexibility to bridge various choices of offline and online learning methods, while also accounting for dynamics gaps between the real and simulation environment. Through extensive simulation and real-world robotics experiments, we demonstrate superior performance and flexibility over advanced cross-domain online and offline RL algorithms.

cs.LG

Meromorphic Parahoric Higgs Torsors and Filtered Stokes G-local Systems on Curves

In this paper, we consider the wild nonabelian Hodge correspondence for principal $G$-bundles on curves, where $G$ is a connected complex reductive group. We establish the correspondence under a ``very good" condition introduced by Boalch, and thus confirm one of his conjectures. We first give a version of Kobayashi--Hitchin correspondence, which induces a one-to-one correspondence between stable meromorphic parahoric Higgs torsors of degree zero (Dolbeault side) and stable meromorphic parahoric connections of degree zero (de Rham side). Then, by introducing a notion of stability condition on filtered Stokes local systems, we prove a one-to-one correspondence between stable meromorphic parahoric connections of degree zero (de Rham side) and stable filtered Stokes $G$-local systems of degree zero (Betti side). When $G={\rm GL}_n(\mathbb{C})$, the main result in this paper reduces to Biquad--Boalch's result.

math.AG

Newton-based alternating methods for the ground state of a class of multi-component Bose-Einstein condensates

The computation of the ground states of special multi-component Bose-Einstein condensates (BECs) can be formulated as an energy functional minimization problem with spherical constraints. It leads to a nonconvex quartic-quadratic optimization problem after suitable discretizations. First, we generalize the Newton-based methods for single-component BECs to the alternating minimization scheme for multi-component BECs. Second, the global convergent alternating Newton-Noda iteration (ANNI) is proposed. In particular, we prove the positivity preserving property of ANNI under mild conditions. Finally, our analysis is applied to a class of more general "multi-block" optimization problems with spherical constraints. Numerical experiments are performed to evaluate the performance of proposed methods for different multi-component BECs, including pseudo spin-1/2, anti-ferromagnetic spin-1 and spin-2 BECs. These results support our theory and demonstrate the efficiency of our algorithms.

math.NA

Moduli Spaces of Filtered G-local Systems on Curves

In this paper, we construct the moduli spaces of filtered $G$-local systems on curves for an arbitrary reductive group $G$ over an algebraically closed field of characteristic zero. This provides an algebraic construction for the Betti moduli spaces in the tame nonabelian Hodge correspondence for vector bundles/principal bundles on noncompact curves. As a direct application, the tame nonabelian Hodge correspondence on noncompact curves holds not only for the relevant categories, but also for the moduli spaces.

math.AG

Tame parahoric nonabelian Hodge correspondence on curves

The nonabelian Hodge correspondence for vector bundles over noncompact curves is adequately described by implementing a weighted filtration on the objects involved. In order to establish a full correspondence between a Dolbeault and a de Rham space for a general complex reductive group $G$, we introduce torsors given by parahoric group schemes in the sense of Bruhat--Tits. Combined with existing results on the Riemann--Hilbert correspondence for logarithmic parahoric connections, this gives a full nonabelian Hodge correspondence from Higgs bundles to fundamental group representations over a noncompact curve beyond the $\text{GL}_n(\mathbb{C})$-case.

math.AG

Simpson-Mochizuki Correspondence for $λ$-Flat Bundles

The notion of flat $λ$-connections as the interpolation of usual flat connections and Higgs fields was suggested by Deligne and further studied by Simpson. Mochizuki established the Kobayashi--Hitchin-type theorem for $λ$-flat bundles ($λ\neq 0$), which is called the Mochizuki correspondence. In this paper, on the one hand, we generalize Mochizuki's result to the case when the base being a compact balanced manifold, more precisely, we prove the existence of harmonic metrics on stable $λ$-flat bundles ($λ\neq 0$). On the other hand, we study two applications of the Simpson--Mochizuki correspondence to moduli spaces. More concretely, we show this correspondence provides a homeomorphism between the moduli space of (semi)stable $λ$-flat bundles over a complex projective manifold and the Dolbeault moduli space, and also provides dynamical systems with two parameters on the latter moduli space. We investigate such dynamical systems, in particular, we calculate the first variation, the fixed points and discuss the asymptotic behaviour.

math.DG

Rate-Constrained Shaping Codes for Finite-State Channels With Cost

Shaping codes are used to generate code sequences in which the symbols obey a prescribed probability distribution. They arise naturally in the context of source coding for noiseless channels with unequal symbol costs. Recently, shaping codes have been proposed to extend the lifetime of flash memory and reduce DNA synthesis time. In this paper, we study a general class of shaping codes for noiseless finite-state channels with cost and i.i.d. sources. We establish a relationship between the code rate and minimum average symbol cost. We then determine the rate that minimizes the average cost per source symbol (total cost). An equivalence is established between codes minimizing average symbol cost and codes minimizing total cost, and a separation theorem is proved, showing that optimal shaping can be achieved by a concatenation of optimal compression and optimal shaping for a uniform i.i.d. source.

cs.IT

The decompositions and positive semidefiniteness of fourth-order conjugate partial-symmetric tensors with applications

Conjugate partial-symmetric (CPS) tensor is a generalization of Hermitian matrices. For the CPS tensor decomposition some properties are presented. For real CPS tensors in particular, we note the subtle difference from the complex case of the decomposition. In addition to traditional decompositions in the form of the sum of rank-one tensors, we focus on the orthogonal matrix decomposition of CPS tensors, which inherits nice properties from decomposition of matrices. It then induces a procedure that reobtain the CPS decomposable property of CPS tensors. We also discuss the nonnegativity of the quartic real-valued symmetric conjugate form corresponding to fourth-order CPS tensors in real and complex cases, and establish its relationship to different positive semidefiniteness based on different decompositions. Finally, we give some examples to illustrate the applications of presented propositions.

math.NA

Moduli spaces of parabolic bundles over $\mathbb{P}^1$ with five marked points

This paper considers the moduli spaces/stacks of parabolic bundles (parabolic logarithmic flat bundles and parabolic logarithmic Higgs bundles with given spectrum) of rank 2 and degree 1 over $\mathbb{P}^1$ with five marked points. The foliation and stratification structures on these moduli spaces/stacks are investigated. In particular, we confirm Simpson's conjecture for the moduli space of parabolic logarithmic flat bundles with certain non-special weight system.

math.AG