-
Paley-Wiener theorems for slice monogenic functions
Authors:
Yanshuai Hao,
Pei Dang,
Weixiong Mai
Abstract:
In this paper, we prove some Paley-Wiener theorems for function spaces consisting of slice monogenic functions such as Paley-Wiener, Hardy and Bergman spaces. As applications, we can compute the reproducing kernel functions for the related function spaces.
In this paper, we prove some Paley-Wiener theorems for function spaces consisting of slice monogenic functions such as Paley-Wiener, Hardy and Bergman spaces. As applications, we can compute the reproducing kernel functions for the related function spaces.
△ Less
Submitted 20 February, 2025;
originally announced February 2025.
-
Paley-Wiener Theorems For Slice Regular Functions
Authors:
Yanshuai Hao,
Pei Dang,
Weixiong Mai
Abstract:
We prove two theorems of Paley and Wiener in the slice regular setting. As an application, we can compute the reproducing kernel for the slice regular Paley-Wiener space, and obtain a related sampling theorem.
We prove two theorems of Paley and Wiener in the slice regular setting. As an application, we can compute the reproducing kernel for the slice regular Paley-Wiener space, and obtain a related sampling theorem.
△ Less
Submitted 16 April, 2025; v1 submitted 20 February, 2025;
originally announced February 2025.
-
Growth-Optimal E-Variables and an extension to the multivariate Csiszár-Sanov-Chernoff Theorem
Authors:
Peter Grünwald,
Yunda Hao,
Akshay Balsubramani
Abstract:
We consider growth-optimal e-variables with maximal e-power, both in an absolute and relative sense, for simple null hypotheses for a $d$-dimensional random vector, and multivariate composite alternatives represented as a set of $d$-dimensional means $\meanspace_1$. These include, among others, the set of all distributions with mean in $\meanspace_1$, and the exponential family generated by the nu…
▽ More
We consider growth-optimal e-variables with maximal e-power, both in an absolute and relative sense, for simple null hypotheses for a $d$-dimensional random vector, and multivariate composite alternatives represented as a set of $d$-dimensional means $\meanspace_1$. These include, among others, the set of all distributions with mean in $\meanspace_1$, and the exponential family generated by the null restricted to means in $\meanspace_1$. We show how these optimal e-variables are related to Csiszár-Sanov-Chernoff bounds, first for the case that $\meanspace_1$ is convex (these results are not new; we merely reformulate them) and then for the case that $\meanspace_1$ `surrounds' the null hypothesis (these results are new).
△ Less
Submitted 24 December, 2024; v1 submitted 23 December, 2024;
originally announced December 2024.
-
Arithmeticity and geometrical commensurators
Authors:
Yanlong Hao
Abstract:
This paper aims to characterize rank-one arithmetic and locally symmetric metrics in the coarsely geometric setting using coarse-geometric commensurators. We provide a positive answer in general under the Hilbert-Smith conjecture and unconditionally for finite volume negatively curved manifolds with finitely many cusps.
This paper aims to characterize rank-one arithmetic and locally symmetric metrics in the coarsely geometric setting using coarse-geometric commensurators. We provide a positive answer in general under the Hilbert-Smith conjecture and unconditionally for finite volume negatively curved manifolds with finitely many cusps.
△ Less
Submitted 10 December, 2024;
originally announced December 2024.
-
On the fundamental group of steady gradient Ricci solitons with nonnegative sectional curvature
Authors:
Yuxing Deng,
Yuehan Hao
Abstract:
In this paper, we study the fundamental group of the complete steady gradient Ricci soliton with nonnegative sectional curvature. We prove that the fundamental group of such a Ricci soliton is either trivial or infinite. As a corollary, we show that an $n$-dimensional complete $κ$-noncollapsed steady gradient Ricci soliton with nonnegative sectional curvature must be diffeomorphic to…
▽ More
In this paper, we study the fundamental group of the complete steady gradient Ricci soliton with nonnegative sectional curvature. We prove that the fundamental group of such a Ricci soliton is either trivial or infinite. As a corollary, we show that an $n$-dimensional complete $κ$-noncollapsed steady gradient Ricci soliton with nonnegative sectional curvature must be diffeomorphic to $\mathbb{R}^n$.
△ Less
Submitted 30 April, 2025; v1 submitted 10 December, 2024;
originally announced December 2024.
-
Turán-type problems on $[a,b]$-factors of graphs, and beyond
Authors:
Yifang Hao,
Shuchao Li
Abstract:
Given a set of graphs $\mathcal{H}$, we say that a graph $G$ is \textit{$\mathcal{H}$-free} if it does not contain any member of $\mathcal{H}$ as a subgraph. Let $\text{ex}(n,\mathcal{H})$ (resp. $\text{ex}_{sp}(n,\mathcal{H})$) denote the maximum size (resp. spectral radius) of an $n$-vertex $\mathcal{H}$-free graph. Denote by $\text{Ex}(n, \mathcal{H})$ the set of all $n$-vertex $\mathcal{H}$-fr…
▽ More
Given a set of graphs $\mathcal{H}$, we say that a graph $G$ is \textit{$\mathcal{H}$-free} if it does not contain any member of $\mathcal{H}$ as a subgraph. Let $\text{ex}(n,\mathcal{H})$ (resp. $\text{ex}_{sp}(n,\mathcal{H})$) denote the maximum size (resp. spectral radius) of an $n$-vertex $\mathcal{H}$-free graph. Denote by $\text{Ex}(n, \mathcal{H})$ the set of all $n$-vertex $\mathcal{H}$-free graphs with $\text{ex}(n, \mathcal{H})$ edges. Similarly, let $\mathrm{Ex}_{sp}(n,\mathcal{H})$ be the set of all $n$-vertex $\mathcal{H}$-free graphs with spectral radius $\text{ex}_{sp}(n, \mathcal{H})$. For positive integers $a, b$ with $a\leqslant b$, an $[a,b]$-factor of a graph $G$ is a spanning subgraph $F$ of $G$ such that $a\leqslant d_F(v)\leqslant b$ for all $v\in V(G)$, where $d_F(v)$ denotes the degree of the vertex $v$ in $F.$ Let $\mathcal{F}_{a,b}$ be the set of all the $[a,b]$-factors of an $n$-vertex complete graph $K_n$. In this paper, we determine the Turán number $\text{ex}(n,\mathcal{F}_{a,b})$ and the spectral Turán number $\text{ex}_{sp}(n,\mathcal{F}_{a,b}),$ respectively. Furthermore, the bipartite analogue of $\text{ex}(n,\mathcal{F}_{a,b})$ (resp. $\text{ex}_{sp}(n,\mathcal{F}_{a,b})$) is also obtained. All the corresponding extremal graphs are identified. Consequently, one sees that $\mathrm{Ex}_{sp}(n,\mathcal{F}_{a,b})\subseteq \text{Ex}(n, \mathcal{F}_{a,b})$ holds for graphs and bipartite graphs. This partially answers an open problem proposed by Liu and Ning \cite{LN2023}. Our results may deduce a main result of Fan and Lin \cite{FL2022}.
△ Less
Submitted 25 November, 2024;
originally announced November 2024.
-
Arc-disjoint in- and out-branchings in semicomplete split digraphs
Authors:
Jiangdong Ai,
Yiming Hao,
Zhaoxiang Li,
Qi Shao
Abstract:
An \emph{out-tree (in-tree)} is an oriented tree where every vertex except one, called the \emph{root}, has in-degree (out-degree) one. An \emph{out-branching $B^+_u$ (in-branching $B^-_u$)} of a digraph $D$ is a spanning out-tree (in-tree) rooted at $u$. A \emph{good $(u,v)$-pair} in $D$ is a pair of branchings $B^+_u, B^-_v$ which are arc-disjoint. Thomassen proved that deciding whether a digrap…
▽ More
An \emph{out-tree (in-tree)} is an oriented tree where every vertex except one, called the \emph{root}, has in-degree (out-degree) one. An \emph{out-branching $B^+_u$ (in-branching $B^-_u$)} of a digraph $D$ is a spanning out-tree (in-tree) rooted at $u$. A \emph{good $(u,v)$-pair} in $D$ is a pair of branchings $B^+_u, B^-_v$ which are arc-disjoint. Thomassen proved that deciding whether a digraph has any good pair is NP-complete. A \emph{semicomplete split digraph} is a digraph where the vertex set is the disjoint union of two non-empty sets, $V_1$ and $V_2$, such that $V_1$ is an independent set, the subdigraph induced by $V_2$ is semicomplete, and every vertex in $V_1$ is adjacent to every vertex in $V_2$. In this paper, we prove that every $2$-arc-strong semicomplete split digraph $D$ contains a good $(u, v)$-pair for any choice of vertices $u, v$ of $D$, thereby confirming a conjecture by Bang-Jensen and Wang [Bang-Jensen and Wang, J. Graph Theory, 2024].
△ Less
Submitted 16 October, 2024;
originally announced October 2024.
-
On trace set of hyperbolic surfaces and a conjecture of Sarnak and Schmutz
Authors:
Yanlong Hao
Abstract:
In this paper, we investigate the trace set of a Fuchsian lattice. There are two results of this paper: the first is that for a non-uniform lattice, we prove Scmutz's conjecture: the trace set of a Fuchsian lattice exhibits linear growth if and only if the lattice is arithmetic. Additionally, we show that for a fixed surface group of genus bigger than 2 and any positive number $ε$, te set of cocom…
▽ More
In this paper, we investigate the trace set of a Fuchsian lattice. There are two results of this paper: the first is that for a non-uniform lattice, we prove Scmutz's conjecture: the trace set of a Fuchsian lattice exhibits linear growth if and only if the lattice is arithmetic. Additionally, we show that for a fixed surface group of genus bigger than 2 and any positive number $ε$, te set of cocompact lattice embedding such that their growth rate of trace set exceeds $n^{2-ε}$ has positive Weil-Petersson volume. We also provide an asymptotic analysis of the volume of this set.
△ Less
Submitted 7 October, 2024;
originally announced October 2024.
-
Adaptive Sampling-Based Bi-Fidelity Stochastic Trust Region Method for Derivative-Free Stochastic Optimization
Authors:
Yunsoo Ha,
Juliane Mueller
Abstract:
Bi-fidelity stochastic optimization is increasingly favored for streamlining optimization processes by employing a cost-effective low-fidelity (LF) function, with the goal of optimizing a more expensive high-fidelity (HF) function. In this paper, we introduce ASTRO-BFDF, a new adaptive sampling trust region method specifically designed for solving unconstrained bi-fidelity stochastic derivative-fr…
▽ More
Bi-fidelity stochastic optimization is increasingly favored for streamlining optimization processes by employing a cost-effective low-fidelity (LF) function, with the goal of optimizing a more expensive high-fidelity (HF) function. In this paper, we introduce ASTRO-BFDF, a new adaptive sampling trust region method specifically designed for solving unconstrained bi-fidelity stochastic derivative-free optimization problems. Within ASTRO-BFDF, the LF function serves two purposes: first, to identify better iterates for the HF function when a high correlation between them is indicated by the optimization process, and second, to reduce the variance of the HF function estimates by Bi-fidelity Monte Carlo (BFMC). In particular, the sample sizes are dynamically determined with the option of employing either crude Monte Carlo or BFMC, while balancing optimization error and sampling error. We demonstrate that the iterates generated by ASTRO-BFDF converge to the first-order stationary point almost surely. Additionally, we numerically demonstrate the superiority of our proposed algorithm by testing it on synthetic problems and simulation optimization problems with discrete event simulations.
△ Less
Submitted 21 August, 2024; v1 submitted 8 August, 2024;
originally announced August 2024.
-
Non-existence of an Algorithm for Determining the Triviality of the Second Homotopy Groups of Arbitrary Compact Topological Spaces
Authors:
Lefit Yuxiang Hao,
Zijie Kang,
Hongjie Liu,
Pengcheng Ma,
Mufeng Zhou
Abstract:
In this paper, we demonstrate the non-existence of a computational algorithm capable of determining whether the second homotopy group of any compact constructive topological space is trivial. This finding shows the inherent limitations of computer methods in resolving certain topological problems.
In this paper, we demonstrate the non-existence of a computational algorithm capable of determining whether the second homotopy group of any compact constructive topological space is trivial. This finding shows the inherent limitations of computer methods in resolving certain topological problems.
△ Less
Submitted 26 July, 2024;
originally announced July 2024.
-
A short proof of the Goldberg-Seymour conjecture
Authors:
Guantao Chen,
Yanli Hao,
Xingxing Yu,
Wenan Zang
Abstract:
For a multigraph $G$, $χ'(G)$ denotes the chromatic index of $G$, $Δ(G)$ the maximum degree of $G$, and $Γ(G) = \max\left\{\left\lceil \frac{2|E(H)|}{|V(H)|-1} \right\rceil: H \subseteq G \text{ and } |V(H)| \text{ odd}\right\}$. As a generalization of Vizing's classical coloring result for simple graphs, the Goldberg-Seymour conjecture, posed in the 1970s, states that $χ'(G)=\max\{Δ(G), Γ(G)\}$ o…
▽ More
For a multigraph $G$, $χ'(G)$ denotes the chromatic index of $G$, $Δ(G)$ the maximum degree of $G$, and $Γ(G) = \max\left\{\left\lceil \frac{2|E(H)|}{|V(H)|-1} \right\rceil: H \subseteq G \text{ and } |V(H)| \text{ odd}\right\}$. As a generalization of Vizing's classical coloring result for simple graphs, the Goldberg-Seymour conjecture, posed in the 1970s, states that $χ'(G)=\max\{Δ(G), Γ(G)\}$ or $χ'(G)=\max\{Δ(G) + 1, Γ(G)\}$. Hochbaum, Nishizeki, and Shmoys further conjectured in 1986 that such a coloring can be found in polynomial time. A long proof of the Goldberg-Seymour conjecture was announced in 2019 by Chen, Jing, and Zang, and one case in that proof was eliminated recently by Jing (but the proof is still long); and neither proof has been verified. In this paper, we give a proof of the Goldberg-Seymour conjecture that is significantly shorter and confirm the Hochbaum-Nishizeki-Shmoys conjecture by providing an $O(|V|^5|E|^3)$ time algorithm for finding a $\max\{Δ(G) + 1, Γ(G)\}$-edge-coloring of $G$.
△ Less
Submitted 12 July, 2024;
originally announced July 2024.
-
Complexity of Zeroth- and First-order Stochastic Trust-Region Algorithms
Authors:
Yunsoo Ha,
Sara Shashaani,
Raghu Pasupathy
Abstract:
Model update (MU) and candidate evaluation (CE) are classical steps incorporated inside many stochastic trust-region (TR) algorithms. The sampling effort exerted within these steps, often decided with the aim of controlling model error, largely determines a stochastic TR algorithm's sample complexity. Given that MU and CE are amenable to variance reduction, we investigate the effect of incorporati…
▽ More
Model update (MU) and candidate evaluation (CE) are classical steps incorporated inside many stochastic trust-region (TR) algorithms. The sampling effort exerted within these steps, often decided with the aim of controlling model error, largely determines a stochastic TR algorithm's sample complexity. Given that MU and CE are amenable to variance reduction, we investigate the effect of incorporating common random numbers (CRN) within MU and CE on complexity. Using ASTRO and ASTRO-DF as prototype first-order and zeroth-order families of algorithms, we demonstrate that CRN's effectiveness leads to a range of complexities depending on sample-path regularity and the oracle order. For instance, we find that in first-order oracle settings with smooth sample paths, CRN's effect is pronounced -- ASTRO with CRN achieves $\tilde{O}(ε^{-2})$ a.s. sample complexity compared to $\tilde{O}(ε^{-6})$ a.s. in the generic no-CRN setting. By contrast, CRN's effect is muted when the sample paths are not Lipschitz, with the sample complexity improving from $\tilde{O}(ε^{-6})$ a.s. to $\tilde{O}(ε^{-5})$ and $\tilde{O}(ε^{-4})$ a.s. in the zeroth- and first-order settings, respectively. Since our results imply that improvements in complexity are largely inherited from generic aspects of variance reduction, e.g., finite-differencing for zeroth-order settings and sample-path smoothness for first-order settings within MU, we anticipate similar trends in other contexts.
△ Less
Submitted 1 March, 2025; v1 submitted 30 May, 2024;
originally announced May 2024.
-
Optimal E-Values for Exponential Families: the Simple Case
Authors:
Peter Grünwald,
Tyron Lardy,
Yunda Hao,
Shaul K. Bar-Lev,
Martijn de Jong
Abstract:
We provide a general condition under which e-variables in the form of a simple-vs.-simple likelihood ratio exist when the null hypothesis is a composite, multivariate exponential family. Such `simple' e-variables are easy to compute and expected-log-optimal with respect to any stopping time. Simple e-variables were previously only known to exist in quite specific settings, but we offer a unifying…
▽ More
We provide a general condition under which e-variables in the form of a simple-vs.-simple likelihood ratio exist when the null hypothesis is a composite, multivariate exponential family. Such `simple' e-variables are easy to compute and expected-log-optimal with respect to any stopping time. Simple e-variables were previously only known to exist in quite specific settings, but we offer a unifying theorem on their existence for testing exponential families. We start with a simple alternative $Q$ and a regular exponential family null. Together these induce a second exponential family ${\cal Q}$ containing $Q$, with the same sufficient statistic as the null. Our theorem shows that simple e-variables exist whenever the covariance matrices of ${\cal Q}$ and the null are in a certain relation. A prime example in which this relation holds is testing whether a parameter in a linear regression is 0. Other examples include some $k$-sample tests, Gaussian location- and scale tests, and tests for more general classes of natural exponential families. While in all these examples, the implicit composite alternative is also an exponential family, in general this is not required.
△ Less
Submitted 1 April, 2025; v1 submitted 30 April, 2024;
originally announced April 2024.
-
Neural Operators Learn the Local Physics of Magnetohydrodynamics
Authors:
Taeyoung Kim,
Youngsoo Ha,
Myungjoo Kang
Abstract:
Magnetohydrodynamics (MHD) plays a pivotal role in describing the dynamics of plasma and conductive fluids, essential for understanding phenomena such as the structure and evolution of stars and galaxies, and in nuclear fusion for plasma motion through ideal MHD equations. Solving these hyperbolic PDEs requires sophisticated numerical methods, presenting computational challenges due to complex str…
▽ More
Magnetohydrodynamics (MHD) plays a pivotal role in describing the dynamics of plasma and conductive fluids, essential for understanding phenomena such as the structure and evolution of stars and galaxies, and in nuclear fusion for plasma motion through ideal MHD equations. Solving these hyperbolic PDEs requires sophisticated numerical methods, presenting computational challenges due to complex structures and high costs. Recent advances introduce neural operators like the Fourier Neural Operator (FNO) as surrogate models for traditional numerical analyses. This study explores a modified Flux Fourier neural operator model to approximate the numerical flux of ideal MHD, offering a novel approach that outperforms existing neural operator models by enabling continuous inference, generalization outside sampled distributions, and faster computation compared to classical numerical schemes.
△ Less
Submitted 10 October, 2024; v1 submitted 24 April, 2024;
originally announced April 2024.
-
Planning of Truck Platooning for Road-Network Capacitated Vehicle Routing Problem
Authors:
Yilang Hao,
Zhibin Chen,
Xiaotong Sun,
Lu Tong
Abstract:
Truck platooning, a linking technology of trucks on the highway, has gained enormous attention in recent years due to its benefits in energy and operation cost savings. However, most existing studies on truck platooning limit their focus on scenarios in which each truck can serve only one customer demand and is thus with a specified origin-destination pair, so only routing and time schedules are c…
▽ More
Truck platooning, a linking technology of trucks on the highway, has gained enormous attention in recent years due to its benefits in energy and operation cost savings. However, most existing studies on truck platooning limit their focus on scenarios in which each truck can serve only one customer demand and is thus with a specified origin-destination pair, so only routing and time schedules are considered. Nevertheless, in real-world logistics, each truck may need to serve multiple customers located at different places, and the operator has to determine not only the routing and time schedules of each truck but also the set of customers allocated to each truck and their sequence to visit. This is well known as a capacitated vehicle routing problem with time windows (CVRPTW), and considering the application of truck platooning in such a problem entails new modeling frameworks and tailored solution algorithms. In light of this, this study makes the first attempt to optimize the truck platooning plan for a road-network CVRPTW to minimize the total operation cost, including vehicles' fixed dispatch cost and energy cost, while fulfilling all delivery demands within their time window constraints. Specifically, the operation plan will dictate the number of trucks to be dispatched, the set of customers, and the routing and time schedules for each truck. In addition, the modeling framework is constructed based on a road network instead of a traditional customer node graph to better resemble and facilitate the platooning operation. A 3-stage algorithm embedded with a "route-then-schedule" scheme, dynamic programming, and modified insertion heuristic, is developed to solve the proposed model in a timely manner. Numerical experiments are conducted to validate the modeling framework, demonstrate the performance of the proposed solution algorithm, and quantify the benefit of truck platooning.
△ Less
Submitted 20 April, 2024;
originally announced April 2024.
-
Ginger: An Efficient Curvature Approximation with Linear Complexity for General Neural Networks
Authors:
Yongchang Hao,
Yanshuai Cao,
Lili Mou
Abstract:
Second-order optimization approaches like the generalized Gauss-Newton method are considered more powerful as they utilize the curvature information of the objective function with preconditioning matrices. Albeit offering tempting theoretical benefits, they are not easily applicable to modern deep learning. The major reason is due to the quadratic memory and cubic time complexity to compute the in…
▽ More
Second-order optimization approaches like the generalized Gauss-Newton method are considered more powerful as they utilize the curvature information of the objective function with preconditioning matrices. Albeit offering tempting theoretical benefits, they are not easily applicable to modern deep learning. The major reason is due to the quadratic memory and cubic time complexity to compute the inverse of the matrix. These requirements are infeasible even with state-of-the-art hardware. In this work, we propose Ginger, an eigendecomposition for the inverse of the generalized Gauss-Newton matrix. Our method enjoys efficient linear memory and time complexity for each iteration. Instead of approximating the conditioning matrix, we directly maintain its inverse to make the approximation more accurate. We provide the convergence result of Ginger for non-convex objectives. Our experiments on different tasks with different model architectures verify the effectiveness of our method. Our code is publicly available.
△ Less
Submitted 5 February, 2024;
originally announced February 2024.
-
Two-Stage Estimation and Variance Modeling for Latency-Constrained Variational Quantum Algorithms
Authors:
Yunsoo Ha,
Sara Shashaani,
Matt Menickelly
Abstract:
The Quantum Approximate Optimization Algorithm (QAOA) has enjoyed increasing attention in noisy intermediate-scale quantum computing due to its application to combinatorial optimization problems. Because combinatorial optimization problems are NP-hard, QAOA could serve as a potential demonstration of quantum advantage in the future. As a hybrid quantum-classical algorithm, the classical component…
▽ More
The Quantum Approximate Optimization Algorithm (QAOA) has enjoyed increasing attention in noisy intermediate-scale quantum computing due to its application to combinatorial optimization problems. Because combinatorial optimization problems are NP-hard, QAOA could serve as a potential demonstration of quantum advantage in the future. As a hybrid quantum-classical algorithm, the classical component of QAOA resembles a simulation optimization problem, in which the simulation outcomes are attainable only through the quantum computer. The simulation that derives from QAOA exhibits two unique features that can have a substantial impact on the optimization process: (i) the variance of the stochastic objective values typically decreases in proportion to the optimality gap, and (ii) querying samples from a quantum computer introduces an additional latency overhead. In this paper, we introduce a novel stochastic trust-region method, derived from a derivative-free adaptive sampling trust-region optimization (ASTRO-DF) method, intended to efficiently solve the classical optimization problem in QAOA, by explicitly taking into account the two mentioned characteristics. The key idea behind the proposed algorithm involves constructing two separate local models in each iteration: a model of the objective function, and a model of the variance of the objective function. Exploiting the variance model allows us to both restrict the number of communications with the quantum computer, and also helps navigate the nonconvex objective landscapes typical in the QAOA optimization problems. We numerically demonstrate the superiority of our proposed algorithm using the SimOpt library and Qiskit, when we consider a metric of computational burden that explicitly accounts for communication costs.
△ Less
Submitted 16 January, 2024;
originally announced January 2024.
-
Marked length spectra of Gromov hyperbolic space
Authors:
Yanlong Hao
Abstract:
Let $(X,d)$, $(Y, d')$ be two roughly geodesically complete Gromov hyperbolic spaces under comparable isometric actions of $Γ$. Assume that the limit set $ΛΓ=\partial X\partial Y$. If spaces $X$ and $Y$ have the same asymptotic marked length spectrum, meaning that
$$\lim_{{l_{d}([γ])\to \infty}}\frac{l_d(γ)}{l_{d'}(γ)}=1.$$ Then $(X,d)$ and $(Y,d')$ are $Γ$-equivariantly roughly isometric.
Let $(X,d)$, $(Y, d')$ be two roughly geodesically complete Gromov hyperbolic spaces under comparable isometric actions of $Γ$. Assume that the limit set $ΛΓ=\partial X\partial Y$. If spaces $X$ and $Y$ have the same asymptotic marked length spectrum, meaning that
$$\lim_{{l_{d}([γ])\to \infty}}\frac{l_d(γ)}{l_{d'}(γ)}=1.$$ Then $(X,d)$ and $(Y,d')$ are $Γ$-equivariantly roughly isometric.
△ Less
Submitted 25 March, 2024; v1 submitted 14 December, 2023;
originally announced December 2023.
-
Decreasing the mean subtree order by adding $k$ edges
Authors:
Stijn Cambie,
Guantao Chen,
Yanli Hao,
Nizamettin Tokar
Abstract:
The mean subtree order of a given graph $G$, denoted $μ(G)$, is the average number of vertices in a subtree of $G$. Let $G$ be a connected graph. Chin, Gordon, MacPhee, and Vincent [J. Graph Theory, 89(4): 413-438, 2018] conjectured that if $H$ is a proper spanning supergraph of $G$, then $μ(H) > μ(G)$. Cameron and Mol [J. Graph Theory, 96(3): 403-413, 2021] disproved this conjecture by showing th…
▽ More
The mean subtree order of a given graph $G$, denoted $μ(G)$, is the average number of vertices in a subtree of $G$. Let $G$ be a connected graph. Chin, Gordon, MacPhee, and Vincent [J. Graph Theory, 89(4): 413-438, 2018] conjectured that if $H$ is a proper spanning supergraph of $G$, then $μ(H) > μ(G)$. Cameron and Mol [J. Graph Theory, 96(3): 403-413, 2021] disproved this conjecture by showing that there are infinitely many pairs of graphs $H$ and $G$ with $H\supset G$, $V(H)=V(G)$ and $|E(H)|= |E(G)|+1$ such that $μ(H) < μ(G)$. They also conjectured that for every positive integer $k$, there exists a pair of graphs $G$ and $H$ with $H\supset G$, $V(H)=V(G)$ and $|E(H)| = |E(G)| +k$ such that $μ(H) < μ(G)$. Furthermore, they proposed that $μ(K_m+nK_1) < μ(K_{m, n})$ provided $n\gg m$. In this note, we confirm these two conjectures.
△ Less
Submitted 24 August, 2023;
originally announced August 2023.
-
Reverse Diffusion Monte Carlo
Authors:
Xunpeng Huang,
Hanze Dong,
Yifan Hao,
Yi-An Ma,
Tong Zhang
Abstract:
We propose a Monte Carlo sampler from the reverse diffusion process. Unlike the practice of diffusion models, where the intermediary updates -- the score functions -- are learned with a neural network, we transform the score matching problem into a mean estimation one. By estimating the means of the regularized posterior distributions, we derive a novel Monte Carlo sampling algorithm called revers…
▽ More
We propose a Monte Carlo sampler from the reverse diffusion process. Unlike the practice of diffusion models, where the intermediary updates -- the score functions -- are learned with a neural network, we transform the score matching problem into a mean estimation one. By estimating the means of the regularized posterior distributions, we derive a novel Monte Carlo sampling algorithm called reverse diffusion Monte Carlo (rdMC), which is distinct from the Markov chain Monte Carlo (MCMC) methods. We determine the sample size from the error tolerance and the properties of the posterior distribution to yield an algorithm that can approximately sample the target distribution with any desired accuracy. Additionally, we demonstrate and prove under suitable conditions that sampling with rdMC can be significantly faster than that with MCMC. For multi-modal target distributions such as those in Gaussian mixture models, rdMC greatly improves over the Langevin-style MCMC sampling methods both theoretically and in practice. The proposed rdMC method offers a new perspective and solution beyond classical MCMC algorithms for the challenging complex distributions.
△ Less
Submitted 13 March, 2024; v1 submitted 5 July, 2023;
originally announced July 2023.
-
Iteration Complexity and Finite-Time Efficiency of Adaptive Sampling Trust-Region Methods for Stochastic Derivative-Free Optimization
Authors:
Yunsoo Ha,
Sara Shashaani
Abstract:
Adaptive sampling with interpolation-based trust regions or ASTRO-DF is a successful algorithm for stochastic derivative-free optimization with an easy-to-understand-and-implement concept that guarantees almost sure convergence to a first-order critical point. To reduce its dependence on the problem dimension, we present local models with diagonal Hessians constructed on interpolation points based…
▽ More
Adaptive sampling with interpolation-based trust regions or ASTRO-DF is a successful algorithm for stochastic derivative-free optimization with an easy-to-understand-and-implement concept that guarantees almost sure convergence to a first-order critical point. To reduce its dependence on the problem dimension, we present local models with diagonal Hessians constructed on interpolation points based on a coordinate basis. We also leverage the interpolation points in a direct search manner whenever possible to boost ASTRO-DF's performance in a finite time. We prove that the algorithm has a canonical iteration complexity of $\mathcal{O}(ε^{-2})$ almost surely, which is the first guarantee of its kind without placing assumptions on the quality of function estimates or model quality or independence between them. Numerical experimentation reveals the computational advantage of ASTRO-DF with coordinate direct search due to saving and better steps in the early iterations of the search.
△ Less
Submitted 16 January, 2024; v1 submitted 17 May, 2023;
originally announced May 2023.
-
Bounded clustering property characterizes arithmetic nonuniform Kleinian groups
Authors:
Yanlong Hao
Abstract:
In this short note, we show that the B-C property characterizes arithmetic lattices along all nonuniform lattices in ${\mathrm{PSL}}(2,\mathbb{C})$.
In this short note, we show that the B-C property characterizes arithmetic lattices along all nonuniform lattices in ${\mathrm{PSL}}(2,\mathbb{C})$.
△ Less
Submitted 2 March, 2023;
originally announced March 2023.
-
E-values for k-Sample Tests With Exponential Families
Authors:
Yunda Hao,
Peter Grünwald,
Tyron Lardy,
Long Long,
Reuben Adams
Abstract:
We develop and compare e-variables for testing whether $k$ samples of data are drawn from the same distribution, the alternative being that they come from different elements of an exponential family. We consider the GRO (growth-rate optimal) e-variables for (1) a `small' null inside the same exponential family, and (2) a `large' nonparametric null, as well as (3) an e-variable arrived at by condit…
▽ More
We develop and compare e-variables for testing whether $k$ samples of data are drawn from the same distribution, the alternative being that they come from different elements of an exponential family. We consider the GRO (growth-rate optimal) e-variables for (1) a `small' null inside the same exponential family, and (2) a `large' nonparametric null, as well as (3) an e-variable arrived at by conditioning on the sum of the sufficient statistics. (2) and (3) are efficiently computable, and extend ideas from Turner et al. [2021] and Wald [1947] respectively from Bernoulli to general exponential families. We provide theoretical and simulation-based comparisons of these e-variables in terms of their logarithmic growth rate, and find that for small effects all four e-variables behave surprisingly similarly; for the Gaussian location and Poisson families, e-variables (1) and (3) coincide; for Bernoulli, (1) and (2) coincide; but in general, whether (2) or (3) grows faster under the alternative is family-dependent. We furthermore discuss algorithms for numerically approximating (1).
△ Less
Submitted 8 January, 2024; v1 submitted 1 March, 2023;
originally announced March 2023.
-
A splitting algorithm for constrained optimization problems with parabolic equations
Authors:
Haiming Song,
Jiachuan Zhang,
Yongle Hao
Abstract:
In this paper, an efficient parallel splitting method is proposed for the optimal control problem with parabolic equation constraints. The linear finite element is used to approximate the state variable and the control variable in spatial direction. And the Crank-Nicolson scheme is applied to discretize the constraint equation in temporal direction. For consistency, the trapezoidal rule and midpoi…
▽ More
In this paper, an efficient parallel splitting method is proposed for the optimal control problem with parabolic equation constraints. The linear finite element is used to approximate the state variable and the control variable in spatial direction. And the Crank-Nicolson scheme is applied to discretize the constraint equation in temporal direction. For consistency, the trapezoidal rule and midpoint rule are used to approximate the integrals with respect to the state variable and the control variable of the objective function in temporal direction, respectively. Based on the separable structure of the resulting coupled discretized optimization system, a full Jacobian decomposition method with correction is adopted to solve the decoupled subsystems in parallel, which improves the computational efficiency significantly. Moreover, the global convergence estimate is established using the discretization error by the finite element and the iteration error by the full Jacobian decomposition method with correction. Finally, numerical simulations are carried out to verify the efficiency of the proposed method.
△ Less
Submitted 18 February, 2023;
originally announced February 2023.
-
Groups acts isometrically on proper hyperbolic complexes
Authors:
Yanlong Hao
Abstract:
In this paper, we show that a group admits an affine action on some $L^p$-sapce with unbounded orbit for $p$ large enough, if it acts isometrically on a hyperbolic complex. As an application, we show that any isometric action of a group with property $F_\infty$ on a hyperbolic complex admits a bounded orbit.
In this paper, we show that a group admits an affine action on some $L^p$-sapce with unbounded orbit for $p$ large enough, if it acts isometrically on a hyperbolic complex. As an application, we show that any isometric action of a group with property $F_\infty$ on a hyperbolic complex admits a bounded orbit.
△ Less
Submitted 24 December, 2022;
originally announced December 2022.
-
Fully Distributed Continuous-Time Algorithm for Nonconvex Optimization over Unbalanced Directed Networks
Authors:
Jin Zhang,
Yahui Hao,
Lu Liu,
Haibo Ji
Abstract:
This paper investigates the distributed continuous-time nonconvex optimization problem over unbalanced directed networks. The objective is to cooperatively drive all the agent states to an optimal solution that minimizes the sum of the local cost functions. Based on the topology balancing technique and adaptive control approach, a novel fully distributed algorithm is developed for each agent with…
▽ More
This paper investigates the distributed continuous-time nonconvex optimization problem over unbalanced directed networks. The objective is to cooperatively drive all the agent states to an optimal solution that minimizes the sum of the local cost functions. Based on the topology balancing technique and adaptive control approach, a novel fully distributed algorithm is developed for each agent with neither prior global information concerning network connectivity nor convexity of local cost functions. By viewing the proposed algorithm as a perturbed system, its input-to-state stability with a vanishing perturbation is first established, and asymptotic convergence of the decision variables toward the optimal solution is then proved under the relaxed condition. A key feature of the algorithm design is that it removes the dependence on the smallest strong convexity constant of local cost functions, and the left eigenvector corresponding to the zero eigenvalue of the Laplacian matrix of unbalanced directed topologies. The effectiveness of the proposed fully distributed algorithm is illustrated with two examples.
△ Less
Submitted 30 November, 2022;
originally announced November 2022.
-
Convergence estimation and characteristic analysis of a two-level iterative algorithm for the discretized three-temperature energy linear systems
Authors:
Yue Hao,
Silu Huang,
Xiaowen Xu
Abstract:
For solving the discretized three-temperature energy linear systems, Xu et al. proposed a physical-variable based coarsening two-level iterative method (PCTL algorithm) in 2009 and verified its efficiency by numerical experiments in practical applications. In this paper, we study in detail the specific convergence property of the PCTL algorithm based on the theory of algebraic multigrid method (AM…
▽ More
For solving the discretized three-temperature energy linear systems, Xu et al. proposed a physical-variable based coarsening two-level iterative method (PCTL algorithm) in 2009 and verified its efficiency by numerical experiments in practical applications. In this paper, we study in detail the specific convergence property of the PCTL algorithm based on the theory of algebraic multigrid method (AMG),and give a reasonable upper bound on the convergence factor, which provides a theoretical guarantee for the PCTL algorithm. Moreover, we also analyse the algebraic features that affect the convergence of the PCTL algorithm, such as diagonal dominance and coupling strength, hoping provides theoretical guidance for the applications and algorithm optimization of the PCTL algorithm.
△ Less
Submitted 12 July, 2023; v1 submitted 18 November, 2022;
originally announced November 2022.
-
The homotopy fixed point sets of spheres actions on rational complexes
Authors:
Yanlong Hao,
Xiugui Liu,
Qianwen Sun
Abstract:
In this paper, we describe the homotopy type of the homotopy fixed point sets of $S^3$-actions on rational spheres and complex projective spaces, and provide some properties of $S^1$-actions on a general rational complex.
In this paper, we describe the homotopy type of the homotopy fixed point sets of $S^3$-actions on rational spheres and complex projective spaces, and provide some properties of $S^1$-actions on a general rational complex.
△ Less
Submitted 25 October, 2022;
originally announced October 2022.
-
On the rational homotopical nilpotency index of principal bundles
Authors:
Yanlong Hao,
Xiugui Liu
Abstract:
Let $\rm{Aut}(p)$ denote the space of all self-fibre homotopy equivalences of a principal $G$-bundle $p: E\rightarrow X$ of simply connected CW complexes with $E$ finite. When $G$ is a compact connected topological group, we show that there exists an inequality $$n-{\rm N}(p)\leq {\rm Hnil}_{\mathbb{Q}}({\rm{Aut}}(p)_0)\leq n$$ for any space $X$, where $n$ is the number of non-trivial rational hom…
▽ More
Let $\rm{Aut}(p)$ denote the space of all self-fibre homotopy equivalences of a principal $G$-bundle $p: E\rightarrow X$ of simply connected CW complexes with $E$ finite. When $G$ is a compact connected topological group, we show that there exists an inequality $$n-{\rm N}(p)\leq {\rm Hnil}_{\mathbb{Q}}({\rm{Aut}}(p)_0)\leq n$$ for any space $X$, where $n$ is the number of non-trivial rational homotopy groups of $G$ and ${\rm N}(p)$ is defined in Section 2. In particular, ${\rm Hnil}_{\mathbb{Q}}({\rm{Aut}}(p)_{0})=n$ if $p$ is a fibre-homotopy trivial bundle and X is finite.
△ Less
Submitted 25 October, 2022;
originally announced October 2022.
-
Two-stage spaces and the torus rank conjecture
Authors:
Yanlong Hao,
Xiugui Liu,
Qianwen Sun
Abstract:
In this note, we give some new families of two-stage spaces for which the torus rank conjecture is affirmed.
In this note, we give some new families of two-stage spaces for which the torus rank conjecture is affirmed.
△ Less
Submitted 25 October, 2022;
originally announced October 2022.
-
Left invariant Lorentzian metrics and curvatures on non-unimodular Lie groups of dimension three
Authors:
Ku Yong Ha,
Jong Bum Lee
Abstract:
For each connected and simply connected three-dimensional non-unimodular Lie group, we classify the left invariant Lorentzian metrics up to automorphism, and study the extent to which curvature can be altered by a change of metric. Thereby we obtain the Ricci operator, the scalar curvature, and the sectional curvatures as functions of left invariant Lorentzian metrics on the three-dimensional non-…
▽ More
For each connected and simply connected three-dimensional non-unimodular Lie group, we classify the left invariant Lorentzian metrics up to automorphism, and study the extent to which curvature can be altered by a change of metric. Thereby we obtain the Ricci operator, the scalar curvature, and the sectional curvatures as functions of left invariant Lorentzian metrics on the three-dimensional non-unimodular Lie groups.
Our study is a continuation and extension of the previous studies done in \cite{HL2009_MN} for Riemannian metrics on three-dimensional Lie groups and in \cite{BC} for Lorentzian metrics on three-dimensional unimodular Lie groups.
△ Less
Submitted 6 September, 2022;
originally announced September 2022.
-
Linear arboricity of degenerate graphs
Authors:
Guantao Chen,
Yanli Hao,
Guoning Yu
Abstract:
A linear forest is a union of vertex-disjoint paths, and the linear arboricity of a graph $G$, denoted by $\operatorname{la}(G)$, is the minimum number of linear forests needed to partition the edge set of $G$. Clearly, $\operatorname{la}(G) \ge \lceilΔ(G)/2\rceil$ for a graph $G$ with maximum degree $Δ(G)$. On the other hand, the Linear Arboricity Conjecture due to Akiyama, Exoo, and Harary from…
▽ More
A linear forest is a union of vertex-disjoint paths, and the linear arboricity of a graph $G$, denoted by $\operatorname{la}(G)$, is the minimum number of linear forests needed to partition the edge set of $G$. Clearly, $\operatorname{la}(G) \ge \lceilΔ(G)/2\rceil$ for a graph $G$ with maximum degree $Δ(G)$. On the other hand, the Linear Arboricity Conjecture due to Akiyama, Exoo, and Harary from 1981 asserts that $\operatorname{la}(G) \leq \lceil(Δ(G)+1) / 2\rceil$ for every graph $ G $. This conjecture has been verified for planar graphs and graphs whose maximum degree is at most $ 6 $, or is equal to $ 8 $ or $ 10 $.
Given a positive integer $k$, a graph $G$ is $k$-degenerate if it can be reduced to a trivial graph by successive removal of vertices with degree at most $k$. We prove that for any $k$-degenerate graph $G$, $\operatorname{la}(G) = \lceilΔ(G)/2 \rceil$ provided $Δ(G) \ge 2k^2 -k$.
△ Less
Submitted 14 July, 2022;
originally announced July 2022.
-
Discernibility of topological variations for networked LTI systems based on observed output trajectories
Authors:
Yuqing Hao,
Qingyun Wang,
Zhisheng Duan,
Guanrong Chen
Abstract:
In this paper, the possibility of detecting topological variations by observing output trajectories from networked linear time-invariant systems is investigated, where the network topology can be general, but the nodes have identical higher-dimensional dynamics. A necessary and sufficient condition on the discernibility of topological variations is derived, in terms of the eigenspaces of the origi…
▽ More
In this paper, the possibility of detecting topological variations by observing output trajectories from networked linear time-invariant systems is investigated, where the network topology can be general, but the nodes have identical higher-dimensional dynamics. A necessary and sufficient condition on the discernibility of topological variations is derived, in terms of the eigenspaces of the original and the modified network configuarations. By taking the specific network structures into consideration, some lower-dimensional conditions are derived, which reveal how the network topologies, sensor locations, node-system dynamics and output, as well as inner interactions altogether affect the discernibility. Furthermore, the output discernibility of topological changes for networked multi-agent systems is revisited, showing that some criterion reported in the literature does not hold. Consequently, a modified necessary and sufficient condition is established. The effectiveness of the results is demonstrated through several examples.
△ Less
Submitted 15 June, 2022;
originally announced June 2022.
-
Marked length pattern rigidity for arithmetic manifolds
Authors:
Yanlong Hao
Abstract:
In this paper, we prove a cocycle version of marked length spectrum rigidity. There are two consequences. The first is marked length pattern rigidity for arithmetic hyperbolic locally symmetric manifolds. The second is strengthen marked length spectrum rigidity for surfaces and closed locally symmetric manifolds.
In this paper, we prove a cocycle version of marked length spectrum rigidity. There are two consequences. The first is marked length pattern rigidity for arithmetic hyperbolic locally symmetric manifolds. The second is strengthen marked length spectrum rigidity for surfaces and closed locally symmetric manifolds.
△ Less
Submitted 1 November, 2022; v1 submitted 2 June, 2022;
originally announced June 2022.
-
TURF: A Two-factor, Universal, Robust, Fast Distribution Learning Algorithm
Authors:
Yi Hao,
Ayush Jain,
Alon Orlitsky,
Vaishakh Ravindrakumar
Abstract:
Approximating distributions from their samples is a canonical statistical-learning problem. One of its most powerful and successful modalities approximates every distribution to an $\ell_1$ distance essentially at most a constant times larger than its closest $t$-piece degree-$d$ polynomial, where $t\ge1$ and $d\ge0$. Letting $c_{t,d}$ denote the smallest such factor, clearly $c_{1,0}=1$, and it c…
▽ More
Approximating distributions from their samples is a canonical statistical-learning problem. One of its most powerful and successful modalities approximates every distribution to an $\ell_1$ distance essentially at most a constant times larger than its closest $t$-piece degree-$d$ polynomial, where $t\ge1$ and $d\ge0$. Letting $c_{t,d}$ denote the smallest such factor, clearly $c_{1,0}=1$, and it can be shown that $c_{t,d}\ge 2$ for all other $t$ and $d$. Yet current computationally efficient algorithms show only $c_{t,1}\le 2.25$ and the bound rises quickly to $c_{t,d}\le 3$ for $d\ge 9$. We derive a near-linear-time and essentially sample-optimal estimator that establishes $c_{t,d}=2$ for all $(t,d)\ne(1,0)$. Additionally, for many practical distributions, the lowest approximation distance is achieved by polynomials with vastly varying number of pieces. We provide a method that estimates this number near-optimally, hence helps approach the best possible approximation. Experiments combining the two techniques confirm improved performance over existing methodologies.
△ Less
Submitted 17 June, 2022; v1 submitted 14 February, 2022;
originally announced February 2022.
-
A third order BDF energy stable linear scheme for the no-slope-selection thin film model
Authors:
Yonghong Hao,
Qiumei Huang,
Cheng Wang
Abstract:
In this paper we propose and analyze a (temporally) third order accurate backward differentiation formula (BDF) numerical scheme for the no-slope-selection (NSS) equation of the epitaxial thin film growth model, with Fourier pseudo-spectral discretization in space. The surface diffusion term is treated implicitly, while the nonlinear chemical potential is approximated by a third order explicit ext…
▽ More
In this paper we propose and analyze a (temporally) third order accurate backward differentiation formula (BDF) numerical scheme for the no-slope-selection (NSS) equation of the epitaxial thin film growth model, with Fourier pseudo-spectral discretization in space. The surface diffusion term is treated implicitly, while the nonlinear chemical potential is approximated by a third order explicit extrapolation formula for the sake of solvability. In addition, a third order accurate Douglas-Dupont regularization term, in the form of $-A Δt^2 Δ_N^2 ( u^{n+1} - u^n)$, is added in the numerical scheme. A careful energy stability estimate, combined with Fourier eigenvalue analysis, results in the energy stability in a modified version, and a theoretical justification of the coefficient $A$ becomes available. As a result of this energy stability analysis, a uniform in time bound of the numerical energy is obtained. And also, the optimal rate convergence analysis and error estimate are derived in details, in the $\ell^\infty (0,T; \ell^2) \cap \ell^2 (0,T; H_h^2)$ norm, with the help of a linearized estimate for the nonlinear error terms. %This convergence estimate is the first such result for a third order accurate scheme for a gradient flow. Some numerical simulation results are presented to demonstrate the efficiency of the numerical scheme and the third order convergence. The long time simulation results for $\varepsilon=0.02$ (up to $T=3 \times 10^5$) have indicated a logarithm law for the energy decay, as well as the power laws for growth of the surface roughness and the mound width. In particular, the power index for the surface roughness and the mound width growth, created by the third order numerical scheme, is more accurate than those produced by certain second order energy stable schemes in the existing literature.
△ Less
Submitted 31 October, 2020;
originally announced November 2020.
-
Leveraging Vehicle Connectivity and Autonomy to Stabilize Flow in Mixed Traffic Conditions: Accounting for Human-driven Vehicle Driver Behavioral Heterogeneity and Perception-reaction Time Delay
Authors:
Yujie Li,
Sikai Chen,
Paul Young Joun Ha,
Jiqian Dong,
Aaron Steinfeld,
Samuel Labi
Abstract:
The erratic nature of human driving tends to trigger undesired waves that amplify as successive driver reactions propagate from the errant vehicle to vehicles upstream. Known as phantom jams, this phenomenon has been identified in the literature as one of the main causes of traffic congestion. This paper is based on the premise that vehicle automation and connectivity can help mitigate such jams.…
▽ More
The erratic nature of human driving tends to trigger undesired waves that amplify as successive driver reactions propagate from the errant vehicle to vehicles upstream. Known as phantom jams, this phenomenon has been identified in the literature as one of the main causes of traffic congestion. This paper is based on the premise that vehicle automation and connectivity can help mitigate such jams. In the paper, we design a controller for use in a connected and autonomous vehicle (CAV) to stabilize the flow of human-driven vehicles (HDVs) that are upstream of the CAV, and consequently to lower collision risk in the upstream traffic environment. In modeling the HDV dynamics in the mixed traffic stream, we duly consider HDV driver heterogeneity and the time delays associated with their perception reaction time. We can find that the maximum number of HDVs that a CAV can stabilize is lower when human drivers potential time delay and heterogeneity are considered, compared to the scenario where such are not considered. This result suggests that heterogeneity and time delay in HDV behavior impairs the CAVs capability to stabilize traffic. Therefore, in designing CAV controllers for traffic stabilization, it is essential to consider such uncertainty-related conditions. In our demonstration, we also show that the designed controller can significantly improve both the stability of the mixed traffic stream and the safety of both CAVs and HDVs in the stream. The results are useful for real-time calibration of the model parameters that characterize HDV movements in the mixed stream.
△ Less
Submitted 17 August, 2020; v1 submitted 10 August, 2020;
originally announced August 2020.
-
Non-relativity of Kähler manifold and complex space forms
Authors:
Xiaoliang Cheng,
Yihong Hao
Abstract:
We study the non-relativity for two real analytic Kähler manifolds and complex space forms of three types. The first one is a Kähler manifold whose polarization of local Kähler potential is a Nash function in a local coordinate. The second one is the Hartogs domain equpped with two canonical metrics whose polarizations of the Kähler potentials are the diastatic functions.
We study the non-relativity for two real analytic Kähler manifolds and complex space forms of three types. The first one is a Kähler manifold whose polarization of local Kähler potential is a Nash function in a local coordinate. The second one is the Hartogs domain equpped with two canonical metrics whose polarizations of the Kähler potentials are the diastatic functions.
△ Less
Submitted 6 May, 2020;
originally announced May 2020.
-
Profile Entropy: A Fundamental Measure for the Learnability and Compressibility of Discrete Distributions
Authors:
Yi Hao,
Alon Orlitsky
Abstract:
The profile of a sample is the multiset of its symbol frequencies. We show that for samples of discrete distributions, profile entropy is a fundamental measure unifying the concepts of estimation, inference, and compression. Specifically, profile entropy a) determines the speed of estimating the distribution relative to the best natural estimator; b) characterizes the rate of inferring all symmetr…
▽ More
The profile of a sample is the multiset of its symbol frequencies. We show that for samples of discrete distributions, profile entropy is a fundamental measure unifying the concepts of estimation, inference, and compression. Specifically, profile entropy a) determines the speed of estimating the distribution relative to the best natural estimator; b) characterizes the rate of inferring all symmetric properties compared with the best estimator over any label-invariant distribution collection; c) serves as the limit of profile compression, for which we derive optimal near-linear-time block and sequential algorithms. To further our understanding of profile entropy, we investigate its attributes, provide algorithms for approximating its value, and determine its magnitude for numerous structural distribution families.
△ Less
Submitted 26 February, 2020;
originally announced February 2020.
-
SURF: A Simple, Universal, Robust, Fast Distribution Learning Algorithm
Authors:
Yi Hao,
Ayush Jain,
Alon Orlitsky,
Vaishakh Ravindrakumar
Abstract:
Sample- and computationally-efficient distribution estimation is a fundamental tenet in statistics and machine learning. We present SURF, an algorithm for approximating distributions by piecewise polynomials. SURF is: simple, replacing prior complex optimization techniques by straight-forward {empirical probability} approximation of each potential polynomial piece {through simple empirical-probabi…
▽ More
Sample- and computationally-efficient distribution estimation is a fundamental tenet in statistics and machine learning. We present SURF, an algorithm for approximating distributions by piecewise polynomials. SURF is: simple, replacing prior complex optimization techniques by straight-forward {empirical probability} approximation of each potential polynomial piece {through simple empirical-probability interpolation}, and using plain divide-and-conquer to merge the pieces; universal, as well-known polynomial-approximation results imply that it accurately approximates a large class of common distributions; robust to distribution mis-specification as for any degree $d \le 8$, it estimates any distribution to an $\ell_1$ distance $< 3$ times that of the nearest degree-$d$ piecewise polynomial, improving known factor upper bounds of 3 for single polynomials and 15 for polynomials with arbitrarily many pieces; fast, using optimal sample complexity, running in near sample-linear time, and if given sorted samples it may be parallelized to run in sub-linear time. In experiments, SURF outperforms state-of-the art algorithms.
△ Less
Submitted 11 February, 2021; v1 submitted 21 February, 2020;
originally announced February 2020.
-
Improving accuracy of the fifth-order WENO scheme by using the exponential approximation space
Authors:
Youngsoo Ha,
Chang Ho Kim,
Hyoseon Yang,
Jungho Yoon
Abstract:
The aim of this study is to develop a novel WENO scheme that improves the performance of the well-known fifth-order WENO methods. The approximation space consists of exponential polynomials with a tension parameter that may be optimized to fit the the specific feature of the data, yielding better results compared to the polynomial approximation space. However, finding an optimal tension parameter…
▽ More
The aim of this study is to develop a novel WENO scheme that improves the performance of the well-known fifth-order WENO methods. The approximation space consists of exponential polynomials with a tension parameter that may be optimized to fit the the specific feature of the data, yielding better results compared to the polynomial approximation space. However, finding an optimal tension parameter is a very important and difficult problem, indeed a topic of active research. In this regard, this study introduces a practical approach to determine an optimal tension parameter by taking into account the relationship between the tension parameter and the accuracy of the exponential polynomial interpolation under the setting of the fifth-order WENO scheme. As a result, the proposed WENO scheme attains an improved order of accuracy (that is, sixth-order) better than other fifth-order WENO methods without loss of accuracy at critical points. A detailed analysis is provided to verify the improved convergence rate. Further, we present modified nonlinear weights based on $L^1$-norm approach along with a new global smoothness indicator. The proposed nonlinear weights reduce numerical dissipation significantly, while attaining better resolution in smooth regions. Some experimental results for various benchmark test problems are presented to demonstrate the ability of the new scheme.
△ Less
Submitted 14 February, 2020;
originally announced February 2020.
-
Unified Sample-Optimal Property Estimation in Near-Linear Time
Authors:
Yi Hao,
Alon Orlitsky
Abstract:
We consider the fundamental learning problem of estimating properties of distributions over large domains. Using a novel piecewise-polynomial approximation technique, we derive the first unified methodology for constructing sample- and time-efficient estimators for all sufficiently smooth, symmetric and non-symmetric, additive properties. This technique yields near-linear-time computable estimator…
▽ More
We consider the fundamental learning problem of estimating properties of distributions over large domains. Using a novel piecewise-polynomial approximation technique, we derive the first unified methodology for constructing sample- and time-efficient estimators for all sufficiently smooth, symmetric and non-symmetric, additive properties. This technique yields near-linear-time computable estimators whose approximation values are asymptotically optimal and highly-concentrated, resulting in the first: 1) estimators achieving the $\mathcal{O}(k/(\varepsilon^2\log k))$ min-max $\varepsilon$-error sample complexity for all $k$-symbol Lipschitz properties; 2) unified near-optimal differentially private estimators for a variety of properties; 3) unified estimator achieving optimal bias and near-optimal variance for five important properties; 4) near-optimal sample-complexity estimators for several important symmetric properties over both domain sizes and confidence levels. In addition, we establish a McDiarmid's inequality under Poisson sampling, which is of independent interest.
△ Less
Submitted 17 March, 2020; v1 submitted 8 November, 2019;
originally announced November 2019.
-
A Simpson correspondence for abelian varieties in characteristic p > 0
Authors:
Yun Hao
Abstract:
Let X/k be an abelian variety over an algebraically closed field k of characteristic p > 0. In this paper, using the Azumaya property of the sheaf of crystalline differential operators and the Morita equivalence, we show that etale locally over the Hitchin base, the moduli stack of Higgs bundles on the Frobenius twist X' is equivalent to that of local systems on X. We follow the approach of [Gro16…
▽ More
Let X/k be an abelian variety over an algebraically closed field k of characteristic p > 0. In this paper, using the Azumaya property of the sheaf of crystalline differential operators and the Morita equivalence, we show that etale locally over the Hitchin base, the moduli stack of Higgs bundles on the Frobenius twist X' is equivalent to that of local systems on X. We follow the approach of [Gro16].
△ Less
Submitted 27 October, 2019;
originally announced October 2019.
-
Controllability of Kronecker Product Networks
Authors:
Yuqing Hao,
Qingyun Wang,
Zhisheng Duan,
Guanrong Chen
Abstract:
A necessary and sufficient condition is derived for the controllability of Kronecker product networks, where the factor networks are general directed graphs. The condition explicitly illustrates how the controllability of the factor networks affects the controllability of the composite network. For the special case where at least one factor network is diagonalizable, an easily-verifiable condition…
▽ More
A necessary and sufficient condition is derived for the controllability of Kronecker product networks, where the factor networks are general directed graphs. The condition explicitly illustrates how the controllability of the factor networks affects the controllability of the composite network. For the special case where at least one factor network is diagonalizable, an easily-verifiable condition is explicitly expressed. Furthermore, the controllability of higher-dimensional multi-agent systems is revisited, revealing that some controllability criterion reported in the literature does not hold. Consequently, a modified necessary and sufficient condition is established. The effectiveness of the new conditions is demonstrated through several examples.
△ Less
Submitted 27 June, 2019;
originally announced June 2019.
-
Liouville theorem for steady-state solutions of simplified Ericksen-Leslie system
Authors:
Yihang Hao,
Xiangao Liu,
Xiaotao Zhang
Abstract:
In this paper, we investigate the steady simplified Ericksen-Leslie system. For three dimension, we obtain Liouville theorems if $u$ and $\nabla d$ satisfy the Galdi's[1] condition, or some decay conditions. Note that the simplified Ericksen-Leslie system becomes Navier-Stokes equations when $d$ is constant vector.
In this paper, we investigate the steady simplified Ericksen-Leslie system. For three dimension, we obtain Liouville theorems if $u$ and $\nabla d$ satisfy the Galdi's[1] condition, or some decay conditions. Note that the simplified Ericksen-Leslie system becomes Navier-Stokes equations when $d$ is constant vector.
△ Less
Submitted 14 June, 2019;
originally announced June 2019.
-
The Broad Optimality of Profile Maximum Likelihood
Authors:
Yi Hao,
Alon Orlitsky
Abstract:
We study three fundamental statistical-learning problems: distribution estimation, property estimation, and property testing. We establish the profile maximum likelihood (PML) estimator as the first unified sample-optimal approach to a wide range of learning tasks. In particular, for every alphabet size $k$ and desired accuracy $\varepsilon$:
$\textbf{Distribution estimation}$ Under $\ell_1$ dis…
▽ More
We study three fundamental statistical-learning problems: distribution estimation, property estimation, and property testing. We establish the profile maximum likelihood (PML) estimator as the first unified sample-optimal approach to a wide range of learning tasks. In particular, for every alphabet size $k$ and desired accuracy $\varepsilon$:
$\textbf{Distribution estimation}$ Under $\ell_1$ distance, PML yields optimal $Θ(k/(\varepsilon^2\log k))$ sample complexity for sorted-distribution estimation, and a PML-based estimator empirically outperforms the Good-Turing estimator on the actual distribution;
$\textbf{Additive property estimation}$ For a broad class of additive properties, the PML plug-in estimator uses just four times the sample size required by the best estimator to achieve roughly twice its error, with exponentially higher confidence;
$\boldsymbolα\textbf{-Rényi entropy estimation}$ For integer $α>1$, the PML plug-in estimator has optimal $k^{1-1/α}$ sample complexity; for non-integer $α>3/4$, the PML plug-in estimator has sample complexity lower than the state of the art;
$\textbf{Identity testing}$ In testing whether an unknown distribution is equal to or at least $\varepsilon$ far from a given distribution in $\ell_1$ distance, a PML-based tester achieves the optimal sample complexity up to logarithmic factors of $k$.
Most of these results also hold for a near-linear-time computable variant of PML. Stronger results hold for a different and novel variant called truncated PML (TPML).
△ Less
Submitted 11 July, 2019; v1 submitted 10 June, 2019;
originally announced June 2019.
-
Data Amplification: A Unified and Competitive Approach to Property Estimation
Authors:
Yi Hao,
Alon Orlitsky,
Ananda T. Suresh,
Yihong Wu
Abstract:
Estimating properties of discrete distributions is a fundamental problem in statistical learning. We design the first unified, linear-time, competitive, property estimator that for a wide class of properties and for all underlying distributions uses just $2n$ samples to achieve the performance attained by the empirical estimator with $n\sqrt{\log n}$ samples. This provides off-the-shelf, distribut…
▽ More
Estimating properties of discrete distributions is a fundamental problem in statistical learning. We design the first unified, linear-time, competitive, property estimator that for a wide class of properties and for all underlying distributions uses just $2n$ samples to achieve the performance attained by the empirical estimator with $n\sqrt{\log n}$ samples. This provides off-the-shelf, distribution-independent, "amplification" of the amount of data available relative to common-practice estimators.
We illustrate the estimator's practical advantages by comparing it to existing estimators for a wide variety of properties and distributions. In most cases, its performance with $n$ samples is even as good as that of the empirical estimator with $n\log n$ samples, and for essentially all properties, its performance is comparable to that of the best existing estimator designed specifically for that property.
△ Less
Submitted 29 March, 2019;
originally announced April 2019.
-
Data Amplification: Instance-Optimal Property Estimation
Authors:
Yi Hao,
Alon Orlitsky
Abstract:
The best-known and most commonly used distribution-property estimation technique uses a plug-in estimator, with empirical frequency replacing the underlying distribution. We present novel linear-time-computable estimators that significantly "amplify" the effective amount of data available. For a large variety of distribution properties including four of the most popular ones and for every underlyi…
▽ More
The best-known and most commonly used distribution-property estimation technique uses a plug-in estimator, with empirical frequency replacing the underlying distribution. We present novel linear-time-computable estimators that significantly "amplify" the effective amount of data available. For a large variety of distribution properties including four of the most popular ones and for every underlying distribution, they achieve the accuracy that the empirical-frequency plug-in estimators would attain using a logarithmic-factor more samples.
Specifically, for Shannon entropy and a very broad class of properties including $\ell_1$-distance, the new estimators use $n$ samples to achieve the accuracy attained by the empirical estimators with $n\log n$ samples. For support-size and coverage, the new estimators use $n$ samples to achieve the performance of empirical frequency with sample size $n$ times the logarithm of the property value. Significantly strengthening the traditional min-max formulation, these results hold not only for the worst distributions, but for each and every underlying distribution. Furthermore, the logarithmic amplification factors are optimal. Experiments on a wide variety of distributions show that the new estimators outperform the previous state-of-the-art estimators designed for each specific property.
△ Less
Submitted 5 March, 2019; v1 submitted 4 March, 2019;
originally announced March 2019.
-
Differential and integral invariants under Mobius transformation
Authors:
He Zhang,
Hanlin Mo,
You Hao,
Qi Li,
Hua Li
Abstract:
One of the most challenging problems in the domain of 2-D image or 3-D shape is to handle the non-rigid deformation. From the perspective of transformation groups, the conformal transformation is a key part of the diffeomorphism. According to the Liouville Theorem, an important part of the conformal transformation is the Mobius transformation, so we focus on Mobius transformation and propose two d…
▽ More
One of the most challenging problems in the domain of 2-D image or 3-D shape is to handle the non-rigid deformation. From the perspective of transformation groups, the conformal transformation is a key part of the diffeomorphism. According to the Liouville Theorem, an important part of the conformal transformation is the Mobius transformation, so we focus on Mobius transformation and propose two differential expressions that are invariable under 2-D and 3-D Mobius transformation respectively. Next, we analyze the absoluteness and relativity of invariance on them and their components. After that, we propose integral invariants under Mobius transformation based on the two differential expressions. Finally, we propose a conjecture about the structure of differential invariants under conformal transformation according to our observation on the composition of the above two differential invariants.
△ Less
Submitted 29 August, 2018;
originally announced August 2018.
-
On Skew-Symmetric Games
Authors:
Yaqi Hao,
Daizhan Cheng
Abstract:
By resorting to the vector space structure of finite games, skew-symmetric games (SSGs) are proposed and investigated as a natural subspace of finite games. First of all, for two player games, it is shown that the skew-symmetric games form an orthogonal complement of the symmetric games. Then for a general SSG its linear representation is given, which can be used to verify whether a finite game is…
▽ More
By resorting to the vector space structure of finite games, skew-symmetric games (SSGs) are proposed and investigated as a natural subspace of finite games. First of all, for two player games, it is shown that the skew-symmetric games form an orthogonal complement of the symmetric games. Then for a general SSG its linear representation is given, which can be used to verify whether a finite game is skew-symmetric. Furthermore, some properties of SSGs are also obtained in the light of its vector subspace structure. Finally, a symmetry-based decomposition of finite games is proposed, which consists of three mutually orthogonal subspaces: symmetric subspace, skew-symmetric subspace and asymmetric subspace. An illustrative example is presented to demonstrate this decomposition.
△ Less
Submitted 8 December, 2017;
originally announced December 2017.
