Showing 1–50 of 199 results for author: Pham, T

Sunflowers in set systems with small VC-dimension

Authors: József Balogh, Anton Bernshteyn, Michelle Delcourt, Asaf Ferber, Huy Tuan Pham

Abstract: A family of $r$ distinct sets $\{A_1,\ldots, A_r\}$ is an $r$-sunflower if for all $1 \leqslant i < j \leqslant r$ and $1 \leqslant i' < j' \leqslant r$, we have $A_i \cap A_j = A_{i'} \cap A_{j'}$. Erdős and Rado conjectured in 1960 that every family $\mathcal{H}$ of $\ell$-element sets of size at least $K(r)^\ell$ contains an $r$-sunflower, where $K(r)$ is some function that depends only on $r$.… ▽ More A family of $r$ distinct sets $\{A_1,\ldots, A_r\}$ is an $r$-sunflower if for all $1 \leqslant i < j \leqslant r$ and $1 \leqslant i' < j' \leqslant r$, we have $A_i \cap A_j = A_{i'} \cap A_{j'}$. Erdős and Rado conjectured in 1960 that every family $\mathcal{H}$ of $\ell$-element sets of size at least $K(r)^\ell$ contains an $r$-sunflower, where $K(r)$ is some function that depends only on $r$. We prove that if $\mathcal{H}$ is a family of $\ell$-element sets of VC-dimension at most $d$ and $|\mathcal{H}| > (C r (\log d+\log^\ast \ell))^\ell$ for some absolute constant $C > 0$, then $\mathcal{H}$ contains an $r$-sunflower. This improves a recent result of Fox, Pach, and Suk. When $d=1$, we obtain a sharp bound, namely that $|\mathcal{H}| > (r-1)^\ell$ is sufficient. Along the way, we establish a strengthening of the Kahn-Kalai conjecture for set families of bounded VC-dimension, which is of independent interest. △ Less

Submitted 7 August, 2024; originally announced August 2024.

Comments: 14 pages

A Dirichlet type problem for non-pluripolar complex Monge-Ampère equations

Authors: Thai Duong Do, Hoang-Son Do, Van Tu Le, Ngoc Thanh Cong Pham

Abstract: In this paper, we study a Dirichlet type problem for the non-pluripolar complex Monge - Ampère equation with prescribed singularity on a bounded domain of $\mathbb{C}^n$. We provide a local version for an existence and uniqueness theorem proved by Darvas, Di Nezza and Lu. Our work also extends a result of Ahag, Cegrell, Czyz and Pham. In this paper, we study a Dirichlet type problem for the non-pluripolar complex Monge - Ampère equation with prescribed singularity on a bounded domain of $\mathbb{C}^n$. We provide a local version for an existence and uniqueness theorem proved by Darvas, Di Nezza and Lu. Our work also extends a result of Ahag, Cegrell, Czyz and Pham. △ Less

Submitted 30 June, 2024; originally announced July 2024.

Comments: 21 pages

MSC Class: 32U15; 32W20

Assessing the Value of Coupling Thermal Energy Storage with Air-Source Heat Pumps for Residential Space Heating in U.S. Cities

Authors: An T. Pham, Bryan Kinzer, Ritvik Jain, Rohini Bala Chandran, Michael T. Craig

Abstract: Widespread air source heat pump (ASHP) adoption faces several challenges that on-site thermal energy storage (TES), particularly thermochemical salt hydrate TES, can mitigate. No techno-economic analyses for salt-hydrate-based TES in residential applications exist. We quantify the residential space heating value of four salt hydrate TES materials - MgSO4, MgCl2, K2CO3, and SrBr2 - coupled with ASH… ▽ More Widespread air source heat pump (ASHP) adoption faces several challenges that on-site thermal energy storage (TES), particularly thermochemical salt hydrate TES, can mitigate. No techno-economic analyses for salt-hydrate-based TES in residential applications exist. We quantify the residential space heating value of four salt hydrate TES materials - MgSO4, MgCl2, K2CO3, and SrBr2 - coupled with ASHPs across 4,800 representative households in 12 U.S. cities by embedding salt-hydrate-specific Ragone plots into a techno-economic model of coupled ASHP-TES operations. In Detroit, salt hydrate TES is projected to reduce household annual electricity costs by up to $\$$241 (8$\%$). Cost savings from TES can differ by over an order of magnitude between households and salt hydrates. We identify the most promising salt in this study, SrBr2, due to its high energy density and low humidification parasitic load. Break-even capital costs of SrBr2-based TES range from $\$$13/kWh to $\$$17/kWh, making it the only salt hydrate studied to reach and exceed the U.S. Department of Energy's $\$$15/kWh TES cost target. Sensitivities highlight the importance of variable TES sizing and efficiency losses in the value of TES. △ Less

Submitted 29 June, 2024; originally announced July 2024.

An explicit economical additive basis

Authors: Vishesh Jain, Huy Tuan Pham, Mehtaab Sawhney, Dmitrii Zakharov

Abstract: We present an explicit subset $A\subseteq \mathbb{N} = \{0,1,\ldots\}$ such that $A + A = \mathbb{N}$ and for all $\varepsilon > 0$, \[\lim_{N\to \infty}\frac{\big|\big\{(n_1,n_2): n_1 + n_2 = N, (n_1,n_2)\in A^2\big\}\big|}{N^{\varepsilon}} = 0.\] This answers a question of Erdős. We present an explicit subset $A\subseteq \mathbb{N} = \{0,1,\ldots\}$ such that $A + A = \mathbb{N}$ and for all $\varepsilon > 0$, \[\lim_{N\to \infty}\frac{\big|\big\{(n_1,n_2): n_1 + n_2 = N, (n_1,n_2)\in A^2\big\}\big|}{N^{\varepsilon}} = 0.\] This answers a question of Erdős. △ Less

Submitted 14 May, 2024; originally announced May 2024.

Comments: 5 pages

Doubly relaxed forward-Douglas--Rachford splitting for the sum of two nonconvex and a DC function

Authors: Minh N. Dao, Tan Nhat Pham, Phan Thanh Tung

Abstract: In this paper, we consider a class of structured nonconvex nonsmooth optimization problems whose objective function is the sum of three nonconvex functions, one of which is expressed in a difference-of-convex (DC) form. This problem class covers several important structures in the literature including the sum of three functions and the general DC program. We propose a splitting algorithm and prove… ▽ More In this paper, we consider a class of structured nonconvex nonsmooth optimization problems whose objective function is the sum of three nonconvex functions, one of which is expressed in a difference-of-convex (DC) form. This problem class covers several important structures in the literature including the sum of three functions and the general DC program. We propose a splitting algorithm and prove the subsequential convergence to a stationary point of the problem. The full sequential convergence, along with convergence rates for both the iterates and objective function values, is then established without requiring differentiability of the concave part. Our analysis not only extends but also unifies and improves recent convergence analyses in nonconvex settings. We benchmark our proposed algorithm with notable algorithms in the literature to show its competitiveness on both synthetic data and real power system load data. △ Less

Submitted 14 May, 2024; originally announced May 2024.

On the distance problem over finite p-adic rings

Authors: Thang Pham, Boqing Xue

Abstract: In this paper, we study the distance problem in the setting of finite p-adic rings. In odd dimensions, our results are essentially sharp. In even dimensions, we clarify the conjecture and provide examples to support it. Surprisingly, compared to the finite field case, in this setting, we are able to provide a large family of sets such that the distance conjecture holds. By developing new restricti… ▽ More In this paper, we study the distance problem in the setting of finite p-adic rings. In odd dimensions, our results are essentially sharp. In even dimensions, we clarify the conjecture and provide examples to support it. Surprisingly, compared to the finite field case, in this setting, we are able to provide a large family of sets such that the distance conjecture holds. By developing new restriction type estimates associated to circles and orbits, with a group theoretic argument, we will prove the $4/3$-parallel result in the two dimensions. This answers a question raised by Alex Iosevich. In a more general scenario, the existence/distribution of geometric/graph configurations will be also considered in this paper. Our results present improvements and extensions of recent results due to Ben Lichtin (2019, 2023). In comparison with Lichtin's method, our approach is much simpler and flexible, which is also one of the novelties in this paper. △ Less

Submitted 8 August, 2024; v1 submitted 12 May, 2024; originally announced May 2024.

Comments: 31 pages

Computation of the Łojasiewicz exponents of real bivariate analytic functions

Authors: Si Tiep Dinh, Feng Guo, Hong Duc Nguyen, Tien Son Pham

