contain ↗ reference
7720 papers tagged with this keyword
From Möbius inversion to renormalisation
Published in Commun. Number Theory Phys. 14 (2020), 171--198
• View Publication
• BIB
This paper traces a straight line from classical Möbius inversion to Hopf-algebraic perturbative renormalisation. This line, which is logical but not entirely historical, consists of just a few main abstraction steps, and some intermediate steps dwelled upon for mathematical pleasure. The paper is largely expository, but contains many new perspectives on well-known results. For example, the equivalence between the Bogoliubov recursion and the Atkinson formula is exhibited as a direct generalisation of the equivalence between the Weisner--Rota recursion and the Hall--Leroux formula for Möbius inversion.
A class of orders with linear? time sorting algorithm
In this article, we give a precise mathematical meaning to `linear? time' that matches experimental behaviour of the algorithm. The sorting algorithm is not our own, it is a variant of radix sort with counting sort as a subroutine. The true result of this article is an efficient universality result for lexicographic order, or more generally for some linear extensions of the partial order `Next': `if current items are equal, compare next items'. We define new classes of orders: (Finite width) Tree Structured Orders. We show that an instance of a finite width tree structured order can be converted in linear time and space to an instance of lexicographic order. The constants implied by the `nextification' algorithm are small (around 3 for real world orders). The class of finite width tree structured orders contains finite orders ({0, 1}, int32, int64, ..., float, double, ...), and orders constructed from them on a tree structure. In particular, unbounded integers, strings with arbitrary collation, and all orders used for sorting SQL queries are finite width tree structured orders.
Sidorenko's conjecture for blow-ups
Published in Discrete Analysis, 2021:2, 13 pp
• Search Publication
A celebrated conjecture of Sidorenko and Erdős-Simonovits states that, for all bipartite graphs $H$, quasirandom graphs contain asymptotically the minimum number of copies of $H$ taken over all graphs with the same order and edge density. This conjecture has attracted considerable interest over the last decade and is now known to hold for a broad range of bipartite graphs, with the overall trend saying that a graph satisfies the conjecture if it can be built from simple building blocks such as trees in a certain recursive fashion.
Our contribution here, which goes beyond this paradigm, is to show that the conjecture holds for any bipartite graph $H$ with bipartition $A \cup B$ where the number of vertices in $B$ of degree $k$ satisfies a certain divisibility condition for each $k$. As a corollary, we have that for every bipartite graph $H$ with bipartition $A \cup B$, there is a positive integer $p$ such that the blow-up $H_A^p$ formed by taking $p$ vertex-disjoint copies of $H$ and gluing all copies of $A$ along corresponding vertices satisfies the conjecture. Another way of viewing this latter result is that for every bipartite $H$ there is a positive integer $p$ such that an $L^p$-version of Sidorenko's conjecture holds for $H$.
An Optimal $χ$-Bound for ($P_6$, diamond)-Free Graphs
Published
• View Publication
• BIB
Given two graphs $H_1$ and $H_2$, a graph $G$ is $(H_1,H_2)$-free if it contains no induced subgraph isomorphic to $H_1$ or $H_2$. Let $P_t$ be the path on $t$ vertices and $K_t$ be the complete graph on $t$ vertices. The diamond is the graph obtained from $K_4$ by removing an edge. In this paper we show that every ($P_6$, diamond)-free graph $G$ satisfies $χ(G)\le ω(G)+3$, where $χ(G)$ and $ω(G)$ are the chromatic number and clique number of $G$, respectively. Our bound is attained by the complement of the famous 27-vertex Schläfli graph. Our result unifies previously known results on the existence of linear $χ$-binding functions for several graph classes. Our proof is based on a reduction via the Strong Perfect Graph Theorem to imperfect ($P_6$, diamond)-free graphs, a careful analysis of the structure of those graphs, and a computer search that relies on a well-known characterization of 3-colourable $(P_6,K_3)$-free graphs.
Gallai-Ramsey number of odd cycles with chords
Published
• View Publication
• BIB
A Gallai coloring is a coloring of the edges of a complete graph without rainbow triangles, and a Gallai $k$-coloring is a Gallai coloring that uses at most $k$ colors. For an integer $k\geq 1$, the Gallai-Ramsey number $GR_k(H)$ of a given graph $H$ is the least positive integer $N$ such that every Gallai $k$-coloring of the complete graph $K_N$ contains a monochromatic copy of $H$. Let $C_m$ denote the cycle on $m\ge4$ vertices and let $Θ_m$ denote the family of graphs obtained from $C_m$ by adding an additional edge joining two non-consecutive vertices. We prove that $GR_k(Θ_{2n+1})=n\cdot 2^k+1$ for all $k\geq 1$ and $n\geq 3$. This implies that $GR_k(C_{2n+1})=n\cdot 2^k+1$ all $k\geq 1$ and $n\geq 3$. Our result yields a unified proof for the Gallai-Ramsey number of all odd cycles on at least five vertices.
The Namer-Claimer game
Published
• View Publication
• BIB
In each round of the Namer-Claimer game, Namer names a distance d, then Claimer claims a subset of [n] that does not contain two points that differ by d. Claimer wins once they have claimed sets covering [n]. I show that the length of this game is of order log log n with optimal play from each side.
General lemmas for Berge-Turán hypergraph problems
Published
• View Publication
• BIB
For a graph $F$, a hypergraph $\mathcal{H}$ is a Berge copy of $F$ (or a Berge-$F$ in short), if there is a bijection $f : E(F) \rightarrow E(\mathcal{H})$ such that for each $e \in E(F)$ we have $e \subset f(e)$. A hypergraph is Berge-$F$-free if it does not contain a Berge copy of $F$. We denote the maximum number of hyperedges in an $n$-vertex $r$-uniform Berge-$F$-free hypergraph by $\mathrm{ex}_r(n,\textrm{Berge-}F).$
In this paper we prove two general lemmas concerning the maximum size of a Berge-$F$-free hypergraph and use them to establish new results and improve several old results. In particular, we give bounds on $\mathrm{ex}_r(n,\textrm{Berge-}F)$ when $F$ is a path (reproving a result of Győri, Katona and Lemons), a cycle (extending a result of Füredi and Özkahya), a theta graph (improving a result of He and Tait), or a $K_{2,t}$ (extending a result of Gerbner, Methuku and Vizer).
We also establish new bounds when $F$ is a clique (which implies extensions of results by Maherani and Shahsiah and by Gyárfás) and when $F$ is a general tree.
Bipartite Ramsey numbers of large cycles
Published
• View Publication
• BIB
For an integer $r\geq 2$ and bipartite graphs $H_i$, where $1\leq i\leq r$, the bipartite Ramsey number $br(H_1,H_2,\ldots,H_r)$ is the minimum integer $N$ such that any $r$-edge coloring of the complete bipartite graph $K_{N,N}$ contains a monochromatic subgraph isomorphic to $H_i$ in color $i$ for some $i$, $1\leq i\leq r$. We show that for $α_1,α_2>0$, $br(C_{2\lfloor α_1 n\rfloor},C_{2\lfloor α_2 n\rfloor})=(α_1+α_2+o(1))n$. We also show that if $r\geq 3, α_1,α_2>0, α_{j+2}\geq [(j+2)!-1]\sum^{j+1}_{i=1} α_i$ for $j=1,2,\ldots,r-2$, then $br(C_{2\lfloor α_1 n\rfloor},C_{2\lfloor α_2 n\rfloor},\ldots,C_{2\lfloor α_r n\rfloor})=(\sum^r_{j=1} α_j+o(1))n.$ For $ξ>0$ and sufficiently large $n$, let $G$ be a bipartite graph with bipartition $\{V_1,V_2\}$, $|V_1|=|V_2|=N$, where $N=(2+8ξ)n$. We prove that if $δ(G)>(\frac{7}{8}+9ξ)N$, then any $2$-edge coloring of $G$ contains a monochromatic copy of $C_{2n}$.
$K_4$-subdivisions have the edge-Erdős-Pósa property
Published
• View Publication
• BIB
We prove that every graph $G$ contains either $k$ edge-disjoint $K_4$-subdivisions or a set $X$ of at most $O(k^8 \log k)$ edges such that $G-X$ does not contain any $K_4$-subdivision. This shows that $K_4$-subdivisions have the edge-Erdős-Pósa property.
Gallai-Ramsey numbers of $C_{10}$ and $C_{12}$
A Gallai coloring is a coloring of the edges of a complete graph without rainbow triangles, and a Gallai $k$-coloring is a Gallai coloring that uses $k$ colors. Given an integer $k\ge1$ and graphs $H_1, \ldots, H_k$, the Gallai-Ramsey number $GR(H_1, \ldots, H_k)$ is the least integer $n$ such that every Gallai $k$-coloring of the complete graph $K_n$ contains a monochromatic copy of $H_i$ in color $i$ for some $i \in \{1, \ldots, k\}$. When $H = H_1 = \cdots = H_k$, we simply write $GR_k(H)$. We continue to study Gallai-Ramsey numbers of even cycles and paths. For all $n\ge3$ and $k\ge1$, let $G_i=P_{2i+3}$ be a path on $2i+3$ vertices for all $i\in\{0,1, \ldots, n-2\}$ and $G_{n-1}\in\{C_{2n}, P_{2n+1}\}$. Let $ i_j\in\{0,1,\ldots, n-1\}$ for all $j\in\{1, \ldots, k\}$ with $ i_1\ge i_2\ge\cdots\ge i_k $. Song recently conjectured that $GR(G_{i_1}, \ldots, G_{i_k}) = 3+\min\{i_1, n^*-2\}+\sum_{j=1}^k i_j$, where $n^* =n$ when $G_{i_1}\ne P_{2n+1}$ and $n^* =n+1$ when $G_{i_1}= P_{2n+1}$. This conjecture has been verified to be true for $n\in\{3,4\}$ and all $k\ge1$. In this paper, we prove that the aforementioned conjecture holds for $n \in\{5, 6\}$ and all $k \ge1$. Our result implies that for all $k \ge 1$, $GR_k(C_{2n}) = GR_k(P_{2n}) = (n-1)k+n+1$ for $n\in\{5,6\}$ and $GR_k(P_{2n+1})= (n-1)k+n+2$ for $1\le n \le6 $.
Maximum and minimum degree conditions for embedding trees
Published
• View Publication
• BIB
We propose the following conjecture: For every fixed $α\in [0,\frac 13)$, each graph of minimum degree at least $(1+α)\frac k2$ and maximum degree at least $2(1-α)k$ contains each tree with $k$ edges as a subgraph. Our main result is an approximate version of the conjecture for bounded degree trees and large dense host graphs. We also show that our conjecture is asymptotically best possible. The proof of the approximate result relies on a second result, which we believe to be interesting on its own. Namely, we can embed any bounded degree tree into host graphs of minimum/maximum degree asymptotically exceeding $\frac k2$ and $\frac 43k$, respectively, as long as the host graph avoids a specific structure.
Improved Upper Bounds for Gallai-Ramsey Numbers of Odd Cycles
A Gallai coloring of a complete graph is an edge-coloring such that no triangle has all its edges colored differently. A Gallai $k$-coloring is a Gallai coloring that uses $k$ colors. Given an integer $k\ge1$ and a graph $H$, the Gallai-Ramsey number $GR_k(H)$ is the least positive integer $n$ such that every Gallai $k$-coloring of the complete graph $K_n$ contains a monochromatic copy of $H$. Gyárfás, Sárközy, Sebő and Selkow proved in 2010 that $GR_k (H) $ is exponential in $k$ if $H$ is not bipartite, linear in $k$ if $H$ is bipartite but not a star, and constant (does not depend on $k$) when $H$ is a star. Hence, $GR_k(H)$ is more well-behaved than the classical Ramsey number $R_k(H)$. However, finding exact values of $GR_k (H)$ is far from trivial, even when $|V(H)|$ is small. In this paper, we first improve the existing upper bounds for Gallai-Ramsey numbers of odd cycles by showing that $GR_k(C_{2n+1}) \le (n\ln n) \cdot 2^k -(k+1)n+1$ for all $k \ge 3$ and $n \ge 8$. We then prove that $GR_k( C_{13})= 6\cdot 2^k+1$ and $GR_k( C_{15})= 7\cdot 2^k+1$ for all $k\ge1$.
Geometric progressions in syndetic sets
Published
• View Publication
• BIB
In order to investigate multiplicative structures in additively large sets, Beiglböck et al. raised a significant open question as to whether or not every subset of the natural numbers with bounded gaps (syndetic set) contains arbitrarily long geometric progressions. A result of Erdős implies that syndetic sets contain a $2$-term geometric progression with integer common ratio, but we still do not know if they contain such a progression with common ratio being a perfect square. In this article, we prove that for each $k\in \mathbb{N}$, a syndetic set contains $2$-term geometric progressions with common ratios of the form $n^kr_1$ and $p^kr_2$, where $p\in\mathbb{P}$ (the set of primes), $n$ is a composite number, $r_1\equiv 1 \pmod{n}$, $r_2\equiv 1\pmod{p}$ and $r_1,r_2\in \mathbb{N}$. We also show that 2-syndetic sets (sets with bounded gap two) contain infinitely many $2$-term geometric progressions with their respective common ratios being perfect squares.
Gallai-Ramsey numbers of odd cycles
Given two graphs $G$ and $H$ and a positive integer $k$, the $k$-color Gallai-Ramsey number, denoted by $gr_{k}(G : H)$, is the minimum integer $N$ such that for all $n \geq N$, every $k$-coloring of the edges of $K_{n}$ contains either a rainbow copy of $G$ or a monochromatic copy of $H$. We prove that $gr_{k} (K_{3} : C_{2\ell + 1}) = \ell \cdot 2^{k} + 1$ for all $k \geq 1$ and $\ell \geq 3$.
Immaculate line bundles on toric varieties
Published
• View Publication
• BIB
We call a sheaf on an algebraic variety immaculate if it lacks any cohomology including the zero-th one, that is, if the derived version of the global section functor vanishes. Such sheaves are the basic tools when building exceptional sequences, investigating the diagonal property, or the toric Frobenius morphism.
In the present paper we focus on line bundles on toric varieties. First, we present a possibility of understanding their cohomology in terms of their (generalized) momentum polytopes. Then we present a method to exhibit the entire locus of immaculate divisors within the class group. This will be applied to the cases of smooth toric varieties of Picard rank two and three and to those being given by splitting fans.
The locus of immaculate line bundles contains several linear strata of varying dimensions. We introduce a notion of relative immaculacy with respect to certain contraction morphisms. This notion will be stronger than plain immaculacy and provides an explanation of some of these linear strata.
Binary additive MRD codes with minimum distance n-1 must contain a semifield spread set
Published
• View Publication
• BIB
In this paper we prove a result on the structure of the elements of an additive {\it maximum rank distance (MRD) code} over the field of order two, namely that in some cases such codes must contain a semifield spread set. We use this result to classify additive MRD codes in $M_n(\mathbb{F}_2)$ with minimum distance $n-1$ for $n\leq 6$. Furthermore we present a computational classification of additive MRD codes in $M_4(\mathbb{F}_3)$. The computational evidence indicates that MRD codes of minimum distance $n-1$ are much more rare than MRD codes of minimum distance $n$, i.e. semifield spread sets. In all considered cases, each equivalence class has a known algebraic construction.
Modified Erdös--Ginzburg--Ziv Constants for $\mathbb Z/n\mathbb Z$ and $(\mathbb Z/n\mathbb Z)^2$
For an abelian group $G$ and an integer $t > 0$, the \emph{modified Erdös--Ginzburg--Ziv constant} $s_t'(G)$ is the smallest integer $\ell$ such that any zero-sum sequence of length at least $\ell$ with elements in $G$ contains a zero-sum subsequence (not necessarily consecutive) of length $t$. We compute $s_t'(G)$ for $G = \mathbb Z/n\mathbb Z$ and for $t = n$, $G = (\mathbb Z/n\mathbb Z)^2$.
Hamilton cycles in vertex-transitive graphs of order a product of two primes
A step forward is made in a long standing Lovász's problem regarding hamiltonicity of vertex-transitive graphs by showing that every connected vertex-transitive graph of order a product of two primes, other than the Petersen graph, contains a Hamilton cycle. Essential tools used in the proof range from classical results on existence of Hamilton cycles, such as Chvátal's theorem and Jackson's theorem, to certain results on polynomial representations of quadratic residues at primitive roots in finite fields.
A short exposition of S. Parsa's theorems on intrinsic linking and non-realizability
Published in Discr. Comp. Geom. 65:2 (2021), 584-585
• View Publication
• BIB
We present a short exposition of the following results by S. Parsa.
Let $L$ be a graph such that the join $L*\{1,2,3\}$ (i.e. the union of three cones over $L$ along their common bases) piecewise linearly (PL) embeds into $\mathbb R^4$. Then $L$ admits a PL embedding into $\mathbb R^3$ such that any two disjoint cycles have zero linking number.
There is $C$ such that every 2-dimensional simplicial complex having $n$ vertices and embeddable into $\mathbb R^4$ contains less than $Cn^{8/3}$ simplices of dimension 2.
We also present the analogue of the second result for intrinsic linking.
Minimal covers of hypergraphs
Published in Discrete Math. 342:11 (2019), 3043-3046
• View Publication
• BIB
For a hypergraph $H=(V,\mathcal E)$, a subfamily $\mathcal C\subseteq \mathcal E$ is called a cover of the hypergraph if $\bigcup\mathcal C=\bigcup\mathcal E$. A cover $\mathcal C$ is called minimal if each cover $\mathcal D\subseteq\mathcal C$ of the hypergraph $H$ coincides with $\mathcal C$. We prove that for a hypergraph $H$ the following conditions are equivalent: (i) each countable subhypergraph of $H$ has a minimal cover; (ii) each non-empty subhypergraph of $H$ has a maximal edge; (iii) $H$ contains no isomorphic copy of the hypergraph $(ω,ω)$. This characterization implies that a countable hypergraph $(V,\mathcal E)$ has a minimal cover if every infinite set $I\subseteq V$ contains a finite subset $F\subseteq I$ such that the family of edges $\mathcal E_F:=\{E\in\mathcal E:F\subseteq E\}$ is finite. Also we prove that a hypergraph $(V,\mathcal E)$ has a minimal cover if $\sup\{|E|:E\in\mathcal E\}<ω$ or for every $v\in V$ the family $\mathcal E_v:=\{E\in\mathcal E:v\in E\}$ is finite.