Showing 20 papers (Total: 81378 papers, 47165 authors in database)
On Proximity and other Distance Parameters in Planar Graphs
Let $G$ be a connected graph. The average distance of a vertex $v$ of $G$ is the arithmetic mean of the distances from $v$ to all other vertices of $G$. The proximity and remoteness of $G$ are defined as the minimum and maximum, respectively, of the average distances of the vertices of $G$.
It was shown by Aouchiche and Hansen [Proximity and remoteness in graphs: bounds and conjectures, Networks 58 no.\ 2 (2011)] that for a connected graph of order $n$, the difference between remoteness and proximity and the difference between radius and proximity are bounded from above by about $\frac{n}{4}$, and the difference between diameter and proximity is bounded from above by about $\frac{3}{4}n$.
In this paper, we show that all three bounds can be improved significantly for maximal planar graphs, and for graphs of given connectivity.
We show that in maximal planar graphs the above bound on the difference between radius and proximity can be improved to about $\frac{1}{12}n$, and further to about $\frac{1}{16}n$ and $\frac{1}{20}n$ if the graphs is, in addition, $4$-connected or $5$-connected, respectively. Similar improvements are shown for quadrangulations, and for maximal outerplanar graphs. We further show that the above bound on the difference between remoteness and proximity can be improved to about $\frac{1}{4κ}n$ if $G$ is $κ$-connected. Finally, we improve the bound on the difference between diameter and proximity to about $\frac{3}{4κ}n$ if $G$ is $κ$-connected. We present graphs that demonstrate that our bounds are either sharp, or sharp apart from an additive constant, even if restricted to planar graphs.
On finiteness of spectral radius order
The concept of spectral radius order plays an crucial role in the breakthrough work on equiangular lines due to Jiang, Tidor, Yao, Zhang, and Zhao [Ann. of Math. (2) 194 (2021), no. 3, 729-743]. However, it is difficult to calculate the spectral radius order explicitly in general, or even to characterize numbers with finite spectral radius order. In this paper, we characterize numbers with finite spectral radius orders in two special classes: quadratic algebraic integers and the numbers no larger than 2. Additionally, we derive precise values of the spectral radius order of two infinite families of quadratic algebraic integers.
Regularity for hypergraphs with bounded VC$_2$ dimension
While Szemerédi's graph regularity lemma is an indispensable tool for studying extremal problems in graph theory, using it comes with a hefty price, since a worst-case graph may only have regular partitions of tower-type size. It is thus sensible to ask if there is some natural restriction which forces graphs to have much smaller regular partitions. A celebrated result of this type, due to Alon-Fischer-Newman and Lovász-Szegedy, states that for graphs of bounded VC dimension, one can reduce the tower-type bounds to polynomial.
The graph regularity lemma has been extended to the setting of $k$-graphs by Gowers, Nagle-Rödl-Schacht-Skokan, and Tao. Unfortunately, these lemmas come with even larger Ackermann-type bounds. Chernikov-Starchenko and Fox-Pach-Suk considered a strong notion of $k$-graph VC dimension and proved that $k$-graphs of bounded VC dimension have regular partitions of polynomial size. Shelah introduced a weaker and combinatorially natural notion of dimension, called VC$_2$ dimension, which has since been extensively studied. In particular, Chernikov, Towsner, Terry, and Wolf asked if one can improve the worst case bounds for 3-graph regularity when the 3-graph has bounded VC$_2$ dimension. Our main result in this paper answers this question positively in the following strong sense: in the setting of bounded VC$_2$ dimension, one can reduce the bounds for 3-graph regularity by one level in Ackermann hierarchy. Furthermore, our new bound is best possible.
Our proof has two key steps. We first introduce a new method for designing regularity lemmas for graphs of bounded VC dimension, based on the cylinder regularity lemma. We then prove a hypergraph version of the cylinder regularity lemma, which allows us to extend this method to hypergraphs. We also highlight a few other applications of this cylinder regularity lemma, which we expect to find many other uses.
Cohen-Lenstra flag universality for random matrix products
For $n \times n$ random integer matrices $M_1,\ldots,M_k$, the cokernels of the partial products $\mathrm{cok}(M_1 \cdots M_i), 1 \leq i \leq k$ naturally define a random flag of abelian $p$-groups. We prove that as $n \to \infty$, this flag converges universally, for any nondegenerate entry distribution, to the Cohen-Lenstra type measure which weights each flag inversely proportional to the size of its automorphism group. As a corollary, we prove universality of certain formulas for the limiting conditional distribution of $\mathrm{cok}(M_1M_2)$ given $\mathrm{cok}(M_1),\mathrm{cok}(M_2)$ in terms of Hall-Littlewood structure constants, which were previously obtained only for Haar matrices over $\mathbb{Z}_p$.
Our proofs combine the general technology of Sawin-Wood, matrix product moment computations following those of Nguyen-Van Peski, and the computation done previously for Haar $p$-adic matrices by Huang.
Cutsets in ${\mathcal P}(X)$
For any set $X$, ${\mathcal P}(X)$ denotes the collection of all subsets of $X$, ordered by inclusion. A {\it cutset} in ${\mathcal P}(X)$ is a subset of ${\mathcal P}(X)$ which meets every maximal chain of ${\mathcal P}(X)$. A cutset is non-trivial if it does not contain $X$ or the empty set. Our main result is the following.
Theorem 1: Let $X$ be an infinite set of cardinality $κ$. Every non-trivial cutset in ${\mathcal P}(X)$ contains a chain of cardinality $κ^+$ and an antichain of cardinality $2^κ$.
The characteristic quasi-polynomials of hyperplane arrangements with actions of finite groups
In this paper, we introduce an equivariant version of the characteristic quasi-polynomials as the permutation characters on the complement of mod $q$ hyperplane arrangements. We prove that the permutation character is a quasi-polynomial in $q$, and show that it can be expressed by the sum of the induced characters of an equivariant version of the Ehrhart quasi-polynomials. Furthermore, we consider the case of the Coxeter arrangements, and compute in detail for type $A_\ell$.
A forbidden pair for quasi 5-contractible edges
An edge of a quasi $k$-connected graph is said to be quasi $k$-contractible if the contraction of the edge results in a quasi $k$-connected graph. If every quasi $k$-connected graph without a quasi $k$-contractible edge has either $H_{1}$ or $H_{2}$ as a subgraph, then an unordered pair of graphs $\{H_{1}, H_{2}\}$ is said to be a forbidden pair for quasi $k$-contractible edges. We prove that $\{K_{4}^{-}, \overline{P_{5}}\}$ is a forbidden pair for quasi 5-contractible edges, where $K_{4}^{-}$ is the graph obtained from $K_{4}$ by removing just one edge and $\overline{P_{5}}$ is the complement of a path on five vertices.
Periodicity and Dynamical Systems of Dickson Polynomials in Finite Fields
This paper investigates the dynamical properties of Dickson polynomials over finite fields, focusing on the periodicity and structural behavior of their iterated sequences. We introduce and analyze the sequence $[D_n(x, α) \mod (x^q - x)]_n$, where $D_n(x, α)$ denotes a Dickson polynomial of the first kind, and explore its periodic nature when reduced modulo $x^q - x$. We derive explicit formulas for the period of these sequences, particularly in the case when $n$ is coprime to $q^2 - 1$. In addition, we identify a symmetric property of the polynomial coefficients that plays a crucial role in the analysis of these sequences. Using tools from combinatorics, elementary number theory, and finite fields, we present algorithms to compute the exact period and investigate the dynamical structure of these polynomials. We also highlight open problems in cases where the degree $n$ is not coprime to $q^2 - 1$. Our results offer deep insights into the algebraic structure of Dickson polynomials and their role in dynamical systems over finite fields.
Polynomial extension of Van der Waerden's Theorem near zero
Let $S$ be a dense subring of the real numbers. In this paper we prove a polynomial version of Van der Waerden's theorem near zero. In fact, we prove that if $p_1,\ldots,p_m \in \mathbb{Z}[x]$ are polynomials such that $p_i(0) = 0$ and there exists $δ> 0$ such that $p_i(x) > 0$ for every $x \in (0,δ)$ and for every $i=1,\ldots , m$. Then for any finite partition $\mathcal{C}$ of \( S\cap(0,1) \) and every sequence $f:\mathbb{N}\to S\cap(0,1)$ satisfying $\sum_{n=1}^\infty f(n)<\infty$, there exist a cell $C \in \mathcal{C}$, an element $a \in S$, and $F \in P_f(\mathbb{N})$ such that
\[
\{ a + p_i(\sum_{t \in F} f(t)) : i = 1,2,\ldots,m \} \subseteq C.
\]
On packing total coloring
In this paper, we introduce a new concept in graph coloring, namely the \textit{packing total coloring}, which extends the idea of packing coloring to both the vertices and the edges of a given graph. More precisely, for a graph $G$, a packing total coloring is a mapping $c: V(G) \cup E(G) \rightarrow \{1, 2, \ldots\}$ with the property that for any integer $i$, any two distinct elements $A, B \in V(G) \cup E(G)$ with $c(A) = c(B) = i$ must be at distance at least $i+1$ from each other. The smallest integer $k$ such that $G$ admits a packing total coloring using $k$ colors is called the \textit{packing total chromatic number}, denoted by $χ_ρ^{''}(G)$.
In addition to introducing this new concept, we provide lower and upper bounds for the packing total chromatic numbers of graphs. Furthermore, we consider packing total chromatic numbers of graphs from the perspective of their maximum degrees and characterize all graphs $G$ with $χ_ρ^{''}(G) \in \{1, 2, 3, 4\}$.
Critical edge sets in vertex-critical graphs
Criticality is a fundamental notion in graph theory that has been studied continually since its introduction in the early 50s by Dirac. A graph is called $k$-vertex-critical ($k$-edge-critical) if it is $k$-chromatic but removing any vertex (edge) lowers the chromatic number to $k-1$. A set of edges in a graph is called critical if its removal reduces the chromatic number of the graph.
In 1970, Dirac conjectured a rather strong distinction between the notions of vertex- and edge-criticality, namely that for every $k\ge 4$ there exists a $k$-vertex-critical graph that does not have any critical edges. This conjecture was proved for $k\ge 5$ by Jensen in 2002 and remains open only for $k=4$. A much stronger version of Dirac's conjecture was proposed by Erdős in 1985: Let $k\ge 4$ be fixed, and let $f_k(n)$ denote the largest integer such that there exists a $k$-vertex-critical graph of order $n$ in which no set of at most $f_k(n)$ edges is critical. Is it true that $f_k(n)\rightarrow \infty$ for $n\rightarrow \infty$?
Strengthening previous partial results, we solve this problem affirmatively for all $k>4$, proving that $$f_k(n)=Ω(n^{1/3}).$$ This leaves only the case $k=4$ open. We also show that a stronger lower bound of order $\sqrt{n}$ holds along an infinite sequence of numbers $n$. Finally, we provide a first non-trivial upper bound on the functions $f_k$ by proving that $$f_k(n)=O\left(\frac{n}{(\log n)^{Ω(1)}}\right)$$ for every $k\ge 4$. Our proof of the lower bound on $f_k(n)$ involves an intricate analysis of the structure of proper colorings of a modification of an earlier construction due to Jensen, combined with a gluing operation that creates new vertex-critical graphs without small critical edge sets from given such graphs. The upper bound is obtained using a variant of Szemerédi's regularity lemma due to Conlon and Fox.
Optimum 1-Step Majority-Logic Decoding of Binary Reed-Muller Codes
The classical majority-logic decoder proposed by Reed for Reed-Muller codes RM(r, m) of order r and length 2^m, unfolds in r+1 sequential steps, decoding message symbols from highest to lowest degree. Several follow-up decoding algorithms reduced the number of steps, but for a limited set of parameters, or at the expense of reduced performance, or relying on the existence of some combinatorial structures. We show that any one-step majority-logic decoder-that is, a decoder performing all majority votes in one step simultaneously without sequential processing-can correct at most d_min/4 errors for all values of r and m, where d_min denotes the code's minimum distance. We then introduce a new hard-decision decoder that completes the decoding in a single step and attains this error-correction limit. It applies to all r and m, and can be viewed as a parallel realization of Reed's original algorithm, decoding all message symbols simultaneously. Remarkably, we also prove that the decoder is optimum in the erasure setting: it recovers the message from any erasure pattern of up to d_min-1 symbols-the theoretical limit. To our knowledge, this is the first 1-step decoder for RM codes that achieves both optimal erasure correction and the maximum one-step error correction capability.
The fluctuations of the mod p rank of triangular matrices
We consider random lower triangular matrices such that the entries on and below the diagonal are i.i.d. copies of some $\mathbb{Z}$-valued random variable. We prove that the Sylow $p$-subgroups of the cokernels of these matrices have the same constant order fluctuations as that of the matrix products studied by Nguyen and Van Peski.
As a special case, we can describe the limiting fluctuations of the rank of lower triangular matrices over $\mathbb{F}_p$ with i.i.d. random entries on and below the diagonal.
On g-Extra Connectivity of Corona-Type Graph Products
Connectivity is one of the central ideas in graph theory, especially when it comes to building fault-tolerant networks. A cutset $S$ of $G$ is defined to be the set of vertices in $G$ whose removal disconnects the graph. An $R_g$ cutset of $G$ is a cutset whose removal disconnects the graph in such a way that each connected component has at least $g+1$ vertices. If $G$ has at least one $R_g$ cutset then the $g-$extra vertex connectivity (or the $g-$extra edge connectivity), denoted as $κ_g(G)$ ($λ_g(G)$), is defined as the minimum cardinality of $R_g$ cutset. In this paper, we obtain the $g-$ extra connectivity of various corona type graph products edge corona, neighbourhood corona, subdivision vertex neighbourhood corona,subdivision edge neighbourhood corona and generalised corona product.
Formulas and asymptotics of hypergraph Catalan numbers
Tree walks are a class of closed walks on a complete graph constrained to span trees. In this work, we focus on a special subclass called $k$-tours, which were recently introduced by Gunnells and are enumerated by the hypergraph Catalan numbers $ c_n^{(k)}$. Gunnells conjectured an asymptotic formula for $c_n^{(k)}$ which we confirm through an alternative approach to their enumeration. As it turns out, the asymptotic growth is governed by the number of $k$-tours on star-like trees.
Distinct Directions and Distinct Distances in $\mathbb{R}^d$
We show that there exists an absolute positive constant $b (\geq \frac{1}{48})$ so that any set of $n$ points in $\mathbb{R}^d$ that is $d$-dimensional determines at least $bdn$ lines with pairwise distinct directions. As a consequence we prove that there are $d$-dimensional real norms $\|\cdot\|$ so that every set of $n>n_0(d)$ points that is $d$-dimensional determines at least $(bd-o(1))n$ distinct distances with respect to $\|\cdot \|$.
Modeling FO-limits for monadically stable sequences
We show that given a monadically stable theory $T$, a sufficiently saturated $\mathbf M \models T$, and a coherent system of probability measures on the $σ$-algebras generated by parameter-definable sets of $\mathbf M$ in each dimension, we may produce a totally Borel $\mathbf B \prec \mathbf M$ realizing these measures. Our main application is to prove that every FO-convergent sequence of structures (with countable signature) from a monadically stable class admits a modeling limit. As another consequence, we prove a Borel removal lemma for monadically stable Lebesgue relational structures.
Parseval-type identities for Gowers uniformity norms in finite abelian groups
Orthogonality relations for cubes of characters in Gowers inner products $\langle \cdot \rangle_{d,l}$ lead to Parseval-type identities and isometries for suitably generalized Gowers uniformity norms $U^{d,l}$.
Newton polytopes of fireworks Grothendieck polynomials
We show that the support of the Grothendieck polynomial $\mathfrak G_w$ of any fireworks permutation is as large as possible: a monomial appears in $\mathfrak G_w$ if and only if it divides $\mathbf x^{\mathrm{wt}(\overline{D(w)})}$ and is divisible by some monomial appearing in the Schubert polynomial $\mathfrak S_w$. Our formula implies that the homogenization of $\mathfrak G_w$ has M-convex support. We also show that for any fireworks permutation $w\in S_n$, there exists a layered permutation $π(w)\in S_n$ so that $\mathrm{supp}(\mathfrak G_{π(w)})\supseteq \mathrm{supp}(\mathfrak G_w)$.
K-promotion on m-packed labelings of posets
Schutzenberger's promotion operator, pro, is a fundamental map in dynamical algebraic combinatorics. At first, its action was mainly considered on standard Young tableaux. But pro was subsequently shown to have interesting properties when applied to natural labelings of other posets. Pechenik defined a K-theoretic version of promotion, pro_K, on m-packed labelings of tableaux. The operator pro was then extended to increasing labelings of other posets. The purpose of the current work is to show that the original action of pro_K on m-packed labelings yields interesting results when applied to partially ordered sets in general, and to rooted trees in particular. We show that under certain conditions, the sizes of the orbits and order of pro_K exhibit nice divisibility properties. We also completely determine, for certain values of m, the orbit sizes for the action on various types of rooted trees such as extended stars, combs, zippers, and a type of three-leaved tree.