Abstract: The main goal of this paper is to present some explicit formulas for computing the {Ł}ojasiewicz exponent in the {Ł}ojasiewicz inequality comparing the rate of growth of two real bivariate analytic function germs. The main goal of this paper is to present some explicit formulas for computing the {Ł}ojasiewicz exponent in the {Ł}ojasiewicz inequality comparing the rate of growth of two real bivariate analytic function germs. △ Less

Submitted 10 May, 2024; originally announced May 2024.

The largest subgraph without a forbidden induced subgraph

Authors: Jacob Fox, Rajko Nenadov, Huy Tuan Pham

Abstract: We initiate the systematic study of the following Turán-type question. Suppose $Γ$ is a graph with $n$ vertices such that the edge density between any pair of subsets of vertices of size at least $t$ is at most $1 - c$, for some $t$ and $c > 0$. What is the largest number of edges in a subgraph $G \subseteq Γ$ which does not contain a fixed graph $H$ as an induced subgraph or, more generally, whic… ▽ More We initiate the systematic study of the following Turán-type question. Suppose $Γ$ is a graph with $n$ vertices such that the edge density between any pair of subsets of vertices of size at least $t$ is at most $1 - c$, for some $t$ and $c > 0$. What is the largest number of edges in a subgraph $G \subseteq Γ$ which does not contain a fixed graph $H$ as an induced subgraph or, more generally, which belongs to a hereditary property $\mathcal{P}$? This provides a common generalization of two recently studied cases, namely $Γ$ being a (pseudo-)random graph and a graph without a large complete bipartite subgraph. We focus on the interesting case where $H$ is a bipartite graph. We determine the answer up to a constant factor with respect to $n$ and $t$, for certain bipartite $H$ and for $Γ$ either a dense random graph or a Paley graph with a square number of vertices. In particular, our bounds match if $H$ is a tree, or if one part of $H$ has $d$ vertices complete to the other part, all other vertices in that part have degree at most $d$, and the other part has sufficiently many vertices. As applications of the latter result, we answer a question of Alon, Krivelevich, and Samotij on the largest subgraph with a hereditary property which misses a bipartite graph, and determine up to a constant factor the largest number of edges in a string subgraph of $Γ$. The proofs are based on a variant of the dependent random choice and a novel approach for finding induced copies by inductively defining probability distributions supported on induced copies of smaller subgraphs. △ Less

Submitted 8 June, 2024; v1 submitted 9 May, 2024; originally announced May 2024.

Comments: 20 pages

Packing sets in Euclidean space by affine transformations

Authors: Alex Iosevich, Pertti Mattila, Eyvindur Palsson, Minh-Quy Pham, Thang Pham, Steven Senger, Chun-Yen Shen

Abstract: For Borel subsets $Θ\subset O(d)\times \mathbb{R}^d$ (the set of all rigid motions) and $E\subset \mathbb{R}^d$, we define \begin{align*} Θ(E):=\bigcup_{(g,z)\in Θ}(gE+z). \end{align*} In this paper, we investigate the Lebesgue measure and Hausdorff dimension of $Θ(E)$ given the dimensions of the Borel sets $E$ and $Θ$, when $Θ$ has product form. We also study this question by replacing rigid mo… ▽ More For Borel subsets $Θ\subset O(d)\times \mathbb{R}^d$ (the set of all rigid motions) and $E\subset \mathbb{R}^d$, we define \begin{align*} Θ(E):=\bigcup_{(g,z)\in Θ}(gE+z). \end{align*} In this paper, we investigate the Lebesgue measure and Hausdorff dimension of $Θ(E)$ given the dimensions of the Borel sets $E$ and $Θ$, when $Θ$ has product form. We also study this question by replacing rigid motions with the class of dilations and translations; and similarity transformations. The dimensional thresholds are sharp. Our results are variants of some previously known results in the literature when $E$ is restricted to smooth objects such as spheres, $k$-planes, and surfaces. △ Less

Submitted 5 May, 2024; originally announced May 2024.

Comments: 27 pages

MSC Class: 28A75

On the solvability of systems of equations revisited

Authors: Thang Pham, Steven Senger, Nguyen Trung-Tuan, Nguyen Duc-Thang, Le Anh Vinh

Abstract: In this paper, we introduce a new and direct approach to study the solvability of systems of equations generated by bilinear forms. More precisely, let $B (\cdot, \cdot)$ be a non-degenerate bilinear form and $E$ be a set in $\mathbb{F}_q^2$. We prove that if $|E|\gg q^{5/3}$ then the number of triples $(B(x, y), B(y, z), B(z, x))$ with $x, y, z\in E$ is at least $cq^3$ for some positive constan… ▽ More In this paper, we introduce a new and direct approach to study the solvability of systems of equations generated by bilinear forms. More precisely, let $B (\cdot, \cdot)$ be a non-degenerate bilinear form and $E$ be a set in $\mathbb{F}_q^2$. We prove that if $|E|\gg q^{5/3}$ then the number of triples $(B(x, y), B(y, z), B(z, x))$ with $x, y, z\in E$ is at least $cq^3$ for some positive constant $c$. This significantly improves a result due to the fifth listed author (2009). △ Less

Submitted 5 May, 2024; originally announced May 2024.

Comments: 12 pages

Classification of simple 0-dimensional isolated complete intersection singularities

Authors: Thuy Huong Pham, Gerhard Pfister, Gert-Martin Greuel

Abstract: The aim of this article is the classification of simple 0-dimensional isolated complete intersection singularities in positive characteristic. As usual, a singularity is called simple or 0-modal if there are only finitely many isomorphism classes of singularities into which the given singularity can deform. The notion of simpleness was introduced by V. I. Arnold and the classification of low modal… ▽ More The aim of this article is the classification of simple 0-dimensional isolated complete intersection singularities in positive characteristic. As usual, a singularity is called simple or 0-modal if there are only finitely many isomorphism classes of singularities into which the given singularity can deform. The notion of simpleness was introduced by V. I. Arnold and the classification of low modality singularities has become a fundamental task in singularity theory. Simple complex analytic isolated complete intersection singularities (ICIS) were classified by M. Giusti. However, the classification in positive characteristic requires different methods and is much more involved. The final result is nevertheless similar to the classification in characteristic 0 with some additional normal forms in low characteristic. The theoretical results in this paper mainly concern families of ICIS that are formal in the fiber and algebraic in the base (formal deformation theory is not sufficient). In particular, we give a definition of modality in this situation and prove its semicontinuity. △ Less

Submitted 9 August, 2024; v1 submitted 30 April, 2024; originally announced April 2024.

Comments: 35 pages, Presentation improved, acknowledgements added

MSC Class: 14B05 (Primary) 14B07; 14D15 (Secondary)

A question of Erdős and Graham on Egyptian fractions

Authors: David Conlon, Jacob Fox, Xiaoyu He, Dhruv Mubayi, Huy Tuan Pham, Andrew Suk, Jacques Verstraëte

Abstract: Answering a question of Erdős and Graham, we show that for each fixed positive rational number $x$ the number of ways to write $x$ as a sum of reciprocals of distinct positive integers each at most $n$ is $2^{(c_x + o(1))n}$ for an explicit constant $c_x$ increasing with $x$. Answering a question of Erdős and Graham, we show that for each fixed positive rational number $x$ the number of ways to write $x$ as a sum of reciprocals of distinct positive integers each at most $n$ is $2^{(c_x + o(1))n}$ for an explicit constant $c_x$ increasing with $x$. △ Less

Submitted 24 April, 2024; originally announced April 2024.

Comments: 8 pages

Sampling from Spherical Spin Glasses in Total Variation via Algorithmic Stochastic Localization

Authors: Brice Huang, Andrea Montanari, Huy Tuan Pham

Abstract: We consider the problem of algorithmically sampling from the Gibbs measure of a mixed $p$-spin spherical spin glass. We give a polynomial-time algorithm that samples from the Gibbs measure up to vanishing total variation error, for any model whose mixture satisfies $$ξ''(s) < \frac{1}{(1-s)^2}, \qquad \forall s\in [0,1).$$ This includes the pure $p$-spin glasses above a critical temperature that i… ▽ More We consider the problem of algorithmically sampling from the Gibbs measure of a mixed $p$-spin spherical spin glass. We give a polynomial-time algorithm that samples from the Gibbs measure up to vanishing total variation error, for any model whose mixture satisfies $$ξ''(s) < \frac{1}{(1-s)^2}, \qquad \forall s\in [0,1).$$ This includes the pure $p$-spin glasses above a critical temperature that is within an absolute ($p$-independent) constant of the so-called shattering phase transition. Our algorithm follows the algorithmic stochastic localization approach introduced in (Alaoui, Montanari, Sellke, 20022). A key step of this approach is to estimate the mean of a sequence of tilted measures. We produce an improved estimator for this task by identifying a suitable correction to the TAP fixed point selected by approximate message passing (AMP). As a consequence, we improve the algorithm's guarantee over previous work, from normalized Wasserstein to total variation error. In particular, the new algorithm and analysis opens the way to perform inference about one-dimensional projections of the measure. △ Less

