-
Equivariant algebraic $\mathrm{K}$-theory and Artin $L$-functions
Authors:
Elden Elmanto,
Ningchuan Zhang
Abstract:
In this paper, we generalize the Quillen-Lichtenbaum Conjecture relating special values of Dedekind zeta functions to algebraic $\mathrm{K}$-groups. The former has been settled by Rost-Voevodsky up to the Iwasawa Main Conjecture. Our generalization extends the scope of this conjecture to Artin $L$-functions of Galois representations of finite, function, and totally real number fields. The statemen…
▽ More
In this paper, we generalize the Quillen-Lichtenbaum Conjecture relating special values of Dedekind zeta functions to algebraic $\mathrm{K}$-groups. The former has been settled by Rost-Voevodsky up to the Iwasawa Main Conjecture. Our generalization extends the scope of this conjecture to Artin $L$-functions of Galois representations of finite, function, and totally real number fields. The statement of this conjecture relates norms of the special values of these $L$-functions to sizes of equivariant algebraic $\mathrm{K}$-groups with coefficients in an equivariant Moore spectrum attached to a Galois representation.
We prove this conjecture in many cases, integrally, except up to a possible factor of powers of $2$ in the non-abelian and totally real number field case. In the finite field case, we further determine the group structures of their equivariant algebraic $\mathrm{K}$-groups with coefficients in Galois representations. At heart, our method lifts the Möbius inversion formula for factorizations of zeta functions as a product of $L$-functions, to the $E_1$-page of an equivariant spectral sequence converging to equivariant algebraic $\mathrm{K}$-groups. Additionally, the spectral Mackey functor structure on equivariant $\mathrm{K}$-theory allows us to incorporate certain ramified extensions that appear in these $L$-functions.
△ Less
Submitted 6 May, 2024;
originally announced May 2024.
-
Maximum Likelihood Estimation on Stochastic Blockmodels for Directed Graph Clustering
Authors:
Mihai Cucuringu,
Xiaowen Dong,
Ning Zhang
Abstract:
This paper studies the directed graph clustering problem through the lens of statistics, where we formulate clustering as estimating underlying communities in the directed stochastic block model (DSBM). We conduct the maximum likelihood estimation (MLE) on the DSBM and thereby ascertain the most probable community assignment given the observed graph structure. In addition to the statistical point…
▽ More
This paper studies the directed graph clustering problem through the lens of statistics, where we formulate clustering as estimating underlying communities in the directed stochastic block model (DSBM). We conduct the maximum likelihood estimation (MLE) on the DSBM and thereby ascertain the most probable community assignment given the observed graph structure. In addition to the statistical point of view, we further establish the equivalence between this MLE formulation and a novel flow optimization heuristic, which jointly considers two important directed graph statistics: edge density and edge orientation. Building on this new formulation of directed clustering, we introduce two efficient and interpretable directed clustering algorithms, a spectral clustering algorithm and a semidefinite programming based clustering algorithm. We provide a theoretical upper bound on the number of misclustered vertices of the spectral clustering algorithm using tools from matrix perturbation theory. We compare, both quantitatively and qualitatively, our proposed algorithms with existing directed clustering methods on both synthetic and real-world data, thus providing further ground to our theoretical contributions.
△ Less
Submitted 28 March, 2024;
originally announced March 2024.
-
An efficient method for calculating resonant modes in biperiodic photonic structures
Authors:
Nan Zhang,
Ya Yan Lu
Abstract:
Many photonic devices, such as photonic crystal slabs, cross gratings, and periodic metasurfaces, are biperiodic structures with two independent periodic directions, and are sandwiched between two homogeneous media. Many applications of these devices are closely related to resonance phenomena. Therefore, efficient computation of resonant modes is crucial in device design and structure analysis. Si…
▽ More
Many photonic devices, such as photonic crystal slabs, cross gratings, and periodic metasurfaces, are biperiodic structures with two independent periodic directions, and are sandwiched between two homogeneous media. Many applications of these devices are closely related to resonance phenomena. Therefore, efficient computation of resonant modes is crucial in device design and structure analysis. Since resonant modes satisfy outgoing radiation conditions, perfectly matched layers (PMLs) are usually used to truncate the unbounded spatial variable perpendicular to the periodic directions. In this paper, we develop an efficient method without using PMLs to calculate resonant modes in biperiodic structures. We reduce the original eigenvalue problem to a small matrix nonlinear eigenvalue problem which is solved by the contour integral method. Numerical examples show that our method is efficient with respect to memory usage and CPU time, free of spurious solutions, and determines degenerate resonant modes without any difficulty.
△ Less
Submitted 7 March, 2024;
originally announced March 2024.
-
The Minkowski problem for the non-compact convex set with an asymptotic boundary condition
Authors:
Ning Zhang
Abstract:
In this paper, combining the covolume, we study the Minkowski theory for the non-compact convex set with an asymptotic boundary condition. In particular, the mixed covolume of two non-compact convex sets is introduced and its geometric interpretation is obtained by the Hadamard variational formula. The Brunn-Minkowski and Minkowski inequalities for covolume are established, and the equivalence of…
▽ More
In this paper, combining the covolume, we study the Minkowski theory for the non-compact convex set with an asymptotic boundary condition. In particular, the mixed covolume of two non-compact convex sets is introduced and its geometric interpretation is obtained by the Hadamard variational formula. The Brunn-Minkowski and Minkowski inequalities for covolume are established, and the equivalence of these two inequalities are discussed as well. The Minkowski problem for non-compact convex set is proposed and solved under the asymptotic conditions. In the end, we give a solution to the Minkowski problem for $σ$-finite measure on the conic domain $Ω_C$.
△ Less
Submitted 20 February, 2024;
originally announced February 2024.
-
5d SCFTs from Isolated Complete Intersection Singularities
Authors:
Jisheng Mu,
Yi-Nan Wang,
Hao N. Zhang
Abstract:
In this paper, we explore the zoo of 5d superconformal field theories (SCFTs) constructed from M-theory on Isolated Complete Intersection Singularities (ICIS). We systematically investigate the crepant resolution of such singularities, and obtain a classification of rank $\leqslant 10$ models with a smooth crepant resolution and smooth exceptional divisors, as well as a number of infinite sequence…
▽ More
In this paper, we explore the zoo of 5d superconformal field theories (SCFTs) constructed from M-theory on Isolated Complete Intersection Singularities (ICIS). We systematically investigate the crepant resolution of such singularities, and obtain a classification of rank $\leqslant 10$ models with a smooth crepant resolution and smooth exceptional divisors, as well as a number of infinite sequences with the same smoothness properties. For these models, we study their Coulomb branch properties and compute the flavor symmetry algebra from the resolved CY3 and/or the magnetic quiver. We check the validity of the conjectures relating the properties of the 5d SCFT and the 4d $\mathcal{N}=2$ SCFT from IIB superstring on the same singularity. When the 4d $\mathcal{N}=2$ SCFT has a Lagrangian quiver gauge theory description, one can obtain the magnetic quiver of the 5d theory by gauging flavor symmetry, which encodes the 5d Higgs branch information. Regarding the smoothness of the crepant resolution and integrality of 4d Coulomb branch spectrum, we find examples with a smooth resolved CY3 and smooth exceptional divisors, but fractional 4d Coulomb branch spectrum. Moreover, we compute the discrete (higher)-symmetries of the 5d/4d SCFTs from the link topology for a few examples.
△ Less
Submitted 28 November, 2023; v1 submitted 9 November, 2023;
originally announced November 2023.
-
Principal specializations of Schubert polynomials, multi-layered permutations and asymptotics
Authors:
Ningxin Zhang
Abstract:
Let $v(n)$ be the largest principal specialization of Schubert polynomials for layered permutations $v(n) := \max_{w \in \mathcal{L}_n} \mathfrak{S}_w(1,\ldots,1)$. Morales, Pak and Panova proved that there is a limit \[\lim_{n \to \infty} \frac{\log v(n)}{n^2},\] and gave a precise description of layered permutations reaching the maximum. In this paper, we extend Morales Pak and Panova's results…
▽ More
Let $v(n)$ be the largest principal specialization of Schubert polynomials for layered permutations $v(n) := \max_{w \in \mathcal{L}_n} \mathfrak{S}_w(1,\ldots,1)$. Morales, Pak and Panova proved that there is a limit \[\lim_{n \to \infty} \frac{\log v(n)}{n^2},\] and gave a precise description of layered permutations reaching the maximum. In this paper, we extend Morales Pak and Panova's results to generalized principal specialization $\mathfrak{S}_w(1,q,q^2,\ldots)$ for multi-layered permutations when $q$ equals a root of unity.
△ Less
Submitted 8 November, 2023;
originally announced November 2023.
-
An equivalent reformulation and multi-proximity gradient algorithms for a class of nonsmooth fractional programming
Authors:
Junpeng Zhou,
Na Zhang,
Qia Li
Abstract:
In this paper, we consider a class of structured fractional programs, where the numerator part is the sum of a block-separable (possibly nonsmooth nonconvex) function and a locally Lipschitz differentiable (possibly nonconvex) function, while the denominator is a convex (possibly nonsmooth) function. We first present a novel reformulation for the original problem and show the relationship between…
▽ More
In this paper, we consider a class of structured fractional programs, where the numerator part is the sum of a block-separable (possibly nonsmooth nonconvex) function and a locally Lipschitz differentiable (possibly nonconvex) function, while the denominator is a convex (possibly nonsmooth) function. We first present a novel reformulation for the original problem and show the relationship between optimal solutions, critical points and KL exponents of these two problems. Inspired by the reformulation, we propose a flexible framework of multi-proximity gradient algorithms (MPGA), which computes the proximity operator with respect to the Fenchel conjugate associated with the convex denominator of the original problem rather than evaluating its subgradient as in the existing methods. Also, MPGA employs a nonmonotone linear-search scheme in its gradient descent step, since the smooth part in the numerator of the original problem is not globally Lipschitz differentiable. Based on the framework of MPGA, we develop two specific algorithms, namely, cyclic MPGA and randomized MPGA, and establish their subsequential convergence under mild conditions. Moreover, the sequential convergence of cyclic MPGA with the monotone line-search (CMPGA_ML) is guaranteed if the extended objective associated with the reformulated problem satisfies the Kurdyka-Łojasiewicz (KL) property and some other mild assumptions. In particular, we prove that the corresponding KL exponents are 1/2 for several special cases of the fractional programs, and so, CMPGA_ML exhibits a linear convergence rate. Finally, some preliminary numerical experiments are performed to demonstrate the efficiency of our proposed algorithms.
△ Less
Submitted 25 March, 2024; v1 submitted 1 November, 2023;
originally announced November 2023.
-
Smooth Symmetric Transonic Isothermal Flows with Nonzero Angular Velocity
Authors:
Na Zhang
Abstract:
In this paper, the steady inviscid flows with radial symmetry for the isothermal Euler system are studied in an annulus. We present a complete classification of transonic radially symmetric flow patterns in term of physical boundary conditions at the inner and outer circle. By solving the one side boundary problem, we obtain that there exist accelerating or decelerating smooth transonic flows in a…
▽ More
In this paper, the steady inviscid flows with radial symmetry for the isothermal Euler system are studied in an annulus. We present a complete classification of transonic radially symmetric flow patterns in term of physical boundary conditions at the inner and outer circle. By solving the one side boundary problem, we obtain that there exist accelerating or decelerating smooth transonic flows in an annulus. Moreover, the structural stability of these smooth symmetric transonic flows with nonzero angular velocity are further investigated. Furthermore, we examine the transonic solutions with shocks as well via prescribing suitable boundary conditions on the inner and outer circle.
△ Less
Submitted 10 September, 2023;
originally announced October 2023.
-
The inverse limit topology and profinite descent on Picard groups in $K(n)$-local homotopy theory
Authors:
Guchuan Li,
Ningchuan Zhang
Abstract:
In this paper, we study profinite descent theory for Picard groups in $K(n)$-local homotopy theory through their inverse limit topology. Building upon Burklund's result on the multiplicative structures of generalized Moore spectra, we prove that the module category over a $K(n)$-local commutative ring spectrum is equivalent to the limit of its base changes by a tower of generalized Moore spectra o…
▽ More
In this paper, we study profinite descent theory for Picard groups in $K(n)$-local homotopy theory through their inverse limit topology. Building upon Burklund's result on the multiplicative structures of generalized Moore spectra, we prove that the module category over a $K(n)$-local commutative ring spectrum is equivalent to the limit of its base changes by a tower of generalized Moore spectra of type $n$. As a result, the $K(n)$-local Picard groups are endowed with a natural inverse limit topology. This topology allows us to identify the entire $E_1$ and $E_2$-pages of a descent spectral sequence for Picard spaces of $K(n)$-local profinite Galois extensions.
Our main examples are $K(n)$-local Picard groups of homotopy fixed points $E_n^{hG}$ of the Morava $E$-theory $E_n$ for all closed subgroups $G$ of the Morava stabilizer group $\mathbb{G}_n$. The $G=\mathbb{G}_n$ case has been studied by Heard and Mor. At height $1$, we compute Picard groups of $E_1^{hG}$ for all closed subgroups $G$ of $\mathbb{G}_1=\mathbb{Z}_p^\times$ at all primes as a Mackey functor.
△ Less
Submitted 23 September, 2023; v1 submitted 10 September, 2023;
originally announced September 2023.
-
A Successive Two-stage Method for Sparse Generalized Eigenvalue Problems
Authors:
Qia Li,
Jianmin Liao,
Lixin Shen,
Na Zhang
Abstract:
The Sparse Generalized Eigenvalue Problem (sGEP), a pervasive challenge in statistical learning methods including sparse principal component analysis, sparse Fisher's discriminant analysis, and sparse canonical correlation analysis, presents significant computational complexity due to its NP-hardness. The primary aim of sGEP is to derive a sparse vector approximation of the largest generalized eig…
▽ More
The Sparse Generalized Eigenvalue Problem (sGEP), a pervasive challenge in statistical learning methods including sparse principal component analysis, sparse Fisher's discriminant analysis, and sparse canonical correlation analysis, presents significant computational complexity due to its NP-hardness. The primary aim of sGEP is to derive a sparse vector approximation of the largest generalized eigenvector, effectively posing this as a sparse optimization problem. Conventional algorithms for sGEP, however, often succumb to local optima and exhibit significant dependency on initial points. This predicament necessitates a more refined approach to avoid local optima and achieve an improved solution in terms of sGEP's objective value, which we address in this paper through a novel successive two-stage method. The first stage of this method incorporates an algorithm for sGEP capable of yielding a stationary point from any initial point. The subsequent stage refines this stationary point by adjusting its support, resulting in a point with an enhanced objective value relative to the original stationary point. This support adjustment is achieved through a novel procedure we have named support alteration. The final point derived from the second stage then serves as the initial point for the algorithm in the first stage, creating a cyclical process that continues until a predetermined stop** criterion is satisfied. We also provide a comprehensive convergence analysis of this process. Through extensive experimentation under various settings, our method has demonstrated significant improvements in the objective value of sGEP compared to existing methodologies, underscoring its potential as a valuable tool in statistical learning and optimization.
△ Less
Submitted 23 August, 2023;
originally announced August 2023.
-
Smooth Subsonic and Transonic Flows with Nonzero Angular Velocity and Vorticity to steady Euler-Poisson system in a Concentric Cylinder
Authors:
Shangkun Weng,
Wengang Yang,
Na Zhang
Abstract:
In this paper, both smooth subsonic and transonic flows to steady Euler-Poisson system in a concentric cylinder are studied. We first establish the existence of cylindrically symmetric smooth subsonic and transonic flows to steady Euler-Poisson system in a concentric cylinder. On one hand, we investigate the structural stability of smooth cylindrically symmetric subsonic flows under three-dimensio…
▽ More
In this paper, both smooth subsonic and transonic flows to steady Euler-Poisson system in a concentric cylinder are studied. We first establish the existence of cylindrically symmetric smooth subsonic and transonic flows to steady Euler-Poisson system in a concentric cylinder. On one hand, we investigate the structural stability of smooth cylindrically symmetric subsonic flows under three-dimensional perturbations on the inner and outer cylinders. On the other hand, the structural stability of smooth transonic flows under the axi-symmetric perturbations are examined. There is no any restrictions on the background subsonic and transonic solutions. A deformation-curl-Poisson decomposition to the steady Euler-Poisson system is utilized in our work to deal with the hyperbolic-elliptic mixed structure in subsonic region. It should be emphasized that there is a special structure of the steady Euler-Poisson system which yields a priori estimates and uniqueness of a second order elliptic system for the velocity potential and the electrostatic potential.
△ Less
Submitted 21 August, 2023; v1 submitted 21 August, 2023;
originally announced August 2023.
-
Parameterized proximal-gradient algorithms for L1/L2 sparse signal recovery
Authors:
Na Zhang,
Xinrui Liu,
Qia Li
Abstract:
The ratio of L1 and L2 norms (L1/L2), serving as a sparse promoting function, receives considerable attentions recently due to its effectiveness for sparse signal recovery. In this paper, we propose an L1/L2 based penalty model for recovering sparse signals from noiseless or noisy observations. It is proven that stationary points of the proposed problem tend to those of the elliptically constraine…
▽ More
The ratio of L1 and L2 norms (L1/L2), serving as a sparse promoting function, receives considerable attentions recently due to its effectiveness for sparse signal recovery. In this paper, we propose an L1/L2 based penalty model for recovering sparse signals from noiseless or noisy observations. It is proven that stationary points of the proposed problem tend to those of the elliptically constrained L1/L2 minimization problem as the smoothing parameter goes to zero. Moreover, inspired by the parametric approach for the fractional programming, we design a parameterized proximal-gradient algorithm (PPGA) as well as its line search counterpart (PPGA_L) for solving the proposed model. The closed-form solution of the involved proximity operator is derived, which enable the efficiency of the proposed algorithms. We establish the global convergence of the entire sequences generated by PPGA and PPGA_L with monotone objective values by taking advantage of the fact that the objective of the proposed model is a KL function. Numerical experiments show the efficiency of the proposed algorithms over the state-of-the-art methods in both noiseless and noisy sparse signal recovery problems.
△ Less
Submitted 2 July, 2023;
originally announced July 2023.
-
Degenerations of Grassmannians via lattice configurations II
Authors:
Xiang He,
Naizhen Zhang
Abstract:
This paper is a continuation of our study of degenerations of Grassmannians in our last paper, called linked Grassmannians, constructed using convex lattice configurations in Bruhat-Tits buildings. We describe the geometry and topology of linked Grassmannians associated to a larger class of lattice configurations, generalizing the results in the last paper. In doing so, we utilize results on the g…
▽ More
This paper is a continuation of our study of degenerations of Grassmannians in our last paper, called linked Grassmannians, constructed using convex lattice configurations in Bruhat-Tits buildings. We describe the geometry and topology of linked Grassmannians associated to a larger class of lattice configurations, generalizing the results in the last paper. In doing so, we utilize results on the geometry of quiver Grassmannians and affine Schubert varieties, and make comparison to the study of certain local models of Shimura varieties.
△ Less
Submitted 28 April, 2023;
originally announced May 2023.
-
Multiscale topology classifies and quantifies cell types in subcellular spatial transcriptomics
Authors:
Katherine Benjamin,
Aneesha Bhandari,
Zhouchun Shang,
Yanan Xing,
Yanru An,
Nannan Zhang,
Yong Hou,
Ulrike Tillmann,
Katherine R. Bull,
Heather A. Harrington
Abstract:
Spatial transcriptomics has the potential to transform our understanding of RNA expression in tissues. Classical array-based technologies produce multiple-cell-scale measurements requiring deconvolution to recover single cell information. However, rapid advances in subcellular measurement of RNA expression at whole-transcriptome depth necessitate a fundamentally different approach. To integrate si…
▽ More
Spatial transcriptomics has the potential to transform our understanding of RNA expression in tissues. Classical array-based technologies produce multiple-cell-scale measurements requiring deconvolution to recover single cell information. However, rapid advances in subcellular measurement of RNA expression at whole-transcriptome depth necessitate a fundamentally different approach. To integrate single-cell RNA-seq data with nanoscale spatial transcriptomics, we present a topological method for automatic cell type identification (TopACT). Unlike popular decomposition approaches to multicellular resolution data, TopACT is able to pinpoint the spatial locations of individual sparsely dispersed cells without prior knowledge of cell boundaries. Pairing TopACT with multiparameter persistent homology landscapes predicts immune cells forming a peripheral ring structure within kidney glomeruli in a murine model of lupus nephritis, which we experimentally validate with immunofluorescent imaging. The proposed topological data analysis unifies multiple biological scales, from subcellular gene expression to multicellular tissue organization.
△ Less
Submitted 13 December, 2022;
originally announced December 2022.
-
Borel's rank theorem for Artin $L$-functions
Authors:
Ningchuan Zhang
Abstract:
Borel's rank theorem identifies the ranks of algebraic $K$-groups of the ring of integers of a number field with the orders of vanishing of the Dedekind zeta function attached to the field. Following the work of Gross, we establish a version of this theorem for Artin $L$-functions by considering equivariant algebraic $K$-groups of number fields with coefficients in rational Galois representations.…
▽ More
Borel's rank theorem identifies the ranks of algebraic $K$-groups of the ring of integers of a number field with the orders of vanishing of the Dedekind zeta function attached to the field. Following the work of Gross, we establish a version of this theorem for Artin $L$-functions by considering equivariant algebraic $K$-groups of number fields with coefficients in rational Galois representations. This construction involves twisting algebraic $K$-theory spectra with rational equivariant Moore spectra. We further discuss integral equivariant Moore spectra attached to Galois representations and their potential applications in $L$-functions.
△ Less
Submitted 28 June, 2023; v1 submitted 20 September, 2022;
originally announced September 2022.
-
On Minkowskian Product of Finsler Manifolds
Authors:
Jiahui Li,
Yong He,
Chang Tian,
Na Zhang
Abstract:
Let (M_1,F_1) and (M_2,F_2) be a pair of Finsler manifolds. The Minkowskian product Finsler manifold (M,F) of (M_1,F_1) and (M_2,F_2) with respect to a product function f is the product manifold M=M_1\times M_2 endowed with the Finsler metric F^2=f(K,H), where K=(F_1)^2,H=(F_2)^2. In this paper, the Cartan connection and Berwald connection of (M,F) are derived in terms of the corresponding objects…
▽ More
Let (M_1,F_1) and (M_2,F_2) be a pair of Finsler manifolds. The Minkowskian product Finsler manifold (M,F) of (M_1,F_1) and (M_2,F_2) with respect to a product function f is the product manifold M=M_1\times M_2 endowed with the Finsler metric F^2=f(K,H), where K=(F_1)^2,H=(F_2)^2. In this paper, the Cartan connection and Berwald connection of (M,F) are derived in terms of the corresponding objects of (M_1,F_1) and (M_2,F_2). Necessary and sufficient conditions for (M,F) to be Berwald (resp. weakly Berwald, Landsberg, weakly Landsberg) manifold are obtained. Thus an effective method for constructing special Finsler manifolds mentioned above is given.
△ Less
Submitted 16 June, 2022;
originally announced June 2022.
-
Ulam floating functions
Authors:
Chunyan Liu,
Elisabeth M. Werner,
De** Ye,
Ning Zhang
Abstract:
We extend the notion of Ulam floating sets from convex bodies to Ulam floating functions. We use the Ulam floating functions to derive a new variational formula for the affine surface area of log-concave functions.
We extend the notion of Ulam floating sets from convex bodies to Ulam floating functions. We use the Ulam floating functions to derive a new variational formula for the affine surface area of log-concave functions.
△ Less
Submitted 17 March, 2022;
originally announced March 2022.
-
Exotic Picard groups and chromatic vanishing via the Gross-Hopkins duality
Authors:
Dominic Leon Culver,
Ningchuan Zhang
Abstract:
In this paper, we study the exotic $K(h)$-local Picard groups $κ_h$ when $2p-1=h^2$ and the homological Chromatic Vanishing Conjecture when $p-1$ does not divide $h$. The main idea is to use the Gross-Hopkins duality to relate both questions to certain Greek letter element computations in chromatic homotopy theory. Classical results of Miller-Ravenel-Wilson then imply that an exotic element at hei…
▽ More
In this paper, we study the exotic $K(h)$-local Picard groups $κ_h$ when $2p-1=h^2$ and the homological Chromatic Vanishing Conjecture when $p-1$ does not divide $h$. The main idea is to use the Gross-Hopkins duality to relate both questions to certain Greek letter element computations in chromatic homotopy theory. Classical results of Miller-Ravenel-Wilson then imply that an exotic element at height $3$ and prime $5$ is not detected by the type-$2$ complex $V(1)$. For the homological Vanishing Conjecture, we prove it holds modulo the invariant prime ideal $I_{h-1}$. We further show that this special case of the Vanishing Conjecture implies the exotic Picard group $κ_h$ is zero at height $3$ and prime $5$. Both results can be thought of as a first step towards proving the vanishing of $κ_3$ at prime $5$.
△ Less
Submitted 29 September, 2023; v1 submitted 17 March, 2022;
originally announced March 2022.
-
Holomorphic sections of line bundles on the jet spaces of the Riemann sphere
Authors:
Xiaokun Wang,
Ning Zhang
Abstract:
Fix a point $t_0$ in the circle $S^1$. The space $J^k(t_0, \mathbb{P}^1)$ of $k$-jets at $t_0$ of $C^{\infty}$ maps from $S^1$ to the Riemann sphere $\mathbb{P}^1$ is a $k+1$ dimensional complex algebraic manifold. We identify a class of holomorphic sections of line bundles on $J^k(t_0, \mathbb{P}^1)$.
Fix a point $t_0$ in the circle $S^1$. The space $J^k(t_0, \mathbb{P}^1)$ of $k$-jets at $t_0$ of $C^{\infty}$ maps from $S^1$ to the Riemann sphere $\mathbb{P}^1$ is a $k+1$ dimensional complex algebraic manifold. We identify a class of holomorphic sections of line bundles on $J^k(t_0, \mathbb{P}^1)$.
△ Less
Submitted 8 March, 2022; v1 submitted 5 March, 2022;
originally announced March 2022.
-
Weierstrass semigroups from cyclic covers of hyperelliptic curves
Authors:
Ethan Cotterill,
Nathan Pflueger,
Naizhen Zhang
Abstract:
The {\it Weierstrass semigroup} of pole orders of meromorphic functions in a point $p$ of a smooth algebraic curve $C$ is a classical object of study; a celebrated problem of Hurwitz is to characterize which semigroups ${\rm S} \subset \mathbb{N}$ with finite complement are {\it realizable} as Weierstrass semigroups ${\rm S}= {\rm S}(C,p)$. In this note, we establish realizability results for cycl…
▽ More
The {\it Weierstrass semigroup} of pole orders of meromorphic functions in a point $p$ of a smooth algebraic curve $C$ is a classical object of study; a celebrated problem of Hurwitz is to characterize which semigroups ${\rm S} \subset \mathbb{N}$ with finite complement are {\it realizable} as Weierstrass semigroups ${\rm S}= {\rm S}(C,p)$. In this note, we establish realizability results for cyclic covers $π: (C,p) \rightarrow (B,q)$ of hyperelliptic targets $B$ marked in hyperelliptic Weierstrass points; and we show that realizability is dictated by the behavior under $j$-fold multiplication of certain divisor classes in hyperelliptic Jacobians naturally associated to our cyclic covers, as $j$ ranges over all natural numbers.
△ Less
Submitted 24 June, 2023; v1 submitted 31 December, 2021;
originally announced January 2022.
-
Long-time behavior of solutions to the M1 model with boundray effect
Authors:
Nangao Zhang,
Changjiang Zhu
Abstract:
In this paper, we are concerned with the asymptotic behavior of solutions of M1 model on quadrant. From this model, combined with damped compressible Euler equations, a more general system is introduced. We show that the solutions to the initial boundary value problem of this system globally exist and tend time-asymptotically to the corresponding nonlinear parabolic equation governed by the relate…
▽ More
In this paper, we are concerned with the asymptotic behavior of solutions of M1 model on quadrant. From this model, combined with damped compressible Euler equations, a more general system is introduced. We show that the solutions to the initial boundary value problem of this system globally exist and tend time-asymptotically to the corresponding nonlinear parabolic equation governed by the related Darcy's law. Compared with previous results on compressible Euler equations with dam** obtained by Nishihara and Yang in [24], and Marcati, Mei and Rubino in [16], the better convergence rates are obtained. The approach adopted is based on the technical time-weighted energy estimates together with the Green's function method.
△ Less
Submitted 20 December, 2021;
originally announced December 2021.
-
Hyperkähler geometry of rational curves in twistor spaces
Authors:
Roger Bielawski,
Naizhen Zhang
Abstract:
We investigate the pseudo-hyperkähler geometry of higher degree rational curves in the twistor space of a hyperkähler $4$-manifold.
We investigate the pseudo-hyperkähler geometry of higher degree rational curves in the twistor space of a hyperkähler $4$-manifold.
△ Less
Submitted 30 November, 2021;
originally announced November 2021.
-
Convergence to nonlinear diffusion waves for solutions of M1 model
Authors:
Nangao Zhang,
Changjiang Zhu
Abstract:
In this paper, we are concerned with the asymptotic behavior of solutions of M1 model proposed in the radiative transfer fields. Starting from this model, combined with the compressible Euler equation with dam**, we introduce a more general system. We rigorously prove that the solutions to the Cauchy problem of this system globally exist and time-asymptotically converge to the shifted nonlinear…
▽ More
In this paper, we are concerned with the asymptotic behavior of solutions of M1 model proposed in the radiative transfer fields. Starting from this model, combined with the compressible Euler equation with dam**, we introduce a more general system. We rigorously prove that the solutions to the Cauchy problem of this system globally exist and time-asymptotically converge to the shifted nonlinear diffusion waves whose profile is self-similar solution to the corresponding parabolic equation governed by the classical Darcy's law. Moreover, the optimal convergence rates are also obtained. Compared with previous results obtained by Nishihara, Wang and Yang in [29], we have a weaker and more general condition on the initial data, and the conclusions are more sharper. The approach adopted in the paper is the technical time-weighted energy estimates with the Green function method together.
△ Less
Submitted 22 November, 2021;
originally announced November 2021.
-
Convergence to diffusion waves for solutions of 1D Keller-Segel model
Authors:
F. L. Liu,
N. G. Zhang,
C. J. Zhu
Abstract:
In this paper, we are concerned with the asymptotic behavior of solutions to the Cauchy problem (or initial-boundary value problem) of one-dimensional Keller-Segel model. For the Cauchy problem, we prove that the solutions time-asymptotically converge to the nonlinear diffusion wave whose profile is self-similar solution to the corresponding parabolic equation, which is derived by Darcy's law, as…
▽ More
In this paper, we are concerned with the asymptotic behavior of solutions to the Cauchy problem (or initial-boundary value problem) of one-dimensional Keller-Segel model. For the Cauchy problem, we prove that the solutions time-asymptotically converge to the nonlinear diffusion wave whose profile is self-similar solution to the corresponding parabolic equation, which is derived by Darcy's law, as in [11, 28]. For the initial-boundary value problem, we consider two cases: Dirichlet boundary condition and null Neumann boundary condition on (u, ρ). In the case of Dirichlet boundary condition, similar to the Cauchy problem, the asymptotic profile is still the self-similar solution of the corresponding parabolic equation, which is derived by Darcy's law, thus we only need to deal with boundary effect. In the case of null-Neumann boundary condition, the global existence and asymptotic behavior of solutions near constant steady states are established. The proof is based on the elementary energy method and some delicate analysis of the corresponding asymptotic profiles.
△ Less
Submitted 23 September, 2021;
originally announced September 2021.
-
An aggregated model for Karlin stable processes
Authors:
Yi Shen,
Yizao Wang,
Na Zhang
Abstract:
An aggregated model is proposed, of which the partial-sum process scales to the Karlin stable processes recently investigated in the literature. The limit extremes of the proposed model, when having regularly-varying tails, are characterized by the convergence of the corresponding point processes. The proposed model is an extension of an aggregated model proposed by Enriquez (2004) in order to app…
▽ More
An aggregated model is proposed, of which the partial-sum process scales to the Karlin stable processes recently investigated in the literature. The limit extremes of the proposed model, when having regularly-varying tails, are characterized by the convergence of the corresponding point processes. The proposed model is an extension of an aggregated model proposed by Enriquez (2004) in order to approximate fractional Brownian motions with Hurst index $H\in(0,1/2)$, and is of a different nature of the other recently investigated Karlin models which are essentially based on infinite urn schemes.
△ Less
Submitted 8 July, 2021;
originally announced July 2021.
-
On the Quenched Functional Central Limit Theorem for Stationary Random Fields under Projective Criteria
Authors:
Lucas Reding,
Na Zhang
Abstract:
In this work we study and establish some quenched functional Central Limit Theorems (CLTs) for stationary random fields under a projective criteria. These results are functional generalizations of the theorems obtained by Zhang et al. (2020) and of the quenched functional CLTs for ortho-martingales established by Peligrad and Voln{ý} (2020) to random fields satisfying a Hannan type projective con…
▽ More
In this work we study and establish some quenched functional Central Limit Theorems (CLTs) for stationary random fields under a projective criteria. These results are functional generalizations of the theorems obtained by Zhang et al. (2020) and of the quenched functional CLTs for ortho-martingales established by Peligrad and Voln{ý} (2020) to random fields satisfying a Hannan type projective condition. In the work of Zhang et al. (2020), the authors have already proven a quenched functional CLT however the assumptions were not optimal as they require the existence of a 2 + $δ$-moment. In this article, we establish the results under weaker assumptions, namely we only require an Orlicz space condition to hold. The methods used to obtain these generalizations are somewhat similar to the ones used by Zhang et al. (2020) but we improve on them in order to obtain results within the functional framework. Moreover, a Rosenthal type inequality for said Orlicz space is also derived and used to obtain a sufficient condition analogous to that of Theorem 4.4 in the work of Zhang et al. (2020). Finally, we apply our new results to derive some quenched functional CLTs under weak assumptions for a variety of stochastic processes.
△ Less
Submitted 27 May, 2024; v1 submitted 3 June, 2021;
originally announced June 2021.
-
Range decreasing group homomorphisms and holomorphic maps between generalized loop spaces
Authors:
Ning Zhang
Abstract:
Let $\mathcal{G}$ resp. $M$ be a positive dimensional Lie group resp. connected complex manifold without boundary and $V$ a finite dimensional $C^{\infty}$ compact connected manifold, possibly with boundary. Fix a smoothness class $\mathcal{F}=C^{\infty}$, Hölder $C^{k, α}$ or Sobolev $W^{k, p}$. The space $\mathcal{F}(V, \mathcal{G})$ resp. $\mathcal{F}(V, M)$ of all $\mathcal{F}$ maps…
▽ More
Let $\mathcal{G}$ resp. $M$ be a positive dimensional Lie group resp. connected complex manifold without boundary and $V$ a finite dimensional $C^{\infty}$ compact connected manifold, possibly with boundary. Fix a smoothness class $\mathcal{F}=C^{\infty}$, Hölder $C^{k, α}$ or Sobolev $W^{k, p}$. The space $\mathcal{F}(V, \mathcal{G})$ resp. $\mathcal{F}(V, M)$ of all $\mathcal{F}$ maps $V \to \mathcal{G}$ resp. $V \to M$ is a Banach/Fréchet Lie group resp. complex manifold. Let $\mathcal{F}^0(V, \mathcal{G})$ resp. $\mathcal{F}^{0}(V, M)$ be the component of $\mathcal{F}(V, \mathcal{G})$ resp. $\mathcal{F}(V, M)$ containing the identity resp. constants. A map $f$ from a domain $Ω\subset \mathcal{F}_1(V, M)$ to $\mathcal{F}_2(W, M)$ is called range decreasing if $f(x)(W) \subset x(V)$, $x \in Ω$. We prove that if $\dim_{\mathbb{R}} \mathcal{G} \ge 2$, then any range decreasing group homomorphism $f: \mathcal{F}_1^0(V, \mathcal{G}) \to \mathcal{F}_2(W, \mathcal{G})$ is the pullback by a map $φ: W \to V$. We also provide several sufficient conditions for a range decreasing holomorphic map $Ω$ $\to$ $\mathcal{F}_2(W, M)$ to be a pullback operator. Then we apply these results to study certain decomposition of holomorphic maps $\mathcal{F}_1(V, N) \supset Ω\to \mathcal{F}_2(W, M)$. In particular, we identify some classes of holomorphic maps $\mathcal{F}_1^{0}(V, \mathbb{P}^n) \to \mathcal{F}_2(W, \mathbb{P}^m)$, including all automorphisms of $\mathcal{F}^{0}(V, \mathbb{P}^n)$.
△ Less
Submitted 11 February, 2021;
originally announced February 2021.
-
Convex Floating Bodies of Equilibrium
Authors:
D. I. Florentin,
C. Schuett,
E. M. Werner,
N. Zhang
Abstract:
We study a long standing open problem by Ulam, which is whether the Euclidean ball is the unique body of uniform density which will float in equilibrium in any direction. We answer this problem in the class of origin symmetric n-dimensional convex bodies whose relative density to water is 1/2. For n=3, this result is due to Falconer.
We study a long standing open problem by Ulam, which is whether the Euclidean ball is the unique body of uniform density which will float in equilibrium in any direction. We answer this problem in the class of origin symmetric n-dimensional convex bodies whose relative density to water is 1/2. For n=3, this result is due to Falconer.
△ Less
Submitted 12 December, 2020; v1 submitted 18 October, 2020;
originally announced October 2020.
-
The weak convergence of varifolds generated by rectifiable flat G-chains
Authors:
Chunyan Liu,
Yangqin Fang,
Ning Zhang
Abstract:
In the present paper, we prove that the convergence of rectifiable chains in flat norm implies the weak convergence of associated rectifiable varifolds if the limit flat chain is rectifiable and the mass converges also to the mass of limit chain.
In the present paper, we prove that the convergence of rectifiable chains in flat norm implies the weak convergence of associated rectifiable varifolds if the limit flat chain is rectifiable and the mass converges also to the mass of limit chain.
△ Less
Submitted 21 May, 2021; v1 submitted 31 August, 2020;
originally announced August 2020.
-
Congruences of Eisenstein series of level $Γ_1(N)$ via Dieudonné theory of formal groups
Authors:
Ningchuan Zhang
Abstract:
In this paper, we first explain congruences of Eisenstein series of level $Γ_1(N)$ and character $χ$. Our approach is based on Katz's algebro-geometric explanation of $p$-adic congruences of normalized Eisenstein series $E_{2k}$ of level $1$. One crucial step in our argument is to reformulate a Riemann-Hilbert correspondence in Katz's explanation in terms of Dieudonné theory of height $1$ formal…
▽ More
In this paper, we first explain congruences of Eisenstein series of level $Γ_1(N)$ and character $χ$. Our approach is based on Katz's algebro-geometric explanation of $p$-adic congruences of normalized Eisenstein series $E_{2k}$ of level $1$. One crucial step in our argument is to reformulate a Riemann-Hilbert correspondence in Katz's explanation in terms of Dieudonné theory of height $1$ formal $A$-modules and their finite subgroup schemes.
We further connect congruences of modular forms in the Eisenstein subspace $\mathcal{E}_{k}(Γ_1(N),χ)$ with certain group cohomology involving the Dirichlet character $χ$. When $χ$ is trivial, this group cohomology computes the image of the $J$-homomorphism in the stable homotopy groups of spheres. We have therefore connected congruences of Eisenstein series $E_{2k}$ of level $1$ to the image of $J$.
△ Less
Submitted 26 June, 2020;
originally announced June 2020.
-
A dual based semismooth Newton method for a class of sparse Tikhonov regularization
Authors:
Ning Zhang
Abstract:
It is well known that Tikhonov regularization is one of the most commonly used methods for solving ill-posed problems. One of the most widely applied approaches is based on constructing a new dataset whose sample size is greater than the original one. The enlarged sample size may bring additional computational difficulties. In this paper, we aim to make full use of Tikhonov regularization and deve…
▽ More
It is well known that Tikhonov regularization is one of the most commonly used methods for solving ill-posed problems. One of the most widely applied approaches is based on constructing a new dataset whose sample size is greater than the original one. The enlarged sample size may bring additional computational difficulties. In this paper, we aim to make full use of Tikhonov regularization and develop a dual based semismooth Newton (DSSN) method without destroying the structure of dataset. From the point of view of theory, we will show that \blue{the DSSN method is a globally convergent method with at least R-superlinear rate of convergence.} In the numerical computation aspect, we evaluate the performance of the DSSN method by solving a class of sparse Tikhonov regularization with high-dimensional datasets.
△ Less
Submitted 10 December, 2020; v1 submitted 15 June, 2020;
originally announced June 2020.
-
When are multidegrees positive?
Authors:
Federico Castillo,
Yairon Cid-Ruiz,
Binglin Li,
Jonathan Montaño,
Naizhen Zhang
Abstract:
Let $k$ be an arbitrary field, $P = P_k^{m_1} \times_k \cdots \times_k P_k^{m_p}$ be a multiprojective space over $k$, and $X \subseteq P$ be a closed subscheme of $P$. We provide necessary and sufficient conditions for the positivity of the multidegrees of $X$. As a consequence of our methods, we show that when $X$ is irreducible, the support of multidegrees forms a discrete algebraic polymatroid…
▽ More
Let $k$ be an arbitrary field, $P = P_k^{m_1} \times_k \cdots \times_k P_k^{m_p}$ be a multiprojective space over $k$, and $X \subseteq P$ be a closed subscheme of $P$. We provide necessary and sufficient conditions for the positivity of the multidegrees of $X$. As a consequence of our methods, we show that when $X$ is irreducible, the support of multidegrees forms a discrete algebraic polymatroid. In algebraic terms, we characterize the positivity of the mixed multiplicities of a standard multigraded algebra over an Artinian local ring, and we apply this to the positivity of mixed multiplicities of ideals. Furthermore, we use our results to recover several results in the literature in the context of combinatorial algebraic geometry.
△ Less
Submitted 10 August, 2020; v1 submitted 15 May, 2020;
originally announced May 2020.
-
First-order algorithms for a class of fractional optimization problems
Authors:
Na Zhang,
Qia Li
Abstract:
We consider in this paper a class of single-ratio fractional minimization problems, in which the numerator part of the objective is the sum of a nonsmooth nonconvex function and a smooth nonconvex function while the denominator part is a nonsmooth convex function. In this work, we first derive its first-order necessary optimality condition, by using the first-order operators of the three functions…
▽ More
We consider in this paper a class of single-ratio fractional minimization problems, in which the numerator part of the objective is the sum of a nonsmooth nonconvex function and a smooth nonconvex function while the denominator part is a nonsmooth convex function. In this work, we first derive its first-order necessary optimality condition, by using the first-order operators of the three functions involved. Then we develop first-order algorithms, namely, the proximity-gradient-subgradient algorithm (PGSA), PGSA with monotone line search (PGSA_ML) and PGSA with nonmonotone line search (PGSA_NL). It is shown that any accumulation point of the sequence generated by them is a critical point of the problem under mild assumptions. Moreover, we establish global convergence of the sequence generated by PGSA or PGSA_ML and analyze its convergence rate, by further assuming the local Lipschitz continuity of the nonsmooth function in the numerator part, the smoothness of the denominator part and the Kurdyka- Lojasiewicz property of the objective. The proposed algorithms are applied to the sparse generalized eigenvalue problem associated with a pair of symmetric positive semidefinite matrices and the corresponding convergence results are obtained according to their general convergence theorems. We perform some preliminary numerical experiments to demonstrate the efficiency of the proposed algorithms
△ Less
Submitted 22 December, 2020; v1 submitted 13 May, 2020;
originally announced May 2020.
-
Riemann-Hilbert problem associated with the fourth-order dispersive nonlinear Schrödinger equation in optics and magnetic mechanics
Authors:
Beibei Hu,
Ling Zhang,
Qinghong Li,
Ning Zhang
Abstract:
In this paper, we utilize Fokas method to investigate the initial-boundary value problems (IBVPs) of the fourth-order dispersive nonlinear Schrödinger (FODNLS) equation on the half-line, which can simulate the nonlinear transmission and interaction of ultrashort pulses in the high-speed optical fiber transmission system, and describe the nonlinear spin excitation phenomenon of one-dimensional Heis…
▽ More
In this paper, we utilize Fokas method to investigate the initial-boundary value problems (IBVPs) of the fourth-order dispersive nonlinear Schrödinger (FODNLS) equation on the half-line, which can simulate the nonlinear transmission and interaction of ultrashort pulses in the high-speed optical fiber transmission system, and describe the nonlinear spin excitation phenomenon of one-dimensional Heisenberg ferromagnetic chain with eight poles and dipole interaction. By discussing the eigenfunctions of Lax pair of FODNLS equation and the analysis and symmetry of the scattering matrix, the IBVPs of FODNLS equation is expressed as a matrix Riemann-Hilbert (RH) problem form. Then one can get the potential function solution $u(x,t)$ of the FODNLS equation by solving this matrix RH problem. In addition, we also obtained that some spectral functions admits a key global relationship.
△ Less
Submitted 18 January, 2021; v1 submitted 30 March, 2020;
originally announced March 2020.
-
Analogs of Dirichlet $L$-functions in chromatic homotopy theory
Authors:
Ningchuan Zhang
Abstract:
The relation between Eisenstein series and the $J$-homomorphism is an important topic in chromatic homotopy theory at height $1$. Both sides are related to the special values of the Riemann $ζ$-function. Number theorists have studied the twistings of the Riemann $ζ$-functions and Eisenstein series by Dirichlet characters.
Motivated by the Dirichlet equivariance of these Eisenstein series, we int…
▽ More
The relation between Eisenstein series and the $J$-homomorphism is an important topic in chromatic homotopy theory at height $1$. Both sides are related to the special values of the Riemann $ζ$-function. Number theorists have studied the twistings of the Riemann $ζ$-functions and Eisenstein series by Dirichlet characters.
Motivated by the Dirichlet equivariance of these Eisenstein series, we introduce the Dirichlet $J$-spectra in this paper. The homotopy groups of the Dirichlet $J$-spectra are related to the special values of the Dirichlet $L$-functions. Moreover, we find Brown-Comenetz duals of the Dirichlet $J$-spectra, whose formulas resemble functional equations of the corresponding Dirichlet $L$-functions. In this sense, the Dirichlet $J$-spectra we constructed are analogs of Dirichlet $L$-functions in chromatic homotopy theory.
△ Less
Submitted 2 February, 2022; v1 submitted 31 October, 2019;
originally announced October 2019.
-
Conditional variable screening via ordinary least squares projection
Authors:
Ning Zhang,
Wenxin Jiang,
Yuting Lan
Abstract:
In this article, we propose a novel variable screening method for linear models named as conditional screening via ordinary least squares projection (COLP). COLP can take advantage of prior knowledge concerning certain active predictors by eliminating the adverse impact of their coefficients in the estimation of remaining ones and thus significantly enhance the screening accuracy. We prove its sur…
▽ More
In this article, we propose a novel variable screening method for linear models named as conditional screening via ordinary least squares projection (COLP). COLP can take advantage of prior knowledge concerning certain active predictors by eliminating the adverse impact of their coefficients in the estimation of remaining ones and thus significantly enhance the screening accuracy. We prove its sure-screening property under reasonable assumptions and demonstrate its utility in an application to a leukemia dataset. Moreover, based on the conditional approach, we introduce an iterative algorithm named as forward screening via ordinary least squares projection (FOLP), which not only could exploit the prior information more effectively, but also has promising performance when no prior knowledge is available using a data-driven conditioning set. Extensive simulation studies are carried out to demonstrate the competence of both proposed methods.
△ Less
Submitted 3 February, 2020; v1 submitted 24 October, 2019;
originally announced October 2019.
-
Degenerations of Grassmannians via lattice configurations
Authors:
Xiang He,
Naizhen Zhang
Abstract:
We study degenerations of Grassmannians constructed using convex lattice configurations in Bruhat-Tits buildings. Using techniques from quiver representations, we analyze their special fibers, which are explicitly described as quiver Grassmannians. For a class of lattice configurations, called the locally linearly independent configurations, we show that our construction coincide with Mustafin deg…
▽ More
We study degenerations of Grassmannians constructed using convex lattice configurations in Bruhat-Tits buildings. Using techniques from quiver representations, we analyze their special fibers, which are explicitly described as quiver Grassmannians. For a class of lattice configurations, called the locally linearly independent configurations, we show that our construction coincide with Mustafin degenerations, thus generalizing a result of Faltings. In such cases, our analysis of special fibers also generalizes results of Cartwright et al. As an application, we prove a smoothing criterion for limit linear series on arbitrary reducible nodal curves.
△ Less
Submitted 3 September, 2021; v1 submitted 17 October, 2019;
originally announced October 2019.
-
Distributed-Memory Tensor Completion for Generalized Loss Functions in Python using New Sparse Tensor Kernels
Authors:
Navjot Singh,
Zecheng Zhang,
Xiaoxiao Wu,
Nai**g Zhang,
Siyuan Zhang,
Edgar Solomonik
Abstract:
Tensor computations are increasingly prevalent numerical techniques in data science, but pose unique challenges for high-performance implementation. We provide novel algorithms and systems infrastructure which enable efficient parallel implementation of algorithms for tensor completion with generalized loss functions. Specifically, we consider alternating minimization, coordinate minimization, and…
▽ More
Tensor computations are increasingly prevalent numerical techniques in data science, but pose unique challenges for high-performance implementation. We provide novel algorithms and systems infrastructure which enable efficient parallel implementation of algorithms for tensor completion with generalized loss functions. Specifically, we consider alternating minimization, coordinate minimization, and a quasi-Newton (generalized Gauss-Newton) method. By extending the Cyclops library, we implement all of these methods in high-level Python syntax. To make possible tensor completion for very sparse tensors, we introduce new multi-tensor primitives, for which we provide specialized parallel implementations. We compare these routines to pairwise contraction of sparse tensors by reduction to hypersparse matrix formats, and find that the multi-tensor routines are more efficient in theoretical cost and execution time in experiments. We provide microbenchmarking results on the Stampede2 supercomputer to demonstrate the efficiency of the new primitives and Cyclops functionality. We then study the performance of the tensor completion methods for a synthetic tensor with 10 billion nonzeros and the Netflix dataset, considering both least squares and Poisson loss functions.
△ Less
Submitted 24 May, 2021; v1 submitted 6 October, 2019;
originally announced October 2019.
-
A Parallel Augmented Subspace Method for Eigenvalue Problems
Authors:
Fei Xu,
Hehu Xie,
Ning Zhang
Abstract:
A type of parallel augmented subspace scheme for eigenvalue problems is proposed by using coarse space in the multigrid method. With the help of coarse space in multigrid method, solving the eigenvalue problem in the finest space is decomposed into solving the standard linear boundary value problems and very low dimensional eigenvalue problems. The computational efficiency can be improved since th…
▽ More
A type of parallel augmented subspace scheme for eigenvalue problems is proposed by using coarse space in the multigrid method. With the help of coarse space in multigrid method, solving the eigenvalue problem in the finest space is decomposed into solving the standard linear boundary value problems and very low dimensional eigenvalue problems. The computational efficiency can be improved since there is no direct eigenvalue solving in the finest space and the multigrid method can act as the solver for the deduced linear boundary value problems. Furthermore, for different eigenvalues, the corresponding boundary value problem and low dimensional eigenvalue problem can be solved in the parallel way since they are independent of each other and there exists no data exchanging. This property means that we do not need to do the orthogonalization in the highest dimensional spaces. This is the main aim of this paper since avoiding orthogonalization can improve the scalability of the proposed numerical method. Some numerical examples are provided to validate the proposed parallel augmented subspace method.
△ Less
Submitted 17 August, 2020; v1 submitted 27 August, 2019;
originally announced August 2019.
-
The Strong Maximal Rank Conjecture and higher rank Brill--Noether theory
Authors:
Ethan Cotterill,
Adrián Alonso Gonzalo,
Naizhen Zhang
Abstract:
In this paper, we compute the cohomology class of certain "special maximal-rank loci" originally defined by Aprodu and Farkas. By showing that such classes are nonzero, we are able to verify the non-emptiness portion of the Strong Maximal Rank Conjecture in a wide range of cases. As an application, we obtain new evidence for the existence portion of a well-known conjecture due to Bertram, Feinberg…
▽ More
In this paper, we compute the cohomology class of certain "special maximal-rank loci" originally defined by Aprodu and Farkas. By showing that such classes are nonzero, we are able to verify the non-emptiness portion of the Strong Maximal Rank Conjecture in a wide range of cases. As an application, we obtain new evidence for the existence portion of a well-known conjecture due to Bertram, Feinberg and independently Mukai in higher-rank Brill--Noether theory.
△ Less
Submitted 17 December, 2020; v1 submitted 18 June, 2019;
originally announced June 2019.
-
A Proximal Point Dual Newton Algorithm for Solving Group Graphical Lasso Problems
Authors:
Yang**g Zhang,
Ning Zhang,
Defeng Sun,
Kim-Chuan Toh
Abstract:
Undirected graphical models have been especially popular for learning the conditional independence structure among a large number of variables where the observations are drawn independently and identically from the same distribution. However, many modern statistical problems would involve categorical data or time-varying data, which might follow different but related underlying distributions. In o…
▽ More
Undirected graphical models have been especially popular for learning the conditional independence structure among a large number of variables where the observations are drawn independently and identically from the same distribution. However, many modern statistical problems would involve categorical data or time-varying data, which might follow different but related underlying distributions. In order to learn a collection of related graphical models simultaneously, various joint graphical models inducing sparsity in graphs and similarity across graphs have been proposed. In this paper, we aim to propose an implementable proximal point dual Newton algorithm (PPDNA) for solving the group graphical Lasso model, which encourages a shared pattern of sparsity across graphs. Though the group graphical Lasso regularizer is non-polyhedral, the asymptotic superlinear convergence of our proposed method PPDNA can be obtained by leveraging on the local Lipschitz continuity of the Karush-Kuhn-Tucker solution map** associated with the group graphical Lasso model. A variety of numerical experiments on real data sets illustrates that the PPDNA for solving the group graphical Lasso model can be highly efficient and robust.
△ Less
Submitted 17 August, 2020; v1 submitted 11 June, 2019;
originally announced June 2019.
-
Matrix Modeling of Energy Hub with Variable Energy Efficiencies
Authors:
Wu**g Huang,
Ning Zhang,
Yi Wang,
Tomislav Capuder,
Igor Kuzle,
Chongqing Kang
Abstract:
The modeling of multi-energy systems (MES) is the basic task of analyzing energy systems integration. The variable energy efficiencies of the energy conversion and storage components in MES introduce nonlinearity to the model and thus complicate the analysis and optimization of MES. In this paper, we propose a standardized matrix modeling approach to automatically model MES with variable energy ef…
▽ More
The modeling of multi-energy systems (MES) is the basic task of analyzing energy systems integration. The variable energy efficiencies of the energy conversion and storage components in MES introduce nonlinearity to the model and thus complicate the analysis and optimization of MES. In this paper, we propose a standardized matrix modeling approach to automatically model MES with variable energy efficiencies based on the energy hub (EH) modeling framework. We use piecewise linearization to approximate the variable energy efficiencies; as a result, a component with variable efficiency is equivalent to several parallel components with constant efficiencies. The nonlinear energy conversion and storage relationship in EH can thus be further modeled under a linear modeling framework using matrices. Such matrix modeling approach makes the modeling of an arbitrary EH with nonlinear energy components highly automated by computers. The proposed modeling approach can further facilitate the operation and planning optimization of EH with variable efficiencies. Case studies are presented to show how the nonlinear approximation accuracy and calculation efficiency can be balanced using the proposed model in the optimal operation of EH.
△ Less
Submitted 11 April, 2019;
originally announced April 2019.
-
An Efficient Linearly Convergent Regularized Proximal Point Algorithm for Fused Multiple Graphical Lasso Problems
Authors:
Ning Zhang,
Yang**g Zhang,
Defeng Sun,
Kim-Chuan Toh
Abstract:
Nowadays, analysing data from different classes or over a temporal grid has attracted a great deal of interest. As a result, various multiple graphical models for learning a collection of graphical models simultaneously have been derived by introducing sparsity in graphs and similarity across multiple graphs. This paper focuses on the fused multiple graphical Lasso model which encourages not only…
▽ More
Nowadays, analysing data from different classes or over a temporal grid has attracted a great deal of interest. As a result, various multiple graphical models for learning a collection of graphical models simultaneously have been derived by introducing sparsity in graphs and similarity across multiple graphs. This paper focuses on the fused multiple graphical Lasso model which encourages not only shared pattern of sparsity, but also shared values of edges across different graphs. For solving this model, we develop an efficient regularized proximal point algorithm, where the subproblem in each iteration of the algorithm is solved by a superlinearly convergent semismooth Newton method. To implement the semismooth Newton method, we derive an explicit expression for the generalized Jacobian of the proximal map** of the fused multiple graphical Lasso regularizer. Unlike those widely used first order methods, our approach has heavily exploited the underlying second order information through the semismooth Newton method. This can not only accelerate the convergence of the algorithm, but also improve its robustness. The efficiency and robustness of our proposed algorithm are demonstrated by comparing with some state-of-the-art methods on both synthetic and real data sets. Supplementary materials for this article are available online.
△ Less
Submitted 19 February, 2019;
originally announced February 2019.
-
Secant planes of a general curve via degenerations
Authors:
Ethan Cotterill,
Xiang He,
Naizhen Zhang
Abstract:
We study linear series on a general curve of genus g, whose images are exceptional with respect to their secant planes. Each such exceptional secant plane is algebraically encoded by an included linear series, whose number of base points computes the incidence degree of the corresponding secant plane. With enumerative applications in mind, we construct a moduli scheme of inclusions of limit linear…
▽ More
We study linear series on a general curve of genus g, whose images are exceptional with respect to their secant planes. Each such exceptional secant plane is algebraically encoded by an included linear series, whose number of base points computes the incidence degree of the corresponding secant plane. With enumerative applications in mind, we construct a moduli scheme of inclusions of limit linear series with base points over families of nodal curves of compact type, which we then use to compute combinatorial formulas for the number of secant-exceptional linear series when the spaces of linear series and of inclusions are finite.
△ Less
Submitted 29 June, 2020; v1 submitted 18 January, 2019;
originally announced January 2019.
-
A Unified Algorithmic Framework of Symmetric Gauss-Seidel Decomposition based Proximal ADMMs for Convex Composite Programming
Authors:
Liang Chen,
Defeng Sun,
Kim-Chuan Toh,
Ning Zhang
Abstract:
This paper aims to present a fairly accessible generalization of several symmetric Gauss-Seidel decomposition based multi-block proximal alternating direction methods of multipliers (ADMMs) for convex composite optimization problems. The proposed method unifies and refines many constructive techniques that were separately developed for the computational efficiency of multi-block ADMM-type algorith…
▽ More
This paper aims to present a fairly accessible generalization of several symmetric Gauss-Seidel decomposition based multi-block proximal alternating direction methods of multipliers (ADMMs) for convex composite optimization problems. The proposed method unifies and refines many constructive techniques that were separately developed for the computational efficiency of multi-block ADMM-type algorithms. Specifically, the majorized augmented Lagrangian functions, the indefinite proximal terms, the inexact symmetric Gauss-Seidel decomposition theorem, the tolerance criteria of approximately solving the subproblems, and the large dual step-lengths, are all incorporated in one algorithmic framework, which we named as sGS-imiPADMM. From the popularity of convergent variants of multi-block ADMMs in recent years, especially for high-dimensional multi-block convex composite conic programming problems, the unification presented in this paper, as well as the corresponding convergence results, may have the great potential of facilitating the implementation of many multi-block ADMMs in various problem settings.
△ Less
Submitted 4 April, 2019; v1 submitted 16 December, 2018;
originally announced December 2018.
-
On the sure screening properties of iteratively sure independence screening algorithms
Authors:
Ning Zhang,
Wenxin Jiang,
Yuting Lan
Abstract:
Fan and Lv (2008) proposed the path-breaking theory of sure independence screening (SIS) and an iterative algorithm (ISIS) to effectively reduce the predictor dimension for further variable selection approaches. Fan et al. (2009) extended ISIS to generalized linear models and introduced the Vanilla ISIS (Van-ISIS) algorithm, allowing selected predictors to be screened out in upcoming iterations. T…
▽ More
Fan and Lv (2008) proposed the path-breaking theory of sure independence screening (SIS) and an iterative algorithm (ISIS) to effectively reduce the predictor dimension for further variable selection approaches. Fan et al. (2009) extended ISIS to generalized linear models and introduced the Vanilla ISIS (Van-ISIS) algorithm, allowing selected predictors to be screened out in upcoming iterations. The success of SIS depends on its sure screening property, which was obtained by Fan and Lv (2008) under the marginal correlation assumption. However, despite wide applications of ISIS and Van-ISIS in various scientific fields, their sure screening properties have not been proved during the past decade. To fill this gap, we prove the sure screening properties of three different types of iterative algorithms for linear models without relying on the marginal correlation assumption, where ISIS and Van-ISIS can be regarded as two special cases of them.
△ Less
Submitted 17 November, 2019; v1 submitted 4 December, 2018;
originally announced December 2018.
-
Planning Low-Carbon Campus Energy Hubs
Authors:
Daniel J. Olsen,
Ning Zhang,
Chongqing Kang,
Miguel A. Ortega-Vazquez,
Daniel S. Kirschen
Abstract:
Multi-energy systems can provide a constant level of service to end-use energy demands, while deriving delivered energy from a variety of primary/secondary energy sources. This fuel-switching capability can be used to reduce operating expenses, reduce environmental impacts, improve flexibility to accommodate renewable energy, and improve reliability.
This paper presents four frameworks for incen…
▽ More
Multi-energy systems can provide a constant level of service to end-use energy demands, while deriving delivered energy from a variety of primary/secondary energy sources. This fuel-switching capability can be used to reduce operating expenses, reduce environmental impacts, improve flexibility to accommodate renewable energy, and improve reliability.
This paper presents four frameworks for incentivizing energy hub equipment investments for low-carbon operation targets. These frameworks vary in the measures taken to achieve low-carbon operation (explicit constraint vs. carbon pricing) and in the relationship between the hub builder and operator (cooperative vs. uncoordinated). The underlying energy hub model upon which these frameworks are built is an enhanced greenfield model, introducing 'energy buses' to reduce dimensionality.
A case study is conducted for a campus being designed in Bei**g, and results from each framework are compared to illustrate their relative costs. When the operator cannot be trusted to cooperate in controlling emissions, the system must be 'overbuilt' with more expensive equipment to ensure emissions target are met. A taxation-based approach increases overall costs at moderate emissions targets, but this effect decreases at aggressive targets. This paper also compares the cost of less efficient institutional frameworks with the most efficient approach, i.e. cooperation between builder and operator with constraints on emissions.
△ Less
Submitted 6 November, 2018;
originally announced November 2018.
-
The Novel Symmetry Constraint and Binary Nonlinearization of the Super Generalized Broer-Kaup Hierarchy with Self-consistent Sources and Conservation Laws
Authors:
Beibei Hu,
Fang Fang,
Ning Zhang
Abstract:
The super generalized Broer-Kaup(gBK) hierarchy and its super Hamiltonian structure are established based on a loop super Lie algebra and super-trace identity. Then the self-consistent sources, the conservation laws, the novel symmetry constraint and the binary nonlinearization of the super gBK hierarchy are generated, respectively. In addition, the integrals of motion required for Liouville integ…
▽ More
The super generalized Broer-Kaup(gBK) hierarchy and its super Hamiltonian structure are established based on a loop super Lie algebra and super-trace identity. Then the self-consistent sources, the conservation laws, the novel symmetry constraint and the binary nonlinearization of the super gBK hierarchy are generated, respectively. In addition, the integrals of motion required for Liouville integrability are explicitly given.
△ Less
Submitted 18 October, 2018;
originally announced October 2018.
-
Riemann-Hilbert approach for a mixed coupled nonlinear Schrödinger system and its soliton solutions
Authors:
Fang Fang,
Beibei Hu,
Ling Zhang,
Ning Zhang
Abstract:
In this work, we examine the integrable mixed coupled nonlinear Schrödinger (mCNLS) system, which describe the propagation of an optical pulse in a birefringent optical fiber. By the Riemann-Hilbert(RH) approach, the N-soliton solutions of the mCNLS system can be expressed explicitly when the jump matrix of a specific RH problem is a $3\times3$ unit matrix. As a special example, the expression of…
▽ More
In this work, we examine the integrable mixed coupled nonlinear Schrödinger (mCNLS) system, which describe the propagation of an optical pulse in a birefringent optical fiber. By the Riemann-Hilbert(RH) approach, the N-soliton solutions of the mCNLS system can be expressed explicitly when the jump matrix of a specific RH problem is a $3\times3$ unit matrix. As a special example, the expression of one- and two-soliton are displayed explicitly. More generally, as a promotion, an integrable generalized multi-component NLS system with its linear spectral problem be discussed. It is hoped that our results can help enrich the nonlinear dynamical behaviors of the mCNLS.
△ Less
Submitted 21 September, 2018;
originally announced September 2018.
-
On the quenched CLT for stationary random fields under projective criteria
Authors:
Na Zhang,
Lucas Reding,
Magda Peligrad
Abstract:
Motivated by random evolutions which do not start from equilibrium, in a recent work, Peligrad and Volný (2018) showed that the quenched CLT (central limit theorem) holds for ortho-martingale random fields. In this paper, we study the quenched CLT for a class of random fields larger than the ortho-martingales. To get the results, we impose sufficient conditions in terms of projective criteria unde…
▽ More
Motivated by random evolutions which do not start from equilibrium, in a recent work, Peligrad and Volný (2018) showed that the quenched CLT (central limit theorem) holds for ortho-martingale random fields. In this paper, we study the quenched CLT for a class of random fields larger than the ortho-martingales. To get the results, we impose sufficient conditions in terms of projective criteria under which the partial sums of a stationary random field admit an ortho-martingale approximation. More precisely, the sufficient conditions are of the Hannan's projective type. As applications, we establish quenched CLT's for linear and nonlinear random fields with independent innovations.
△ Less
Submitted 10 September, 2019; v1 submitted 23 September, 2018;
originally announced September 2018.