-
An Equidistribution Result for Differences Associated to Square Pyramidal Numbers II
Authors:
Anji Dong,
Katerina Saettone,
Kendra Song,
Alexandru Zaharescu
Abstract:
This paper presents some new results concerned with uniform distribution properties associated with the sequence $(a_n)_{n\in\mathbb{N}}$, which is defined as the distance from the $n$-th square pyramidal number to the closest square. We also extend the results to arithmetic progressions.
This paper presents some new results concerned with uniform distribution properties associated with the sequence $(a_n)_{n\in\mathbb{N}}$, which is defined as the distance from the $n$-th square pyramidal number to the closest square. We also extend the results to arithmetic progressions.
△ Less
Submitted 7 May, 2025;
originally announced May 2025.
-
Data-driven model order reduction for T-Product-Based dynamical systems
Authors:
Shenghan Mei,
Ziqin He,
Yidan Mei,
Xin Mao,
Anqi Dong,
Ren Wang,
Can Chen
Abstract:
Model order reduction plays a crucial role in simplifying complex systems while preserving their essential dynamic characteristics, making it an invaluable tool in a wide range of applications, including robotic systems, signal processing, and fluid dynamics. However, traditional model order reduction techniques like balanced truncation are not designed to handle tensor data directly and instead r…
▽ More
Model order reduction plays a crucial role in simplifying complex systems while preserving their essential dynamic characteristics, making it an invaluable tool in a wide range of applications, including robotic systems, signal processing, and fluid dynamics. However, traditional model order reduction techniques like balanced truncation are not designed to handle tensor data directly and instead require unfolding the data, which may lead to the loss of important higher-order structural information. In this article, we introduce a novel framework for data-driven model order reduction of T-product-based dynamical systems (TPDSs), which are often used to capture the evolution of third-order tensor data such as images and videos through the T-product. Specifically, we develop advanced T-product-based techniques, including T-balanced truncation, T-balanced proper orthogonal decomposition, and the T-eigensystem realization algorithm for input-output TPDSs by leveraging the unique properties of T-singular value decomposition. We demonstrate that these techniques offer significant memory and computational savings while achieving reduction errors that are comparable to those of conventional methods. The effectiveness of the proposed framework is further validated through synthetic and real-world examples.
△ Less
Submitted 20 April, 2025;
originally announced April 2025.
-
Tensor-based homogeneous polynomial dynamical system analysis from data
Authors:
Xin Mao,
Anqi Dong,
Ziqin He,
Yidan Mei,
Shenghan Mei,
Can Chen
Abstract:
Numerous complex real-world systems, such as those in biological, ecological, and social networks, exhibit higher-order interactions that are often modeled using polynomial dynamical systems or homogeneous polynomial dynamical systems (HPDSs). However, identifying system parameters and analyzing key system-theoretic properties remain challenging due to their inherent nonlinearity and complexity, p…
▽ More
Numerous complex real-world systems, such as those in biological, ecological, and social networks, exhibit higher-order interactions that are often modeled using polynomial dynamical systems or homogeneous polynomial dynamical systems (HPDSs). However, identifying system parameters and analyzing key system-theoretic properties remain challenging due to their inherent nonlinearity and complexity, particularly for large-scale systems. To address these challenges, we develop an innovative computational framework in this article that leverages advanced tensor decomposition techniques, namely tensor train and hierarchical Tucker decompositions, to facilitate efficient identification and analysis of HPDSs that can be equivalently represented by tensors. Specifically, we introduce memory-efficient system identification techniques for directly estimating system parameters represented through tensor decompositions from time-series data. Additionally, we develop necessary and sufficient conditions for determining controllability and observability using the tensor decomposition-based representations of HPDSs, accompanied by detailed complexity analyses that demonstrate significant reductions in computational demands. The effectiveness and efficiency of our framework are validated through numerical examples.
△ Less
Submitted 22 March, 2025;
originally announced March 2025.
-
Task Allocation for Multi-agent Systems via Unequal-dimensional Optimal Transport
Authors:
Anqi Dong,
Karl H. Johansson,
Johan Karlsson
Abstract:
We consider a probabilistic model for large-scale task allocation problems for multi-agent systems, aiming to determine an optimal deployment strategy that minimizes the overall transport cost. Specifically, we assign transportation agents to delivery tasks with given pick-up and drop-off locations, pairing the spatial distribution of transport resources with the joint distribution of task origins…
▽ More
We consider a probabilistic model for large-scale task allocation problems for multi-agent systems, aiming to determine an optimal deployment strategy that minimizes the overall transport cost. Specifically, we assign transportation agents to delivery tasks with given pick-up and drop-off locations, pairing the spatial distribution of transport resources with the joint distribution of task origins and destinations. This aligns with the optimal mass transport framework where the problem and is in the unequal-dimensional setting. The task allocation problem can be thus seen as a linear programming problem that minimizes a quadratic transport cost functional, optimizing the energy of all transport units. The problem is motivated by time-sensitive medical deliveries using drones, such as emergency equipment and blood transport. In this paper, we establish the existence, uniqueness, and smoothness of the optimal solution, and illustrate its properties through numerical simulations.
△ Less
Submitted 12 March, 2025;
originally announced March 2025.
-
Strange and pseudo-differentiable functions with applications to prime partitions
Authors:
Anji Dong,
Nicolas Robles,
Alexandru Zaharescu,
Dirk Zeindler
Abstract:
Let $\mathfrak{p}_{\mathbb{P}_r}(n)$ denote the number of partitions of $n$ into $r$-full primes. We use the Hardy-Littlewood circle method to find the asymptotic of $\mathfrak{p}_{\mathbb{P}_r}(n)$ as $n \to \infty$. This extends previous results in the literature of partitions into primes. We also show an analogue result involving convolutions of von Mangoldt functions and the zeros of the Riema…
▽ More
Let $\mathfrak{p}_{\mathbb{P}_r}(n)$ denote the number of partitions of $n$ into $r$-full primes. We use the Hardy-Littlewood circle method to find the asymptotic of $\mathfrak{p}_{\mathbb{P}_r}(n)$ as $n \to \infty$. This extends previous results in the literature of partitions into primes. We also show an analogue result involving convolutions of von Mangoldt functions and the zeros of the Riemann zeta-function. To handle the resulting non-principal major arcs we introduce the definition of strange functions and pseudo-differentiability.
△ Less
Submitted 30 April, 2025; v1 submitted 28 December, 2024;
originally announced December 2024.
-
Exponential sums twisted by general arithmetic functions
Authors:
Anji Dong,
Nicolas Robles,
Alexandru Zaharescu,
Dirk Zeindler
Abstract:
We examine exponential sums of the form $\sum_{n \le X} w(n) e^{2πiαn^k}$, for $k=1,2$, where $α$ satisfies a generalized Diophantine approximation and where $w$ are different arithmetic functions that might be multiplicative, additive, or neither. A strategy is shown on how to bound these sums for a wide class of functions $w$ belonging within the same ecosystem. Using this new technology we are…
▽ More
We examine exponential sums of the form $\sum_{n \le X} w(n) e^{2πiαn^k}$, for $k=1,2$, where $α$ satisfies a generalized Diophantine approximation and where $w$ are different arithmetic functions that might be multiplicative, additive, or neither. A strategy is shown on how to bound these sums for a wide class of functions $w$ belonging within the same ecosystem. Using this new technology we are able to improve current results on minor arcs that have recently appeared in the literature of the Hardy-Littlewood circle method. Lastly, we show how a bound on $\sum_{n \le X} |μ(n)| e^{2πiαn}$ can be used to study partitions asymptotics over squarefree parts and explain their connection to the zeros of the Riemann zeta-function.
△ Less
Submitted 28 December, 2024;
originally announced December 2024.
-
On the order of 4-dimensional regular polytope numbers
Authors:
Anji Dong,
The Nguyen,
Alexandru Zaharescu
Abstract:
In light of Kim's conjecture on regular polytopes of dimension four, which is a generalization of Waring's problem, we establish asymptotic formulas for representing any sufficiently large integer as a sum of numbers in the form of those regular 4-polytopes. Moreover, we are able to obtain a more general result of the asymptotics for any degree-four polynomial $f$ satisfying $f(0)=0$ and $f(1)=1$.
In light of Kim's conjecture on regular polytopes of dimension four, which is a generalization of Waring's problem, we establish asymptotic formulas for representing any sufficiently large integer as a sum of numbers in the form of those regular 4-polytopes. Moreover, we are able to obtain a more general result of the asymptotics for any degree-four polynomial $f$ satisfying $f(0)=0$ and $f(1)=1$.
△ Less
Submitted 18 December, 2024;
originally announced December 2024.
-
An Equidistribution Result for Differences Associated with Square Pyramidal Numbers
Authors:
Anji Dong,
Katerina Saettone,
Kendra Song,
Alexandru Zaharescu
Abstract:
We provide an asymptotic formula for the average value of the sequence A351830: $a_{n} = |P_{n} - y^{2}_{n}|$ for $1 \leq n \leq x$, where $P_{n}$ is the $n$-th square pyramidal number and $y^{2}_{n}$ is the closest square to $P_{n}$. Moreover, we supply asymptotic formulas for the $k$-th moment of the same sequence, for any fixed natural number $k$.
We provide an asymptotic formula for the average value of the sequence A351830: $a_{n} = |P_{n} - y^{2}_{n}|$ for $1 \leq n \leq x$, where $P_{n}$ is the $n$-th square pyramidal number and $y^{2}_{n}$ is the closest square to $P_{n}$. Moreover, we supply asymptotic formulas for the $k$-th moment of the same sequence, for any fixed natural number $k$.
△ Less
Submitted 21 April, 2025; v1 submitted 13 December, 2024;
originally announced December 2024.
-
Data-driven Analysis of T-Product-based Dynamical Systems
Authors:
Xin Mao,
Anqi Dong,
Ziqin He,
Yidan Mei,
Can Chen
Abstract:
A wide variety of data can be represented using third-order tensors, spanning applications in chemometrics, psychometrics, and image processing. However, traditional data-driven frameworks are not naturally equipped to process tensors without first unfolding or flattening the data, which can result in a loss of crucial higher-order structural information. In this article, we introduce a novel fram…
▽ More
A wide variety of data can be represented using third-order tensors, spanning applications in chemometrics, psychometrics, and image processing. However, traditional data-driven frameworks are not naturally equipped to process tensors without first unfolding or flattening the data, which can result in a loss of crucial higher-order structural information. In this article, we introduce a novel framework for the data-driven analysis of T-product-based dynamical systems (TPDSs), where the system evolution is governed by the T-product between a third-order dynamic tensor and a third-order state tensor. In particular, we examine the data informativity of TPDSs concerning system identification, stability, controllability, and stabilizability and illustrate significant computational improvements over traditional approaches by leveraging the unique properties of the T-product. The effectiveness of our framework is demonstrated through numerical examples.
△ Less
Submitted 27 October, 2024;
originally announced October 2024.
-
Almost all primes are not needed in Ternary Goldbach
Authors:
Debmalya Basak,
Raghavendra N. Bhat,
Anji Dong,
Alexandru Zaharescu
Abstract:
The ternary Goldbach conjecture states that every odd number $m \geqslant 7$ can be written as the sum of three primes. We construct a set of primes $\mathbb{P}$ defined by an expanding system of admissible congruences such that almost all primes are not in $\mathbb{P}$ and still, the ternary Goldbach conjecture holds true with primes restricted to $\mathbb{P}$.
The ternary Goldbach conjecture states that every odd number $m \geqslant 7$ can be written as the sum of three primes. We construct a set of primes $\mathbb{P}$ defined by an expanding system of admissible congruences such that almost all primes are not in $\mathbb{P}$ and still, the ternary Goldbach conjecture holds true with primes restricted to $\mathbb{P}$.
△ Less
Submitted 13 September, 2024;
originally announced September 2024.
-
Controllability and Observability of Temporal Hypergraphs
Authors:
Anqi Dong,
Xin Mao,
Can Chen
Abstract:
Numerous complex systems, such as those arisen in ecological networks, genomic contact networks, and social networks, exhibit higher-order and time-varying characteristics, which can be effectively modeled using temporal hypergraphs. However, analyzing and controlling temporal hypergraphs poses significant challenges due to their inherent time-varying and nonlinear nature, while most existing meth…
▽ More
Numerous complex systems, such as those arisen in ecological networks, genomic contact networks, and social networks, exhibit higher-order and time-varying characteristics, which can be effectively modeled using temporal hypergraphs. However, analyzing and controlling temporal hypergraphs poses significant challenges due to their inherent time-varying and nonlinear nature, while most existing methods predominantly target static hypergraphs. In this article, we generalize the notions of controllability and observability to temporal hypergraphs by leveraging tensor and nonlinear systems theory. Specifically, we establish tensor-based rank conditions to determine the weak controllability and observability of temporal hypergraphs. The proposed framework is further demonstrated with synthetic and real-world examples.
△ Less
Submitted 21 August, 2024;
originally announced August 2024.
-
Network Learning with Directional Sign Patterns
Authors:
Anqi Dong,
Can Chen,
Tryphon T. Georgiou
Abstract:
Complex systems can be effectively modeled via graphs that encode networked interactions, where relations between entities or nodes are often quantified by signed edge weights, e.g., promotion/inhibition in gene regulatory networks, or encoding political of friendship differences in social networks. However, it is often the case that only an aggregate consequence of such edge weights that characte…
▽ More
Complex systems can be effectively modeled via graphs that encode networked interactions, where relations between entities or nodes are often quantified by signed edge weights, e.g., promotion/inhibition in gene regulatory networks, or encoding political of friendship differences in social networks. However, it is often the case that only an aggregate consequence of such edge weights that characterize relations may be directly observable, as in protein expression of in gene regulatory networks. Thus, learning edge weights poses a significant challenge that is further exacerbated for intricate and large-scale networks. In this article, we address a model problem to determine the strength of sign-indefinite relations that explain marginal distributions that constitute our data. To this end, we develop a paradigm akin to that of the Schrödinger bridge problem and an efficient Sinkhorn type algorithm (more properly, Schrödinger-Fortet-Sinkhorn algorithm) that allows fast convergence to parameters that minimize a relative entropy/likelihood criterion between the sought signed adjacency matrix and a prior. The formalism that we present represents a novel generalization of the earlier Schrödinger formalism in that marginal computations may incorporate weights that model directionality in underlying relations, and further, that it can be extended to high-order networks -- the Schrödinger-Fortet-Sinkhorn algorithm that we derive is applicable all the same and allows geometric convergence to a sought sign-indefinite adjacency matrix or tensor, for high-order networks. We demonstrate our framework with synthetic and real-world examples.
△ Less
Submitted 4 April, 2024; v1 submitted 21 March, 2024;
originally announced March 2024.
-
On Complexity of Stability Analysis in Higher-order Ecological Networks through Tensor Decompositions
Authors:
Anqi Dong,
Can Chen
Abstract:
Complex ecological networks are often characterized by intricate interactions that extend beyond pairwise relationships. Understanding the stability of higher-order ecological networks is salient for species coexistence, biodiversity, and community persistence. In this article, we present complexity analyses for determining the linear stability of higher-order ecological networks through tensor de…
▽ More
Complex ecological networks are often characterized by intricate interactions that extend beyond pairwise relationships. Understanding the stability of higher-order ecological networks is salient for species coexistence, biodiversity, and community persistence. In this article, we present complexity analyses for determining the linear stability of higher-order ecological networks through tensor decompositions. We are interested in the higher-order generalized Lotka-Volterra model, which captures high-order interactions using tensors of varying orders. To efficiently compute Jacobian matrices and thus determine stability in large ecological networks, we exploit various tensor decompositions, including higher-order singular value decomposition, Canonical Polyadic decomposition, and tensor train decomposition, accompanied by in-depth computational and memory complexity analyses. We demonstrate the effectiveness of our framework with numerical examples.
△ Less
Submitted 3 April, 2024; v1 submitted 3 January, 2024;
originally announced January 2024.
-
Data Assimilation for Sign-indefinite Priors: A generalization of Sinkhorn's algorithm
Authors:
Anqi Dong,
Tryphon T. Georgiou,
Allen Tannenbaum
Abstract:
The purpose of this work is to develop a framework to calibrate signed datasets so as to be consistent with specified marginals by suitably extending the Schrödinger-Fortet-Sinkhorn paradigm. Specifically, we seek to revise sign-indefinite multi-dimensional arrays in a way that the updated values agree with specified marginals. Our approach follows the rationale in Schrödinger's problem, aimed at…
▽ More
The purpose of this work is to develop a framework to calibrate signed datasets so as to be consistent with specified marginals by suitably extending the Schrödinger-Fortet-Sinkhorn paradigm. Specifically, we seek to revise sign-indefinite multi-dimensional arrays in a way that the updated values agree with specified marginals. Our approach follows the rationale in Schrödinger's problem, aimed at updating a "prior" probability measure to agree with marginal distributions. The celebrated Sinkhorn's algorithm (established earlier by R.\ Fortet) that solves Schrödinger's problem found early applications in calibrating contingency tables in statistics and, more recently, multi-marginal problems in machine learning and optimal transport. Herein, we postulate a sign-indefinite prior in the form of a multi-dimensional array, and propose an optimization problem to suitably update this prior to ensure consistency with given marginals. The resulting algorithm generalizes the Sinkhorn algorithm in that it amounts to iterative scaling of the entries of the array along different coordinate directions. The scaling is multiplicative but also, in contrast to Sinkhorn, inverse-multiplicative depending on the sign of the entries. Our algorithm reduces to the classical Sinkhorn algorithm when the entries of the prior are positive.
△ Less
Submitted 22 August, 2023;
originally announced August 2023.
-
Monge-Kantorovich Optimal Transport Through Constrictions and Flow-rate Constraints
Authors:
Anqi Dong,
Arthur Stephanovitch,
Tryphon T. Georgiou
Abstract:
We consider the problem to transport resources/mass while abiding by constraints on the flow through constrictions along their path between specified terminal distributions. Constrictions, conceptualized as toll stations at specified points, limit the flow rate across. We quantify flow-rate constraints via a bound on a sought probability density of the times that mass-elements cross toll stations…
▽ More
We consider the problem to transport resources/mass while abiding by constraints on the flow through constrictions along their path between specified terminal distributions. Constrictions, conceptualized as toll stations at specified points, limit the flow rate across. We quantify flow-rate constraints via a bound on a sought probability density of the times that mass-elements cross toll stations and cast the transportation scheduling in a Kantorovich-type of formalism. Recent work by our team focused on the existence of Monge maps for similarly constrained transport minimizing average kinetic energy. The present formulation in this paper, besides being substantially more general, is cast as a (generalized) multi-marginal transport problem - a problem of considerable interest in modern-day machine learning literature and motivated extensive computational analyses. An enabling feature of our formalism is the representation of an average quadratic cost on the speed of transport as a convex constraint that involves crossing times.
△ Less
Submitted 1 May, 2023; v1 submitted 29 December, 2022;
originally announced December 2022.
-
Optimal transport through a toll
Authors:
Arthur Stephanovitch,
Anqi Dong,
Tryphon T. Georgiou
Abstract:
We address the problem of optimal transport with a quadratic cost functional and a constraint on the flux through a constriction along the path. The constriction, conceptually represented by a toll station, limits the flow rate across. We provide a precise formulation which, in addition, is amenable to generalization in higher dimensions. We work out in detail the case of transport in one dimensio…
▽ More
We address the problem of optimal transport with a quadratic cost functional and a constraint on the flux through a constriction along the path. The constriction, conceptually represented by a toll station, limits the flow rate across. We provide a precise formulation which, in addition, is amenable to generalization in higher dimensions. We work out in detail the case of transport in one dimension by proving existence and uniqueness of solution. Under suitable regularity assumptions we give an explicit construction of the transport plan. Generalization of flux constraints to higher dimensions and possible extensions of the theory are discussed.
△ Less
Submitted 1 May, 2023; v1 submitted 6 August, 2022;
originally announced August 2022.
-
Neighbor product distinguishing total colorings of corona of subcubic graphs
Authors:
Aijun Dong,
Wenwen Zhang
Abstract:
A proper $[k]$-total coloring $c$ of a graph $G$ is a mapping $c$ from $V(G)\bigcup E(G)$ to $[k]=\{1,2,\cdots,k\}$ such that $c(x)\neq c(y)$ for which $x$, $y\in V(G)\bigcup E(G)$ and $x$ is adjacent to or incident with $y$. Let $\prod(v)$ denote the product of $c(v)$ and the colors on all the edges incident with $v$. For each edge $uv\in E(G)$, if $\prod(u)\neq \prod(v)$, then the coloring $c$ i…
▽ More
A proper $[k]$-total coloring $c$ of a graph $G$ is a mapping $c$ from $V(G)\bigcup E(G)$ to $[k]=\{1,2,\cdots,k\}$ such that $c(x)\neq c(y)$ for which $x$, $y\in V(G)\bigcup E(G)$ and $x$ is adjacent to or incident with $y$. Let $\prod(v)$ denote the product of $c(v)$ and the colors on all the edges incident with $v$. For each edge $uv\in E(G)$, if $\prod(u)\neq \prod(v)$, then the coloring $c$ is called a neighbor product distinguishing total coloring of $G$. we use $χ"_{\prod}(G)$ to denote the minimal value of $k$ in such a coloring of $G$. In 2015, Li et al. conjectured that $Δ(G)+3$ colors enable a graph to have a neighbor product distinguishing total coloring. In this paper, we consider the neighbor product distinguishing total coloring of corona product $G\circ H$, and obtain that $χ"_{\prod}(G\circ H)\leq Δ(G\circ H)+3$.
△ Less
Submitted 21 April, 2021; v1 submitted 20 November, 2020;
originally announced November 2020.
-
Lasso formulation of the shortest path problem
Authors:
Anqi Dong,
Amirhossein Taghvaei,
Tryphon T. Georgiou
Abstract:
The shortest path problem is formulated as an $l_1$-regularized regression problem, known as lasso. Based on this formulation, a connection is established between Dijkstra's shortest path algorithm and the least angle regression (LARS) for the lasso problem. Specifically, the solution path of the lasso problem, obtained by varying the regularization parameter from infinity to zero (the regularizat…
▽ More
The shortest path problem is formulated as an $l_1$-regularized regression problem, known as lasso. Based on this formulation, a connection is established between Dijkstra's shortest path algorithm and the least angle regression (LARS) for the lasso problem. Specifically, the solution path of the lasso problem, obtained by varying the regularization parameter from infinity to zero (the regularization path), corresponds to shortest path trees that appear in the bi-directional Dijkstra algorithm. Although Dijkstra's algorithm and the LARS formulation provide exact solutions, they become impractical when the size of the graph is exceedingly large. To overcome this issue, the alternating direction method of multipliers (ADMM) is proposed to solve the lasso formulation. The resulting algorithm produces good and fast approximations of the shortest path by sacrificing exactness that may not be absolutely essential in many applications. Numerical experiments are provided to illustrate the performance of the proposed approach.
△ Less
Submitted 22 May, 2020; v1 submitted 18 May, 2020;
originally announced May 2020.
-
Equitable Coloring and Equitable Choosability of Planar Graphs without chordal 4- and 6-Cycles
Authors:
Aijun Dong,
Jianliang Wu
Abstract:
A graph $G$ is equitably $k$-choosable if, for any given $k$-uniform list assignment $L$, $G$ is $L$-colorable and each color appears on at most $\lceil\frac{|V(G)|}{k}\rceil$ vertices. A graph is equitably $k$-colorable if the vertex set $V(G)$ can be partitioned into $k$ independent subsets $V_1$, $V_2$, $\cdots$, $V_k$ such that $||V_i|-|V_j||\leq 1$ for $1\leq i, j\leq k$. In this paper, we pr…
▽ More
A graph $G$ is equitably $k$-choosable if, for any given $k$-uniform list assignment $L$, $G$ is $L$-colorable and each color appears on at most $\lceil\frac{|V(G)|}{k}\rceil$ vertices. A graph is equitably $k$-colorable if the vertex set $V(G)$ can be partitioned into $k$ independent subsets $V_1$, $V_2$, $\cdots$, $V_k$ such that $||V_i|-|V_j||\leq 1$ for $1\leq i, j\leq k$. In this paper, we prove that if $G$ is a planar graph without chordal $4$- and $6$-cycles, then $G$ is equitably $k$-colorable and equitably $k$-choosable where $k\geq\max\{Δ(G), 7\}$.
△ Less
Submitted 1 November, 2019; v1 submitted 4 June, 2018;
originally announced June 2018.
