Source author record

Bhargav Narayanan

Explore this author’s publications, collaborators and research topics. This catalog record has not been claimed by its author.

ResearcherUnclaimed source record

math.CO

Catalog footprint

Research overview

15works

1topics

4close collaborators

Actions

Is this your work?

Open graph Browse papers

preprint2022arXiv

On symmetric intersecting families

We make some progress on a question of Babai from the 1970s, namely: for $n, k \in \mathbb{N}$ with $k \le n/2$ , what is the largest possible cardinality $s(n,k)$ of an intersecting family of $k$ -element subsets of $\{1,2,\ldots,n\}$ admitting a transitive group of automorphisms? We give upper and lower bounds for $s(n,k)$ , and show in particular that $s(n,k) = o (\binom{n-1}{k-1})$ as $n \to \infty$ if and only if $k = n/2 - ω(n)(n/\log n)$ for some function $ω(\cdot)$ that increases without bound, thereby determining the threshold at which `symmetric' intersecting families are negligibly small compared to the maximum-sized intersecting families. We also exhibit connections to some basic questions in group theory and additive number theory, and pose a number of problems.

preprint2022arXiv

Sharp estimates for spanning trees

We prove the following sharp estimate for the number of spanning trees of a graph in terms of its vertex-degrees: a simple graph $G$ on $n$ vertices has at most $(1/n^{2}) \prod_{v \in V(G)} (d(v)+1)$ spanning trees. This result is tight (for complete graphs), and improves earlier estimates of Alon from 1990 and Kostochka from 1995 by a factor of about $1/n$ (for dense graphs). We additionally show that an analogous bound holds for the weighted spanning tree enumerator of a (nonnegatively) weighted graph as well.

preprint2022arXiv

Simplicial homeomorphs and trace-bounded hypergraphs

Our first main result is a uniform bound, in every dimension $k \in \mathbb N$ , on the topological Turán numbers of $k$ -dimensional simplicial complexes: for each $k \in \mathbb N$ , there is a $λ_k \ge k^{-2k^2}$ such that for any $k$ -complex $\mathcal{S}$ , every $k$ -complex on $n \ge n_0(\mathcal{S})$ vertices with at least $n^{k+1 - λ_k}$ facets contains a homeomorphic copy of $\mathcal{S}$ . This was previously known only in dimensions one and two, both by highly dimension-specific arguments: the existence of $λ_1$ is a result of Mader from 1967, and the existence of $λ_2$ was suggested by Linial in 2006 and recently proved by Keevash-Long-Narayanan-Scott. We deduce this geometric fact from a purely combinatorial result about trace-bounded hypergraphs, where an $r$ -partite $r$ -graph $H$ with partite classes $V_1, V_2, \dots, V_r$ is said to be $d$ -trace-bounded if for each $2 \le i \le r$ , all the vertices of $V_i$ have degree at most $d$ in the trace of $H$ on $V_1 \cup V_2 \cup \dots \cup V_i$ . Our second main result is the following estimate for the Turán numbers of degenerate trace-bounded hypergraphs: for all $r \ge 2$ and $d\in\mathbb N$ , there is an $α_{r,d} \ge (5rd)^{1-r}$ such that for any $d$ -trace-bounded $r$ -partite $r$ -graph $H$ , every $r$ -graph on $n \ge n_0(H)$ vertices with at least $n^{r - α_{r,d}}$ edges contains a copy of $H$ . This strengthens a result of Conlon-Fox-Sudakov from 2009 who showed that such a bound holds for $r$ -partite $r$ -graphs $H$ satisfying the stronger hypothesis that the vertex-degrees in all but one of its partite classes are bounded (in $H$ , as opposed to in its traces).

preprint2020arXiv

A universal exponent for homeomorphs

We prove a uniform bound on the topological Turán number of an arbitrary two-dimensional simplicial complex $S$ : any $n$ -vertex two-dimensional complex with at least $C_S n^{3-1/5}$ facets contains a homeomorphic copy of $S$ , where $C_S > 0$ is an absolute constant depending on $S$ alone. This result, a two-dimensional analogue of a classical result of Mader for one-dimensional complexes, sheds some light on an old problem of Linial from 2006.

preprint2020arXiv

Counting independent sets in regular hypergraphs

Amongst $d$ -regular $r$ -uniform hypergraphs on $n$ vertices, which ones have the largest number of independent sets? While the analogous problem for graphs (originally raised by Granville) is now well-understood, it is not even clear what the correct general conjecture ought to be; our goal here is propose such a generalisation. Lending credence to our conjecture, we verify it within the class of `quasi-bipartite' hypergraphs (a generalisation of bipartite graphs that seems natural in this context) by adopting the entropic approach of Kahn.

