arXiv++ Combinatorics

Browse math.CO papers from arXiv

Showing 20 papers (Total: 81623 papers, 47312 authors in database)
Upper bounds on the $k$-isolation number
Published • View PublicationBIB
The isolation number of a graph $G$ (also called the vertex-edge domination number of $G$), denoted by $ι(G)$, is the size of a smallest subset $D$ of the vertex set $V(G)$ of $G$ such that $G-N[D]$ (the graph obtained by deleting the closed neighbourhood $N[D]$ of $D$ from $G$) has no edges. For $k \geq 1$, the $k$-isolation number of $G$ is the size of a smallest subset $D$ of $V(G)$ such that the maximum degree of $G-N[D]$ is at most $k-1$. Thus, $ι_1(G) = ι(G)$. Let $n$ and $\ell$ be the number of vertices and the number of leaves of $G$, respectively. We show that if $n \geq 3$ and $G$ is connected, then $ι_k(G) \leq \frac{n - \ell}{2}$. We also show that if $G$ is a tree $T$, then $ι(T) \leq \frac{n + \ell}{4}$ and $ι_k(T) \leq \frac{n + \ell}{2k+1}$ for $k \geq 2$. These bounds together improve the inequality $ι_k(T) \leq \frac{n}{k+2}$ of Caro and Hansberg except that their inequality is better if $k \geq 2$ and $\frac{k-1}{k+2}n < \ell < \frac{k}{k+2}n$. Each of the new bounds is attainable if it is an integer. For each of them, we characterize all the graphs that attain it.
2024-08-25 v2
Vertex-transitive Neumaier graphs
A graph $Γ$ is called edge-regular whenever it is regular and for any two adjacent vertices, the number of their common neighbors is independent of the choice of vertices. A clique $C$ in $Γ$ is called regular whenever for any vertex out of $C$, the number of its neighbors in $C$ is independent of the vertex. A Neumaier graph is a non-complete edge-regular graph with a regular clique. In this paper, we study vertex-transitive Neumaier graphs. We give a necessary and sufficient condition under which a vertex-transitive Neumaier graph is strongly regular. We also identify Neumaier Cayley graphs with small valency at most $10$ among vertex-transitive Neumaier graphs.
2024-08-25
On the Elementary Proof of the Inverse Erdős-Heilbronn Problem
In this article, we studied the inverse Erdős-Heilbronn problem with the restricted sumset from two components $A$ and $B$ that are not necessarily the same. We give a completely elementary proof for the problem in $\mathbb{Z}$ and some partial results that contributes to the elementary proof of the problem in $\mathbb{Z}/p\mathbb{Z}$, avoiding the usage of the powerful polynomial method and the Combinatorial Nullstellensatz.
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 PublicationBIB
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 PublicationBIB
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 PublicationBIB
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
Partitioning perfect graphs into comparability graphs
We study how many comparability subgraphs are needed to partition the edge set of a perfect graph. We show that many classes of perfect graphs can be partitioned into (at most) two comparability subgraphs and this holds for almost all perfect graphs. On the other hand, we prove that for interval graphs an arbitrarily large number of comparability subgraphs might be necessary.
2024-08-24 v2
Combinatorial invariants for certain classes of non-abelian groups
Published in Journal of Number Theory, 2026 • View PublicationBIB
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 PublicationBIB
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 PublicationBIB
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 PublicationBIB
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 PublicationBIB
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 PublicationBIB
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 v2
A Row-wise Algorithm for Graph Realization
Given a $\{0,1\}$-matrix $M$, the graph realization problem for $M$ asks if there exists a spanning forest such that the columns of $M$ are incidence vectors of paths in the forest. The problem is closely related to the recognition of network matrices, which are a large subclass of totally unimodular matrices and have many applications in mixed-integer programming. Existing efficient algorithms for graph realization grow a submatrix in a column-wise fashion whilst maintaining a graphic realization. In the context of mixed-integer linear programming, this limits the set of submatrices of the constraint matrix that can efficiently be determined to be network matrices to network submatrices that span all rows and a subset of the columns. This paper complements the existing work by providing an algorithm that works in a row-wise fashion and uses similar data structures, and enables the detection of arbitrary graphic submatrices. The main challenge in designing efficient algorithms for the graph realization problem is ambiguity as there may exist many graphs realizing $M$. The key insight for designing an efficient row-wise algorithm is that a graphic matrix is uniquely represented by an SPQR-tree, a graph decomposition that stores all graphs with the same set of cycles. The developed row-wise algorithm uses data structures that are compatible with the column-wise algorithm and can be combined with the latter to detect maximal graphic submatrices.