Showing 1–50 of 438 results for author: Wang, G

On $δ$-Stable Minimal Hypersurfaces in $\mathbb{R}^{n+1}$

Authors: Han Hong, Haizhong Li, Gaoming Wang

Abstract: In this paper, we extend several results established for stable minimal hypersurfaces to $δ$-stable minimal hypersurfaces. These include the regularity and compactness theorems for immersed $δ$-stable minimal hypersurfaces in $\mathbb{R}^{n+1}$ when $n \geq 3$ and $δ> \frac{n-2}{n}$, as well as the $δ$-stable Bernstein theorem for $n=3$ and $n=4$ for properly immersion. The range of $δ$ is optimal… ▽ More In this paper, we extend several results established for stable minimal hypersurfaces to $δ$-stable minimal hypersurfaces. These include the regularity and compactness theorems for immersed $δ$-stable minimal hypersurfaces in $\mathbb{R}^{n+1}$ when $n \geq 3$ and $δ> \frac{n-2}{n}$, as well as the $δ$-stable Bernstein theorem for $n=3$ and $n=4$ for properly immersion. The range of $δ$ is optimal, as the $n$-dimensional catenoid in $\mathbb{R}^{n+1}$ is $\frac{n-2}{n}$-stable. △ Less

Submitted 3 July, 2024; originally announced July 2024.

Comments: 37 pages. Comments are welcome

Mean-Field Langevin Dynamics for Signed Measures via a Bilevel Approach

Authors: Guillaume Wang, Alireza Mousavi-Hosseini, Lénaïc Chizat

Abstract: Mean-field Langevin dynamics (MLFD) is a class of interacting particle methods that tackle convex optimization over probability measures on a manifold, which are scalable, versatile, and enjoy computational guarantees. However, some important problems -- such as risk minimization for infinite width two-layer neural networks, or sparse deconvolution -- are originally defined over the set of signed,… ▽ More Mean-field Langevin dynamics (MLFD) is a class of interacting particle methods that tackle convex optimization over probability measures on a manifold, which are scalable, versatile, and enjoy computational guarantees. However, some important problems -- such as risk minimization for infinite width two-layer neural networks, or sparse deconvolution -- are originally defined over the set of signed, rather than probability, measures. In this paper, we investigate how to extend the MFLD framework to convex optimization problems over signed measures. Among two known reductions from signed to probability measures -- the lifting and the bilevel approaches -- we show that the bilevel reduction leads to stronger guarantees and faster rates (at the price of a higher per-iteration complexity). In particular, we investigate the convergence rate of MFLD applied to the bilevel reduction in the low-noise regime and obtain two results. First, this dynamics is amenable to an annealing schedule, adapted from Suzuki et al. (2023), that results in improved convergence rates to a fixed multiplicative accuracy. Second, we investigate the problem of learning a single neuron with the bilevel approach and obtain local exponential convergence rates that depend polynomially on the dimension and noise level (to compare with the exponential dependence that would result from prior analyses). △ Less

Submitted 26 June, 2024; v1 submitted 24 June, 2024; originally announced June 2024.

Comments: 57 pages, 1 figure

Transversal Hamilton paths and cycles

Authors: Yangyang Cheng, Wanting Sun, Guanghui Wang, Lan Wei

Abstract: Given a collection $\mathcal{G} =\{G_1,G_2,\dots,G_m\}$ of graphs on the common vertex set $V$ of size $n$, an $m$-edge graph $H$ on the same vertex set $V$ is transversal in $\mathcal{G}$ if there exists a bijection $\varphi :E(H)\rightarrow [m]$ such that $e \in E(G_{\varphi(e)})$ for all $e\in E(H)$. Denote $δ(\mathcal{G}):=\operatorname*{min}\left\{δ(G_i): i\in [m]\right\}$. In this paper, we… ▽ More Given a collection $\mathcal{G} =\{G_1,G_2,\dots,G_m\}$ of graphs on the common vertex set $V$ of size $n$, an $m$-edge graph $H$ on the same vertex set $V$ is transversal in $\mathcal{G}$ if there exists a bijection $\varphi :E(H)\rightarrow [m]$ such that $e \in E(G_{\varphi(e)})$ for all $e\in E(H)$. Denote $δ(\mathcal{G}):=\operatorname*{min}\left\{δ(G_i): i\in [m]\right\}$. In this paper, we first establish a minimum degree condition for the existence of transversal Hamilton paths in $\mathcal{G}$: if $n=m+1$ and $δ(\mathcal{G})\geq \frac{n-1}{2}$, then $\mathcal{G}$ contains a transversal Hamilton path. This solves a problem proposed by [Li, Li and Li, J. Graph Theory, 2023]. As a continuation of the transversal version of Dirac's theorem [Joos and Kim, Bull. Lond. Math. Soc., 2020] and the stability result for transversal Hamilton cycles [Cheng and Staden, arXiv:2403.09913v1], our second result characterizes all graph collections with minimum degree at least $\frac{n}{2}-1$ and without transversal Hamilton cycles. We obtain an analogous result for transversal Hamilton paths. The proof is a combination of the stability result for transversal Hamilton paths or cycles, transversal blow-up lemma, along with some structural analysis. △ Less

Submitted 20 June, 2024; originally announced June 2024.

Comments: 33 pages, 10 figures

MSC Class: 05C35

On Convergence and Rate of Convergence of Policy Improvement Algorithms

Authors: ** Ma, Gaozhan Wang, Jianfeng Zhang

Abstract: In this paper we provide a simple proof from scratch for the convergence of Policy Improvement Algorithm (PIA) for a continuous time entropy-regularized stochastic control problem. Such convergence has been established by Huang-Wang-Zhou(2023) by using sophisticated PDE estimates for the iterative PDEs involved in the PIA. Our approach builds on some Feynman-Kac type probabilistic representation f… ▽ More In this paper we provide a simple proof from scratch for the convergence of Policy Improvement Algorithm (PIA) for a continuous time entropy-regularized stochastic control problem. Such convergence has been established by Huang-Wang-Zhou(2023) by using sophisticated PDE estimates for the iterative PDEs involved in the PIA. Our approach builds on some Feynman-Kac type probabilistic representation formulae for solutions of PDEs and their derivatives. Moreover, in the infinite horizon model with a large discount factor and in the finite horizon model, we obtain the exponential rate of convergence with similar arguments. Finally, in the one dimensional setting, we extend the convergence result to the diffusion control case. △ Less

Submitted 20 June, 2024; v1 submitted 16 June, 2024; originally announced June 2024.

Comments: In this version we added a convergence result for the 1-dimensional model with diffusion controls

Combining an experimental study with external data: study designs and identification strategies

Authors: Lawson Ung, Guanbo Wang, Sebastien Haneuse, Miguel A. Hernan, Issa J. Dahabreh

Abstract: There is increasing interest in combining information from experimental studies, including randomized and single-group trials, with information from external experimental or observational data sources. Such efforts are usually motivated by the desire to compare treatments evaluated in different studies -- for instance, through the introduction of external treatment groups -- or to estimate treatme… ▽ More There is increasing interest in combining information from experimental studies, including randomized and single-group trials, with information from external experimental or observational data sources. Such efforts are usually motivated by the desire to compare treatments evaluated in different studies -- for instance, through the introduction of external treatment groups -- or to estimate treatment effects with greater precision. Proposals to combine experimental studies with external data were made at least as early as the 1970s, but in recent years have come under increasing consideration by regulatory agencies involved in drug and device evaluation, particularly with the increasing availability of rich observational data. In this paper, we describe basic templates of study designs and data structures for combining information from experimental studies with external data, and use the potential (counterfactual) outcomes framework to elaborate identification strategies for potential outcome means and average treatment effects in these designs. In formalizing designs and identification strategies for combining information from experimental studies with external data, we hope to provide a conceptual foundation to support the systematic use and evaluation of such efforts. △ Less

Submitted 5 June, 2024; originally announced June 2024.

Comments: First submission

Chromatic symmetric functions of conjoined graphs

Authors: E. Y. J. Qi, D. Q. B. Tang, D. G. L. Wang

Abstract: We introduce path-conjoined graphs defined for two rooted graphs by joining their roots with a path, and investigate the chromatic symmetric functions of its two generalizations: spider-conjoined graphs and chain-conjoined graphs. By using the composition method developed by Zhou and the third author, we obtain neat positive $e_I$-expansions for the chromatic symmetric functions of clique-path-cyc… ▽ More We introduce path-conjoined graphs defined for two rooted graphs by joining their roots with a path, and investigate the chromatic symmetric functions of its two generalizations: spider-conjoined graphs and chain-conjoined graphs. By using the composition method developed by Zhou and the third author, we obtain neat positive $e_I$-expansions for the chromatic symmetric functions of clique-path-cycle graphs, path-clique-path graphs, and path-clique-clique graphs. △ Less

