contain ↗ reference
7694 papers tagged with this keyword
Colouring versus density in integers and Hales-Jewett cubes
Published
• View Publication
• BIB
We construct for every integer $k\geq 3$ and every real $μ\in(0, \frac{k-1}{k})$ a set of integers $X=X(k, μ)$ which, when coloured with finitely many colours, contains a monochromatic $k$-term arithmetic progression, whilst every finite $Y\subseteq X$ has a subset $Z\subseteq Y$ of size $|Z|\geq μ|Y|$ that is free of arithmetic progressions of length $k$. This answers a question of Erdős, Nešetřil, and the second author. Moreover, we obtain an analogous multidimensional statement and a Hales-Jewett version of this result.
Spectral properties of random graphs with fixed equitable partition
We define a graph to be $S$-regular if it contains an equitable partition given by a matrix $S$. These graphs are generalizations of both regular and bipartite, biregular graphs. An $S$-regular matrix is defined then as a matrix on an $S$-regular graph consistent with the graph's equitable partition. In this paper we derive the limiting spectral density for large, random $S$-regular matrices as well as limiting functions of certain statistics for their eigenvector coordinates as a function of eigenvalue. These limiting functions are defined in terms of spectral measures on $S$-regular trees. In general, these spectral measures do not have a closed-form expression; however, we provide a defining system of polynomials for them. Finally, we explore eigenvalue bounds of $S$-regular graph, proving an expander mixing lemma, Alon-Bopana bound, and other eigenvalue inequalities in terms of the eigenvalues of the matrix $S$.
Schubert cells of mixed type in complex Lagrangian Grassmannians
Published
• View Publication
• BIB
We describe CW decompositions of complex Lagrangian Grassmannians, that contain as subcomplexes, CW decompositions of real Lagrangian Grassmannians by Schubert-Arnol'd cells. The degrees of attaching maps are explicitly computed in terms of quantities that can be read off from the corresponding shifted Young diagrams of mixed type. The signs are determined by a choice of lexicographical ordering on coordinates. As an immediate consequence, we obtain the homotopy extension property for real and complex Lagrangian Grassmannians. We also show some torsion classes in the integral homology of the real Lagrangian Grassmannian are contractible inside the complex Lagrangian Grassmannian.
Deformations and q-convolutions. Old and new results
This paper is the survey of some of our results related to $q$-deformations of the Fock spaces and related to $q$-convolutions for probability measures on the real line $\mathbb{R}$. The main idea is done by the combinatorics of moments of the measures and related $q$-cumulants of different types. The main and interesting $q$-convolutions are related to classical continuous (discrete) $q$-Hermite polynomial. Among them are classical ($q=1$) convolutions, the case $q=0$, gives the free and Boolean relations, and the new class of $q$-analogue of classical convolutions done by Carnovole, Koornwinder, Biane, Anshelovich, and Kula. The paper contains many questions and problems related to the positivity of that class of $q$-convolutions. The main result is the construction of Brownian motion related to $q$-Discrete Hermite polynomial of type I.
On a radial projection conjecture and pinned directions in finite spaces
We give upper bounds on the number of exceptional radial projections of arbitrary subsets of vector spaces over finite fields. Our bounds do not depend on the dimension of the ambient space.
Let $\mathbb{F}_q^d$ be the $d$-dimensional vector space over $\mathbb{F}_q$, let $k \in \{1,2,\ldots,d-1\}$, and let $E \subseteq \mathbb{F}_q^d$ be an arbitrary set of points. We prove two results. First, if $q^{k-1} < |E| \leq 100^{-1}q^{k}$, then the number of points $y$ such that the projection of $E$ from $y$ contains fewer than $50^{-1}|E|$ points is bounded above by $40q^k$. This establishes a conjecture of Lund, Pham, and Thu. Second, if $30q^{k} \leq |E| \leq q^{k+1}$, then the number of points $y$ such that the projection of $E$ from $y$ contains fewer than $M \leq 4^{-1}q^k$ points is bounded above by $300q^kM|E|^{-1}$. We also have an application to a pinned directions problem. Specifically, if $E\subset \mathbb{F}_q^d$ with $|E| > 30q^k$, then there is a point $y \in E$ such that the set of lines incident to $y$ and at least one other point of $E$ determines $q^k/4$ distinct slopes.
Characterizing positroid quotients of uniform matroids
Published
• View Publication
• BIB
We study two-step flag positroids $(P_1, P_2)$, where $P_1$ is a quotient of $P_{2}$. We provide a complete characterization of all two-step flag positroids that contain a uniform matroid, extending and completing a partial result by Benedetti, Chávez, and Jiménez. To contrast general positroids with the special case of lattice path matroids, we show that the containment relations of Grassmann necklaces and conecklaces fully characterize flag lattice path matroids, but are insufficient for general flag positroids. Additionally, we prove that the decorated permutations of any elementary quotient pair are related by a cyclic shift, resolving a conjecture of Benedetti, Chávez and Jiménez.
Universality for graphs with bounded density
Published
• View Publication
• BIB
A graph $G$ is $\textit{universal}$ for a (finite) family $\mathcal{H}$ of graphs if every $H \in \mathcal{H}$ is a subgraph of $G$. For a given family $\mathcal{H}$, the goal is to determine the smallest number of edges an $\mathcal{H}$-universal graph can have. With the aim of unifying a number of recent results, we consider a family of graphs with bounded density. In particular, we construct a graph with $O_d\left( n^{2 - 1/(\lceil d \rceil + 1)} \right)$ edges which contains every $n$-vertex graph with density at most $d \in \mathbb{Q}$ ($d \ge 1$), which is close to a lower bound $Ω(n^{2 - 1/d - o(1)})$ obtained by counting lifts of a carefully chosen (small) graph. When restricting the maximum degree of such graphs to be constant, we obtain a near-optimal universality. If we further assume $d \in \mathbb{N}$, we get an asymptotically optimal construction.
Induced subgraphs and tree decompositions XIV. Non-adjacent neighbours in a hole
Published in European Journal of Combinatorics 124 (2025), 104-074
• View Publication
• BIB
A clock is a graph consisting of an induced cycle $C$ and a vertex not in $C$ with at least two non-adjacent neighbours in $C$. We show that every clock-free graph of large treewidth contains a "basic obstruction" of large treewidth as an induced subgraph: a complete graph, a subdivision of a wall, or the line graph of a subdivision of a wall.
Affine extended weak order is a lattice
Published
• View Publication
• BIB
Coxeter groups are equipped with a partial order known as the weak order, such that $u \leq v$ if the inversions of $u$ are a subset of the inversions of $v$. In finite Coxeter groups, weak order is a complete lattice, but in infinite Coxeter groups it is only a meet semi-lattice. Motivated by questions in Kazhdan-Lusztig theory, Matthew Dyer introduced a larger poset, now known as extended weak order, which contains the weak order as an order ideal and coincides with it for finite Coxeter groups. The extended weak order is the containment order on certain sets of positive roots: those which satisfy a geometric condition making them "biclosed". The finite biclosed sets are precisely the inversion sets of Coxeter group elements. Generalizing the result for finite Coxeter groups, Dyer conjectured that the extended weak order is always a complete lattice, even for infinite Coxeter groups.
In this paper, we prove Dyer's conjecture for Coxeter groups of affine type. To do so, we introduce the notion of a clean arrangement, which is a hyperplane arrangement where the regions are in bijection with biclosed sets. We show that root poset order ideals in a finite or rank 3 untwisted affine root system are clean. We set up a general framework for reducing Dyer's conjecture to checking cleanliness of certain subarrangements. We conjecture this framework can be used to prove Dyer's conjecture for all Coxeter groups.
Signed Poset Polytopes
Stanley introduced in 1986 the order polytope and the chain polytope for a given finite poset. These polytopes contain much information about the poset and have given rise to important examples in polyhedral geometry. In 1993, Reiner introduced signed posets as natural type-B analogues of posets. We define and study signed order and chain polytopes. Our results include convex-hull and halfspace descriptions, unimodular triangulations, Ehrhart $h^*$-polynomials and their relations to signed permutation statistics, and a Gorenstein characterization of signed order and chain polytopes.
Computing pivot-minors
Published
• View Publication
• BIB
A graph $G$ contains a graph $H$ as a pivot-minor if $H$ can be obtained from $G$ by applying a sequence of vertex deletions and edge pivots. Pivot-minors play an important role in the study of rank-width. Pivot-minors have mainly been studied from a structural perspective. In this paper we perform the first systematic computational complexity study of pivot-minors. We first prove that the Pivot-Minor problem, which asks if a given graph $G$ contains a pivot-minor isomorphic to a given graph $H$, is NP-complete. If $H$ is not part of the input, we denote the problem by $H$-Pivot-Minor. We give a certifying polynomial-time algorithm for $H$-Pivot-Minor when (1) $H$ is an induced subgraph of $P_3+tP_1$ for some integer $t\geq 0$, (2) $H=K_{1,t}$ for some integer $t\geq 1$, or (3) $|V(H)|\leq 4$ except when $H \in \{K_4,C_3+ P_1\}$. Let ${\cal F}_H$ be the set of induced-subgraph-minimal graphs that contain a pivot-minor isomorphic to $H$. To prove the above statement, we either show that there is an integer $c_H$ such that all graphs in ${\cal F}_H$ have at most $c_H$ vertices, or we determine ${\cal F}_H$ precisely, for each of the above cases.
Predicting Properties of Nodes via Community-Aware Features
This paper shows how information about the network's community structure can be used to define node features with high predictive power for classification tasks. To do so, we define a family of community-aware node features and investigate their properties. Those features are designed to ensure that they can be efficiently computed even for large graphs. We show that community-aware node features contain information that cannot be completely recovered by classical node features or node embeddings (both classical and structural) and bring value in node classification tasks. This is verified for various classification tasks on synthetic and real-life networks.
The minimum degree of $(K_s, K_t)$-co-critical graphs
Given graphs $G, H_1, H_2$, we write $G \rightarrow ({H}_1, H_2)$ if every \{red, blue\}-coloring of the edges of $G$ contains a red copy of $H_1$ or a blue copy of $H_2$. A non-complete graph $G$ is $(H_1, H_2)$-co-critical if $G \nrightarrow ({H}_1, H_2)$ and $G+e\rightarrow ({H}_1, H_2)$ for every edge $e$ in the complement of $G$. The notion of co-critical graphs was initiated by Ne$\check{s}$et$\check{r}$il in 1986. Galluccio, Simonovits and Simonyi in 1992 proved that every $(K_3, K_3)$-co-critical graph on $n\ge6$ vertices has minimum degree at least four, and the bound is sharp for all $n\ge 6$. In this paper, we first extend the aforementioned result to all $(K_s, K_t)$-co-critical graphs by showing that every $(K_s, K_t)$-co-critical graph has minimum degree at least $2t+s-5$, where $t\ge s\ge 3$. We then prove that every $(K_3, K_4)$-co-critical graph on $n\ge9$ vertices has minimum degree at least seven, and the bound is sharp for all $n\ge 9$. This answers a question of the third author in the positive for the case $s=3$ and $t=4$.
On cliques in three-dimensional dense point-line arrangements
Published
• View Publication
• BIB
As a variant of the celebrated Szemerédi--Trotter theorem, Guth and Katz proved that $m$ points and $n$ lines in $\mathbb{R}^3$ with at most $\sqrt{n}$ lines in a common plane must determine at most $O(m^{1/2}n^{3/4})$ incidences for $n^{1/2}\leq m\leq n^{3/2}$. This upper bound is asymptotically tight and has an important application in Erdős distinct distance problem. We characterize the extremal constructions towards the Guth--Katz bound by proving that such a large dense point-line arrangement must contain a $k$-clique in general position provided $m \ll n$. This is an analog of a result by Solymosi for extremal Szemerédi--Trotter constructions in the plane.
New bounds in the Bogolyubov-Ruzsa lemma
We establish new bounds in the Bogolyubov-Ruzsa lemma, demonstrating that if A is a subset of a finite abelian group with density alpha, then 3A-3A contains a Bohr set of rank O(log^2 (2/alpha)) and radius Omega(log^{-2} (2/alpha)). The Bogolyubov-Ruzsa lemma is one of the deepest results in additive combinatorics, with a plethora of important consequences. In particular, we obtain new results toward the Polynomial Freiman-Ruzsa conjecture and improved bounds in Freiman's theorem.
Subsquares in random Latin squares and rectangles
Published
• View Publication
• BIB
A $k \times n$ partial Latin rectangle is \textit{$C$-sparse} if the number of nonempty entries in each row and column is at most $C$ and each symbol is used at most $C$ times. We prove that the probability a uniformly random $k \times n$ Latin rectangle, where $k < (1/2 - α)n$, contains a $βn$-sparse partial Latin rectangle with $\ell$ nonempty entries is $(\frac{1 \pm \varepsilon}{n})^\ell$ for sufficiently large $n$ and sufficiently small $β$. Using this result, we prove that a uniformly random order-$n$ Latin square asymptotically almost surely has no Latin subsquare of order greater than $c\sqrt{n\log n}$ for an absolute constant $c$.
Approximately Packing Dijoins via Nowhere-Zero Flows
In a digraph, a dicut is a cut where all the arcs cross in one direction. A dijoin is a subset of arcs that intersects each dicut. Woodall conjectured in 1976 that in every digraph, the minimum size of a dicut equals to the maximum number of disjoint dijoins. However, prior to our work, it was not even known whether at least $3$ disjoint dijoins exist in an arbitrary digraph whose minimum dicut size is sufficiently large. By building connections with nowhere-zero (circular) $k$-flows, we prove that every digraph with minimum dicut size $τ$ contains $\left\lfloor\fracτ{k}\right\rfloor$ disjoint dijoins if the underlying undirected graph admits a nowhere-zero (circular) $k$-flow. The existence of nowhere-zero $6$-flows in $2$-edge-connected graphs (Seymour 1981) directly leads to the existence of $\left\lfloor\fracτ{6}\right\rfloor$ disjoint dijoins in a digraph with minimum dicut size $τ$, which can be found in polynomial time as well. The existence of nowhere-zero circular $\frac{2p+1}{p}$-flows in $6p$-edge-connected graphs (Lovász et al. 2013) directly leads to the existence of $\left\lfloor\frac{τp}{2p+1}\right\rfloor$ disjoint dijoins in a digraph with minimum dicut size $τ$ whose underlying undirected graph is $6p$-edge-connected. We also discuss reformulations of Woodall's conjecture into packing strongly connected orientations.
List colorings of $k$-partite $k$-graphs
Published
• View Publication
• BIB
A $k$-uniform hypergraph (or $k$-graph) $H = (V, E)$ is $k$-partite if $V$ can be partitioned into $k$ sets $V_1, \ldots, V_k$ such that each edge in $E$ contains precisely one vertex from each $V_i$. In this note, we consider list colorings for such hypergraphs. We show that for any $\varepsilon > 0$ if each vertex $v \in V(H)$ is assigned a list of size $|L(v)| \geq \left((k-1+\varepsilon)Δ/\log Δ\right)^{1/(k-1)}$, then $H$ admits a proper $L$-coloring, provided $Δ$ is sufficiently large. Up to a constant factor, this matches the bound on the chromatic number of simple $k$-graphs shown by Frieze and Mubayi, and that on the list chromatic number of triangle free $k$-graphs shown by Li and Postle. Our results hold in the more general setting of ``color-degree'' as has been considered for graphs. Furthermore, we establish a number of asymmetric statements matching results of Alon, Cambie, and Kang for bipartite graphs.
On polynomial degree-boundedness
Published in Advances in Combinatorics 2024:5, 16pp
• View Publication
• BIB
We prove a conjecture of Bonamy, Bousquet, Pilipczuk, Rzążewski, Thomassé, and Walczak, that for every graph $H$, there is a polynomial $p$ such that for every positive integer $s$, every graph of average degree at least $p(s)$ contains either $K_{s,s}$ as a subgraph or contains an induced subdivision of $H$. This improves upon a result of Kühn and Osthus from 2004 who proved it for graphs whose average degree is at least triply exponential in $s$ and a recent result of Du, Girão, Hunter, McCarty and Scott for graphs with average degree at least singly exponential in $s$. As an application, we prove that the class of graphs that do not contain an induced subdivision of $K_{s,t}$ is polynomially $χ$-bounded. In the case of $K_{2,3}$, this is the class of theta-free graphs, and answers a question of Davies. Along the way, we also answer a recent question of McCarty, by showing that if $\mathcal{G}$ is a hereditary class of graphs for which there is a polynomial $p$ such that every bipartite $K_{s,s}$-free graph in $\mathcal{G}$ has average degree at most $p(s)$, then more generally, there is a polynomial $p'$ such that every $K_{s,s}$-free graph in $\mathcal{G}$ has average degree at most $p'(s)$. Our main new tool is an induced variant of the Kővári-Sós-Turán theorem, which we find to be of independent interest.
A note on median eigenvalues of subcubic graphs
Published in Discrete Applied Mathematics, 2023
• View Publication
• BIB
Let $G$ be an simple graph of order $n$ whose adjacency eigenvalues are $λ_1\ge\dots\geλ_n$. The HL--index of $G$ is defined to be $R(G)= \max\{|λ_{h}|, |λ_{l}|\}$ with $h=\left\lfloor\frac{n+1}{2}\right\rfloor$ and $ l=\left\lceil\frac{n+1}{2}\right\rceil.$ Mohar conjectured that $R(G)\le 1$ for every planar subcubic graph $G$. In this note, we prove that Mohar's Conjecture holds for every $K_4$-minor-free subcubic graph. Note that a $K_4$-minor-free graph is also called a series--parallel graph. In addition, $R(G)\le 1$ for every subcubic graph $G$ which contains a subgraph $K_{2,3}$.