arXiv++ Combinatorics

Browse math.CO papers from arXiv

Showing 20 papers (Total: 83502 papers, 48219 authors in database)
2012-10-10 v2
On the probability of two randomly generated S-permutation matrices to be disjoint
Published in Statistics & Probability Letters, Volume 91, August 2014, Pages 47-51, ISSN 0167-7152 • View Publication • BIB
The concept of S-permutation matrix is considered in this paper. It defines when two binary matrices are disjoint. For an arbitrary $n^2 \times n^2$ S-permutation matrix, a lower band of the number of all disjoint with it S-permutation matrices is found. A formula for counting a lower band of the number of all disjoint pairs of $n^2 \times n^2$ S-permutation matrices is formulated and proven. As a consequence, a lower band of the probability of two randomly generated S-permutation matrices to be disjoint is found. In particular, a different proof of a known assertion is obtained in the work. The cases when $n=2$ and $n=3$ are discussed in detail.
Trees with the most subtrees -- an algorithmic approach
Published • View Publication • BIB
When considering the number of subtrees of trees, the extremal structures which maximize this number among binary trees and trees with a given maximum degree lead to some interesting facts that correlate to other graphical indices in applications. The number of subtrees in the extremal cases constitute sequences which are of interest to number theorists. The structures which maximize or minimize the number of subtrees among general trees, binary trees and trees with a given maximum degree have been identified previously. Most recently, results of this nature are generalized to trees with a given degree sequence. In this note, we characterize the trees which maximize the number of subtrees among trees of a given order and degree sequence. Instead of using theoretical arguments, we take an algorithmic approach that explicitly describes the process of achieving an extremal tree from any random tree. The result also leads to some interesting questions and provides insight on finding the trees close to extremal and their numbers of subtrees.
2012-10-10
A rank computation problem related to the HK function of trinomial hypersurfaces
In this article, I provide a solution to a rank computation problem related to the computation of the Hilbert-Kunz function for any disjoint-term trinomial hypersurface, over any field of characteristic 2. This rank computation problem was posed in Upadhyay (arXiv:1204.5417). The formula for the Hilbert-Kunz function for disjoint-term trinomial hypersurfaces can be deduced from the result(s) of this article, modulo a lot of tedious notation.
Book drawings of complete bipartite graphs
Published in Discrete Applied Mathematics 167(2014), 80-93 • View Publication • BIB
A "book" with k pages consists of a straight line (the "spine") and k half-planes (the "pages"), such that the boundary of each page is the spine. If a graph is drawn on a book with k pages in such a way that the vertices lie on the spine, and each edge is contained in a page, the result is a k-page book drawing (or simply a k-page drawing). The pagenumber of a graph G is the minimum k such that G admits a k-page embedding (that is, a k-page drawing with no edge crossings). The k-page crossing number nu_k(G) of G is the minimum number of crossings in a k-page drawing of G. We investigate the pagenumbers and k-page crossing numbers of complete bipartite graphs. We find the exact pagenumbers of several complete bipartite graphs, and use these pagenumbers to find the exact k-page crossing number of K_{k+1,n} for 3<=k<=6. We also prove the general asymptotic estimate lim_{k->oo} lim_{n->oo} nu_k(K_{k+1,n})/(2n^2/k^2)=1. Finally, we give general upper bounds for nu_k(K_{m,n}), and relate these bounds to the k-planar crossing numbers of K_{m,n} and K_n.
2012-10-10 v2
Infinitary Hales-Jewett theorem. Another proof
We give a proof of an infinitary version of the well known Hales-Jewett theorem on finite words avoiding the use of ultrafilters.
2012-10-10
Multivariate Fuss-Narayana polynomials and their application to random matrices
Published in Electron. J. Combin. 20(2) (2013), #P41 • View Publication • BIB
It has been shown recently that the limit moments of $W(n)=B(n)B^{*}(n)$, where B(n) is a product of $p$ independent rectangular random matrices, are certain homogenous polynomials in the asymptotic dimensions of these matrices. Using the combinatorics of noncrossing partitions, we explicitly determine these polynomials and show that they are closely related to polynomials which can be viewed as multivariate Fuss-Narayana polynomials. Using this result, we compute the moments of the n-fold free multiplicative convolution of Marchenko-Pastur distributions with arbitrary shape parameters.
2012-10-09 v2
Asymptotic enumeration of Eulerian circuits for graphs with strong mixing properties
Published in Izvestiya RAN. Serya Matematicheskaya 77, 6 (2013) 45-70 • View Publication • BIB
We prove an asymptotic formula for the number of Eulerian circuits for graphs with strong mixing properties and with vertices having even degrees. The exact value is determined up to the multiplicative error $O(n^{-1/2+\varepsilon})$, where $n$ is the number of vertices
2012-10-09 v2
Cluster Ensembles and Kac-Moody Groups
Published in Adv. Math. 247 (2013), pp. 1-40 • View Publication • BIB
We study the relationship between two sets of coordinates on a double Bruhat cell, the cluster variables introduced by Berenstein, Fomin, and Zelevinsky and the $\CX$-coordinates defined by the coweight parametrization of Fock and Goncharov. In these coordinates, we show that the generalized Chamber Ansatz of Fomin and Zelevinsky is a nondegenerate version of the canonical monomial transformation between the cluster variables and $\CX$-coordinates defined by a common exchange matrix. We prove this in the setting of an arbitrary symmetrizable Kac-Moody group, generalizing along the way many previous results on the double Bruhat cells of a semisimple algebraic group. In particular, we construct an upper cluster algebra structure on the coordinate ring of any double Bruhat cell in a symmetrizable Kac-Moody group, proving a conjecture of Berenstein, Fomin, and Zelevinsky.
On the Automorphism Group of a Binary Self-dual [120, 60, 24] Code
Published in Applicable Algebra in Engineering, Communication and Computing (2013) • View Publication • BIB
We prove that an automorphism of order 3 of a putative binary self-dual [120, 60, 24] code C has no fixed points. Moreover, the order of the automorphism group of C divides 2^a.3.5.7.19.23.29 where a is a nonegative integer. Automorphisms of odd composite order r may occur only for r=15, 57 or r=115 with corresponding cycle structures 15-(0,0,8;0), 57-(2,0,2;0) or 115-(1,0,1;0), respectively. In case that all involutions act fixed point freely we have |Aut(C)|<=920, and Aut(C) is solvable if it contains an element of prime order p>=7. Moreover, the alternating group A_5 is the only non-abelian composition factor which may occur.
2012-10-09
On a Conjecture of Randić Index and Graph Radius
Published • View Publication • BIB
The Randić index $R(G)$ of a graph $G$ is defined as the sum of $(d_i d_j)^{-1/2}$ over all edges $v_i v_j$ of $G$, where $d_i$ is the degree of the vertex $v_i$ in $G$. The radius $r(G)$ of a graph $G$ is the minimum graph eccentricity of any graph vertex in $G$. Fajtlowicz(1988) conjectures $R(G) \ge r(G)-1$ for all connected graph $G$. A stronger version, $R(G) \ge r(G)$, is conjectured by Caporossi and Hansen(2000) for all connected graphs except even paths. In this paper, we make use of Harmonic index $H(G)$, which is defined as the sum of $\frac{2}{d_i+d_j}$ over all edges $v_i v_j$ of $G$, to show that $R(G) \ge r(G)-31/105(k-1)$ for any graph with cyclomatic number $k\ge 1$, and $R(T)> r(T)+1/15$ for any tree except even paths. These results improve and strengthen the known results on these conjectures.
The Hardness of the Functional Orientation 2-Color Problem
Published in Australas. J. Combin., vol. 56 (2013), pages 225-234 • Search Publication
We consider the Functional Orientation 2-Color problem, which was introduced by Valiant in his seminal paper on holographic algorithms [SIAM J. Comput., 37(5), 2008]. For this decision problem, Valiant gave a polynomial time holographic algorithm for planar graphs of maximum degree 3, and showed that the problem is NP-complete for planar graphs of maximum degree 10. A recent result on defective graph coloring by Corrêa et al. [Australas. J. Combin., 43, 2009] implies that the problem is already hard for planar graphs of maximum degree 8. Together, these results leave open the hardness question for graphs of maximum degree between 4 and 7. We close this gap by showing that the answer is always yes for arbitrary graphs of maximum degree 5, and that the problem is NP-complete for planar graphs of maximum degree 6. Moreover, for graphs of maximum degree 5, we note that a linear time algorithm for finding a solution exists.
2012-10-09 v2
The defect of generalized Fourier matrices
Published in Linear Algebra Appl. 438 (2013), 3667-3688 • View Publication • BIB
The $N\times N$ complex Hadamard matrices form a real algebraic manifold $C_N$. We have $C_N=M_N(\mathbb T)\cap\sqrt{N}U_N$, and following Tadej and Życzkowski we investigate here the computation of the enveloping tangent space $\widetilde{T}_HC_N=T_HM_N(\mathbb T)\cap T_H\sqrt{N}U_N$, and notably of its dimension $d(H)=\dim(\widetilde{T}_HC_N)$, called undephased defect of $H$. Our main result is an explicit formula for the defect of the Fourier matrix $F_G$ associated to an arbitrary finite abelian group $G=\mathbb Z_{N_1}\times...\times\mathbb Z_{N_r}$. We also comment on the general question "does the associated quantum permutation group see the defect", with a probabilistic speculation involving Diaconis-Shahshahani type variables.
2012-10-09
Looking for ovoids of the Hermitian surface: a computational approach
In this note we present a computational approach to the construction of ovoids of the Hermitian surface and show some related experimental results.
2012-10-09
Enumeration of fixed points of an involution on $β(1,0)$-trees
Published • View Publication • BIB
$β(1,0)$-trees provide a convenient description of rooted non-separable planar maps. The involution $h$ on $β(1,0)$-trees was introduced to prove a complicated equidistribution result on a class of pattern-avoiding permutations. In this paper, we describe and enumerate fixed points of the involution $h$. Intriguingly, the fixed points are equinumerous with the fixed points under taking the dual map on rooted non-separable planar maps, even though the fixed points do not go to each other under the know (natural) bijection between the trees and the maps.
Crucial and bicrucial permutations with respect to arithmetic monotone patterns
A pattern $τ$ is a permutation, and an arithmetic occurrence of $τ$ in (another) permutation $π=π_1π_2...π_n$ is a subsequence $π_{i_1}π_{i_2}...π_{i_m}$ of $π$ that is order isomorphic to $τ$ where the numbers $i_1<i_2<...<i_m$ form an arithmetic progression. A permutation is $(k,\ell)$-crucial if it avoids arithmetically the patterns $12... k$ and $\ell(\ell-1)... 1$ but its extension to the right by any element does not avoid arithmetically these patterns. A $(k,\ell)$-crucial permutation that cannot be extended to the left without creating an arithmetic occurrence of $12... k$ or $\ell(\ell-1)... 1$ is called $(k,\ell)$-bicrucial. In this paper we prove that arbitrary long $(k,\ell)$-crucial and $(k,\ell)$-bicrucial permutations exist for any $k,\ell\geq 3$. Moreover, we show that the minimal length of a $(k,\ell)$-crucial permutation is $\max(k,\ell)(\min(k,\ell)-1)$, while the minimal length of a $(k,\ell)$-bicrucial permutation is at most $2\max(k,\ell)(\min(k,\ell)-1)$, again for $k,\ell\geq3$.
2012-10-09
Shortest-weight paths in random regular graphs
Published • View Publication • BIB
Consider a random regular graph with degree $d$ and of size $n$. Assign to each edge an i.i.d. exponential random variable with mean one. In this paper we establish a precise asymptotic expression for the maximum number of edges on the shortest-weight paths between a fixed vertex and all the other vertices, as well as between any pair of vertices. Namely, for any fixed $d \geq 3$, we show that the longest of these shortest-weight paths has about $\hatα\log n$ edges where $\hatα$ is the unique solution of the equation $α\log(\frac{d-2}{d-1}α) - α= \frac{d-3}{d-2}$, for $α> \frac{d-1}{d-2}$.
Improved Approximation Lower Bounds for Vertex Cover on Power Law Graphs and Some Generalizations
We prove new explicit inapproximability results for the Vertex Cover Problem on the Power Law Graphs and some functional generalizations of that class of graphs. Our results depend on special bounded degree amplifier constructions for those classes of graphs and could be also of independent interest.
2012-10-09
Random graphs from a weighted minor-closed class
Published • View Publication • BIB
There has been much recent interest in random graphs sampled uniformly from the n-vertex graphs in a suitable minor-closed class, such as the class of all planar graphs. Here we use combinatorial and probabilistic methods to investigate a more general model. We consider random graphs from a `well-behaved' class of graphs: examples of such classes include all minor-closed classes of graphs with 2-connected excluded minors (such as forests, series-parallel graphs and planar graphs), the class of graphs embeddable on any given surface, and the class of graphs with at most k vertex-disjoint cycles. Also, we give weights to edges and components to specify probabilities, so that our random graphs correspond to the random cluster model, appropriately conditioned. We find that earlier results extend naturally in both directions, to general well-behaved classes of graphs, and to the weighted framework, for example results concerning the probability of a random graph being connected; and we also give results on the 2-core which are new even for the uniform (unweighted) case.
2012-10-09
A Parking Function Bijection supporting the Haglund-Morse-Zabrocki Conjectures
Published • View Publication • BIB
The shuffle conjecture expresses a relationship between parking functions, diagonal harmonics, and the Bergeron-Garsia $\nabla$ operator. Recent conjectures about a family of modified Hall-Littlewood operators made by Haglund, Morse, and Zabrocki sharpen the shuffle conjecture and suggest a variety of combinatorial properties of parking functions. In particular, their conjectures combined with previously established commutativity laws of the Hall-Littlewood operators, suggest the existence of certain bijections relating parking functions with different diagonal compositions. In this paper we formulate a conjecture which yields an algorithm for the construction of these bijections, prove a special case, and give some applications.
2012-10-08 v3
Dynamic coloring of graphs having no $K_5$ minor
Published in Discrete Applied Math., 206(June 2016), pp. 81-89 • View Publication • BIB
We prove that every simple connected graph with no $K_5$ minor admits a proper 4-coloring such that the neighborhood of each vertex $v$ having more than one neighbor is not monochromatic, unless the graph is isomorphic to the cycle of length 5. This generalizes the result by S.-J. Kim, S. J. Lee, and W.-J. Park on planar graphs.