Submitted 24 April, 2024; originally announced April 2024.

Comments: 107 pages

Equivalence between Erdős-Hajnal and polynomial Rödl and Nikiforov conjectures

Authors: Matija Bucić, Jacob Fox, Huy Tuan Pham

Abstract: It is well-known that polynomial versions of theorems of Rödl and Nikiforov, as conjectured by Fox and Sudakov and Nguyen, Scott and Seymour imply the classical Erdős-Hajnal conjecture. In this note, we prove that these three conjectures are in fact equivalent, extending several previous particular results in this direction by Fox, Nguyen, Scott and Seymour; Nguyen, Scott and Seymour and Gishbolin… ▽ More It is well-known that polynomial versions of theorems of Rödl and Nikiforov, as conjectured by Fox and Sudakov and Nguyen, Scott and Seymour imply the classical Erdős-Hajnal conjecture. In this note, we prove that these three conjectures are in fact equivalent, extending several previous particular results in this direction by Fox, Nguyen, Scott and Seymour; Nguyen, Scott and Seymour and Gishboliner and Shapira. We deduce that the family of string graphs satisfies the polynomial Rödl conjecture. We also derive analogous results for hypergraphs, tournaments, ordered graphs, and colored graphs. △ Less

Submitted 19 April, 2024; v1 submitted 13 March, 2024; originally announced March 2024.

Comments: Added a section showing analogs of our results in the setting of tournaments, ordered graphs, hypergraphs and colored graphs

Computing Representatives of Persistent Homology Generators with a Double Twist

Authors: Tuyen Pham, Hubert Wagner

Abstract: With the growing availability of efficient tools, persistent homology is becoming a useful methodology in a variety of applications. Significant work has been devoted to implementing tools for persistent homology diagrams; however, computing representative cycles corresponding to each point in the diagram can still be inefficient. To circumvent this problem, we extend the twist algorithm of Chen a… ▽ More With the growing availability of efficient tools, persistent homology is becoming a useful methodology in a variety of applications. Significant work has been devoted to implementing tools for persistent homology diagrams; however, computing representative cycles corresponding to each point in the diagram can still be inefficient. To circumvent this problem, we extend the twist algorithm of Chen and Kerber. Our extension is based on a new technique we call saving, which supplements their existing killing technique. The resulting two-pass strategy can be realized using an existing matrix reduction implementation as a black-box and improves the efficiency of computing representatives of persistent homology generators. We prove the correctness of the new approach and experimentally show its performance. △ Less

Submitted 6 March, 2024; originally announced March 2024.

Journal ref: Canadian Conference on Computational Geometry, Volume 35, 283-290 (2023)

Bregman Proximal Linearized ADMM for Minimizing Separable Sums Coupled by a Difference of Functions

Authors: Tan Nhat Pham, Minh N. Dao, Andrew Eberhard, Nargiz Sultanova

Abstract: In this paper, we develop a splitting algorithm incorporating Bregman distances to solve a broad class of linearly constrained composite optimization problems, whose objective function is the separable sum of possibly nonconvex nonsmooth functions and a smooth function, coupled by a difference of functions. This structure encapsulates numerous significant nonconvex and nonsmooth optimization probl… ▽ More In this paper, we develop a splitting algorithm incorporating Bregman distances to solve a broad class of linearly constrained composite optimization problems, whose objective function is the separable sum of possibly nonconvex nonsmooth functions and a smooth function, coupled by a difference of functions. This structure encapsulates numerous significant nonconvex and nonsmooth optimization problems in the current literature including the linearly constrained difference-of-convex problems. Relying on the successive linearization and alternating direction method of multipliers (ADMM), the proposed algorithm exhibits the global subsequential convergence to a stationary point of the underlying problem. We also establish the convergence of the full sequence generated by our algorithm under the Kurdyka-Lojasiewicz property and some mild assumptions. The efficiency of the proposed algorithm is tested on a robust principal component analysis problem and a nonconvex optimal power flow problem. △ Less

Submitted 4 January, 2024; originally announced January 2024.

MSC Class: 90C26; 49M27; 65K05

A multipartite analogue of Dilworth's Theorem

Authors: Jacob Fox, Huy Tuan Pham

Abstract: We prove that every partially ordered set on $n$ elements contains $k$ subsets $A_{1},A_{2},\dots,A_{k}$ such that either each of these subsets has size $Ω(n/k^{5})$ and, for every $i<j$, every element in $A_{i}$ is less than or equal to every element in $A_{j}$, or each of these subsets has size $Ω(n/(k^{2}\log n))$ and, for every $i \not = j$, every element in $A_{i}$ is incomparable with every… ▽ More We prove that every partially ordered set on $n$ elements contains $k$ subsets $A_{1},A_{2},\dots,A_{k}$ such that either each of these subsets has size $Ω(n/k^{5})$ and, for every $i<j$, every element in $A_{i}$ is less than or equal to every element in $A_{j}$, or each of these subsets has size $Ω(n/(k^{2}\log n))$ and, for every $i \not = j$, every element in $A_{i}$ is incomparable with every element in $A_{j}$ for $i\ne j$. This answers a question of the first author from 2006. As a corollary, we prove for each positive integer $h$ there is $C_h$ such that for any $h$ partial orders $<_{1},<_{2},\dots,<_{h}$ on a set of $n$ elements, there exists $k$ subsets $A_{1},A_{2},\dots,A_{k}$ each of size at least $n/(k\log n)^{C_{h}}$ such that for each partial order $<_{\ell}$, either $a_{1}<_{\ell}a_{2}<_{\ell}\dots<_{\ell}a_{k}$ for any tuple of elements $(a_1,a_2,\dots,a_k) \in A_1\times A_2\times \dots \times A_k$, or $a_{1}>_{\ell}a_{2}>_{\ell}\dots>_{\ell}a_{k}$ for any $(a_1,a_2,\dots,a_k) \in A_1\times A_2\times \dots \times A_k$, or $a_i$ is incomparable with $a_j$ for any $i\ne j$, $a_i\in A_i$ and $a_j\in A_j$. This improves on a 2009 result of Pach and the first author motivated by problems in discrete geometry. △ Less

Submitted 1 January, 2024; originally announced January 2024.

Joint Alignment of Multivariate Quasi-Periodic Functional Data Using Deep Learning

Authors: Vi Thanh Pham, Jonas Bille Nielsen, Klaus Fuglsang Kofoed, Jørgen Tobias Kühl, Andreas Kryger Jensen

Abstract: The joint alignment of multivariate functional data plays an important role in various fields such as signal processing, neuroscience and medicine, including the statistical analysis of data from wearable devices. Traditional methods often ignore the phase variability and instead focus on the variability in the observed amplitude. We present a novel method for joint alignment of multivariate quasi… ▽ More The joint alignment of multivariate functional data plays an important role in various fields such as signal processing, neuroscience and medicine, including the statistical analysis of data from wearable devices. Traditional methods often ignore the phase variability and instead focus on the variability in the observed amplitude. We present a novel method for joint alignment of multivariate quasi-periodic functions using deep neural networks, decomposing, but retaining all the information in the data by preserving both phase and amplitude variability. Our proposed neural network uses a special activation of the output that builds on the unit simplex transformation, and we utilize a loss function based on the Fisher-Rao metric to train our model. Furthermore, our method is unsupervised and can provide an optimal common template function as well as subject-specific templates. We demonstrate our method on two simulated datasets and one real example, comprising data from 12-lead 10s electrocardiogram recordings. △ Less

Submitted 14 November, 2023; originally announced December 2023.

Comments: 28 pages, 6 figures

Orthogonal projections in the plane over prime order fields

Authors: Ben Lund, Thang Pham, Le Anh Vinh