preprint2020arXiv

Subgraphs of large connectivity and chromatic number

Resolving a problem raised by Norin, we show that for each $k \in \mathbb{N}$ , there exists an $f(k) \le 7k$ such that every graph $G$ with chromatic number at least $f(k)+1$ contains a subgraph $H$ with both connectivity and chromatic number at least $k$ . This result is best-possible up to multiplicative constants, and sharpens earlier results of Alon-Kleitman-Thomassen-Saks-Seymour from 1987 showing that $f(k) = O(k^3)$ , and of Chudnovsky-Penev-Scott-Trotignon from 2013 showing that $f(k) = O(k^2)$ . Our methods are robust enough to handle list colouring as well: we also show that for each $k \in \mathbb{N}$ , there exists an $f_\ell(k) \le 4k$ such that every graph $G$ with list chromatic number at least $f_\ell(k)+1$ contains a subgraph $H$ with both connectivity and list chromatic number at least $k$ . This result is again best-possible up to multiplicative constants; here, unlike with $f(\cdot)$ , even the existence of $f_\ell(\cdot)$ appears to have been previously unknown.

preprint2018arXiv

Spanning surfaces in 3-graphs

We prove a topological extension of Dirac's theorem suggested by Gowers in 2005: for any connected, closed surface $\mathscr{S}$ , we show that any two-dimensional simplicial complex on $n$ vertices in which each pair of vertices belongs to at least $n/3 + o(n)$ facets contains a homeomorph of $\mathscr{S}$ spanning all the vertices. This result is asymptotically sharp, and implies in particular that any 3-uniform hypergraph on $n$ vertices with minimum codegree exceeding $n/3+o(n)$ contains a spanning triangulation of the $2$ -sphere.

preprint2016arXiv

A canonical Ramsey theorem for exactly $m$ -coloured complete subgraphs

Given an edge colouring of a graph with a set of $m$ colours, we say that the graph is (exactly) $m$ -coloured if each of the colours is used. We consider edge colourings of the complete graph on $\mathbb{N}$ with infinitely many colours and show that either one can find an $m$ -coloured complete subgraph for every natural number $m$ or there exists an infinite subset $X \subset \mathbb{N}$ coloured in one of two canonical ways: either the colouring is injective on $X$ or there exists a distinguished vertex $v$ in $X$ such that $X \setminus \lbrace v \rbrace$ is $1$ -coloured and each edge between $v$ and $X \setminus \lbrace v \rbrace$ has a distinct colour (all different to the colour used on $X \setminus \lbrace v \rbrace$ ). This answers a question posed by Stacey and Weidl in 1999. The techniques that we develop also enable us to resolve some further questions about finding $m$ -coloured complete subgraphs in colourings with finitely many colours.

preprint2016arXiv

Approximations to $m$ -coloured complete infinite hypergraphs

Given an edge colouring of a graph with a set of $m$ colours, we say that the graph is (exactly) $m$ -coloured if each of the colours is used. In 1999, Stacey and Weidl, partially resolving a conjecture of Erickson from 1994, showed that for a fixed natural number $m>2$ and for all sufficiently large $k$ , there is a $k$ -colouring of the complete graph on $\mathbb{N}$ such that no complete infinite subgraph is exactly $m$ -coloured. In the light of this result, we consider the question of how close we can come to finding an exactly $m$ -coloured complete infinite subgraph. We show that for a natural number $m$ and any finite colouring of the edges of the complete graph on $\mathbb{N}$ with $m$ or more colours, there is an exactly ${\hat m}$ -coloured complete infinite subgraph for some ${\hat m}$ satisfying $|m-{\hat m}|\le \sqrt{m/2} + 1/2$ ; this is best-possible up to the additive constant. We also obtain analogous results for this problem in the setting of $r$ -uniform hypergraphs. Along the way, we also prove a recent conjecture of the second author and investigate generalisations of this conjecture to $r$ -uniform hypergraphs.

preprint2016arXiv

Disjoint induced subgraphs of the same order and size

For a graph $G$ , let $f(G)$ be the largest integer $k$ for which there exist two vertex-disjoint induced subgraphs of $G$ each on $k$ vertices, both inducing the same number of edges. We prove that $f(G) \ge n/2 - o(n)$ for every graph $G$ on $n$ vertices. This answers a question of Caro and Yuster.

preprint2016arXiv

Exactly $m$ -coloured complete infinite subgraphs

