arXiv++ Combinatorics

Browse math.CO papers from arXiv

Showing 20 papers (Total: 82661 papers, 47773 authors in database)
Double-Star Decomposition of Regular Graphs
Published • View Publication • BIB
A tree containing exactly two non-pendant vertices is called a double-star. A double-star with degree sequence $(k_1+ 1, k_2+ 1, 1, \ldots, 1)$ is denoted by $S_{k_1, k_2}$. We study the edge-decomposition of regular graphs into double-stars. It was proved that every double-star of size $k$ decomposes every $2k$-regular graph. In this paper, we extend this result to $(2k+ 1)$-regular graphs, by showing that every $(2k+ 1)$-regular graph containing two disjoint perfect matchings is decomposed into $S_{k_1, k_2}$ and $S_{k_{1}-1, k_2}$, for all positive integers $k_1$ and $k_2$ such that $k_1 + k_2= k$.
2015-05-20 v2
The mod 2 dual Steenrod algebra as a subalgebra of the mod 2 dual Leibniz-Hopf algebra
Published • View Publication • BIB
The mod 2 Steenrod algebra $\mathcal{A}_2$ can be defined as the quotient of the mod 2 Leibniz--Hopf algebra $\mathcal{F}_2$ by the Adem relations. Dually, the mod 2 dual Steenrod algebra $\mathcal{A}_2^*$ can be thought of as a sub-Hopf algebra of the mod 2 dual Leibniz--Hopf algebra $\mathcal{F}_2^*$. We study $\mathcal{A}_2^*$ and $\mathcal{F}_2^*$ from this viewpoint and give generalisations of some classical results in the literature.
2015-05-20
Free constructions of geometries of Coxeter type
We establish two free constructions of geometries of Coxeter type. The first construction deals with any Coxeter diagram having no subdiagram of type A_3, the second one with diagrams of type C_n and H_4.
2015-05-20 v4
Markovian dynamics of concurrent systems
Published • View Publication • BIB
Monoid actions of trace monoids over finite sets are powerful models of concurrent systems---for instance they encompass the class of 1-safe Petri nets. We characterise Markov measures attached to concurrent systems by finitely many parameters with suitable normalisation conditions. These conditions involve polynomials related to the combinatorics of the monoid and of the monoid action. These parameters generalise to concurrent systems the coefficients of the transition matrix of a Markov chain. A natural problem is the existence of the uniform measure for every concurrent system. We prove this existence under an irreducibility condition. The uniform measure of a concurrent system is characterised by a real number, the characteristic root of the action, and a function of pairs of states, the Parry cocyle. A new combinatorial inversion formula allows to identify a polynomial of which the characteristic root is the smallest positive root. Examples based on simple combinatorial tilings are studied.
2015-05-19
New Laplace transforms for the generalized hypergeometric functions 2F2 and 3F3
Motivated by the new Laplace transforms for the Kummer's confluent hypergeometric functions $_1F_1$ obtained recently by Kim et al. [Math $\&$ Comput. Modelling, 55 (2012), pp. 1068--1071], the authors aim is to establish so far unknown Laplace transforms of rather general case of generalized hypergeometric functions $_2F_2(x)$ and $_3F_3(x)$ by employing extensions of classical summation theorems for the series $_2F_1$ and $_3F_2$ obtained recently by Kim et al. [Int. J. Math. Math. Sci., 309503, 26 pages, 2010]. Certain known results obtained earlier by Kim et al. follow cases of our main findings.
2015-05-19
Comments on "New generating relations for products of two Laguerre polynomials"
By utilizing a two-dimensional extension of a very general series transform given by Bailey, Exton [Indian J. pure appl. Math. 24 (6) (1993), 401-408] deduced a very general double generating relation of a product of a pair of Laguerre polynomials and obtained a number of useful relations with elementary functions, Bessel functions, Hermite polynomials and single series expansions of pairs of Laguerre polynomials. Unfortunately, some of the results given by Exon contain errors and thus this is the aim of this short note to provide the corrected form of these results.
2015-05-19 v2
On the regular k-independence number of graphs
The \emph{regular independence number}, introduced by Albertson and Boutin in 1990, is the maximum cardinality of an independent set of $G$ in which all vertices have equal degree in $G$. Recently, Caro, Hansberg and Pepper introduced the concept of regular $k$-independence number, which is a natural generalization of the regular independence number. A \emph{$k$-independent set} is a set of vertices whose induced subgraph has maximum degree at most $k$. The \emph{regular $k$-independence number} of $G$, denoted by $α_{k-reg}(G)$, is defined as the maximum cardinality of a $k$-independent set of $G$ in which all vertices have equal degree in $G$. In this paper, the exact values of the regular $k$-independence numbers of some special graphs are obtained. We also get some lower and upper bounds for the regular $k$-independence number of trees with given diameter, and the lower bounds for the regular $k$-independence number of line graphs. For a simple graph $G$ of order $n$, we show that $1\leqα_{k-reg}(G)\leq n$ and characterize the extremal graphs. The Nordhaus-Gaddum-type results for the regular $k$-independence number of graphs are also obtained.
2015-05-19 v3
On incidence coloring conjecture in Cartesian products of graphs
Published • View Publication • BIB
An incidence in a graph $G$ is a pair $(v,e)$ where $v$ is a vertex of $G$ and $e$ is an edge of $G$ incident to $v$. Two incidences $(v,e)$ and $(u,f)$ are adjacent if at least one of the following holds: $(a)$ $v = u$, $(b)$ $e = f$, or $(c)$ $vu \in \{e,f\}$. An incidence coloring of $G$ is a coloring of its incidences assigning distinct colors to adjacent incidences. It was conjectured that at most $Δ(G) + 2$ colors are needed for an incidence coloring of any graph $G$. The conjecture is false in general, but the bound holds for many classes of graphs. We introduce some sufficient properties of the two factor graphs of a Cartesian product graph $G$ for which $G$ admits an incidence coloring with at most $Δ(G) + 2$ colors.
2015-05-19 v2
Central binomial coefficients also count (2431,4231,1432,4132)-avoiders
This short paper is concerned with the enumeration of permutations avoiding the following four patterns: $2431$, $4231$, $1432$ and $4132$. Using a bijective construction, we prove that these permutations are counted by the central binomial coefficients.
2015-05-19
Some old and new problems in combinatorial geometry I: Around Borsuk's problem
Published • View Publication • BIB
Borsuk asked in 1933 if every set of diameter 1 in $R^d$ can be covered by $d+1$ sets of smaller diameter. In 1993, a negative solution, based on a theorem by Frankl and Wilson, was given by Kahn and Kalai. In this paper I will present questions related to Borsuk's problem.
2015-05-19
On (strong) proper vertex-connection of graphs
Published • View Publication • BIB
A path in a vertex-colored graph is a {\it vertex-proper path} if any two internal adjacent vertices differ in color. A vertex-colored graph is {\it proper vertex $k$-connected} if any two vertices of the graph are connected by $k$ disjoint vertex-proper paths of the graph. For a $k$-connected graph $G$, the {\it proper vertex $k$-connection number} of $G$, denoted by $pvc_{k}(G)$, is defined as the smallest number of colors required to make $G$ proper vertex $k$-connected. A vertex-colored graph is {\it strong proper vertex-connected}, if for any two vertices $u,v$ of the graph, there exists a vertex-proper $u$-$v$ geodesic. For a connected graph $G$, the {\it strong proper vertex-connection number} of $G$, denoted by $spvc(G)$, is the smallest number of colors required to make $G$ strong proper vertex-connected. These concepts are inspired by the concepts of rainbow vertex $k$-connection number $rvc_k(G)$, strong rainbow vertex-connection number $srvc(G)$, and proper $k$-connection number $pc_k(G)$ of a $k$-connected graph $G$. Firstly, we determine the value of $pvc(G)$ for general graphs and $pvc_k(G)$ for some specific graphs. We also compare the values of $pvc_k(G)$ and $pc_k(G)$. Then, sharp bounds of $spvc(G)$ are given for a connected graph $G$ of order $n$, that is, $0\leq spvc(G)\leq n-2$. Moreover, we characterize the graphs of order $n$ such that $spvc(G)=n-2,n-3$, respectively. Finally, we study the relationship among the three vertex-coloring parameters, namely, $spvc(G), \ srvc(G)$ and the chromatic number $χ(G)$ of a connected graph $G$.
2015-05-19 v2
Unimodular graphs and Eisenstein sums
Published in Journal of Algebraic Combinatorics 45 (2017), no. 2, 423--454 • View Publication • BIB
Motivated in part by combinatorial applications to certain sum-product phenomena, we introduce unimodular graphs over finite fields and, more generally, over finite valuation rings. We compute the spectrum of the unimodular graphs, by using Eisenstein sums associated to unramified extensions of such rings. We derive an estimate for the number of solutions to the restricted dot product equation $a\cdot b=r$ over a finite valuation ring. Furthermore, our spectral analysis leads to the exact value of the isoperimetric constant for half of the unimodular graphs. We also compute the spectrum of Platonic graphs over finite valuation rings, and products of such rings - e.g., $\mathbb{Z}/(N)$. In particular, we deduce an improved lower bound for the isoperimetric constant of the Platonic graph over $\mathbb{Z}/(N)$.
2015-05-19
The Discrete Rado Number for $x_1 + x_2 + \dots + x_m + c = 2x_0$
For a positive integer $m$ and a real number $c$, let $R = R(m,c,2)$ denote the discrete 2-color Rado number for the equation $x_1 + x_2 + \dots + x_m + c = 2x_0$. In other words, $R$ is the smallest integer such that for any coloring of the integers ${1, 2, \dots, R}$, there exist numbers $x_1, x_2, \dots, x_m, x_0$, all with the same color, such that $x_1 + x_2 + \dots + x_m + c = 2x_0$. In this article we show that if $m \geq 2$ and $c > 0$, then $$ \begin{array}{cc} R(m,c,2) = \begin{cases} \infty & \text{for $m$ even, $c$ odd} \newline \big\lceil \frac{m}{2} \big\lceil \frac{m+c}{2} \big\rceil + \frac{c}{2} \big\rceil & \text{otherwise.} \end{cases} \end{array} $$ For real numbers $a$ and $c$, we look at the 2-color Rado number for the equation $x_1 + c = ax_0$. We show that if $a > 1$ and $c > 0$, then the 2-color continuous Rado number is $$ R_\mathbb{R}(1, c, a) = \begin{cases} \infty & \text{if $a=1$ } \newline \frac{c}{a-1} & \text{otherwise.} \end{cases} $$ From this, we will show that the discrete Rado number is $$ R(1, c, a) = \begin{cases} \frac{c}{a-1} & \text{if $ \left( a-1 \right) \mid c$} \newline \infty & \text{otherwise.} \end{cases} $$
2015-05-19 v3
Divisibility of binomial coefficients and generation of alternating groups
Published in Pacific J. Math. 292 (2018), no. 1, 223-238 • View Publication • BIB
We examine an elementary problem on prime divisibility of binomial coefficients. Our problem is motivated by several related questions on alternating groups.
A sunflower anti-Ramsey theorem and its applications
A $h$-sunflower in a hypergraph is a family of edges with $h$ vertices in common. We show that if we colour the edges of a complete hypergraph in such a way that any monochromatic $h$-sunflower has at most $λ$ petals, then it contains a large rainbow complete subhypergraph. This extends a theorem by Lefmann, Rödl and Wysocka, but this version can be applied to problems in geometry and algebra. We also give an infinite version of the theorem.
On the maximum density of fixed strongly connected subtournaments
Published • View Publication • BIB
We study the density of fixed strongly connected subtournaments on 5 vertices in large tournaments. We determine the maximum density asymptotically for five tournaments as well as unique extremal sequences for each tournament. As a byproduct we also characterize tournaments that are recursive blow-ups of a 3-cycle as tournaments that avoid three specific tournaments of size 5.
2015-05-18
Tetrachromagea
We construct a moduli space of four colorings on planar cubic graphs. More precisely, we introduce the notion of weak Hamiltonian, a generalization of Hamiltonian cycles, and relate it to 4-colorings. Weak Hamiltonians have a form of deformation, which we call mutation, which gives them a graph structure, the Weak Hamiltonian graph. This graph encodes the different colorings as 3 vertex cliques. Identifying vertices on these cliques, we obtain a new graph, the chromatic graph, whose vertices are exactly the colorings of the original graph. Also, this construction gives a heuristic argument on why 4 colors are sufficient to color planar maps.
Further results regarding the degree resistance distance of cacti
Published • View Publication • BIB
A graph $G$ is called a cactus if each block of $G$ is either an edge or a cycle. Denote by $Cact(n;t)$ the set of connected cacti possessing $n$ vertices and $t$ cycles. In this paper, we show that there are some errors in [J. Du, G. Su, J. Tu, I. Gutman, The degree resistance distance of cacti, Discrete Appl. Math. 188 (2015) 16-24.], and we present some results which correct their mistakes. We also give the second-minimum and third-minimum degree resistance distances among graphs in $Cact(n;t)$, and characterize the corresponding extremal graphs as well.
2015-05-18 v4
An introduction to coding sequences of graphs
Published • View Publication • BIB
In his pioneering paper on matroids in 1935, Whitney obtained a characterization for binary matroids and left a comment at end of the paper that the problem of characterizing graphic matroids is the same as that of characterizing matroids which correspond to matrices (mod 2) with exactly two ones in each column. Later on Tutte obtained a characterization of graphic matroids in terms of forbidden minors in 1959. It is clear that Whitney indicated about incidence matrices of simple undirected graphs. Here we introduce the concept of a segment binary matroid which corresponds to matrices over $\mathbb{Z}_2$ which has the consecutive $1$'s property (i.e., $1$'s are consecutive) for columns and obtained a characterization of graphic matroids in terms of this. In fact, we introduce a new representation of simple undirected graphs in terms of some vectors of finite dimensional vector spaces over $\mathbb{Z}_2$ which satisfy consecutive $1$'s property. The set of such vectors is called a coding sequence of a graph $G$. Among all such coding sequences we identify the one which is unique for a class of isomorphic graphs. We call it the code of the graph. We characterize several classes of graphs in terms of coding sequences. It is shown that a graph $G$ with $n$ vertices is a tree if and only if any coding sequence of $G$ is a basis of the vector space $\mathbb{Z}_2^{n-1}$ over $\mathbb{Z}_2$. Moreover considering coding sequences as binary matroids, we obtain a characterization for simple graphic matroids and found a necessary and sufficient condition for graph isomorphism in terms of a special matroid isomorphism between their corresponding coding sequences. For this, we introduce the concept of strong isomorphisms of segment binary matroids and show that two simple (undirected) graphs are isomorphic if and only if their canonical sequences are strongly isomorphic segment binary matroids.
2015-05-18
Nice reflection arrangements
Published • View Publication • BIB
The aim of this note is a classification of all nice and all inductively factored reflection arrangements. It turns out that apart from the supersolvable instances only the monomial groups $G(r,r,3)$ for $r \ge 3$ give rise to nice reflection arrangements. As a consequence of this and of the classification of all inductively free reflection arrangements from our earlier work, we deduce that the class of all inductively factored reflection arrangements coincides with the supersolvable reflection arrangements. Moreover, we extend these classifications to hereditarily factored and hereditarily inductively factored reflection arrangements.