arXiv++ Combinatorics

Browse math.CO papers from arXiv

Showing 20 papers (Total: 83842 papers, 48355 authors in database)
2015-05-21
The Metric Dimension of The Tensor Product of Cliques
Let $G$ be a connected graph and $W=\{ w_1, w_2, \ldots, w_k \} \subseteq V(G)$ be an ordered set. For every vertex $v$, the metric representation of $v$ with respect to $W$ is an ordered $k$-vector defined as $r(v|W):=(d(v,w_1), d(v,w_2), \ldots, d(v,w_k))$, where $d(x,y)$ is the distance between the vertices $x$ and $y$. The set $W$ is called a resolving set for $G$ if distinct vertices of $G$ have distinct representations with respect to $W$. The minimum cardinality of a resolving set for $G$ is its metric dimension and is denoted by $dim(G)$. In this paper, we study the metric dimension of tensor product of cliques and prove some bounds. Then we determine the metric dimension of tensor product of two cliques.
2015-05-21 v3
A crystal to rigged configuration bijection and the filling map for type $D_4^{(3)}$
Published in J. Algebra 448C (2016), pp. 294-349 • View Publication • BIB
We give a bijection $Φ$ from rigged configurations to a tensor product of Kirillov--Reshetikhin crystals of the form $B^{r,1}$ and $B^{1,s}$ in type $D_4^{(3)}$. We show that the cocharge statistic is sent to the energy statistic for tensor products $\bigotimes_{i=1}^N B^{r_i,1}$ and $\bigotimes_{i=1}^N B^{1,s_i}$. We extend this bijection to a single $B^{r,s}$, show that it preserves statistics, and obtain the so-called Kirillov--Reshetikhin tableaux model for $B^{r,s}$. Additionally, we show that $Φ$ commutes with the virtualization map and that $B^{1,s}$ is naturally a virtual crystal in type $D_4^{(1)}$, thus defining an affine crystal structure on rigged configurations corresponding to $B^{1,s}$.
Compressed sensing with combinatorial designs: theory and simulations
Published in IEEE Trans. Inform. Theory 63 (2017) 4850-4859 • View Publication • BIB
In 'An asymptotic result on compressed sensing matrices', a new construction for compressed sensing matrices using combinatorial design theory was introduced. In this paper, we use deterministic and probabilistic methods to analyse the performance of matrices obtained from this construction. We provide new theoretical results and detailed simulations. These simulations indicate that the construction is competitive with Gaussian random matrices, and that recovery is tolerant to noise. A new recovery algorithm tailored to the construction is also given.
2015-05-20 v3
On the Likelihood of Single-Peaked Preferences
Published in Soc Choice Welf (2017) • View Publication • BIB
This paper contains an extensive combinatorial analysis of the single-peaked domain restriction and investigates the likelihood that an election is single-peaked. We provide a very general upper bound result for domain restrictions that can be defined by certain forbidden configurations. This upper bound implies that many domain restrictions (including the single-peaked restriction) are very unlikely to appear in a random election chosen according to the Impartial Culture assumption. For single-peaked elections, this upper bound can be refined and complemented by a lower bound that is asymptotically tight. In addition, we provide exact results for elections with few voters or candidates. Moreover, we consider the Pólya urn model and the Mallows model and obtain lower bounds showing that single-peakedness is considerably more likely to appear for certain parameterizations.
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.