arXiv++ Combinatorics

Browse math.CO papers from arXiv

Showing 20 papers (Total: 83502 papers, 48219 authors in database)
2013-02-08 v4
Growth rates of permutation grid classes, tours on graphs, and the spectral radius
Published in Trans. Amer. Math. Soc., 367(8):5863-5889, 2015 • View Publication • BIB
Monotone grid classes of permutations have proven very effective in helping to determine structural and enumerative properties of classical permutation pattern classes. Associated with grid class $\mathrm{Grid}(M)$ is a graph, $G(M)$, known as its "row-column" graph. We prove that the exponential growth rate of $\mathrm{Grid}(M)$ is equal to the square of the spectral radius of $G(M)$. Consequently, we utilize spectral graph theoretic results to characterise all slowly growing grid classes and to show that for every $γ\geqslant2+\sqrt{5}$ there is a grid class with growth rate arbitrarily close to $γ$. To prove our main result, we establish bounds on the size of certain families of tours on graphs. In the process, we prove that the family of tours of even length on a connected graph grows at the same rate as the family of "balanced" tours on the graph (in which the number of times an edge is traversed in one direction is the same as the number of times it is traversed in the other direction).
2013-02-08 v2
Combinatorial simpliciality of arrangements of hyperplanes
Published • View Publication • BIB
We introduce a combinatorial characterization of simpliciality for arrangements of hyperplanes. We then give a sharp upper bound for the number of hyperplanes of such an arrangement in the projective plane over a finite field, and present some series of arrangements related to the known arrangements in characteristic zero. We further enumerate simplicial arrangements with given symmetry groups. Finally, we determine all finite complex reflection groups affording combinatorially simplicial arrangements. It turns out that combinatorial simpliciality coincides with inductive freeness for finite complex reflection groups except for the Shephard-Todd group $G_{31}$.
2013-02-08
Short note on the convolution of binomial coefficients
Published in Journal of Integer Sequences, Vol. 16 (2013), Article 13.7.6 • Search Publication
We know [Rui Duarte and António Guedes de Oliveira, New developments of an old identity, manuscript arXiv:1203.5424, submitted.] that, for every non-negative integer numbers $n,i,j$ and for every real number $\ell$, $$ \sum_{i+j=n} \binom{2i-\ell}{i} \binom{2j+\ell}{j} = \sum_{i+j=n}\binom{2i}{i} \binom{2j}{j}, $$ which is well-known to be $4^n$. We extend this result by proving that, indeed, $$ \sum_{i+j=n} \binom{ai+k-\ell}{i} \binom{aj+\ell}{j} = \sum_{i+j=n} \binom{ai+k}{i} \binom{aj}{j} $$ for every integer $a$ and for every real $k$, and present new expressions for this value.
2013-02-08 v3
The Orlik-Solomon model for hypersurface arrangements
Published in Annales de l'Institut Fourier (Grenoble) 65, no. 6 (2015) 2507-2545 • View Publication • BIB
We develop a model for the cohomology of the complement of a hypersurface arrangement inside a smooth projective complex variety. This generalizes the case of normal crossing divisors, discovered by P. Deligne in the context of the mixed Hodge theory of smooth complex varieties. Our model is a global version of the Orlik-Solomon algebra, which computes the cohomology of the complement of a union of hyperplanes in an affine space. The main tool is the complex of logarithmic forms along a hypersurface arrangement, and its weight filtration. Connections with wonderful compactifications and the configuration spaces of points on curves are also studied.
2013-02-08
Construction of exact travelling waves for the Benjamin-Bona-Mahony equation on networks
Published • View Publication • BIB
We are interested in the existence of travelling waves for the Benjamin-Bona-Mahony equation on a network. First we construct an explicit wave, defined in $\mathbb{R}$. Then, we use this wave to derive some conditions on the coefficients appearing in the equations and on the geometry of the network to ensure the existence of travelling waves on the network.
2013-02-08
Calculation of the connective constant for self-avoiding walks via the pivot algorithm
Published in J. Phys. A: Math. Theor. 46, 245001 (2013) • View Publication • BIB
We calculate the connective constant for self-avoiding walks on the simple cubic lattice to unprecedented accuracy, using a novel application of the pivot algorithm. We estimate that μ= 4.684 039 931(27). Our method also provides accurate estimates of the number of self-avoiding walks, even for walks with millions of steps.
2013-02-08 v4
Three-coloring triangle-free graphs on surfaces II. 4-critical graphs in a disk
Let G be a plane graph of girth at least five. We show that if there exists a 3-coloring phi of a cycle C of G that does not extend to a 3-coloring of G, then G has a subgraph H on O(|C|) vertices that also has no 3-coloring extending phi. This is asymptotically best possible and improves a previous bound of Thomassen. In the next paper of the series we will use this result and the attendant theory to prove a generalization to graphs on surfaces with several precolored cycles.
2013-02-07 v2
On the Classification of Extremal Doubly Even Self-Dual Codes with 2-Transitive Automorphism Group
Published in Des. Codes Cryptogr. (2014) 73:33-35 • View Publication • BIB
In this note, we complete the classification of extremal doubly even self-dual codes with 2-transitive automorphism groups.
2013-02-07 v2
Non-expander Cayley graphs of simple groups
Published • View Publication • BIB
For every infinite sequence of simple groups of Lie type of growing rank we exhibit connected Cayley graphs of degree at most 10 such that the isoperimetric number of these graphs converges to 0. This proves that these graphs do not form a family of expanders.
2013-02-07 v3
Hypergraph limits: a regularity approach
Published in Random Structures Algorithms 47 (2015), 205-226 • View Publication • BIB
A sequence of $k$-uniform hypergraphs $H_1, H_2, \dots$ is convergent if the sequence of homomorphism densities $t(F, H_1), t(F, H_2), \dots$ converges for every $k$-uniform hypergraph $F$. For graphs, Lovász and Szegedy showed that every convergent sequence has a limit in the form of a symmetric measurable function $W \colon [0,1]^2 \to [0,1]$. For hypergraphs, analogous limits $W \colon [0,1]^{2^k-2} \to [0,1]$ were constructed by Elek and Szegedy using ultraproducts. These limits had also been studied earlier by Hoover, Aldous, and Kallenberg in the setting of exchangeable random arrays. In this paper, we give a new proof and construction of hypergraph limits. Our approach is inspired by the original approach of Lovász and Szegedy, with the key ingredient being a weak Frieze-Kannan type regularity lemma.
Constructions of Large Graphs on Surfaces
Published • View Publication • BIB
We consider the degree/diameter problem for graphs embedded in a surface, namely, given a surface $Σ$ and integers $Δ$ and $k$, determine the maximum order $N(Δ,k,Σ)$ of a graph embeddable in $Σ$ with maximum degree $Δ$ and diameter $k$. We introduce a number of constructions which produce many new largest known planar and toroidal graphs. We record all these graphs in the available tables of largest known graphs. Given a surface $Σ$ of Euler genus $g$ and an odd diameter $k$, the current best asymptotic lower bound for $N(Δ,k,Σ)$ is given by \[\sqrt{\frac{3}{8}g}Δ^{\lfloor k/2\rfloor}.\] Our constructions produce new graphs of order \[\begin{cases}6Δ^{\lfloor k/2\rfloor}& \text{if $Σ$ is the Klein bottle}\\ \(\frac{7}{2}+\sqrt{6g+\frac{1}{4}}\)Δ^{\lfloor k/2\rfloor}& \text{otherwise,}\end{cases}\] thus improving the former value by a factor of 4.
2013-02-07 v2
On high-dimensional acyclic tournaments
Published in Discrete & Computational Geometry: Volume 50, Issue 4 (2013), Page 1085-1100 • View Publication • BIB
We study a high-dimensional analog for the notion of an acyclic (aka transitive) tournament. We give upper and lower bounds on the number of $d$-dimensional $n$-vertex acyclic tournaments. In addition, we prove that every $n$-vertex $d$-dimensional tournament contains an acyclic subtournament of $Ω(\log^{1/d}n)$ vertices and the bound is tight. This statement for tournaments (i.e., the case $d=1$) is a well-known fact. We indicate a connection between acyclic high-dimensional tournaments and Ramsey numbers of hypergraphs. We investigate as well the inter-relations among various other notions of acyclicity in high-dimensional to tournaments. These include combinatorial, geometric and topological concepts.
2013-02-07
A Turán-type problem on degree sequence
Given $p\geq 0$ and a graph $G$ whose degree sequence is $d_1,d_2,\ldots,d_n$, let $e_p(G)=\sum_{i=1}^n d_i^p$. Caro and Yuster introduced a Turán-type problem for $e_p(G)$: given $p\geq 0$, how large can $e_p(G)$ be if $G$ has no subgraph of a particular type. Denote by $ex_p(n,H)$ the maximum value of $e_p(G)$ taken over all graphs with $n$ vertices that do not contain $H$ as a subgraph. Clearly, $ex_1(n,H)=2ex(n,H)$, where $ex(n,H)$ denotes the classical Turán number, i.e., the maximum number of edges among all $H$-free graphs with $n$ vertices. Pikhurko and Taraz generalize this Turán-type problem: let $f$ be a non-negative increasing real function and $e_f(G)=\sum_{i=1}^n f(d_i)$, and then define $ex_f(n,H)$ as the maximum value of $e_f(G)$ taken over all graphs with $n$ vertices that do not contain $H$ as a subgraph. Observe that $ex_f(n,H)=ex(n,H)$ if $f(x)=x/2$, $ex_f(n,H)=ex_p(n,H)$ if $f(x)=x^p$. Bollobás and Nikiforov mentioned that it is important to study concrete functions. They gave an example $f(x)=φ(k)={x\choose k}$, since $\sum_{i=1}^n{d_i\choose k}$ counts the $(k+1)$-vertex subgraphs of $G$ with a dominating vertex. Denote by $T_r(n)$ the $r$-partite Turán graph of order $n$. In this paper, using the Bollobás--Nikiforov's methods, we give some results on $ex_φ(n,K_{r+1})$ $(r\geq 2)$ as follows: for $k=1,2$, $ex_φ(n,K_{r+1})=e_φ(T_r(n))$; for each $k$, there exists a constant $c=c(k)$ such that for every $r\geq c(k)$ and sufficiently large $n$, $ex_φ(n,K_{r+1})=e_φ(T_r(n))$; for a fixed $(r+1)$-chromatic graph $H$ and every $k$, when $n$ is sufficiently large, we have $ex_φ(n,H)=e_φ(n,K_{r+1})+o(n^{k+1})$.
2013-02-07 v8
Congruences for Domb and Almkvist-Zudilin numbers
Published • View Publication • BIB
In this paper we prove some transformation formulae for congruences modulo a prime and deduce some congruences for Domb numbers and Almkvist-Zudilin numbers. We also pose some conjectures on congruences modulo prime powers.
2013-02-07 v2
Binary Linear Codes, Dimers and Hypermatrices
Published • View Publication • BIB
We show that the weight enumerator of any binary linear code is equal to the permanent of a 3-dimensional hypermatrix (3-matrix). We also show that each permanent is a determinant of a 3-matrix. As an application we write the dimer partition function of a finite 3-dimensional cubic lattice as the determinant of the vertex-adjacency 3-matrix of a 2-dimensional simplicial complex which preserves the natural embedding of the cubic lattice.
2013-02-07 v2
Trees and spatial topology change in CDT
Published in J. Phys. A: Math. Theor. 46 (2013) 315201 • View Publication • BIB
Generalized causal dynamical triangulations (generalized CDT) is a model of two-dimensional quantum gravity in which a limited number of spatial topology changes is allowed to occur. We solve the model at the discretized level using bijections between quadrangulations and trees. In the continuum limit (scaling limit) the amplitudes are shown to agree with known formulas and explicit expressions are obtained for loop propagators and two-point functions. It is shown that from a combinatorial point of view generalized CDT can be viewed as the scaling limit of planar maps with a finite number of faces and we determine the distance function on this ensemble of planar maps. Finally, the relation with planar maps is used to illuminate a mysterious identity of certain continuum cylinder amplitudes.
2013-02-07 v2
Mesh patterns with superfluous mesh
Published • View Publication • BIB
Mesh patterns are a generalization of classical permutation patterns that encompass classical, bivincular, Bruhat-restricted patterns, and some barred patterns. In this paper, we describe all mesh patterns whose avoidance is coincident with classical avoidance, in a sense declaring that the additional data of a mesh was unnecessary for these patterns. We also describe the permutations having the fewest superfluous meshes, and the permutations having the most, enumerating the superfluous meshes in each case.
2013-02-06 v2
Some planar monomials in characteristic 2
Published in Annals of Combinatorics 18 (2014), 723-729 • View Publication • BIB
Planar functions over finite fields give rise to finite projective planes and other combinatorial objects. They were originally defined only in odd characteristic, but recently Zhou introduced a definition in even characteristic which yields similar applications. In this paper we show that certain functions over $\mathbb{F}_{2^r}$ are planar, which proves a conjecture of Schmidt and Zhou. The key to our proof is a new result about the $\mathbb{F}_{q^3}$-rational points on the degree-$(q-1)$ Fermat curve $x^{q-1}+y^{q-1}=z^{q-1}$.
2013-02-06
Fiedler Vectors and Elongation of Graphs: A Threshold Phenomenon on a Particular Class of Trees
Let $G$ be a graph. Its laplacian matrix $L(G)$ is positive and we consider eigenvectors of its first non-null eigenvalue that are called Fiedler vector. They have been intensively used in spectral partitioning problems due to their good empirical properties. More recently Fiedler vectors have been also popularized in the computer graphics community to describe elongation of shapes. In more technical terms, authors have conjectured that extrema of Fiedler vectors can yield the diameter of a graph. In this work we present (FED) property for a graph $G$, i.e. the fact that diameter of a graph can be obtain by Fiedler vectors. We study in detail a parametric family of trees that gives indeed a counter example for the previous conjecture but reveals a threshold phenomenon for (FED) property. We end by an exhaustive enumeration of trees with at most 20 vertices for which (FED) is true and some perspectives.
2013-02-06 v3
Counting matroids in minor-closed classes
Published • View Publication • BIB
A flat cover is a collection of flats identifying the non-bases of a matroid. We introduce the notion of cover complexity, the minimal size of such a flat cover, as a measure for the complexity of a matroid, and present bounds on the number of matroids on $n$ elements whose cover complexity is bounded. We apply cover complexity to show that the class of matroids without an $N$-minor is asymptotically small in case $N$ is one of the sparse paving matroids $U_{2,k}$, $U_{3,6}$, $P_6$, $Q_6$, or $R_6$, thus confirming a few special cases of a conjecture due to Mayhew, Newman, Welsh, and Whittle. On the other hand, we show a lower bound on the number of matroids without $M(K_4)$-minor which asymptoticaly matches the best known lower bound on the number of all matroids, due to Knuth.