natural ↗ reference
4908 papers tagged with this keyword
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.
An Efficient Reduction of a Gammoid to a Partition Matroid
Our main contribution is a polynomial-time algorithm to reduce a $k$-colorable gammoid to a $(2k-2)$-colorable partition matroid. It is known that there are gammoids that can not be reduced to any $(2k-3)$-colorable partition matroid, so this result is tight. We then discuss how such a reduction can be used to obtain polynomial-time algorithms with better approximation ratios for various natural problems related to coloring and list coloring the intersection of matroids.
Estrada index and subgraph centrality of hypergraphs via tensors
Published
• View Publication
• BIB
Uniform hypergraphs have a natural one-to-one correspondence to tensors. In this paper, we investigate the Estrada index and subgraph centrality of an $m$-uniform hypergraph $\mathcal{H}$ via the adjacency tensor. We establish some bounds for the Estrada index and give expressions of the subgraph centrality in terms of graph parameters of the multi-digraphs associated with $\mathcal{H}$. When $\mathcal{H}$ is $2$-uniform, the above Estrada index and subgraph centrality are the Estrada index and subgraph centrality of a graph.
Joint ergodicity of fractional powers of primes
Published
• View Publication
• BIB
We establish mean convergence for multiple ergodic averages with iterates given by distinct fractional powers of primes and related multiple recurrence results. A consequence of our main result is that every set of integers with positive upper density contains patterns of the form $\{m,m+[p_n^a], m+[p_n^b]\}$, where $a,b$ are positive non-integers and $p_n$ denotes the $n$-th prime, a property that fails if $a$ or $b$ is a natural number. Our approach is based on a recent criterion for joint ergodicity of collections of sequences and the bulk of the proof is devoted to obtaining good seminorm estimates for the related multiple ergodic averages. The input needed from number theory are upper bounds for the number of prime $k$-tuples that follow from elementary sieve theory estimates and equidistribution results of fractional powers of primes in the circle.
Abstract colorings, games and ultrafilters
Published
• View Publication
• BIB
The main result provide a common generalization for Ramsey-type theorems concerning finite colorings of edge sets of complete graphs with vertices in infinite semigroups. We capture the essence of theorems proved in different fields: for natural numbers due to Milliken--Tylor, Deuber--Hindman, Bergelson--Hindman, for combinatorial covering properties due to Scheepers and Tsaban, and local properties in function spaces due to Scheepers. To this end, we use idempotent ultrafilters in the Čech--Stone compactifications of discrete infinite semigroups and topological games. The research is motivated by the recent breakthrough work of Tsaban about colorings and the Menger covering property.
Enumerating partitions arising in homotopy theory
Published
• View Publication
• BIB
We present an infinite family of recursive formulas that count binary integer partitions satisfying natural divisibility conditions and show that these counts are interrelated via partial sums. Moreover, we interpret the partitions we study in the language of graded polynomial rings and apply this to the mod $2$ Steenrod algebra to compute the free rank of certain homology modules in stable homotopy theory.
A Class of Simple Rearrangements of the Alternating Harmonic Series
Published in "A class of simple rearrangements of the alternating harmonic series." Amer. Math. Monthly 125 (2018), no. 3, 245-256
• View Publication
• BIB
We present an easily defined countable family of permutations of the natural numbers for which explicit rearrangements (i.e., the sums induced by the permutations) can be computed. The digamma function proves to be the key tool for the computations found here for the alternating harmonic series. The permutations $φ$ under consideration are simple in a sense: they are involutions ($φ\circφ$ is the identity function). We show that the countable set of rearrangements obtained from the simple involutions considered below are dense in the reals.
Homomorphism counts in robustly sparse graphs
For a fixed graph $H$ and for arbitrarily large host graphs $G$, the number of homomorphisms from $H$ to $G$ and the number of subgraphs isomorphic to $H$ contained in $G$ have been extensively studied in extremal graph theory and graph limits theory when the host graphs are allowed to be dense. This paper addresses the case when the host graphs are robustly sparse and proves a general theorem that solves a number of open questions proposed since 1990s and strengthens a number of results in the literature.
We prove that for any graph $H$ and any set ${\mathcal H}$ of homomorphisms from $H$ to members of a hereditary class ${\mathcal G}$ of graphs, if ${\mathcal H}$ satisfies a natural and mild condition, and contracting disjoint subgraphs of radius $O(\lvert V(H) \rvert)$ in members of ${\mathcal G}$ cannot create a graph with large edge-density, then an obvious lower bound for the size of ${\mathcal H}$ gives a good estimation for the size of ${\mathcal H}$. This result determines the maximum number of $H$-homomorphisms, the maximum number of $H$-subgraphs, and the maximum number $H$-induced subgraphs in graphs in any hereditary class with bounded expansion up to a constant factor; it also determines the exact value of the asymptotic logarithmic density for $H$-homomorphisms, $H$-subgraphs and $H$-induced subgraphs in graphs in any hereditary nowhere dense class. Hereditary classes with bounded expansion include (topological) minor-closed families and many classes of graphs with certain geometric properties; nowhere dense classes are the most general sparse classes in sparsity theory. Our machinery also allows us to determine the maximum number of $H$-subgraphs in the class of all $d$-degenerate graphs with any fixed $d$.
BFT$_2$: a General Class of $2d$ $\mathcal{N}=(0,2)$ Theories, 3-Manifolds and Toric Geometry
Published
• View Publication
• BIB
We introduce and initiate the study of a general class of $2d$ $\mathcal{N}=(0,2)$ quiver gauge theories, defined in terms of certain 2-dimensional CW complexes on oriented 3-manifolds. We refer to this class of theories as BFT$_2$$\mbox{'}$s. They are natural generalizations of Brane Brick Models, which capture the gauge theories on D1-branes probing toric Calabi-Yau 4-folds. The dynamics and triality of the gauge theories translate into simple transformations of the underlying CW complexes. We introduce various combinatorial tools for analyzing these theories and investigate their connections to toric Calabi-Yau manifolds, which arise as their master and moduli spaces. Invariance of the moduli space is indeed a powerful criterion for identifying theories in the same triality class. We also investigate the reducibility of these theories.
Multiplicative and semi-multiplicative functions on non-crossing partitions, and relations to cumulants
Published in Advances in Applied Mathematics 145, (2023) 102481
• View Publication
• BIB
We consider the group $(\mathcal{G},*)$ of unitized multiplicative functions in the incidence algebra of non-crossing partitions, where ``$*$'' denotes the convolution operation. We introduce a larger group $(\widetilde{\mathcal{G}},*)$ of unitized functions from the same incidence algebra, which satisfy a weaker condition of being ``semi-multiplicative''. The natural action of $\widetilde{\mathcal{G}}$ on sequences of multilinear functionals of a non-commutative probability space captures the combinatorics of transitions between moments and some brands of cumulants that are studied in the non-commutative probability literature. We use the framework of $\widetilde{\mathcal{G}}$ in order to explain why the multiplication of free random variables can be very nicely described in terms of Boolean cumulants and more generally in terms of $t$-Boolean cumulants, a one-parameter interpolation between free and Boolean cumulants arising from work of Bozejko and Wysoczanski.
It is known that the group $\mathcal{G}$ can be naturally identified as the group of characters of the Hopf algebra Sym of symmetric functions. We show that $\widetilde{\mathcal{G}}$ can also be identified as group of characters of a Hopf algebra $\mathcal{T}$, which is an incidence Hopf algebra in the sense of Schmitt. Moreover, the inclusion of $\mathcal{G}$ into $\widetilde{\mathcal{G}}$ turns out to be the dual of a natural bialgebra homomorphism from $\mathcal{T}$ onto Sym.