natural ↗ reference
4897 papers tagged with this keyword
The SDP value of random 2CSPs
We consider a very wide class of models for sparse random Boolean 2CSPs; equivalently, degree-2 optimization problems over~$\{\pm 1\}^n$. For each model $\mathcal{M}$, we identify the "high-probability value"~$s^*_{\mathcal{M}}$ of the natural SDP relaxation (equivalently, the quantum value). That is, for all $\varepsilon > 0$ we show that the SDP optimum of a random $n$-variable instance is (when normalized by~$n$) in the range $(s^*_{\mathcal{M}}-\varepsilon, s^*_{\mathcal{M}}+\varepsilon)$ with high probability. Our class of models includes non-regular CSPs, and ones where the SDP relaxation value is strictly smaller than the spectral relaxation value.
A natural basis for intersection numbers
We advertise elementary symmetric polynomials $e_i$ as the natural basis for generating series $A_{g,n}$ of intersection numbers of genus g and n marked points. Closed formulae for $A_{g,n}$ are known for genera $0$ and $1$ -- this approach provides formulae for $g = 2,3,4$, together with an algorithm to compute the formula for any g. The claimed naturality of the e_i basis relies in the unexpected vanishing of some coefficients with a clear pattern: we conjecture that $A_{g,n}$ can have at most $g$ factors $e_i$, with $i>1$, in its expansion. This observation promotes a paradigm for more general cohomology classes. As an application of the conjecture, we find new integral representations of $A_{g,n}$, which recover expressions for the Weil-Petersson volumes in terms of Bessel functions.
Computational complexity and pragmatic solutions for flexible tile based DNA self-assembly
Branched junction molecule assembly of DNA nanostructures, pioneered by Seeman's laboratory in the 1980s, has become increasingly sophisticated, as have the assembly targets. A critical design step is finding minimal sets of branched junction molecules that will self-assemble into target structures without unwanted substructures forming. We use graph theory, which is a natural design tool for self-assembling DNA complexes, to address this problem. After determining that finding optimal design strategies for this method is generally NP-complete, we provide pragmatic solutions in the form of programs for special settings and provably optimal solutions for natural assembly targets such as platonic solids, regular lattices, and nanotubes. These examples also illustrate the range of design challenges.
Lazy tournaments and multidegrees of a projective embedding of $\overline{M}_{0,n}$
Published
• View Publication
• BIB
We provide a new geometric interpretation of the multidegrees of the (iterated) Kapranov embedding $Φ_n:\overline{M}_{0,n+3}\hookrightarrow \mathbb{P}^1\times \mathbb{P}^2\times \cdots \times \mathbb{P}^n$, where $\overline{M}_{0,n+3}$ is the moduli space of stable genus $0$ curves with $n+3$ marked points. We enumerate the multidegrees by disjoint sets of boundary points of $\overline{M}_{0,n+3}$ via a combinatorial algorithm on trivalent trees that we call a lazy tournament. These sets are compatible with the forgetting maps used to derive the recursion for the multidegrees proven in 2020 by Gillespie, Cavalieri, and Monin.
The lazy tournament points are easily seen to total $(2n-1)!!=(2n-1)\cdot (2n-3) \cdots 5 \cdot 3 \cdot 1$, giving a natural proof of the fact that the total degree of $Φ_n$ is the odd double factorial. This fact was first proven using an insertion algorithm on certain parking functions, and we additionally give a bijection to those parking functions.
Cops and Robber on Cartesian products and some classes of hypergraphs
The game of Cops and Robber is a pursuit-evasion game which is usually played on a connected graph. In the game, a set of cops and a robber move around the vertices of a graph along edges, where the cops aim to capture the robber, while the robber aims to avoid capture. Much research about this game have been done since the early 1980s. The game has a natural generalisation to being played on connected hypergraphs, where the cops and the robber may now move along hyperedges. In this paper, we shall provide a characterisation of all hypergraphs where one cop is sufficient to capture the robber. The cop-number of a connected hypergraph is the minimum number of cops required in order to capture the robber. We shall prove some results about the cop-number of certain hypergraphs, including hypertrees and Cartesian products of hypergraphs.
Regular homogeneously traceable nonhamiltonian graphs
Published
• View Publication
• BIB
A graph is called homogeneously traceable if every vertex is an endpoint of a Hamilton path. In 1979 Chartrand, Gould and Kapoor proved that for every integer $n\ge 9,$ there exists a homogeneously traceable nonhamiltonian graph of order $n.$ The graphs they constructed are irregular. Thus it is natural to consider the existence problem of regular homogeneously traceable nonhamiltonian graphs. We prove two results: (1) For every even integer $n\ge 10,$ there exists a cubic homogeneously traceable nonhamiltonian graph of order $n;$ (2) for every integer $p\ge 18,$ there exists a $4$-regular homogeneously traceable graph of order $p$ and circumference $p-4.$ Unsolved problems are posed.
Cluster Modular Groups of Affine and Doubly Extended Cluster Algebras
Published
• View Publication
• BIB
We calculate the cluster modular groups of affine and doubly extended typecluster algebras in a uniform way by introducing a new family of quivers. We use this uniformdescription to construct a natural finite quotient of the cluster complex of each affine anddoubly extended cluster algebra. Using this construction, we introduce the notion of affineand doubly extended generalized associahedra, and count their facets.
$Z_{DP}(n)$ is upperly bounded by $n^2-(n+3)/2$
DP-coloring was introduced by Dvořák and Postle and is a generalization of proper coloring. For any graph $G$, let $χ(G)$ and $χ_{DP}(G)$ denote the chromatic number and the DP-chromatic number of $G$ respectively. In this article, we show that $χ_{DP}(G \vee K_s)=χ(G \vee K_s)$ holds for $s=\left \lceil \frac{4(k+1)m}{2k+1} \right \rceil \le \lceil 2.4m\rceil$, where $k=χ(G)$, $m=|E(G)|$ and $G \vee K_s$ is the join of $G$ and the complete graph $K_s$. Hence $Z_{DP}(n)\le n^2-(n+3)/2$ holds for every integer $n \ge 2$, where $Z_{DP}(n)$ is the minimum natural number $s$ such that $χ_{DP}(G \vee K_s)=χ(G \vee K_s)$ holds for every graph $G$ of order $n$. Our result improves the best current upper bound $Z_{DP}(n)\le 1.5n^2$ due to Bernshteyn, Kostochka and Zhu.
The Spum and Sum-diameter of Graphs: Labelings of Sum Graphs
Published in Discrete Math. 345(5):112806 (2022)
• View Publication
• BIB
A sum graph is a finite simple graph whose vertex set is labeled with distinct positive integers such that two vertices are adjacent if and only if the sum of their labels is itself another label. The spum of a graph $G$ is the minimum difference between the largest and smallest labels in a sum graph consisting of $G$ and the minimum number of additional isolated vertices necessary so that a sum graph labeling exists. We investigate the spum of various families of graphs, namely cycles, paths, and matchings. We introduce the sum-diameter, a modification of the definition of spum that omits the requirement that the number of additional isolated vertices in the sum graph is minimal, which we believe is a more natural quantity to study. We then provide asymptotically tight general bounds on both sides for the sum-diameter, and study its behavior under numerous binary graph operations as well as vertex and edge operations. Finally, we generalize the sum-diameter to hypergraphs.
Extended Sprague-Grundy theory for locally finite games, and applications to random game-trees
Published
• View Publication
• BIB
For a collection of papers in memory of Elwyn Berlekamp (1940-2019), John Conway (1937-2020), and Richard Guy (1916-2020).
The Sprague-Grundy theory for finite games without cycles was extended to general finite games by Cedric Smith and by Aviezri Fraenkel and coauthors. We observe that the same framework used to classify finite games also covers the case of locally finite games (that is, games where any position has only finitely many options). In particular, any locally finite game is equivalent to some finite game. We then study cases where the directed graph of a game is chosen randomly, and is given by the tree of a Galton-Watson branching process. Natural families of offspring distributions display a surprisingly wide range of behaviour. The setting shows a nice interplay between ideas from combinatorial game theory and ideas from probability.
On the Complexity of Optimising Variants of Phylogenetic Diversity on Phylogenetic Networks
Published
• View Publication
• BIB
Phylogenetic Diversity (PD) is a prominent quantitative measure of the biodiversity of a collection of present-day species (taxa). This measure is based on the evolutionary distance among the species in the collection. Loosely speaking, if $\mathcal{T}$ is a rooted phylogenetic tree whose leaf set $X$ represents a set of species and whose edges have real-valued lengths (weights), then the PD score of a subset $S$ of $X$ is the sum of the weights of the edges of the minimal subtree of $\mathcal{T}$ connecting the species in $S$. In this paper, we define several natural variants of the PD score for a subset of taxa which are related by a known rooted phylogenetic network. Under these variants, we explore, for a positive integer $k$, the computational complexity of determining the maximum PD score over all subsets of taxa of size $k$ when the input is restricted to different classes of rooted phylogenetic networks
Multiple recurrence and popular differences for polynomial patterns in rings of integers
Published
• View Publication
• BIB
We demonstrate that the phenomenon of popular differences (aka the phenomenon of large intersections) holds for natural families of polynomial patterns in rings of integers of number fields. If $K$ is a number field with ring of integers $\mathcal{O}_K$ and $E \subseteq \mathcal{O}_K$ has positive upper Banach density $d^*(E) = δ> 0$, we show, inter alia:
1. If $p(x) \in K[x]$ is an intersective $\mathcal{O}_K$-valued polynomial and $r, s \in \mathcal{O}_K$ are distinct and nonzero, then for any $\varepsilon > 0$, the set of $n \in \mathcal{O}_K$ such that \[ d^* \left( \{ x \in \mathcal{O}_K : \{x, x + rp(n), x + sp(n)\} \subseteq E \} \right) > δ^3 - \varepsilon. \] is syndetic. Moreover, if $\frac{s}{r} \in \mathbb{Q}$, then there are syndetically many $n \in \mathcal{O}_K$ such that \[ d^* \left( \{ x \in \mathcal{O}_K : \{x, x + rp(n), x + sp(n), x + (r+s)p(n)\} \subseteq E \} \right) > δ^4 - \varepsilon. \]
2. If $\{p_1, \dots, p_k\} \subseteq K[x]$ is a jointly intersective family of linearly independent $\mathcal{O}_K$-valued polynomials, then the set of $n \in \mathcal{O}_K$ such that \[ d^* \left( \{ x \in \mathcal{O}_K : \{x, x + p_1(n), \dots, x + p_k(n)\} \subseteq E \} \right)> δ^{k+1} - \varepsilon \] is syndetic.
These two results generalize and extend previous work of Frantzikinakis and Kra on polynomial configurations in $\mathbb{Z}$ and build upon recent work of the authors and Best on linear patterns in general abelian groups. The above combinatorial results follow from multiple recurrence results in ergodic theory, which require a sharpening of existing tools for handling polynomial multiple ergodic averages. A key advancement made in this paper is a new result on the equidistribution of polynomial orbits in nilmanifolds, which can be seen as a far-reaching generalization of Weyl's equidistribution theorem.
Veldkamp quadrangles and polar spaces
Published
• View Publication
• BIB
Veldkamp polygons are certain graphs $Γ=(V,E)$ such that for each $v\in V$, $Γ_v$ is endowed with a symmetric anti-reflexive relation $\equiv_v$. These relations are all trivial if and only if $Γ$ is a thick generalized polygon. A Veldkamp polygon is called flat if no two vertices have the same set of vertices that are opposite in a natural sense. We explore the connection between Veldkamp quadrangles and polar spaces. Using this connection, we give the complete classification of flat Veldkamp quadrangles in which some but not all of the relations $\equiv_v$ are trivial.
Intersection Problems in Extremal Combinatorics: Theorems, Techniques and Questions Old and New
The study of intersection problems in Extremal Combinatorics dates back perhaps to 1938, when Paul Erdős, Chao Ko and Richard Rado proved the (first) `Erdős-Ko-Rado theorem' on the maximum possible size of an intersecting family of $k$-element subsets of a finite set. Since then, a plethora of results of a similar flavour have been proved, for a range of different mathematical structures, using a wide variety of different methods. Structures studied in this context have included families of vector subspaces, families of graphs, subsets of finite groups with given group actions, and of course uniform hypergraphs with stronger or weaker intersection conditions imposed. The methods used have included purely combinatorial ones such as shifting/compressions, algebraic methods (including linear-algebraic, Fourier analytic and representation-theoretic), and more recently, analytic, probabilistic and regularity-type methods. As well as being natural problems in their own right, intersection problems have connections with many other parts of Combinatorics and with Theoretical Computer Science (and indeed with many other parts of Mathematics), both through the results themselves, and the methods used. In this survey paper, we discuss both old and new results (and both old and new methods), in the field of intersection problems. Many interesting open problems remain; we will discuss several. For expositional and pedagogical purposes, we also take this opportunity to give slightly streamlined versions of proofs (due to others) of several classical results in the area. This survey is intended to be useful to PhD students, as well as to more established researchers. It is a personal perspective on the field, and is not intended to be exhaustive; we apologise for any omissions. It is an expanded version of a paper that will appear in the Proceedings of the 29th British Combinatorial Conference.
Bounds for Multiple Packing and List-Decoding Error Exponents
We revisit the problem of high-dimensional multiple packing in Euclidean space. Multiple packing is a natural generalization of sphere packing and is defined as follows. Let $ N>0 $ and $ L\in\mathbb{Z}_{\ge2} $. A multiple packing is a set $\mathcal{C}$ of points in $ \mathbb{R}^n $ such that any point in $ \mathbb{R}^n $ lies in the intersection of at most $ L-1 $ balls of radius $ \sqrt{nN} $ around points in $ \mathcal{C} $. We study the multiple packing problem for both bounded point sets whose points have norm at most $\sqrt{nP}$ for some constant $P>0$ and unbounded point sets whose points are allowed to be anywhere in $ \mathbb{R}^n $. Given a well-known connection with coding theory, multiple packings can be viewed as the Euclidean analog of list-decodable codes, which are well-studied for finite fields. In this paper, we derive various bounds on the largest possible density of a multiple packing in both bounded and unbounded settings. A related notion called average-radius multiple packing is also studied. Some of our lower bounds exactly pin down the asymptotics of certain ensembles of average-radius list-decodable codes, e.g., (expurgated) Gaussian codes and (expurgated) Poisson Point Processes. To this end, we apply tools from high-dimensional geometry and large deviation theory. Some of our lower bounds on the optimal multiple packing density are the best known lower bounds. These bounds are obtained via a proxy known as error exponent. The latter quantity is the best exponent of the probability of list-decoding error when the code is corrupted by a Gaussian noise. We establish a curious inequality which relates the error exponent, a quantity of average-case nature, to the list-decoding radius, a quantity of worst-case nature. We derive various bounds on the error exponent in both bounded and unbounded settings which are of independent interest beyond multiple packing.
Implications of vanishing Krein parameters on Delsarte designs, with applications in finite geometry
Published
• View Publication
• BIB
In this paper we show that if $θ$ is a $T$-design of an association scheme $(Ω, \mathcal{R})$, and the Krein parameters $q_{i,j}^h$ vanish for some $h \not \in T$ and all $i, j \not \in T$ ($i, j, h \neq 0$), then $θ$ consists of precisely half of the vertices of $(Ω, \mathcal{R})$ or it is a $T'$-design, where $|T'|>|T|$. We then apply this result to various problems in finite geometry. In particular, we show for the first time that nontrivial $m$-ovoids of generalised octagons of order $(s, s^2)$ do not exist. We give short proofs of similar results for (i) partial geometries with certain order conditions; (ii) thick generalised quadrangles of order $(s,s^2)$; (iii) the dual polar spaces $\mathsf{DQ}(2d, q)$, $\mathsf{DW}(2d-1,q)$ and $\mathsf{DH}(2d-1,q^2)$, for $d \ge 3$; (iv) the Penttila-Williford scheme. In the process of (iv), we also consider a natural generalisation of the Penttila-Williford scheme in $\mathsf{Q}^-(2n-1, q)$, $n\geqslant 3$.
Connected $k$-partition of $k$-connected graphs and $c$-claw-free graphs
A connected partition is a partition of the vertices of a graph into sets that induce connected subgraphs. Such partitions naturally occur in many application areas such as road networks, and image processing. We consider Balanced Connected Partitions (BCP), where the two classical objectives for BCP are to maximize the weight of the smallest, or minimize the weight of the largest component. We study BCP on c-claw-free graphs, the class of graphs that do not have $K_{1,c}$ as an induced subgraph, and present efficient (c-1)-approximation algorithms for both objectives. In particular, due to the (3-)claw-freeness of line graphs, this also implies a 2-approximations for the edge-partition version of BCP in general graphs.
In the 1970s Győri and Lovász showed for natural numbers $w_1,\dots,w_k$ where $\sum_i w_i$ is the vertex size, that if $G$ is k-connected, then there exist a connected k-partition with part sizes $w_1,\dots,w_k$. However, to this day no polynomial algorithm to compute such partitions exists for k>4. Towards finding such a partition $T_1,\dots, T_k$, we show how to efficiently compute connected partitions that at least approximately meet the target weights, subject to the mild assumption that each $w_i$ is greater than the weight of the heaviest vertex. In particular, we give a 3-approximation for both the lower and the upper bounded version i.e. we guarantee that each $T_i$ has weight at least $\frac{w_i}{3}$ or that each $T_i$ has weight most $3w_i$, respectively. Also, we present a both-side bounded version that produces a connected partition where each $T_i$ has size at least $\frac{w_i}{3}$ and at most $\max(\{r,3\}) w_i$, where $r \geq 1$ is the ratio between the largest and smallest value in $w_1, \dots, w_k$. In particular for the balanced version, i.e.~$w_1=w_2=, \dots,=w_k$, this gives a partition with $\frac{1}{3}w_i \leq w(T_i) \leq 3w_i$.
Adaptable and conflict colouring multigraphs with no cycles of length three or four
Published
• View Publication
• BIB
The adaptable choosability of a multigraph $G$, denoted $\mathrm{ch}_a(G)$, is the smallest integer $k$ such that any edge labelling, $τ$, of $G$ and any assignment of lists of size $k$ to the vertices of $G$ permits a list colouring, $σ$, of $G$ such that there is no edge $e = uv$ where $τ(e) = σ(u) = σ(v)$. Here we show that for a multigraph $G$ with maximum degree $Δ$ and no cycles of length 3 or 4, $\mathrm{ch}_a(G) \leq (2\sqrt{2}+o(1))\sqrt{Δ/\lnΔ}$. Under natural restrictions we can show that the same bound holds for the conflict choosability of $G$, which is a closely related parameter defined by Dvořák, Esperet, Kang and Ozeki [arXiv:1803.10962].
Representations and identities of plactic-like monoids
Published
• View Publication
• BIB
We exhibit faithful representations of the hypoplactic, stalactic, taiga, sylvester, Baxter and right patience sorting monoids of each finite rank as monoids of upper triangular matrices over any semiring from a large class including the tropical semiring and fields of characteristic $0$. By analysing the image of these representations, we show that the variety generated by a single hypoplactic (respectively, stalactic or taiga) monoid of rank at least $2$ coincides with the variety generated by the natural numbers together with a fixed finite monoid $\mathcal{H}$ (respectively, $\mathcal{F}$) forming a proper subvariety of the variety generated by the plactic monoid of rank $2$.
Structure of (bull, diamond)-free graphs and its applications
Published
• View Publication
• BIB
This paper discusses the complete structure of the (bull, diamond)-free graphs. As an application of that, we give the characterization of the partitionable (bull, diamond)-free graphs. Moreover, we show that such a partition for a partitionable (bull, diamond)-free graph can be found in polynomial time. Additionally, we show that the cop number of a (bull, diamond)-free graph containing a triangle is at most two less than its diameter. Furthermore, the cop number of a connected ($P_n$, bull, diamond)-free graph with a triangle, is at most $n-3$, for any natural number $n>3$. We also discuss a couple of applications of the structural theorem of the (bull, diamond)-free graphs in the conclusions.