-
A High-Order Hybrid-Spectral Incompressible Navier-Stokes Model For Nonlinear Water Waves
Authors:
Anders Melander,
Max E. Bitsch,
Dong Chen,
Allan P. Engsig-Karup
Abstract:
We present a new high-order accurate computational fluid dynamics model based on the incompressible Navier-Stokes equations with a free surface for the accurate simulation of nonlinear and dispersive water waves in the time domain. The spatial discretization is based on Chebyshev polynomials in the vertical direction and a Fourier basis in the horizontal direction, allowing for the use of the fast…
▽ More
We present a new high-order accurate computational fluid dynamics model based on the incompressible Navier-Stokes equations with a free surface for the accurate simulation of nonlinear and dispersive water waves in the time domain. The spatial discretization is based on Chebyshev polynomials in the vertical direction and a Fourier basis in the horizontal direction, allowing for the use of the fast Chebyshev and Fourier transforms for the efficient computation of spatial derivatives. The temporal discretization is done through a generalized low-storage explicit 4th order Runge-Kutta, and for the scheme to conserve mass and achieve high-order accuracy, a velocity-pressure coupling needs to be satisfied at all Runge-Kutta stages. This result in the emergence of a Poisson pressure problem that constitute a geometric conservation law for mass conservation. The occurring Poisson problem is proposed to be solved efficiently via an accelerated iterative solver based on a geometric $p$-multigrid scheme, which takes advantage of the high-order polynomial basis in the spatial discretization and hence distinguishes itself from conventional low-order numerical schemes. We present numerical experiments for validation of the scheme in the context of numerical wave tanks demonstrating that the $p$-multigrid accelerated numerical scheme can effectively solve the Poisson problem that constitute the computational bottleneck, that the model can achieve the desired spectral convergence, and is capable of simulating wave-propagation over non-flat bottoms with excellent agreement in comparison to experimental results.
△ Less
Submitted 5 June, 2024; v1 submitted 3 June, 2024;
originally announced June 2024.
-
Gorenstein contractions of multiscale differentials
Authors:
Dawei Chen,
Qile Chen
Abstract:
Multiscale differentials arise as limits of holomorphic differentials with prescribed orders of zeros on nodal curves. In this paper, we address the conjecture concerning Gorenstein contractions of multiscale differentials, initially proposed by Ranganathan and Wise and further elaborated upon by Battistella and Bozlee. Specifically, we show that multiscale differentials can be contracted into Gor…
▽ More
Multiscale differentials arise as limits of holomorphic differentials with prescribed orders of zeros on nodal curves. In this paper, we address the conjecture concerning Gorenstein contractions of multiscale differentials, initially proposed by Ranganathan and Wise and further elaborated upon by Battistella and Bozlee. Specifically, we show that multiscale differentials can be contracted into Gorenstein singularities level by level from the top down. At each level, these differentials can descend to become generators of the dualizing bundle at the singularities. Additionally, the global residue condition, which governs the smoothability of multiscale differentials, is a special case of the residue condition for descent differentials.
△ Less
Submitted 30 May, 2024;
originally announced May 2024.
-
Persistent interaction topology in data analysis
Authors:
Jian Liu,
Dong Chen,
Guo-Wei Wei
Abstract:
Topological data analysis, as a tool for extracting topological features and characterizing geometric shapes, has experienced significant development across diverse fields. Its key mathematical techniques include persistent homology and the recently developed persistent Laplacians. However, classic mathematical models like simplicial complexes often struggle to provide a localized topological desc…
▽ More
Topological data analysis, as a tool for extracting topological features and characterizing geometric shapes, has experienced significant development across diverse fields. Its key mathematical techniques include persistent homology and the recently developed persistent Laplacians. However, classic mathematical models like simplicial complexes often struggle to provide a localized topological description for interactions or individual elements within a complex system involving a specific set of elements. In this work, we introduce persistent interaction homology and persistent interaction Laplacian that emphasize individual interacting elements in the system. We demonstrate the stability of persistent interaction homology as a persistent module. Furthermore, for a finite discrete set of points in the Euclidean space, we provide the construction of persistent interaction Vietoris-Rips complexes and compute their interaction homology and interaction Laplacians. The proposed methods hold significant promise for analyzing heterogeneously interactive data and emphasizing specific elements in data. Their utility for data science is demonstrated with applications to molecules.
△ Less
Submitted 17 April, 2024;
originally announced April 2024.
-
Alternative Proof of the Determinant of Complete Non-Ambiguous Trees
Authors:
Daniel Chen
Abstract:
Complete non-ambiguous trees have been studied in various contexts. Recently, a conjecture was made about their determinants, and subsequently proved by Aval. An alternative proof is given here.
Complete non-ambiguous trees have been studied in various contexts. Recently, a conjecture was made about their determinants, and subsequently proved by Aval. An alternative proof is given here.
△ Less
Submitted 5 April, 2024;
originally announced April 2024.
-
Interaction homotopy and interaction homology
Authors:
Jian Liu,
Dong Chen,
Guo-Wei Wei
Abstract:
Interactions in complex systems are widely observed across various fields, drawing increased attention from researchers. In mathematics, efforts are made to develop various theories and methods for studying the interactions between spaces. In this work, we present an algebraic topology framework to explore interactions between spaces. We introduce the concept of interaction spaces and investigate…
▽ More
Interactions in complex systems are widely observed across various fields, drawing increased attention from researchers. In mathematics, efforts are made to develop various theories and methods for studying the interactions between spaces. In this work, we present an algebraic topology framework to explore interactions between spaces. We introduce the concept of interaction spaces and investigate their homotopy, singular homology, and simplicial homology. Furthermore, we demonstrate that interaction singular homology serves as an invariant under interaction homotopy. We believe that the proposed framework holds potential for practical applications.
△ Less
Submitted 27 November, 2023;
originally announced November 2023.
-
On the Structure of Permutation Invariant Parking
Authors:
Douglas M. Chen
Abstract:
We continue the study of parking assortments, a generalization of parking functions introduced by Chen, Harris, Martínez, Pabón-Cancel, and Sargent. Given $n$ cars of lengths $\mathbf{y}=(y_1,y_2,\dots,y_n) \in \mathbb{N}^n$, we focus on the sets $\mathsf{PA}^{\mathrm{inv}}_n(\mathbf{y})$ and $\mathsf{PA}^{\mathrm{inv},\uparrow}_n(\mathbf{y})$ of permutation invariant (resp. nondecreasing) parking…
▽ More
We continue the study of parking assortments, a generalization of parking functions introduced by Chen, Harris, Martínez, Pabón-Cancel, and Sargent. Given $n$ cars of lengths $\mathbf{y}=(y_1,y_2,\dots,y_n) \in \mathbb{N}^n$, we focus on the sets $\mathsf{PA}^{\mathrm{inv}}_n(\mathbf{y})$ and $\mathsf{PA}^{\mathrm{inv},\uparrow}_n(\mathbf{y})$ of permutation invariant (resp. nondecreasing) parking assortments for $\mathbf{y}$. For $\mathbf{x} \in \mathsf{PA}^{\mathrm{inv}}_n(\mathbf{y})$, we introduce the degree of $\mathbf{x}$, the number of non-$1$ entries of $\mathbf{x}$, and the characteristic $χ(\mathbf{y})$ of $\mathbf{y}$, the greatest degree of $\mathbf{z} \in \mathsf{PA}^{\mathrm{inv}}_n(\mathbf{y})$. We establish direct necessary conditions for $\mathbf{y}$ with $χ(\mathbf{y})=0$ and a characterization for $\mathbf{y}$ with $χ(\mathbf{y})=n-1$. For the latter, we derive a closed form for its invariant parking set and enumerate its size using properties of the Pitman-Stanley polytope. Next, we prove closure and embedding properties of the invariant parking set. We apply these results to study the degree as a function and the characteristic under sequences of successive prefix length vectors. We then examine the invariant solution set $\mathcal{W}(\mathbf{y})=\{ w \in \mathbb{N}:(1^{n-1},w) \in \mathsf{PA}^{\mathrm{inv}}_n(\mathbf{y}) \}$. We obtain tight upper bounds of this set and prove that its size is at most $2^{n-1}$, providing constraints on the subsequence sums of $\mathbf{y}$ for equality to hold. Finally, we show that if $\mathbf{x} \in \mathsf{PA}^{\mathrm{inv},\uparrow}_n(\mathbf{y})$, then $\mathbf{x} \in \{ 1 \}^{n-χ(\mathbf{y})} \times \mathcal{W}(\mathbf{y})^{χ(\mathbf{y})}$, which implies a new upper bound on $|\mathsf{PA}^{\mathrm{inv},\uparrow}_n(\mathbf{y})|$. Our results generalize several theorems by Chen et al.
△ Less
Submitted 27 November, 2023;
originally announced November 2023.
-
Lattice Path Delta Matroids
Authors:
Douglas M. Chen,
Mario Sanchez,
John Veliz,
Zhiyan Ying
Abstract:
We initiate the study of a type $C_n$ generalization of the lattice path matroids defined by Bonin, de Mier, and Noy. These are delta matroids whose feasible sets are in bijection with lattice paths which are symmetric along the main diagonal. We describe deletion, contraction, envelo** matroids, and the homogeneous components of these delta matroids in terms of the combinatorics of symmetric la…
▽ More
We initiate the study of a type $C_n$ generalization of the lattice path matroids defined by Bonin, de Mier, and Noy. These are delta matroids whose feasible sets are in bijection with lattice paths which are symmetric along the main diagonal. We describe deletion, contraction, envelo** matroids, and the homogeneous components of these delta matroids in terms of the combinatorics of symmetric lattice paths.
In the second half, we study the convex geometry of the feasible polytopes of lattice path delta matroids. We show that these polytopes decompose into the feasible polytope of special lattice paths corresponding to intervals in the type $C_n$ Gale order whose related Richardson variety is a toric variety. Further, these special polytopes inherit a unimodular triangulation from Stanley's Eulerian triangulation of the hypercube. As a consequence, the volume of these polytopes is the proportion of permutations with specific ascent sets.
△ Less
Submitted 26 November, 2023;
originally announced November 2023.
-
A note on rational band moves
Authors:
Daren Chen,
Jennifer Hom,
Min Hoon Kim,
JungHwan Park,
Zhongtao Wu
Abstract:
We introduce an oriented rational band move, a generalization of an ordinary oriented band move, and show that if a knot $K$ in the three-sphere can be made into the $(n+1)$-component unlink by $n$ oriented rational band moves, then $K$ is rationally slice.
We introduce an oriented rational band move, a generalization of an ordinary oriented band move, and show that if a knot $K$ in the three-sphere can be made into the $(n+1)$-component unlink by $n$ oriented rational band moves, then $K$ is rationally slice.
△ Less
Submitted 19 November, 2023;
originally announced November 2023.
-
Some characterizations of $ω$-balanced topological groups with a $q$-point
Authors:
Deng-Bin Chen,
Hai-Hua Lin,
Li-Hong Xie
Abstract:
In this paper, we study some characterizations of $q$-spaces, strict $q$-spaces and strong $q$-spaces under $ω$-balanced topological groups as follows:
(1) A topological group $G$ is $ω$-balanced and a $q$-space if and only if for each open neighborhood $O$ of the identity in $G$, there is a countably compact invariant subgroup $H$ which is of countable character in $G$, such that…
▽ More
In this paper, we study some characterizations of $q$-spaces, strict $q$-spaces and strong $q$-spaces under $ω$-balanced topological groups as follows:
(1) A topological group $G$ is $ω$-balanced and a $q$-space if and only if for each open neighborhood $O$ of the identity in $G$, there is a countably compact invariant subgroup $H$ which is of countable character in $G$, such that $H \subseteq O$ and the canonical quotient map** $p:G\rightarrow G/H$ is quasi-perfect and the quotient group $G/H$ is metrizable.
(2) A topological group $G$ is $ω$-balanced and a strict $q$-space if and only if for each open neighborhood $O$ of the identity in $G$, there is a closed sequentially compact invariant subgroup $H$ which is of countable character in $G$, such that $H \subseteq O$ and the canonical quotient map** $p:G\rightarrow G/H$ is sequential-perfect and the quotient group $G/H$ is metrizable.
(3) A topological group $G$ is $ω$-balanced and a strong $q$-space if and only if for each open neighborhood $O$ of the identity in $G$, there is a closed sequentially compact invariant subgroup $H$ of countable character $\{V_{n}:n\in ω\} $, such that $H \subseteq O$ and $\{V_{n}:n\inω\}$ is a strong $q$-sequence at each $ y\in H $, in $G$ such that the canonical quotient map** $p:G\rightarrow G/H$ is strongly sequential-perfect and the quotient group $G/H$ is metrizable.
△ Less
Submitted 1 November, 2023;
originally announced November 2023.
-
Paley-Wiener Theorem for Probabilistic Frames
Authors:
Dongwei Chen
Abstract:
The Paley-Wiener Theorem is a classical result about the stability of basis in Banach spaces claiming that if a sequence is close to a basis, then this sequence is a basis. Similar results are also extended to frames in Hilbert spaces. As the extension of finite frames for $\mathbb{R}^d$, probabilistic frames are probability measures on $\mathbb{R}^d$ with finite second moments and the support of…
▽ More
The Paley-Wiener Theorem is a classical result about the stability of basis in Banach spaces claiming that if a sequence is close to a basis, then this sequence is a basis. Similar results are also extended to frames in Hilbert spaces. As the extension of finite frames for $\mathbb{R}^d$, probabilistic frames are probability measures on $\mathbb{R}^d$ with finite second moments and the support of which span $\mathbb{R}^d$. This paper generalizes the Paley-Wiener theorem to the probabilistic frame setting. We claim that if a probability measure is close to a probabilistic frame, then this probability measure is also a probabilistic frame.
△ Less
Submitted 26 October, 2023;
originally announced October 2023.
-
Computing Geodesic Paths Encoding a Curvature Prior
Authors:
Da Chen,
Jean-Marie Mirebeau,
Minglei Shu,
Laurent D. Cohen
Abstract:
In this paper, we introduce an efficient method for computing curves minimizing a variant of the Euler-Mumford elastica energy, with fixed endpoints and tangents at these endpoints, where the bending energy is enhanced with a user defined and data-driven scalar-valued term referred to as the curvature prior. In order to guarantee that the globally optimal curve is extracted, the proposed method in…
▽ More
In this paper, we introduce an efficient method for computing curves minimizing a variant of the Euler-Mumford elastica energy, with fixed endpoints and tangents at these endpoints, where the bending energy is enhanced with a user defined and data-driven scalar-valued term referred to as the curvature prior. In order to guarantee that the globally optimal curve is extracted, the proposed method involves the numerical computation of the viscosity solution to a specific static Hamilton-Jacobi-Bellman (HJB) partial differential equation (PDE). For that purpose, we derive the explicit Hamiltonian associated to this variant model equipped with a curvature prior, discretize the resulting HJB PDE using an adaptive finite difference scheme, and solve it in a single pass using a generalized Fast-Marching method. In addition, we also present a practical method for estimating the curvature prior values from image data, designed for the task of accurately tracking curvilinear structure centerlines. Numerical experiments on synthetic and real image data illustrate the advantages of the considered variant of the elastica model with a prior curvature enhancement in complex scenarios where challenging geometric structures appear.
△ Less
Submitted 29 August, 2023;
originally announced August 2023.
-
Expected Number of Dice Rolls Until an Increasing Run of Three
Authors:
Daniel Chen
Abstract:
A closed form is found for the expected number of rolls of a fair n-sided die until three consecutive increasing values are seen. The answer is rational, and the greatest common divisor of the numerator and denominator is given in terms of n.
As n goes to infinity, the probability generating function is found for the limiting case, which is also the exponential generating function for permutatio…
▽ More
A closed form is found for the expected number of rolls of a fair n-sided die until three consecutive increasing values are seen. The answer is rational, and the greatest common divisor of the numerator and denominator is given in terms of n.
As n goes to infinity, the probability generating function is found for the limiting case, which is also the exponential generating function for permutations ending in a double rise and without other double rises. Thus exact values are found for the limiting expectation and variance, which are approximately 7.92437 and 27.98133 respectively.
△ Less
Submitted 18 October, 2023; v1 submitted 28 August, 2023;
originally announced August 2023.
-
Bar-Natan Homology for null homologous links in \mathbb{RP}^3
Authors:
Daren Chen
Abstract:
In this paper, we introduce Bar-Natan homology for null homologous links in \mathbb{RP}^3 over the field of two elements. It is a deformation of the Khovanov homology in \mathbb{RP}^3 defined by Asaeda, Przytycki and Sikora. We also define an s-invariant from this deformation using the same recipe as for links in S^3, and prove some genus bound using it. The key ingredient is the notion of twisted…
▽ More
In this paper, we introduce Bar-Natan homology for null homologous links in \mathbb{RP}^3 over the field of two elements. It is a deformation of the Khovanov homology in \mathbb{RP}^3 defined by Asaeda, Przytycki and Sikora. We also define an s-invariant from this deformation using the same recipe as for links in S^3, and prove some genus bound using it. The key ingredient is the notion of twisted orientation for null homologous links and cobordisms in \mathbb{RP}^3.
△ Less
Submitted 21 July, 2023;
originally announced July 2023.
-
Counting differentials with fixed residues
Authors:
Dawei Chen,
Miguel Prado
Abstract:
We investigate the count of meromorphic differentials on the Riemann sphere possessing a single zero, multiple poles with prescribed orders, and fixed residues at each pole. Gendron and Tahar previously examined this problem with respect to general residues using flat geometry, while Sugiyama approached it from the perspective of fixed-point multipliers of polynomial maps in the case of simple pol…
▽ More
We investigate the count of meromorphic differentials on the Riemann sphere possessing a single zero, multiple poles with prescribed orders, and fixed residues at each pole. Gendron and Tahar previously examined this problem with respect to general residues using flat geometry, while Sugiyama approached it from the perspective of fixed-point multipliers of polynomial maps in the case of simple poles. In our study, we employ intersection theory on compactified moduli spaces of differentials, enabling us to handle arbitrary residue conditions and provide a complete solution to this problem. We also determine interesting combinatorial properties of the solution formula.
△ Less
Submitted 9 July, 2023;
originally announced July 2023.
-
Filtration and splitting of the Hodge bundle on the non-varying strata of quadratic differentials
Authors:
Dawei Chen,
Fei Yu
Abstract:
We describe the Harder--Narasimhan filtration of the Hodge bundle for Teichmüller curves in the non-varying strata of quadratic differentials appearing in [CM2]. Moreover, we show that the Hodge bundle on the non-varying strata away from the irregular components can split as a direct sum of line bundles. As applications, we determine all individual Lyapunov exponents of algebraically primitive Tei…
▽ More
We describe the Harder--Narasimhan filtration of the Hodge bundle for Teichmüller curves in the non-varying strata of quadratic differentials appearing in [CM2]. Moreover, we show that the Hodge bundle on the non-varying strata away from the irregular components can split as a direct sum of line bundles. As applications, we determine all individual Lyapunov exponents of algebraically primitive Teichmüller curves in the non-varying strata and derive new results regarding the asymptotic behavior of Lyapunov exponents.
△ Less
Submitted 11 June, 2023;
originally announced June 2023.
-
Subject clustering by IF-PCA and several recent methods
Authors:
Dieyi Chen,
Jiashun **,
Zheng Tracy Ke
Abstract:
Subject clustering (i.e., the use of measured features to cluster subjects, such as patients or cells, into multiple groups) is a problem of great interest. In recent years, many approaches were proposed, among which unsupervised deep learning (UDL) has received a great deal of attention. Two interesting questions are (a) how to combine the strengths of UDL and other approaches, and (b) how these…
▽ More
Subject clustering (i.e., the use of measured features to cluster subjects, such as patients or cells, into multiple groups) is a problem of great interest. In recent years, many approaches were proposed, among which unsupervised deep learning (UDL) has received a great deal of attention. Two interesting questions are (a) how to combine the strengths of UDL and other approaches, and (b) how these approaches compare to one other.
We combine Variational Auto-Encoder (VAE), a popular UDL approach, with the recent idea of Influential Feature PCA (IF-PCA), and propose IF-VAE as a new method for subject clustering. We study IF-VAE and compare it with several other methods (including IF-PCA, VAE, Seurat, and SC3) on $10$ gene microarray data sets and $8$ single-cell RNA-seq data sets. We find that IF-VAE significantly improves over VAE, but still underperforms IF-PCA. We also find that IF-PCA is quite competitive, which slightly outperforms Seurat and SC3 over the $8$ single-cell data sets. IF-PCA is conceptually simple and permits delicate analysis. We demonstrate that IF-PCA is capable of achieving the phase transition in a Rare/Weak model. Comparatively, Seurat and SC3 are more complex and theoretically difficult to analyze (for these reasons, their optimality remains unclear).
△ Less
Submitted 8 June, 2023;
originally announced June 2023.
-
Persistent hyperdigraph homology and persistent hyperdigraph Laplacians
Authors:
Dong Chen,
Jian Liu,
Jie Wu,
Guo-Wei Wei
Abstract:
Hypergraphs are useful mathematical models for describing complex relationships among members of a structured graph, while hyperdigraphs serve as a generalization that can encode asymmetric relationships in the data. However, obtaining topological information directly from hyperdigraphs remains a challenge. To address this issue, we introduce hyperdigraph homology in this work. We also propose top…
▽ More
Hypergraphs are useful mathematical models for describing complex relationships among members of a structured graph, while hyperdigraphs serve as a generalization that can encode asymmetric relationships in the data. However, obtaining topological information directly from hyperdigraphs remains a challenge. To address this issue, we introduce hyperdigraph homology in this work. We also propose topological hyperdigraph Laplacians, which can extract both harmonic spectra and non-harmonic spectra from directed and internally organized data. Moreover, we introduce persistent hyperdigraph homology and persistent hyperdigraph Laplacians through filtration, enabling the capture of topological persistence and homotopic shape evolution of directed and structured data across multiple scales. The proposed methods offer new multiscale algebraic topology tools for topological data analysis.
△ Less
Submitted 6 April, 2023; v1 submitted 1 April, 2023;
originally announced April 2023.
-
Spatial-sign based High Dimensional White Noises Test
Authors:
** Zhao,
Dachuan Chen,
Zhaojun Wang
Abstract:
A spatial-sign based test procedure is proposed for high dimensional white noise test in this paper. We establish the limit null distribution and give the asymptotical relative efficient of our test with respect to the test proposed by Feng et al. (2022) under some special alternative hypothesis. Simulation studies also demonstrate the efficiency and robustness of our test for heavy-tailed distrib…
▽ More
A spatial-sign based test procedure is proposed for high dimensional white noise test in this paper. We establish the limit null distribution and give the asymptotical relative efficient of our test with respect to the test proposed by Feng et al. (2022) under some special alternative hypothesis. Simulation studies also demonstrate the efficiency and robustness of our test for heavy-tailed distributions.
△ Less
Submitted 19 March, 2023;
originally announced March 2023.
-
A nearly optimal explicitly-sparse representation for oscillatory kernels with curvelet-like functions
Authors:
Yanchuang Cao,
Jun Liu,
Dawei Chen
Abstract:
A nearly optimal explicitly-sparse representation for oscillatory kernels is presented in this work by develo** a curvelet based method. Multilevel curvelet-like functions are constructed as the transform of the original nodal basis. Then the system matrix in a new non-standard form is derived with respect to the curvelet basis, which would be nearly optimally sparse due to the directional low r…
▽ More
A nearly optimal explicitly-sparse representation for oscillatory kernels is presented in this work by develo** a curvelet based method. Multilevel curvelet-like functions are constructed as the transform of the original nodal basis. Then the system matrix in a new non-standard form is derived with respect to the curvelet basis, which would be nearly optimally sparse due to the directional low rank property of the oscillatory kernel. Its sparsity is further enhanced via a-posteriori compression. Finally its nearly optimial log-linear computational complexity with controllable accuracy is demonstrated with numerical results. This explicitly-sparse representation is expected to lay ground to future work related to fast direct solvers and effective preconditioners for high frequency problems. It may also be viewed as the generalization of wavelet based methods to high frequency cases, and used as a new wideband fast algorithm for wave problems.
△ Less
Submitted 7 March, 2023;
originally announced March 2023.
-
Interpretable System Identification and Long-term Prediction on Time-Series Data
Authors:
Xiaoyi Liu,
Duxin Chen,
Wenjia Wei,
Xia Zhu,
Wenwu Yu
Abstract:
Time-series prediction has drawn considerable attention during the past decades fueled by the emerging advances of deep learning methods. However, most neural network based methods lack interpretability and fail in extracting the hidden mechanism of the targeted physical system. To overcome these shortcomings, an interpretable sparse system identification method without any prior knowledge is prop…
▽ More
Time-series prediction has drawn considerable attention during the past decades fueled by the emerging advances of deep learning methods. However, most neural network based methods lack interpretability and fail in extracting the hidden mechanism of the targeted physical system. To overcome these shortcomings, an interpretable sparse system identification method without any prior knowledge is proposed in this study. This method adopts the Fourier transform to reduces the irrelevant items in the dictionary matrix, instead of indiscriminate usage of polynomial functions in most system identification methods. It shows an interpretable system representation and greatly reduces computing cost. With the adoption of $l_1$ norm in regularizing the parameter matrix, a sparse description of the system model can be achieved. Moreover, Three data sets including the water conservancy data, global temperature data and financial data are used to test the performance of the proposed method. Although no prior knowledge was known about the physical background, experimental results show that our method can achieve long-term prediction regardless of the noise and incompleteness in the original data more accurately than the widely-used baseline data-driven methods. This study may provide some insight into time-series prediction investigations, and suggests that an white-box system identification method may extract the easily overlooked yet inherent periodical features and may beat neural-network based black-box methods on long-term prediction tasks.
△ Less
Submitted 2 March, 2023;
originally announced March 2023.
-
Adiabatic compactness for holomorphic curves with boundary on nearby Lagrangians
Authors:
Dylan Cant,
Daren Chen
Abstract:
In his 1989 paper, Floer established a connection between holomorphic strips with boundary on a Lagrangian $L$ and a small Hamiltonian push-off $L_{f}$, and gradient flow lines for the function $f$. The present paper studies the compactness theory for holomorphic curves $u_{n}$ whose boundary components lie on Hamiltonian perturbations $L_{n}^{1},\dots,L^{N}_{n}$ of a fixed Lagrangian $L$, where e…
▽ More
In his 1989 paper, Floer established a connection between holomorphic strips with boundary on a Lagrangian $L$ and a small Hamiltonian push-off $L_{f}$, and gradient flow lines for the function $f$. The present paper studies the compactness theory for holomorphic curves $u_{n}$ whose boundary components lie on Hamiltonian perturbations $L_{n}^{1},\dots,L^{N}_{n}$ of a fixed Lagrangian $L$, where each sequence of nearby Lagrangians $L^{j}_{n}$ converges to $L$ as $n\to\infty$. Generalizing earlier work of Oh, Fukaya, Ekholm, and Zhu, we prove that the limit of a sequence of such holomorphic maps is a configuration consisting of holomorphic curves with boundary on $L$ joined by gradient flow lines connecting points on the boundary of holomorphic pieces. The key new result is an exponential estimate analyzing the interface between the holomorphic parts and the gradient flow line parts.
△ Less
Submitted 26 February, 2023;
originally announced February 2023.
-
Period realization of meromorphic differentials with prescribed invariants
Authors:
Dawei Chen,
Gianluca Faraco
Abstract:
We provide a complete description of realizable period representations for meromorphic differentials on Riemann surfaces with prescribed orders of zeros and poles, hyperelliptic structure, and spin parity.
We provide a complete description of realizable period representations for meromorphic differentials on Riemann surfaces with prescribed orders of zeros and poles, hyperelliptic structure, and spin parity.
△ Less
Submitted 12 December, 2022;
originally announced December 2022.
-
A tale of two moduli spaces: logarithmic and multi-scale differentials
Authors:
Dawei Chen,
Samuel Grushevsky,
David Holmes,
Martin Möller,
Johannes Schmitt
Abstract:
Multi-scale differentials are constructed in [BCGGM3], from the viewpoint of flat and complex geometry, for the purpose of compactifying moduli spaces of curves together with a differential with prescribed orders of zeros and poles. Logarithmic differentials are constructed in [MW20], as a generalization of stable rubber maps from Gromov--Witten theory. Modulo the global residue condition that iso…
▽ More
Multi-scale differentials are constructed in [BCGGM3], from the viewpoint of flat and complex geometry, for the purpose of compactifying moduli spaces of curves together with a differential with prescribed orders of zeros and poles. Logarithmic differentials are constructed in [MW20], as a generalization of stable rubber maps from Gromov--Witten theory. Modulo the global residue condition that isolates the main components of the compactification, we show that these two kinds of differentials are equivalent, and establish an isomorphism of their (coarse) moduli stacks. Moreover, we describe the rubber and multi-scale spaces as an explicit blowup of the moduli space of stable pointed rational curves in the case of genus zero, and as a global blowup of the incidence variety compactification for arbitrary genera, which implies their projectivity. We also propose a refined double ramification cycle formula in the twisted Hodge bundle which interacts with the universal line bundle class.
△ Less
Submitted 9 December, 2022;
originally announced December 2022.
-
Pre-averaging fractional processes contaminated by noise, with an application to turbulence
Authors:
David Chen,
Yu Cheng,
Carsten Chong,
Pierre Gentine,
Wangdong Jia,
Bryce Monier,
Shiyang Shen
Abstract:
In this article, we consider the problem of estimating fractional processes based on noisy high-frequency data. Generalizing the idea of pre-averaging to a fractional setting, we exhibit a sequence of consistent estimators for the unknown parameters of interest by proving a law of large numbers for associated variation functionals. In contrast to the semimartingale setting, the optimal window size…
▽ More
In this article, we consider the problem of estimating fractional processes based on noisy high-frequency data. Generalizing the idea of pre-averaging to a fractional setting, we exhibit a sequence of consistent estimators for the unknown parameters of interest by proving a law of large numbers for associated variation functionals. In contrast to the semimartingale setting, the optimal window size for pre-averaging depends on the unknown roughness parameter of the underlying process. We evaluate the performance of our estimators in a simulation study and use them to empirically verify Kolmogorov's 2/3-law in turbulence data contaminated by instrument noise.
△ Less
Submitted 1 December, 2022;
originally announced December 2022.
-
Permutation Invariant Parking Assortments
Authors:
Douglas M. Chen,
Pamela E. Harris,
J. Carlos Martínez Mori,
Eric J. Pabón-Cancel,
Gabriel Sargent
Abstract:
We introduce parking assortments, a generalization of parking functions with cars of assorted lengths. In this setting, there are $n\in\mathbb{N}$ cars of lengths $\mathbf{y}=(y_1,y_2,\ldots,y_n)\in\mathbb{N}^n$ entering a one-way street with $m=\sum_{i=1}^ny_i$ parking spots. The cars have parking preferences $\mathbf{x}=(x_1,x_2,\ldots,x_n)\in[m]^n$, where $[m]:=\{1,2,\ldots,m\}$, and enter the…
▽ More
We introduce parking assortments, a generalization of parking functions with cars of assorted lengths. In this setting, there are $n\in\mathbb{N}$ cars of lengths $\mathbf{y}=(y_1,y_2,\ldots,y_n)\in\mathbb{N}^n$ entering a one-way street with $m=\sum_{i=1}^ny_i$ parking spots. The cars have parking preferences $\mathbf{x}=(x_1,x_2,\ldots,x_n)\in[m]^n$, where $[m]:=\{1,2,\ldots,m\}$, and enter the street in order. Each car $i \in [n]$, with length $y_i$ and preference $x_i$, follows a natural extension of the classical parking rule: it begins looking for parking at its preferred spot $x_i$ and parks in the first $y_i$ contiguously available spots thereafter, if there are any. If all cars are able to park under the preference list $\mathbf{x}$, we say $\mathbf{x}$ is a parking assortment for $\mathbf{y}$. Parking assortments also generalize parking sequences, introduced by Ehrenborg and Happ, since each car seeks for the first contiguously available spots it fits in past its preference. Given a parking assortment $\mathbf{x}$ for $\mathbf{y}$, we say it is permutation invariant if all rearrangements of $\mathbf{x}$ are also parking assortments for $\mathbf{y}$. While all parking functions are permutation invariant, this is not the case for parking assortments in general, motivating the need for characterization of this property. Although obtaining a full characterization for arbitrary $n\in\mathbb{N}$ and $\mathbf{y}\in\mathbb{N}^n$ remains elusive, we do so for $n=2,3$. Given the technicality of these results, we introduce the notion of minimally invariant car lengths, for which the only invariant parking assortment is the all ones preference list. We provide a concise, oracle-based characterization of minimally invariant car lengths for any $n\in\mathbb{N}$. Our results around minimally invariant car lengths also hold for parking sequences.
△ Less
Submitted 4 August, 2023; v1 submitted 2 November, 2022;
originally announced November 2022.
-
Deep Neural Networks as the Semi-classical Limit of Topological Quantum Neural Networks: The problem of generalisation
Authors:
Antonino Marciano,
Deen Chen,
Filippo Fabrocini,
Chris Fields,
Matteo Lulli,
Emanuele Zappala
Abstract:
Deep Neural Networks miss a principled model of their operation. A novel framework for supervised learning based on Topological Quantum Field Theory that looks particularly well suited for implementation on quantum processors has been recently explored. We propose the use of this framework for understanding the problem of generalization in Deep Neural Networks. More specifically, in this approach…
▽ More
Deep Neural Networks miss a principled model of their operation. A novel framework for supervised learning based on Topological Quantum Field Theory that looks particularly well suited for implementation on quantum processors has been recently explored. We propose the use of this framework for understanding the problem of generalization in Deep Neural Networks. More specifically, in this approach Deep Neural Networks are viewed as the semi-classical limit of Topological Quantum Neural Networks. A framework of this kind explains easily the overfitting behavior of Deep Neural Networks during the training step and the corresponding generalization capabilities.
△ Less
Submitted 24 October, 2022;
originally announced October 2022.
-
Associated Permutations of Complete Non-Ambiguous Trees
Authors:
Daniel Chen,
Sebastian Ohlig
Abstract:
We explore new connections between complete non-ambiguous trees (CNATs) and permutations. We give a bijection between tree-like tableaux and a specific subset of CNATs. This map is used to establish and solve a recurrence relation for the number of tree-like tableaux of a fixed size without occupied corners, proving a conjecture by Laborde-Zubieta. We end by establishing a row/column swap** oper…
▽ More
We explore new connections between complete non-ambiguous trees (CNATs) and permutations. We give a bijection between tree-like tableaux and a specific subset of CNATs. This map is used to establish and solve a recurrence relation for the number of tree-like tableaux of a fixed size without occupied corners, proving a conjecture by Laborde-Zubieta. We end by establishing a row/column swap** operation on CNATs and identify new areas for future research.
△ Less
Submitted 21 March, 2024; v1 submitted 20 October, 2022;
originally announced October 2022.
-
A remark on the phase transition for the geodesic flow of a rank one surface of nonpositive curvature
Authors:
Keith Burns,
Dong Chen
Abstract:
For any rank 1 nonpositively curved surface $M$, it was proved by Burns-Climenhaga-Fisher-Thompson that for any $q<1$, there exists a unique equilibrium state $μ_q$ for $q\varphi^u$, where $\varphi^u$ is the geometric potential. We show that as $q\to 1-$, the weak$^*$ limit of $μ_q$ is the restriction of the Liouville measure to the regular set.
For any rank 1 nonpositively curved surface $M$, it was proved by Burns-Climenhaga-Fisher-Thompson that for any $q<1$, there exists a unique equilibrium state $μ_q$ for $q\varphi^u$, where $\varphi^u$ is the geometric potential. We show that as $q\to 1-$, the weak$^*$ limit of $μ_q$ is the restriction of the Liouville measure to the regular set.
△ Less
Submitted 22 September, 2022;
originally announced September 2022.
-
Pressure gaps, geometric potentials, and nonpositively curved manifolds
Authors:
Dong Chen,
Lien-Yung Kao,
Kiho Park
Abstract:
In this paper, we derive a general pressure gap criterion for closed rank 1 manifolds whose singular sets are given by codimension 1 totally geodesic flat subtori. As an application, we show that under certain curvature constraints, potentials that decay faster than geometric potentials (towards to the singular set) have pressure gaps and have no phase transitions. Along the way, we prove that geo…
▽ More
In this paper, we derive a general pressure gap criterion for closed rank 1 manifolds whose singular sets are given by codimension 1 totally geodesic flat subtori. As an application, we show that under certain curvature constraints, potentials that decay faster than geometric potentials (towards to the singular set) have pressure gaps and have no phase transitions. Along the way, we prove that geometric potentials are Hölder continuous near singular sets.
△ Less
Submitted 13 September, 2022;
originally announced September 2022.
-
Nonvarying, affine, and extremal geometry of strata of differentials
Authors:
Dawei Chen
Abstract:
We prove that the nonvarying strata of abelian and quadratic differentials in [CM1, CM2] have trivial tautological rings and are affine varieties. We also prove that strata of $k$-differentials of infinite area are affine varieties for all $k$. Vanishing of homology in degree higher than the complex dimension follows as a consequence for these affine strata. Moreover we prove that the stratificati…
▽ More
We prove that the nonvarying strata of abelian and quadratic differentials in [CM1, CM2] have trivial tautological rings and are affine varieties. We also prove that strata of $k$-differentials of infinite area are affine varieties for all $k$. Vanishing of homology in degree higher than the complex dimension follows as a consequence for these affine strata. Moreover we prove that the stratification of the Hodge bundle for abelian and quadratic differentials of finite area is extremal in the sense that merging two zeros in each stratum leads to an extremal effective divisor in the boundary. A common feature throughout these results is a relation of divisor classes in strata of differentials as well as its incarnation in Teichmüller dynamics.
△ Less
Submitted 12 September, 2022;
originally announced September 2022.
-
Complete curves in the strata of differentials
Authors:
Dawei Chen
Abstract:
Gendron proved that the strata of holomorphic differentials with prescribed orders of zeros do not contain complete algebraic curves by applying the maximum modulus principle to saddle connections. Here we provide an alternative proof for this result by using positivity of divisor classes on moduli spaces of curves.
Gendron proved that the strata of holomorphic differentials with prescribed orders of zeros do not contain complete algebraic curves by applying the maximum modulus principle to saddle connections. Here we provide an alternative proof for this result by using positivity of divisor classes on moduli spaces of curves.
△ Less
Submitted 22 August, 2022;
originally announced August 2022.
-
Randomized Coordinate Subgradient Method for Nonsmooth Composite Optimization
Authors:
Lei Zhao,
Ding Chen,
Daoli Zhu,
Xiao Li
Abstract:
Coordinate-type subgradient methods for addressing nonsmooth optimization problems are relatively underexplored due to the set-valued nature of the subdifferential. In this work, our study focuses on nonsmooth composite optimization problems, encompassing a wide class of convex and weakly convex (nonconvex nonsmooth) problems. By utilizing the chain rule of the composite structure properly, we int…
▽ More
Coordinate-type subgradient methods for addressing nonsmooth optimization problems are relatively underexplored due to the set-valued nature of the subdifferential. In this work, our study focuses on nonsmooth composite optimization problems, encompassing a wide class of convex and weakly convex (nonconvex nonsmooth) problems. By utilizing the chain rule of the composite structure properly, we introduce the Randomized Coordinate Subgradient method (RCS) for tackling this problem class. To the best of our knowledge, this is the first coordinate subgradient method for solving general nonsmooth composite optimization problems. In theory, we consider the linearly bounded subgradients assumption for the objective function, which is more general than the traditional Lipschitz continuity assumption, to account for practical scenarios. We then conduct convergence analysis for RCS in both convex and weakly convex cases based on this generalized Lipschitz-type assumption. Specifically, we establish the $\widetilde{\mathcal{O}}$$(1/\sqrt{k})$ convergence rate in expectation and the $\tilde o(1/\sqrt{k})$ almost sure asymptotic convergence rate in terms of the suboptimality gap when $f$ is convex. For the case when $f$ is weakly convex and its subdifferential satisfies the global metric subregularity property, we derive the $\mathcal{O}(\varepsilon^{-4})$ iteration complexity in expectation. We also establish an asymptotic convergence result. To justify the global metric subregularity property utilized in the analysis, we establish this error bound condition for the concrete (real-valued) robust phase retrieval problem. We also provide a convergence lemma and the relationship between the global metric subregularity properties of a weakly convex function and its Moreau envelope. Finally, we conduct several experiments to demonstrate the possible superiority of RCS over the subgradient method.
△ Less
Submitted 23 August, 2023; v1 submitted 29 June, 2022;
originally announced June 2022.
-
On the number of tilting modules over a class of Auslander algebras
Authors:
Dan Chen,
Xiao** Zhang
Abstract:
Let $Λ$ be a radical square zero algebra of a Dynkin quiver and let $Γ$ be the Auslander algebra of $Λ$. Then the number of tilting right $Γ$-modules is $2^{m-1}$ if $Λ$ is of $A_{m}$ type for $m\geq 1$. Otherwise, the number of tilting right $Γ$-modules is $2^{m-3}\times14$ if $Λ$ is either of $D_{m}$ type for $m\geq 4$ or of $E_{m}$ type for $m=6,7,8$.
Let $Λ$ be a radical square zero algebra of a Dynkin quiver and let $Γ$ be the Auslander algebra of $Λ$. Then the number of tilting right $Γ$-modules is $2^{m-1}$ if $Λ$ is of $A_{m}$ type for $m\geq 1$. Otherwise, the number of tilting right $Γ$-modules is $2^{m-3}\times14$ if $Λ$ is either of $D_{m}$ type for $m\geq 4$ or of $E_{m}$ type for $m=6,7,8$.
△ Less
Submitted 24 May, 2022;
originally announced May 2022.
-
On the Kodaira dimension of moduli spaces of Abelian differentials
Authors:
Dawei Chen,
Matteo Costantini,
Martin Möller
Abstract:
This paper lays the foundation for determining the Kodaira dimension of the projectivized strata of Abelian differentials with prescribed zero and pole orders in large genus. We work with the moduli space of multi-scale differentials constructed in [BCGGM2] which provides an orbifold compactification of these strata. We establish the projectivity of the moduli space of multi-scale differentials, d…
▽ More
This paper lays the foundation for determining the Kodaira dimension of the projectivized strata of Abelian differentials with prescribed zero and pole orders in large genus. We work with the moduli space of multi-scale differentials constructed in [BCGGM2] which provides an orbifold compactification of these strata. We establish the projectivity of the moduli space of multi-scale differentials, describe the locus of canonical singularities, and compute a series of effective divisor classes. Moreover, we exhibit a perturbation of the canonical class which allows the corresponding pluri-canonical forms to extend over the locus of non-canonical singularities.
As applications, we certify general type for strata with few zeros as well as for strata with equidistributed zero orders when g is sufficiently large. In particular, we show general type for the odd spin components of the minimal strata for g > 12.
△ Less
Submitted 25 April, 2022;
originally announced April 2022.
-
Rank Based Tests for High Dimensional White Noise
Authors:
Dachuan Chen,
Fengyi Song,
Long Feng
Abstract:
The development of high-dimensional white noise test is important in both statistical theories and applications, where the dimension of the time series can be comparable to or exceed the length of the time series. This paper proposes several distribution-free tests using the rank based statistics for testing the high-dimensional white noise, which are robust to the heavy tails and do not quire the…
▽ More
The development of high-dimensional white noise test is important in both statistical theories and applications, where the dimension of the time series can be comparable to or exceed the length of the time series. This paper proposes several distribution-free tests using the rank based statistics for testing the high-dimensional white noise, which are robust to the heavy tails and do not quire the finite-order moment assumptions for the sample distributions. Three families of rank based tests are analyzed in this paper, including the simple linear rank statistics, non-degenerate U-statistics and degenerate U-statistics. The asymptotic null distributions and rate optimality are established for each family of these tests. Among these tests, the test based on degenerate U-statistics can also detect the non-linear and non-monotone relationships in the autocorrelations. Moreover, this is the first result on the asymptotic distributions of rank correlation statistics which allowing for the cross-sectional dependence in high dimensional data.
△ Less
Submitted 19 July, 2023; v1 submitted 18 April, 2022;
originally announced April 2022.
-
Swee** process approach to stress analysis in elastoplastic Lattice Springs Models with applications to Hyperuniform Network Materials
Authors:
Ivan Gudoshnikov,
Yang Jiao,
Oleg Makarenkov,
Duyu Chen
Abstract:
Disordered network materials abound in both nature and synthetic situations while rigorous analysis of their nonlinear mechanical behaviors still is very challenging. The purpose of this paper is to connect the mathematical framework of swee** process originally proposed by Moreau to a generic class of Lattice Spring Models with plasticity phenomenon. We explicitly construct a swee** process a…
▽ More
Disordered network materials abound in both nature and synthetic situations while rigorous analysis of their nonlinear mechanical behaviors still is very challenging. The purpose of this paper is to connect the mathematical framework of swee** process originally proposed by Moreau to a generic class of Lattice Spring Models with plasticity phenomenon. We explicitly construct a swee** process and provide numerical schemes to find the evolution of stresses in a Lattice Spring Model with infinitesimal strains and perfect plasticity. In particular, we develop a highly efficient "leapfrog" computational framework that allow ones to rigorously track the progression of plastic events in the system based on the swee** process theory. The utility of our framework is demonstrated by analyzing the elastoplastic stresses in a novel class of disordered network materials exhibiting the property of hyperuniformity, in which the infinite wave-length density fluctuations associated with the distribution of network nodes are completely suppressed. We find enhanced mechanical properties such as increasing stiffness, yield strength and tensile strength as the degree of hyperuniformity of the material system increases. Our results have implications for optimal network material design and our event-based framework can be readily generalized for nonlinear stress analysis of other heterogeneous material systems. We also include some insights to the model from the viewpoint of the rigidity theory.
△ Less
Submitted 3 October, 2023; v1 submitted 6 April, 2022;
originally announced April 2022.
-
Floer lasagna modules from link Floer homology
Authors:
Daren Chen
Abstract:
In this paper, we introduce the notion of Floer lasagna modules, which is inspired by the construction of skein lasagna module in [MWW19] by Morrison, Walker and Wedrich. Here we use link Floer homology instead of Khovanov-Rozansky homology. We give a description of the Floer lasagna module for 4-manifolds obtained by adding 2-handles to the 4-ball and we compute some examples.
In this paper, we introduce the notion of Floer lasagna modules, which is inspired by the construction of skein lasagna module in [MWW19] by Morrison, Walker and Wedrich. Here we use link Floer homology instead of Khovanov-Rozansky homology. We give a description of the Floer lasagna module for 4-manifolds obtained by adding 2-handles to the 4-ball and we compute some examples.
△ Less
Submitted 15 March, 2022;
originally announced March 2022.
-
Twistings and the Alexander polynomial
Authors:
Daren Chen
Abstract:
We give an explicit formula of the Alexander polynomial of the link obtained by adding an arbitrary number of full twists to positively oriented parallel n-strands in terms of the Alexander polynomials of the links obtained by adding 0,1,...,n-1 full twists. From this, we see that the Alexander polynomials stabilize after adding sufficiently many full twists. The main tool used in the computation…
▽ More
We give an explicit formula of the Alexander polynomial of the link obtained by adding an arbitrary number of full twists to positively oriented parallel n-strands in terms of the Alexander polynomials of the links obtained by adding 0,1,...,n-1 full twists. From this, we see that the Alexander polynomials stabilize after adding sufficiently many full twists. The main tool used in the computation is expressing the Alexander polynomial using the vector space representation of $U_{q}(gl(1|1))$.
△ Less
Submitted 24 February, 2022;
originally announced February 2022.
-
Cohomology and crossed modules extension of Hom-Leibniz-Rinehart algebras
Authors:
Yanhui Bi,
Danlu Chen,
Tao Zhang
Abstract:
In this paper, we introduce the concept of crossed module for Hom-Leibniz-Rinehart algebras. We study the cohomology and extension theory of Hom-Leibniz-Rinehart algebras. It is proved that there is one-to-one correspondence between equivalence classes of abelian extensions of Hom-Leibniz-Rinehart algebras and the elements of second cohomology group. Furthermore, we prove that there is a natural m…
▽ More
In this paper, we introduce the concept of crossed module for Hom-Leibniz-Rinehart algebras. We study the cohomology and extension theory of Hom-Leibniz-Rinehart algebras. It is proved that there is one-to-one correspondence between equivalence classes of abelian extensions of Hom-Leibniz-Rinehart algebras and the elements of second cohomology group. Furthermore, we prove that there is a natural map from $α$-crossed modules extension of Hom-Leibniz-Rinehart algebras to the third cohomology group of Hom-Leibniz-Rinehart algebras.
△ Less
Submitted 25 December, 2022; v1 submitted 12 February, 2022;
originally announced February 2022.
-
Geometric structure guided model and algorithms for complete deconvolution of gene expression data
Authors:
Duan Chen,
Shaoyu Li,
Xue Wang
Abstract:
Complete deconvolution analysis for bulk RNAseq data is important and helpful to distinguish whether the difference of disease-associated GEPs (gene expression profiles) in tissues of patients and normal controls are due to changes in cellular composition of tissue samples, or due to GEPs changes in specific cells. One of the major techniques to perform complete deconvolution is nonnegative matrix…
▽ More
Complete deconvolution analysis for bulk RNAseq data is important and helpful to distinguish whether the difference of disease-associated GEPs (gene expression profiles) in tissues of patients and normal controls are due to changes in cellular composition of tissue samples, or due to GEPs changes in specific cells. One of the major techniques to perform complete deconvolution is nonnegative matrix factorization (NMF), which also has a wide-range of applications in the machine learning community. However, the NMF is a well-known strongly ill-posed problem, so a direct application of NMF to RNAseq data will suffer severe difficulties in the interpretability of solutions. In this paper we develop an NMF-based mathematical model and corresponding computational algorithms to improve the solution identifiability of deconvoluting bulk RNAseq data. In our approach, we combine the biological concept of marker genes with the solvability conditions of the NMF theories, and develop a geometric structured guided optimization model. In this strategy, the geometric structure of bulk tissue data is first explored by the spectral clustering technique. Then, the identified information of marker genes is integrated as solvability constraints, while the overall correlation graph is used as manifold regularization. Both synthetic and biological data are used to validate the proposed model and algorithms, from which solution interpretability and accuracy are significantly improved.
△ Less
Submitted 17 February, 2022;
originally announced February 2022.
-
Congruence modulo 4 for Andrews' integer partition with even parts below odd parts
Authors:
Dandan Chen,
Rong Chen
Abstract:
We find and prove a class of congruences modulo 4 for Andrews' partition with certain ternary quadratic form. We also discuss distribution of $\overline{\mathcal{EO}}(n)$ and further prove that $\overline{\mathcal{EO}}(n)\equiv0\pmod4$ for almost all $n$. This study was inspired by similar congruences modulo 4 in the work by the second author and Garvan.
We find and prove a class of congruences modulo 4 for Andrews' partition with certain ternary quadratic form. We also discuss distribution of $\overline{\mathcal{EO}}(n)$ and further prove that $\overline{\mathcal{EO}}(n)\equiv0\pmod4$ for almost all $n$. This study was inspired by similar congruences modulo 4 in the work by the second author and Garvan.
△ Less
Submitted 25 October, 2021;
originally announced October 2021.
-
Comparison results for solutions of Poisson equations with Robin boundary on complete Riemannian manifolds
Authors:
Daguang Chen,
Haizhong Li,
Yilun Wei
Abstract:
In this paper, by using Schwarz rearrangement and isoperimetric inequalities, we prove comparison results for the solutions of Poisson equations on complete Riemannian manifolds with $Ric\geq (n-1)κ$, $\, κ\geq 0$, which extends the results in \cite{ANT-Talenti-a}. Furthermore, as applications of our comparison results, we obtain the Saint-Venant inequality and Bossel-Daners inequality for Robin L…
▽ More
In this paper, by using Schwarz rearrangement and isoperimetric inequalities, we prove comparison results for the solutions of Poisson equations on complete Riemannian manifolds with $Ric\geq (n-1)κ$, $\, κ\geq 0$, which extends the results in \cite{ANT-Talenti-a}. Furthermore, as applications of our comparison results, we obtain the Saint-Venant inequality and Bossel-Daners inequality for Robin Laplacian.
△ Less
Submitted 12 October, 2021;
originally announced October 2021.
-
$(1+)$-complemented, $(1+)$-isomorphic copies of $L_{1}$ in dual Banach spaces
Authors:
Dongyang Chen,
Tomasz Kania,
Yingbin Ruan
Abstract:
The present paper contributes to the ongoing programme of quantification of isomorphic Banach space theory focusing on Pełczyński's classical work on dual Banach spaces containing $L_{1}$ ($=L_{1}[0,1]$) and the Hagler--Stegall characterisation of dual spaces containing complemented copies of $L_{1}$. We prove the following quantitative version of the Hagler--Stegall theorem asserting that for a B…
▽ More
The present paper contributes to the ongoing programme of quantification of isomorphic Banach space theory focusing on Pełczyński's classical work on dual Banach spaces containing $L_{1}$ ($=L_{1}[0,1]$) and the Hagler--Stegall characterisation of dual spaces containing complemented copies of $L_{1}$. We prove the following quantitative version of the Hagler--Stegall theorem asserting that for a Banach space $X$ the following statements are equivalent:
$\bullet$ $X$ contains almost isometric copies of $(\bigoplus_{n=1}^{\infty} \ell_{\infty}^{n})_{\ell_1}$,
$\bullet$ for all $\varepsilon>0$, $X^{*}$ contains a $(1+\varepsilon)$-complemented, $(1+\varepsilon)$-isomorphic copy of $L_{1}$,
$\bullet$ for all $\varepsilon>0$, $X^{*}$ contains a $(1+\varepsilon)$-complemented, $(1+\varepsilon)$-isomorphic copy of $C[0,1]^{*}$.
Moreover, if $X$ is separable, one may add the following assertion:
$\bullet$ for all $\varepsilon>0$, there exists a $(1+\varepsilon)$-quotient map $T\colon X\rightarrow C(Δ)$ so that $T^{*}[C(Δ)^{*}]$ is $(1+\varepsilon)$-complemented in $X^{*}$, where $Δ$ is the Cantor set.
△ Less
Submitted 28 March, 2022; v1 submitted 6 August, 2021;
originally announced August 2021.
-
Generating Functions of the Hurwitz Class Numbers Associated with Certain Mock Theta Functions
Authors:
Dandan Chen,
Rong Chen
Abstract:
We find the Hecke-Rogers type series representations of generating functions of the Hurwitz class numbers which is very close to certain mock theta functions. We also prove two combinatorial interpretation of Hurwitz class numbers appeared on OEIS.
We find the Hecke-Rogers type series representations of generating functions of the Hurwitz class numbers which is very close to certain mock theta functions. We also prove two combinatorial interpretation of Hurwitz class numbers appeared on OEIS.
△ Less
Submitted 20 August, 2022; v1 submitted 10 July, 2021;
originally announced July 2021.
-
Dynamical invariants and intersection theory on the flex and gothic loci
Authors:
Dawei Chen
Abstract:
The flex locus parameterizes plane cubics with three collinear cocritical points under a projection, and the gothic locus arises from quadratic differentials with zeros at a fiber of the projection and with poles at the cocritical points. The flex and gothic loci provide the first example of a primitive, totally geodesic subvariety of moduli space and new ${\rm SL}_2(\mathbb{R})$-invariant varieti…
▽ More
The flex locus parameterizes plane cubics with three collinear cocritical points under a projection, and the gothic locus arises from quadratic differentials with zeros at a fiber of the projection and with poles at the cocritical points. The flex and gothic loci provide the first example of a primitive, totally geodesic subvariety of moduli space and new ${\rm SL}_2(\mathbb{R})$-invariant varieties in Teichmüller dynamics, as discovered by McMullen-Mukamel-Wright. In this paper we determine the divisor class of the flex locus as well as various tautological intersection numbers on the gothic locus. For the case of the gothic locus our result confirms numerically a conjecture of Chen-Möller-Sauvaget about computing sums of Lyapunov exponents for ${\rm SL}_2(\mathbb{R})$-invariant varieties via intersection theory.
△ Less
Submitted 24 May, 2021;
originally announced May 2021.
-
Generalised homomorphisms, measuring coalgebras and extended symmetries
Authors:
Marjorie Batchelor,
Will Boulton,
Daren Chen,
Jonathan Rawlinson,
Mustafa Warsi
Abstract:
Three categories of algebras with morphisms generalising the usual set of algebra homomorphisms are described. The Sweedler product provides a hom-tensor equivalence relating these three categories, and a tool enabling the universal measuring coalgebra to be calculated in small cases. A parallel theory for modules is presented.
Three categories of algebras with morphisms generalising the usual set of algebra homomorphisms are described. The Sweedler product provides a hom-tensor equivalence relating these three categories, and a tool enabling the universal measuring coalgebra to be calculated in small cases. A parallel theory for modules is presented.
△ Less
Submitted 6 May, 2021;
originally announced May 2021.
-
Quantifying shrinking and boundedly complete bases
Authors:
Dongyang Chen,
Tomasz Kania,
Yingbin Ruan
Abstract:
We investigate possible quantifications of R. C. James' classical work on bases and reflexivity of Banach spaces. By introducing new quantities measuring how far a basic sequence is from being shrinking and/or boundedly complete, we prove quantitative versions of James' famous characterisations of reflexivity in terms of bases. Furthermore, we establish quantitative versions of James' characterisa…
▽ More
We investigate possible quantifications of R. C. James' classical work on bases and reflexivity of Banach spaces. By introducing new quantities measuring how far a basic sequence is from being shrinking and/or boundedly complete, we prove quantitative versions of James' famous characterisations of reflexivity in terms of bases. Furthermore, we establish quantitative versions of James' characterisations of reflexivity of Banach spaces with unconditional bases.
△ Less
Submitted 13 April, 2021;
originally announced April 2021.
-
Talenti's comparison theorem for Poisson equation and applications on Riemannian manifold with nonnegative Ricci curvature
Authors:
Daguang Chen,
Haizhong Li
Abstract:
In this article, we prove Talenti's comparison theorem for Poisson equation on complete noncompact Riemannian manifold with nonnegative Ricci curvature. Furthermore, we obtain the Faber-Krahn inequality for the first eigenvalue of Dirichlet Laplacian, $L^1$- and $L^\infty$-moment spectrum, especially Saint-Venant theorem for torsional rigidity and a reverse Hölder inequality for eigenfunctions of…
▽ More
In this article, we prove Talenti's comparison theorem for Poisson equation on complete noncompact Riemannian manifold with nonnegative Ricci curvature. Furthermore, we obtain the Faber-Krahn inequality for the first eigenvalue of Dirichlet Laplacian, $L^1$- and $L^\infty$-moment spectrum, especially Saint-Venant theorem for torsional rigidity and a reverse Hölder inequality for eigenfunctions of Dirichlet Laplacian.
△ Less
Submitted 30 September, 2021; v1 submitted 12 April, 2021;
originally announced April 2021.
-
Khovanov-type homologies of null homologous links in $\mathbb{RP}^3$
Authors:
Daren Chen
Abstract:
Let L be a null homologous link in $\mathbb{RP}^3$. We define Khovanov-type homologies of L which depend on an extra input $α= (V_0,V_1,f,g)$ consisting of two graded vectors spaces and two maps between them. With some specific choice of $α= α_{APS}$, we recover the categorification of the Kauffman bracket due to Asaeda-Przytycki-Sikora. With another choice of $α= α_{HF}$, we construct a spectral…
▽ More
Let L be a null homologous link in $\mathbb{RP}^3$. We define Khovanov-type homologies of L which depend on an extra input $α= (V_0,V_1,f,g)$ consisting of two graded vectors spaces and two maps between them. With some specific choice of $α= α_{APS}$, we recover the categorification of the Kauffman bracket due to Asaeda-Przytycki-Sikora. With another choice of $α= α_{HF}$, we construct a spectral sequence from our theory converging to the Heegaard Floer homology of the even branched double cover of $\mathbb{RP}^3$.
△ Less
Submitted 10 April, 2021;
originally announced April 2021.
-
Quantifying properties ($K$) and ($μ^{s}$)
Authors:
Dongyang Chen,
Tomasz Kania,
Yingbin Ruan
Abstract:
A Banach space $X$ has \textit{property $(K)$}, whenever every weak* null sequence in the dual space admits a convex block subsequence $(f_{n})_{n=1}^\infty$ so that $\langle f_{n},x_{n}\rangle\to 0$ as $n\to \infty$ for every weakly null sequence $(x_{n})_{n=1}^\infty$ in $X$; $X$ has \textit{property $(μ^{s})$} if every weak$^{*}$ null sequence in $X^{*}$ admits a subsequence so that all of its…
▽ More
A Banach space $X$ has \textit{property $(K)$}, whenever every weak* null sequence in the dual space admits a convex block subsequence $(f_{n})_{n=1}^\infty$ so that $\langle f_{n},x_{n}\rangle\to 0$ as $n\to \infty$ for every weakly null sequence $(x_{n})_{n=1}^\infty$ in $X$; $X$ has \textit{property $(μ^{s})$} if every weak$^{*}$ null sequence in $X^{*}$ admits a subsequence so that all of its subsequences are Cesàro convergent to $0$ with respect to the Mackey topology. Both property $(μ^{s})$ and reflexivity (or even the Grothendieck property) imply property $(K)$. In the present paper we propose natural ways for quantifying the aforementioned properties in the spirit of recent results concerning other familiar properties of Banach spaces.
△ Less
Submitted 1 February, 2021;
originally announced February 2021.