Showing 20 papers (Total: 82139 papers, 47531 authors in database)
A Structural Theorem for Sets With Few Triangles
Published in Combinatorica (2023)
• View Publication
• BIB
We show that if a finite point set $P\subseteq \mathbb{R}^2$ has the fewest congruence classes of triangles possible, up to a constant $M$, then at least one of the following holds.
(1) There is a $σ>0$ and a line $l$ which contains $Ω(|P|^σ)$ points of $P$. Further, a positive proportion of $P$ is covered by lines parallel to $l$ each containing $Ω(|P|^σ)$ points of $P$.
(2) There is a circle $γ$ which contains a positive proportion of $P$.
This provides evidence for two conjectures of Erdős. We use the result of Petridis-Roche-Newton-Rudnev-Warren on the structure of the affine group combined with classical results from additive combinatorics.
On some building blocks of hypergraphs
Published
• View Publication
• BIB
In this study, we explore the interrelation between hypergraph symmetries represented by equivalence relations on the vertex set and the spectra of operators associated with the hypergraph. We introduce the idea of equivalence relation compatible operators related to hypergraphs. Some eigenvalues and the corresponding eigenvectors can be computed directly from the equivalence classes of the equivalence relation. The other eigenvalues can be computed from a quotient operator obtained by identifying each equivalence class as an element. We provide an equivalence relation $\mathfrak{R}_s$ on the vertex set of a hypergraph such that the Adjacency, Laplacian, and signless Laplacian operators associated with that hypergraph become $\mathfrak{R}_s$-compatible. The $\mathfrak{R}_s$-equivalence classes are named as units. Using units, we find some more symmetric substructures of hypergraphs called twin units, regular sets, co-regular sets, and symmetric sets. We collectively classify them as building blocks of hypergraphs. We show that the presence of these building blocks leaves certain traces in the spectrum and the corresponding eigenspaces of the $\mathfrak{R}_s$-compatible operators associated with the hypergraph. We also show that, conversely, some specific footprints in the spectrum and the corresponding eigenvectors retrace the presence of some of these building blocks in the hypergraph. Besides the spectra of $\mathfrak{R}_s$-compatible operators, building blocks are also interrelated with hypergraph colouring, distances in hypergraphs, hypergraph automorphisms, and random walks on hypergraphs.
The cap set problem: Up to dimension 7
An s-cap n-flat is given by a set of s points, no three of which are on a common line, in an n-dimensional affine space over the field of three elements. The cap set problem in dimension n is: what is the maximum s such that there is an s-cap n-flat?
The first two papers in this series of articles considered the cap set problem in dimensions up to and including 5. In this paper, which is the third in the series, we consider dimensions 6 and 7: we prove that every 110-cap 6-flat is a 112-cap 6-flat minus two cap points, and that there are no 289-cap 7-flats.
On the Span of $l$ Distance Coloring of Infinite Hexagonal Grid
Published
• View Publication
• BIB
For a graph $G(V,E)$ and $l \in \mathbb{N}$, an $l$ distance coloring is a coloring $f: V \to \{1, 2, \cdots, n\}$ of $V$ such that $\forall u,\;v \in V,\; u\neq v,\; f(u)\neq f(v)$ when $d(u,v) \leq l$. Here $d(u,v)$ is the distance between $u$ and $v$ and is equal to the minimum number of edges that connect $u$ and $v$ in $G$. The span of $l$ distance coloring of $G$, $λ^{l}(G)$, is the minimum $n$ among all $l$ distance coloring of $G$. A class of channel assignment problem in cellular network can be formulated as a distance graph coloring problem in regular grid graphs. The cellular network is often modelled as an infinite hexagonal grid $T_H$, and hence determining $λ^{l}(T_H)$ has relevance from practical point of view. Jacko and Jendrol [Discussiones Mathematicae Graph Theory, $2005$] determined the exact value of $λ^{l}(T_H)$ for any odd $l$ and for even $l \geq 8$, it is conjectured that $λ^{l}(T_H) = \left[ \dfrac{3}{8} \left( \, l+\dfrac{4}{3} \right) ^2 \right]$ where $[x]$ is an integer, $x\in \mathbb{R}$ and $x-\dfrac{1}{2} < [x] \leq x+\dfrac{1}{2}$. For $l=8$, the conjecture has been proved by Sasthi and Subhasis [$22$nd Italian Conference on Theoretical Computer Science, $2021$]. In this paper, we prove the conjecture for any $l \geq 10$.
Zigzags in combinatorial tetrahedral chains and the associated Markov chain
Published
• View Publication
• BIB
Zigzags in graphs embedded in surfaces are cyclic sequences of edges whose any two consecutive edges are different, have a common vertex and belong to the same face. We investigate zigzags in randomly constructed combinatorial tetrahedral chains. Every such chain contains at most $3$ zigzags up to reversing. The main result is the limit of the probability that a randomly constructed tetrahedral chain contains precisely $k\in\{1,2,3\}$ zigzags up to reversing as its length approaches infinity. Our key tool is the Markov chain whose states are types of $z$-monodromies.
Dual Linear Programming Bounds for Sphere Packing via Discrete Reductions
Published in Adv. Math. 460:110043 (2024)
• View Publication
• BIB
The Cohn-Elkies linear program for sphere packing, which was used to solve the 8 and 24 dimensional cases, is conjectured to not be sharp in any other dimension $d>2$. By mapping feasible points of this infinite-dimensional linear program into a finite-dimensional problem via discrete reduction, we provide a general method to obtain dual bounds on the Cohn-Elkies linear program. This reduces the number of variables to be finite, enabling computer optimization techniques to be applied. Using this method, we prove that the Cohn-Elkies bound cannot come close to the best packing densities known in dimensions $3 \leq d \leq 13$ except for the solved case $d=8$. In particular, our dual bounds show the Cohn-Elkies bound is unable to solve the 3, 4, and 5 dimensional sphere packing problems.
Folding rotationally symmetrical tableaux via webs
Published
• View Publication
• BIB
Rectangular standard Young tableaux with 2 or 3 rows are in bijection with $U_q(\mathfrak{sl}_2)$-webs and $U_q(\mathfrak{sl}_3)$-webs respectively. When $W$ is a web with a reflection symmetry, the corresponding tableau $T_W$ has a rotational symmetry. Folding $T_W$ transforms it into a domino tableau $D_W$. We study the relationships between these correspondences. For 2-row tableaux, folding a rotationally symmetric tableau corresponds to "literally folding" the web along its axis of symmetry. For $3$-row tableaux, we give simple algorithms, which provide direct bijective maps between symmetrical webs and domino tableaux (in both directions). These details of these algorithms reflect the intuitive idea that $D_W$ corresponds to "$W$ modulo symmetry".
Quantitative bounds for product of simplices in subsets of the unit cube
Published
• View Publication
• BIB
For each $1\leq i \le n$, let $k_i\geq 1$ and let $Δ_i$ be a set of vertices of a non-degenerate simplex of $k_i+1$ points in $\mathbb{R}^{k_i+1}$. If $A\subseteq [0,1]^{k_1+1}\times \cdots \times [0,1]^{k_n+1}$ is a Lebesgue measurable set of measure at least $δ$, we show that there exists an interval $I=I(Δ_1,\ldots, Δ_n,A)$ of length at least $\exp(-δ^{-C(Δ_1,\ldots, Δ_n)})$ such that for each $λ\in I$, the set $A$ contains $Δ'_1\times \cdots \times Δ'_n$, where each $Δ_i'$ is an isometric copy of $λΔ_i$. This is a quantitative improvement of a result by Lyall and Magyar. Our proof relies on harmonic analysis. The main ingredient in the proof are cancellation estimates for forms similar to multilinear singular integrals associated with $n$-partite $n$-regular hypergraphs.
Pattern bounds for principal specializations of $β$-Grothendieck Polynomials
Published
• View Publication
• BIB
There has been recent interest in lower bounds for the principal specializations of Schubert polynomials $ν_w := \mathfrak S_w(1,\dots,1)$. We prove a conjecture of Yibo Gao in the setting of $1243$-avoiding permutations that gives a lower bound for $ν_w$ in terms of the permutation patterns contained in $w$. We extended this result to principal specializations of $β$-Grothendieck polynomials $ν^{(β)}_w := \mathfrak G^{(β)}_w(1,\dots,1)$ by restricting to the class of vexillary $1243$-avoiding permutations. Our methods are bijective, offering a combinatorial interpretation of the coefficients $c_w$ and $c^{(β)}_w$ appearing in these conjectures.
Recent progress on bounds for sets with no three terms in arithmetic progression
Published in Astérisque, Séminaire Bourbaki. Vol. 2021/2022. Exposés 1181--1196(2022), no.438, No. 1196, 581 pp
• View Publication
• BIB
This is the text accompanying my Bourbaki seminar on the work of Bloom and Sisask, Croot, Lev, and Pach, and Ellenberg and Gijswijt.
La conjecture du $K(π,1)$ pour les groupes d'Artin affines (d'après Paolini et Salvetti)
Published
• View Publication
• BIB
Consider an affine Coxeter group $W$ acting by isometries on the Euclidean space $\mathbb{R}^n$, and the arrangement of its reflection hyperplanes. The fundamental group of the complement $Y_W$ of the complexification of this arrangement in $\mathbb{C}^n$ mod out by $W$ is the affine Artin group $G_W$ associated with $W$. The $K(π,1)$ conjecture states that $Y_W$ is a classifying space for $G_W$. It has been recently proved by Paolini and Salvetti building on the works of McCammond and Sulway. We will present some ingredients of the proof that rests on the study of dual Garside structures for affine Artin groups, the factorisations of Euclidean isometries, and the shellability of noncrossing partitions. One consequence is that affine Artin groups, as well as braided crystallographic groups, have a finite classifying space.
Maximal 3-wise Intersecting Families with Minimum Size: the Odd Case
A family $\mathcal{F}$ on ground set $\{1,2,\ldots, n\}$ is maximal $k$-wise intersecting if every collection of $k$ sets in $\mathcal{F}$ has non-empty intersection, and no other set can be added to $\mathcal{F}$ while maintaining this property. Erdős and Kleitman asked for the minimum size of a maximal $k$-wise intersecting family. Complementing earlier work of Hendrey, Lund, Tompkins and Tran, who answered this question for $k=3$ and large even $n$, we answer it for $k=3$ and large odd $n$. We show that the unique minimum family is obtained by partitioning the ground set into two sets $A$ and $B$ with almost equal sizes and taking the family consisting of all the proper supersets of $A$ and of $B$. A key ingredient of our proof is the stability result by Ellis and Sudakov about the so-called $2$-generator set systems.
Contractible Subgraphs of Contraction Critically Quasi $5$-Connected Graphs
Published
• View Publication
• BIB
Let $G$ be a contraction critically quasi $5$-connected graph on at least $14$ vertices. If there is a vertex $x\in V_{4}(G)$ such that $G[N_{G}(x)]\cong K_{1,3}$ or $G[N_{G}(x)]\cong C_{4}$, then $G$ has a quasi $5$-contractible subgraph $H$ such that $0<\|V(H)\|<4$.
Large sumsets from medium-sized subsets
The classical Cauchy--Davenport inequality gives a lower bound for the size of the sum of two subsets of ${\mathbb Z}_p$, where $p$ is a prime. Our main aim in this paper is to prove a considerable strengthening of this inequality, where we take only a small number of points from each of the two subsets when forming the sum. One of our results is that there is an absolute constant $c>0$ such that if $A$ and $B$ are subsets of ${\mathbb Z}_p$ with $|A|=|B|=n\le p/3$ then there are subsets $A'\subset A$ and $B'\subset B$ with $|A'|=|B'|\le c \sqrt{n}$ such that $|A'+B'|\ge 2n-1$. In fact, we show that one may take any sizes one likes: as long as $c_1$ and $c_2$ satisfy $c_1c_2 \ge cn$ then we may choose $|A'|=c_1$ and $|B'|=c_2$. We prove related results for general abelian groups.
Cutpoints of (1,2) and (2,1) random walks on the lattice of positive half line
Published
• View Publication
• BIB
In this paper, we study (1,2) and (2,1) random walks in varying environments on the lattice of positive half line. We assume that the transition probabilities at site $n$ are asymptotically constants as $n\rightarrow\infty.$ For (1,2) random walk, we get some elaborate asymptotic behaviours of various escape probabilities and hitting probabilities of the walk. Such observations and some delicate analysis of continued fractions and the product of nonnegative matrices enable us to give criteria for finiteness of the number of cutpoints of both (1,2) and (2,1) random walks, which generalize E. Csáki, A. Földes and P. Révész [J. Theor. Probab. 23: 624-638 (2010)] and H.-M. Wang [Markov Processes Relat. Fields 25: 125-148 (2019)]. For near-recurrent random walks, whenever there are infinitely many cutpoints, we also study the asymptotics of the number of cutpoints in $[0,n].$
A Stirling-type formula for the distribution of the length of longest increasing subsequences
Published in Found. Comput. Math. 24:915-953 (2024)
• View Publication
• BIB
The discrete distribution of the length of longest increasing subsequences in random permutations of $n$ integers is deeply related to random matrix theory. In a seminal work, Baik, Deift and Johansson provided an asymptotics in terms of the distribution of the scaled largest level of the large matrix limit of GUE. As a numerical approximation, however, this asymptotics is inaccurate for small $n$ and has a slow convergence rate, conjectured to be just of order $n^{-1/3}$. Here, we suggest a different type of approximation, based on Hayman's generalization of Stirling's formula. Such a formula gives already a couple of correct digits of the length distribution for $n$ as small as $20$ but allows numerical evaluations, with a uniform error of apparent order $n^{-2/3}$, for $n$ as large as $10^{12}$; thus closing the gap between a table of exact values (compiled for up to $n=1000$) and the random matrix limit. Being much more efficient and accurate than Monte-Carlo simulations, the Stirling-type formula allows for a precise numerical understanding of the first few finite size correction terms to the random matrix limit. From this we derive expansions of the expected value and variance of the length, exhibiting several more terms than previously put forward.
The (degree)-Kirchhoff index of linear crossed octagonal-quadrilateral networks
The Kirchhoff index and degree-Kirchhoff index have attracted extensive attentions due to its practical applications in complex networks, physics, and chemistry. In 2019, Liu et al. [Int. J. Quantum Chem. 119 (2019) e25971] derived the formula of the degree-Kirchhoff index of linear octagonal-quadrilateral networks. In the present paper, we consider linear crossed octagonal-quadrilateral networks $Q_n$. Explicit closed-form formulas of the Kirchhoff index, the degree-Kirchhoff index, and the number of spanning trees of $Q_n$ are obtained. Moreover, the Kirchhoff index (resp. degree-Kirchhoff index) of $Q_n$ is shown to be almost 1/4 of its Wiener index (resp. Gutman index).
The Game of Tumbleweed is PSPACE-complete
Tumbleweed is a popular two-player perfect-information new territorial game played at the prestigious Mind Sport Olympiad. We define a generalized version of the game, where the board size is arbitrary and so is the possible number of neutral stones.
Our result: the complexity of deciding for a given configuration which of the players has a winning strategy is PSPACE-complete. The proof is by a log-space reduction from a Boolean formula game of T.J. Schaefer, known to be PSPACE-complete.
We embed the non-planar Schaefer game within the planar Tumbleweed board without using proper "bridges", that are impossible due to the board's topology. Instead, our new technique uses a one-move tight race that forces the players to move only according to the protocol of playing the embedded 4-CNF game.
Quasirandom groups enjoy interleaved mixing
Let $G$ be a group such that any non-trivial representation has dimension at least $d$. Let $X=(X_{1},X_{2},\ldots,X_{t})$ and $Y=(Y_{1},Y_{2},\ldots,Y_{t})$ be distributions over $G^{t}$. Suppose that $X$ is independent from $Y$. We show that for any $g\in G$ we have $|\mathbb{P}[X_{1}Y_{1}X_{2}Y_{2}\cdots X_{t}Y_{t}=g]-1/|G||\le\frac{|G|^{2t-1}}{d^{t-1}}\sqrt{\mathbb{E}_{h\in G^{t}}X(h)^{2}}\sqrt{\mathbb{E}_{h\in G^{t}}Y(h)^{2}}.$ Our results generalize, improve, and simplify previous works.
Bounds and extremal graphs for total dominating identifying codes
Published in The Electronic Journal of Combinatorics 30(3):P3.15, 2023
• View Publication
• BIB
An identifying code $C$ of a graph $G$ is a dominating set of $G$ such that any two distinct vertices of $G$ have distinct closed neighbourhoods within $C$. The smallest size of an identifying code of $G$ is denoted $γ^{\text{ID}}(G)$. When every vertex of $G$ also has a neighbour in $C$, it is said to be a total dominating identifying code of $G$, and the smallest size of a total dominating identifying code of $G$ is denoted by $γ_t^{\text{ID}}(G)$.
Extending similar characterizations for identifying codes from the literature, we characterize those graphs $G$ of order $n$ with $γ_t^{\text{ID}}(G)=n$ (the only such connected graph is $P_3$) and $γ_t^{\text{ID}}(G)=n-1$ (such graphs either satisfy $γ^{\text{ID}}(G)=n-1$ or are built from certain such graphs by adding a set of universal vertices, to each of which a private leaf is attached).
Then, using bounds from the literature, we remark that any (open and closed) twin-free tree of order $n$ has a total dominating identifying code of size at most $\frac{3n}{4}$. This bound is tight, and we characterize the trees reaching it. Moreover, by a new proof, we show that this bound actually holds for the larger class of all twin-free graphs of girth at least 5. The cycle $C_8$ also attains this bound. We also provide a generalized bound for all graphs of girth at least 5 (possibly with twins).
Finally, we relate $γ_t^{\text{ID}}(G)$ to the related parameter $γ^{\text{ID}}(G)$ as well as the location-domination number of $G$ and its variants, providing bounds that are either tight or almost tight.