Given an edge colouring of a graph with a set of $m$ colours, we say that the graph is (exactly) $m$ -coloured if each of the colours is used. The question of finding exactly $m$ -coloured complete subgraphs was first considered by Erickson in 1994; in 1999, Stacey and Weidl partially settled a conjecture made by Erickson and raised some further questions. In this paper, we shall study, for a colouring of the edges of the complete graph on $\mathbb{N}$ with exactly $k$ colours, how small the set of natural numbers $m$ for which there exists an $m$ -coloured complete infinite subgraph can be. We prove that this set must have size at least $\sqrt{2k}$ ; this bound is tight for infinitely many values of $k$ . We also obtain a version of this result for colourings that use infinitely many colours.

preprint2016arXiv

On the stability of the Erdős-Ko-Rado theorem

Delete the edges of a Kneser graph independently of each other with some probability: for what probabilities is the independence number of this random graph equal to the independence number of the Kneser graph itself? We prove a sharp threshold result for this question in certain regimes. Since an independent set in the Kneser graph is the same as a uniform intersecting family, this gives us a random analogue of the Erdős-Ko-Rado theorem.

preprint2016arXiv

Separating path systems

We study separating systems of the edges of a graph where each member of the separating system is a path. We conjecture that every $n$ -vertex graph admits a separating path system of size $O(n)$ and prove this in certain interesting special cases. In particular, we establish this conjecture for random graphs and graphs with linear minimum degree. We also obtain tight bounds on the size of a minimal separating path system in the case of trees.

preprint2016arXiv

The multiplication table problem for bipartite graphs

We investigate the following generalisation of the 'multiplication table problem' of Erdős: given a bipartite graph with $m$ edges, how large is the set of sizes of its induced subgraphs? Erdős's problem of estimating the number of distinct products $ab$ with $a,b \le n$ is precisely the problem under consideration when the graph in question is the complete bipartite graph $K_{n,n}$ . In this note, we prove that the set of sizes of the induced subgraphs of any bipartite graph with $m$ edges contains $Ω(m/(\log m)^{12})$ distinct elements.

preprint2016arXiv

Transference for the Erdős-Ko-Rado theorem

For natural numbers $n,r \in \mathbb{N}$ with $n\ge r$ , the Kneser graph $K(n,r)$ is the graph on the family of $r$ -element subsets of $\{1,\dots,n\}$ in which two sets are adjacent if and only if they are disjoint. Delete the edges of $K(n,r)$ with some probability, independently of each other: is the independence number of this random graph equal to the independence number of the Kneser graph itself? We answer this question affirmatively as long as $r/n$ is bounded away from $1/2$ , even when the probability of retaining an edge of the Kneser graph is quite small. This gives us a random analogue of the Erdős-Ko-Rado theorem since an independent set in the Kneser graph is the same as a uniform intersecting family. To prove our main result, we give some new estimates for the number of disjoint pairs in a family in terms of its distance from an intersecting family, these might be of independent interest.

Inspect adjacent papers, topics, institutions and collaborators without losing the researcher page.

Building this map preview

BZPEER is loading the nearby papers, people, topics and institutions for this page.

Bhargav Narayanan

Research overview

Is this your work?

15 publications

On symmetric intersecting families

Sharp estimates for spanning trees

Simplicial homeomorphs and trace-bounded hypergraphs

A universal exponent for homeomorphs

Counting independent sets in regular hypergraphs

Subgraphs of large connectivity and chromatic number

Spanning surfaces in 3-graphs

A canonical Ramsey theorem for exactly $m$ -coloured complete subgraphs

Approximations to $m$ -coloured complete infinite hypergraphs

Disjoint induced subgraphs of the same order and size

Exactly $m$ -coloured complete infinite subgraphs

On the stability of the Erdős-Ko-Rado theorem

Separating path systems

The multiplication table problem for bipartite graphs

Transference for the Erdős-Ko-Rado theorem

See the researcher in context

Building this map preview

Bhargav Narayanan

Research overview

Is this your work?

15 publications

On symmetric intersecting families

Sharp estimates for spanning trees

Simplicial homeomorphs and trace-bounded hypergraphs

A universal exponent for homeomorphs

Counting independent sets in regular hypergraphs

Subgraphs of large connectivity and chromatic number

Spanning surfaces in 3-graphs

A canonical Ramsey theorem for exactly mmm-coloured complete subgraphs

Approximations to mmm-coloured complete infinite hypergraphs

Disjoint induced subgraphs of the same order and size

Exactly mmm-coloured complete infinite subgraphs

On the stability of the Erdős-Ko-Rado theorem

Separating path systems

The multiplication table problem for bipartite graphs

Transference for the Erdős-Ko-Rado theorem

See the researcher in context

Building this map preview

A canonical Ramsey theorem for exactly $m$ -coloured complete subgraphs

Approximations to $m$ -coloured complete infinite hypergraphs

Exactly $m$ -coloured complete infinite subgraphs