arXiv subjects

Rahil Baber

Publications and source records attributed to Rahil Baber.

7 recordsLinked to original sources

arXiv2023

A collection of open problems in celebration of Imre Leader's 60th birthday

One of the great pleasures of working with Imre Leader is to experience his infectious delight on encountering a compelling combinatorial problem. This collection of open problems in combinatorics has been put together by a subset of his former PhD students and students-of-students for the occasion of his 60th birthday. All of the contributors have been influenced (directly or indirectly) by Imre: his personality, enthusiasm and his approach to mathematics. The problems included cover many of the areas of combinatorial mathematics that Imre is most associated with: including extremal problems on graphs, set systems and permutations, and Ramsey theory. This is a personal selection of problems which we find intriguing and deserving of being better known. It is not intended to be systematic, or to consist of the most significant or difficult questions in any area. Rather, our main aim is to celebrate Imre and his mathematics and to hope that these problems will make him smile. We also hope this collection will be a useful resource for researchers in combinatorics and will stimulate some enjoyable collaborations and beautiful mathematics.

math.CO↗

arXiv2014

Graph Guessing Games and non-Shannon Information Inequalities

Guessing games for directed graphs were introduced by Riis for studying multiple unicast network coding problems. In a guessing game, the players toss generalised dice and can see some of the other outcomes depending on the structure of an underlying digraph. They later guess simultaneously the outcome of their own die. Their objective is to find a strategy which maximises the probability that they all guess correctly. The performance of the optimal strategy for a graph is measured by the guessing number of the digraph. Christofides and Markstr\"om studied guessing numbers of undirected graphs and defined a strategy which they conjectured to be optimal. One of the main results of this paper is a disproof of this conjecture. The main tool so far for computing guessing numbers of graphs is information theoretic inequalities. In the paper we show that Shannon's information inequalities, which work particularly well for a wide range of graph classes, are not sufficient for computing the guessing number. Finally we pose a few more interesting questions some of which we can answer and some which we leave as open problems.

cs.IT↗

arXiv2013

A solution to the 2/3 conjecture

We prove a vertex domination conjecture of Erd\H os, Faudree, Gould, Gy\'arf\'as, Rousseau, and Schelp, that for every n-vertex complete graph with edges coloured using three colours there exists a set of at most three vertices which have at least 2n/3 neighbours in one of the colours. Our proof makes extensive use of the ideas presented in "A New Bound for the 2/3 Conjecture" by Kr\'al', Liu, Sereni, Whalen, and Yilma.

math.CO↗

arXiv2012

Tur\'an densities of hypercubes

In this paper we describe a number of extensions to Razborov's semidefinite flag algebra method. We will begin by showing how to apply the method to significantly improve the upper bounds of edge and vertex Tur\'an density type results for hypercubes. We will then introduce an improvement to the method which can be applied in a more general setting, notably to 3-uniform hypergraphs, to get a new upper bound of 0.5615 for $\pi(K_4^3)$. For hypercubes we improve Thomason and Wagner's result on the upper bound of the edge Tur\'an density of a 4-cycle free subcube to 0.60318 and Chung's result on forbidding 6-cycles to 0.36577. We also show that the upper bound of the vertex Tur\'an density of $\mc{Q}_3$ can be improved to 0.76900, and that the vertex Tur\'an density of $\mc{Q}_3$ with one vertex removed is precisely 2/3.

math.CO↗

arXiv2011

New Tur\'an densities for 3-graphs

If $\mathcal{F}$ is a family of graphs then the Tur\'an density of $\mathcal{F}$ is determined by the minimum chromatic number of the members of $\mathcal{F}$. The situation for Tur\'an densities of 3-graphs is far more complex and still very unclear. Our aim in this paper is to present new exact Tur\'an densities for individual and finite families of 3-graphs, in many cases we are also able to give corresponding stability results. As well as providing new examples of individual 3-graphs with Tur\'an densities equal to 2/9,4/9,5/9 and 3/4 we also give examples of irrational Tur\'an densities for finite families of 3-graphs, disproving a conjecture of Chung and Graham. (Pikhurko has independently disproved this conjecture by a very different method.) A central question in this area, known as Tur\'an's problem, is to determine the Tur\'an density of $K_4^{(3)}=\{123,124, 134, 234\}$. Tur\'an conjectured that this should be 5/9. Razborov [On 3-hypergraphs with forbidden 4-vertex configurations, in SIAM J. Disc. Math. 24 (2010), 946-963] showed that if we consider the induced Tur\'an problem forbidding $K_4^{(3)}$ and $E_1$, the 3-graph with 4 vertices and a single edge, then the Tur\'an density is indeed 5/9. We give some new non-induced results of a similar nature, in particular we show that $\pi(K_4^{(3)},H)=5/9$ for a 3-graph $H$ satisfying $\pi(H)=3/4$. We end with a number of open questions focusing mainly on the topic of which values can occur as Tur\'an densities. Our work is mainly computational, making use of Razborov's flag algebra framework. However all proofs are exact in the sense that they can be verified without the use of any floating point operations. Indeed all verifying computations use only integer operations, working either over $\mathbb{Q}$ or in the case of irrational Tur\'an densities over an appropriate quadratic extension of $\mathbb{Q}$.

math.CO↗

arXiv2010

Hypergraphs do jump

We say that $α\in [0,1)$ is a jump for an integer $r\geq 2$ if there exists $c(α)>0$ such that for all $ε>0 $ and all $t\geq 1$ any $r$-graph with $n\geq n_0(α,ε,t)$ vertices and density at least $α+ε$ contains a subgraph on $t$ vertices of density at least $α+c$. The Erd\H os--Stone--Simonovits theorem implies that for $r=2$ every $α\in [0,1)$ is a jump. Erd\H os showed that for all $r\geq 3$, every $α\in [0,r!/r^r)$ is a jump. Moreover he made his famous "jumping constant conjecture" that for all $r\geq 3$, every $α\in [0,1)$ is a jump. Frankl and Rödl disproved this conjecture by giving a sequence of values of non-jumps for all $r\geq 3$. We use Razborov's flag algebra method to show that jumps exist for $r=3$ in the interval $[2/9,1)$. These are the first examples of jumps for any $r\geq 3$ in the interval $[r!/r^r,1)$. To be precise we show that for $r=3$ every $α\in [0.2299,0.2316)$ is a jump. We also give an improved upper bound for the Turán density of $K_4^-=\{123,124,134\}$: $π(K_4^-)\leq 0.2871$. This in turn implies that for $r=3$ every $α\in [0.2871,8/27)$ is a jump.

math.CO↗

arXiv2009

The minimal density of triangles in tripartite graphs

We determine the minimal density of triangles in a tripartite graph with prescribed edge densities. This extends a previous result of Bondy, Shen, Thomass\'e and Thomassen characterizing those edge densities guaranteeing the existence of a triangle in a tripartite graph. To be precise we show that a suitably weighted copy of the graph formed by deleting a certain 9-cycle from $K_{3,3,3}$ has minimal triangle density among all weighted tripartite graphs with prescribed edge densities.

math.CO↗