Showing 20 papers (Total: 81756 papers, 47371 authors in database)
The essential bound of a polymatroid and its applications to excluded minor problems
The singleton and doubleton minors of a polymatroid $ρ$ encode a surprising amount of information about the structural complexity of $ρ$. Given any polymatroid $ρ$, we can subtract from it a maximally-separated polymatroid, resulting in a $k$-polymatroid. We introduce a notion of boundedness for $ρ$ that corresponds to $k$. Our results provide an organized framework for thinking about polymatroid excluded minor problems. In particular, let $\mathcal{C}$ denote the minor-closed class of matroids characterized by excluding the uniform matroid $U_{2,b}$ and its dual $U_{b-2,b}$. We show that the list of excluded minors for the class of $k$-polymatroids whose $k$-natural matroids are in $\mathcal{C}$ is finite. We also investigate the more general case of excluding $U_{a,b}$ and its dual $U_{b-a,b}$.
Insertion algorithms for Type $\mathrm{B}$ and $\mathrm{D}$ Gelfand $W$-graphs
Like the RSK correspondence for symmetric groups, Garfinkle defined a domino correspondence for type $\mathrm{B}$ and $\mathrm{D}$ Coxeter groups. Similar to the Knuth relations, Taskin and Pietraho give the plactic relations for the domino correspondence and Bonnafé use them to classify the cells for type $\mathrm{B}$ Coxeter groups. We give some further properties of the plactic relations and use these relations to describe the bidirected edges and the molecules of Gelfand $W$-graphs for type $\mathrm{B}$ and $\mathrm{D}$ Coxeter groups.
The Complement of the Djokovic-Winkler Relation
Published
• View Publication
• BIB
The Djoković-Winkler relation $Θ$ is a binary relation defined on the edge set of a given graph that is based on the distances of certain vertices and which plays a prominent role in graph theory. In this paper, we explore the relatively uncharted ``reflexive complement'' $\overlineΘ$ of $Θ$, where $(e,f)\in \overlineΘ$ if and only if $e=f$ or $(e,f)\notin Θ$ for edges $e$ and $f$. We establish the relationship between $\overlineΘ$ and the set $Δ_{ef}$, comprising the distances between the vertices of $e$ and $f$ and shed some light on the intricacies of its transitive closure $\overlineΘ^*$. Notably, we demonstrate that $\overlineΘ^*$ exhibits multiple equivalence classes only within a restricted subclass of complete multipartite graphs. In addition, we characterize non-trivial relations $R$ that coincide with $\overlineΘ$ as those where the graph representation is disconnected, with each connected component being the (join of) Cartesian product of complete graphs. The latter results imply, somewhat surprisingly, that knowledge about the distances between vertices is not required to determine $\overlineΘ^*$. Moreover, $\overlineΘ^*$ has either exactly one or three equivalence classes.
Size of the largest sum-free subset of $[n]^3$ and $[n]^4$
Published
• View Publication
• BIB
We determine the density of the largest sum-free subset of the lattice cube $\{1, 2, \dots, n\}^d$ for $d = 3$ and $d = 4$. This solves a conjecture of Cameron and Aydinian in dimensions $3$ and $4$.
Rainbow common graphs must be forests
Published
• View Publication
• BIB
We study the rainbow version of the graph commonness property: a graph $H$ is $r$-rainbow common if the number of rainbow copies of $H$ (where all edges have distinct colors) in an $r$-coloring of edges of $K_n$ is maximized asymptotically by independently coloring each edge uniformly at random. $H$ is \emph{$r$-rainbow uncommon} otherwise. We show that if $H$ has a cycle, then it is $r$-rainbow uncommon for every $r$ at least the number of edges of $H$. This generalizes a result of Erdős and Hajnal, and proves a conjecture of De Silva, Si, Tait, Tunçbilek, Yang, and Young.
Star colouring and locally constrained graph homomorphisms
Published
• View Publication
• BIB
We relate star colouring of even-degree regular graphs to the notions of locally constrained graph homomorphisms to the oriented line graph $ \vec{L}(K_q) $ of the complete graph $ K_q $ and to its underlying undirected graph $ L^*(K_q) $. Our results have consequences for locally constrained graph homomorphisms and oriented line graphs in addition to star colouring. We show that $ L^*(H) $ is a 2-lift of the line graph $ L(H) $ for every graph $ H $. Dvořák, Mohar and Šámal (J. Graph Theory, 2013) proved that for every 3-regular graph $ G $, the line graph of $ G $ is 4-star colourable if and only if $ G $ admits a locally bijective homomorphism to the cube $ Q_3 $. We generalise this result as follows: for $ p\geq 2 $, a $ K_{1,p+1} $-free $ 2p $-regular graph $ G $ admits a $ (p+2) $-star colouring if and only if $ G $ admits a locally bijective homomorphism to $ L^*(K_{p+2}) $. As a result, if a $ K_{p+1} $-free $ 2p $-regular graph $ G $ with $ p\geq 2 $ is $ (p+2) $-star colourable, then $ -2 $ and $ p-2 $ are eigenvalues of $ G $. We also prove the following: (i) for $ p\geq 2 $, a $ 2p $-regular graph $ G $ admits a $ (p+2) $-star colouring if and only if $ G $ has an orientation that admits an out-neighbourhood bijective homomorphism to $ \vec{L}(K_{p+2}) $; (ii) the line graph of a 3-regular graph $ G $ is 4-star colourable if and only if $ G $ is bipartite and distance-two 4-colourable; and (iii) it is NP-complete to check whether a planar 4-regular 3-connected graph is 4-star colourable.
A note on construction of the Leech lattice
Published
• View Publication
• BIB
In this paper, we present a method to construct the Leech lattice from other Niemeier lattices.
Constant Sum Partition of $\{1,2,...,n\}$ Into Subsets With Prescribed Orders
Studies on partition of $I_n$ = $\{1, 2, . . . , n\}$ into subsets $S_1, S_2, . . . , S_x$ so far considered with prescribed sum of the elements in each subset. In this paper, we study constant sum partitions $\{S_1,S_2,...,S_x\}$ of $I_n$ with prescribed $|S_i|$, $1 \leq i \leq x$. Theorem \ref{thm 2.3} is the main result which gives a necessary and sufficient condition for a partition set $\{S_1,S_2,\ldots, S_x\}$ of $I_n$ with prescribed $|S_i|$ to be a constant sum partition of $I_n$, $1 \leq i \leq x$ and $n > x \geq 2$. We state its applications in graph theory and also define {\em constant sum partition permutation} or {\em magic partition permutation} of $I_n$. A partition $\{S_1,S_2,\cdots,S_x\}$ of $I_n$ is a {\em constant sum partition of $I_n$} if $\sum_{j\in S_i}{j}$ is a constant for every $i$, $1 \leq i \leq x$.
Formal conjugacy growth in graph products II
In this paper we give an algorithm for computing the conjugacy growth series for a right-angled Artin group, based on a natural language of minimal length conjugacy representatives. In addition, we provide a further language of unique conjugacy geodesic representatives of the conjugacy classes for a graph product of groups. The conjugacy representatives and growth series here provide an alternate viewpoint, and are more amenable to computational experiments compared to those in our previous paper.
Examples of applications of this algorithm for right-angled Artin groups are provided, as well as computations of conjugacy geodesic growth growth series with respect to the standard generating sets.
Games of Nim with Dynamic Restrictions
Published
• View Publication
• BIB
The authors present formulas for the previous player's winning positions of two variants of restricted Nim.
In both of these two games, there is one pile of stones, and in the first variant, we investigate the case that in k-th turn, you can remove f(k) stones at most, where f is a function whose values are natural numbers. In the second variant, there are two kinds of stones. The Type 1 group consists of stones with the weight of one, and the Type 2 group consists of stones with the weight of two. When the total weight of stones is a, you can remove stones whose total weight is equal to or less than half of a.
Matrix discrepancy and the log-rank conjecture
Published
• View Publication
• BIB
Given an $m\times n$ binary matrix $M$ with $|M|=p\cdot mn$ (where $|M|$ denotes the number of 1 entries), define the discrepancy of $M$ as $\mbox{disc}(M)=\displaystyle\max_{X\subset [m], Y\subset [n]}\big||M[X\times Y]|-p|X|\cdot |Y|\big|$. Using semidefinite programming and spectral techniques, we prove that if $\mbox{rank}(M)\leq r$ and $p\leq 1/2$, then
$$\mbox{disc}(M)\geq Ω(mn)\cdot \min\left\{p,\frac{p^{1/2}}{\sqrt{r}}\right\}.$$
We use this result to obtain a modest improvement of Lovett's best known upper bound on the log-rank conjecture. We prove that any $m\times n$ binary matrix $M$ of rank at most $r$ contains an $(m\cdot 2^{-O(\sqrt{r})})\times (n\cdot 2^{-O(\sqrt{r})})$ sized all-1 or all-0 submatrix, which implies that the deterministic communication complexity of any Boolean function of rank $r$ is at most $O(\sqrt{r})$.
Tropical Quiver Grassmannians
We introduce quivers of valuated matroids and study their tropical parameter spaces. We define quiver Dressians, which parametrize containment of tropical linear spaces after tropical matrix multiplication, and show that tropicalizations of quiver Grassmannians parametrize the realizable analogue. We further introduce affine morphisms of valuated matroids and show compatibility with weakly monomial quiver representations. Finally, we show that starting in ambient dimension 2, quiver Dressians can have nonrealizable points.
First-Order Model Checking on Monadically Stable Graph Classes
Published
• View Publication
• BIB
A graph class $\mathscr{C}$ is called monadically stable if one cannot interpret, in first-order logic, arbitrary large linear orders in colored graphs from $\mathscr{C}$. We prove that the model checking problem for first-order logic is fixed-parameter tractable on every monadically stable graph class. This extends the results of [Grohe, Kreutzer, and Siebertz; J. ACM '17] for nowhere dense classes and of [Dreier, Mählmann, and Siebertz; STOC '23] for structurally nowhere dense classes to all monadically stable classes.
As a complementary hardness result, we prove that for every hereditary graph class $\mathscr{C}$ that is edge-stable (excludes some half-graph as a semi-induced subgraph) but not monadically stable, first-order model checking is $\mathrm{AW}[*]$-hard on $\mathscr{C}$, and $\mathrm{W}[1]$-hard when restricted to existential sentences. This confirms, in the special case of edge-stable classes, an on-going conjecture that the notion of monadic NIP delimits the tractability of first-order model checking on hereditary classes of graphs.
For our tractability result, we first prove that monadically stable graph classes have almost linear neighborhood complexity. Using this, we construct sparse neighborhood covers for monadically stable classes, which provides the missing ingredient for the algorithm of [Dreier, Mählmann, and Siebertz; STOC '23]. The key component of this construction is the usage of orders with low crossing number [Welzl; SoCG '88], a tool from the area of range queries.
For our hardness result, we prove a new characterization of monadically stable graph classes in terms of forbidden induced subgraphs. We then use this characterization to show that in hereditary classes that are edge-stable but not monadically stable, one can effectively interpret the class of all graphs using only existential formulas.
On the number of monochromatic solutions to multiplicative equations
The following question was asked by Prendiville: given an $r$-colouring of the interval $\{2, \dotsc, N\}$, what is the minimum number of monochromatic solutions of the equation $xy = z$? For $r=2$, we show that there are always asymptotically at least $(1/2\sqrt{2}) N^{1/2} \log N$ monochromatic solutions, and that the leading constant is sharp. For $r=3$ and $r=4$ we obtain tight results up to a multiplicative logarithmic factor. We also provide bounds for more colours and other multiplicative equations.
A note on extremal constructions for the Erdős--Rademacher problem
Published
• View Publication
• BIB
For given positive integers $r\ge 3$, $n$ and $e\le \binom{n}{2}$, the famous Erd\H os--Rademacher problem asks for the minimum number of $r$-cliques in a graph with $n$ vertices and $e$ edges. A conjecture of Lovász and Simonovits from the 1970s states that, for every $r\ge 3$, if $n$ is sufficiently large then, for every $e\le \binom{n}{2}$, at least one extremal graph can be obtained from a complete partite graph by adding a triangle-free graph into one part.
In this note, we explicitly write the minimum number of $r$-cliques predicted by the above conjecture. Also, we describe what we believe to be the set of extremal graphs for any $r\ge 4$ and all large~$n$, amending the previous conjecture of Pikhurko and Razborov.
Experimental Study of the Game Exact Nim(5, 2)
We compare to different extensions of the ancient game of nim: Moore's nim$(n, \leq k)$ and exact nim$(n, = k)$. Given integers $n$ and $k$ such that $0 < k \leq n$, we consider $n$ piles of stones. Two players alternate turns. By one move it is allowed to choose and reduce any (i) at most $k$ or (ii) exactly $k$ piles of stones in games nim$(n, \leq k)$ and nim$(n, = k)$, respectively. The player who has to move but cannot is the loser. Both games coincide with nim when $k=1$. Game nim$(n, \leq k)$ was introduced by Moore (1910) who characterized its Sprague-Grundy (SG) values 0 (that is, P-positions) and 1. The first open case is SG values 2 for nim$(4, \leq 2)$. Game nim$(n, = k)$, was introduced in 2018. An explicit formula for its SG function was computed for $2k \geq n$. In contrast, case $2k < n$ seems difficult: even the P-positions are not known already for nim$(5,=2)$. Yet, it seems that the P-position of games nim$(n+1,=2)$ and nim$(n+1,\leq 2)$ are closely related. (Note that P-positions of the latter are known.) Here we provide some theoretical and computational evidence of such a relation for $n=5$.
Powers of the operator $u(z)\frac{d}{dz}$ and their connection with some combinatorial numbers
Published
• View Publication
• BIB
In this paper the operator $A = u(z)\frac{d}{dz}$ is considered, where $u$ is an entire or meromorphic function in the complex plane. The expansion of $A^{k}$ ($k\geq1$) with the help of the powers of the differential operator $D=\frac{d}{dz}$ is obtained, and it is shown that this expansion depends on special numbers. Connections between these numbers and known combinatorial numbers are given. Some special cases of the operator $A$, corresponding to $u(z) = z$, $u(z) = e^{z}$, $u(z) = \frac{1}{z}$, are considered.
Slow graph bootstrap percolation II: Accelerating properties
Published
• View Publication
• BIB
For a graph $H$ and an $n$-vertex graph $G$, the $H$-bootstrap process on $G$ is the process which starts with $G$ and, at every time step, adds any missing edges on the vertices of $G$ that complete a copy of $H$. This process eventually stabilises and we are interested in the extremal question raised by Bollobás of determining the maximum running time (number of time steps before stabilising) of this process over all possible choices of $n$-vertex graph $G$. In this paper, we initiate a systematic study of the asymptotics of this parameter, denoted $M_H(n)$, and its dependence on properties of the graph $H$. Our focus is on $H$ which define relatively fast bootstrap processes, that is, with $M_H(n)$ being at most linear in $n$. We study the graph class of trees, showing that one can bound $M_T(n)$ by a quadratic function in $v(T)$ for all trees $T$ and all $n$. We then go on to explore the relationship between the running time of the $H$-process and the minimum vertex degree and connectivity of $H$.
On product Schur triples in the integers
Published
• View Publication
• BIB
Schur's theorem states that in any $k$-colouring of the set of integers $[n]$ there is a monochromatic solution to $a+b=c$, provided $n$ is sufficiently large. Abbott and Wang studied the size of the largest subset of $[n]$ such that there is a $k$-colouring avoiding a monochromatic $a+b=c$. In other directions, the minimum number of $a+b=c$ in $k$-colourings of $[n]$ and the probability threshold in random subsets of $[n]$ for the property of having a monochromatic $a+b=c$ in any $k$-colouring were investigated. In this paper, we study natural generalisations of these streams to products $ab=c$, in a deterministic, random, and randomly perturbed environments.
$ε$-Uniform Mixing in Discrete Quantum Walks
Published
• View Publication
• BIB
We study whether the probability distribution of a discrete quantum walk can get arbitrarily close to uniform, given that the walk starts with a uniform superposition of the outgoing arcs of some vertex. We establish a characterization of this phenomenon on regular non-bipartite graphs in terms of their adjacency eigenvalues and eigenprojections. Using theory from association schemes, we show this phenomenon happens on a strongly regular graph $X$ if and only if $X$ or $\overline{X}$ has parameters $(4m^2, 2m^2\pm m, m^2\pm m, m^2\pm m)$ where $m\ge 2$.