Showing 20 papers (Total: 82139 papers, 47531 authors in database)
A proof of the Elliott-Rödl conjecture on hypertrees in Steiner triple systems
Published
• View Publication
• BIB
Hypertrees are linear hypergraphs where every two vertices are connected by a unique path. Elliott and Rödl conjectured that for any given $μ>0$, there exists $n_0$ such that the following holds. Every $n$-vertex Steiner triple system contains all hypertrees with at most $(1-μ)n$ vertices whenever $n\geq n_0$. We prove this conjecture.
Bounding the Optimal Length of Pliable Index Coding via a Hypergraph-based Approach
In pliable index coding (PICOD), a number of clients are connected via a noise-free broadcast channel to a server which has a list of messages. Each client has a unique subset of messages at the server as side-information and requests for any one message not in the side-information. A PICOD scheme of length $\ell$ is a set of $\ell$ encoded transmissions broadcast from the server such that all clients are satisfied. Finding the optimal (minimum) length of PICOD and designing PICOD schemes that have small length are the fundamental questions in PICOD. In this paper, we use a hypergraph-based approach to derive new achievability and converse results for PICOD. We present an algorithm which gives an achievable scheme for PICOD with length at most $Δ(\mathcal{H})$, where $Δ(\mathcal{H})$ is the maximum degree of any vertex in a hypergraph that represents the PICOD problem. We also give a lower bound for the optimal PICOD length using a new structural parameter associated with the PICOD hypergraph called the nesting number. We extend some of our results to the PICOD problem where each client demands $t$ messages, rather than just one. Finally, we identify a class of problems for which our converse is tight, and also characterize the optimal PICOD lengths of problems with $Δ(\mathcal{H})\in\{1,2,3\}$.
On reduced arc spaces of toric varieties
Published in Alg. Number Th. 19 (2025) 313-363
• View Publication
• BIB
An arc space of an affine cone over a projective toric variety is known to be non-reduced in general. It was demonstrated recently that the reduced scheme structure is worth studying due to various connections with representation theory and combinatorics. In this paper we develop a general machinery for the description of the reduced arc spaces of affine cones over toric varieties. We apply our techniques to a number of classical cases and explore some connections with representation theory of current algebras.
Regular subgraphs of linear hypergraphs
Published
• View Publication
• BIB
We prove that the maximum number of edges in a 3-uniform linear hypergraph on $n$ vertices containing no 2-regular subhypergraph is $n^{1+o(1)}$. This resolves a conjecture of Dellamonica, Haxell, Luczak, Mubayi, Nagle, Person, Rödl, Schacht and Verstraëte. We use this result to show that the maximum number of edges in a $3$-uniform hypergraph on $n$ vertices containing no immersion of a closed surface is $n^{2+o(1)}$. Furthermore, we present results on the maximum number of edges in $k$-uniform linear hypergraphs containing no $r$-regular subhypergraph.
Rowmotion on $m$-Tamari and BiCambrian Lattices
Published
• View Publication
• BIB
Thomas and Williams conjectured that rowmotion acting on the rational $(a,b)$-Tamari lattice has order $a+b-1$. We construct an equivariant bijection that proves this conjecture when $b\equiv 1\pmod a$; in fact, we determine the entire orbit structure of rowmotion in this case, showing that it exhibits the cyclic sieving phenomenon. We additionally show that the down-degree statistic is homomesic for this action. In a different vein, we consider the action of rowmotion on Barnard and Reading's biCambrian lattices. Settling a different conjecture of Thomas and Williams, we prove that if $c$ is a bipartite Coxeter element of a coincidental-type Coxeter group $W$, then the orbit structure of rowmotion on the $c$-biCambrian lattice is the same as the orbit structure of rowmotion on the lattice of order ideals of the doubled root poset of type $W$.
The combinatorial structure of symmetric strongly shifted ideals
Published
• View Publication
• BIB
Symmetric strongly shifted ideals are a class of monomial ideals which come equipped with an action of the symmetric group and are analogous to the well-studied class of strongly stable monomial ideals. In this paper we focus on algebraic and combinatorial properties of symmetric strongly shifted ideals. On the algebraic side, we elucidate properties that pertain to behavior under ideal operations, primary decomposition, and the structure of their Rees algebra. On the combinatorial side, we develop a notion of partition Borel generators which leads to connections to discrete polymatroids, convex polytopes, and permutohedral toric varieties.
A Tight Upper Bound on the Average Order of Dominating Sets of a Graph
Published
• View Publication
• BIB
In this paper we study the the average order of dominating sets in a graph, $\operatorname{avd}(G)$. Like other average graph parameters, the extremal graphs are of interest. Beaton and Brown (2021) conjectured that for all graphs $G$ of order $n$ without isolated vertices, $\operatorname{avd}(G) \leq 2n/3$. Recently, Erey (2021) proved the conjecture for forests without isolated vertices. In this paper we prove the conjecture and classify which graphs have $\operatorname{avd}(G) = 2n/3$. We also use our bounds to prove the average version of Vizing's Conjecture.
All-to-all Routing on Digraph Networks
We discuss an open problem and its converse first posed by Dougherty and Faber in [3], "Network routing on regular directed graphs from spanning factorizations." Does every vertex transitive digraph have a spanning 1=factorization? We show relationships between various properties a regular digraph might have: vertex transitivity, left or right cancellation, tree-like or neighborhood preserving spanning factorizations.
Brain Chains as Topological Signatures for Alzheimer's Disease
Published
• View Publication
• BIB
We propose a topological framework to study the evolution of Alzheimer's disease, the most common neurodegenerative disease. The modeling of this disease starts with the representation of the brain connectivity as a graph and the seeding of a toxic protein in a specific region represented by a vertex. Over time, the accumulation of toxic proteins at vertices and their propagation along edges are modeled by a dynamical system on this graph. These dynamics provide an order on the edges of the graph according to the damage created by high concentrations of proteins. This sequence of edges defines a filtration of the graph. We consider different filtrations given by different disease seeding locations. To study this filtration we propose a new combinatorial and topological method. A filtration defines a maximal chain in the partially ordered set of spanning subgraphs ordered by inclusion. To identify similar graphs, and define a topological signature, we quotient this poset by graph homotopy equivalence, which gives maximal chains in a smaller poset. We provide an algorithm to compute this direct quotient without computing all subgraphs and then propose bounds on the total number of graphs up to homotopy equivalence. To compare the maximal chains generated by this method, we extend Kendall's $d_K$ metric for permutations to more general graded posets and establish bounds for this metric. We then demonstrate the utility of this framework on actual brain graphs by studying the dynamics of tau proteins on the structural connectome. {We show that the proposed topological brain chain equivalence classes distinguish different simulated subtypes of Alzheimer's disease.
On the characteristic polynomial of the $A_α$-matrix for some operations of graphs
Published
• View Publication
• BIB
Let G be a graph of order $n$ with adjacency matrix $A(G)$ and diagonal matrix of degree $D(G)$. For every $α\in [0,1]$, Nikiforov \cite{VN17} defined the matrix $A_α(G) = αD(G) + (1-α)A(G)$. In this paper we present the $A_α(G)$-characteristic polynomial when $G$ is obtained by coalescing two graphs, and if $G$ is a semi-regular bipartite graph we obtain the $A_α$-characteristic polynomial of the line graph associated to $G$. Moreover, if $G$ is a regular graph we exhibit the $A_α$-characteristic polynomial for the graphs obtained from some operations.
On the clique number of noisy random geometric graphs
Published
• View Publication
• BIB
Let $G_n$ be a random geometric graph, and then for $q,p \in [0,1)$ we construct a "$(q,p)$-perturbed noisy random geometric graph" $G_n^{q,p}$ where each existing edge in $G_n$ is removed with probability $q$, while and each non-existent edge in $G_n$ is inserted with probability $p$. We give asymptotically tight bounds on the clique number $ω\left(G_n^{q,p}\right)$ for several regimes of parameter.
Balanced supersaturation and Turan numbers in random graphs
Published in Advances in Combinatorics, 2024:3, 26pp
• View Publication
• BIB
In a ground-breaking paper solving a conjecture of Erdős on the number of $n$-vertex graphs not containing a given even cycle, Morris and Saxton \cite{MS} made a broad conjecture on so-called balanced supersaturation property of a bipartite graph $H$. Ferber, McKinley, and Samotij \cite{FMS} established a weaker version of this conjecture and applied it to derive far-reaching results on the enumeration problem of $H$-free graphs.
In this paper, we show that Morris and Saxton's conjecture holds under a very mild assumption about $H$, which is widely believed to hold whenever $H$ contains a cycle. We then use our theorem to obtain enumeration results and general upper bounds on the Turán number of a bipartite $H$ in the random graph $G(n,p)$, the latter being first of its kind.
Product-free sets in approximate subgroups of distal groups
Published
• View Publication
• BIB
Recall that a subset $X$ of a group $G$ is 'product-free' if $X^2\cap X=\varnothing$, ie if $xy\notin X$ for all $x,y\in X$. Let $G$ be a group definable in a distal structure. We prove there are constants $c>0$ and $δ\in(0,1)$ such that every finite subset $X\subseteq G$ distinct from $\{1\}$ contains a product-free subset of size at least $δ|X|^{c+1}/|X^2|^c$. In particular, every finite $k$-approximate subgroup of $G$ distinct from $\{1\}$ contains a product-free subset of density at least $δ/k^c$. The proof is short, and follows quickly from Ruzsa calculus and an iterated application of Chernikov and Starchenko's distal regularity lemma.
Pinned simplices and connections to product of sets on paraboloids
Published
• View Publication
• BIB
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.
Chromatic quasisymmetric functions and noncommutative $P$-symmetric functions
Published
• View Publication
• BIB
For a natural unit interval order $P$, we describe proper colorings of the incomparability graph of $P$ in the language of heaps. We also introduce a combinatorial operation, called a \emph{local flip}, on the heaps. This operation defines an equivalence relation on the proper colorings, and the equivalence relation refines the ascent statistic introduced by Shareshian and Wachs.
In addition, we define an analogue of noncommutative symmetric functions introduced by Fomin and Greene, with respect to $P$. We establish a duality between the chromatic quasisymmetric function of $P$ and these noncommutative symmetric functions. This duality leads us to positive expansions of the chromatic quasisymmetric functions into several symmetric function bases. In particular, we present some partial results for the $e$-positivity conjecture.
Shotgun threshold for sparse Erdős-Rényi graphs
Published
• View Publication
• BIB
In the shotgun assembly problem for a graph, we are given the empirical profile for rooted neighborhoods of depth $r$ (up to isomorphism) for some $r\geq 1$ and we wish to recover the underlying graph up to isomorphism. When the underlying graph is an Erdős-Rényi $\mathcal G(n, \fracλ{n})$, we show that the shotgun assembly threshold $r_* \approx \frac{ \log n}{\log (λ^2 γ_λ)^{-1}}$ where $γ_λ$ is the probability for two independent Poisson-Galton-Watson trees with parameter $λ$ to be rooted isomorphic with each other. Our result sharpens a constant factor in a previous work by Mossel and Ross (2019) and thus solves a question therein.
Discrete group actions on 3-manifolds and embeddable Cayley complexes
Published
• View Publication
• BIB
We prove that a group $Γ$ admits a discrete topological (equivalently, smooth) action on some simply-connected 3-manifold if and only if $Γ$ has a Cayley complex embeddable -- with certain natural restrictions -- in one of the following four 3-manifolds: (i) $\mathbb{S}^3$, (ii) $\mathbb{R}^3$, (iii) $\mathbb{S}^2 \times \mathbb{R}$, (iv) the complement of a tame Cantor set in $\mathbb{S}^3$.
Variations of Central Limit Theorems and Stirling numbers of the First Kind
Published
• View Publication
• BIB
We construct a new parametrization of double sequences $\{A_{n,k}(s)\}_{n,k}$ between $A_{n,k}(0)= \binom{n-1}{k-1}$ and $A_{n,k}(1)= \frac{1}{n!}\stirl{n}{k}$, where $\stirl{n}{k}$ are the unsigned Stirling numbers of the first kind. For each $s$ we prove a central limit theorem and a local limit theorem. This extends the de\,Moivre--Laplace central limit theorem and Goncharov's result, that unsigned Stirling numbers of the first kind are asymptotically normal. Herewith, we provide several applications.
Counting Cycles on Planar Graphs in Subexponential Time
Published
• View Publication
• BIB
We study the problem of counting all cycles or self-avoiding walks (SAWs) on triangulated planar graphs. We present a subexponential $2^{O(\sqrt{n})}$ time algorithm for this counting problem. Among the technical ingredients used in this algorithm are the planar separator theorem and a delicate analysis using pairs of Motzkin paths and Motzkin numbers. We can then adapt this algorithm to uniformly sample SAWs, in subexponential time. Our work is motivated by the problem of gerrymandered districting maps.
Area, Perimeter, Height, and Width of Rectangle Visibility Graphs
Published
• View Publication
• BIB
A rectangle visibility graph (RVG) is represented by assigning to each vertex a rectangle in the plane with horizontal and vertical sides in such a way that edges in the graph correspond to unobstructed horizontal and vertical lines of sight between their corresponding rectangles. To discretize, we consider only rectangles whose corners have integer coordinates. For any given RVG, we seek a representation with smallest bounding box as measured by its area, perimeter, width, or height (height is assumed not to exceed width).
We derive a number of results regarding these parameters. Using these results, we show that these four measures are distinct, in the sense that there exist graphs $G_1$ and $G_2$ with $area(G_1)<area(G_2)$ but $perimeter(G_2)<perimeter(G_1)$, and analogously for all other pairs of these parameters. We further show that there exists a graph $G_3$ with representations $S_1$ and $S_2$ such that $area(G_3)=area(S_1)<area(S_2)$ but $perimeter(G_3)=perimeter(S_2)<perimeter(S_1)$. In other words, $G_3$ requires distinct representations to minimize area and perimeter. Similarly, such graphs exist to demonstrate the independence of all other pairs of these parameters.
Among graphs with $n \leq 6$ vertices, the empty graph $E_n$ requires largest area. But for graphs with $n=7$ and $n=8$ vertices, we show that the complete graphs $K_7$ and $K_8$ require larger area than $E_7$ and $E_8$, respectively. Using this, we show that for all $n \geq 8$, the empty graph $E_n$ does not have largest height, width, area, or perimeter among all RVGs on $n$ vertices.