arXiv subjects

Maya Sankar

Publications and source records attributed to Maya Sankar.

10 recordsLinked to original sources

arXiv2026

A Jump in the Codegree Tur\'an Densities of Long Tight Cycles

We study the codegree Tur\'an density of $\mathcal{C}_\ell^r$, the $r$-uniform hypergraph tight cycle of length $\ell$. A result of Han, Lo, and Sanhueza-Matamala states that if $\ell$ is sufficiently large and $r/\gcd(r,\ell)$ is even, then the codegree Tur\'an density of $\mathcal{C}_\ell^r$ is $1/2$. We prove that whenever the latter assumption is not satisfied, there is a significant drop in the codegree Tur\'an density. That is, if $\ell$ is sufficiently large and $r/\gcd(r,\ell)$ is odd, then the codegree Tur\'an density of $\mathcal{C}_\ell^r$ can be at most $1/3$. Moreover, this bound is tight for infinitely many uniformities $r$ and all sufficiently large $\ell$ in the corresponding residue classes modulo $r$. Our proof makes use of a group-theoretic connection between Tur\'an-type theorems for tight cycles and ``oriented colorings'' of the edge set of a hypergraph.

math.CO↗

arXiv2025

Rainbow Trees in Hypercubes

We prove that every proper edge-coloring of the $n$-dimensional hypercube $Q_n$ contains a rainbow copy of every tree $T$ on at most $n$ edges. This result is best possible, as $Q_n$ can be properly edge-colored using only $n$ colors while avoiding rainbow cycles.

math.CO↗

arXiv2024

The Tur\'an Density of 4-Uniform Tight Cycles

For any uniformity $r$ and residue $k$ modulo $r$, we give an exact characterization of the $r$-uniform hypergraphs that homomorphically avoid tight cycles of length $k$ modulo $r$, in terms of colorings of $(r-1)$-tuples of vertices. This generalizes the result that a graph avoids all odd closed walks if and only if it is bipartite, as well as a result of Kam\v cev, Letzter, and Pokrovskiy in uniformity 3. In fact, our characterization applies to a much larger class of families than those of the form $\mathscr C_k^{(r)}=\{\text{$r$-uniform tight cycles of length $k$ modulo $r$}\}$. We also outline a general strategy to prove that, if $\mathscr C$ is a family of tight-cycle-like hypergraphs (including but not limited to the families $\mathscr C_k^{(r)}$) for which the above characterization applies, then all sufficiently long $C\in \mathscr C$ will have the same Tur\'an density. We demonstrate an application of this framework, proving that there exists an integer $L_0$ such that for every $L>L_0$ not divisible by 4, the tight cycle $C^{(4)}_L$ has Tur\'an density $1/2$.

math.CO↗

arXiv2024

Abelian groups without 3-chromatic Cayley graphs

Let $G$ be an abelian group. The main theorem of this paper asserts that there exists a Cayley graph on $G$ with chromatic number $3$ if and only if $G$ is not of exponent $1$, $2$, or $4$. For connected Cayley graphs, we also show that this theorem holds when $G$ is finitely generated. Although motivated by ideas from algebraic topology, our proof may be expressed purely combinatorially. As a by-product, we derive a topological result which is of independent interest. Suppose $X$ is a connected non-bipartite graph, and let $\N(X)$ denote its neighborhood complex. We show that if the fundamental group $\pi_1(\N(X))$ or first homology group $H_1(\N(X))$ is torsion, then the chromatic number of $X$ is at least $4$. This strengthens a special case of a classical result of Lov\'asz, which derives the same conclusion if $\pi_1(\N(X))$ is trivial.

math.CO↗

arXiv2024

An Improved Tur\'an Exponent for 2-Complexes

The topological Tur\'an number $\mathrm{ex}_{\hom}(n,X)$ of a 2-dimensional simplicial complex $X$ asks for the maximum number of edges in an $n$-vertex 3-uniform hypergraph containing no triangulation of $X$ as a subgraph. We prove that the Tur\'an exponent of any such space $X$ is at most $8/3$, i.e., that $\mathrm{ex}_{\hom}(n,X)\leq Cn^{8/3}$ for some constant $C=C(X)$. This improves on the previous exponent of $3-1/5$, due to Keevash, Long, Narayanan, and Scott. Additionally, we present new streamlined proofs of the asymptotically tight upper bounds for the topological Tur\'an numbers of the torus and real projective plane, which can be used to derive asymptotically tight upper bounds for all surfaces. The key insight is an improved understanding of the placement of 4-cycles $vwv'w'$ that are likely to bound a triangulation of the disk within a randomly-selected subset of vertices.