Submitted 3 June, 2024; originally announced June 2024.

The spectral radius and the distance spectral radius of complements of block graphs

Authors: Xu Chen, Dongjun Fan, Rongxiao Shao, Guo** Wang

Abstract: In this paper, we determine the graphs whose spectral radius and distance spectral radius attain maximum and minimum among all complements of clique trees. Furthermore, we also determine the graphs whose spectral radius and distance spectral radius attain minimum and maximum among all complements of block graphs, respectively. In this paper, we determine the graphs whose spectral radius and distance spectral radius attain maximum and minimum among all complements of clique trees. Furthermore, we also determine the graphs whose spectral radius and distance spectral radius attain minimum and maximum among all complements of block graphs, respectively. △ Less

Submitted 30 May, 2024; originally announced May 2024.

MSC Class: 05C12; 05C50; 05C69

Enhanced dissipation and stability of Poiseuille flow for two-dimensional Boussinesq system

Authors: Gaofeng Wang

Abstract: We investigate the nonlinear stability problem for the two-dimensional Boussinesq system around the Poiseuille flow in a finite channel. The system has the characteristic of Navier-slip boundary condition for the velocity and Dirichlet boundary condition for the temperature, with a small viscosity $ν$ and small thermal diffusion $μ,$ respectively. More precisely, we prove that if the initial veloc… ▽ More We investigate the nonlinear stability problem for the two-dimensional Boussinesq system around the Poiseuille flow in a finite channel. The system has the characteristic of Navier-slip boundary condition for the velocity and Dirichlet boundary condition for the temperature, with a small viscosity $ν$ and small thermal diffusion $μ,$ respectively. More precisely, we prove that if the initial velocity and initial temperature satisfies$$||u_{0}-(1-y^2,0) ||_{H^{\frac{7}{2}+}}\leq c_0\min\left\lbrace μ,ν\right\rbrace ^{\frac{2}{3}}$$ and $$ ||θ_{0}||_{H^1}+|||D_x|^{\frac{1}{8}}θ_{0}||_{H^1}\leq c_1\min\left\lbrace μ,ν\right\rbrace ^{{\frac{31}{24}}}$$ for some small constants $c_0$ and $c_1$ which are both independent of $μ,ν$, then we can reach the conclusion that the velocity remains within $O\left( \min\left\lbrace μ,ν\right\rbrace ^{\frac{2}{3}}\right) $ of the Poiseuille flow; the temperature remains $O\left( \min\left\lbrace μ,ν\right\rbrace ^{\frac{31}{24}}\right) $ of the constant 0, and approaches to 0 as $t\rightarrow\infty.$ △ Less

Submitted 20 May, 2024; originally announced May 2024.

Comments: 27pages

MSC Class: 35Q30; 35Q35; 76D03 35Q35; 76D03

The spiders $S(4m+2,\,2m,\,1)$ are $e$-positivite

Authors: Davion Q. B. Tang, David G. L. Wang, Monica M. Y. Wang

Abstract: We establish the $e$-positivity of spider graphs of the form $S(4m+2,\, 2m,\, 1)$, which was conjectured by Aliniaeifard, Wang and van Willigenburg. A key to our proof is the $e_I$-expansion formula of the chromatic symmetric function of paths due to Shareshian and Wachs, where the symbol~$I$ indicates integer compositions rather than partitions. Following the strategy of the divide-and-conquer te… ▽ More We establish the $e$-positivity of spider graphs of the form $S(4m+2,\, 2m,\, 1)$, which was conjectured by Aliniaeifard, Wang and van Willigenburg. A key to our proof is the $e_I$-expansion formula of the chromatic symmetric function of paths due to Shareshian and Wachs, where the symbol~$I$ indicates integer compositions rather than partitions. Following the strategy of the divide-and-conquer technique, we pick out one or two positive $e_J$-terms for each negative $e_I$-term in an $e$-expression for the spiders, where $J$ are selected to be distinct compositions obtained by rearranging the parts of $I$. △ Less

Submitted 8 May, 2024; originally announced May 2024.

Anti-Ramsey numbers of loose paths and cycles in uniform hypergraphs

Authors: Tong Li, Yucong Tang, Guanghui Wang, Guiying Yan

Abstract: For a fixed family of $r$-uniform hypergraphs $\mathcal{F}$, the anti-Ramsey number of $\mathcal{F}$, denoted by $ ar(n,r,\mathcal{F})$, is the minimum number $c$ of colors such that for any edge-coloring of the complete $r$-uniform hypergraph on $n$ vertices with at least $c$ colors, there is a rainbow copy of some hypergraph in $\mathcal{F}$. Here, a rainbow hypergraph is an edge-colored hypergr… ▽ More For a fixed family of $r$-uniform hypergraphs $\mathcal{F}$, the anti-Ramsey number of $\mathcal{F}$, denoted by $ ar(n,r,\mathcal{F})$, is the minimum number $c$ of colors such that for any edge-coloring of the complete $r$-uniform hypergraph on $n$ vertices with at least $c$ colors, there is a rainbow copy of some hypergraph in $\mathcal{F}$. Here, a rainbow hypergraph is an edge-colored hypergraph with all edges colored differently. Let $\mathcal{P}_k$ and $\mathcal{C}_k$ be the families of loose paths and loose cycles with $k$ edges in an $r$-uniform hypergraph, respectively. In this paper, we determine the exact values of $ ar(n,r,\mathcal{P}_k)$ and $ ar(n,r,\mathcal{C}_k)$ for all $k\geq 4$ and $r\geq 3$. △ Less

Submitted 7 May, 2024; originally announced May 2024.

All cycle-chords are $e$-positive

Authors: David G. L. Wang

Abstract: We establish the $e$-positivity of all cycle-chord graphs by using the composition method that is developed by Zhou and the author very recently. Our technique is not only applicable to all cycle-chords, but also much simpler than the $(e)$-positivity method that is used for handling cycle-chords with girth at most $4$. We establish the $e$-positivity of all cycle-chord graphs by using the composition method that is developed by Zhou and the author very recently. Our technique is not only applicable to all cycle-chords, but also much simpler than the $(e)$-positivity method that is used for handling cycle-chords with girth at most $4$. △ Less

Submitted 2 May, 2024; originally announced May 2024.

Comments: 5 pages, 1 figure

MSC Class: 05E05

Social Optima of Linear Forward-Backward Stochastic System

Authors: Guangchen Wang, Shujun Wang, Jie Xiong

Abstract: A linear quadratic (LQ) stochastic optimization system involving large population, which is driven by forward-backward stochastic differential equation (FBSDE), is investigated in this paper. Agents cooperate with each other to minimize the so-called social objective, which is rather different from mean field (MF) game. Employing forward-backward person-by-person optimality principle, we derive an… ▽ More A linear quadratic (LQ) stochastic optimization system involving large population, which is driven by forward-backward stochastic differential equation (FBSDE), is investigated in this paper. Agents cooperate with each other to minimize the so-called social objective, which is rather different from mean field (MF) game. Employing forward-backward person-by-person optimality principle, we derive an auxiliary LQ control problem by decentralized information. A decentralized strategy is obtained by virtue of an MF-type forward-backward stochastic differential equation consistency condition. Applying Riccati equation decoupling method, we solve the consistency condition system. We also verify the asymptotic social optimality in this framework. △ Less

Submitted 29 April, 2024; originally announced April 2024.

Comments: 30 pages

Recursive stochastic differential games with non-Lipschitzian generators and viscosity solutions of Hamilton-Jacobi-Bellman-Isaacs equation

Authors: Guangchen Wang, Zhuangzhuang Xing

Abstract: This investigation is dedicated to a two-player zero-sum stochastic differential game (SDG), where a cost function is characterized by a backward stochastic differential equation (BSDE) with a continuous and monotonic generator regarding the first unknown variable, which possesses immense applicability in financial engineering. A verification theorem by virtue of classical solution of derived Hami… ▽ More This investigation is dedicated to a two-player zero-sum stochastic differential game (SDG), where a cost function is characterized by a backward stochastic differential equation (BSDE) with a continuous and monotonic generator regarding the first unknown variable, which possesses immense applicability in financial engineering. A verification theorem by virtue of classical solution of derived Hamilton-Jacobi-Bellman-Isaacs (HJBI) equation is given. The dynamic programming principle (DPP) and unique weak (viscosity) solvability of HJBI equation are formulated through comparison theorem for BSDEs with monotonic generators and stability of viscosity solution. Some new regularity properties of value function are presented. Finally, we propose three concrete examples, which are concerned with resp., classical, and viscosity solution of HJBI equation, as well as a financial application where an investor with a non-Lipschitzian Epstein-Zin utility deals with market friction to maximize her utility preference. △ Less

