arXiv++ Combinatorics

Browse math.CO papers from arXiv

Showing 20 papers (Total: 81756 papers, 47371 authors in database)
2024-02-16 v2
Non-self-touching paths in plane graphs
Published • View PublicationBIB
A path in a graph $G$ is called non-self-touching if two vertices are neighbours in the path if and only if they are neighbours in the graph. We investigate the existence of doubly infinite non-self-touching paths in infinite plane graphs. The matching graph $G_*$ of an infinite plane graph $G$ is obtained by adding all diagonals to all faces, and it plays an important role in the theory of site percolation on $G$. The main result of this paper is a necessary and sufficient condition on $G$ for the existence of a doubly infinite non-self-touching path in $G_*$ that traverses some diagonal. This is a key step in proving, for quasi-transitive $G$, that the critical points of site percolation on $G$ and $G_*$ satisfy the strict inequality $p_c(G_*) < p_c(G)$, and it complements the earlier result of Grimmett and Li (Random Struct. Alg. 65 (2024) 832--856), proved by different methods, concerning the case of transitive graphs. Furthermore it implies, for quasi-transitive graphs, that $p_u(G) + p_c(G) \ge 1$, with equality if and only if the graph $G_Δ$, obtained from $G$ by emptying all separating triangles, is a triangulation. Here, $p_u$ is the critical probability for the existence of a unique infinite open cluster.
On the classification of skew Hadamard matrices of order 36 and related structures
Published • View PublicationBIB
Two skew Hadamard matrices are considered {\sf SH}-equivalent if they are similar by a signed permutation matrix. This paper determines the number of {\sf SH}-inequivalent skew Hadamard matrices of order $36$ for some types. We also study ternary self-dual codes and association schemes constructed from the skew Hadamard matrices of order $36$.
Tic-Tac-Toe on Designs
Published • View PublicationBIB
We consider playing the game of Tic-Tac-Toe on block designs BIBD($v, k, λ$) and transversal designs TD($k, n$). Players take turns choosing points and the first player to complete a block wins the game. We show that triple systems, BIBD($v, 3, λ$), are a first player win if and only if $v \geq 5$. Further, we show that for $k = 2, 3$, TD($k, n$) is a first player win if and only if $n \geq k$. We also consider a weak version of the game, called Maker-Breaker, in which the second player wins if they can stop the first player from winning. In this case, we adapt known bounds for when either the first or second player can win on BIBD($v, k, 1$) and TD($k, n$), and show that for Maker-Breaker, BIBD($v, 4, 1$) is a first player win if and only if $v \geq 16$. We show that TD($4, 4$) is a second player win, and so the second player can force a draw in the regular game by playing the same strategy.
2024-02-15 v3
Construction of CCC and ZCCS Through Additive Characters Over Galois Field
Published • View PublicationBIB
The rapid progression in wireless communication technologies, especially in multicarrier code-division multiple access (MC-CDMA), there is a need of advanced code construction methods. Traditional approaches, mainly based on generalized Boolean functions, have limitations in code length versatility. This paper introduces a novel approach to constructing complete complementary codes (CCC) and Z-complementary code sets (ZCCS), for reducing interference in MC-CDMA systems. The proposed construction, distinct from Boolean function-based approaches, employs additive characters over Galois fields GF($p^{r}$), where $p$ is prime and $r$ is a positive integer. First, we develop CCCs with lengths of $p^{r}$, which are then extended to construct ZCCS with both unreported lengths and sizes of $np^{r}$, where $n$ are arbitrary positive integers. The versatility of this method is further highlighted as it includes the lengths of ZCCS reported in prior studies as special cases, underscoring the method's comprehensive nature and superiority.
2024-02-15 v3
Peaceful Colourings
Published in Bull. Inst. Math. Acad. Sin. (N.S.) 20 (2025), 95-129 • View PublicationBIB
We introduce peaceful colourings, a variant of $h$-conflict free colourings. We call a colouring with no monochromatic edges $p$-peaceful if for each vertex $v$, there are at most $p$ neighbours of $v$ coloured with a colour appearing on another neighbour of $v$. An $h$-conflict-free colouring of a graph is a (vertex)-colouring with no monochromatic edges so that for every vertex $v$, the number of neighbours of $v$ which are coloured with a colour appearing on no other neighbour of $v$ is at least the minimum of $h$ and the degree of $v$. If $G$ is $Δ$-regular then it has an $h$-conflict free colouring precisely if it has a $(Δ-h)$-peaceful colouring. We focus on the minimum $p_Δ$ of those $p$ for which every graph of maximum degree $Δ$ has a $p$-peaceful colouring with $Δ+1$ colours. We show that $p_Δ> (1-\frac{1}{e}-o(1))Δ$ and that for graphs of bounded codegree, $p_Δ\leq (1-\frac{1}{e}+o(1))Δ$. We ask if the latter result can be improved by dropping the bound on the codegree. As a partial result, we show that $p_Δ\leq \frac{8000}{8001}Δ$ for sufficiently large $Δ$.
2024-02-15 v4
A Random-Player Game and Derangement Numbers
Consider the following game between a random player R and a deterministic player D. There is a pile of n elements at the beginning. The rules for playing are as follows: In each turn of R, if the pile contains exactly m elements, R removes k elements from the pile, where k is independently identically distributed from {1, . . . , m}. In each turn of D, D removes only one element. The winner is the player that, at the end of its round, has no elements remaining. R starts first to play. This short paper shows that Dn, which is defined as the probability of D winning the game (when is initialized with n elements), approaches 1/e when n increases; and more specifically, Dn = dn/n!, where dn is the n-th derangement number.
2024-02-15 v2
A categorification for the characteristic polynomial of matroids
In the present paper, we provide a cohomology group as a categorification of the characteristic polynomial of matroids. The construction depends on the ``quasi-representation'' of a matroid. For a certain choice of the quasi-representation, we show that our cohomology theory gives a generalization of the chromatic cohomology introduced by L. Helme-Guizon and Y. Rong, and also the characteristic cohomology introduced by Z. Dancso and A. Licata.
2024-02-15
Jones--Wenzl projections and Dyck tilings: type $A$ and $B$
The Jones--Wenzl projections are a special class of elements of the Temperley--Lieb algebra. We prove that the coefficient appearing in the Jones--Wenzl projection is given by a generating function of combinatorial objects, called Dyck tilings. We also show that this correspondence holds for type $B$ case.
2024-02-15 v2
Mallows Product Measure
Published in Electron. J. Probab. 29: 1-33 (2024) • View PublicationBIB
Q-exchangeable ergodic distributions on the infinite symmetric group were classified by Gnedin-Olshanski (2012). In this paper, we study a specific linear combination of the ergodic measures and call it the Mallows product measure. From a particle system perspective, the Mallows product measure is a reversible stationary blocking measure of the infinite-species ASEP and it is a natural multi-species extension of the Bernoulli product blocking measures of the one-species ASEP. Moreover, the Mallows product measure can be viewed as the universal product blocking measure of interacting particle systems coming from random walks on Hecke algebras. For the random infinite permutation distributed according to the Mallows product measure we have computed the joint distribution of its neighboring displacements, as well as several other observables. The key feature of the obtained formulas is their remarkably simple product structure. We project these formulas to ASEP with finitely many species, which in particular recovers a recent result of Adams-Balazs-Jay, and also to ASEP(q,M). Our main tools are results of Gnedin-Olshanski about ergodic Mallows measures and shift-invariance symmetries of the stochastic colored six vertex model discovered by Borodin-Gorin-Wheeler and Galashin.
2024-02-15 v2
Enumeration of multiplex juggling card sequences using generalized q-derivatives
Published in Enumerative Combinatorics and Applications 6:2 (2026) Article S2R12 • View PublicationBIB
In 2019, Butler, Choi, Kim, and Seo introduced a new type of juggling card that represents multiplex juggling patterns in a natural bijective way. They conjectured a formula for the generating function for the number of multiplex juggling cards with capacity 2. In this paper we prove their conjecture. More generally, we find an explicit formula for the generating function with any capacity. We also find an expression for the generating function for multiplex juggling card sequences by introducing a generalization of the q-derivative operator. As a consequence, we show that this generating function is a rational function.
2024-02-15 v3
Operadic Kazhdan-Lusztig-Stanley theory
Published • View PublicationBIB
We introduce a new type of operad-like structure called a P-operad, which depends on the choice of some collection of posets P, and which is governed by chains in posets of P. We introduce several examples of such structures which are related to classical poset theoretic notions such as poset homology, Cohen--Macaulayness and lexicographic shellability. We then show that P-operads form a satisfactory framework to categorify Kazhdan--Lusztig polynomials of geometric lattices and their kernel. In particular, this leads to a new proof of the positivity of the coefficients of Kazhdan--Lusztig polynomials of geometric lattices.
2024-02-15 v3
Computing the EHZ capacity is NP-hard
Published in Proc. Amer. Math. Soc. Ser. B 11 (2024), 603-611 • View PublicationBIB
The Ekeland-Hofer-Zehnder capacity (EHZ capacity) is a fundamental symplectic invariant of convex bodies. We show that computing the EHZ capacity of polytopes is NP-hard. For this we reduce the feedback arc set problem in bipartite tournaments to computing the EHZ capacity of simplices.
2024-02-15
Some counting formulas for $λ$-quiddities over the rings $\mathbb{Z}/2^{m}\mathbb{Z}$
Published • View PublicationBIB
The $λ$-quiddities of size $n$ are $n$-tuples of elements of a fixed set, solutions of a matrix equation appearing in the study of Coxeter's friezes. Their number and their properties are closely linked to the structure and the cardinality of the chosen set. The main objective of this text is to obtain an explicit formula giving the number of $λ$-quiddities of odd size, and a lower and upper bound for the number of $λ$-quiddities of even size, over the rings $\mathbb{Z}/2^{m}\mathbb{Z}$ ($m \geq 2$). We also give explicit formulas concerning the number of $λ$-quiddities of size $n$ over $\mathbb{Z}/8\mathbb{Z}$.
2024-02-15 v2
Colouring graphs from random lists
Published • View PublicationBIB
Given positive integers $k \leq m$ and a graph $G$, a family of lists $L = \{L(v) : v \in V(G)\}$ is said to be a random $(k,m)$-list-assignment if for every $v \in V(G)$ the list $L(v)$ is a subset of $\{1, \ldots, m\}$ of size $k$, chosen uniformly at random and independently of the choices of all other vertices. An $n$-vertex graph $G$ is said to be a.a.s. $(k,m)$-colourable if $\lim_{n \to \infty} \mathbb{P}(G \textrm{ is } L-colourable) = 1$, where $L$ is a random $(k,m)$-list-assignment. We prove that if $m \gg n^{1/k^2} Δ^{1/k}$ and $m \geq 3 k^2 Δ$, where $Δ$ is the maximum degree of $G$ and $k \geq 3$ is an integer, then $G$ is a.a.s. $(k,m)$-colourable. This is not far from being best possible, forms a continuation of the so-called palette sparsification results, and proves in a strong sense a conjecture of Casselgren. Additionally, we consider this problem under the additional assumption that $G$ is $H$-free for some graph $H$. For various graphs $H$, we estimate the smallest $m$ for which an $H$-free $n$-vertex graph $G$ is a.a.s. $(k,m)$-colourable. This extends and improves several results of Casselgren.
2024-02-15 v2
A geometric proof of the infinite $(p, q)$-theorem for hyperplane piercing
We provide a geometric proof of the $(\aleph_{0}, d+1)$-theorem for piercing compact connected sets by hyperplanes. Our argument uses only elementary properties of convex sets and clarifies the core geometric structure behind the theorem.
2024-02-15
More on graph pebbling number
Published • View PublicationBIB
Let $G=(V,E)$ be a simple graph. A function $φ:V\rightarrow \mathbb{N}\cup \{0\}$ is called a configuration of pebbles on the vertices of $G$ and the quantity $\sum_{u\in V}φ(u)$ is called the size of $φ$ which is just the total number of pebbles assigned to vertices. A pebbling step from a vertex $u$ to one of its neighbors $v$ reduces $φ(u)$ by two and increases $φ(v)$ by one. Given a specified target vertex $r$ we say that $φ$ is $t$-fold $r$-solvable, if some sequence of pebbling steps places at least $t$ pebbles on $r$. Conversely, if no such steps exist, then $φ$ is $r$-unsolvable. The minimum positive integer $m$ such that every configuration of size $m$ on the vertices of $G$ is $t$-fold $r$-solvable is denoted by $π_t(G,r)$. The $t$-fold pebbling number of $G$ is defined to be $π_t(G)= max_{r\in V(G)}π_t(G,r)$. When $t=1$, we simply write $π(G)$, which is the pebbling number of $G$. In this note, we study the pebbling number for some specific graphs. Also we investigate the pebbling number of corona and neighbourhood corona of two graphs.
2024-02-15 v3
An improved lower bound on the Shannon capacities of complements of odd cycles
Published in Proc. Amer. Math. Soc. 153 (2025), 1751-1759 • View PublicationBIB
Improving a 2003 result of Bohman and Holzman, we show that for $n \geq 1$, the Shannon capacity of the complement of the $2n+1$-cycle is at least $(2^{r_n} + 1)^{1/r_n} = 2 + Ω(2^{-r_n}/r_n)$, where $r_n = \exp(O((\log n)^2))$ is the number of partitions of $2(n-1)$ into powers of $2$. We also discuss a connection between this result and work by Day and Johnson in the context of graph Ramsey numbers.
2024-02-15
On the Hamilton-Waterloo Problem with a single factor of 6-cycles
Published • View PublicationBIB
The uniform Hamilton-Waterloo Problem (HWP) asks for a resolvable $(C_M, C_N)$-decomposition of $K_v$ into $α$ $C_M$-factors and $β$ $C_N$-factors. We denote a solution to the uniform Hamilton Hamilton-Waterloo problem by $\hbox{HWP}(v; M, N; α, β)$. Our research concentrates on addressing some of the remaining unresolved cases, which pose a significant challenge to generalize. We place a particular emphasis on instances where the $\gcd(M,N)=\{2, 3\}$, with a specific focus on the parameter $M=6$. We introduce modifications to some known structures, and develop new approaches to resolving these outstanding challenges in the construction of uniform $2$-factorizations. This innovative method not only extends the scope of solved cases, but also contributes to a deeper understanding of the complexity involved in solving the Hamilton-Waterloo Problem.
2024-02-15 v4
A geometric approach to conjugation-invariant random permutations
Published in Probability Theory and Related Fields, 2025 • View PublicationBIB
We propose a new approach to conjugation-invariant random permutations. Namely, we explain how to construct uniform permutations in given conjugacy classes from certain point processes in the plane. This enables the use of geometric tools to study various statistics of such permutations. For their longest decreasing subsequences, we prove universality of the $2\sqrt n$ asymptotic. For Robinson--Schensted shapes, we prove universality of the Vershik--Kerov--Logan--Shepp limit curve, thus solving a conjecture of Kammoun. For the number of records, we establish a phase transition phenomenon as the number of fixed points grows. For pattern counts, we obtain an asymptotic normality result, partially answering a conjecture of Hamaker and Rhoades.
Chromatic symmetric functions and polynomial invariants of trees
Published • View PublicationBIB
Stanley asked whether a tree is determined up to isomorphism by its chromatic symmetric function. We approach Stanley's problem by studying the relationship between the chromatic symmetric function and other invariants. First, we prove Crew's conjecture that the chromatic symmetric function of a tree determines its generalized degree sequence, which enumerates vertex subsets by cardinality and the numbers of internal and external edges. Second, we prove that the restriction of the generalized degree sequence to subtrees contains exactly the same information as the subtree polynomial, which enumerates subtrees by cardinality and number of leaves. Third, we construct arbitrarily large families of trees sharing the same subtree polynomial, proving and generalizing a conjecture of Eisenstat and Gordon.