contain ↗ reference
7720 papers tagged with this keyword
Integer partitions with large Dyson rank
The Dyson rank of an integer partition is the difference between its largest part and the number of parts it contains. Using Fine-Dyson symmetry, we give formulas for the number of partitions of n with rank larger than n/2, and we prove identities for counts of partitions with large rank in fixed residue classes.
Enumeration of $d$-combining Tree-Child Networks
Published
• View Publication
• BIB
Tree-child networks are one of the most prominent network classes for modeling evolutionary processes which contain reticulation events. Several recent studies have addressed counting questions for {\it bicombining tree-child networks} which are tree-child networks with every reticulation node having exactly two parents. In this paper, we extend these studies to {\it $d$-combining tree-child networks} where every reticulation node has now $d\geq 2$ parents. Moreover, we also give results and conjectures on the distributional behavior of the number of reticulation nodes of a network which is drawn uniformly at random from the set of all tree-child networks with the same number of leaves.
The generalized X-join of Cayley graphs
As a main result of this paper we give conditions under which the generalized $X$-join of Cayley graphs is a Cayley graph. In particular, we show that $X$-join of isomorphic Cayley graphs is a Cayley grpah. To do this, new properties for a generalized wreath product of permutation groups are given in the case where the base group acts regularly. These are used to give conditions for the generalized wreath product to contain a regular subgroup, which are then applied to generalized $X$-joins of Cayley graphs. Along the way, it is shown that the generalized $X$-join of isomorphic Cayley graphs will always be a vertex transitive graph.
On the General Position Number of Mycielskian Graphs
Published
• View Publication
• BIB
The general position problem for graphs was inspired by the no-three-in-line problem from discrete geometry. A set $S$ of vertices of a graph $G$ is a \emph{general position set} if no shortest path in $G$ contains three or more vertices of $S$. The \emph{general position number} of $G$ is the number of vertices in a largest general position set. In this paper we investigate the general position numbers of the Mycielskian of graphs. We give tight upper and lower bounds on the general position number of the Mycielskian of a graph $G$ and investigate the structure of the graphs meeting these bounds. We determine this number exactly for common classes of graphs, including cubic graphs and a wide range of trees.
Coloring graphs with forbidden almost bipartite subgraphs
Published
• View Publication
• BIB
Alon, Krivelevich, and Sudakov conjectured in 1999 that for every finite graph $F$, there exists a quantity $c(F)$ such that $χ(G) \leq (c(F) + o(1)) Δ/ \logΔ$ whenever $G$ is an $F$-free graph of maximum degree $Δ$. The largest class of connected graphs $F$ for which this conjecture has been verified so far, by Alon, Krivelevich, and Sudakov themselves, comprises the almost bipartite graphs (i.e., subgraphs of the complete tripartite graph $K_{1,t,t}$ for some $t \in \mathbb{N}$). However, the optimal value for $c(F)$ remains unknown even for such graphs. Bollobás showed, using random regular graphs, that $c(F) \geq 1/2$ when $F$ contains a cycle. On the other hand, Davies, Kang, Pirot, and Sereni recently established an upper bound of $c(K_{1,t,t}) \leq t$. We improve this to a uniform constant, showing $c(F) \leq 4$ for every almost bipartite graph $F$. This surprisingly makes the bound independent of $F$ in all the known cases of the conjecture. We also establish a more general version of our bound in the setting of DP-coloring (also known as correspondence coloring) and consider some algorithmic consequences of our results.
A Supervised Learning Approach to Rankability
Published
• View Publication
• BIB
The rankability of data is a recently proposed problem that considers the ability of a dataset, represented as a graph, to produce a meaningful ranking of the items it contains. To study this concept, a number of rankability measures have recently been proposed, based on comparisons to a complete dominance graph via combinatorial and linear algebraic methods. In this paper, we review these measures and highlight some questions to which they give rise before going on to propose new methods to assess rankability, which are amenable to efficient estimation. Finally, we compare these measures by applying them to both synthetic and real-life sports data.
Erdős--Szekeres-type problems in the real projective plane
Published
• View Publication
• BIB
We consider point sets in the real projective plane $\mathbb{R}P^2$ and explore variants of classical extremal problems about planar point sets in this setting, with a main focus on Erdős--Szekeres-type problems.
We provide asymptotically tight bounds for a variant of the Erdős--Szekeres theorem about point sets in convex position in $\mathbb{R}P^2$, which was initiated by Harborth and Möller in 1994. The notion of convex position in $\mathbb{R}P^2$ agrees with the definition of convex sets introduced by Steinitz in 1913.
For $k \geq 3$, an (\affine) $k$-hole in a finite set $S \subseteq \mathbb{R}^2$ is a set of $k$ points from $S$ in convex position with no point of $S$ in the interior of their convex hull. After introducing a new notion of $k$-holes for points sets from $\mathbb{R}P^2$, called projective $k$-holes, we find arbitrarily large finite sets of points from $\mathbb{R}P^2$ with no \projective 8-holes, providing an analogue of a classical planar construction by Horton from 1983. We also prove that they contain only quadratically many \projective $k$-holes for $k \leq 7$. On the other hand, we show that the number of $k$-holes can be substantially larger in~$\mathbb{R}P^2$ than in $\mathbb{R}^2$ by constructing, for every $k \in \{3,\dots,6\}$, sets of $n$ points from $\mathbb{R}^2 \subset \mathbb{R}P^2$ with $Ω(n^{3-3/5k})$ \projective $k$-holes and only $O(n^2)$ \affine $k$-holes. Last but not least, we prove several other results, for example about projective holes in random point sets in $\mathbb{R}P^2$ and about some algorithmic aspects.
The study of extremal problems about point sets in $\mathbb{R}P^2$ opens a new area of research, which we support by posing several open problems.
Induced subgraphs and tree decompositions IV. (Even hole, diamond, pyramid)-free graphs
Published in Electron. J. Combin. 30 (2023), no. 2, Paper No. 2.42, 19 pp
• View Publication
• BIB
A hole in a graph $G$ is an induced cycle of length at least four, and an even hole is a hole of even length. The diamond is the graph obtained from the complete graph $K_4$ by removing an edge. A pyramid is a graph consisting of a triangle called the base, a vertex called the apex, and three internally disjoint paths starting at the apex and disjoint otherwise, each joining the apex to a vertex of the base. For a family $\mathcal{H}$ of graphs, we say a graph $G$ is $\mathcal{H}$-free if no induced subgraph of $G$ is isomorphic to a member of $\mathcal{H}$. Cameron, da Silva, Huang, and Vušković proved that (even hole, triangle)-free graphs have treewidth at most five, which motivates studying the treewidth of even-hole-free graphs of larger clique number. Sintiari and Trotignon provided a construction of (even hole, pyramid, $K_4$)-free graphs of arbitrarily large treewidth.
Here, we show that for every $t$, (even hole, pyramid, diamond, $K_t$)-free graphs have bounded treewidth. The graphs constructed by Sintiari and Trotignon contain diamonds, so our result is sharp in the sense that it is false if we do not exclude diamonds. Our main result is in fact more general, that treewidth is bounded in graphs excluding certain wheels and three-path-configurations, diamonds, and a fixed complete graph. The proof uses "non-crossing decompositions" methods similar to those in previous papers in this series. In previous papers, however, bounded degree was a necessary condition to prove bounded treewidth. The result of this paper is the first to use the method of "non-crossing decompositions" to prove bounded treewidth in a graph class of unbounded maximum degree.
Robust Radical Sylvester-Gallai Theorem for Quadratics
We prove a robust generalization of a Sylvester-Gallai type theorem for quadratic polynomials, generalizing the result in [S'20]. More precisely, given a parameter $0 < δ\leq 1$ and a finite collection $\mathcal{F}$ of irreducible and pairwise independent polynomials of degree at most 2, we say that $\mathcal{F}$ is a $(δ, 2)$-radical Sylvester-Gallai configuration if for any polynomial $F_i \in \mathcal{F}$, there exist $δ(|\mathcal{F}| -1)$ polynomials $F_j$ such that $|\mathrm{rad}(F_i, F_j) \cap \mathcal{F}| \geq 3$, that is, the radical of $F_i, F_j$ contains a third polynomial in the set.
In this work, we prove that any $(δ, 2)$-radical Sylvester-Gallai configuration $\mathcal{F}$ must be of low dimension: that is $$\dim \mathrm{span}(\mathcal{F}) = \mathrm{poly}(1/δ).$$
Two-colorings of normed spaces without long monochromatic unit arithmetic progressions
Published in SIAM Journal on Discrete Mathematics, 2023, Vol. 37, No. 2, pp. 718--732
• View Publication
• BIB
Given a natural $n$, we construct a two-coloring of $\mathbb{R}^n$ with the maximum metric satisfying the following. For any finite set of reals $S$ with diameter greater than $5^{n}$ such that the distance between any two consecutive points of $S$ does not exceed one, no isometric copy of $S$ is monochromatic. As a corollary, we prove that any normed space can be two-colored such that all sufficiently long unit arithmetic progressions contain points of both colors.
Complete combinatorial characterization of greedy-drawable trees
A (Euclidean) greedy drawing of a graph is a drawing in which, for any two vertices $s,t$ ($s \neq t$), there is a neighbor vertex of $s$ that is closer to $t$ than to $s$ in the Euclidean distance. Greedy drawings are important in the context of message routing in networks, and graph classes that admit greedy drawings have been actively studied. Nöllenburg and Prutkin (Discrete Comput. Geom., 58(3), pp.543-579, 2017) gave a characterization of greedy-drawable trees in terms of an inequality system that contains a non-linear equation. Using the characterization, they gave a linear-time recognition algorithm for greedy-drawable trees of maximum degree $\leq 4$. However, a combinatorial characterization of greedy-drawable trees of maximum degree 5 was left open. In this paper, we give a combinatorial characterization of greedy-drawable trees of maximum degree $5$, which leads to a complete combinatorial characterization of greedy-drawable trees. Furthermore, we give a characterization of greedy-drawable pseudo-trees.
$3$-anti-circulant digraphs are $α$-diperfect and BE-diperfect
Published
• View Publication
• BIB
Let $D$ be a digraph. A subset $S$ of $V(D)$ is a stable set if every pair of vertices in $S$ is non-adjacent in $D$. A collection of disjoint paths $\mathcal{P}$ of $D$ is a path partition of $V(D)$, if every vertex in $V(D)$ is exactly on a path of $\mathcal{P}$. We say that a stable set $S$ and a path partition $\mathcal{P}$ are orthogonal if each path of $P$ contains exactly one vertex of $S$. A digraph $D$ satisfies the $α$-property if for every maximum stable set $S$ of $D$, there exists a path partition $\mathcal{P}$ such that $S$ and $\mathcal{P}$ are orthogonal. A digraph $D$ is $α$-diperfect if every induced subdigraph of $D$ satisfies the $α$-property. In 1982, Claude Berge proposed a characterization for $α$-diperfect digraphs in terms of forbidden anti-directed odd cycles. In 2018, Sambinelli, Silva and Lee proposed a similar conjecture. A digraph $D$ satisfies the Begin-End-property or BE-property if for every maximum stable set $S$ of $D$, there exists a path partition $\mathcal{P}$ such that (i) $S$ and $\mathcal{P}$ are orthogonal and (ii) for each path $P \in \mathcal{P}$, either the start or the end of $P$ belongs to $S$. A digraph $D$ is BE-diperfect if every induced subdigraph of $D$ satisfies the BE-property. Sambinelli, Silva and Lee proposed a characterization for BE-diperfect digraphs in terms of forbidden blocking odd cycles. In this paper, we verified both conjectures for $3$-anti-circulant digraphs. We also present some structural results for $α$-diperfect and BE-diperfect digraphs.
Few Induced Disjoint Paths for $H$-Free Graphs
Published
• View Publication
• BIB
Paths $P^1,\ldots,P^k$ in a graph $G=(V,E)$ are mutually induced if any two distinct $P^i$ and $P^j$ have neither common vertices nor adjacent vertices. For a fixed integer $k$, the $k$-Induced Disjoint Paths problem is to decide if a graph $G$ with $k$ pairs of specified vertices $(s_i,t_i)$ contains $k$ mutually induced paths $P^i$ such that each $P^i$ starts from $s_i$ and ends at $t_i$. Whereas the non-induced version is well-known to be polynomial-time solvable for every fixed integer $k$, a classical result from the literature states that even $2$-Induced Disjoint Paths is NP-complete. We prove new complexity results for $k$-Induced Disjoint Paths if the input is restricted to $H$-free graphs, that is, graphs without a fixed graph $H$ as an induced subgraph. We compare our results with a complexity dichotomy for Induced Disjoint Paths, the variant where $k$ is part of the input.
Universal planar graphs for the topological minor relation
Published
• View Publication
• BIB
Huynh et al. recently showed that a countable graph $G$ which contains every countable planar graph as a subgraph must contain arbitrarily large finite complete graphs as topological minors, and an infinite complete graph as a minor. We strengthen this result by showing that the same conclusion holds, if $G$ contains every countable planar graph as a topological minor. In particular, there is no countable planar graph containing every countable planar graph as a topological minor, answering a question by Diestel and Kühn.
Moreover, we construct a locally finite planar graph which contains every locally finite planar graph as a topological minor. This shows that in the above result it is not enough to require that $G$ contains every locally finite planar graph as a topological minor.
Multijoints and Factorisation
Published
• View Publication
• BIB
We solve the dual multijoint problem and prove the existence of so-called "factorisations" for arbitrary fields and multijoints of $k_j$-planes. More generally, we deduce a discrete analogue of a theorem due in essence to Bourgain and Guth. Our result is a universal statement which describes a property of the discrete wedge product without any explicit reference to multijoints and is stated as follows: Suppose that $k_1 + \ldots + k_d = n$. There is a constant $C=C(n)$ so that for any field $\mathbb{F}$ and for any finitely supported function $S : \mathbb{F}^n \rightarrow \mathbb{R}_{\geq 0}$, there are factorising functions $s_{k_j} : \mathbb{F}^n\times \mathrm{Gr}(k_j, \mathbb{F}^n)\rightarrow \mathbb{R}_{\geq 0}$ such that $$(V_1 \wedge\cdots\wedge V_d)S(p)^d \leq C\prod_{j=1}^d s_{k_j}(p, V_j),$$ for every $p\in \mathbb{F}^n$ and every tuple of planes $V_j\in \mathrm{Gr}(k_j, \mathbb{F}^n)$, and $$\sum_{p\in π_j} s(p, e(π_j)) =||S||_d$$ for every $k_j$-plane $π_j\subset \mathbb{F}^n$, where $e(π_j)\in \mathrm{Gr}(k_j,\mathbb{F}^n)$ denotes the translate of $π_j$ that contains the origin and $\wedge$ denotes the discrete wedge product.
On the square peg problem
Published
• View Publication
• BIB
We show that if $γ$ is a Jordan curve in $\mathbb{R}^2$ which is close to a $C^2$ Jordan curve $β$ in $\mathbb{R}^2$, then $γ$ contains an inscribed square. In particular, if $κ> 0$ is the maximum unsigned curvature of $β$ and there is a map $f$ from the image of $γ$ to the image of $β$ with $||f(x) - x|| < \frac{1}{10 κ}$ and $f \circ γ$ having winding number $1$, then $γ$ has an inscribed square of positive sidelength.
Cographic Splitting Of Graphic Matroids With Respect To A Set With Three Elements
Published in Graphs and Combinatorics, 97 (2023)
• View Publication
• BIB
In general, the splitting operation on binary matroids does not preserve the graphicness and cographicness properties of binary matroids. In this paper, we obtain a characterization of the class of graphic matroids whose splitting with respect to a set of three elements gives cographic matroids. We also provide an alternate proof to such characterization when the set contains two elements which was provided by Borse et al.
Paley Graphs and Sárközy's Theorem In Function Fields
Published in The Quarterly Journal of Mathematics, 2022; haac035
• View Publication
• BIB
Sárközy's theorem states that dense sets of integers must contain two elements whose difference is a $k^{th}$ power. Following the polynomial method breakthrough of Croot, Lev, and Pach, Green proved a strong quantitative version of this result for $\mathbb{F}_{q}[T]$. In this paper we provide a lower bound for Sárközy's theorem in function fields by adapting Ruzsa's construction for the analogous problem in $\mathbb{Z}$. We construct a set $A$ of polynomials of degree $<n$ such that $A$ does not contain a $k^{th}$ power difference with $|A|=q^{n-n/2k}$. Additionally, we prove a handful of results concerning the independence number of generalized Paley Graphs, including a generalization of a claim of Ruzsa, which helps with understanding the limit of the method.
All Graphs with at most 8 nodes are 2-interval-PCGs
Published in Fundamenta Informaticae, Volume 193 (May 14, 2025) fi:12237
• View Publication
• BIB
A graph G is a multi-interval PCG if there exist an edge weighted tree T with non-negative real values and disjoint intervals of the non-negative real half-line such that each node of G is uniquely associated to a leaf of T and there is an edge between two nodes in G if and only if the weighted distance between their corresponding leaves in T lies within any such intervals. If the number of intervals is k, then we call the graph a k-interval-PCG; in symbols, G = k-interval-PCG (T, I1, . . . , Ik). It is known that 2-interval-PCGs do not contain all graphs and the smallest known graph outside this class has 135 nodes. Here we prove that all graphs with at most 8 nodes are 2-interval-PCGs, so doing one step towards the determination of the smallest value of n such that there exists an n node graph that is not a 2-interval-PCG.
Tower Gaps in Multicolour Ramsey Numbers
Published
• View Publication
• BIB
Resolving a problem of Conlon, Fox, and Rödl, we construct a family of hypergraphs with arbitrarily large tower height separation between their $2$-colour and $q$-colour Ramsey numbers. The main lemma underlying this construction is a new variant of the Erdős--Hajnal stepping-up lemma for a generalized Ramsey number $r_k(t;q,p)$, which we define as the smallest integer $n$ such that every $q$-colouring of the $k$-sets on $n$ vertices contains a set of $t$ vertices spanning fewer than $p$ colours. Our results provide the first tower-type lower bounds on these numbers.