Showing 20 papers (Total: 81378 papers, 47165 authors in database)
On the size of universal graphs for spanning trees
Chung and Graham [J. London Math. Soc., 1983] claimed that there exists an $n$-vertex graph $G$ containing all $n$-vertex trees as subgraphs that has at most $\frac{5}{2}n \log_2 n + O(n)$ edges. We identify an error in their proof. This error can be corrected by adding more edges, which increases the number of edges to $e(G) \leq \frac{7}{2}n \log_2 n + O(n)$. Moreover, we further improve this by showing that there exists such an $n$-vertex graph with at most $\left(5- \frac{1}{3}\right)n \log_3 n + O(n) \leq 2.945 n \log_2 n$ edges. This is the first improvement of the bound since Chung and Graham's pioneering work four decades ago.
Furstenberg set theorem for transversal families of functions
We prove an extension of the Furstenberg set theorem to families of graphs satisfying a transversality condition. We apply the result to derive bounds on $L^{p}$-norms of Fourier transforms of fractal measures supported on plane curves.
On four-rich points defined by pencils
In this paper we study the number of four-rich points defined by pencils of certain algebraic objects. Our main result concerns the number of four-rich points defined by four sheaves of planes; under certain non-degeneracy conditions, we prove that four sheaves of $n$ planes in $\mathbb P^3$ determine at most $O(n^{8/3})$ four-rich points. We prove this using the four dimensional Elekes-Szabó theorem. Using the same method, we prove an upper bound on the number of four-rich points determined by four sets of concentric spheres in $\mathbb C^3$. Furthermore, using the same technique with the 3-d Elekes-Szabó theorem, one can prove upper bounds on four-rich points determined by various configurations of lines/circles in the plane $\mathbb C^2$; we give one such example, involving two pencils of lines and two pencils of concentric circles in $\mathbb C^2$.
Delta-system method: a survey
In 1960 Erd\H os and Rado published a paper that, in retrospect, became one of the most influential papers in extremal set theory. They proved a result of Ramsey theoretic flavour, stating that in any sufficiently large family of sets of bounded size there is a homogeneous substructure, called a $Δ$-system (also known under the name of a sunflower). For many qualitative results in Discrete Mathematics and Theoretical Computer Science, this has become a very powerful tool to analyze complex set families. Extremal set theory flourished in the 1970's--80's, and many exciting developments happened then. One of them was the development of the $Δ$-system method in the works of Frankl and Füredi. In this survey, we try to give a concise picture of this method starting from its early stages and to the modern day. We also tried to present the proofs of most of the key results. On top of this, we survey the literature on the problems that the Delta-systems was applied to.
Short presentations for crystallographic groups
A practical approach is proposed to construct short presentations for Euclidean crystallographic groups in terms of generators and relations. For our purposes a short presentation is the one with a small number of short relators for a given generating set. The connection is emphasized between relators of a group presentation and cycles in the associated Cayley graph. It is shown by examples that a short presentation is usually the one where relators correspond to strong rings in the Cayley graph and therefore provide a natural upper bound for their size. Presentations are computed for vertex-transitive groups which act with trivial vertex stabilizers on a number of high-symmetry 2-, 3- and 4-periodic graphs. Higher-dimensional as well as subperiodic examples are also considered. Relations are explored between geodesics in periodic graphs and corresponding cycles in their quotients.
Graded Ehrhart theory and toric geometry
We give two new constructions of the harmonic algebra of a lattice polytope $P$, a bigraded algebra whose character is the $q$-Ehrhart series of $P$ defined by Reiner and Rhoades. First, we show that the harmonic algebra is the associated graded algebra of the semigroup algebra of $P$ with respect to a certain natural filtration, clarifying it's relationship with the more classical semigroup algebra. We then give a geometric interpretation of the harmonic algebra as a quotient of the ring of global sections of a certain family of line bundles on the blowup of the toric variety associated to $P$ at a generic point. Using this connection to toric geometry we resolve one the main conjectures of Reiner and Rhoades by showing that the harmonic algebra is not finitely generated in general.
Reconstructing graphs and their connectivity using graphlets
Graphlets are subgraphs rooted at a fixed vertex. The number of occurrences of graphlets aligned to a particular vertex, called graphlet degree sequence (gds), gives a topological description of the surrounding of the analyzed vertex. Graphlet degree distribution (gdd) of a graph is a matrix containing graphlet degree sequence for all vertices in the given graph. A long standing open problem called reconstruction conjecture (RC) asks whether the structure of a graph is uniquely determined by the multiset of its vertex-deleted subgraphs. Graphlet degree distribution up to size (n - 1), (<= n - 1)-gdd, gives more information to reconstruct the graph and we use it to reconstruct any graph having a unique almost-asymmetric vertex-deleted subgraph, where almost-asymmetric means that at most one automorphism orbit has size larger than one. Moreover, we prove that any graph containing a vertex-cut of size 1 or any graph of order n having a vertex with degree at most 2 or at least n-2 is reconstructible from its (<= n - 1)-gdd, which expands results shown in the standard RC. We also discuss the relation between gdd and graph connectivity and the conditions on (<= 3)-gdd, whose breaking means that no graph with such gdd exists.
Local Statistics of the $M_n$-Dimer Model
The classical dimer model is concerned with the (weighted) enumeration of perfect matchings of a graph. An $n$-dimer cover is a multiset of edges that can be realized as the disjoint union of $n$ individual matchings. For a probability measure recently defined by Douglas, Kenyon, and Shi, which we call the $M_n$-dimer model, we study random $n$-dimer covers on bipartite graphs with matrix edge weights and produce formulas for local edge statistics and correlations. We also classify local moves that can be used to simplify the analysis of such graphs.
Complements of finite unions of convex sets
Finite unions of convex sets are a central object of study in discrete and computational geometry. In this paper we initiate a systematic study of complements of such unions -- i.e., sets of the form $S=\mathbb{R}^d \setminus (\cup_{i=1}^n K_i)$, where $K_i$ are convex sets. In the first part of the paper we study isolated points in $S$, whose number is related to the Betti numbers of $\cup_{i=1}^n K_i$ and to its non-convexity properties.
We obtain upper bounds on the number of such points, which are sharp for $n=3$ and significantly improve previous bounds of Lawrence and Morris (2009) for all $n \ll \frac{2^d}{d}$. In the second part of the paper we study coverings of $S$ by well-behaved sets. We show that $S$ can be covered by at most $g(d,n)$ flats of different dimensions, in such a way that each $x \in S$ is covered by a flat whose dimension equals the `local dimension' of $S$ in the neighborhood of $x$. Furthermore, we determine the structure of a minimum cover that satisfies this property. Then, we study quantitative aspects of this minimum cover and obtain sharp upper bounds on its size in various settings.
Weak saturation numbers of large complete bipartite graphs
An $n$-vertex graph $G$ is weakly $F$-saturated if $G$ contains no copy of $F$ and there exists an ordering of all edges in $E(K_n) \setminus E(G)$ such that, when added one at a time, each edge creates a new copy of $F$. The minimum size of a weakly $F$-saturated graph $G$ is called the weak saturation number $\mathrm{wsat}(n, F)$. We obtain exact values and new bounds for $\mathrm{wsat}(n, K_{s,t})$ in the previously unaddressed range $s+t < n < 3t-3$, where $3\leq s\leq t$. To prove lower bounds, we introduce a new method that takes into account connectivity properties of subgraphs of a complement $G'$ to a weakly saturated graph $G$. We construct an auxiliary hypergraph and show that a linear combination of its parameters always increases in the process of the deletion of edges of $G'$. This gives a lower bound which is tight, up to an additive constant.
Orbitmesy and promotion on self-dual posets
We introduce the notion of orbitmesy, which is related to homomesy, a central phenomenon in dynamical algebraic combinatorics. An orbit $O$ is said to be orbitmesic with respect to a statistic if the orbit's average statistic value is equal to the global average. We particularly focus on the action of promotion on increasing labelings of certain fence posets called zig-zag posets, and two statistics, the antipodal sum statistic and the total sum statistic. We classify all of the orbitmesic promotion orbits for the zig-zag poset with four elements. Along the way, we investigate how homomesy of one action can be used to find orbitmesic orbits for another action, for the same fixed statistic. We prove several general results which can be used to find infinite families of orbitmesic orbits for any self-dual poset.
Asymptotic size of the Karp-Sipser Core in Configuration Model
We study the asymptotic size of the Karp-Sipser core in the configuration model with arbitrary degree distributions. The Karp-Sipser core is the induced subgraph obtained by iteratively removing all leaves and their neighbors through the leaf-removal process, and finally discarding any isolated vertices \cite{BCC}. Our main result establishes the convergence of the Karp-Sipser core size to an explicit fixed-point equation under general degree assumptions.The approach is based on analyzing the corresponding local weak limit of the configuration model - a unimodular Galton-Watson tree and tracing the evolution process of all vertex states under leaf-removal dynamics by use of the working mechanism of an enhanced version of Warning Propagation along with Node Labeling Propagation.
Burning numbers via eigenpolytopes -- Hamming graphs, Johnson graphs, and halved cubes
We give lower and upper bounds on the burning number of Hamming graphs, Johnson graphs, and halved cube graphs. For the lower bounds, we use the fact that $1$-skeletons of the eigenpolytopes of these graphs are isomorphic to the original graphs. Then, we present a dynamic search algorithm performed on the eigenpolytope to find an unburned vertex. This idea was originally used by Alon (Discrete Appl.\ Math.,\ 1992), who determined the burning number of the hypercube graphs.
A Size Condition for Small Diameter Orientable Graphs
In 2002, Koh and Tay conjectured that every bridgeless graph of order $n\geq 5$ and size at least ${n\choose 2}-n+5$ has an orientation of diameter two. Later, Cochran, Czabarka, Dankelmann and Székely proved this conjecture and asked what is the minimum number of edges required in a bridgeless graph of order $n$ to guarantee the existence of an orientation of diameter at most $d$? We conjecture that the answer is ${n-d \choose 2}+n+2$. We prove this conjecture for the case $d=n-2$ and prove the lower bound of this conjecture for the case $5\leq d\leq n-2$.
Relatively closed subgroups of permutation groups with a cyclic regular normal subgroup
Motivated by some known problems concerning combinatorial structures associated with finite one-dimensional affine permutation groups, we study subgroups which are closed in $\operatorname{Γ{L}}_1(q)$. This brings us to a description of the relatively closed subgroups of permutation groups with a cyclic regular normal subgroup. Our results, in particular, provide a classification of the minimal nontrivial one-dimensional affine association schemes which generalizes the recent Muzychuk classification of the one-dimensional affine rank 3 graphs.
On graphs with equal and different Kromatic symmetric functions
The Kromatic symmetric function (KSF) $\overline{X}_G$ of a graph $G$ is a $K$-analogue introduced by Crew, Pechenik, and Spirkl in arXiv:2301.02177 of Stanley's chromatic symmetric function (CSF) $X_G$. The KSF is known to distinguish some pairs of graphs with the same CSF. The first author showed in arXiv:2403.15929 and arXiv:2502.21285 that the number of copies in $G$ of certain induced subgraphs can be determined given $\overline{X}_G$, and conjectured that $\overline{X}_G$ distinguishes all graphs. We disprove that conjecture by finding four pairs of 8-vertex graphs with equal KSF, as well as giving several ways to use existing graph pairs with equal KSF to construct larger graph pairs that also have equal KSF. On the other hand, we show that many of the graph pairs from the constructions of Orellana and Scott in arXiv:1308.6005 and of Aliste-Prieto, Crew, Spirkl, and Zamora in arXiv:2007.11042 of graphs with the same CSF are distinguished by the KSF, thus also giving some new examples of cases where the KSF is a stronger invariant than the CSF.
An analogue of the Erd{\H o}s Matching Conjecture for permutations with fixed number of cycles
Let $S_{n}$ denote the set of permutations of $[n]=\{1,2,\dots, n\}$. For each integer $k\geq 1$, let $S_{n,k}$ be the set of all permutations of $[n]$ with exactly $k$ disjoint cycles.
A subset $H\subseteq S_{n,k}$ is to be a matching if $π_1$ and $π_2$ do not have any common cycles for all distinct $π_1,π_2\in H$. The matching number of a family $\mathcal A\subseteq S_{n,k}$ is denoted by $ν_{p}(\mathcal A)$ and is defined to be the size of the largest matching in $\mathcal A$. In this paper, we determine the maximum size of a family $\mathcal A\subseteq S_{n,k}$ subject to the condition $ν_p(\mathcal A)\leq s$.
Hook immanantal equalities for linear combination matrices of (di)graphs and their applications
Let $χ_λ$ be an irreducible character of the symmetric group $S_n$. For an $n \times n$ matrix $M = (m_{ij})$, define the immanant of $M$ corresponding to $χ_λ$ by \begin{eqnarray*} d_λ(M) = \sum_{σ\in S_n} χ_λ(σ) \prod_{i=1}^n m_{iσ(i)}. \end{eqnarray*} For $λ= (k, 1^{n-k})$, the immanant $d_{(k, 1^{n-k})}(M)$ is called the hook immanant and denoted by $d_k(M)$. The hook immanant polynomial of matrix $M$ is defined as $d_{k}(xI_n - M)$, where $I_n$ is the $n \times n$ identity matrix. Let $G$ and $\overrightarrow{G}$ be a graph and a digraph, respectively. Suppose that $D(G)$ and $A(G)$ (resp. $D(\overrightarrow{G})$ and $A(\overrightarrow{G})$) are the degree matrix and adjacency matrix of $G$ (resp. $\overrightarrow{G}$), respectively. In this paper, we characterize two hook immanantal equalities for the linear combination of matrices $βD(G)+γA(G)$ and $βD(\overrightarrow{G})+γA(\overrightarrow{G})$, where $β$ and $γ$ are real numbers. As applications, we derive recursive formulas for the hook immanantal polynomials and hook immanants of graph matrices.
On the Smallest Singular Value of Log-Concave Random Matrices
Let $A$ be an $N\times n$ random matrix whose entries are coordinates of an isotropic log-concave random vector in $\mathbb{R}^{Nn}$. We prove sharp lower tail estimates for the smallest singular value of $A$ in the following cases: (1) when $N=n$ and $A$ is drawn from an unconditional distribution, with no independence assumption; (2) when the columns of $A$ are independent and $N\geq n$; (3) when $A$ is sufficiently tall, that is $N\geq (1+λ)n$ for any positive constant $λ$.
Zero blocking numbers of graphs with complexity results
For a graph $G$ in which vertices are either black or white, a zero forcing process is an iterative vertex color changing process such that the only white neighbor of a black vertex becomes black in the next time step. A zero forcing set is an initial subset of black vertices in a zero forcing process ultimately expands to include all vertices of the graph; otherwise we call its complement a zero blocking set. The zero blocking number $B(G)$ of $G$ is the minimum size of a zero blocking set. This paper determines zero blocking numbers of the union and the join of two graphs. It also determines all minimum zero blocking sets of hypercubes. Finally, a linear-time algorithm for the zero blocking numbers of trees is given.