arXiv++ Combinatorics

Browse math.CO papers from arXiv

Showing 20 papers (Total: 83190 papers, 48060 authors in database)
2010-04-15 v4
Towards random uniform sampling of bipartite graphs with given degree sequence
Published in Electronic J. Combinatorics 20 (1) (2013), P16 • Search Publication
In this paper we consider a simple Markov chain for bipartite graphs with given degree sequence on $n$ vertices. We show that the mixing time of this Markov chain is bounded above by a polynomial in $n$ in case of {\em semi-regular} degree sequence. The novelty of our approach lays in the construction of the canonical paths in Sinclair's method.
Some inequalities for the Tutte polynomial
We prove that the Tutte polynomial of a coloopless paving matroid is convex along the portions of the line segments x+y=p lying in the positive quadrant. Every coloopless paving matroids is in the class of matroids which contain two disjoint bases or whose ground set is the union of two bases of M*. For this latter class we give a proof that T_M(a,a) <= max {T_M(2a,0), T_M(0,2a)} for a >= 2. We conjecture that T_M(1,1) <= max {T_M(2,0), T_M(0,2)} for the same class of matroids. We also prove this conjecture for some families of graphs and matroids.
2010-04-15
Representations of Finite Unipotent Linear Groups by the Method of Clusters
The general linear group GL(n, K) over a field K contains a particularly prominent subgroup U(n, K), consisting of all the upper triangular unipotent elements. In this paper we are interested in the case when K is the finite field F_q, and our goal is to better understand the representation theory of U(n, F_q). The complete classification of the complex irreducible representations of this group has long been known to be a difficult task. The orbit method of Kirillov, famous for its success when K has characteristic 0, is a natural source of intuition and conjectures, but in our case the relation between coadjoint orbits and complex representations is still a mystery. Here we introduce a natural variant of the orbit method, in which the central role is played by certain clusters of coadjoint orbits. This "method of clusters" leads to the construction of a subring in the representation ring of U(n, F_q) that is rich in structure but pleasantly comprehensible. The cluster method also has many of the major features one would expect from the philosophy of orbit method.
2010-04-15
Cycle indices for finite orthogonal groups of even characteristic
Published • View Publication • BIB
We develop cycle index generating functions for orthogonal groups in even characteristic, and give some enumerative applications. A key step is the determination of the values of the complex linear-Weil characters of the finite symplectic group, and their inductions to the general linear group, at unipotent elements. We also define and study several natural probability measures on integer partitions.
2010-04-15 v2
A quasisymmetric function generalization of the chromatic symmetric function
Published • View Publication • BIB
The chromatic symmetric function $X_G$ of a graph $G$ was introduced by Stanley. In this paper we introduce a quasisymmetric generalization $X^k_G$ called the $k$-chromatic quasisymmetric function of $G$ and show that it is positive in the fundamental basis for the quasisymmetric functions. Following the specialization of $X_G$ to $χ_G(λ)$, the chromatic polynomial, we also define a generalization $χ^k_G(λ)$ and show that evaluations of this polynomial for negative values generalize a theorem of Stanley relating acyclic orientations to the chromatic polynomial.
2010-04-15
Ballot Paths Avoiding Depth Zero Patterns
Published in Journal OF Combinatorial Mathematics and Combinatorial Computing, August 2010 • Search Publication
In a paper by Sapounakis, Tasoulas, and Tsikouras \cite{stt}, the authors count the number of occurrences of patterns of length four in Dyck paths. In this paper we specify in one direction and generalize in another. We only count ballot paths that avoid a given pattern, where a ballot path stays weakly above the diagonal $y=x$, starts at the origin, and takes steps from the set $\{\uparrow ,\to \}=\{u,r\}$. A pattern is a finite string made from the same step set; it is also a path. Notice that a ballot path ending at a point along the diagonal is a Dyck path.
Arithmetic Structure in Sparse Difference Sets
Published • View Publication • BIB
Using a slight modification of an argument of Croot, Ruzsa and Schoen we establish a quantitative result on the existence of a dilated copy of any given configuration of integer points in sparse difference sets. More precisely, given any configuration $\{v_1,...,v_\ell\}$ of vectors in $\mathbb{Z}^d$, we show that if $A\subset[1,N]^d$ with $|A|/N^d\geq C N^{-1/\ell}$, then there necessarily exists $r\ne0$ such that $\{rv_1, ...,rv_\ell\}\subseteq A-A$.
2010-04-15
Balanced Vertices in Trees and a Simpler Algorithm to Compute the Genomic Distance
Published • View Publication • BIB
This paper provides a short and transparent solution for the covering cost of white-grey trees which play a crucial role in the algorithm of Bergeron {\it et al.}\ to compute the rearrangement distance between two multichromosomal genomes in linear time ({\it Theor. Comput. Sci.}, 410:5300-5316, 2009). In the process it introduces a new {\em center} notion for trees, which seems to be interesting on its own.
2010-04-14
Sets with large additive energy and symmetric sets
Published • View Publication • BIB
We show that for any set A in a finite Abelian group G that has at least c |A|^3 solutions to a_1 + a_2 = a_3 + a_4, where a_i belong A there exist sets A' in A and L in G, |L| \ll c^{-1} log |A| such that A' is contained in Span of L and A' has approximately c |A|^3 solutions to a'_1 + a'_2 = a'_3 + a'_4, where a'_i belong A'. We also study so-called symmetric sets or, in other words, sets of large values of convolution.
Single Polygon Counting for $m$ Fixed Nodes in Cayley Tree: Two Extremal Cases
We denote a polygon as a connected component in Cayley tree of order 2 containing certain number of fix vertices. We found an exact formula for a polygon counting problem for two cases, in which, for the first case the polygon contain a full connected component of a Cayley tree and for the second case the polygon contain two fixed vertices. From these formulas, which is in the form of finite linear combination of Catalan numbers, one can find the asymptotic estimation for a counting problem.
2010-04-14
Note on the Rainbow $k$-Connectivity of Regular Complete Bipartite Graphs
A path in an edge-colored graph $G$, where adjacent edges may be colored the same, is called a rainbow path if no two edges of the path are colored the same. For a $κ$-connected graph $G$ and an integer $k$ with $1\leq k\leq κ$, the rainbow $k$-connectivity $rc_k(G)$ of $G$ is defined as the minimum integer $j$ for which there exists a $j$-edge-coloring of $G$ such that any two distinct vertices of $G$ are connected by $k$ internally disjoint rainbow paths. Denote by $K_{r,r}$ an $r$-regular complete bipartite graph. Chartrand et al. in "G. Chartrand, G.L. Johns, K.A. McKeon, P. Zhang, The rainbow connectivity of a graph, Networks 54(2009), 75-81" left an open question of determining an integer $g(k)$ for which the rainbow $k$-connectivity of $K_{r,r}$ is 3 for every integer $r\geq g(k)$. This short note is to solve this question by showing that $rc_k(K_{r,r})=3$ for every integer $r\geq 2k\lceil\frac{k}{2}\rceil$, where $k\geq 2$ is a positive integer.
2010-04-14 v3
On some combinatorial properties of the orbits on subsets
We introduce generalised orbit algebras. The purpose here is to measure how some combinatorial properties can characterize the action of a group of permutations on the subsets. The similarity with orbit algebras is such that it took the author a long time to find a generalised orbit algebra not arising from a permutation group.
2010-04-14 v2
K-classes of matroids and equivariant localization
Published in Duke Math. J. 161, no. 14 (2012), 2699-2723 • View Publication • BIB
To every matroid, we associate a class in the K-theory of the Grassmannian. We study this class using the method of equivariant localization. In particular, we provide a geometric interpretation of the Tutte polynomial. We also extend results of the second author concerning the behavior of such classes under direct sum, series and parallel connection and two-sum; these results were previously only established for realizable matroids, and their earlier proofs were more difficult.
2010-04-14
A note on the random greedy triangle-packing algorithm
Published • View Publication • BIB
The random greedy algorithm for constructing a large partial Steiner-Triple-System is defined as follows. We begin with a complete graph on $n$ vertices and proceed to remove the edges of triangles one at a time, where each triangle removed is chosen uniformly at random from the collection of all remaining triangles. This stochastic process terminates once it arrives at a triangle-free graph. In this note we show that with high probability the number of edges in the final graph is at most $ O\big( n^{7/4}\log^{5/4}n \big) $.
Wallis-Ramanujan-Schur-Feynman
Published • View Publication • BIB
One of the earliest examples of analytic representations for $π$ is given by an infinite product provided by Wallis in 1655. The modern literature often presents this evaluation based on the integral formula $$ \frac{2}π \int_0^\infty \frac{dx}{(x^2+1)^{n+1}} = \frac{1}{2^{2n}} \binom{2n}{n}. $$ In trying to understand the behavior of this integral when the integrand is replaced by the inverse of a product of distinct quadratic factors, the authors encounter relations to some formulas of Ramanujan, expressions involving Schur functions, and Matsubara sums that have appeared in the context of Feynman diagrams.
2010-04-14
The Chooser-Picker 7-in-a-row-game
Published • View Publication • BIB
One of the main objective of this paper is to relate Beck's conjecture for k-in-a-row games. The conjecture states that playing on the same board Picker is better off in a Chooser-Picker game than the second player in the Maker-Breaker version. It was shown that the 8-in-a-row game is a blocking draw that is a Breaker win. To give the outcome of 7-, or 6-in-a-row-games is hopeless, but these games are widely believed to be Breaker's win. If both conjectures hold, Picker must win the Chooser-Picker version of the 7-in-a-row game, and that is what we prove.
2010-04-14
The Complexity of Two Graph Orientation Problems
Published • View Publication • BIB
We consider two orientation problems in a graph, namely the minimization of the sum of all the shortest path lengths and the minimization of the diameter. We show that it is NP-complete to decide whether a graph has an orientation such that the sum of all the shortest paths lengths is at most an integer specified in the input. The proof is a short reduction from a result of Chvátal and Thomassen showing that it is NP-complete to decide whether a graph can be oriented so that its diameter is at most 2. In contrast, for each positive integer k, we describe a linear-time algorithm that decides for a planar graph G whether there is an orientation for which the diameter is at most k. We also extend this result from planar graphs to any minor-closed family not containing all apex graphs.
2010-04-14
Variations on Cops and Robbers
Published • View Publication • BIB
We consider several variants of the classical Cops and Robbers game. We treat the version where the robber can move R > 1 edges at a time, establishing a general upper bound of N / α^{(1-o(1))\sqrt{log_α N}}, where α = 1 + 1/R, thus generalizing the best known upper bound for the classical case R = 1 due to Lu and Peng. We also show that in this case, the cop number of an N-vertex graph can be as large as N^{1 - 1/(R-2)} for finite R, but linear in N if R is infinite. For R = 1, we study the directed graph version of the problem, and show that the cop number of any strongly connected digraph on N vertices is at most O(N(log log N)^2/log N). Our approach is based on expansion.
2010-04-14
The Homomorphism Domination Exponent
Published • View Publication • BIB
We initiate a study of the homomorphism domination exponent of a pair of graphs F and G, defined as the maximum real number c such that |Hom(F,T)| \geq |Hom(G,T)|^c for every graph T. The problem of determining whether HDE(F,G) \geq 1 is known as the homomorphism domination problem and its decidability is an important open question arising in the theory of relational databases. We investigate the combinatorial and computational properties of the homomorphism domination exponent, proving upper and lower bounds and isolating classes of graphs F and G for which HDE(F,G) is computable. In particular, we present a linear program computing HDE(F,G) in the special case where F is chordal and G is series-parallel.
2010-04-13 v2
A Faster Algorithm for the Maximum Even Factor Problem
Published • View Publication • BIB
Given a digraph $G = (VG,AG)$, an \emph{even factor} $M \subseteq AG$ is a subset of arcs that decomposes into a collection of node-disjoint paths and even cycles. Even factors in digraphs were introduced by Geleen and Cunningham and generalize path matchings in undirected graphs. Finding an even factor of maximum cardinality in a general digraph is known to be NP-hard but for the class of \emph{odd-cycle symmetric} digraphs the problem is polynomially solvable. So far, the only combinatorial algorithm known for this task is due to Pap; it has the running time of $O(n^4)$ (hereinafter $n$ stands for the number of nodes in $G$). In this paper we present a novel \emph{sparse recovery} technique and devise an $O(n^3 \log n)$-time algorithm for finding a maximum cardinality even factor in an odd-cycle symmetric digraph.