natural ↗ reference
4908 papers tagged with this keyword
Common Pairs of Graphs
Published
• View Publication
• BIB
A graph $H$ is said to be common if the number of monochromatic labelled copies of $H$ in a red/blue edge colouring of a large complete graph is asymptotically minimized by a random colouring with an equal proportion of each colour. We extend this notion to an asymmetric setting. That is, we define a pair $(H_1,H_2)$ of graphs to be $(p,1-p)$-common if a particular linear combination of the density of $H_1$ in red and $H_2$ in blue is asymptotically minimized by a random colouring in which each edge is coloured red with probability $p$ and blue with probability $1-p$. We extend many of the results on common graphs to this asymmetric setting. In addition, we obtain several novel results for common pairs of graphs with no natural analogue in the symmetric setting. We also obtain new examples of common graphs in the classical sense and propose several open problems.
A solution to Babai's problem on digraphs with non-diagonalizable adjacency matrix
Published
• View Publication
• BIB
The fact that the adjacency matrix of every finite graph is diagonalizable plays a fundamental role in spectral graph theory. Since this fact does not hold in general for digraphs, it is natural to ask whether it holds for digraphs with certain level of symmetry. Interest on this question dates back to early 1980s, when P.~J.~Cameron asked for the existence of arc-transitive digraphs with non-diagonalizable adjacency matrix. This was answered in the affirmative by L.~Babai in 1985. Then Babai posed the open problem of constructing a 2-arc-transitive digraph and a vertex-primitive digraph whose adjacency matrices are not diagonalizable. In this paper, we solve Babai's problem by constructing an infinite family of $s$-arc-transitive digraphs for each integer $s\geq2$, and an infinite family of vertex-primitive digraphs, respectively, both of whose adjacency matrices are non-diagonalizable.
Multicolor Turán numbers II -- a generalization of the Ruzsa-Szemerédi theorem and new results on cliques and odd cycles
In this paper we continue the study of a natural generalization of Turán's forbidden subgraph problem and the Ruzsa-Szemerédi problem. Let $ex_F(n,G)$ denote the maximum number of edge-disjoint copies of a fixed simple graph $F$ that can be placed on an $n$-vertex ground set without forming a subgraph $G$ whose edges are from different $F$-copies. The case when both $F$ and $G$ are triangles essentially gives back the theorem of Ruzsa and Szemerédi. We extend their results to the case when $F$ and $G$ are arbitrary cliques by applying a number theoretic result due to Erdős, Frankl and Rödl. This extension in turn decides the order of magnitude for a large family of graph pairs, which will be subquadratic, but almost quadratic. Since the linear $r$-uniform hypergraph Turán problems to determine $ex_r^{lin}(n,G)$ form a class of the multicolor Turán problem, following the identity $ex_r^{lin}(n,G)=ex_{K_r}(n,G)$, our results determine the linear hypergraph Turán numbers of every graph of girth $3$ and for every $r$ up to a subpolynomial factor. Furthermore, when $G$ is a triangle, we settle the case $F=C_5$ and give bounds for the cases $F=C_{2k+1}$, $k\ge 3$ as well.
Extremal and monotone behaviour of the Sudoku number and related critical set parameters
The Sudoku number has been defined under various names, indicating it is a natural concept. There are four variants of this parameter, that can be related to the maximum and minimum size of a critical set in a graph colouring problem. For each of these four related parameters, we present some simple characterizations of the graphs attaining the maximum possible values. As a main result, we answer a question by Cooper and Kirkpatrick, showing that there is monotone behaviour in the number of colours for only two of the four parameters. We investigate the monotone behaviour for the subgraph-order as well. For Latin squares and the Sudoku, we solve some variants for hypergraph colouring.
Searching for Regularity in Bounded Functions
Given a function $f$ on $\mathbb{F}_2^n$, we study the following problem. What is the largest affine subspace $\mathcal{U}$ such that when restricted to $\mathcal{U}$, all the non-trivial Fourier coefficients of $f$ are very small?
For the natural class of bounded Fourier degree $d$ functions $f:\mathbb{F}_2^n \to [-1,1]$, we show that there exists an affine subspace of dimension at least $ \tildeΩ(n^{1/d!}k^{-2})$, wherein all of $f$'s nontrivial Fourier coefficients become smaller than $ 2^{-k}$. To complement this result, we show the existence of degree $d$ functions with coefficients larger than $2^{-d\log n}$ when restricted to any affine subspace of dimension larger than $Ω(dn^{1/(d-1)})$. In addition, we give explicit examples of functions with analogous but weaker properties.
Along the way, we provide multiple characterizations of the Fourier coefficients of functions restricted to subspaces of $\mathbb{F}_2^n$ that may be useful in other contexts. Finally, we highlight applications and connections of our results to parity kill number and affine dispersers.
Exact Counts of $C_{4}$s in Blow-Up Graphs
Cycles have many interesting properties and are widely studied in many disciplines. In some areas, maximising the counts of $k$-cycles are of particular interest. A natural candidate for the construction method used to maximise the number of subgraphs $H$ in a graph $G$, is the \emph{blow-up} method. Take a graph $G$ on $n$ vertices and a pattern graph $H$ on $k$ vertices, such that $n\geq k$, the blow-up method involves an iterative process of replacing vertices in $G$ with a copy of the $k$-vertex graph $H$. In this paper, we apply the blow-up method on the family of cycles. We then present the exact counts of cycles of length 4 for using this blow-up method on cycles and generalised theta graphs.
Underlying Flag Polymatroids
Published
• View Publication
• BIB
We describe a natural geometric relationship between matroids and underlying flag matroids by relating the geometry of the greedy algorithm to monotone path polytopes. This perspective allows us to generalize the construction of underlying flag matroids to polymatroids. We show that the polytopes associated to underlying flag polymatroid are simple by proving that they are normally equivalent to certain nestohedra. We use this to show that polymatroids realized by subspace arrangements give rise to smooth toric varieties in flag varieties and we interpret our construction in terms of toric quotients. We give various examples that illustrate the rich combinatorial structure of flag polymatroids. Finally, we study general monotone paths on polymatroid polytopes, that relate to the enumeration of certain Young tableaux.
Monochromatic exponential triples: an ultrafilter proof
Published
• View Publication
• BIB
We present a short ultrafilter proof of the existence of monochromatic exponential triples $\{a, b, b^a\}$ in any finite coloring of the natural numbers. The proof is given from scratch and uses only Ramsey's theorem, the notion of asymptotic density and the definition of ultrafilter as prerequisites. We then generalize the construction using a special ultrafilter whose existence is well known in the algebra of ultrafilters, and prove a new result on the existence of infinite monochromatic exponential patterns.
Quivers and path semigroups characterized by locality conditions
Published
• View Publication
• BIB
The notion of locality semigroups was recently introduced with motivation from locality in convex geometry and quantum field theory. We show that there is a natural correspondence between locality sets and quivers which leads to a concrete class of locality semigroups given by the paths of quivers. Further these path semigroups from paths are precisely the free objects in the category of locality semigroups with a rigid condition. This characterization gives a universal property of path algebras and at the same time a combinatorial realization of free rigid locality semigroups.
Sumsets of sequences in abelian groups and flags in field extensions
For a finite abelian group $G$ with subsets $A$ and $B$, the sumset $AB$ is $\{ab \mid a\in A, b \in B\}$. A fundamental problem in additive combinatorics is to find a lower bound for the cardinality of $AB$ in terms of the cardinalities of $A$ and $B$. This article addresses the analogous problem for sequences in abelian groups and flags in field extensions. For a positive integer $n$, let $[n]$ denote the set $\{0,\dots,n-1\}$. To a finite abelian group $G$ of cardinality $n$ and an ordering $G = \{1=v_0,\dots,v_{n-1}\}$, associate the function $T \colon [n] \times [n] \rightarrow [n]$ defined by \[
T(i,j) = \min\big\{k \in [n] \mid \{v_0,\dots,v_i\}\{v_0,\dots,v_j\} \subseteq \{v_0,\dots,v_k\}\big\}. \] Under the natural partial ordering, what functions $T$ are minimal as $\{1=v_0,\dots,v_{n-1}\}$ ranges across orderings of finite abelian groups of cardinality $n$? We also ask the analogous question for degree $n$ field extensions.
We explicitly classify all minimal $T$ when $n < 18$, $n$ is a prime power, or $n$ is a product of $2$ distinct primes. When $n$ is not as above, we explicitly construct orderings of abelian groups whose associated function $T$ is not contained in the above classification. We also associate to orderings a polyhedron encoding the data of $T$.
Regressive versions of Hindman's Theorem
Published in Arch. Math. Logic 63, 447-472 (2024)
• View Publication
• BIB
When the Canonical Ramsey's Theorem by Erdős and Rado is applied to regressive functions one obtains the Regressive Ramsey's Theorem by Kanamori and McAloon. Taylor proved a "canonical" version of Hindman's Theorem, analogous to the Canonical Ramsey's Theorem. We introduce the restriction of Taylor's Canonical Hindman's Theorem to a subclass of the regressive functions, the $λ$-regressive functions, relative to an adequate version of min-homogeneity and prove some results about the Reverse Mathematics of this Regressive Hindman's Theorem and of natural restrictions of it.
In particular we prove that the first non-trivial restriction of the principle is equivalent to Arithmetical Comprehension. We furthermore prove that this same principle strongly computably reduces the well-ordering-preservation principle for base-$ω$ exponentiation.
Local rainbow colorings for various graphs
Published
• View Publication
• BIB
Motivated by a problem in theoretical computer science suggested by Wigderson, Alon and Ben-Eliezer studied the following extremal problem systematically one decade ago. Given a graph $H$, let $C(n,H)$ be the minimum number $k$ such that the following holds. There are $n$ colorings of $E(K_{n})$ with $k$ colors, each associated with one of the vertices of $K_{n}$, such that for every copy $T$ of $H$ in $K_{n}$, at least one of the colorings that are associated with $V(T)$ assigns distinct colors to all the edges of $E(T)$. In this paper, we obtain several new results in this problem including: \begin{itemize}
\item For paths of short length, we show that $C(n,P_{4})=Ω(n^{1/5})$ and $C(n,P_{t})=Ω(n^{1/3})$ with $t\in\{5,6\}$, which significantly improve the previously known lower bounds $(\log{n})^{Ω(1)}$.
\item We make progress on the problem of Alon and Ben-Eliezer about complete graphs, more precisely, we show that $C(n,K_{r})=Ω(n^{2/3})$ when $r\geqslant 8$. This provides the first instance of graph for which the lower bound goes beyond the natural barrier $Ω(n^{1/2})$. Moreover, we prove that $C(n,K_{s,t})=Ω(n^{2/3})$ for $t\geqslant s\geqslant 7$.
\item When $H$ is a star with at least $4$ leaves, a matching of size at least $4$, or a path of length at least $7$, we give the new lower bound for $C(n,H)$. We also show that for any graph $H$ with at least $6$ edges, $C(n,H)$ is polynomial in $n$. All of these improve the corresponding results obtained by Alon and Ben-Eliezer.
Non-Abelian correlation inequalities and stable determinantal polynomials
We consider the correlations of invariant observables for the $O(N)$ and $\mathbb{C}\mathbb{P}^{N-1}$ models at zero coupling, namely, with respect to the natural group-invariant measure. In the limit where one takes a large power of the integrand, we show that these correlations become inverse powers of the Kirchhoff polynomial. The latter therefore provide a simplified toy model for the investigation of inequalities between products of correlations. Properties such as ferromagnetic behavior for spin model correlations correspond, in this asymptotic limit, to log-ultramodularity which is a consequence of the Rayleigh property of the Kirchhoff polynomial. In addition to the above rigorous asymptotics, the main result of this article is a general theorem which shows that inverse half-integer powers of certain determinantal stable polynomials, such as the Kirchhoff polynomials, satisfy generalizations of the GKS 2 inequalities and the Ginibre inequalities. We conclude with some open problems, e.g., the question of whether the last statement holds for powers which are not half-integers. This leads to a Hirota-bilinear analogue of the complete monotonicity property recently investigated by Scott and Sokal.
Ramsey multiplicity and the Turán coloring
Published in Advances in Combinatorics 2023:2, 39pp
• View Publication
• BIB
Extending an earlier conjecture of Erdős, Burr and Rosta conjectured that among all two-colorings of the edges of a complete graph, the uniformly random coloring asymptotically minimizes the number of monochromatic copies of any fixed graph $H$. This conjecture was disproved independently by Sidorenko and Thomason. The first author later found quantitatively stronger counterexamples, using the Turán coloring, in which one of the two colors spans a balanced complete multipartite graph.
We prove that the Turán coloring is extremal for an infinite family of graphs, and that it is the unique extremal coloring. This yields the first determination of the Ramsey multiplicity constant of a graph for which the Burr--Rosta conjecture fails.
We also prove an analogous three-color result. In this case, our result is conditional on a certain natural conjecture on the behavior of two-color Ramsey numbers.
Crux, space constraints and subdivisions
Published
• View Publication
• BIB
For a given graph $H$, its subdivisions carry the same topological structure. The existence of $H$-subdivisions within a graph $G$ has deep connections with topological, structural and extremal properties of $G$. One prominent example of such a connection, due to Bollobás and Thomason and independently Komlós and Szemerédi, asserts that the average degree of $G$ being $d$ ensures a $K_{Ω(\sqrt{d})}$-subdivision in $G$. Although this square-root bound is best possible, various results showed that much larger clique subdivisions can be found in a graph for many natural classes. We investigate the connection between crux, a notion capturing the essential order of a graph, and the existence of large clique subdivisions. This reveals the unifying cause underpinning all those improvements for various classes of graphs studied. Roughly speaking, when embedding subdivisions, natural space constraints arise; and such space constraints can be measured via crux.
Our main result gives an asymptotically optimal bound on the size of a largest clique subdivision in a generic graph $G$, which is determined by both its average degree and its crux size. As corollaries, we obtain (1) a characterisation of extremal graphs for which the square-root bound above is tight: they are essentially disjoint unions of graphs having crux size linear in $d$; (2) a unifying approach to find a clique subdivision of almost optimal size in graphs which do not contain a fixed bipartite graph as a subgraph; (3) and that the clique subdivision size in random graphs $G(n,p)$ witnesses a dichotomy: when $p = ω(n^{-1/2})$, the barrier is the space, while when $p=o( n^{-1/2})$, the bottleneck is the density.
Unexpected Biases between Congruence Classes for Parts in k-indivisible Partitions
Published in Journal of Number Theory 248 (2025) 310-342
• View Publication
• BIB
For integers $k,t \geq 2$, and $1\leq r \leq t$ let $D_k^\times(r,t;n)$ be the number of parts among all $k$-indivisible partitions of $n$ (i.e., partitions where all parts are not divisible by $k$) of $n$ that are congruent to $r$ modulo $t$. Using Wright's circle method, we derive an asymptotic for $D_k^\times(r,t;n)$ as $n \to \infty$ when $k,t$ are coprime. The main term of this asymptotic does not depend on $r$, and so, in a weak asymptotic sense, the parts are equidistributed among congruence classes. However, inspection of the lower order terms indicates a bias towards different congruence classes modulo $t$. This induces an ordering on the congruence classes modulo $t$, which we call the $k$-indivisible ordering. We prove that for $k \geq \frac{6(t^2-1)}{π^2}$ the $k$-indivisible ordering matches the natural ordering. We also explore the properties of these orderings when $k < \frac{6(t^2-1)}{π^2}$.
Locally-finite extensive categories, their semi-rings, and decomposition to connected objects
Let $\mathcal C$ be the category of finite graphs. Lovàsz shows that the semi-ring of isomorphism classes of $\mathcal C$ (with coproduct as sum, and product as multiplication) is embedded into the direct product of the semi-ring of natural numbers. Our aim is to generalize this result to other categories. For this, one crucial property is that every object decomposes to a finite coproduct of connected objects. We show that a locally-finite extensive category satisfies this condition. Conversely, a category where any object is decomposed into a finite coproduct of connected objects is shown to be extensive. The decomposition turns out to be unique. Using these results, we give some sufficient conditions that the semi-ring (the ring) of isomorphism classes of a locally finite category embeds to the direct product of natural numbers (integers, respectively). Such a construction of rings from a category is a most primitive form of Burnside rings and Grothendieck rings.
Dynamic random graphs with vertex removal
We introduce and analyse a Dynamic Random Graph with Vertex Removal (DRGVR) defined as follows. At every step, with probability $p > 1/2$ a new vertex is introduced, and with probability $1-p$ a vertex, chosen uniformly at random among the present ones (if any), is removed from the graph together with all edges adjacent to it. In the former case, the new vertex connects by an edge to every other vertex with probability inversely proportional to the number of vertices already present.
We prove that the DRGVR converges to a local limit and determine this limit. Moreover, we analyse its component structure and distinguish a subcritical and a supercritical regime with respect to the existence of a giant component. As a byproduct of this analysis, we obtain upper and lower bounds for the critical parameter. Furthermore, we provide precise expression of the maximum degree (as well as in- and out-degree for a natural orientation of the DRGVR). Several concentration and stability results complete the study.
Size-Ramsey numbers of graphs with maximum degree three
The size-Ramsey number $\hat{r}(H)$ of a graph $H$ is the smallest number of edges a (host) graph $G$ can have, such that for any red/blue colouring of $G$, there is a monochromatic copy of $H$ in $G$. Recently, Conlon, Nenadov and Trujić showed that if $H$ is a graph on $n$ vertices and maximum degree three, then $\hat{r}(H) = O(n^{8/5})$, improving upon the upper bound of $n^{5/3 + o(1)}$ by Kohayakawa, Rödl, Schacht and Szemerédi. In this paper we show that $\hat{r}(H)\leq n^{3/2+o(1)}$. While the previously used host graphs were vanilla binomial random graphs, we prove our result using a novel host graph construction. Our bound hits a natural barrier of the existing methods.
Partitons of vertices and facets in trees and stacked simplicial complexes
For stacked simplicial complexes, (special subclasses of such are: trees, triangulations of polygons, stacked polytopes), we give an explicit bijection between partitions of facets (for trees: edges), and partitions of vertices into independent sets. More generally we give bijections between facet partitions whose parts have minimal distance $\geq s$ and vertex partitions whose parts have minimal distance $\geq s+1$. A consequence is results on partitions of natural numbers, where the parts have minimal bounds on spacing.