-
Coupled Input-Output Dimension Reduction: Application to Goal-oriented Bayesian Experimental Design and Global Sensitivity Analysis
Authors:
Qiao Chen,
Elise Arnaud,
Ricardo Baptista,
Olivier Zahm
Abstract:
We introduce a new method to jointly reduce the dimension of the input and output space of a high-dimensional function. Choosing a reduced input subspace influences which output subspace is relevant and vice versa. Conventional methods focus on reducing either the input or output space, even though both are often reduced simultaneously in practice. Our coupled approach naturally supports goal-orie…
▽ More
We introduce a new method to jointly reduce the dimension of the input and output space of a high-dimensional function. Choosing a reduced input subspace influences which output subspace is relevant and vice versa. Conventional methods focus on reducing either the input or output space, even though both are often reduced simultaneously in practice. Our coupled approach naturally supports goal-oriented dimension reduction, where either an input or output quantity of interest is prescribed. We consider, in particular, goal-oriented sensor placement and goal-oriented sensitivity analysis, which can be viewed as dimension reduction where the most important output or, respectively, input components are chosen. Both applications present difficult combinatorial optimization problems with expensive objectives such as the expected information gain and Sobol indices. By optimizing gradient-based bounds, we can determine the most informative sensors and most sensitive parameters as the largest diagonal entries of some diagnostic matrices, thus bypassing the combinatorial optimization and objective evaluation.
△ Less
Submitted 19 June, 2024;
originally announced June 2024.
-
Efficient Hardware Accelerator Based on Medium Granularity Dataflow for SpTRSV
Authors:
Qian Chen,
Xiaofeng Yang,
Shengli Lu
Abstract:
Sparse triangular solve (SpTRSV) is widely used in various domains. Numerous studies have been conducted using CPUs, GPUs, and specific hardware accelerators, where dataflow can be categorized into coarse and fine granularity. Coarse dataflow offers good spatial locality but suffers from low parallelism, while fine dataflow provides high parallelism but disrupts the spatial structure, leading to i…
▽ More
Sparse triangular solve (SpTRSV) is widely used in various domains. Numerous studies have been conducted using CPUs, GPUs, and specific hardware accelerators, where dataflow can be categorized into coarse and fine granularity. Coarse dataflow offers good spatial locality but suffers from low parallelism, while fine dataflow provides high parallelism but disrupts the spatial structure, leading to increased nodes and poor data reuse. This paper proposes a novel hardware accelerator for SpTRSV or SpTRSV-like DAGs. The accelerator implements a medium granularity dataflow through hardware-software codesign and achieves both excellent spatial locality and high parallelism. Additionally, a partial sum caching mechanism is introduced to reduce the blocking frequency of processing elements (PEs), and a reordering algorithm of intra-node edges computation is developed to enhance data reuse. Experimental results on 264 benchmarks with node counts reaching up to 85,392 demonstrate that this work achieves average performance improvements of 12.2$\times$ (up to 874.5$\times$) over CPUs and 10.1$\times$ (up to 740.4$\times$) over GPUs. Compared to the state-of-the-art technique (DPU-v2), this work shows a 2.5$\times$ (up to 5.9$\times$) average performance improvement and 1.8$\times$ (up to 4.1$\times$) average energy efficiency enhancement.
△ Less
Submitted 27 June, 2024; v1 submitted 15 June, 2024;
originally announced June 2024.
-
Biderivations of Lie algebras
Authors:
Qiufan Chen,
Yufeng Yao,
Kaiming Zhao
Abstract:
In this paper, we first introduce the concept of symmetric biderivation radicals and characteristic subalgebras of Lie algebras, and study their properties. Based on these results, we precisely determine biderivations of some Lie algebras including finite-dimensional simple Lie algebras over arbitrary fields of characteristic not $2$ or $3$, and the Witt algebras $\mathcal{W}^+_n$ over fields of c…
▽ More
In this paper, we first introduce the concept of symmetric biderivation radicals and characteristic subalgebras of Lie algebras, and study their properties. Based on these results, we precisely determine biderivations of some Lie algebras including finite-dimensional simple Lie algebras over arbitrary fields of characteristic not $2$ or $3$, and the Witt algebras $\mathcal{W}^+_n$ over fields of characteristic $0$. As an application, commutative post-Lie algebra structure on aforementioned Lie algebras is shown to be trivial.
△ Less
Submitted 10 June, 2024;
originally announced June 2024.
-
Campana rational connectedness and weak approximation
Authors:
Qile Chen,
Brian Lehmann,
Sho Tanimoto
Abstract:
Campana introduced a notion of Campana rational connectedness for Campana orbifolds. Given a Campana fibration over a complex curve, we prove that a version of weak approximation for Campana sections holds at places of good reduction when the general fiber satisfies a slightly stronger version of Campana rational connectedness. Campana also conjectured that any Fano orbifold is Campana rationally…
▽ More
Campana introduced a notion of Campana rational connectedness for Campana orbifolds. Given a Campana fibration over a complex curve, we prove that a version of weak approximation for Campana sections holds at places of good reduction when the general fiber satisfies a slightly stronger version of Campana rational connectedness. Campana also conjectured that any Fano orbifold is Campana rationally connected; we verify a stronger statement for toric Campana orbifolds. A key tool in our study is log geometry and moduli stacks of stable log maps.
△ Less
Submitted 7 June, 2024;
originally announced June 2024.
-
PDHG-Unrolled Learning-to-Optimize Method for Large-Scale Linear Programming
Authors:
Bingheng Li,
Linxin Yang,
Yupeng Chen,
Senmiao Wang,
Qian Chen,
Haitao Mao,
Yao Ma,
Akang Wang,
Tian Ding,
Jiliang Tang,
Ruoyu Sun
Abstract:
Solving large-scale linear programming (LP) problems is an important task in various areas such as communication networks, power systems, finance and logistics. Recently, two distinct approaches have emerged to expedite LP solving: (i) First-order methods (FOMs); (ii) Learning to optimize (L2O). In this work, we propose an FOM-unrolled neural network (NN) called PDHG-Net, and propose a two-stage L…
▽ More
Solving large-scale linear programming (LP) problems is an important task in various areas such as communication networks, power systems, finance and logistics. Recently, two distinct approaches have emerged to expedite LP solving: (i) First-order methods (FOMs); (ii) Learning to optimize (L2O). In this work, we propose an FOM-unrolled neural network (NN) called PDHG-Net, and propose a two-stage L2O method to solve large-scale LP problems. The new architecture PDHG-Net is designed by unrolling the recently emerged PDHG method into a neural network, combined with channel-expansion techniques borrowed from graph neural networks. We prove that the proposed PDHG-Net can recover PDHG algorithm, thus can approximate optimal solutions of LP instances with a polynomial number of neurons. We propose a two-stage inference approach: first use PDHG-Net to generate an approximate solution, and then apply PDHG algorithm to further improve the solution. Experiments show that our approach can significantly accelerate LP solving, achieving up to a 3$\times$ speedup compared to FOMs for large-scale LP problems.
△ Less
Submitted 6 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.
-
Multi-headed lattices and Green functions
Authors:
Qipin Chen,
Shane Chern,
Lin Jiu
Abstract:
Lattice geometries and random walks on them are of great interest for their applications in different fields such as physics, chemistry, and computer science. In this work, we focus on multi-headed lattices and study properties of the Green functions for these lattices such as the associated differential equations and the Pólya numbers. In particular, we complete the analysis of three missing case…
▽ More
Lattice geometries and random walks on them are of great interest for their applications in different fields such as physics, chemistry, and computer science. In this work, we focus on multi-headed lattices and study properties of the Green functions for these lattices such as the associated differential equations and the Pólya numbers. In particular, we complete the analysis of three missing cases in dimensions no larger than five. Our results are built upon an automatic machinery of creative telesco**.
△ Less
Submitted 30 May, 2024;
originally announced May 2024.
-
Convex surfaces with prescribed induced metrics in anti-de Sitter spacetimes
Authors:
Qiyu Chen,
Jean-Marc Schlenker
Abstract:
Let $S$ be a closed surface of genus at least $2$, let $h$ be a smooth metric of curvature $K<-1$ on $S$, and let $h_0$ be a hyperbolic metric on $S$. We show that there exists a unique quasifuchsian AdS spacetime with left metric isotopic to $h_0$, containing a past-convex Cauchy surface with induced metric isotopic to $h$.
Let $S$ be a closed surface of genus at least $2$, let $h$ be a smooth metric of curvature $K<-1$ on $S$, and let $h_0$ be a hyperbolic metric on $S$. We show that there exists a unique quasifuchsian AdS spacetime with left metric isotopic to $h_0$, containing a past-convex Cauchy surface with induced metric isotopic to $h$.
△ Less
Submitted 3 May, 2024;
originally announced May 2024.
-
The minimal exponent of cones over smooth complete intersection projective varieties
Authors:
Qianyu Chen,
Bradley Dirks,
Mircea Mustaţă
Abstract:
We compute the minimal exponent of the affine cone over a complete intersection of smooth projective hypersurfaces intersecting transversely. The upper bound for the minimal exponent is proved, more generally, in the weighted homogeneous setting, while the lower bound is deduced from a general lower bound in terms of a strong factorizing resolution in the sense of Bravo and Villamayor.
We compute the minimal exponent of the affine cone over a complete intersection of smooth projective hypersurfaces intersecting transversely. The upper bound for the minimal exponent is proved, more generally, in the weighted homogeneous setting, while the lower bound is deduced from a general lower bound in terms of a strong factorizing resolution in the sense of Bravo and Villamayor.
△ Less
Submitted 28 April, 2024;
originally announced April 2024.
-
Sharp ill-posedness for the non-resistive MHD equations in Sobolev spaces
Authors:
Qionglei Chen,
Yao Nie,
Weikui Ye
Abstract:
In this paper, we prove a sharp ill-posedness result for the incompressible non-resistive MHD equations. In any dimension $d\ge 2$, we show the ill-posedness of the non-resistive MHD equations in $H^{\frac{d}{2}-1}(\mathbb{R}^d)\times H^{\frac{d}{2}}(\mathbb{R}^d)$, which is sharp in view of the results of the local well-posedness in…
▽ More
In this paper, we prove a sharp ill-posedness result for the incompressible non-resistive MHD equations. In any dimension $d\ge 2$, we show the ill-posedness of the non-resistive MHD equations in $H^{\frac{d}{2}-1}(\mathbb{R}^d)\times H^{\frac{d}{2}}(\mathbb{R}^d)$, which is sharp in view of the results of the local well-posedness in $H^{s-1}(\mathbb{R}^d)\times H^{s}(\mathbb{R}^d)(s>\frac{d}{2})$ established by Fefferman et al.(Arch. Ration. Mech. Anal., \textbf{223} (2), 677-691, 2017). Furthermore, we generalize the ill-posedness results from $H^{\frac{d}{2}-1}(\mathbb{R}^d)\times H^{\frac{d}{2}}(\mathbb{R}^d)$ to Besov spaces $B^{\frac{d}{p}-1}_{p, q}(\mathbb{R}^d)\times B^{\frac{d}{p}}_{p, q}(\mathbb{R}^d)$ and $\dot B^{\frac{d}{p}-1}_{p, q}(\mathbb{R}^d)\times \dot B^{\frac{d}{p}}_{p, q}(\mathbb{R}^d)$ for $1\le p\le\infty, q>1$. Different from the ill-posedness mechanism of the incompressible Navier-Stokes equations in $\dot B^{-1}_{\infty, q}$ \cite{B,W}, we construct an initial data such that the paraproduct terms (low-high frequency interaction) of the nonlinear term make the main contribution to the norm inflation of the magnetic field.
△ Less
Submitted 23 April, 2024;
originally announced April 2024.
-
Affine flag varieties of type D
Authors:
Quanyong Chen,
Zhaobing Fan,
Qi Wang
Abstract:
The Hecke algebras and quantum group of affine type A admit geometric realizations in terms of complete flags and partial flags over a local field, respectively. Subsequently, it is demonstrated that the quantum group associated to partial flag varieties of affine type C is a coideal subalgebra of quantum group of affine type A. In this paper, we establish a lattice presentation of the complete (p…
▽ More
The Hecke algebras and quantum group of affine type A admit geometric realizations in terms of complete flags and partial flags over a local field, respectively. Subsequently, it is demonstrated that the quantum group associated to partial flag varieties of affine type C is a coideal subalgebra of quantum group of affine type A. In this paper, we establish a lattice presentation of the complete (partial) flag varieties of affine type D. Additionally, we determine the structures of convolution algebra associated to complete flag varieties of affine type D, which is isomorphic to the (extended) affine Hecke algebra. We also show that there exists a monomial basis and a canonical basis of the convolution algebra, and establish the positivity properties of the canonical basis with respect to multiplication.
△ Less
Submitted 7 March, 2024;
originally announced March 2024.
-
Geometric Approach to I-Quantum Group of Affine Type D
Authors:
Quanyong Chen,
Zhaobing Fan
Abstract:
In this paper, we study the structures of Schur algebra and Lusztig algebra associated to partial flag varieties of affine type D. We show that there is a subalgebra of Lusztig algebra and the quantum groups arising from this subalgebras via stabilization procedures is a coideal subalgebra of quantum group of affine $\mathfrak{sl}$ type. We construct monomial and canonical bases of the idempotente…
▽ More
In this paper, we study the structures of Schur algebra and Lusztig algebra associated to partial flag varieties of affine type D. We show that there is a subalgebra of Lusztig algebra and the quantum groups arising from this subalgebras via stabilization procedures is a coideal subalgebra of quantum group of affine $\mathfrak{sl}$ type. We construct monomial and canonical bases of the idempotented quantum algebra and establish the positivity properties of the canonical basis with respect to multiplication and the bilinear pairing.
△ Less
Submitted 7 March, 2024;
originally announced March 2024.
-
Characterization of ($α$,$α$)-derivation on $B(X)$
Authors:
Quanyuan Chen,
Yaqi Li
Abstract:
Let $X$ be a Banach algebra and $B(X)$ be the set of all bounded linear operators on $X$. Suppose that $α: B(X) \rightarrow B(X)$ is an automorphism. We say that a map** $δ$ from $B(X)$ into itself is derivable at $G \in B(X)$ if $δ(G) = α(A)δ(B) + δ(A)α(B)$ for all $A, B \in B(X)$ with $AB = G$. We say that an element $G \in B(X)$ is an $(α,α)$-all derivable point of $B(X)$ if every $(α,α)$-der…
▽ More
Let $X$ be a Banach algebra and $B(X)$ be the set of all bounded linear operators on $X$. Suppose that $α: B(X) \rightarrow B(X)$ is an automorphism. We say that a map** $δ$ from $B(X)$ into itself is derivable at $G \in B(X)$ if $δ(G) = α(A)δ(B) + δ(A)α(B)$ for all $A, B \in B(X)$ with $AB = G$. We say that an element $G \in B(X)$ is an $(α,α)$-all derivable point of $B(X)$ if every $(α,α)$-derivable map** $δ$ at G is an $(α,α)$-derivation. In this paper, we show that every $(α,α)$-derivable map** at a nonzero element in $B(X)$ is an $(α,α)$-derivation.
△ Less
Submitted 18 March, 2024; v1 submitted 5 March, 2024;
originally announced March 2024.
-
The Runge--Kutta discontinuous Galerkin method with stage-dependent polynomial spaces for hyperbolic conservation laws
Authors:
Qifan Chen,
Zheng Sun,
Yulong Xing
Abstract:
In this paper, we present a novel class of high-order Runge--Kutta (RK) discontinuous Galerkin (DG) schemes for hyperbolic conservation laws. The new method extends beyond the traditional method of lines framework and utilizes stage-dependent polynomial spaces for the spatial discretization operators. To be more specific, two different DG operators, associated with $\mathcal{P}^k$ and…
▽ More
In this paper, we present a novel class of high-order Runge--Kutta (RK) discontinuous Galerkin (DG) schemes for hyperbolic conservation laws. The new method extends beyond the traditional method of lines framework and utilizes stage-dependent polynomial spaces for the spatial discretization operators. To be more specific, two different DG operators, associated with $\mathcal{P}^k$ and $\mathcal{P}^{k-1}$ piecewise polynomial spaces, are used at different RK stages. The resulting method is referred to as the sdRKDG method. It features fewer floating-point operations and may achieve larger time step sizes. For problems without sonic points, we observe optimal convergence for all the sdRKDG schemes; and for problems with sonic points, we observe that a subset of the sdRKDG schemes remains optimal. We have also conducted von Neumann analysis for the stability and error of the sdRKDG schemes for the linear advection equation in one dimension. Numerical tests, for problems including two-dimensional Euler equations for gas dynamics, are provided to demonstrate the performance of the new method.
△ Less
Submitted 23 February, 2024;
originally announced February 2024.
-
Connection-Aware P2P Trading: Simultaneous Trading and Peer Selection
Authors:
Cheng Feng,
Kedi Zheng,
Lanqing Shan,
Hani Alers,
Lampros Stergioulas,
Hongye Guo,
Qixin Chen
Abstract:
Peer-to-peer (P2P) trading is seen as a viable solution to handle the growing number of distributed energy resources in distribution networks. However, when dealing with large-scale consumers, there are several challenges that must be addressed. One of these challenges is limited communication capabilities. Additionally, prosumers may have specific preferences when it comes to trading. Both can re…
▽ More
Peer-to-peer (P2P) trading is seen as a viable solution to handle the growing number of distributed energy resources in distribution networks. However, when dealing with large-scale consumers, there are several challenges that must be addressed. One of these challenges is limited communication capabilities. Additionally, prosumers may have specific preferences when it comes to trading. Both can result in serious asynchrony in peer-to-peer trading, potentially impacting the effectiveness of negotiations and hindering convergence before the market closes. This paper introduces a connection-aware P2P trading algorithm designed for extensive prosumer trading. The algorithm facilitates asynchronous trading while respecting prosumer's autonomy in trading peer selection, an often overlooked aspect in traditional models. In addition, to optimize the use of limited connection opportunities, a smart trading peer connection selection strategy is developed to guide consumers to communicate strategically to accelerate convergence. A theoretical convergence guarantee is provided for the connection-aware P2P trading algorithm, which further details how smart selection strategies enhance convergence efficiency. Numerical studies are carried out to validate the effectiveness of the connection-aware algorithm and the performance of smart selection strategies in reducing the overall convergence time.
△ Less
Submitted 18 February, 2024;
originally announced February 2024.
-
Inversion of Adjunction for the minimal exponent
Authors:
Qianyu Chen
Abstract:
We prove that the minimal exponent for local complete intersections satisfies an Inversion-of-Adjunction property. As a result, we also obtain the Inversion of Adjunction for higher Du Bois and higher rational singularities for local complete intersections.
We prove that the minimal exponent for local complete intersections satisfies an Inversion-of-Adjunction property. As a result, we also obtain the Inversion of Adjunction for higher Du Bois and higher rational singularities for local complete intersections.
△ Less
Submitted 15 February, 2024;
originally announced February 2024.
-
An introduction to $V$-filtrations
Authors:
Qianyu Chen,
Bradley Dirks,
Mircea Mustaţă
Abstract:
We give an introduction to the theory of $V$-filtrations of Malgrange and Kashiwara. After discussing the basic properties of this construction (in the case of a smooth hypersurface and, later, in the general case), we describe the connection with the theory of $b$-functions. As an example, we treat the case of weighted homogeneous isolated singularities. We discuss the compatibility of $V$-filtra…
▽ More
We give an introduction to the theory of $V$-filtrations of Malgrange and Kashiwara. After discussing the basic properties of this construction (in the case of a smooth hypersurface and, later, in the general case), we describe the connection with the theory of $b$-functions. As an example, we treat the case of weighted homogeneous isolated singularities. We discuss the compatibility of $V$-filtrations with proper push-forward and duality and the connection with nearby and vanishing cycles via the Riemann-Hilbert correspondence. We end by describing some invariants of singularities via the $V$-filtration.
△ Less
Submitted 12 February, 2024;
originally announced February 2024.
-
A quasi-optimal lower bound for skew polynomial multiplication
Authors:
Qiyuan Chen,
Ke Ye
Abstract:
We establish a lower bound for the complexity of multiplying two skew polynomials. The lower bound coincides with the upper bound conjectured by Caruso and Borgne in 2017, up to a log factor. We present algorithms for three special cases, indicating that the aforementioned lower bound is quasi-optimal. In fact, our lower bound is quasi-optimal in the sense of bilinear complexity. In addition, we d…
▽ More
We establish a lower bound for the complexity of multiplying two skew polynomials. The lower bound coincides with the upper bound conjectured by Caruso and Borgne in 2017, up to a log factor. We present algorithms for three special cases, indicating that the aforementioned lower bound is quasi-optimal. In fact, our lower bound is quasi-optimal in the sense of bilinear complexity. In addition, we discuss the average bilinear complexity of simultaneous multiplication of skew polynomials and the complexity of skew polynomial multiplication in the case of towers of extensions.
△ Less
Submitted 6 February, 2024;
originally announced February 2024.
-
Modeling Unknown Stochastic Dynamical System via Autoencoder
Authors:
Zhongshu Xu,
Yuan Chen,
Qifan Chen,
Dongbin Xiu
Abstract:
We present a numerical method to learn an accurate predictive model for an unknown stochastic dynamical system from its trajectory data. The method seeks to approximate the unknown flow map of the underlying system. It employs the idea of autoencoder to identify the unobserved latent random variables. In our approach, we design an encoding function to discover the latent variables, which are model…
▽ More
We present a numerical method to learn an accurate predictive model for an unknown stochastic dynamical system from its trajectory data. The method seeks to approximate the unknown flow map of the underlying system. It employs the idea of autoencoder to identify the unobserved latent random variables. In our approach, we design an encoding function to discover the latent variables, which are modeled as unit Gaussian, and a decoding function to reconstruct the future states of the system. Both the encoder and decoder are expressed as deep neural networks (DNNs). Once the DNNs are trained by the trajectory data, the decoder serves as a predictive model for the unknown stochastic system. Through an extensive set of numerical examples, we demonstrate that the method is able to produce long-term system predictions by using short bursts of trajectory data. It is also applicable to systems driven by non-Gaussian noises.
△ Less
Submitted 15 December, 2023;
originally announced December 2023.
-
TaskMet: Task-Driven Metric Learning for Model Learning
Authors:
Dishank Bansal,
Ricky T. Q. Chen,
Mustafa Mukadam,
Brandon Amos
Abstract:
Deep learning models are often deployed in downstream tasks that the training procedure may not be aware of. For example, models solely trained to achieve accurate predictions may struggle to perform well on downstream tasks because seemingly small prediction errors may incur drastic task errors. The standard end-to-end learning approach is to make the task loss differentiable or to introduce a di…
▽ More
Deep learning models are often deployed in downstream tasks that the training procedure may not be aware of. For example, models solely trained to achieve accurate predictions may struggle to perform well on downstream tasks because seemingly small prediction errors may incur drastic task errors. The standard end-to-end learning approach is to make the task loss differentiable or to introduce a differentiable surrogate that the model can be trained on. In these settings, the task loss needs to be carefully balanced with the prediction loss because they may have conflicting objectives. We propose take the task loss signal one level deeper than the parameters of the model and use it to learn the parameters of the loss function the model is trained on, which can be done by learning a metric in the prediction space. This approach does not alter the optimal prediction model itself, but rather changes the model learning to emphasize the information important for the downstream task. This enables us to achieve the best of both worlds: a prediction model trained in the original prediction space while also being valuable for the desired downstream task. We validate our approach through experiments conducted in two main settings: 1) decision-focused model learning scenarios involving portfolio optimization and budget allocation, and 2) reinforcement learning in noisy environments with distracting states. The source code to reproduce our experiments is available at https://github.com/facebookresearch/taskmet
△ Less
Submitted 8 December, 2023;
originally announced December 2023.
-
Stochastic Optimal Control Matching
Authors:
Carles Domingo-Enrich,
Jiequn Han,
Brandon Amos,
Joan Bruna,
Ricky T. Q. Chen
Abstract:
Stochastic optimal control, which has the goal of driving the behavior of noisy systems, is broadly applicable in science, engineering and artificial intelligence. Our work introduces Stochastic Optimal Control Matching (SOCM), a novel Iterative Diffusion Optimization (IDO) technique for stochastic optimal control that stems from the same philosophy as the conditional score matching loss for diffu…
▽ More
Stochastic optimal control, which has the goal of driving the behavior of noisy systems, is broadly applicable in science, engineering and artificial intelligence. Our work introduces Stochastic Optimal Control Matching (SOCM), a novel Iterative Diffusion Optimization (IDO) technique for stochastic optimal control that stems from the same philosophy as the conditional score matching loss for diffusion models. That is, the control is learned via a least squares problem by trying to fit a matching vector field. The training loss, which is closely connected to the cross-entropy loss, is optimized with respect to both the control function and a family of reparameterization matrices which appear in the matching vector field. The optimization with respect to the reparameterization matrices aims at minimizing the variance of the matching vector field. Experimentally, our algorithm achieves lower error than all the existing IDO techniques for stochastic optimal control for three out of four control problems, in some cases by an order of magnitude. The key idea underlying SOCM is the path-wise reparameterization trick, a novel technique that may be of independent interest. Code at https://github.com/facebookresearch/SOC-matching
△ Less
Submitted 28 June, 2024; v1 submitted 4 December, 2023;
originally announced December 2023.
-
The space of germs of extremal K\" ahler metrics in one dimension comprises three distinct ${\Bbb R}^3$ components
Authors:
Qing Chen,
Yiqian Shi,
Bin Xu
Abstract:
In the 1980s, Eugenio Calabi introduced the concept of {\it extremal K\" ahler metrics} as critical points of the $L^2$-norm functional of scalar curvature in the space of K\" ahler metrics belonging to a fixed Kähler class of a compact complex manifold $X$. Calabi demonstrated that extremal K\" ahler metrics always degenerate into Einstein metrics on compact Riemann surfaces. We define a Kähler m…
▽ More
In the 1980s, Eugenio Calabi introduced the concept of {\it extremal K\" ahler metrics} as critical points of the $L^2$-norm functional of scalar curvature in the space of K\" ahler metrics belonging to a fixed Kähler class of a compact complex manifold $X$. Calabi demonstrated that extremal K\" ahler metrics always degenerate into Einstein metrics on compact Riemann surfaces. We define a Kähler metric $g$ on a domain of ${\Bbb C}^n$ as a {\it local extremal Kähler metric} of dimension $n$ if it satisfies the Euler-Lagrange equation of this functional, i.e. holomorphic is the $(1,0)$-part of the gradient vector field of the scalar curvature of $g$, in the domain. Our main result establishes that the space of all germs of local extremal, non-Einstein Kähler metrics of dimension one comprises three components, each diffeomorphic to ${\Bbb R}^3$.
△ Less
Submitted 26 November, 2023;
originally announced November 2023.
-
Quasi-invariant theorem on the Gaussian path space
Authors:
Qinpin Chen,
Jian Sun,
Bo Wu
Abstract:
In this article, we will first introduce a class of Gaussian processes, and prove the quasi-invariant theorem with respect to the Gaussian Wiener measure, which is the law of the associated Gaussian process. In particular, it includes the case of the fractional Brownian motion.
As applications, we will establish the integration by parts formula and Bismut-Elworthy-Li formula on the Gaussian path…
▽ More
In this article, we will first introduce a class of Gaussian processes, and prove the quasi-invariant theorem with respect to the Gaussian Wiener measure, which is the law of the associated Gaussian process. In particular, it includes the case of the fractional Brownian motion.
As applications, we will establish the integration by parts formula and Bismut-Elworthy-Li formula on the Gaussian path space, and by which some logarithmic Sobolev inequalities will be presented. Moreover, we will also provides some applications in the field of financial mathematics.
△ Less
Submitted 1 January, 2024; v1 submitted 19 November, 2023;
originally announced November 2023.
-
A relation between multiplicity of nonzero eigenvalues and the matching number of graph
Authors:
Qian-Qian Chen,
Ji-Ming Guo
Abstract:
Let $G$ be a graph with an adjacent matrix $A(G)$. The multiplicity of an arbitrary eigenvalue $λ$ of $A(G)$ is denoted by $m_λ(G)$. In \cite{Wong}, the author apply the Pater-Wiener Theorem to prove that if the diameter of $T$ at least $4$, then $m_λ(T)\leq β'(T)-1$ for any $λ\neq0$. Moreover, they characterized all trees with $m_λ(T)=β'(T)-1$, where $β'(G)$ is the induced matching number of $G$.…
▽ More
Let $G$ be a graph with an adjacent matrix $A(G)$. The multiplicity of an arbitrary eigenvalue $λ$ of $A(G)$ is denoted by $m_λ(G)$. In \cite{Wong}, the author apply the Pater-Wiener Theorem to prove that if the diameter of $T$ at least $4$, then $m_λ(T)\leq β'(T)-1$ for any $λ\neq0$. Moreover, they characterized all trees with $m_λ(T)=β'(T)-1$, where $β'(G)$ is the induced matching number of $G$.
In this paper, we intend to extend this result from trees to any connected graph. Contrary to the technique used in \cite{Wong}, we prove the following result mainly by employing algebraic methods: For any non-zero eigenvalue $λ$ of the connected graph $G$, $m_λ(G)\leq β'(G)+c(G)$, where $c(G)$ is the cyclomatic number of $G$, and the equality holds if and only if $G\cong C_3(a,a,a)$ or $G\cong C_5$, or a tree with the diameter is at most $3$. Furthermore, if $β'(G)\geq3$, we characterize all connected graphs with $m_λ(G)=β'(G)+c(G)-1$.
△ Less
Submitted 14 January, 2024; v1 submitted 23 October, 2023;
originally announced October 2023.
-
Nonlinear stability for 3-D plane Poiseuille flow in a finite channel
Authors:
Qi Chen,
Shi** Ding,
Zhilin Lin,
Zhifei Zhang
Abstract:
In this paper, we study the nonlinear stability for the 3-D plane Poiseuille flow $(1-y^2,0,0)$ at high Reynolds number $Re$ in a finite channel $\mathbb{T}\times [-1,1 ]\times \mathbb{T}$ with non-slip boundary condition. We prove that if the initial velocity $v_0$ satisfies $\|v_0-(1-y^2,0,0)\|_{H^{4}}\leq c_0 Re^{-\frac{7}{4}}$ for some $c_0>0$ independent of $Re$, then the solution of 3-D Naiv…
▽ More
In this paper, we study the nonlinear stability for the 3-D plane Poiseuille flow $(1-y^2,0,0)$ at high Reynolds number $Re$ in a finite channel $\mathbb{T}\times [-1,1 ]\times \mathbb{T}$ with non-slip boundary condition. We prove that if the initial velocity $v_0$ satisfies $\|v_0-(1-y^2,0,0)\|_{H^{4}}\leq c_0 Re^{-\frac{7}{4}}$ for some $c_0>0$ independent of $Re$, then the solution of 3-D Naiver-Stokes equations is global in time and does not transit away from the plane Poiseuille flow. To our knowledge, this is the first nonlinear stability result for the 3-D plane Poiseuille flow and the transition threshold is accordant with the numerical result by Lundbladh et al. \cite{LHR}.
△ Less
Submitted 4 February, 2024; v1 submitted 17 October, 2023;
originally announced October 2023.
-
On rational functional identities involving inverses on matrix rings
Authors:
Yingyu Luo,
Qian Chen,
Yu Wang
Abstract:
Let $n\geq 3$ be an integer. Let $\mathcal{D}$ be a division ring with char$(\mathcal{D})>n$ or char$(\mathcal{D})=0$. Let $\mathcal{R}=M_m(\mathcal{D})$ be a ring of $n\times n$ matrices over $D$, $m\geq 2$. The main theorem in the paper states that the only additive maps $f$ and $g$ satisfying that $f(X)+X^ng(X^{-1})=0$ for all invertible $X\in \mathcal{R}$, are zero maps, which generalizes both…
▽ More
Let $n\geq 3$ be an integer. Let $\mathcal{D}$ be a division ring with char$(\mathcal{D})>n$ or char$(\mathcal{D})=0$. Let $\mathcal{R}=M_m(\mathcal{D})$ be a ring of $n\times n$ matrices over $D$, $m\geq 2$. The main theorem in the paper states that the only additive maps $f$ and $g$ satisfying that $f(X)+X^ng(X^{-1})=0$ for all invertible $X\in \mathcal{R}$, are zero maps, which generalizes both a result proved by Dar and **g and a result proved by Catalano and Merch$\acute{a}$n.
△ Less
Submitted 3 September, 2023;
originally announced October 2023.
-
Generalized Schrödinger Bridge Matching
Authors:
Guan-Horng Liu,
Yaron Lipman,
Maximilian Nickel,
Brian Karrer,
Evangelos A. Theodorou,
Ricky T. Q. Chen
Abstract:
Modern distribution matching algorithms for training diffusion or flow models directly prescribe the time evolution of the marginal distributions between two boundary distributions. In this work, we consider a generalized distribution matching setup, where these marginals are only implicitly described as a solution to some task-specific objective function. The problem setup, known as the Generaliz…
▽ More
Modern distribution matching algorithms for training diffusion or flow models directly prescribe the time evolution of the marginal distributions between two boundary distributions. In this work, we consider a generalized distribution matching setup, where these marginals are only implicitly described as a solution to some task-specific objective function. The problem setup, known as the Generalized Schrödinger Bridge (GSB), appears prevalently in many scientific areas both within and without machine learning. We propose Generalized Schrödinger Bridge Matching (GSBM), a new matching algorithm inspired by recent advances, generalizing them beyond kinetic energy minimization and to account for task-specific state costs. We show that such a generalization can be cast as solving conditional stochastic optimal control, for which efficient variational approximations can be used, and further debiased with the aid of path integral theory. Compared to prior methods for solving GSB problems, our GSBM algorithm better preserves a feasible transport map between the boundary distributions throughout training, thereby enabling stable convergence and significantly improved scalability. We empirically validate our claims on an extensive suite of experimental setups, including crowd navigation, opinion depolarization, LiDAR manifolds, and image domain transfer. Our work brings new algorithmic opportunities for training diffusion models enhanced with task-specific optimality structures. Code available at https://github.com/facebookresearch/generalized-schrodinger-bridge-matching
△ Less
Submitted 18 April, 2024; v1 submitted 3 October, 2023;
originally announced October 2023.
-
Homotopy Relaxation Training Algorithms for Infinite-Width Two-Layer ReLU Neural Networks
Authors:
Yahong Yang,
Qipin Chen,
Wenrui Hao
Abstract:
In this paper, we present a novel training approach called the Homotopy Relaxation Training Algorithm (HRTA), aimed at accelerating the training process in contrast to traditional methods. Our algorithm incorporates two key mechanisms: one involves building a homotopy activation function that seamlessly connects the linear activation function with the ReLU activation function; the other technique…
▽ More
In this paper, we present a novel training approach called the Homotopy Relaxation Training Algorithm (HRTA), aimed at accelerating the training process in contrast to traditional methods. Our algorithm incorporates two key mechanisms: one involves building a homotopy activation function that seamlessly connects the linear activation function with the ReLU activation function; the other technique entails relaxing the homotopy parameter to enhance the training refinement process. We have conducted an in-depth analysis of this novel method within the context of the neural tangent kernel (NTK), revealing significantly improved convergence rates. Our experimental results, especially when considering networks with larger widths, validate the theoretical conclusions. This proposed HRTA exhibits the potential for other activation functions and deep neural networks.
△ Less
Submitted 8 January, 2024; v1 submitted 26 September, 2023;
originally announced September 2023.
-
On Effective Sato-Tate Distributions for Surfaces Arising from Products of Elliptic Curves
Authors:
Quanlin Chen,
Eric Shen
Abstract:
We prove, with an unconditional effective error bound, the Sato-Tate distributions for two families of surfaces arising from products of elliptic curves, namely a one-parameter family of K3 surfaces and double quadric surfaces. To prove these effective Sato-Tate distributions, we prove an effective form of the joint Sato-Tate distribution for two twist-inequivalent elliptic curves, along with an e…
▽ More
We prove, with an unconditional effective error bound, the Sato-Tate distributions for two families of surfaces arising from products of elliptic curves, namely a one-parameter family of K3 surfaces and double quadric surfaces. To prove these effective Sato-Tate distributions, we prove an effective form of the joint Sato-Tate distribution for two twist-inequivalent elliptic curves, along with an effective form of the Sato-Tate distribution for an elliptic curve for primes in arithmetic progressions. The former completes the previous work of Thorner by including the cases in which one of the elliptic curves has CM.
△ Less
Submitted 15 September, 2023;
originally announced September 2023.
-
Joint Oscillation Dam** and Inertia Provision Service for Converter-Interfaced Generation
Authors:
Cheng Feng,
Linbin Huang,
Xiuqiang He,
Yi Wang,
Florian Dörfler,
Qixin Chen
Abstract:
As renewable generation becomes more prevalent, traditional power systems dominated by synchronous generators are transitioning to systems dominated by converter-interfaced generation. These devices, with their weaker dam** capabilities and lower inertia, compromise the system's ability to withstand disturbances, pose a threat to system stability, and lead to oscillations and poor frequency resp…
▽ More
As renewable generation becomes more prevalent, traditional power systems dominated by synchronous generators are transitioning to systems dominated by converter-interfaced generation. These devices, with their weaker dam** capabilities and lower inertia, compromise the system's ability to withstand disturbances, pose a threat to system stability, and lead to oscillations and poor frequency response performance. While some new converter-interfaced generations are capable of providing superior dam** and fast frequency control, there is a lack of effective measures to incentivize manufacturers to adopt them. To address this gap, this paper defines the joint oscillation dam** and inertia provision services at the system level, seeking to encourage converter-interfaced generation to provide enhanced dam** and fast frequency response capabilities. Our approach is anchored in a novel convex parametric formulation that combines oscillation mode and frequency stability constraints. These constraints ensure a sufficient dam** ratio for all oscillation modes and maintain transient frequency trajectories within acceptable limits. They are designed to integrate smoothly into various operational and planning optimization frameworks. Using this formulation, we introduce a joint service for oscillation dam** and inertia provision based on a cost-minimization problem. This facilitates the optimal allocation of dam** and virtual inertia to converters, achieving both small-signal stability and frequency stability. Furthermore, we investigate the economic effects of introducing this service into a new ancillary service market, assessing its impact on system operations and cost-efficiency. Numerical tests highlight the service's efficacy in ensuring both small-signal stability and frequency stability, and offer insights into potential economic benefits.
△ Less
Submitted 3 September, 2023;
originally announced September 2023.
-
Cyclotomic expansions for double twist knots with an odd number of half-twists
Authors:
Qingtao Chen,
Kefeng Liu,
Shengmao Zhu
Abstract:
In this note, we compute the cyclotomic expansion formula for colored Jones polynomial of double twist knots with an odd number of half-twists $\mathcal{K}_{p,\frac{s}{2}}$ by using the Kauffman bracket skein theory. It answers a question proposed by Lovejoy and Osburn in 2019.
In this note, we compute the cyclotomic expansion formula for colored Jones polynomial of double twist knots with an odd number of half-twists $\mathcal{K}_{p,\frac{s}{2}}$ by using the Kauffman bracket skein theory. It answers a question proposed by Lovejoy and Osburn in 2019.
△ Less
Submitted 31 August, 2023;
originally announced August 2023.
-
Robust Discontinuity Indicators for High-Order Reconstruction of Piecewise Smooth Functions
Authors:
Yipeng Li,
Qiao Chen,
Xiangmin Jiao
Abstract:
In many applications, piecewise continuous functions are commonly interpolated over meshes. However, accurate high-order manipulations of such functions can be challenging due to potential spurious oscillations known as the Gibbs phenomena. To address this challenge, we propose a novel approach, Robust Discontinuity Indicators (RDI), which can efficiently and reliably detect both C^{0} and C^{1} d…
▽ More
In many applications, piecewise continuous functions are commonly interpolated over meshes. However, accurate high-order manipulations of such functions can be challenging due to potential spurious oscillations known as the Gibbs phenomena. To address this challenge, we propose a novel approach, Robust Discontinuity Indicators (RDI), which can efficiently and reliably detect both C^{0} and C^{1} discontinuities for node-based and cell-averaged values. We present a detailed analysis focusing on its derivation and the dual-thresholding strategy. A key advantage of RDI is its ability to handle potential inaccuracies associated with detecting discontinuities on non-uniform meshes, thanks to its innovative discontinuity indicators. We also extend the applicability of RDI to handle general surfaces with boundaries, features, and ridge points, thereby enhancing its versatility and usefulness in various scenarios. To demonstrate the robustness of RDI, we conduct a series of experiments on non-uniform meshes and general surfaces, and compare its performance with some alternative methods. By addressing the challenges posed by the Gibbs phenomena and providing reliable detection of discontinuities, RDI opens up possibilities for improved approximation and analysis of piecewise continuous functions, such as in data remap.
△ Less
Submitted 4 August, 2023;
originally announced August 2023.
-
On the asymptotic expansions of various quantum invariants II: the colored Jones polynomial of twist knots at the root of unity $e^{\frac{2π\sqrt{-1}}{N+\frac{1}{M}}}$ and $e^{\frac{2π\sqrt{-1}}{N}}$
Authors:
Qingtao Chen,
Shengmao Zhu
Abstract:
This is the second article in a series devoted to the study of the asymptotic expansions of various quantum invariants related to the twist knots. In this article, following the method and results in \cite{CZ23-1}, we present an asymptotic expansion formula for the colored Jones polynomial of twist knot $\mathcal{K}_p$ with $p\geq 6$ at the root of unity $e^{\frac{2π\sqrt{-1}}{N+\frac{1}{M}}}$ wit…
▽ More
This is the second article in a series devoted to the study of the asymptotic expansions of various quantum invariants related to the twist knots. In this article, following the method and results in \cite{CZ23-1}, we present an asymptotic expansion formula for the colored Jones polynomial of twist knot $\mathcal{K}_p$ with $p\geq 6$ at the root of unity $e^{\frac{2π\sqrt{-1}}{N+\frac{1}{M}}}$ with $M\geq 2$. Furthermore, by taking the limit $M\rightarrow +\infty$, we obtain an asymptotic expansion formula for the colored Jones polynomial of twist knots $\mathcal{K}_p$ with $p\geq 6$ at the root of unity $e^{\frac{2π\sqrt{-1}}{N}}$.
△ Less
Submitted 25 July, 2023;
originally announced July 2023.
-
On the asymptotic expansions of various quantum invariants I: the colored Jones polynomial of twist knots at the root of unity $e^{\frac{2π\sqrt{-1}}{N+\frac{1}{2}}}$
Authors:
Qingtao Chen,
Shengmao Zhu
Abstract:
This is the first article in a series devoted to the study of the asymptotic expansions of various quantum invariants related to the twist knots. In this paper, by using the saddle point method developed by Ohtsuki, we obtain an asymptotic expansion formula for the colored Jones polynomial of twist knots $\mathcal{K}_p$ with $p\geq 6$ at the root of unity $e^{\frac{2π\sqrt{-1}}{N+\frac{1}{2}}}$.
This is the first article in a series devoted to the study of the asymptotic expansions of various quantum invariants related to the twist knots. In this paper, by using the saddle point method developed by Ohtsuki, we obtain an asymptotic expansion formula for the colored Jones polynomial of twist knots $\mathcal{K}_p$ with $p\geq 6$ at the root of unity $e^{\frac{2π\sqrt{-1}}{N+\frac{1}{2}}}$.
△ Less
Submitted 24 July, 2023;
originally announced July 2023.
-
The Runge--Kutta discontinuous Galerkin method with compact stencils for hyperbolic conservation laws
Authors:
Qifan Chen,
Zheng Sun,
Yulong Xing
Abstract:
In this paper, we develop a new type of Runge--Kutta (RK) discontinuous Galerkin (DG) method for solving hyperbolic conservation laws. Compared with the original RKDG method, the new method features improved compactness and allows simple boundary treatment. The key idea is to hybridize two different spatial operators in an explicit RK scheme, utilizing local projected derivatives for inner RK stag…
▽ More
In this paper, we develop a new type of Runge--Kutta (RK) discontinuous Galerkin (DG) method for solving hyperbolic conservation laws. Compared with the original RKDG method, the new method features improved compactness and allows simple boundary treatment. The key idea is to hybridize two different spatial operators in an explicit RK scheme, utilizing local projected derivatives for inner RK stages and the usual DG spatial discretization for the final stage only. Limiters are applied only at the final stage for the control of spurious oscillations. We also explore the connections between our method and Lax--Wendroff DG schemes and ADER-DG schemes. Numerical examples are given to confirm that the new RKDG method is as accurate as the original RKDG method, while being more compact, for problems including two-dimensional Euler equations for compressible gas dynamics.
△ Less
Submitted 23 February, 2024; v1 submitted 12 July, 2023;
originally announced July 2023.
-
Parameter Identification for Partial Differential Equations with Spatiotemporal Varying Coefficients
Authors:
Guangtao Zhang,
Yiting Duan,
Guanyu Pan,
Qi**g Chen,
Huiyu Yang,
Zhikun Zhang
Abstract:
To comprehend complex systems with multiple states, it is imperative to reveal the identity of these states by system outputs. Nevertheless, the mathematical models describing these systems often exhibit nonlinearity so that render the resolution of the parameter inverse problem from the observed spatiotemporal data a challenging endeavor. Starting from the observed data obtained from such systems…
▽ More
To comprehend complex systems with multiple states, it is imperative to reveal the identity of these states by system outputs. Nevertheless, the mathematical models describing these systems often exhibit nonlinearity so that render the resolution of the parameter inverse problem from the observed spatiotemporal data a challenging endeavor. Starting from the observed data obtained from such systems, we propose a novel framework that facilitates the investigation of parameter identification for multi-state systems governed by spatiotemporal varying parametric partial differential equations. Our framework consists of two integral components: a constrained self-adaptive physics-informed neural network, encompassing a sub-network, as our methodology for parameter identification, and a finite mixture model approach to detect regions of probable parameter variations. Through our scheme, we can precisely ascertain the unknown varying parameters of the complex multi-state system, thereby accomplishing the inversion of the varying parameters. Furthermore, we have showcased the efficacy of our framework on two numerical cases: the 1D Burgers' equation with time-varying parameters and the 2D wave equation with a space-varying parameter.
△ Less
Submitted 30 June, 2023;
originally announced July 2023.
-
Matroidal Entropy Functions: Constructions, Characterizations and Representations
Authors:
Qi Chen,
Minquan Cheng,
Baoming Bai
Abstract:
Matroidal entropy functions are entropy functions in the form $\mathbf{h} = \log v \cdot \mathbf{r}_M$ , where $v \ge 2$ is an integer and $\mathbf{r}_M$ is the rank function of a matroid $M$. They can be applied into capacity characterization and code construction of information theory problems such as network coding, secret sharing, index coding and locally repairable code. In this paper, by con…
▽ More
Matroidal entropy functions are entropy functions in the form $\mathbf{h} = \log v \cdot \mathbf{r}_M$ , where $v \ge 2$ is an integer and $\mathbf{r}_M$ is the rank function of a matroid $M$. They can be applied into capacity characterization and code construction of information theory problems such as network coding, secret sharing, index coding and locally repairable code. In this paper, by constructing the variable strength arrays of some matroid operations, we characterized matroidal entropy functions induced by regular matroids and some matroids with the same p-characteristic set as uniform matroid $U_{2,4}$.
△ Less
Submitted 30 January, 2024; v1 submitted 29 June, 2023;
originally announced June 2023.
-
On Panja-Prasad conjecture
Authors:
Qian Chen
Abstract:
In the present paper we shall investigate the Waring's problem for upper triangular matrix algebras. The main result is the following: Let $n\geq 2$ and $m\geq 1$ be integers. Let $p(x_1,\ldots,x_m)$ be a noncommutative polynomial with zero constant term over an infinite field $K$. Let $T_n(K)$ be the set of all $n\times n$ upper triangular matrices over $K$. Suppose $1<r<n-1$, where $r$ is the or…
▽ More
In the present paper we shall investigate the Waring's problem for upper triangular matrix algebras. The main result is the following: Let $n\geq 2$ and $m\geq 1$ be integers. Let $p(x_1,\ldots,x_m)$ be a noncommutative polynomial with zero constant term over an infinite field $K$. Let $T_n(K)$ be the set of all $n\times n$ upper triangular matrices over $K$. Suppose $1<r<n-1$, where $r$ is the order of $p$. We have that $p(T_n(K))+p(T_n(K))=J^r$, where $J$ is the Jacobson radical of $T_n(K)$. If $r=n-2$, then $p(T_n(K))=J^{n-2}$. This gives a definitive solution of a conjecture proposed by Panja and Prasad.
△ Less
Submitted 29 June, 2023; v1 submitted 26 June, 2023;
originally announced June 2023.
-
The multiplicity of a Hermitian eigenvalue on graphs
Authors:
Qian-Qian Chen,
Ji-Ming Guo,
Zhiwen Wang
Abstract:
For a graph $G$, let $\mathcal{S}(G)$ be the set consisting of Hermitian matrices whose graph is $G$. Denoted by $m_B(G,λ)$ the multiplicity of an eigenvalue $λ$ of $B(G)\in \mathcal{S}(G)$, we show that $m_B(G,λ)\le 2θ(G)+p(G)$ where $θ(G)$ and $p(G)$ are the cyclomatic number and the number of pendent vertices of $G$ respectively, and characterize the graphs attaining the equality. This is a gen…
▽ More
For a graph $G$, let $\mathcal{S}(G)$ be the set consisting of Hermitian matrices whose graph is $G$. Denoted by $m_B(G,λ)$ the multiplicity of an eigenvalue $λ$ of $B(G)\in \mathcal{S}(G)$, we show that $m_B(G,λ)\le 2θ(G)+p(G)$ where $θ(G)$ and $p(G)$ are the cyclomatic number and the number of pendent vertices of $G$ respectively, and characterize the graphs attaining the equality. This is a generalization of a result on adjacency matrix by Wang et al.\cite{Wang1}. Moreover, they arose an open problem in \cite{Wang1}: \textit{characterize all graphs with $m_A(G,λ)=2θ(G)+p(G)-1$ for any eigenvalue $λ$ of its adjacency matrix.}
In this paper, we completely characterize the graphs with $m_B(G,λ)=2θ(G)+p(G)-1$ for any eigenvalue $λ$ of an arbitrary Hermitian matrix $B(G)\in \mathcal{S}(G)$. This result provides a stronger answer to the above problem, and encompasses some previous known works considering $λ=-1$ or $0$ on the problem.
△ Less
Submitted 24 June, 2023;
originally announced June 2023.
-
Stability scattering diagrams and quiver coverings
Authors:
Qiyue Chen,
Travis Mandel,
Fan Qin
Abstract:
Given a covering of a quiver (with potential), we show that the associated Bridgeland stability scattering diagrams are related by a restriction operation under the assumption of admitting a nice grading. We apply this to quivers with potential associated to marked surfaces. In combination with recent results of the second and third authors, our findings imply that the bracelets basis for a once-p…
▽ More
Given a covering of a quiver (with potential), we show that the associated Bridgeland stability scattering diagrams are related by a restriction operation under the assumption of admitting a nice grading. We apply this to quivers with potential associated to marked surfaces. In combination with recent results of the second and third authors, our findings imply that the bracelets basis for a once-punctured closed surface coincides with the theta basis for the associated stability scattering diagram, and these stability scattering diagrams agree with the corresponding cluster scattering diagrams of Gross-Hacking-Keel-Kontsevich except in the case of the once-punctured torus.
△ Less
Submitted 6 June, 2023;
originally announced June 2023.
-
Stress concentration for nonlinear insulated conductivity problem with adjacent inclusions
Authors:
Qionglei Chen,
Zhiwen Zhao
Abstract:
A high-contrast two-phase nonlinear composite material with adjacent inclusions of $m$-convex shapes is considered for $m>2$. The mathematical formulation consists of the insulated conductivity problem with $p$-Laplace operator in $\mathbb{R}^{d}$ for $p>1$ and $d\geq2$. The stress, which is the gradient of the solution, always blows up with respect to the distance $\varepsilon$ between two inclus…
▽ More
A high-contrast two-phase nonlinear composite material with adjacent inclusions of $m$-convex shapes is considered for $m>2$. The mathematical formulation consists of the insulated conductivity problem with $p$-Laplace operator in $\mathbb{R}^{d}$ for $p>1$ and $d\geq2$. The stress, which is the gradient of the solution, always blows up with respect to the distance $\varepsilon$ between two inclusions as $\varepsilon$ goes to zero. We first establish the pointwise upper bound on the gradient possessing the singularity of order $\varepsilon^{-β}$ with $β=(1-α)/m$ for some $α\geq0$, where $α=0$ if $d=2$ and $α>0$ if $d\geq3$. In particular, we give a quantitative description for the range of horizontal length of the narrow channel in the process of establishing the gradient estimates, which provides a clear understanding for the applied techniques and methods. For $d\geq2$, we further construct a supersolution to sharpen the upper bound with any $β>(d+m-2)/(m(p-1))$ when $p>d+m-1$. Finally, a subsolution is also constructed to show the almost optimality of the blow-up rate $\varepsilon^{-1/\max\{p-1,m\}}$ in the presence of curvilinear squares. This fact reveals a novel dichotomy phenomena that the singularity of the gradient is uniquely determined by one of the convexity parameter $m$ and the nonlinear exponent $p$ except for the critical case of $p=m+1$ in two dimensions.
△ Less
Submitted 13 June, 2023; v1 submitted 6 June, 2023;
originally announced June 2023.
-
Logic of the Hide and Seek Game: Characterization, Axiomatization, Decidability
Authors:
Qian Chen,
Dazhu Li
Abstract:
The logic of the hide and seek game LHS was proposed to reason about search missions and interactions between agents in pursuit-evasion environments. As proved in literature, having an equality constant in the language of LHS drastically increases its computational complexity: the satisfiability problem for LHS with multiple relations is undecidable. In this work we improve the existing result by…
▽ More
The logic of the hide and seek game LHS was proposed to reason about search missions and interactions between agents in pursuit-evasion environments. As proved in literature, having an equality constant in the language of LHS drastically increases its computational complexity: the satisfiability problem for LHS with multiple relations is undecidable. In this work we improve the existing result by showing that LHS with a single relation is undecidable. With the existing findings, we provide a van Benthem style characterization theorem for the expressive power of the logic. Finally, by `splitting' the language of LHS-, a crucial fragment of LHS without the equality constant, into two `isolated parts', we provide a complete Hilbert style proof system for LHS- and prove that its satisfiability problem is decidable, whose proofs would indicate significant differences between the proposals of LHS- and of ordinary product logics. Although LHS and LHS- are frameworks for interactions of 2 agents, all results in the article can be easily transferred to their generalizations for settings with any n > 2 agents.
△ Less
Submitted 25 May, 2023;
originally announced May 2023.
-
A note on the image of polynomials and Waring type problems on upper triangular matrix algebras
Authors:
Q. Chen
Abstract:
In the present paper we shall obtain a result on the image of polynomials with zero constant term on upper triangular matrix algebras over an algebraically closed field. This is a supplement to a result obtained by Panja and Prasad recently.
In the present paper we shall obtain a result on the image of polynomials with zero constant term on upper triangular matrix algebras over an algebraically closed field. This is a supplement to a result obtained by Panja and Prasad recently.
△ Less
Submitted 2 June, 2023; v1 submitted 19 May, 2023;
originally announced May 2023.
-
Entropy Functions on Two-Dimensional Faces of Polymatroidal Region of Degree Four
Authors:
Shaocheng Liu,
Qi Chen
Abstract:
In this paper, we characterize entropy functions on the 2-dimensional faces of the polymatroidal region $Γ_4$. We enumerate all 59 types of 2-dimensional faces of $Γ_4$ and fully characterized entropy functions on 27 types of them, among which 4 types are non-trivial.
In this paper, we characterize entropy functions on the 2-dimensional faces of the polymatroidal region $Γ_4$. We enumerate all 59 types of 2-dimensional faces of $Γ_4$ and fully characterized entropy functions on 27 types of them, among which 4 types are non-trivial.
△ Less
Submitted 10 May, 2023;
originally announced May 2023.
-
Generalizing Frobenius Inversion to Quaternion Matrices
Authors:
Qiyuan Chen,
J. Uhlmann,
Ke Ye
Abstract:
In this paper we derive and analyze an algorithm for inverting quaternion matrices. The algorithm is an analogue of the Frobenius algorithm for the complex matrix inversion. On the theory side, we prove that our algorithm is more efficient that other existing methods. Moreover, our algorithm is optimal in the sense of the least number of complex inversions. On the practice side, our algorithm outp…
▽ More
In this paper we derive and analyze an algorithm for inverting quaternion matrices. The algorithm is an analogue of the Frobenius algorithm for the complex matrix inversion. On the theory side, we prove that our algorithm is more efficient that other existing methods. Moreover, our algorithm is optimal in the sense of the least number of complex inversions. On the practice side, our algorithm outperforms existing algorithms on randomly generated matrices. We argue that this algorithm can be used to improve the practical utility of recursive Strassen-type algorithms by providing the fastest possible base case for the recursive decomposition process when applied to quaternion matrices.
△ Less
Submitted 3 May, 2023;
originally announced May 2023.
-
Verdier specialization and restrictions of Hodge modules
Authors:
Qianyu Chen,
Bradley Dirks,
Morihiko Saito
Abstract:
We give an explicit formula to express the cohomological pullback functors of Hodge modules under closed immersions of smooth varieties using Verdier specializations and $V$-filtrations of Kashiwara and Malgrange. This was locally obtained by the first two authors assuming the existence of global defining functions. We also give a quite simplified proof of the theorem reducing to the monodromical…
▽ More
We give an explicit formula to express the cohomological pullback functors of Hodge modules under closed immersions of smooth varieties using Verdier specializations and $V$-filtrations of Kashiwara and Malgrange. This was locally obtained by the first two authors assuming the existence of global defining functions. We also give a quite simplified proof of the theorem reducing to the monodromical case via the Verdier specialization and using induction on codimension.
△ Less
Submitted 18 May, 2023; v1 submitted 26 April, 2023;
originally announced April 2023.
-
Images of linear polynomials on upper triangular matrix algebras
Authors:
Yingyu Luo,
Qian Chen
Abstract:
The Fagundes-Mello conjecture asserts that every multilinear polynomial on upper triangular matrix algebras is a vector space, which is an improtant variation of the old and famous Lvov-Kaplansky conjecture. The goal of the paper is to give a description of the images of linear polynomials with zero constant term on the upper triangular matrix algebra under a mild condition on the ground field. As…
▽ More
The Fagundes-Mello conjecture asserts that every multilinear polynomial on upper triangular matrix algebras is a vector space, which is an improtant variation of the old and famous Lvov-Kaplansky conjecture. The goal of the paper is to give a description of the images of linear polynomials with zero constant term on the upper triangular matrix algebra under a mild condition on the ground field. As a consequence we improve all results on the Fagundes-Mello conjecture. As another consequence we improve some results by Fagundes and Koshlukov on the images of multilinear graded polynomials on upper triangular matrix algebras.
△ Less
Submitted 4 April, 2023;
originally announced April 2023.
-
Nonlinear inviscid dam** for 2-D inhomogeneous incompressible Euler equations
Authors:
Qi Chen,
Dongyi Wei,
** Zhang,
Zhifei Zhang
Abstract:
We prove the asymptotic stability of shear flows close to the Couette flow for the 2-D inhomogeneous incompressible Euler equations on $\mathbb{T}\times \mathbb{R}$. More precisely, if the initial velocity is close to the Couette flow and the initial density is close to a positive constant in the Gevrey class 2, then 2-D inhomogeneous incompressible Euler equations are globally well-posed and the…
▽ More
We prove the asymptotic stability of shear flows close to the Couette flow for the 2-D inhomogeneous incompressible Euler equations on $\mathbb{T}\times \mathbb{R}$. More precisely, if the initial velocity is close to the Couette flow and the initial density is close to a positive constant in the Gevrey class 2, then 2-D inhomogeneous incompressible Euler equations are globally well-posed and the velocity converges strongly to a shear flow close to the Couette flow, and the vorticity will be driven to small scales by a linear evolution and weakly converges as $t\to \infty$. To our knowledge, this is the first global well-posedness result for the 2-D inhomogeneous incompressible Euler equations.
△ Less
Submitted 26 March, 2023;
originally announced March 2023.
-
Series-Parallel Mechanical Circuit Synthesis of a Positive-Real Third-Order Admittance Using at Most Six Passive Elements for Inerter-Based Control
Authors:
Kai Wang,
Michael Z. Q. Chen,
Fei Liu
Abstract:
This paper investigates the circuit synthesis problem for a certain positive-real bicubic (third-order) admittance with a simple pole at the origin (s = 0) to be realizable as a one-port series-parallel damper-spring-inerter circuit consisting of at most six elements, where the results can be directly applied to the design and physical realization of inerter-based control systems. Necessary and su…
▽ More
This paper investigates the circuit synthesis problem for a certain positive-real bicubic (third-order) admittance with a simple pole at the origin (s = 0) to be realizable as a one-port series-parallel damper-spring-inerter circuit consisting of at most six elements, where the results can be directly applied to the design and physical realization of inerter-based control systems. Necessary and sufficient conditions for such a specific bicubic admittance to be realizable by a one-port passive series-parallel mechanical circuit containing at most six elements are derived, and a group of mechanical circuit configurations covering the whole set of realizability conditions are presented together with element value expressions. The conditions and element value expressions are related to the admittance coefficients and the roots of certain algebraic equations. The circuit synthesis results of this paper are illustrated by several numerical examples including the control system design of a train suspension system. Any realization circuit in this paper contains much fewer passive elements than the ten-element realization circuit by the well-known Bott-Duffin circuit synthesis approach. The investigations of this paper can contribute to the theory of circuit synthesis and many other related fields.
△ Less
Submitted 26 March, 2023;
originally announced March 2023.
-
The spectral radius of graphs with fractional matching number
Authors:
Qian-Qian Chen,
Ji-Ming Guo
Abstract:
Let $\mathcal{G}_{n, β^*}$ $(\mathcal{G}^*_{n,β^*})$ be the set of all (connected) graphs of order $n$ with fractional matching number $β^*$. In this paper, the graphs with maximal spectral radius in $\mathcal{G}_{n,β^*}$ and $\mathcal{G}^*_{n,β^*}$ are characterized, respectively. Moreover, a lower bound for the spectral radius in graphs with order $n$ to guarantee the existence of a perfect frac…
▽ More
Let $\mathcal{G}_{n, β^*}$ $(\mathcal{G}^*_{n,β^*})$ be the set of all (connected) graphs of order $n$ with fractional matching number $β^*$. In this paper, the graphs with maximal spectral radius in $\mathcal{G}_{n,β^*}$ and $\mathcal{G}^*_{n,β^*}$ are characterized, respectively. Moreover, a lower bound for the spectral radius in graphs with order $n$ to guarantee the existence of a perfect fractional matching is also given, which generalizes the main result of O [Suil O, Spectral radius and matchings in graphs, Linear Algebra and its Applications, 2020].
△ Less
Submitted 10 March, 2023;
originally announced March 2023.