Submitted 18 April, 2024; originally announced April 2024.

Transition threshold for the 2-D Couette flow in whole space via Green's function

Authors: Gaofeng Wang, Weike Wang

Abstract: In this paper, we investigate the transition threshold problem concerning the 2-D Navier-Stokes equations in the context of Couette flow $(y,0)$ at high Reynolds number $Re$ in whole space. By utilizing Green's function estimates for the linearized equations around Couette flow, we initially establish refined dissipation estimates for the linearized Navier-Stokes equations with a precise decay rat… ▽ More In this paper, we investigate the transition threshold problem concerning the 2-D Navier-Stokes equations in the context of Couette flow $(y,0)$ at high Reynolds number $Re$ in whole space. By utilizing Green's function estimates for the linearized equations around Couette flow, we initially establish refined dissipation estimates for the linearized Navier-Stokes equations with a precise decay rate $(1+t)^{-1}.$ As an application, we prove that if the initial perturbation of vorticity satisfies$$\|ω_{0}\|_{H^{1}\cap L^1}\leq c_0ν^{\frac{3}{4}}$$ for some small constant $c_0$ independent of the viscosity $ν$, then we can reach the conclusion that the solution remains within $O\left( ν^{\frac{3}{4}}\right) $ of the Couette flow. △ Less

Submitted 17 April, 2024; originally announced April 2024.

Comments: 20pages

MSC Class: 35Q30

Exploring Homological Properties of Independent Complexes of Kneser Graphs

Authors: Ziqin Feng, Guanghui Wang

