arXiv++ Combinatorics

Browse math.CO papers from arXiv

Showing 20 papers (Total: 83190 papers, 48060 authors in database)
2009-11-16
Strong uniform expansion in $\mathrm{SL}(2,p)$
Published • View Publication • BIB
We show that there is an infinite set of primes $\mathcal{P}$ of density one, such that the family of \textit{all} Cayley graphs of $\mathrm{SL}(2,p)$%, $p\in \mathcal{P}$, is a family of expanders.
2009-11-16 v2
On a curious property of 3435
Folklore tells us that there are no uninteresting natural numbers. But some natural numbers are more interesting then others. In this article we will explain why 3435 is one of the more interesting natural numbers around. We will show that 3435 is a Munchausen number in base 10, and we will explain what we mean by that. We will further show that for every base there are finitely many Munchausen numbers in that base.
2009-11-16
Bicrossproduct Hopf quasigroups
We recall the notion of Hopf quasigroups introduced previously. We construct a bicrossproduct Hopf quasigroup $kM\bicross k(G)$ from every group $X$ with a finite subgroup $G\subset X$ and IP quasigroup transversal $M\subset X$ subject to certain conditions. We identify the octonions quasigroup $G_O$ as transversal in an order 128 group $X$ with subgroup $Z_2^3$ and hence obtain a Hopf quasigroup $kG_O\lcocross k(Z_2^3)$ as a particular case of our construction.
2009-11-16 v9
Fibonacci numbers modulo cubes of primes
Published in Taiwanese J. Math. 17(2013), 1523-1543 • View Publication • BIB
Let $p$ be an odd prime. It is well known that $F_{p-(\frac p5)}\equiv 0\pmod{p}$, where $\{F_n\}_{n\ge0}$ is the Fibonacci sequence and $(-)$ is the Jacobi symbol. In this paper we show that if $p\not=5$ then we may determine $F_{p-(\frac p5)}$ mod $p^3$ in the following way: $$\sum_{k=0}^{(p-1)/2}\frac{\binom{2k}k}{(-16)^k}\equiv\left(\frac{p}5\right)\left(1+\frac{F_{p-(\frac {p}5)}}2\right)\pmod{p^3}.$$ We also use Lucas quotients to determine $\sum_{k=0}^{(p-1)/2}\binom{2k}k/m^k$ modulo $p^2$ for any integer $m\not\equiv0\pmod{p}$; in particular, we obtain $$\sum_{k=0}^{(p-1)/2}\frac{\binom{2k}k}{16^k}\equiv\left(\frac3{p}\right)\pmod{p^2}.$$ In addition, we pose three conjectures for further research.
2009-11-16
Combinatorial interpretations of binomial coefficient analogues related to Lucas sequences
Published • View Publication • BIB
Let s and t be variables. Define polynomials {n} in s, t by {0}=0, {1}=1, and {n}=s{n-1}+t{n-2} for n >= 2. If s, t are integers then the corresponding sequence of integers is called a Lucas sequence. Define an analogue of the binomial coefficients by C{n,k}={n}!/({k}!{n-k}!) where {n}!={1}{2}...{n}. It is easy to see that C{n,k} is a polynomial in s and t. The purpose of this note is to give two combinatorial interpretations for this polynomial in terms of statistics on integer partitions inside a k by n-k rectangle. When s=t=1 we obtain combinatorial interpretations of the fibonomial coefficients which are simpler than any that have previously appeared in the literature.
Generalization of a theorem of Erdos and Renyi on Sidon Sequences
Published • View Publication • BIB
Erd\H os and Rényi claimed and Vu proved that for all $h \ge 2$ and for all $ε> 0$, there exists $g = g_h(ε)$ and a sequence of integers $A$ such that the number of ordered representations of any number as a sum of $h$ elements of $A$ is bounded by $g$, and such that $|A \cap [1,x]| \gg x^{1/h - ε}$. We give two new proofs of this result. The first one consists of an explicit construction of such a sequence. The second one is probabilistic and shows the existence of such a $g$ that satisfies $g_h(ε) \ll ε^{-1}$, improving the bound $g_h(ε) \ll ε^{-h+1}$ obtained by Vu. Finally we use the "alteration method" to get a better bound for $g_3(ε)$, obtaining a more precise estimate for the growth of $B_3[g]$ sequences.
2009-11-15
Chern classes of tropical vector bundles
Published • View Publication • BIB
We introduce tropical vector bundles, morphisms and rational sections of these bundles and define the pull-back of a tropical vector bundle and of a rational section along a morphism. Afterwards we use the bounded rational sections of a tropical vector bundle to define the Chern classes of this bundle and prove some basic properties of Chern classes. Finally we give a complete classification of all vector bundles on an elliptic curve up to isomorphisms.
Abelian Complexity in Minimal Subshifts
Published in J. London Math. Soc.2010 • View Publication • BIB
In this paper we undertake the general study of the Abelian complexity of an infinite word on a finite alphabet. We investigate both similarities and differences between the Abelian complexity and the usual subword complexity. While the Thue-Morse minimal subshift is neither characterized by its Abelian complexity nor by its subword complexity alone, we show that the subshift is completely characterized by the two complexity functions together. We give an affirmative answer to an old question of G. Rauzy by exhibiting a class of words whose Abelian complexity is everywhere equal to 3. We also investigate links between Abelian complexity and the existence of Abelian powers. Using van der Waerden's Theorem, we show that any minimal subshift having bounded Abelian complexity contains Abelian k-powers for every positive integer k. In the case of Sturmian words we prove something stronger: For every Sturmian word w and positive integer k, each sufficiently long factor of w begins in an Abelian k-power.
2009-11-14
On splitting infinite-fold covers
Published • View Publication • BIB
Let $X$ be a set, $\ka$ be a cardinal number and let $\iH$ be a family of subsets of $X$ which covers each $x\in X$ at least $\ka$ times. What assumptions can ensure that $\iH$ can be decomposed into $κ$ many disjoint subcovers? We examine this problem under various assumptions on the set $X$ and on the cover $\iH$: among other situations, we consider covers of topological spaces by closed sets, interval covers of linearly ordered sets and covers of $\real^{n}$ by polyhedra and by arbitrary convex sets. We focus on these problems mainly for infinite $κ$. Besides numerous positive and negative results, many questions turn out to be independent of the usual axioms of set theory.
Higher Order Log-Concavity in Euler's Difference Table
Published • View Publication • BIB
Let $e_{n}^k$ be the entries in the classical Euler's difference table. We consider the array $d_{n}^{k}=e_n^k/k!$ for $0\leq k \leq n$, where $d_n^k$ can be interpreted as the number of k-fixed-points-permutations of [n]. We show that the sequence $\{d_n^k\}_{0\leq k\leq n}$ is 2-log-concave and reverse ultra log-concave for any given n.
2009-11-14
On $\ell^{p}$-like equivalence relations
For $f \colon [0,1] \rar \real^{+}$, consider the relation $\mathbf{E}_{f}$ on $[0,1]^ω$ defined by $(x_{n}) \mathbf{E}_{f} (y_{n}) \Leftrightarrow \sum_{n < ω} f(|y_{n} - x_{n}|) < \infty.$ We study the Borel reducibility of Borel equivalence relations of the form $\mathbf{E}_{f}$. Our results indicate that for every $1 \leq p < q < \infty$, the order $\leq_{B}$ of Borel reducibility on the set of equivalence relations $\{\bE \colon \bE_{\Id^{p}} \leq_{B} \bE \leq_{B} \bE_{\Id^{q}}\}$ is more complicated than expected, e.g. consistently every linear order of cardinality continuum embeds into it.
2009-11-14 v2
Topological Symmetry Groups of K_{4r+3}
Published in Discrete and Continuous Dynamical Systems, Vol 4, (2011), 1401-1411 • View Publication • BIB
We present the concept of the topological symmetry group as a way to analyze the symmetries of non-rigid molecules. Then we characterize all of the groups which can occur as the topological symmetry group of an embedding of the complete graph K_{4r+3} in S^3.
2009-11-14
Boltzmann Samplers for Colored Combinatorial Objects
In this paper, we give a general framework for the Boltzmann generation of colored objects belonging to combinatorial constructible classes. We propose an intuitive notion called profiled objects which allows the sampling of size-colored objects (and also of k-colored objects) although the corresponding class cannot be described by an analytic ordinary generating function.
2009-11-14
Boltzmann Samplers for v-balanced Colored Necklaces
This paper is devoted to the random generation of particular colored necklaces for which the number of beads of a given color is constrained (these necklaces are called v-balanced). We propose an efficient sampler (its expected time complexity is linear) which satisfies the Boltzmann model principle introduced by Duchon, Flajolet, Louchard and Schaeffer. Our main motivation is to show that the absence of a decomposable specification can be circumvented by mixing the Boltzmann samplers with other types of samplers.
Distances on Rhombus Tilings
Published in Theor. Comput. Sci. 412(36): 4787-4794 (2011) • View Publication • BIB
The rhombus tilings of a simply connected domain of the Euclidean plane are known to form a flip-connected space (a flip is the elementary operation on rhombus tilings which rotates 180° a hexagon made of three rhombi). Motivated by the study of a quasicrystal growth model, we are here interested in better understanding how "tight" rhombus tiling spaces are flip-connected. We introduce a lower bound (Hamming-distance) on the minimal number of flips to link two tilings (flip-distance), and we investigate whether it is sharp. The answer depends on the number n of different edge directions in the tiling: positive for n=3 (dimer tilings) or n=4 (octogonal tilings), but possibly negative for n=5 (decagonal tilings) or greater values of n. A standard proof is provided for the n=3 and n=4 cases, while the complexity of the n=5 case led to a computer-assisted proof (whose main result can however be easily checked by hand).
2009-11-14
Optimal Partial Tiling of Manhattan Polyominoes
Published • View Publication • BIB
Finding an efficient optimal partial tiling algorithm is still an open problem. We have worked on a special case, the tiling of Manhattan polyominoes with dominoes, for which we give an algorithm linear in the number of columns. Some techniques are borrowed from traditional graph optimisation problems.
2009-11-14 v2
Fractional total colourings of graphs of high girth
Published • View Publication • BIB
Reed conjectured that for every epsilon>0 and Delta there exists g such that the fractional total chromatic number of a graph with maximum degree Delta and girth at least g is at most Delta+1+epsilon. We prove the conjecture for Delta=3 and for even Delta>=4 in the following stronger form: For each of these values of Delta, there exists g such that the fractional total chromatic number of any graph with maximum degree Delta and girth at least g is equal to Delta+1.
2009-11-14 v3
A short proof of the tree-packing theorem
Published • View Publication • BIB
We give a short elementary proof of Tutte and Nash-Williams' characterization of graphs with k edge-disjoint spanning trees.
2009-11-13
The area generating function for simple-2-column polyominoes with hexagonal cells
Published in Int. J. Chem. Model. 3 (2010), 115-129 • Search Publication
Column-convex polygons were first counted by area several decades ago, and the result was found to be a simple, rational, generating function. In this chapter we generalize that result. Let a p-column polyomino be a polyomino whose columns can have 1, 2,..., p connected components. Then column-convex polygons are equivalent to 1-convex polyominoes. The area generating function of even the simplest generalization, namely to 2-column polyominoes, is unlikely to be solvable. We therefore define a class of polyominoes which interpolates between column-convex polygons and 2-column polyominoes. We derive the area generating function of that class, using an extension of an existing algorithm. The growth constant of the new class is greater than the growth constant of column-convex polygons. A rather tight lower bound on the growth constant complements a compelling numerical analysis.
2009-11-13 v3
Zero Action on Perfect Crystals for U_q(G_2^{(1)})
Published in SIGMA 6 (2010), 022, 12 pages • View Publication • BIB
The actions of 0-Kashiwara operators on the $U'_q(G_2^{(1)})$-crystal $B_l$ in [Yamane S., J. Algebra 210 (1998), 440-486] are made explicit by using a similarity technique from that of a $U'_q(D_4^{(3)})$-crystal. It is shown that $\{B_l\}_{l\ge1}$ forms a coherent family of perfect crystals.