math.CO↗

arXiv2024

Generalized Ramsey--Tur\'an density for cliques

We study the generalized Ramsey--Tur\'an function $\mathrm{RT}(n,K_s,K_t,o(n))$, which is the maximum possible number of copies of $K_s$ in an $n$-vertex $K_t$-free graph with independence number $o(n)$. The case when $s=2$ was settled by Erd{\H{o}}s, S{\'o}s, Bollob{\'a}s, Hajnal, and Szemer\'{e}di in the 1980s. We combinatorially resolve the general case for all $s\ge 3$, showing that the (asymptotic) extremal graphs for this problem have simple (bounded) structures. In particular, it implies that the extremal structures follow a periodic pattern when $t$ is much larger than $s$. Our results disprove a conjecture of Balogh, Liu, and Sharifzadeh and show that a relaxed version does hold.

math.CO↗

arXiv2023

Ramsey and Tur\'an numbers of sparse hypergraphs

Degeneracy plays an important role in understanding Tur\'an- and Ramsey-type properties of graphs. Unfortunately, the usual hypergraphical generalization of degeneracy fails to capture these properties. We define the skeletal degeneracy of a $k$-uniform hypergraph as the degeneracy of its $1$-skeleton (i.e., the graph formed by replacing every $k$-edge by a $k$-clique). We prove that skeletal degeneracy controls hypergraph Tur\'an and Ramsey numbers in a similar manner to (graphical) degeneracy. Specifically, we show that $k$-uniform hypergraphs with bounded skeletal degeneracy have linear Ramsey number. This is the hypergraph analogue of the Burr-Erd\H{o}s conjecture (proved by Lee). In addition, we give upper and lower bounds of the same shape for the Tur\'an number of a $k$-uniform $k$-partite hypergraph in terms of its skeletal degeneracy. The proofs of both results use the technique of dependent random choice. In addition, the proof of our Ramsey result uses the `random greedy process' introduced by Lee in his resolution of the Burr-Erd\H{o}s conjecture.

math.CO↗

arXiv2022

The Turán Number of Surfaces

We show that there is a constant $c$ such that any 3-uniform hypergraph $\mathcal H$ with $n$ vertices and at least $cn^{5/2}$ edges contains a triangulation of the real projective plane as a subgraph. This resolves a conjecture of Kupavskii, Polyanskii, Tomon, and Zakharov. Furthermore, our work, combined with prior results, asymptotically determines the Turán number of all surfaces.

math.CO↗

arXiv2022

Homotopy and the Homomorphism Threshold of Odd Cycles

Consider a family $\mathcal F$ of $C_{2r+1}$-free graphs, where $r\geq 2$. Suppose that each graph in $\mathcal F$ has minimum degree linear in its number of vertices. Thomassen showed that such a family has bounded chromatic number, or, equivalently, that all graphs in $\mathcal F$ are homomorphic to a complete graph of bounded size. Considering instead homomorphic images which are themselves $C_{2r+1}$-free, we construct a family of dense $C_{2r+1}$-free graphs with no $C_{2r+1}$-free homomorphic image of bounded size. This provides the first nontrivial lower bound on the homomorphism threshold of odd cycles of length at least 5 and answers a question of Ebsen and Schacht. Our proof introduces a new technique to describe the topological structure of a graph. We establish a graph-theoretic analogue of homotopy equivalence, which allows us to analyze the relative placement of odd closed walks in a graph. This notion has unexpected connections to the neighborhood complex, leading to multiple interesting questions.

math.CO↗

arXiv2019

Further Bijections to Pattern-Avoiding Valid Hook Configurations

Valid hook configurations are combinatorial objects used to understand West's stack-sorting map. We extend existing bijections corresponding valid hook configurations to intervals in partial orders on Motzkin paths. To enumerate valid hook configurations on $312$-avoiding permutations, we build off of an existing bijection into a Motzkin poset and construct a bijection to certain well-studied closed lattice walks in the first quadrant. We use existing results about these lattice paths to show that valid hook configurations on $312$-avoiding permutations are not counted by a $D$-finite generating function, resolving a question of Defant's, and additionally to compute asymptotics for the number of such configurations. We also extend a bijection of Defant's to a correspondence between valid hook configurations on $132$-avoiding permutations and intervals in the Motzkin-Tamari posets, providing a more elegant proof of Defant's enumeration thereof. To investigate this bijection, we present a number of lemmas about valid hook configurations that are generally applicable and further study the bijections of Defant's.

math.CO↗