Abstract: We discuss the topological properties of the independence complex of Kneser graphs, Ind(KG$(n, k))$, with $n\geq 3$ and $k\geq 1$. By identifying one kind of maximal simplices through projective planes, we obtain homology generators for the $6$-dimensional homology of the complex Ind(KG$(3, k))$. Using cross-polytopal generators, we provide lower bounds for the rank of $p$-dimensional homology of… ▽ More We discuss the topological properties of the independence complex of Kneser graphs, Ind(KG$(n, k))$, with $n\geq 3$ and $k\geq 1$. By identifying one kind of maximal simplices through projective planes, we obtain homology generators for the $6$-dimensional homology of the complex Ind(KG$(3, k))$. Using cross-polytopal generators, we provide lower bounds for the rank of $p$-dimensional homology of the complex Ind(KG$(n, k))$ where $p=1/2\cdot {2n+k\choose 2n}$. Denote $\mathcal{F}_n^{[m]}$ to be the collection of $n$-subsets of $[m]$ equipped with the symmetric difference metric. We prove that if $\ell$ is the minimal integer with the $q$th dimensional reduced homology $\tilde{H}_q(\mathcal{VR}(\mathcal{F}^{[\ell]}_n; 2(n-1)))$ being non-trivial, then $$\text{rank} (\tilde{H}_q(\mathcal{VR}(\mathcal{F}_n^{[m]}; 2(n-1)))\geq \sum_{i=\ell}^m{i-2\choose \ell-2}\cdot \text{rank} (\tilde{H}_q(\mathcal{VR}(\mathcal{F}_n^{[\ell]}; 2(n-1))). $$ Since the independence complex Ind(KG$(n, k))$ and the Vietoris-Rips complex $\mathcal{VR}(\mathcal{F}^{[2n+k]}_n; 2(n-1))$ are the same, we obtain a homology propagation result in the setting of independence complexes of Kneser graphs. Connectivity of these complexes is also discussed in this paper. △ Less

Submitted 16 April, 2024; originally announced April 2024.

Two system transformation data-driven algorithms for linear quadratic mean-field games

Authors: Xun Li, Guangchen Wang, Yu Wang, Jie Xiong, Heng Zhang

Abstract: This paper studies a class of continuous-time linear quadratic (LQ) mean-field game problems. We develop two system transformation data-driven algorithms to approximate the decentralized strategies of the LQ mean-field games. The main feature of the obtained data-driven algorithms is that they eliminate the requirement on all system matrices. First, we transform the original stochastic system into… ▽ More This paper studies a class of continuous-time linear quadratic (LQ) mean-field game problems. We develop two system transformation data-driven algorithms to approximate the decentralized strategies of the LQ mean-field games. The main feature of the obtained data-driven algorithms is that they eliminate the requirement on all system matrices. First, we transform the original stochastic system into an ordinary differential equation (ODE). Subsequently, we construct some Kronecker product-based matrices by the input/state data of the ODE. By virtue of these matrices, we implement a model-based policy iteration (PI) algorithm and a model-based value iteration (VI) algorithm in a data-driven fashion. In addition, we also demonstrate the convergence of these two data-driven algorithms under some mild conditions. Finally, we illustrate the practicality of our algorithms via two numerical examples. △ Less

Submitted 16 April, 2024; originally announced April 2024.

When are Unbiased Monte Carlo Estimators More Preferable than Biased Ones?

Authors: Guanyang Wang, Jose Blanchet, Peter W. Glynn

Abstract: Due to the potential benefits of parallelization, designing unbiased Monte Carlo estimators, primarily in the setting of randomized multilevel Monte Carlo, has recently become very popular in operations research and computational statistics. However, existing work primarily substantiates the benefits of unbiased estimators at an intuitive level or using empirical evaluations. The intuition being t… ▽ More Due to the potential benefits of parallelization, designing unbiased Monte Carlo estimators, primarily in the setting of randomized multilevel Monte Carlo, has recently become very popular in operations research and computational statistics. However, existing work primarily substantiates the benefits of unbiased estimators at an intuitive level or using empirical evaluations. The intuition being that unbiased estimators can be replicated in parallel enabling fast estimation in terms of wall-clock time. This intuition ignores that, typically, bias will be introduced due to impatience because most unbiased estimators necesitate random completion times. This paper provides a mathematical framework for comparing these methods under various metrics, such as completion time and overall computational cost. Under practical assumptions, our findings reveal that unbiased methods typically have superior completion times - the degree of superiority being quantifiable through the tail behavior of their running time distribution - but they may not automatically provide substantial savings in overall computational costs. We apply our findings to Markov Chain Monte Carlo and Multilevel Monte Carlo methods to identify the conditions and scenarios where unbiased methods have an advantage, thus assisting practitioners in making informed choices between unbiased and biased methods. △ Less

Submitted 1 April, 2024; originally announced April 2024.

Comments: 35 pages

Allard-Type Regularity for Varifolds with Prescribed Contact Angle

Authors: Gaoming Wang

Abstract: Given a bounded $C^2$ domain in $\mathbb{R}^{n+1}$ and an integral $n$-rectifiable varifold $V$ with bounded first variation and bounded generalized mean curvature. Given a $C^1$ function $θ$ defined on the boundary of the domain with range $(0,π)$, we assume $V$ has prescribed contact angle $θ$ with $\partial Ω$ and the tangent cone of $V$ at a point $X \in \partial Ω$ is a half-hyperplane of den… ▽ More Given a bounded $C^2$ domain in $\mathbb{R}^{n+1}$ and an integral $n$-rectifiable varifold $V$ with bounded first variation and bounded generalized mean curvature. Given a $C^1$ function $θ$ defined on the boundary of the domain with range $(0,π)$, we assume $V$ has prescribed contact angle $θ$ with $\partial Ω$ and the tangent cone of $V$ at a point $X \in \partial Ω$ is a half-hyperplane of density one. Then we can show that the support of $V$ is a $C^{1,γ}$ hypersurface with boundary near $X$ for some $γ\in (0,1)$. △ Less

Submitted 26 March, 2024; originally announced March 2024.

Comments: 60 pages, 2 figures. All comments are welcome

Putting all eggs in one basket: some insights from a correlation inequality

Authors: Pradeep Dubey, Siddhartha Sahi, Guanyang Wang

Abstract: We give examples of situations -- stochastic production, military tactics, corporate merger -- where it is beneficial to concentrate risk rather than to diversify it, that is, to put all eggs in one basket. Our examples admit a dual interpretation: as optimal strategies of a single player (the `principal') or, alternatively, as dominant strategies in a non-cooperative game with multiple players (t… ▽ More We give examples of situations -- stochastic production, military tactics, corporate merger -- where it is beneficial to concentrate risk rather than to diversify it, that is, to put all eggs in one basket. Our examples admit a dual interpretation: as optimal strategies of a single player (the `principal') or, alternatively, as dominant strategies in a non-cooperative game with multiple players (the `agents'). The key mathematical result can be formulated in terms of a convolution structure on the set of increasing functions on a Boolean lattice (the lattice of subsets of a finite set). This generalizes the well-known Harris inequality from statistical physics and discrete mathematics; we give a simple self-contained proof of this result, and prove a further generalization based on the game-theoretic approach. △ Less

Submitted 23 March, 2024; originally announced March 2024.

Comments: 16 pages

MSC Class: 60E15; 91A10; 91A18; 91B43

Multiplicative Hitchin Fibration and Fundamental Lemma

Authors: X. Griffin Wang

Abstract: Let $k$ be a finite field and let $G$ be a reductive group over $k[[π]]$. Suppose $\mathrm{char}(k)$ is larger than twice the Coxeter number of $G$, we prove the standard endoscopic fundamental lemma for the spherical Hecke algebra of $G$ using multiplicative Hitchin fibrations. Let $k$ be a finite field and let $G$ be a reductive group over $k[[π]]$. Suppose $\mathrm{char}(k)$ is larger than twice the Coxeter number of $G$, we prove the standard endoscopic fundamental lemma for the spherical Hecke algebra of $G$ using multiplicative Hitchin fibrations. △ Less

Submitted 29 February, 2024; originally announced February 2024.

Comments: 243 pages

On the maximum size of variable-length non-overlap** codes

Authors: Geyang Wang, Qi Wang

Abstract: Non-overlap** codes are a set of codewords such that the prefix of each codeword is not a suffix of any codeword in the set, including itself. If the lengths of the codewords are variable, it is additionally required that every codeword is not contained in any other codeword as a subword. Let $C(n,q)$ be the maximum size of $q$-ary fixed-length non-overlap** codes of length $n$. The upper boun… ▽ More Non-overlap** codes are a set of codewords such that the prefix of each codeword is not a suffix of any codeword in the set, including itself. If the lengths of the codewords are variable, it is additionally required that every codeword is not contained in any other codeword as a subword. Let $C(n,q)$ be the maximum size of $q$-ary fixed-length non-overlap** codes of length $n$. The upper bound on $C(n,q)$ has been well studied. However, the nontrivial upper bound on the maximum size of variable-length non-overlap** codes of length at most $n$ remains open. In this paper, by establishing a link between variable-length non-overlap** codes and fixed-length ones, we are able to show that the size of a $q$-ary variable-length non-overlap** code is upper bounded by $C(n,q)$. Furthermore, we prove that the average length of the codewords in a $q$-ary variable-length non-overlap** codes is lower bounded by $\lceil \log_q \tilde{C} \rceil$, and is asymptotically no shorter than $n-2$ as $q$ approaches $\infty$, where $\tilde{C}$ denotes the cardinality of $q$-ary variable-length non-overlap** codes of length up to $n$. △ Less

Submitted 29 February, 2024; originally announced February 2024.

MSC Class: 94A45; 94B25

The optimizing mode classification stabilization of sampled stochastic jump systems via an improved hill-climbing algorithm based on Q-learning

Authors: Guoliang Wang

Abstract: This paper addresses the stabilization problem of stochastic jump systems (SJSs) closed by a generally sampled controller. Because of the controller's switching and state both sampled, it is challenging to study its stabilization. A new stabilizing method deeply depending on the mode classifications is proposed to deal with the above sampling situation, whose quantity is equal to a Stirling number… ▽ More This paper addresses the stabilization problem of stochastic jump systems (SJSs) closed by a generally sampled controller. Because of the controller's switching and state both sampled, it is challenging to study its stabilization. A new stabilizing method deeply depending on the mode classifications is proposed to deal with the above sampling situation, whose quantity is equal to a Stirling number of the second kind. For the sake of finding the best stabilization effect among all the classifications, a convex optimization problem is developed, whose globally solution is proved to be existent and can be computed by an augmented Lagrangian function. More importantly, in order to further reduce the computation complexity but retaining a better performance as much as possible, a novelly improved hill-climbing algorithm is established by applying the Q-learning technique to provide an optimal attenuation coefficient. A numerical example is offered so as to verify the effectiveness and superiority of the methods proposed in this study. △ Less

Submitted 27 February, 2024; originally announced February 2024.

Prescribed $L_p$ quotient curvature problem and related eigenvalue problem

Authors: Xinqun Mei, Guofang Wang, Liangjun Weng

Abstract: In this paper, we investigate the existence of admissible (and strictly convex) smooth solutions to the prescribed $L_p$ quotient type curvature problem with $p>1$. For cases where $p=k-l+1$ and $p> k-l+1$, we obtain an admissible solution without any additional conditions, which is strictly spherically convex under a convexity condition. Under the same convexity condition, we establish the existe… ▽ More In this paper, we investigate the existence of admissible (and strictly convex) smooth solutions to the prescribed $L_p$ quotient type curvature problem with $p>1$. For cases where $p=k-l+1$ and $p> k-l+1$, we obtain an admissible solution without any additional conditions, which is strictly spherically convex under a convexity condition. Under the same convexity condition, we establish the existence of a strictly spherically convex solution for the case $p<k-l+1$, provided that the prescribed function is even, a condition known to be necessary. △ Less

Submitted 19 February, 2024; originally announced February 2024.

Comments: 21 pages

Computing Augustin Information via Hybrid Geodesically Convex Optimization

Authors: Guan-Ren Wang, Chung-En Tsai, Hao-Chung Cheng, Yen-Huan Li

Abstract: We propose a Riemannian gradient descent with the Poincaré metric to compute the order-$α$ Augustin information, a widely used quantity for characterizing exponential error behaviors in information theory. We prove that the algorithm converges to the optimum at a rate of $\mathcal{O}(1 / T)$. As far as we know, this is the first algorithm with a non-asymptotic optimization error guarantee for all… ▽ More We propose a Riemannian gradient descent with the Poincaré metric to compute the order-$α$ Augustin information, a widely used quantity for characterizing exponential error behaviors in information theory. We prove that the algorithm converges to the optimum at a rate of $\mathcal{O}(1 / T)$. As far as we know, this is the first algorithm with a non-asymptotic optimization error guarantee for all positive orders. Numerical experimental results demonstrate the empirical efficiency of the algorithm. Our result is based on a novel hybrid analysis of Riemannian gradient descent for functions that are geodesically convex in a Riemannian metric and geodesically smooth in another. △ Less

Submitted 9 May, 2024; v1 submitted 5 February, 2024; originally announced February 2024.

Comments: 17 pages, 2 figures, ISIT 2024

Causal inference under transportability assumptions for conditional relative effect measures

Authors: Guanbo Wang, Alexander Levis, Jon Steingrimsson, Issa Dahabreh

Abstract: When extending inferences from a randomized trial to a new target population, an assumption of transportability of difference effect measures (e.g., conditional average treatment effects) -- or even stronger assumptions of transportability in expectation or distribution of potential outcomes -- is invoked to identify the marginal causal mean difference in the target population. However, many clini… ▽ More When extending inferences from a randomized trial to a new target population, an assumption of transportability of difference effect measures (e.g., conditional average treatment effects) -- or even stronger assumptions of transportability in expectation or distribution of potential outcomes -- is invoked to identify the marginal causal mean difference in the target population. However, many clinical investigators believe that relative effect measures conditional on covariates, such as conditional risk ratios and mean ratios, are more likely to be ``transportable'' across populations compared with difference effect measures. Here, we examine the identification and estimation of the marginal counterfactual mean difference and ratio under a transportability assumption for conditional relative effect measures. We obtain identification results for two scenarios that often arise in practice when individuals in the target population (1) only have access to the control treatment, or (2) have access to the control and other treatments but not necessarily the experimental treatment evaluated in the trial. We then propose multiply robust and nonparametric efficient estimators that allow for the use of data-adaptive methods (e.g., machine learning techniques) to model the nuisance parameters. We examine the performance of the methods in simulation studies and illustrate their use with data from two trials of paliperidone for patients with schizophrenia. We conclude that the proposed methods are attractive when background knowledge suggests that the transportability assumption for conditional relative effect measures is more plausible than alternative assumptions. △ Less

Submitted 4 February, 2024; originally announced February 2024.

Continuous-time structural failure time model for intermittent treatment

Authors: Guanbo Wang, Siyi Liu, Shu Yang

Abstract: The intermittent intake of treatment is commonly seen in patients with chronic disease. For example, patients with atrial fibrillation may need to discontinue the oral anticoagulants when they experience a certain surgery and re-initiate the treatment after the surgery. As another example, patients may skip a few days before they refill a treatment as planned. This treatment dispensation informati… ▽ More The intermittent intake of treatment is commonly seen in patients with chronic disease. For example, patients with atrial fibrillation may need to discontinue the oral anticoagulants when they experience a certain surgery and re-initiate the treatment after the surgery. As another example, patients may skip a few days before they refill a treatment as planned. This treatment dispensation information (i.e., the time at which a patient initiates and refills a treatment) is recorded in the electronic healthcare records or claims database, and each patient has a different treatment dispensation. Current methods to estimate the effects of such treatments censor the patients who re-initiate the treatment, which results in information loss or biased estimation. In this work, we present methods to estimate the effect of treatments on failure time outcomes by taking all the treatment dispensation information. The developed methods are based on the continuous-time structural failure time model, where the dependent censoring is tackled by inverse probability of censoring weighting. The estimators are doubly robust and locally efficient. △ Less

Submitted 28 January, 2024; originally announced January 2024.

Extremal density for subdivisions with length or sparsity constraints

Authors: Jaehoon Kim, Hong Liu, Yantao Tang, Guanghui Wang, Donglei Yang, Fan Yang

Abstract: Given a graph $H$, a balanced subdivision of $H$ is obtained by replacing all edges of $H$ with internally disjoint paths of the same length. In this paper, we prove that for any graph $H$, a linear-in-$e(H)$ bound on average degree guarantees a balanced $H$-subdivision. This strengthens an old result of Bollobás and Thomason, and resolves a question of Gil-Fernández, Hyde, Liu, Pikhurko and Wu.… ▽ More Given a graph $H$, a balanced subdivision of $H$ is obtained by replacing all edges of $H$ with internally disjoint paths of the same length. In this paper, we prove that for any graph $H$, a linear-in-$e(H)$ bound on average degree guarantees a balanced $H$-subdivision. This strengthens an old result of Bollobás and Thomason, and resolves a question of Gil-Fernández, Hyde, Liu, Pikhurko and Wu. We observe that this linear bound on average degree is best possible whenever $H$ is logarithmically dense. We further show that this logarithmic density is the critical threshold: for many graphs $H$ below this density, its subdivisions are forcible by a sublinear bound in $e(H)$ on average degree. We provide such examples by proving that the subdivisions of any almost bipartite graph $H$ with sublogarithmic density are forcible by a sublinear-in-$e(H)$ bound on average degree, provided that $H$ satisfies some additional separability condition. △ Less

Submitted 27 January, 2024; originally announced January 2024.

Comments: 34 pages, 2 pages, Comments welcome!

Capillary hypersurfaces, Heintze-Karcher's inequality and Zermelo's navigation

Authors: Guofang Wang, Chao Xia

Abstract: In this paper, we establish a Heintze-Karcher-type inequality for capillary hypersurfaces in a unit ball. To achieve this, we introduce a special Finsler metric given by Zermelo's navigation and study the geodesic normal flow with respect to this Finsler metric. Our results indicate that the relationship between capillary hypersufaces and hypersurfaces with free boundary is similar to the one betw… ▽ More In this paper, we establish a Heintze-Karcher-type inequality for capillary hypersurfaces in a unit ball. To achieve this, we introduce a special Finsler metric given by Zermelo's navigation and study the geodesic normal flow with respect to this Finsler metric. Our results indicate that the relationship between capillary hypersufaces and hypersurfaces with free boundary is similar to the one between Finsler geometry and Riemannian geometry. △ Less

Submitted 16 January, 2024; originally announced January 2024.

Comments: 18 pages

On the rational cohomology of spin hyperelliptic map** class groups

Authors: Gefei Wang

Abstract: Let $\mathfrak{G}$ be the subgroup $\mathfrak{S}_{n-q} \times \mathfrak{S}_{q}$ of the $n$-th symmetric group $\mathfrak{S}_{n}$ for $n-q \geq q$. In this paper, we study the $\mathfrak{G}$-invariant part of the rational cohomology group of the pure braid group $P_{n}$. The invariant part includes the rational cohomology of a spin hyperelliptic map** class group of genus $g$ as a subalgebra when… ▽ More Let $\mathfrak{G}$ be the subgroup $\mathfrak{S}_{n-q} \times \mathfrak{S}_{q}$ of the $n$-th symmetric group $\mathfrak{S}_{n}$ for $n-q \geq q$. In this paper, we study the $\mathfrak{G}$-invariant part of the rational cohomology group of the pure braid group $P_{n}$. The invariant part includes the rational cohomology of a spin hyperelliptic map** class group of genus $g$ as a subalgebra when $n=2g+2$, denoted by $H^*(P_{n})^{\mathfrak{G}}$. Based on the study of Lehrer-Solomon, we prove that they are independent of $n$ and $q$ in degree $*\leq q-1$. We also give a formula to calculate the dimension of $H^*(P_{n})^{\mathfrak{G}}$ and calculate it in all degree for $q\leq 3$. △ Less

Submitted 5 January, 2024; originally announced January 2024.

MSC Class: 20F36 (Primary); 20J06; 57K20; 14H30 (Secondary)

Composition method for chromatic symmetric functions: Neat noncommutative analogs

Authors: David G. L. Wang, James Z. F. Zhou

Abstract: This work is inspired by Shareshian and Wachs's exquisite formula for the chromatic symmetric function of paths. We develop a composition method to unearth neat noncommutative analogs of chromatic symmetric functions. A symmetric function is $e$-positive if and only if it has a $Λ$-positive noncommutative analog. We bring to light short and sweet $Λ$-positive noncommutative analogs for the chromat… ▽ More This work is inspired by Shareshian and Wachs's exquisite formula for the chromatic symmetric function of paths. We develop a composition method to unearth neat noncommutative analogs of chromatic symmetric functions. A symmetric function is $e$-positive if and only if it has a $Λ$-positive noncommutative analog. We bring to light short and sweet $Λ$-positive noncommutative analogs for the chromatic symmetric functions of tadpoles and barbells. Using these elegant formulas and the composition method, we discover a new family of $e$-positive graphs and call it hat graphs, which are the unicyclic graphs obtained by adding an edge to a path. We also obtain a compact ribbon Schur analog for cycles. △ Less

Submitted 10 January, 2024; v1 submitted 1 January, 2024; originally announced January 2024.

Spectral gap bounds for reversible hybrid Gibbs chains

Authors: Qian Qin, Nianqiao Ju, Guanyang Wang

Abstract: Hybrid Gibbs samplers represent a prominent class of approximated Gibbs algorithms that utilize Markov chains to approximate conditional distributions, with the Metropolis-within-Gibbs algorithm standing out as a well-known example. Despite their widespread use in both statistical and non-statistical applications, very little is known about their convergence properties. This article introduces nov… ▽ More Hybrid Gibbs samplers represent a prominent class of approximated Gibbs algorithms that utilize Markov chains to approximate conditional distributions, with the Metropolis-within-Gibbs algorithm standing out as a well-known example. Despite their widespread use in both statistical and non-statistical applications, very little is known about their convergence properties. This article introduces novel methods for establishing bounds on the convergence rates of hybrid Gibbs samplers. In particular, we examine the convergence characteristics of hybrid random-scan Gibbs and data augmentation algorithms. Our analysis confirms that the absolute spectral gap of a hybrid chain can be bounded based on the absolute spectral gap of the exact Gibbs chain and the absolute spectral gaps of the Markov chains employed for conditional distribution approximations. For application, we study the convergence properties of four practical hybrid Gibbs algorithms: a random-scan Metropolis-within-Gibbs sampler, a hybrid proximal sampler, random-scan Gibbs samplers with block updates, and a hybrid slice sampler. △ Less

Submitted 22 May, 2024; v1 submitted 20 December, 2023; originally announced December 2023.

MSC Class: 60J05

Heintze-Karcher inequality for anisotropic free boundary hypersurfaces in convex domains

Authors: Xiaohan Jia, Guofang Wang, Chao Xia, Xuwen Zhang

Abstract: In this paper, we prove an optimal Heintze-Karcher-type inequality for anisotropic free boundary hypersurfaces in general convex domains. The equality is achieved for anisotropic free boundary Wulff shapes in a convex cone. As applications, we prove various Alexandrov-type theorems. In this paper, we prove an optimal Heintze-Karcher-type inequality for anisotropic free boundary hypersurfaces in general convex domains. The equality is achieved for anisotropic free boundary Wulff shapes in a convex cone. As applications, we prove various Alexandrov-type theorems. △ Less

Submitted 2 November, 2023; originally announced November 2023.

Comments: 15 pages, 1 figure

MSC Class: 53C45; 53A10; 53C42

Extragradient Type Methods for Riemannian Variational Inequality Problems

Authors: Zihao Hu, Guanghui Wang, Xi Wang, Andre Wibisono, Jacob Abernethy, Molei Tao

Abstract: Riemannian convex optimization and minimax optimization have recently drawn considerable attention. Their appeal lies in their capacity to adeptly manage the non-convexity of the objective function as well as constraints inherent in the feasible set in the Euclidean sense. In this work, we delve into monotone Riemannian Variational Inequality Problems (RVIPs), which encompass both Riemannian conve… ▽ More Riemannian convex optimization and minimax optimization have recently drawn considerable attention. Their appeal lies in their capacity to adeptly manage the non-convexity of the objective function as well as constraints inherent in the feasible set in the Euclidean sense. In this work, we delve into monotone Riemannian Variational Inequality Problems (RVIPs), which encompass both Riemannian convex optimization and minimax optimization as particular cases. In the context of Euclidean space, it is established that the last-iterates of both the extragradient (EG) and past extragradient (PEG) methods converge to the solution of monotone variational inequality problems at a rate of $O\left(\frac{1}{\sqrt{T}}\right)$ (Cai et al., 2022). However, analogous behavior on Riemannian manifolds remains an open question. To bridge this gap, we introduce the Riemannian extragradient (REG) and Riemannian past extragradient (RPEG) methods. We demonstrate that both exhibit $O\left(\frac{1}{\sqrt{T}}\right)$ last-iterate convergence. Additionally, we show that the average-iterate convergence of both REG and RPEG is $O\left(\frac{1}{T}\right)$, aligning with observations in the Euclidean case (Mokhtari et al., 2020). These results are enabled by judiciously addressing the holonomy effect so that additional complications in Riemannian cases can be reduced and the Euclidean proof inspired by the performance estimation problem (PEP) technique or the sum-of-squares (SOS) technique can be applied again. △ Less

Submitted 1 June, 2024; v1 submitted 25 September, 2023; originally announced September 2023.

Comments: Published in Proceedings of The 27th International Conference on Artificial Intelligence and Statistics (AISTATS 2024)

Lipschitz constants for a hyperbolic type metric under Möbius transformations

Authors: Yin** Wu, Gendi Wang, Gaili Jia, Xiaohui Zhang

Abstract: Let $D$ be a nonempty open set in a metric space $(X,d)$ with $\partial D\neq \emptyset$. Define \begin{equation*} h_{D,c}(x,y)=\log\left(1+c\frac{d(x,y)}{\sqrt{d_D(x)d_D(y)}}\right), \end{equation*} where $d_D(x)=d(x,\partial D)$ is the distance from $x$ to the boundary of $D$. For every $c\geq 2$, $h_{D,c}$ is a metric. In this paper, we study the sharp Lipschitz constants for the metric… ▽ More Let $D$ be a nonempty open set in a metric space $(X,d)$ with $\partial D\neq \emptyset$. Define \begin{equation*} h_{D,c}(x,y)=\log\left(1+c\frac{d(x,y)}{\sqrt{d_D(x)d_D(y)}}\right), \end{equation*} where $d_D(x)=d(x,\partial D)$ is the distance from $x$ to the boundary of $D$. For every $c\geq 2$, $h_{D,c}$ is a metric. In this paper, we study the sharp Lipschitz constants for the metric $h_{D,c}$ under Möbius transformations of the unit ball, the upper half space, and the punctured unit ball. △ Less

Submitted 7 September, 2023; originally announced September 2023.

Comments: 18 pages

MSC Class: 51M10; 30C65

Wiener type regularity for non-linear integro-differential equations

Authors: Shaoguang Shi, Guanglan Wang, Zhichun Zhai

Abstract: The primary purpose of this paper is to study the Wiener-type regularity criteria for non-linear equations driven by integro-differential operators, whose model is the fractional $p-$Laplace equation. In doing so, with the help of tools from potential analysis, such as fractional relative Sobolev capacities, Wiener type integrals, Wolff potentials, $(α,p)-$barriers, and $(α,p)-$balayages, we first… ▽ More The primary purpose of this paper is to study the Wiener-type regularity criteria for non-linear equations driven by integro-differential operators, whose model is the fractional $p-$Laplace equation. In doing so, with the help of tools from potential analysis, such as fractional relative Sobolev capacities, Wiener type integrals, Wolff potentials, $(α,p)-$barriers, and $(α,p)-$balayages, we first prove the characterizations of the fractional thinness and the Perron boundary regularity. Then, we establish a Wiener test and a generalized fractional Wiener criterion. Furthermore, we also prove the continuity of the fractional superharmonic function, the fractional resolutivity, a connection between $(α,p)-$potentials and $(α,p)-$Perron solutions, and the existence of a capacitary function for an arbitrary condenser. △ Less

Submitted 5 September, 2023; originally announced September 2023.

Comments: 27 pages, any comments are welcome

Frequency-domain criterion on the stabilizability for infinite-dimensional linear control systems

Authors: Karl Kunisch, Gengsheng Wang, Huaiqiang Yu

Abstract: A quantitative frequency-domain condition related to the exponential stabilizability for infinite-dimensional linear control systems is presented. It is proven that this condition is necessary and sufficient for the stabilizability of special systems, while it is a necessary condition for the stabilizability in general. Applications are provided. A quantitative frequency-domain condition related to the exponential stabilizability for infinite-dimensional linear control systems is presented. It is proven that this condition is necessary and sufficient for the stabilizability of special systems, while it is a necessary condition for the stabilizability in general. Applications are provided. △ Less

Submitted 6 March, 2024; v1 submitted 29 August, 2023; originally announced August 2023.

Comments: 31 Pages

MSC Class: 93D15; 93C25; 93C80; 93D20

Storage codes and recoverable systems on lines and grids

Authors: Alexander Barg, Ohad Elishco, Ryan Gabrys, Geyang Wang, Eitan Yaakobi

Abstract: A storage code is an assignment of symbols to the vertices of a connected graph $G(V,E)$ with the property that the value of each vertex is a function of the values of its neighbors, or more generally, of a certain neighborhood of the vertex in $G$. In this work we introduce a new construction method of storage codes, enabling one to construct new codes from known ones via an interleaving procedur… ▽ More A storage code is an assignment of symbols to the vertices of a connected graph $G(V,E)$ with the property that the value of each vertex is a function of the values of its neighbors, or more generally, of a certain neighborhood of the vertex in $G$. In this work we introduce a new construction method of storage codes, enabling one to construct new codes from known ones via an interleaving procedure driven by resolvable designs. We also study storage codes on $\mathbb Z$ and ${\mathbb Z}^2$ (lines and grids), finding closed-form expressions for the capacity of several one and two-dimensional systems depending on their recovery set, using connections between storage codes, graphs, anticodes, and difference-avoiding sets. △ Less

Submitted 28 August, 2023; originally announced August 2023.

Hypergraphs with irrational Turán density and many extremal configurations

Authors: Jianfeng Hou, Heng Li, Guanghui Wang, Yixiao Zhang

Abstract: Unlike graphs, determining Turán densities of hypergraphs is known to be notoriously hard in general. The essential reason is that for many classical families of $r$-uniform hypergraphs $\mathcal{F}$, there are perhaps many near-extremal $\mathcal{M}_t$-free configurations with very different structure. Such a phenomenon is called not stable, and Liu and Mubayi gave a first not stable example. Ano… ▽ More Unlike graphs, determining Turán densities of hypergraphs is known to be notoriously hard in general. The essential reason is that for many classical families of $r$-uniform hypergraphs $\mathcal{F}$, there are perhaps many near-extremal $\mathcal{M}_t$-free configurations with very different structure. Such a phenomenon is called not stable, and Liu and Mubayi gave a first not stable example. Another perhaps reason is that little is known about the set consisting of all possible Turán densities which has cardinality of the continuum. Let $t\ge 2$ be an integer. In this paper, we construct a finite family $\mathcal{M}_t$ of 3-uniform hypergraphs such that the Turán density of $\mathcal{M}_t$ is irrational, and there are $t$ near-extremal $\mathcal{M}_t$-free configurations that are far from each other in edit-distance. This is the first not stable example that has an irrational Turán density. It also provides a new phenomenon about feasible region functions. △ Less

Submitted 18 August, 2023; originally announced August 2023.

Comments: arXiv admin note: text overlap with arXiv:2206.03948

Reliever: Relieving the Burden of Costly Model Fits for Changepoint Detection

Authors: Chengde Qian, Guanghui Wang, Changliang Zou

Abstract: We propose a general methodology Reliever for fast and reliable changepoint detection when the model fitting is costly. Instead of fitting a sequence of models for each potential search interval, Reliever employs a substantially reduced number of proxy/relief models that are trained on a predetermined set of intervals. This approach can be seamlessly integrated with state-of-the-art changepoint se… ▽ More We propose a general methodology Reliever for fast and reliable changepoint detection when the model fitting is costly. Instead of fitting a sequence of models for each potential search interval, Reliever employs a substantially reduced number of proxy/relief models that are trained on a predetermined set of intervals. This approach can be seamlessly integrated with state-of-the-art changepoint search algorithms. In the context of high-dimensional regression models with changepoints, we establish that the Reliever, when combined with an optimal search scheme, achieves estimators for both the changepoints and corresponding regression coefficients that attain optimal rates of convergence, up to a logarithmic factor. Through extensive numerical studies, we showcase the ability of Reliever to rapidly and accurately detect changes across a diverse range of parametric and nonparametric changepoint models. △ Less

Submitted 3 July, 2023; originally announced July 2023.

Zipper: Addressing degeneracy in algorithm-agnostic inference

Authors: Geng Chen, Yinxu Jia, Guanghui Wang, Changliang Zou

Abstract: The widespread use of black box prediction methods has sparked an increasing interest in algorithm/model-agnostic approaches for quantifying goodness-of-fit, with direct ties to specification testing, model selection and variable importance assessment. A commonly used framework involves defining a predictiveness criterion, applying a cross-fitting procedure to estimate the predictiveness, and util… ▽ More The widespread use of black box prediction methods has sparked an increasing interest in algorithm/model-agnostic approaches for quantifying goodness-of-fit, with direct ties to specification testing, model selection and variable importance assessment. A commonly used framework involves defining a predictiveness criterion, applying a cross-fitting procedure to estimate the predictiveness, and utilizing the difference in estimated predictiveness between two models as the test statistic. However, even after standardization, the test statistic typically fails to converge to a non-degenerate distribution under the null hypothesis of equal goodness, leading to what is known as the degeneracy issue. To addresses this degeneracy issue, we present a simple yet effective device, Zipper. It draws inspiration from the strategy of additional splitting of testing data, but encourages an overlap between two testing data splits in predictiveness evaluation. Zipper binds together the two overlap** splits using a slider parameter that controls the proportion of overlap. Our proposed test statistic follows an asymptotically normal distribution under the null hypothesis for any fixed slider value, guaranteeing valid size control while enhancing power by effective data reuse. Finite-sample experiments demonstrate that our procedure, with a simple choice of the slider, works well across a wide range of settings. △ Less

Submitted 29 June, 2023; originally announced June 2023.

Adaptive functional principal components analysis

Authors: Sunny G. W. Wang, Valentin Patilea, Nicolas Klutchnikoff

Abstract: Functional data analysis almost always involves smoothing discrete observations into curves, because they are never observed in continuous time and rarely without error. Although smoothing parameters affect the subsequent inference, data-driven methods for selecting these parameters are not well-developed, frustrated by the difficulty of using all the information shared by curves while being compu… ▽ More Functional data analysis almost always involves smoothing discrete observations into curves, because they are never observed in continuous time and rarely without error. Although smoothing parameters affect the subsequent inference, data-driven methods for selecting these parameters are not well-developed, frustrated by the difficulty of using all the information shared by curves while being computationally efficient. On the one hand, smoothing individual curves in an isolated, albeit sophisticated way, ignores useful signals present in other curves. On the other hand, bandwidth selection by automatic procedures such as cross-validation after pooling all the curves together quickly become computationally unfeasible due to the large number of data points. In this paper we propose a new data-driven, adaptive kernel smoothing, specifically tailored for functional principal components analysis through the derivation of sharp, explicit risk bounds for the eigen-elements. The minimization of these quadratic risk bounds provide refined, yet computationally efficient bandwidth rules for each eigen-element separately. Both common and independent design cases are allowed. Rates of convergence for the estimators are derived. An extensive simulation study, designed in a versatile manner to closely mimic the characteristics of real data sets supports our methodological contribution. An illustration on a real data application is provided. △ Less

Submitted 16 April, 2024; v1 submitted 28 June, 2023; originally announced June 2023.

MSC Class: 62R10; 62G08; 62M99

A new metric associated with the domain boundary

Authors: Xingchen Song, Gendi Wang

Abstract: In this paper, we introduce a new metric $\tilde{c}$ which is associated with the domain boundary for a Ptolemy space $(X,d)$. Moreover, we study the inclusion relation of the $\tilde{c}$ metric balls and some related hyperbolic type metric balls in subdomains of $\mathbb{R}^n$. In addition, we study distortion properties of Möbius transformations with respect to the $\tilde{c}$ metric in the unit… ▽ More In this paper, we introduce a new metric $\tilde{c}$ which is associated with the domain boundary for a Ptolemy space $(X,d)$. Moreover, we study the inclusion relation of the $\tilde{c}$ metric balls and some related hyperbolic type metric balls in subdomains of $\mathbb{R}^n$. In addition, we study distortion properties of Möbius transformations with respect to the $\tilde{c}$ metric in the unit ball and the quasiconformality of bilipschitz map**s in $\tilde{c}$ metric. △ Less

Submitted 15 June, 2023; originally announced June 2023.

Comments: 14 pages

MSC Class: 30F45(51E05)

Local Convergence of Gradient Methods for Min-Max Games: Partial Curvature Generically Suffices

Authors: Guillaume Wang, Lénaïc Chizat

Abstract: We study the convergence to local Nash equilibria of gradient methods for two-player zero-sum differentiable games. It is well-known that such dynamics converge locally when $S \succ 0$ and may diverge when $S=0$, where $S\succeq 0$ is the symmetric part of the Jacobian at equilibrium that accounts for the "potential" component of the game. We show that these dynamics also converge as soon as $S$… ▽ More We study the convergence to local Nash equilibria of gradient methods for two-player zero-sum differentiable games. It is well-known that such dynamics converge locally when $S \succ 0$ and may diverge when $S=0$, where $S\succeq 0$ is the symmetric part of the Jacobian at equilibrium that accounts for the "potential" component of the game. We show that these dynamics also converge as soon as $S$ is nonzero (partial curvature) and the eigenvectors of the antisymmetric part $A$ are in general position with respect to the kernel of $S$. We then study the convergence rates when $S \ll A$ and prove that they typically depend on the average of the eigenvalues of $S$, instead of the minimum as an analogy with minimization problems would suggest. To illustrate our results, we consider the problem of computing mixed Nash equilibria of continuous games. We show that, thanks to partial curvature, conic particle methods -- which optimize over both weights and supports of the mixed strategies -- generically converge faster than fixed-support methods. For min-max games, it is thus beneficial to add degrees of freedom "with curvature": this can be interpreted as yet another benefit of over-parameterization. △ Less

Submitted 7 November, 2023; v1 submitted 26 May, 2023; originally announced May 2023.

Comments: 37 pages, 2 figures, 2 tables, to appear in NeurIPS 2023 Proceedings

The least eigenvalue of the complements of graphs with given connectivity

Authors: Huan Qiu, Keng Li, Guo** Wang

Abstract: The least eigenvalue of a graph $G$ is the least eigenvalue of adjacency matrix of $G$. In this paper we determine the graphs which attain the minimum least eigenvalue among all complements of connected simple graphs with given connectivity. The least eigenvalue of a graph $G$ is the least eigenvalue of adjacency matrix of $G$. In this paper we determine the graphs which attain the minimum least eigenvalue among all complements of connected simple graphs with given connectivity. △ Less

Submitted 15 June, 2023; v1 submitted 25 May, 2023; originally announced May 2023.

Comments: 10 pages. arXiv admin note: substantial text overlap with arXiv:2209.05694

MSC Class: 05C40; 05C50

Hypergraphs with a quarter uniform Turán density

Authors: Hao Li, Hao Lin, Guanghui Wang, Wenling Zhou

Abstract: The uniform Turán density $π_{1}(F)$ of a $3$-uniform hypergraph $F$ is the supremum over all $d$ for which there is an $F$-free hypergraph with the property that every linearly sized subhypergraph with density at least $d$. Determining $π_{1}(F)$ for given hypergraphs $F$ was suggested by Erdős and Sós in 1980s. In particular, they raised the questions of determining $π_{1}(K_4^{(3)-})$ and… ▽ More The uniform Turán density $π_{1}(F)$ of a $3$-uniform hypergraph $F$ is the supremum over all $d$ for which there is an $F$-free hypergraph with the property that every linearly sized subhypergraph with density at least $d$. Determining $π_{1}(F)$ for given hypergraphs $F$ was suggested by Erdős and Sós in 1980s. In particular, they raised the questions of determining $π_{1}(K_4^{(3)-})$ and $π_{1}(K_4^{(3)})$. The former question was solved recently in [Israel J. Math. 211 (2016), 349-366] and [J. Eur. Math. Soc. 20 (2018), 1139-1159], while the latter is still a major open problem. In addition to $K_4^{(3)-}$, there are very few hypergraphs whose uniform Turán density has been determined. In this paper, we give a sufficient condition for $3$-uniform hypergraphs $F$ satisfying $π_{1}(F)=1/4$. In particular, currently all known $3$-uniform hypergraphs whose uniform Turán density is $1/4$, such as $K_4^{(3)-}$ and the $3$-uniform hypergraphs $F^{\star}_5$ studied in [arXiv:2211.12747], satisfy this condition. Moreover, we find some intriguing $3$-uniform hypergraphs whose uniform Turán density is also $1/4$. △ Less

Submitted 19 June, 2023; v1 submitted 19 May, 2023; originally announced May 2023.

Comments: 23 pages

A noncommutative approach to the Schur positivity of chromatic symmetric functions

Authors: Jean-Yves Thibon, David G. L. Wang

Abstract: We obtain the Schur positivity of spider graphs of the forms $S(a,2,1)$ and $S(a,4,1)$, which are considered to have the simpliest structures for which the Schur positivity was unknown. The proof outline has four steps. First, we find noncommutative analogs for the chromatic symmetric functions of the spider graphs $S(a,b,1)$. Secondly, we expand the analogs under the $Λ$- and $R$-bases, whose com… ▽ More We obtain the Schur positivity of spider graphs of the forms $S(a,2,1)$ and $S(a,4,1)$, which are considered to have the simpliest structures for which the Schur positivity was unknown. The proof outline has four steps. First, we find noncommutative analogs for the chromatic symmetric functions of the spider graphs $S(a,b,1)$. Secondly, we expand the analogs under the $Λ$- and $R$-bases, whose commutative images are the elementary and skew Schur symmetric functions, respectively. Thirdly, we recognize the Schur coefficients via the Littlewood--Richardson rule in terms of norms of multisets of Yamanouchi words. At last we establish the Schur positivity combinatorially together with the aid of computer assistance. △ Less

Submitted 13 May, 2023; originally announced May 2023.

Comments: 26 pages, with an appendix of 6 pages

MSC Class: 05E05; 05C05; 05A15

Numerical Stability for Differential Equations with Memory

Authors: Guihong Wang, Yuqing Li, Tao Luo, Zheng Ma, Nung Kwan Yip, Guang Lin

Abstract: In this work, we systematically investigate linear multi-step methods for differential equations with memory. In particular, we focus on the numerical stability for multi-step methods. According to this investigation, we give some sufficient conditions for the stability and convergence of some common multi-step methods, and accordingly, a notion of A-stability for differential equations with memor… ▽ More In this work, we systematically investigate linear multi-step methods for differential equations with memory. In particular, we focus on the numerical stability for multi-step methods. According to this investigation, we give some sufficient conditions for the stability and convergence of some common multi-step methods, and accordingly, a notion of A-stability for differential equations with memory. Finally, we carry out the computational performance of our theory through numerical examples. △ Less

Submitted 27 October, 2023; v1 submitted 11 May, 2023; originally announced May 2023.

Provable Identifiability of Two-Layer ReLU Neural Networks via LASSO Regularization

Authors: Gen Li, Ganghua Wang, Jie Ding

Abstract: LASSO regularization is a popular regression tool to enhance the prediction accuracy of statistical models by performing variable selection through the $\ell_1$ penalty, initially formulated for the linear model and its variants. In this paper, the territory of LASSO is extended to two-layer ReLU neural networks, a fashionable and powerful nonlinear regression model. Specifically, given a neural n… ▽ More LASSO regularization is a popular regression tool to enhance the prediction accuracy of statistical models by performing variable selection through the $\ell_1$ penalty, initially formulated for the linear model and its variants. In this paper, the territory of LASSO is extended to two-layer ReLU neural networks, a fashionable and powerful nonlinear regression model. Specifically, given a neural network whose output $y$ depends only on a small subset of input $\boldsymbol{x}$, denoted by $\mathcal{S}^{\star}$, we prove that the LASSO estimator can stably reconstruct the neural network and identify $\mathcal{S}^{\star}$ when the number of samples scales logarithmically with the input dimension. This challenging regime has been well understood for linear models while barely studied for neural networks. Our theory lies in an extended Restricted Isometry Property (RIP)-based analysis framework for two-layer ReLU neural networks, which may be of independent interest to other LASSO or neural network settings. Based on the result, we advocate a neural network-based variable selection method. Experiments on simulated and real-world datasets show promising performance of the variable selection approach compared with existing techniques. △ Less

Submitted 7 May, 2023; originally announced May 2023.

Journal ref: IEEE Transactions on Information Theory, 2023

An adaptive ANOVA stochastic Galerkin method for partial differential equations with high-dimensional random inputs

Authors: Guanjie Wang, Smita Sahu, Qifeng Liao

Abstract: It is known that standard stochastic Galerkin methods encounter challenges when solving partial differential equations with high-dimensional random inputs, which are typically caused by the large number of stochastic basis functions required. It becomes crucial to properly choose effective basis functions, such that the dimension of the stochastic approximation space can be reduced. In this work,… ▽ More It is known that standard stochastic Galerkin methods encounter challenges when solving partial differential equations with high-dimensional random inputs, which are typically caused by the large number of stochastic basis functions required. It becomes crucial to properly choose effective basis functions, such that the dimension of the stochastic approximation space can be reduced. In this work, we focus on the stochastic Galerkin approximation associated with generalized polynomial chaos (gPC), and explore the gPC expansion based on the analysis of variance (ANOVA) decomposition. A concise form of the gPC expansion is presented for each component function of the ANOVA expansion, and an adaptive ANOVA procedure is proposed to construct the overall stochastic Galerkin system. Numerical results demonstrate the efficiency of our proposed adaptive ANOVA stochastic Galerkin method for both diffusion and Helmholtz problems. △ Less

Submitted 27 January, 2024; v1 submitted 6 May, 2023; originally announced May 2023.

Stability of degree-2 Rossby-Haurwitz waves

Authors: Daomin Cao, Guodong Wang, Bijun Zuo

Abstract: Rossby-Haurwitz (RH) waves are important explicit solutions of the incompressible Euler equation on a two-dimensional rotating sphere. In this paper, we prove the orbital stability of degree-2 RH waves, which confirms a conjecture proposed by A. Constantin and P. Germain in [Arch. Ration. Mech. Anal. 245, 587-644, 2022]. The proofs are based on a variational approach, with the main challenge being… ▽ More Rossby-Haurwitz (RH) waves are important explicit solutions of the incompressible Euler equation on a two-dimensional rotating sphere. In this paper, we prove the orbital stability of degree-2 RH waves, which confirms a conjecture proposed by A. Constantin and P. Germain in [Arch. Ration. Mech. Anal. 245, 587-644, 2022]. The proofs are based on a variational approach, with the main challenge being to establish suitable variational characterizations for the solutions under consideration. In this process, the set of rearrangements of a fixed function plays a vital role. We also apply our approach to the stability analysis of degree-1 RH waves, Arnold-type flows, and zonal flows with monotone absolute vorticity. △ Less

Submitted 21 July, 2023; v1 submitted 5 May, 2023; originally announced May 2023.

Comments: In this version, we showed that Theorem 2.3 is optimal for any $ω\in\mathbb R$ by introducing the generalized RH waves. Stability of zonal flows with monotone absolute vorticity has also been added