Abstract: We give an upper bound on the number of exceptional orthogonal projections of a small set of points in a plane over a prime order field, which makes progress toward a conjecture of Chen (2018). This theorem relies on a new upper bound on the number of incidences between an arbitrary set of lines and a set of points contained in a reasonably small pencil of lines. We also prove a new upper bound on… ▽ More We give an upper bound on the number of exceptional orthogonal projections of a small set of points in a plane over a prime order field, which makes progress toward a conjecture of Chen (2018). This theorem relies on a new upper bound on the number of incidences between an arbitrary set of lines and a set of points contained in a reasonably small pencil of lines. We also prove a new upper bound on the number of incidences between points and lines when both are Cartesian products in an appropriate sense. △ Less

Submitted 9 November, 2023; originally announced November 2023.

On a radial projection conjecture in $\mathbb{F}_q^d$

Authors: Paige Bright, Ben Lund, Thang Pham

Abstract: A conjecture on radial projections in $\mathbb{F}_q^d$ states that if $E\subset \mathbb{F}_q^n$ with $q^{k-1}< |E|\leq q^{k}$ for some $k \in \{1,\dots, n-1\}$, then \[ \#\{y\in \mathbb{F}_q^n \mid |π^y(E)| < |E| \} \leq q^k. \] The case $k=n-1$ was recently proved by the second and third listed authors and Thu (2022). In this paper, we resolve this conjecture in all ranges of $k$. A conjecture on radial projections in $\mathbb{F}_q^d$ states that if $E\subset \mathbb{F}_q^n$ with $q^{k-1}< |E|\leq q^{k}$ for some $k \in \{1,\dots, n-1\}$, then \[ \#\{y\in \mathbb{F}_q^n \mid |π^y(E)| < |E| \} \leq q^k. \] The case $k=n-1$ was recently proved by the second and third listed authors and Thu (2022). In this paper, we resolve this conjecture in all ranges of $k$. △ Less

Submitted 8 November, 2023; originally announced November 2023.

Homogeneous structures in subset sums and non-averaging sets

Authors: David Conlon, Jacob Fox, Huy Tuan Pham

Abstract: We show that for every positive integer $k$ there are positive constants $C$ and $c$ such that if $A$ is a subset of $\{1, 2, \dots, n\}$ of size at least $C n^{1/k}$, then, for some $d \leq k-1$, the set of subset sums of $A$ contains a homogeneous $d$-dimensional generalized arithmetic progression of size at least $c|A|^{d+1}$. This strengthens a result of Szemerédi and Vu, who proved a similar… ▽ More We show that for every positive integer $k$ there are positive constants $C$ and $c$ such that if $A$ is a subset of $\{1, 2, \dots, n\}$ of size at least $C n^{1/k}$, then, for some $d \leq k-1$, the set of subset sums of $A$ contains a homogeneous $d$-dimensional generalized arithmetic progression of size at least $c|A|^{d+1}$. This strengthens a result of Szemerédi and Vu, who proved a similar statement without the homogeneity condition. As an application, we make progress on the Erdős--Straus non-averaging sets problem, showing that every subset $A$ of $\{1, 2, \dots, n\}$ of size at least $n^{\sqrt{2} - 1 + o(1)}$ contains an element which is the average of two or more other elements of $A$. This gives the first polynomial improvement on a result of Erdős and Sárközy from 1990. △ Less

Submitted 2 November, 2023; originally announced November 2023.

Comments: 34 pages

Existence theorems for optimal solutions in semi-algebraic optimization

Authors: Jae Hyoung Lee, Gue Myung Lee, Tien Son Pham

Abstract: Consider the problem of minimizing a lower semi-continuous semi-algebraic function $f \colon \mathbb{R}^n \to \mathbb{R} \cup \{+\infty\}$ on an unbounded closed semi-algebraic set $S \subset \mathbb{R}^n.$ Employing adequate tools of semi-algebraic geometry, we first establish some properties of the tangency variety of the restriction of $f$ on $S.$ Then we derive verifiable necessary and suffici… ▽ More Consider the problem of minimizing a lower semi-continuous semi-algebraic function $f \colon \mathbb{R}^n \to \mathbb{R} \cup \{+\infty\}$ on an unbounded closed semi-algebraic set $S \subset \mathbb{R}^n.$ Employing adequate tools of semi-algebraic geometry, we first establish some properties of the tangency variety of the restriction of $f$ on $S.$ Then we derive verifiable necessary and sufficient conditions for the existence of optimal solutions of the problem as well as the boundedness from below and coercivity of the restriction of $f$ on $S.$ We also present a computable formula for the optimal value of the problem. △ Less

Submitted 10 August, 2023; originally announced August 2023.

MSC Class: 14P05; 14P10; 90C26; 90C30

New-type Quasirandom Groups and Applications

Authors: Thang Pham, Boqing Xue

Abstract: This paper aims to introduce a more general definition of quasirandom groups and generalize several well-known results in the literature in this new setting. More precisely, let $G$ be a semi-direct product of groups and $X\subseteq G$, we provide conditions such that one can find tuples $(x_0, \ldots, x_k)\in X^{k+1}$ satisfying $x_1x_2\ldots x_k=x_0$ or conditions to guarantee that the product s… ▽ More This paper aims to introduce a more general definition of quasirandom groups and generalize several well-known results in the literature in this new setting. More precisely, let $G$ be a semi-direct product of groups and $X\subseteq G$, we provide conditions such that one can find tuples $(x_0, \ldots, x_k)\in X^{k+1}$ satisfying $x_1x_2\ldots x_k=x_0$ or conditions to guarantee that the product set $XX$ grows exponentially. In a special case of the group of rigid-motions in the plane over an arbitrary finite field, our results offer a reasonably complete description of structures of this group. △ Less

Submitted 25 August, 2023; v1 submitted 2 August, 2023; originally announced August 2023.

Comments: V2: references updated

Subdifferentials at infinity and applications in optimization

Authors: Do Sang Kim, Minh Tung Nguyen, Tien Son Pham

Abstract: In this work, the notions of normal cones at infinity to unbounded sets and limiting and singular subdifferentials at infinity for extended real value functions are introduced. Various calculus rules for these notions objects are established. A complete characterization of the Lipschitz continuity at infinity for lower semi-continuous functions is given. The obtained results are aimed ultimately a… ▽ More In this work, the notions of normal cones at infinity to unbounded sets and limiting and singular subdifferentials at infinity for extended real value functions are introduced. Various calculus rules for these notions objects are established. A complete characterization of the Lipschitz continuity at infinity for lower semi-continuous functions is given. The obtained results are aimed ultimately at applications to diverse problems of optimization, such as optimality conditions, coercive properties, weak sharp minima and stability results. △ Less

Submitted 28 July, 2023; originally announced July 2023.

MSC Class: 90C30; 90C46; 49J52; 49J53

Universality of Spectral Independence with Applications to Fast Mixing in Spin Glasses

Authors: Nima Anari, Vishesh Jain, Frederic Koehler, Huy Tuan Pham, Thuy-Duong Vuong

Abstract: We study Glauber dynamics for sampling from discrete distributions $μ$ on the hypercube $\{\pm 1\}^n$. Recently, techniques based on spectral independence have successfully yielded optimal $O(n)$ relaxation times for a host of different distributions $μ$. We show that spectral independence is universal: a relaxation time of $O(n)$ implies spectral independence. We then study a notion of tractabi… ▽ More We study Glauber dynamics for sampling from discrete distributions $μ$ on the hypercube $\{\pm 1\}^n$. Recently, techniques based on spectral independence have successfully yielded optimal $O(n)$ relaxation times for a host of different distributions $μ$. We show that spectral independence is universal: a relaxation time of $O(n)$ implies spectral independence. We then study a notion of tractability for $μ$, defined in terms of smoothness of the multilinear extension of its Hamiltonian -- $\log μ$ -- over $[-1,+1]^n$. We show that Glauber dynamics has relaxation time $O(n)$ for such $μ$, and using the universality of spectral independence, we conclude that these distributions are also fractionally log-concave and consequently satisfy modified log-Sobolev inequalities. We sharpen our estimates and obtain approximate tensorization of entropy and the optimal $\widetilde{O}(n)$ mixing time for random Hamiltonians, i.e. the classically studied mixed $p$-spin model at sufficiently high temperature. These results have significant downstream consequences for concentration of measure, statistical testing, and learning. △ Less

Submitted 19 July, 2023; originally announced July 2023.

A Mini-Batch Quasi-Newton Proximal Method for Constrained Total-Variation Nonlinear Image Reconstruction

Authors: Tao Hong, Thanh-an Pham, Irad Yavneh, Michael Unser

Abstract: Over the years, computational imaging with accurate nonlinear physical models has drawn considerable interest due to its ability to achieve high-quality reconstructions. However, such nonlinear models are computationally demanding. A popular choice for solving the corresponding inverse problems is accelerated stochastic proximal methods (ASPMs), with the caveat that each iteration is expensive. To… ▽ More Over the years, computational imaging with accurate nonlinear physical models has drawn considerable interest due to its ability to achieve high-quality reconstructions. However, such nonlinear models are computationally demanding. A popular choice for solving the corresponding inverse problems is accelerated stochastic proximal methods (ASPMs), with the caveat that each iteration is expensive. To overcome this issue, we propose a mini-batch quasi-Newton proximal method (BQNPM) tailored to image-reconstruction problems with total-variation regularization. It involves an efficient approach that computes a weighted proximal mapping at a cost similar to that of the proximal mapping in ASPMs. However, BQNPM requires fewer iterations than ASPMs to converge. We assess the performance of BQNPM on three-dimensional inverse-scattering problems with linear and nonlinear physical models. Our results on simulated and real data show the effectiveness and efficiency of BQNPM, △ Less

Submitted 11 September, 2023; v1 submitted 5 July, 2023; originally announced July 2023.

Comments: 11pages,12 figures

Ext-groups in the Category of Strict Polynomial Functors

Authors: Van Tuan Pham

Abstract: The aim of this paper is to study, by using the mathematical tools developed by Chalupnik, Touze, and Van der Kallen, the effect of the Frobenius twist on Ext-group in the category of strict polynomial functors. As an application, we obtain explicit formulas of cohomology of the orthogonal groups and symplectic ones. The aim of this paper is to study, by using the mathematical tools developed by Chalupnik, Touze, and Van der Kallen, the effect of the Frobenius twist on Ext-group in the category of strict polynomial functors. As an application, we obtain explicit formulas of cohomology of the orthogonal groups and symplectic ones. △ Less

Submitted 20 June, 2023; originally announced June 2023.

Journal ref: International Mathematics Research Notices, Volume 2021, Issue 22

Set-coloring Ramsey numbers and error-correcting codes near the zero-rate threshold

Authors: David Conlon, Jacob Fox, Huy Tuan Pham, Yufei Zhao

Abstract: For positive integers $n,r,s$ with $r > s$, the set-coloring Ramsey number $R(n;r,s)$ is the minimum $N$ such that if every edge of the complete graph $K_N$ receives a set of $s$ colors from a palette of $r$ colors, then there is a subset of $n$ vertices where all of the edges between them receive a common color. If $n$ is fixed and $\frac{s}{r}$ is less than and bounded away from… ▽ More For positive integers $n,r,s$ with $r > s$, the set-coloring Ramsey number $R(n;r,s)$ is the minimum $N$ such that if every edge of the complete graph $K_N$ receives a set of $s$ colors from a palette of $r$ colors, then there is a subset of $n$ vertices where all of the edges between them receive a common color. If $n$ is fixed and $\frac{s}{r}$ is less than and bounded away from $1-\frac{1}{n-1}$, then $R(n;r,s)$ is known to grow exponentially in $r$, while if $\frac{s}{r}$ is greater than and bounded away from $1-\frac{1}{n-1}$, then $R(n;r,s)$ is bounded. Here we prove bounds for $R(n;r,s)$ in the intermediate range where $\frac{s}{r}$ is close to $1 - \frac{1}{n-1}$ by establishing a connection to the maximum size of error-correcting codes near the zero-rate threshold. △ Less

Submitted 14 August, 2023; v1 submitted 23 May, 2023; originally announced May 2023.

Optimal mixing of the down-up walk on independent sets of a given size

Authors: Vishesh Jain, Marcus Michelen, Huy Tuan Pham, Thuy-Duong Vuong

Abstract: Let $G$ be a graph on $n$ vertices of maximum degree $Δ$. We show that, for any $δ> 0$, the down-up walk on independent sets of size $k \leq (1-δ)α_c(Δ)n$ mixes in time $O_{Δ,δ}(k\log{n})$, thereby resolving a conjecture of Davies and Perkins in an optimal form. Here, $α_{c}(Δ)n$ is the NP-hardness threshold for the problem of counting independent sets of a given size in a graph on $n$ vertices of… ▽ More Let $G$ be a graph on $n$ vertices of maximum degree $Δ$. We show that, for any $δ> 0$, the down-up walk on independent sets of size $k \leq (1-δ)α_c(Δ)n$ mixes in time $O_{Δ,δ}(k\log{n})$, thereby resolving a conjecture of Davies and Perkins in an optimal form. Here, $α_{c}(Δ)n$ is the NP-hardness threshold for the problem of counting independent sets of a given size in a graph on $n$ vertices of maximum degree $Δ$. Our mixing time has optimal dependence on $k,n$ for the entire range of $k$; previously, even polynomial mixing was not known. In fact, for $k = Ω_Δ(n)$ in this range, we establish a log-Sobolev inequality with optimal constant $Ω_{Δ,δ}(1/n)$. At the heart of our proof are three new ingredients, which may be of independent interest. The first is a method for lifting $\ell_\infty$-independence from a suitable distribution on the discrete cube -- in this case, the hard-core model -- to the slice by proving stability of an Edgeworth expansion using a multivariate zero-free region for the base distribution. The second is a generalization of the Lee-Yau induction to prove log-Sobolev inequalities for distributions on the slice with considerably less symmetry than the uniform distribution. The third is a sharp decomposition-type result which provides a lossless comparison between the Dirichlet form of the original Markov chain and that of the so-called projected chain in the presence of a contractive coupling. △ Less

Submitted 10 May, 2023; originally announced May 2023.

Comments: 25 pages; comments welcome!

Asymptotic Distributions of Largest Pearson Correlation Coefficients under Dependent Structures

Authors: Tiefeng Jiang, Tuan Pham

Abstract: Given a random sample from a multivariate normal distribution whose covariance matrix is a Toeplitz matrix, we study the largest off-diagonal entry of the sample correlation matrix. Assuming the multivariate normal distribution has the covariance structure of an auto-regressive sequence, we establish a phase transition in the limiting distribution of the largest off-diagonal entry. We show that th… ▽ More Given a random sample from a multivariate normal distribution whose covariance matrix is a Toeplitz matrix, we study the largest off-diagonal entry of the sample correlation matrix. Assuming the multivariate normal distribution has the covariance structure of an auto-regressive sequence, we establish a phase transition in the limiting distribution of the largest off-diagonal entry. We show that the limiting distributions are of Gumbel-type (with different parameters) depending on how large or small the parameter of the autoregressive sequence is. At the critical case, we obtain that the limiting distribution is the maximum of two independent random variables of Gumbel distributions. This phase transition establishes the exact threshold at which the auto-regressive covariance structure behaves differently than its counterpart with the covariance matrix equal to the identity. Assuming the covariance matrix is a general Toeplitz matrix, we obtain the limiting distribution of the largest entry under the ultra-high dimensional settings: it is a weighted sum of two independent random variables, one normal and the other following a Gumbel-type law. The counterpart of the non-Gaussian case is also discussed. As an application, we study a high-dimensional covariance testing problem. △ Less

Submitted 25 April, 2023; originally announced April 2023.

MSC Class: 62E20 (Primary); 62H15 (Secondary)

Triangles with one fixed side-length, a Furstenberg type problem, and incidences in finite vector spaces

Authors: Thang Pham

Abstract: The first goal of this paper is to prove a sharp condition to guarantee of having a positive proportion of all congruence classes of triangles in given sets in $\mathbb{F}_q^2$. More precisely, for $A, B, C\subset \mathbb{F}_q^2$, if $|A||B||C|^{1/2}\gg q^4$, then for any $λ\in \mathbb{F}_q\setminus \{0\}$, the number of congruence classes of triangles with vertices in $A\times B\times C$ and one… ▽ More The first goal of this paper is to prove a sharp condition to guarantee of having a positive proportion of all congruence classes of triangles in given sets in $\mathbb{F}_q^2$. More precisely, for $A, B, C\subset \mathbb{F}_q^2$, if $|A||B||C|^{1/2}\gg q^4$, then for any $λ\in \mathbb{F}_q\setminus \{0\}$, the number of congruence classes of triangles with vertices in $A\times B\times C$ and one side-length $λ$ is at least $\gg q^2$. In higher dimensions, we obtain similar results for $k$-simplex but under a slightly stronger condition. Compared to the well--known $L^2$ method in the literature, our approach offers better results in both conditions and conclusions. When $A=B=C$, the second goal of this paper is to give a new and unified proof of the best current results on the distribution of simplex due to Bennett, Hart, Iosevich, Pakianathan, and Rudnev (2017) and McDonald (2020). The third goal of this paper is to study a Furstenberg-type problem associated to a set of rigid motions. The main ingredients in our proofs are incidence bounds between points and rigid motions. While the incidence bounds for large sets are due to the author and Semin Yoo (2023), the bound for small sets will be proved by using a point--line incidence bound in $\mathbb{F}_q^3$ due to Kollár (2015). △ Less

Submitted 15 August, 2023; v1 submitted 21 April, 2023; originally announced April 2023.

Comments: V3: minor changes, typos corrected

A discretized point-hyperplane incidence bound in $\mathbb{R}^d$

Authors: Thang Pham, Chun-Yen Shen, Nguyen Pham Minh Tri

Abstract: Let $P$ be a $δ$-separated $(δ, s, C_P)$-set of points in $B(0, 1)\subset \mathbb{R}^d$ and $Π$ be a $δ$-separated $(δ, t, C_Π)$-set of hyperplanes intersecting $B(0, 1)$ in $\mathbb{R}^d$. Define \[I_{Cδ}(P, Π)=\#\{(p, π)\in P\times Π\colon p\in π(Cδ)\}.\] Suppose that $s, t\ge \frac{d+1}{2}$, then we have $I_{Cδ}(P, Π)\lesssim δ|P||Π|$. The main ingredient in our argument is a measure theoreti… ▽ More Let $P$ be a $δ$-separated $(δ, s, C_P)$-set of points in $B(0, 1)\subset \mathbb{R}^d$ and $Π$ be a $δ$-separated $(δ, t, C_Π)$-set of hyperplanes intersecting $B(0, 1)$ in $\mathbb{R}^d$. Define \[I_{Cδ}(P, Π)=\#\{(p, π)\in P\times Π\colon p\in π(Cδ)\}.\] Suppose that $s, t\ge \frac{d+1}{2}$, then we have $I_{Cδ}(P, Π)\lesssim δ|P||Π|$. The main ingredient in our argument is a measure theoretic result due to Eswarathansan, Iosevich, and Taylor (2011) which was proved by using Sobolev bounds for generalized Radon transforms. Our result is essentially sharp, a construction will be provided and discussed in the last section. △ Less

Submitted 19 April, 2023; originally announced April 2023.

Comments: 14 pages

Parallelograms and the VC-dimension of the distance sets

Authors: Thang Pham

Abstract: In this paper, we study the distribution of parallelograms and rhombi in a given set in the plane over arbitrary finite fields $\mathbb{F}_q^2$. As an application, we improve a recent result due to Fitzpatrick, Iosevich, McDonald, and Wyman (2021) on the Vapnik-Chervonenkis dimension of the induced distance graph. Our proofs are based on the discrete Fourier analysis. In this paper, we study the distribution of parallelograms and rhombi in a given set in the plane over arbitrary finite fields $\mathbb{F}_q^2$. As an application, we improve a recent result due to Fitzpatrick, Iosevich, McDonald, and Wyman (2021) on the Vapnik-Chervonenkis dimension of the induced distance graph. Our proofs are based on the discrete Fourier analysis. △ Less

Submitted 18 April, 2023; originally announced April 2023.

Comments: 9 pages

Intersection patterns and incidence theorems

Authors: Thang Pham, Semin Yoo

Abstract: Let $A$ and $B$ be sets in a finite vector space. In this paper, we study the magnitude of the set $A\cap f(B)$, where $f$ runs through a set of transformations. More precisely, we will focus on the cases that the set of transformations is given by orthogonal matrices or orthogonal projections. One of the most important contributions of this paper is to show that if $A, B\subset \mathbb{F}_q^d$ sa… ▽ More Let $A$ and $B$ be sets in a finite vector space. In this paper, we study the magnitude of the set $A\cap f(B)$, where $f$ runs through a set of transformations. More precisely, we will focus on the cases that the set of transformations is given by orthogonal matrices or orthogonal projections. One of the most important contributions of this paper is to show that if $A, B\subset \mathbb{F}_q^d$ satisfy some natural conditions then, for almost every $g\in O(d)$, there are at least $\gg q^d$ elements $z\in \mathbb{F}_q^d$ such that \[|A\cap (g(B)+z)| \sim \frac{|A||B|}{q^d}.\] This infers that $|A-gB|\gg q^d$ for almost every $g\in O(d)$. In the flavor of expanding functions, with $|A|\le |B|$, we also show that the image $A-gB$ grows exponentially. In two dimensions, the result simply says that if $|A|=q^x$ and $|B|=q^y$, as long as $0<x\le y<2$, then for almost every $g\in O(2)$, we can always find $ε=ε(x, y)>0$ such that $|A-gB|\gg |B|^{1+ε}$. To prove these results, we need to develop a new and robust incidence bound between points and rigid motions by using a number of techniques including algebraic methods and discrete Fourier analysis. Our results are essentially sharp in odd dimensions. △ Less

Submitted 4 June, 2023; v1 submitted 17 April, 2023; originally announced April 2023.

Comments: Submitted version. 40 pages

VC-dimension and pseudo-random graphs

Authors: Thang Pham, Steven Senger, Michael Tait, Nguyen Thu-Huyen

Abstract: Let $G$ be a graph and $U\subset V(G)$ be a set of vertices. For each $v\in U$, let $h_v\colon U\to \{0, 1\}$ be the function defined by \[h_v(u)=\begin{cases} &1 ~\mbox{if}~u\sim v, u\in U\\&0 ~\mbox{if}~u\not\sim v, u\in U\end{cases},\] and set $\mathcal{H}(U):=\{h_v\colon v\in U\}$. The first purpose of this paper is to study the following question: What families of graphs $G$ and what conditio… ▽ More Let $G$ be a graph and $U\subset V(G)$ be a set of vertices. For each $v\in U$, let $h_v\colon U\to \{0, 1\}$ be the function defined by \[h_v(u)=\begin{cases} &1 ~\mbox{if}~u\sim v, u\in U\\&0 ~\mbox{if}~u\not\sim v, u\in U\end{cases},\] and set $\mathcal{H}(U):=\{h_v\colon v\in U\}$. The first purpose of this paper is to study the following question: What families of graphs $G$ and what conditions on $U$ do we need so that the VC-dimension of $\mathcal{H}(U)$ can be determined? We show that if $G$ is a pseudo-random graph, then under some mild conditions, the VC dimension of $\mathcal{H}(U)$ can be bounded from below. Specific cases of this theorem recover and improve previous results on VC-dimension of functions defined by the well-studied distance and dot-product graphs over a finite field. △ Less

Submitted 14 March, 2023; originally announced March 2023.

Errata to Stochastic explosion and non-uniqueness for $α$-Riccati equation

Authors: Radu Dascaliuc, Tuan N. Pham, Enrique A. Thomann, Edward C. Waymire

Abstract: An error occurs in a part of the statement and proof of Proposition 2.2 in Jour. Math. Anal. and Appl., 476, (2019), 53-85 that is corrected in this erratum. The revised result reveals a new and unexpected critical phenomenon, having further implications for non-uniqueness of solutions to a nonlinear differential equation of the Riccati type. An error occurs in a part of the statement and proof of Proposition 2.2 in Jour. Math. Anal. and Appl., 476, (2019), 53-85 that is corrected in this erratum. The revised result reveals a new and unexpected critical phenomenon, having further implications for non-uniqueness of solutions to a nonlinear differential equation of the Riccati type. △ Less

Submitted 5 August, 2023; v1 submitted 2 March, 2023; originally announced March 2023.

MSC Class: 60H30; 34K12; 60J80

An improved point-line incidence bound over arbitrary finite fields via the VC-dimension theory

Authors: Alex Iosevich, Thang Pham, Steven Senger, Michael Tait

Abstract: The main purpose of this paper is to prove that the point-line incidence bound due to Vinh (2011) over arbitrary finite fields can be improved in certain ranges by using tools from the VC-dimension theory. As consequences, a number of applications will be discussed in detail. The main purpose of this paper is to prove that the point-line incidence bound due to Vinh (2011) over arbitrary finite fields can be improved in certain ranges by using tools from the VC-dimension theory. As consequences, a number of applications will be discussed in detail. △ Less

Submitted 1 March, 2023; originally announced March 2023.

Comments: 14 pages

A conditioned local limit theorem for non-negative random matrices

Authors: M. Peigné, Thi da Cam Pham

Abstract: Let $(S_n)_n$ be the random process on $\mathbb R$ driven by the product of i.i.d. non-negative random matrices and $τ$ its exit time from $]0, +\infty[$. By using the adapted strategy initiated by D. Denisov and V. Wachtel, we obtain an asymptotic estimate and bounds of the probability that the process $(S_k)_k$ remains non negative up to time $n$ and simultaneously belongs to some compact set… ▽ More Let $(S_n)_n$ be the random process on $\mathbb R$ driven by the product of i.i.d. non-negative random matrices and $τ$ its exit time from $]0, +\infty[$. By using the adapted strategy initiated by D. Denisov and V. Wachtel, we obtain an asymptotic estimate and bounds of the probability that the process $(S_k)_k$ remains non negative up to time $n$ and simultaneously belongs to some compact set $[b, b+\ell ]\subset \mathbb R^{*+}$ at time $n$. △ Less

Submitted 17 January, 2023; originally announced January 2023.

Multi-linear forms, graphs, and $L^p$-improving measures in ${\Bbb F}_q^d$

Authors: Pablo Bhowmick, Alex Iosevich, Doowon Koh, Thang Pham

Abstract: The purpose of this paper is to introduce and study the following graph theoretic paradigm. Let $$T_Kf(x)=\int K(x,y) f(y) dμ(y),$$ where $f: X \to {\Bbb R}$, $X$ a set, finite or infinite, and $K$ and $μ$ denote a suitable kernel and a measure, respectively. Given a connected ordered graph $G$ on $n$ vertices, consider the multi-linear form… ▽ More The purpose of this paper is to introduce and study the following graph theoretic paradigm. Let $$T_Kf(x)=\int K(x,y) f(y) dμ(y),$$ where $f: X \to {\Bbb R}$, $X$ a set, finite or infinite, and $K$ and $μ$ denote a suitable kernel and a measure, respectively. Given a connected ordered graph $G$ on $n$ vertices, consider the multi-linear form $$ Λ_G(f_1,f_2, \dots, f_n)=\int_{x^1, \dots, x^n \in X} \ \prod_{(i,j) \in {\mathcal E}(G)} K(x^i,x^j) \prod_{l=1}^n f_l(x^l) dμ(x^l), $$ where ${\mathcal E}(G)$ is the edge set of $G$. Define $Λ_G(p_1, \ldots, p_n)$ as the smallest constant $C>0$ such that the inequality $$ Λ_G(f_1, \dots, f_n) \leq C \prod_{i=1}^n {||f_i||}_{L^{p_i}(X, μ)}$$ holds for all non-negative real-valued functions $f_i$, $1\le i\le n$, on $X$. The basic question is, how does the structure of $G$ and the mapping properties of the operator $T_K$ influence the sharp exponents. In this paper, this question is investigated mainly in the case $X={\Bbb F}_q^d$, the $d$-dimensional vector space over the field with $q$ elements, and $K(x^i,x^j)$ is the indicator function of the sphere evaluated at $x^i-x^j$. This provides a connection with the study of $L^p$-improving measures and distance set problems. △ Less

Submitted 3 May, 2023; v1 submitted 1 January, 2023; originally announced January 2023.

Comments: 51 pages, 8 figures, typos fixed

MSC Class: 42B05

Optimal thresholds for Latin squares, Steiner Triple Systems, and edge colorings

Authors: Vishesh Jain, Huy Tuan Pham

Abstract: We show that the threshold for the binomial random $3$-partite, $3$-uniform hypergraph $G^{3}((n,n,n),p)$ to contain a Latin square is $Θ(\log{n}/n)$. We also prove analogous results for Steiner triple systems and proper list edge-colorings of the complete (bipartite) graph with random lists. Our results answer several related questions of Johansson, Luria-Simkin, Casselgren-Häggkvist, Simkin, and… ▽ More We show that the threshold for the binomial random $3$-partite, $3$-uniform hypergraph $G^{3}((n,n,n),p)$ to contain a Latin square is $Θ(\log{n}/n)$. We also prove analogous results for Steiner triple systems and proper list edge-colorings of the complete (bipartite) graph with random lists. Our results answer several related questions of Johansson, Luria-Simkin, Casselgren-Häggkvist, Simkin, and Kang-Kelly-Kühn-Methuku-Osthus. △ Less

Submitted 19 December, 2022; v1 submitted 12 December, 2022; originally announced December 2022.

Comments: 10 pages. Simplified proof; results unchanged

Clarke's tangent cones, subgradients, optimality conditions and the Lipschitzness at infinity

Authors: Minh Tung Nguyen, Tien-Son Pham

Abstract: We first study Clarke's tangent cones at infinity to unbounded subsets of $\mathbb{R}^n.$ We prove that these cones are closed convex and show a characterization of their interiors. We then study subgradients at infinity for extended real value functions on $\mathbb{R}^n$ and derive necessary optimality conditions at infinity for optimization problems. We also give a number of rules for the comput… ▽ More We first study Clarke's tangent cones at infinity to unbounded subsets of $\mathbb{R}^n.$ We prove that these cones are closed convex and show a characterization of their interiors. We then study subgradients at infinity for extended real value functions on $\mathbb{R}^n$ and derive necessary optimality conditions at infinity for optimization problems. We also give a number of rules for the computing of subgradients at infinity and provide some characterizations of the Lipschitz continuity at infinity for lower semi-continuous functions. △ Less

Submitted 15 May, 2024; v1 submitted 16 November, 2022; originally announced November 2022.

MSC Class: 90C30; 90C46; 49J52; 49J53

Discretized sum-product type problems: Energy variants and Applications

Authors: Quy Pham, Thang Pham, Chun-Yen Shen

Abstract: In this paper, we provide estimates for the additive discretized energy of \[\sum_{c\in C} |\{(a_1, a_2, b_1, b_2)\in A^2\times B^2: |(a_1 +cb_1) - (a_2 + cb_2)|\le δ\}|_δ,\] that depend on non-concentration conditions of the sets. Our proof follows the Guth-Katz-Zahl approach (2021) with appropriate changes along the way clarifying and optimizing many of the steps. Several applications will also… ▽ More In this paper, we provide estimates for the additive discretized energy of \[\sum_{c\in C} |\{(a_1, a_2, b_1, b_2)\in A^2\times B^2: |(a_1 +cb_1) - (a_2 + cb_2)|\le δ\}|_δ,\] that depend on non-concentration conditions of the sets. Our proof follows the Guth-Katz-Zahl approach (2021) with appropriate changes along the way clarifying and optimizing many of the steps. Several applications will also be discussed. △ Less

Submitted 27 March, 2024; v1 submitted 4 November, 2022; originally announced November 2022.

Small subsets with large sumset: Beyond the Cauchy--Davenport bound

Authors: Jacob Fox, Sammy Luo, Huy Tuan Pham, Yunkun Zhou

Abstract: For a subset $A$ of an abelian group $G$, given its size $|A|$, its doubling $κ=|A+A|/|A|$, and a parameter $s$ which is small compared to $|A|$, we study the size of the largest sumset $A+A'$ that can be guaranteed for a subset $A'$ of $A$ of size at most $s$. We show that a subset $A'\subseteq A$ of size at most $s$ can be found so that $|A+A'| = Ω(\min(κ^{1/3},s)|A|)$. Thus a sumset significant… ▽ More For a subset $A$ of an abelian group $G$, given its size $|A|$, its doubling $κ=|A+A|/|A|$, and a parameter $s$ which is small compared to $|A|$, we study the size of the largest sumset $A+A'$ that can be guaranteed for a subset $A'$ of $A$ of size at most $s$. We show that a subset $A'\subseteq A$ of size at most $s$ can be found so that $|A+A'| = Ω(\min(κ^{1/3},s)|A|)$. Thus a sumset significantly larger than the Cauchy--Davenport bound can be guaranteed by a bounded size subset assuming that the doubling $κ$ is large. Building up on the same ideas, we resolve a conjecture of Bollobás, Leader and Tiba that for subsets $A,B$ of $\mathbb{Z}_p$ of size at most $αp$ for an appropriate constant $α>0$, one only needs three elements $b_1,b_2,b_3\in B$ to guarantee $|A+\{b_1,b_2,b_3\}|\ge |A|+|B|-1$. Allowing the use of larger subsets $A'$, we show that for sets $A$ of bounded doubling, one only needs a subset $A'$ with $o(|A|)$ elements to guarantee that $A+A'=A+A$. We also address another conjecture and a question raised by Bollobás, Leader and Tiba on high-dimensional analogs and sets whose sumset cannot be saturated by a bounded size subset. △ Less

Submitted 13 October, 2022; originally announced October 2022.

A Toolkit for Robust Thresholds

Authors: Huy Tuan Pham, Ashwin Sah, Mehtaab Sawhney, Michael Simkin

Abstract: Consider a host hypergraph $G$ which contains a spanning structure due to minimum degree considerations. We collect three results proving that if the edges of $G$ are sampled at the appropriate rate then the spanning structure still appears with high probability in the sampled hypergraph. We prove such results for perfect matchings in hypergraphs above Dirac thresholds, for $K_r$-factors in graphs… ▽ More Consider a host hypergraph $G$ which contains a spanning structure due to minimum degree considerations. We collect three results proving that if the edges of $G$ are sampled at the appropriate rate then the spanning structure still appears with high probability in the sampled hypergraph. We prove such results for perfect matchings in hypergraphs above Dirac thresholds, for $K_r$-factors in graphs satisfying the Hajnal--Szemerédi minimum degree condition, and for bounded-degree spanning trees. In each case our proof is based on constructing a spread measure and then applying recent results on the (fractional) Kahn--Kalai conjecture connecting the existence of such measures with probabilistic thresholds. For our second result we give a shorter and more general proof of a recent theorem of Allen, Böttcher, Corsten, Davies, Jenssen, Morris, Roberts, and Skokan which handles the $r=3$ case with different techniques. In particular, we answer a question of theirs with regards to the number of $K_r$-factors in graphs satisfying the Hajnal--Szemerédi minimum degree condition. △ Less

Submitted 15 May, 2023; v1 submitted 6 October, 2022; originally announced October 2022.

Comments: 41 pages. Corrected an error in the proof of Theorem 1.5 and improved exposition

A proximal subgradient algorithm with extrapolation for structured nonconvex nonsmooth problems

Authors: Tan Nhat Pham, Minh N. Dao, Rakibuzzaman Shah, Nargiz Sultanova, Guoyin Li, Syed Islam

Abstract: In this paper, we consider a class of structured nonconvex nonsmooth optimization problems, in which the objective function is formed by the sum of a possibly nonsmooth nonconvex function and a differentiable function whose gradient is Lipschitz continuous, subtracted by a weakly convex function. This type of structured problems has many practical applications in machine learning and statistics su… ▽ More In this paper, we consider a class of structured nonconvex nonsmooth optimization problems, in which the objective function is formed by the sum of a possibly nonsmooth nonconvex function and a differentiable function whose gradient is Lipschitz continuous, subtracted by a weakly convex function. This type of structured problems has many practical applications in machine learning and statistics such as compressed sensing, signal recovery, sparse dictionary learning, clustering, matrix factorization, and others. We develop a flexible extrapolated proximal subgradient algorithm for solving these problems with guaranteed subsequential convergence to a stationary point. The global convergence of the whole sequence generated by our algorithm is also established under the Kurdyka-Lojasiewicz property. To illustrate the promising numerical performance of the proposed algorithm, we conduct numerical experiments on two important nonconvex models. This includes a least squares problem with a nonconvex regularization and an optimal power flow problem with distributed energy resources. △ Less

Submitted 18 March, 2023; v1 submitted 26 August, 2022; originally announced August 2022.

MSC Class: 90C26; 49M27; 65K05

Pinned simplices and connections to product of sets on paraboloids

Authors: Alex Iosevich, Quy Pham, Thang Pham, Chun-Yen Shen

Abstract: In this paper we obtain improved dimensional thresholds for dot product sets corresponding to compact subsets of a paraboloid. As a direct application of these estimates, we obtain significant improvements to the best known dimensional thresholds that guarantee that a given compact subset of Euclidean space determines a positive proportion of all possible congruence classes of simplexes. In many r… ▽ More In this paper we obtain improved dimensional thresholds for dot product sets corresponding to compact subsets of a paraboloid. As a direct application of these estimates, we obtain significant improvements to the best known dimensional thresholds that guarantee that a given compact subset of Euclidean space determines a positive proportion of all possible congruence classes of simplexes. In many regimes this improves the results previously obtained by Erdogan-Hart-Iosevich (\cite{EHI}), Greenleaf-Iosevich-Liu-Palsson (\cite{GILP}) and others. △ Less

Submitted 21 August, 2022; originally announced August 2022.

Product of sets on varieties in finite fields

Authors: Che-Jui Chang, Ali Mohammadi, Thang Pham, Chun-Yen Shen

Abstract: Let $V$ be a variety in $\mathbb{F}_q^d$ and $E\subset V$. It is known that if any line passing through the origin contains a bounded number of points from $E$, then $|\prod(E)|=|\{x\cdot y\colon x, y\in E\}|\gg q$ whenever $|E|\gg q^{\frac{d}{2}}$. In this paper, we show that the barrier $\frac{d}{2}$ can be broken when $V$ is a paraboloid in some specific dimensions. The main novelty in our appr… ▽ More Let $V$ be a variety in $\mathbb{F}_q^d$ and $E\subset V$. It is known that if any line passing through the origin contains a bounded number of points from $E$, then $|\prod(E)|=|\{x\cdot y\colon x, y\in E\}|\gg q$ whenever $|E|\gg q^{\frac{d}{2}}$. In this paper, we show that the barrier $\frac{d}{2}$ can be broken when $V$ is a paraboloid in some specific dimensions. The main novelty in our approach is to link this question to the distance problem in one lower dimensional vector space, allowing us to use recent developments in this area to obtain improvements. △ Less

Submitted 9 August, 2022; originally announced August 2022.

Group action and $L^2$-norm estimates of geometric problems

Authors: Thang Pham

Abstract: In 2017, by using the group theoretic approach, Bennett, Hart, Iosevich, Pakianathan, and Rudnev obtained a number of results on the distribution of simplices and sum-product type problems. The main purpose of this paper is to give a series of new applications of their powerful framework, namely, we focus on the product and quotient of distance sets, the $L^2$-norm of the direction set, and the… ▽ More In 2017, by using the group theoretic approach, Bennett, Hart, Iosevich, Pakianathan, and Rudnev obtained a number of results on the distribution of simplices and sum-product type problems. The main purpose of this paper is to give a series of new applications of their powerful framework, namely, we focus on the product and quotient of distance sets, the $L^2$-norm of the direction set, and the $L^2$-norm of scales in difference sets. △ Less

Submitted 20 September, 2023; v1 submitted 9 August, 2022; originally announced August 2022.

Comments: v2: accepted version

Geometric structures in pseudo-random graphs

Authors: Thang Pham, Steven Senger, Michael Tait, Vu Thi Huong Thu

Abstract: In this paper, we provide a general framework for counting geometric structures in pseudo-random graphs. As applications, our theorems recover and improve several results on the finite field analog of questions originally raised in the continuous setting. The results present interactions between discrete geometry, geometric measure theory, and graph theory. In this paper, we provide a general framework for counting geometric structures in pseudo-random graphs. As applications, our theorems recover and improve several results on the finite field analog of questions originally raised in the continuous setting. The results present interactions between discrete geometry, geometric measure theory, and graph theory. △ Less

Submitted 8 August, 2022; originally announced August 2022.

On random irregular subgraphs

Authors: Jacob Fox, Sammy Luo, Huy Tuan Pham

Abstract: Let $G$ be a $d$-regular graph on $n$ vertices. Frieze, Gould, Karoński and Pfender began the study of the following random spanning subgraph model $H=H(G)$. Assign independently to each vertex $v$ of $G$ a uniform random number $x(v) \in [0,1]$, and an edge $(u,v)$ of $G$ is an edge of $H$ if and only if $x(u)+x(v) \geq 1$. Addressing a problem of Alon and Wei, we prove that if… ▽ More Let $G$ be a $d$-regular graph on $n$ vertices. Frieze, Gould, Karoński and Pfender began the study of the following random spanning subgraph model $H=H(G)$. Assign independently to each vertex $v$ of $G$ a uniform random number $x(v) \in [0,1]$, and an edge $(u,v)$ of $G$ is an edge of $H$ if and only if $x(u)+x(v) \geq 1$. Addressing a problem of Alon and Wei, we prove that if $d = o(n/(\log n)^{12})$, then with high probability, for each nonnegative integer $k \leq d$, there are $(1+o(1))n/(d+1)$ vertices of degree $k$ in $H$. △ Less

Submitted 27 July, 2022; originally announced July 2022.

Comments: 18 pages