arXiv++ Combinatorics

Browse math.CO papers from arXiv

Showing 20 papers (Total: 83502 papers, 48219 authors in database)
2024-08-25
An NP-hard generalization of Nim
A new combinatorial game is given. It generalizes both Substraction and Nim. It is proved the computation of Nash equilibrium points in this new game is NP-hard.
2024-08-25 v2
On a question of Erdős and Gimbel on the cochromatic number
Published in Electron. J. Comb. 31(4), P4.72, 2024 • View Publication • BIB
In this note, we show that the difference between the chromatic and the cochromatic number of the random graph $G_{n,1/2}$ is not whp bounded by $n^{1/2-o(1)}$, addressing a question of Erdős and Gimbel.
2024-08-25
Graph Cordiality -- Extremes and Preservers
An undirected graph is said to be cordial if there is a friendly (0,1)-labeling of the vertices that induces a friendly (0,1)-labeling of the edges. An undirected graph $G$ is said to be $(2,3)$-orientable if there exists a friendly (0,1)-labeling of the vertices of $G$ such that about one third of the edges are incident to vertices labeled the same. That is, there is some digraph that is an orientation of $G$ that is $(2,3)$-cordial. Examples of the smallest noncordial/non-$(2,3)$-orientable graphs are given and upper bounds on the possible number of edges in a cordial/$(2,3)$-orientable graph are presented. It is also shown that if $T$ is a linear operator on the set of all undirected graphs on $n$ vertices that strongly preserves the set of cordial graphs or the set of $(2,3)$-orientable graphs then $T$ is a vertex permutation..
2024-08-25
Stirling numbers for complex reflection groups
Published • View Publication • BIB
In an earlier paper, we defined and studied q-analogues of the Stirling numbers of both types for the Coxeter group of type B. In the present work, we show how this approach can be extended to all irreducible complex reflection groups G. The Stirling numbers of the first and second kind are defined via the Whitney numbers of the first and second kind, respectively, of the intersection lattice of G. For the groups G(m,p,n), these numbers and polynomials can be given combinatorial interpretations in terms of various statistics. The ordered version of ths q-Stirling numbers of the second kind also show up in conjectured Hilbert series for certain super coinvariant algebras.
2024-08-25 v3
The Basis of Foot-Sortable Sock Orderings
Published • View Publication • BIB
Defant and Kravitz considered the following problem: Suppose that, to the right of a foot, there is a line of colored socks that needs to be sorted. However, at any point in time, one can only either place the leftmost sock to the right of the foot onto the foot (stack) or remove the outermost sock on the foot and make it the rightmost sock to the left of the foot (unstack). In this paper, we explicitly describe all minimal initial sock orderings that are unsortable.
2024-08-25
Generalizations of wreath product identities via Garsia-Gessel bijections
Garsia and Gessel constructed innovative bijections to obtain multivariate generating functions of permutation statistics. In 2011, Biaogioli and Zeng successfully derived four and six variate distributions on the set of wreath product. In this paper, we will generalize the four variate identities from BZ to any positive dominant ordering. And we will simplify the six variate distribution function under the ordering originally defined by Adin and Roichman in 2001.
Colouring a graph with position sets
In this paper we consider a colouring version of the general position problem. The \emph{$\gp $-chromatic number} is the smallest number of colours needed to colour the vertices of the graph such that each colour class has the no-three-in-line property. We determine bounds on this colouring number in terms of the diameter, general position number, size, chromatic number, cochromatic number and total domination number and prove realisation results. We also determine the $\gp $-chromatic number of several graph classes, including Kneser graphs $K(n,2)$, line graphs of complete graphs, complete multipartite graphs, block graphs and Cartesian products. Finally, we show that the $\gp $-colouring problem is NP-complete.
2024-08-24 v2
Combinatorial invariants for certain classes of non-abelian groups
Published in Journal of Number Theory, 2026 • View Publication • BIB
This article focuses on the study of zero-sum invariants of finite non-abelian groups. We address two main problems: the first centers on the ordered Davenport constant and the second on Gao's constant. We establish a connection between the ordered Davenport constant and the small Davenport constant for a finite non-abelian group of even order, which in turn gives a relation with the Noether number. Additionally, we confirm a conjecture of Gao and Li for a non-abelian group of order $2p^α$, where $p$ is a prime. Furthermore, we prove a conjecture that connects the ordered Davenport constant to the Loewy length for certain classes of finite $2$-groups.
2024-08-24 v3
$s$-Modular, $s$-congruent and $s$-duplicate partitions
Published • View Publication • BIB
In this paper, we investigate the combinatorial properties of three classes of integer partitions: (1) $s$-modular partitions, a class consisting of partitions into parts with a number of occurrences (i.e., multiplicity) congruent to $0$ or $1$ modulo $s$, (2) $s$-congruent partitions, which generalize Sellers' partitions into parts not congruent to $2$ modulo $4$, and (3) $s$-duplicate partitions, of which the partitions having distinct odd parts and enumerated by the function $\mypod(n)$ are a special case. In this vein, we generalize Alladi's series expansion for the product generating function of $\mypod(n)$ and show that Andrews' generalization of Göllnitz-Gordon identities coincides with the number of partitions into parts simultaneously $s$-congruent and $t$-distinct (parts appearing fewer than $t$ times).
2024-08-24
On $q$-deformed cubic equations: the quantum heptagon and nonagon
Published • View Publication • BIB
The recent notion of $q$-deformed irrational numbers is characterized by the invariance with respect to the action of the modular group $\PSL(2,\Z)$, or equivalently under the Burau representation of the braid group~$B_3$. The theory of $q$-deformed quadratic irrationals and quadratic equations with integer coefficients is known and entirely based on this invariance. In this paper, we consider the case of cubic irrationals. We show that irreducible cubic equations with three distinct real roots and cyclic Galois group~$C_3$ (or $\Z/3\Z$) acting by a third order element of $\PSL(2,\Z)$, have a canonical $q$-deformation, that we describe. This class of cubic equations contains well-known examples including the equations that describe regular $7$- and $9$-gons.
The Median of Sierpinski Triangle Graphs
Published • View Publication • BIB
The median $M$ of a graph $G$ is the set of vertices with a minimum total distance to all other vertices in the graph. In this paper, we determine the median of Sierpiński triangle graphs. Sierpiński triangle graphs, also known as Sierpiński gasket graphs of order $n$ are graphs formed by contracting all non-clique edges from the Sierpiński graphs of order ($n+1$).
2024-08-23 v3
Solvable and Nilpotent Matroids: Realizability and Irreducible Decomposition of Their Associated Varieties
Published • View Publication • BIB
We introduce the families of solvable and nilpotent matroids, examining their realization spaces, closures, and associated matroid and circuit varieties. We study their realizability, as well as the irreducible decomposition of their associated matroid and circuit varieties. Additionally, we describe a finite generating set for the corresponding ideals, considered up to radical. We establish sufficient conditions for both the realizability of these matroids and the irreducibility of their associated varieties. Specifically, we establish the realizability and irreducibility of matroid varieties associated with nilpotent matroids and prove the irreducibility of matroid varieties arising from certain classes of solvable paving matroids. Additionally, we analyze the defining polynomial equations of these varieties using Grassmann-Cayley algebra and geometric liftability techniques. Furthermore, we provide a complete generating set for the matroid ideals associated with forest configurations.
2024-08-23 v3
Dynamically syndetic sets and the combinatorics of syndetic, idempotent filters
A subset of the positive integers is dynamically central syndetic if it contains the times that a point returns to a neighborhood of itself in a minimal topological dynamical system. These sets are part of the highly-influential link between dynamics and combinatorics forged by Furstenberg and Weiss in the 1970's. Our main result is a characterization of dynamically central syndetic sets as precisely those sets that belong to syndetic, idempotent filters. This gives a "global" analogue to the well-known "local" characterization of Furstenberg's central sets as members of minimal, idempotent ultrafilters. Applying the main result, we answer two open questions posed by Host, Kra, and Maass concerning sets of pointwise topological recurrence.
2024-08-23
Palette Sparsification via FKNP
A random set $S$ is $p$-spread if, for all sets $T$, $$\mathbb{P}(S \supseteq T) \leq p^{|T|}.$$ There is a constant $C>1$ large enough that for every graph $G$ with maximum degree $D$, there is a $C/D$-spread distribution on $(D+1)$-colorings of $G$. Making use of a connection between thresholds and spread distributions due to Frankston, Kahn, Narayanan, and Park, a palette sparsification theorem of Assadi, Chen, and Khanna follows.
2024-08-23
Distribution of maxima and minima statistics on alternating permutations, Springer numbers, and avoidance of flat POPs
Published • View Publication • BIB
In this paper, we find distributions of the left-to-right maxima, right-to-left maxima, left-to-right minima and right-to-left-minima statistics on up-down and down-up permutations of even and odd lengths. For instance, we show that the distribution of right-to-left maxima on up-down permutations of even length is given by $(\sec (t))^{q}$. We also derive the joint distribution of the maxima (resp., minima) statistics. To accomplish this, we generalize a result of Kitaev and Remmel by deriving joint distributions involving non-maxima (resp., non-minima) statistics. Consequently, we refine classic enumeration results of André by introducing new $q$-analogues and $(p,q)$-analogues for the number of alternating permutations. Additionally, we verify Callan's conjecture (2012) that the number of up-down permutations of even length fixed by reverse and complement equals the Springer numbers, thereby offering another combinatorial interpretation of these numbers. Furthermore, we propose two $q$-analogues and a $(p,q)$-analogue of the Springer numbers. Lastly, we enumerate alternating permutations that avoid certain flat partially ordered patterns (POPs), where the only minimum or maximum elements are labeled by the largest or smallest numbers.
2024-08-23
Enumeration of dihypergraphs with specified degrees and edge types
A dihypergraph consists of a set of vertices and a set of directed hyperedges, where each directed hyperedge is partitioned into a head and a tail. Directed hypergraphs are useful in many applications, including the study of chemical reactions or relational databases. We provide asymptotic formulae for the number of directed hypergraphs with given in-degree sequence, out-degree sequence, and the head and tail sizes of all directed hyperedges specified. Our formulae hold when none of the following parameters are too large: the maximum out-degree, the maximum in-degree, the maximum head size and the maximum tail size. If one of the four parameter sequences is near-regular, for example if each directed hyperedge has a tail of roughly the same size, then our formula is obtained using a simple argument based on existing asymptotic enumeration results for sparse bipartite graphs with given degree sequences. We also establish the same formula without the regularity assumption but with a larger relative error term, using a martingale argument.
2024-08-23 v2
Periodicity of tiles in finite Abelian groups
In this paper, we introduce the periodic tiling (PT) property for finite abelian groups. A finite abelian group is said to have the PT property if every non-periodic set that tiles the group by translation admits a periodic tiling complement. This notion extends the scope beyond groups with the Hajós property. We give a complete classification of cyclic groups possessing the PT property and identify certain non-cyclic groups that enjoy the PT property but fail to satisfy the Hajós property.. As a byproduct, we obtain new families of groups for which the implication ``Tile $\Longrightarrow$ Spectral" holds. Furthermore, for elementary $p$-groups with the PT property, by analyzing the structure of tiles, we prove that every tile is a complete set of representatives of the cosets of some subgroup.
2024-08-23 v2
Blowups of triangle-free graphs
Published in Advances in Combinatorics 2025:10, 23pp • View Publication • BIB
A highly influential result of Nikiforov states that if an $n$-vertex graph $G$ contains at least $γn^h$ copies of a fixed $h$-vertex graph $H$, then $G$ contains a blowup of $H$ of order $Ω_{γ,H}(\log n)$. While the dependence on $n$ is optimal, the correct dependence on $γ$ is unknown; all known proofs yield bounds that are polynomial in $γ$, but the best known upper bound, coming from random graphs, is only logarithmic in $γ$. It is a major open problem to narrow this gap. We prove that if $H$ is triangle-free, then the logarithmic behavior of the upper bound is the truth. That is, under the assumptions above, $G$ contains a blowup of $H$ of order $Ω_H (\log n/{\log(1/γ)})$. This is the first non-trivial instance where the optimal dependence in Nikiforov's theorem is known. As a consequence, we also prove an upper bound on multicolor Ramsey numbers of blowups of triangle-free graphs, proving that the dependence on the number of colors is polynomial once the blowup is sufficiently large. This shows that, from the perspective of multicolor Ramsey numbers, blowups of fixed triangle-free graphs behave like bipartite graphs.
2024-08-23 v2
On z-coloring and ${\rm b}^{\ast}$-coloring of graphs as improved variants of the b-coloring
Published • View Publication • BIB
Let $G$ be a simple graph and $c$ a proper vertex coloring of $G$. A vertex $u$ is called b-vertex in $(G,c)$ if all colors except $c(u)$ appear in the neighborhood of $u$. By a ${\rm b}^{\ast}$-coloring of $G$ using colors $\{1, \ldots, k\}$ we define a proper vertex coloring $c$ such that there is a b-vertex $u$ (called nice vertex) such that for each $j\in \{1, \ldots, k\}$ with $j\not=c(u)$, $u$ is adjacent to a b-vertex of color $j$. The ${\rm b}^{\ast}$-chromatic number of $G$ (denoted by ${\rm b}^{\ast}(G)$) is the largest integer $k$ such that $G$ has a ${\rm b}^{\ast}$-coloring using $k$ colors. Every graph $G$ admits a ${\rm b}^{\ast}$-coloring which is an improvement over the famous b-coloring. A z-coloring of $G$ is a coloring $c$ using colors $\{1, 2, \ldots, k\}$ containing a nice vertex of color $k$ such that for each two colors $i<j$, each vertex of color $j$ has a neighbor of color $i$ in the graph (i.e. $c$ is obtained from a greedy coloring of $G$). We prove that ${\rm b}^{\ast}(G)$ cannot be approximated within any constant factor unless $P=NP$. We obtain results for ${\rm b}^{\ast}$-coloring and z-coloring of block graphs, cacti, $P_4$-sparse graphs and graphs with girth greater than $4$. We prove that z-coloring and ${\rm b}^{\ast}$-coloring have a locality property. A linear 0-1 programming model is also presented for z-coloring of graphs. The positive results suggest that researches can be focused on ${\rm b}^{\ast}$-coloring (or z-coloring) instead of b-coloring of graphs.
When are quarnets sufficient to reconstruct semi-directed phylogenetic networks?
Published • View Publication • BIB
Phylogenetic networks are graphs that are used to represent evolutionary relationships between different taxa. They generalize phylogenetic trees since for example, unlike trees, they permit lineages to combine. Recently, there has been rising interest in semi-directed phylogenetic networks, which are mixed graphs in which certain lineage combination events are represented by directed edges coming together, whereas the remaining edges are left undirected. One reason to consider such networks is that it can be difficult to root a network using real data. In this paper, we consider the problem of when a semi-directed phylogenetic network is defined or encoded by the smaller networks that it induces on the 4-leaf subsets of its leaf set. These smaller networks are called quarnets. We prove that semi-directed binary level-2 phylogenetic networks are encoded by their quarnets, but that this is not the case for level-3. In addition, we prove that the so-called blob tree of a semi-directed binary network, a tree that give the coarse-grained structure of the network, is always encoded by the quarnets of the network. These results are relevant for proving the statistical consistency of programs that are currently being developed for reconstructing phylogenetic networks from practical data, such as the recently developed Squirrel software tool.