natural ↗ reference
4897 papers tagged with this keyword
Shattering $k$-sets with Permutations
Published
• View Publication
• BIB
Many concepts from extremal set theory have analogues for families of permutations. This paper is concerned with the notion of shattering for permutations. A family $\mathcal{P}$ of permutations of an $n$-element set $X$ shatters a $k$-set from $X$ if it appears in each of the $k!$ possible orders in some permutation in $\mathcal{P}$. The smallest family $\mathcal{P}$ which shatters every $k$-subset of $X$ is known to have size $Θ(\log n)$.
Our aim is to introduce and study two natural partial versions of this shattering problem.
Our first main result concerns the case where our family must contain only $t$ out of $k!$ of the possible orders. When $k=3$ we show that there are three distinct regimes depending on $t$: constant, $Θ(\log\log n)$, $Θ(\log n)$. We also show that for larger $k$ these same regimes exist although they may not cover all values of $t$.
Our second direction concerns the problem of determining the largest number of $k$-sets that can be totally shattered by a family with given size. We show that for any $n$, a family of $6$ permutations is enough to shatter a proportion between $\frac{17}{42}$ and $\frac{11}{14}$ of all triples.
On the enumeration of integer tetrahedra
Published
• View Publication
• BIB
We consider the problem of enumerating integer tetrahedra of fixed perimeter (sum of side-lengths) and/or diameter (maximum side-length), up to congruence. As we will see, this problem is considerably more difficult than the corresponding problem for triangles, which has long been solved. We expect there are no closed-form solutions to the tetrahedron enumeration problems, but we explore the extent to which they can be approached via classical methods, such as orbit enumeration. We also discuss algorithms for computing the numbers, and present several tables and figures that can be used to visualise the data. Several intriguing patterns seem to emerge, leading to a number of natural conjectures. The central conjecture is that the number of integer tetrahedra of perimeter $n$, up to congruence, is asymptotic to $n^5/C$ for some constant $C\approx 229000$.
Peaks of cylindric plane partitions
We study the asymptotic distribution, as the volume parameter goes to 1, of the peak (largest part) of finite- or slowly-growing-width cylindric plane partitions weighted by their trace, seam, and volume. There are two natural asymptotic regimes depending on the trace/seam parameters, and in both cases we obtain asymptotics governed by finite temperature (periodic) analogues of the Bessel and Airy gap probabilities from random matrix theory. In particular, the distributions we obtain interpolate \emph{in more than one way} between two well-known extremal value distributions: the Gumbel distribution of maxima of iid random variables and the Tracy--Widom distribution of maxima of eigenvalues of random Hermitian matrices. We also interpret our results in terms of last passage percolation on a cylinder, which yields to interesting connections to the Kardar--Parisi--Zhang equation.
Describing hereditary properties by forbidden circular orderings
Published
• View Publication
• BIB
Each hereditary property can be characterized by its set of minimal obstructions; these sets are often unknown, or known but infinite. By allowing extra structure it is sometimes possible to describe such properties by a finite set of forbidden objects. This has been studied most intensely when the extra structure is a linear ordering of the vertex set. For instance, it is known that a graph G is $k$-colourable if and only if $V(G)$ admits a linear ordering $\le$ with no vertices $v_1 \le \cdots \le v_{k+1}$ such that $v_i v_{i+1} \in E(G)$ for every $i \in \{ 1, \dots, k \}$. In this paper, we study such characterizations when the extra structure is a circular ordering of the vertex set. We show that the classes that can be described by finitely many forbidden circularly ordered graphs include forests, circular-arc graphs, and graphs with circular chromatic number less than $k$. In fact, every description by finitely many forbidden circularly ordered graphs can be translated to a description by finitely many forbidden linearly ordered graphs. Nevertheless, our observations underscore the fact that in many cases the circular order descriptions are nicer and more natural.
Zero-sum constants related to the Jacobi symbol
For $A\subseteq\mathbb Z_n$, the $A$-weighted Gao constant $E_A(n)$ is defined to be the smallest natural number $k$ such that any sequence of $k$ elements in $\mathbb Z_n$ has a subsequence of length $n$ whose $A$-weighted sum is zero. When $A$ is the set of all units in $\mathbb Z_n$, we determine the value of $E_A(n)$ and values of two related constants $C_A(n)$ and $D_A(n)$. We also characterize all sequences of length $E_A(n)-1$ in $\mathbb Z_n$ which do not have any $A$-weighted zero-sum subsequence of length $n$ when $n$ is a power of 2.
Hypergraph Representation via Axis-Aligned Point-Subspace Cover
Published in Discrete Mathematics & Theoretical Computer Science, vol. 27:2, Combinatorics (February 13, 2025) dmtcs:11676
• View Publication
• BIB
We propose a new representation of $k$-partite, $k$-uniform hypergraphs, that is, a hypergraph with a partition of vertices into $k$ parts such that each hyperedge contains exactly one vertex of each type; we call them $k$-hypergraphs for short. Given positive integers $\ell, d$, and $k$ with $\ell\leq d-1$ and $k={d\choose\ell}$, any finite set $P$ of points in $\mathbb{R}^d$ represents a $k$-hypergraph $G_P$ as follows. Each point in $P$ is covered by $k$ many axis-aligned affine $\ell$-dimensional subspaces of $\mathbb{R}^d$, which we call $\ell$-subspaces for brevity and which form the vertex set of $G_P$. We interpret each point in $P$ as a hyperedge of $G_P$ that contains each of the covering $\ell$-subspaces as a vertex. The class of \emph{$(d,\ell)$-hypergraphs} is the class of $k$-hypergraphs that can be represented in this way. The resulting classes of hypergraphs are fairly rich: Every $k$-hypergraph is a $(k,k-1)$-hypergraph. On the other hand, $(d,\ell)$-hypergraphs form a proper subclass of the class of all $k$-hypergraphs for $\ell<d-1$.
In this paper we give a natural structural characterization of $(d,\ell)$-hypergraphs based on vertex cuts. This characterization leads to a poly\-nomial-time recognition algorithm that decides for a given $k$-hypergraph whether or not it is a $(d,\ell)$-hypergraph and that computes a representation if existing. We assume that the dimension $d$ is constant and that the partitioning of the vertex set is prescribed.
Determining triangulations and quadrangulations by boundary distances
Published in Journal of Combinatorial Theory, Series B Volume 163, November 2023, Pages 233-255
• View Publication
• BIB
We show that if a disc triangulation has all internal vertex degrees at least 6, then the full triangulation may be determined from the pairwise graph distance between boundary vertices. A similar result holds for quadrangulations with all internal degrees at least 4. This confirms a conjecture of Itai Benjamini. Both degree bounds are best possible, and correspond to local non-positive curvature. However, we show that a natural conjecture for a "mixed" version of the two results is not true.
Additive bases, coset covers, and non-vanishing linear maps
Recently, the first two authors proved the Alon-Jaeger-Tarsi conjecture on non-vanishing linear maps, for large primes. We extend their ideas to address several other related conjectures.
We prove the weak Additive Basis conjecture proposed by Szegedy, making a significant step towards the Additive Basis conjecture of Jaeger, Linial, Payan, and Tarsi. In fact, we prove it in a strong form: there exists a set $A\subset\mathbb{F}_p^*$ of size $O(\log p)$ such that if $B\subset\mathbb{F}_p^{n}$ is the union of $p$ linear bases, then $A\cdot B=\{a\cdot v:a\in A, v\in B\}$ is an additive basis.
An old result of Tomkinson states that if $G$ is a group, and $\{H_{i}x_{i}:i\in [k]\}$ is an irredundant coset cover of $G$, then $|G:\bigcap_{i\in [k]} H_{i}|\leq k!,$ and this bound is the best possible. It is a longstanding open problem whether the upper bound can be improved to $e^{O(k)}$ in case we restrict cosets to subgroups. Pyber proposed to study this question for abelian groups. We show that somewhat surprisingly, if $G$ is abelian, the upper bound can be improved to $e^{O(k\log \log k)}$ already in the case of general coset covers, making the first substantial improvement over the $k!$ bound.
Finally, we prove a natural generalization of the Alon-Jaeger-Tarsi conjecture for multiple matrices.
On the quartet distance given partial information
Published
• View Publication
• BIB
Let $T$ be an arbitrary phylogenetic tree with $n$ leaves. It is well-known that the average quartet distance between two assignments of taxa to the leaves of $T$ is $\frac 23 \binom{n}{4}$. However, a longstanding conjecture of Bandelt and Dress asserts that $(\frac 23 +o(1))\binom{n}{4}$ is also the {\em maximum} quartet distance between two assignments. While Alon, Naves, and Sudakov have shown this indeed holds for caterpillar trees, the general case of the conjecture is still unresolved. A natural extension is when partial information is given: the two assignments are known to coincide on a given subset of taxa. The partial information setting is biologically relevant as the location of some taxa (species) in the phylogenetic tree may be known, and for other taxa it might not be known. What can we then say about the average and maximum quartet distance in this more general setting? Surprisingly, even determining the {\em average} quartet distance becomes a nontrivial task in the partial information setting and determining the maximum quartet distance is even more challenging, as these turn out to be dependent of the structure of $T$. In this paper we prove nontrivial asymptotic bounds that are sometimes tight for the average quartet distance in the partial information setting. We also show that the Bandelt and Dress conjecture does not generally hold under the partial information setting. Specifically, we prove that there are cases where the average and maximum quartet distance substantially differ.
Acyclic reorientation lattices and their lattice quotients
Published in Ann. Comb. 28(4):1035-1092, 2024
• View Publication
• BIB
We prove that the acyclic reorientation poset of a directed acyclic graph $D$ is a lattice if and only if the transitive reduction of any induced subgraph of $D$ is a forest. We then show that the acyclic reorientation lattice is always congruence normal, semidistributive (thus congruence uniform) if and only if $D$ is filled, and distributive if and only if $D$ is a forest. When the acyclic reorientation lattice is semidistributive, we introduce the ropes of $D$ that encode the join irreducibles acyclic reorientations and exploit this combinatorial model in three directions. First, we describe the canonical join and meet representations of acyclic reorientations in terms of non-crossing rope diagrams. Second, we describe the congruences of the acyclic reorientation lattice in terms of lower ideals of a natural subrope order. Third, we use Minkowski sums of shard polytopes of ropes to construct a quotientope for any congruence of the acyclic reorientation lattice.
Skew Howe duality and limit shapes of Young diagrams
Published in J. Lond. Math. Soc., 2023
• View Publication
• BIB
We consider the skew Howe duality for the action of certain dual pairs of Lie groups $(G_1, G_2)$ on the exterior algebra $\bigwedge(\mathbb{C}^{n} \otimes \mathbb{C}^{k})$ as a probability measure on Young diagrams by the decomposition into the sum of irreducible representations. We prove a combinatorial version of this skew Howe for the pairs $(\mathrm{GL}_{n}, \mathrm{GL}_{k})$, $(\mathrm{SO}_{2n+1}, \mathrm{Pin}_{2k})$, $(\mathrm{Sp}_{2n}, \mathrm{Sp}_{2k})$, and $(\mathrm{Or}_{2n}, \mathrm{SO}_{k})$ using crystal bases, which allows us to interpret the skew Howe duality as a natural consequence of lattice paths on lozenge tilings of certain partial hexagonal domains. The $G_1$-representation multiplicity is given as a determinant formula using the Lindström-Gessel-Viennot lemma and as a product formula using Dodgson condensation. These admit natural $q$-analogs that we show equals the $q$-dimension of a $G_2$-representation (up to an overall factor of $q$), giving a refined version of the combinatorial skew Howe duality. Using these product formulas (at $q =1$), we take the infinite rank limit and prove the diagrams converge uniformly to the limit shape.
A representation theorem for end spaces of infinite graphs
End-spaces of infinite graphs naturally generalise the Freudenthal boundary and sit at the interface between graph theory, geometric group theory and topology.
Our main result is that every end-space can topologically be represented by a special order tree. Our main proof ingredient is a structure theorem that we introduce, which carves out the order-tree-like structure of any graph in such a way that there is a natural bijection between the ends of the graph and the limit-type down-closed chains of the order-tree.
The topological resolution of a finite closure space
For every finite closure space $X$ one can define a finite topological space $\operatorname{Top} X$ together with a natural projection $\operatorname{Top} X\longrightarrow X$. This could allow to apply the techniques of topological combinatorics to the study of finite closure spaces.
On the determination of $p$-Frobenius and related numbers using the $p$-Apéry set
Published
• View Publication
• BIB
In this paper, we give convenient formulas in order to obtain explicit expressions of a generalized Frobenius number called the $p$-Frobenius number as well as its related values. Here, for a non-negative integer $p$, the $p$-Frobenius number is the largest integer whose number of solutions of the linear diophantine equation in terms of positive integers $a_1,a_2,\dots,a_k$ with $\gcd(a_1,a_2,\dots,a_k)=1$ is at most $p$. When $p=0$, the problem is reduced to the famous and classical linear Diophantine problem of Frobenius. $0$-Frobenius number is the classical Frobenius number. Our formula is not only a natural extension of the existing classical formulas, but also has the great advantage that the explicit expressions of values such as the $p$-Frobenius and related numbers can be obtained systematically. The concept and formula of the weighted sum has been given recently. We also give a $p$-generalized formula for such weighted sums. The central role is the $p$-Apéry set, which is a generalization of the classical Apéry set.
Homomorphism Tensors and Linear Equations
Published in Advances in Combinatorics 2025:4, 50pp
• View Publication
• BIB
Lovász (1967) showed that two graphs $G$ and $H$ are isomorphic if and only if they are homomorphism indistinguishable over the class of all graphs, i.e. for every graph $F$, the number of homomorphisms from $F$ to $G$ equals the number of homomorphisms from $F$ to $H$. Recently, homomorphism indistinguishability over restricted classes of graphs such as bounded treewidth, bounded treedepth and planar graphs, has emerged as a surprisingly powerful framework for capturing diverse equivalence relations on graphs arising from logical equivalence and algebraic equation systems.
In this paper, we provide a unified algebraic framework for such results by examining the linear-algebraic and representation-theoretic structure of tensors counting homomorphisms from labelled graphs. The existence of certain linear transformations between such homomorphism tensor subspaces can be interpreted both as homomorphism indistinguishability over a graph class and as feasibility of an equational system. Following this framework, we obtain characterisations of homomorphism indistinguishability over several natural graph classes, namely trees of bounded degree and graphs of bounded pathwidth, answering a question of Dell et al. (2018), and graphs of bounded treedepth.
Multiplicity structure of the arc space of a fat point
Published in Alg. Number Th. 18 (2024) 947-967
• View Publication
• BIB
The equation $x^m = 0$ defines a fat point on a line. The algebra of regular functions on the arc space of this scheme is the quotient of $k[x, x', x^{(2)}, \ldots]$ by all differential consequences of $x^m = 0$. This infinite-dimensional algebra admits a natural filtration by finite dimensional algebras corresponding to the truncations of arcs. We show that the generating series for their dimensions equals $\frac{m}{1 - mt}$. We also determine the lexicographic initial ideal of the defining ideal of the arc space. These results are motivated by nonreduced version of the geometric motivic Poincaré series, multiplicities in differential algebra, and connections between arc spaces and the Rogers-Ramanujan identities. We also prove a recent conjecture put forth by Afsharijoo in the latter context.
Irreducibility over the Max-Min Semiring
For sets $A, B\subset \mathbb N$, their sumset is $A + B := \{a+b: a\in A, b\in B\}$. If we cannot write a set $C$ as $C = A+B$ with $|A|, |B|\geq 2$, then we say that $C$ is $\textit{irreducible}$. The question of whether a given set $C$ is irreducible arises naturally in additive combinatorics. Equivalently, we can formulate this question as one about the irreducibility of boolean polynomials, which has been discussed in previous work by K. H. Kim and F. W. Roush (2005) and Y. Shitov (2014). We prove results about the irreducibility of polynomials and power series over the max-min semiring, a natural generalization of the boolean polynomials.
We use combinatorial and probabilistic methods to prove that almost all polynomials are irreducible over the max-min semiring, generalizing work of Y. Shitov (2014) and proving a 2011 conjecture by D. L. Applegate, M. Le Brun, and N. J. A. Sloane. Furthermore, we use measure-theoretic methods and apply Borel's result on normal numbers to prove that almost all power series are asymptotically irreducible over the max-min semiring. This result generalizes work of E. Wirsing (1953).
Characterising elliptic and hyperbolic hyperplanes of the parabolic quadric \Q(2n,q)
We provide a natural characterisation for the sets of elliptic and hyperbolic hyperplanes of the parabolic quadric Q(2n,q) when q is even. This characterisation is based on the number of elements of these sets through points and codimension 2 spaces and generalises [S. Barwick, A. Hui, and W-A. Jackson. Characterising elliptic solids of Q(4,q), q even. Discrete Math., 343 (6) (2020), 111857] and [S. Barwick, A. Hui, W-A. Jackson, and J. Schillewaert. Characterising hyperbolic solids of Q(4,q), q even. Des. Codes Cryptogr., 88 (1) (2020), 33--39.].
Generalized Lucas congruences and linear $p$-schemes
Published
• View Publication
• BIB
We observe that a sequence satisfies Lucas congruences modulo $p$ if and only if its values modulo $p$ can be described by a linear $p$-scheme, as introduced by Rowland and Zeilberger, with a single state. This simple observation suggests natural generalizations of the notion of Lucas congruences. To illustrate this point, we prove explicit generalized Lucas congruences for integer sequences that can be represented as the constant terms of $P(x,y)^n Q(x,y)$ where $P$ and $Q$ are certain Laurent polynomials.
On the representation of the natural numbers by powers of the golden mean
Published
• View Publication
• BIB
In a base phi representation a natural number is written as a sum of powers of the golden mean $\varphi$. There are many ways to do this. Well known is the standard representation, introduced by George Bergman in 1957, where a unique representation is obtained by requiring that no consecutive powers $\varphi^n$ and $\varphi^{n+1}$ do occur in the representation. In this paper we introduce a new representation by allowing that the powers $\varphi^0$ and $\varphi^1$ may occur at the same time, but no other consecutive powers. We then argue that this representation is much closer to the classical representation of the natural numbers by powers of an integer than Bergman's standard representation.