arXiv++ Combinatorics

Browse math.CO papers from arXiv

Showing 20 papers (Total: 83502 papers, 48219 authors in database)
Distance magic labeling and two products of graphs
Published in Graphs and Combinatorics (2015), Volume 31, Issue 5, 1125-1136 • View Publication • BIB
Let $G=(V,E)$ be a graph of order $n$. A distance magic labeling of $G$ is a bijection $\ell \colon V\rightarrow {1,...,n}$ for which there exists a positive integer $k$ such that $\sum_{x\in N(v)}\ell (x)=k$ for all $v\in V $, where $N(v)$ is the neighborhood of $v$. We introduce a natural subclass of distance magic graphs. For this class we show that it is closed for the direct product with regular graphs and closed as a second factor for lexicographic product with regular graphs. In addition, we characterize distance magic graphs among direct product of two cycles.
FI-modules over Noetherian rings
Published in Geom. Topol. 18 (2014) 2951-2984 • View Publication • BIB
FI-modules were introduced by the first three authors in [CEF] to encode sequences of representations of symmetric groups. Over a field of characteristic 0, finite generation of an FI-module implies representation stability for the corresponding sequence of S_n-representations. In this paper we prove the Noetherian property for FI-modules over arbitrary Noetherian rings: any sub-FI-module of a finitely generated FI-module is finitely generated. This lets us extend many of the results of [CEF] to representations in positive characteristic, and even to integral coefficients. We focus on three major applications of the main theorem: on the integral and mod p cohomology of configuration spaces; on diagonal coinvariant algebras in positive characteristic; and on an integral version of Putman's central stability for homology of congruence subgroups.
2012-10-05 v4
Tensor diagrams and cluster algebras
Published • View Publication • BIB
The rings of SL(V) invariants of configurations of vectors and linear forms in a finite-dimensional complex vector space V were explicitly described by Hermann Weyl in the 1930s. We show that when V is 3-dimensional, each of these rings carries a natural cluster algebra structure (typically, many of them) whose cluster variables include Weyl's generators. We describe and explore these cluster structures using the combinatorial machinery of tensor diagrams. A key role is played by the web bases introduced by G.Kuperberg.
2012-10-04 v2
Note on divisible difference sets from Galois rings GR(9,n)
In this note, we give a new construction of divisible difference sets in ${\Bbb Z}_{9}^n$ using Galois ring $GR(3^2,n)$ under the assumption of the existence of skew Hadamard difference sets in ${\Bbb F}_{3^n}$.
2012-10-04
The Correct Exponent for the Gotsman-Linial Conjecture
Published • View Publication • BIB
We prove a new bound on the average sensitivity of polynomial threshold functions. In particular we show that a polynomial threshold function of degree $d$ in at most $n$ variables has average sensitivity at most $\sqrt{n}(\log(n))^{O(d\log(d))}2^{O(d^2\log(d)}$. For fixed $d$ the exponent in terms of $n$ in this bound is known to be optimal. This bound makes significant progress towards the Gotsman-Linial Conjecture which would put the correct bound at $Θ(d\sqrt{n})$.
Schur times Schubert via the Fomin-Kirillov algebra
We study multiplication of any Schubert polynomial $\mathfrak{S}_w$ by a Schur polynomial $s_λ$ (the Schubert polynomial of a Grassmannian permutation) and the expansion of this product in the ring of Schubert polynomials. We derive explicit nonnegative combinatorial expressions for the expansion coefficients for certain special partitions $λ$, including hooks and the 2x2 box. We also prove combinatorially the existence of such nonnegative expansion when the Young diagram of $λ$ is a hook plus a box at the (2,2) corner. We achieve this by evaluating Schubert polynomials at the Dunkl elements of the Fomin-Kirillov algebra and proving special cases of the nonnegativity conjecture of Fomin and Kirillov. This approach works in the more general setup of the (small) quantum cohomology ring of the complex flag manifold and the corresponding (3-point) Gromov-Witten invariants. We provide an algebro-combinatorial proof of the nonnegativity of the Gromov-Witten invariants in these cases, and present combinatorial expressions for these coefficients.
2012-10-04
From flag complexes to banner complexes
Published • View Publication • BIB
A notion of an $i$-banner simplicial complex is introduced. For various values of $i$, these complexes interpolate between the class of flag complexes and the class of all simplicial complexes. Examples of simplicial spheres of an arbitrary dimension that are $(i+1)$-banner but not $i$-banner are constructed. It is shown that several theorems for flag complexes have appropriate $i$-banner analogues. Among them are (1) the codimension-$(i+j-1)$ skeleton of an $i$-banner homology sphere $Δ$ is $2(i+j)$-Cohen--Macaulay for all $0\leq j\leq \dimΔ+1-i$, and (2) for every $i$-banner simplicial complex $Δ$ there exists a balanced complex $Γ$ with the same number of vertices as $Δ$ whose face numbers of dimension $i-1$ and higher coincide with those of $Δ$.
On Blow-Ups and Injectivity of Quivers
Published in Electron. J. Combin. 20(2) #P40 (2013) • View Publication • BIB
This work connects the idea of a "blow-up" of a quiver with that of injectivity, showing that for a class of monic maps $Φ$, a quiver is $Φ$-injective if and only if all blow-ups of it are as well. This relationship is then used to characterize all quivers that are injective with respect to the natural embedding of $P_{n}$ into $C_{n}$.
2012-10-04
Cohen-Macaulay $r$-partite graphs with minimal clique cover
In this note, we give some necessary conditions for an $r$-partite graph such that the edge ring of the graph is Cohen-Macaulay. It is proved that if $G$ is an $r$-partite Cohen-Macaulay graph which is covered by some disjoint cliques of size $r$, then the clique cover is unique.
2012-10-04
Initial value problems for quad equations
Published • View Publication • BIB
We describe a method to construct well-posed initial value problems for not necessarily integrable equations on not necessarily simply connected quad-graphs. Although the method does not always provide a well-posed initial value problem (not all quad-graphs admit well-posed initial value problems) it is effective in the class of rhombic embeddable quad-graphs.
2012-10-04 v2
EL-labelings and canonical spanning trees for subword complexes
Published in Discrete Geometry and Optimization, Fields Institute Communications Series (Springer), 69:213-248, 2013 • View Publication • BIB
We describe edge labelings of the increasing flip graph of a subword complex on a finite Coxeter group, and study applications thereof. On the one hand, we show that they provide canonical spanning trees of the facet-ridge graph of the subword complex, describe inductively these trees, and present their close relations to greedy facets. Searching these trees yields an efficient algorithm to generate all facets of the subword complex, which extends the greedy flip algorithm for pointed pseudotriangulations. On the other hand, when the increasing flip graph is a Hasse diagram, we show that the edge labeling is indeed an EL-labeling and derive further combinatorial properties of paths in the increasing flip graph. These results apply in particular to Cambrian lattices, in which case a similar EL-labeling was recently studied by M. Kallipoliti and H. Mühle.
2012-10-04
Independent sets in graphs with given minimum degree
Published • View Publication • BIB
We consider numbers and sizes of independent sets in graphs with minimum degree at least $d$, when the number $n$ of vertices is large. In particular we investigate which of these graphs yield the maximum numbers of independent sets of different sizes, and which yield the largest random independent sets. We establish a strengthened form of a conjecture of Galvin concerning the first of these topics.
The topology of the minimal regular cover of the Archimedean tessellations
Published • View Publication • BIB
In this article we determine, for an infinite family of maps on the plane, the topology of the surface on which the minimal regular covering occurs. This infinite family includes all Archimedean maps.
2012-10-04
A generalization of Vassiliev's planarity criterion
Motivated by his studies in knot theory V. Vassiliev introduced $X$-graphs as regular 4-valent graph with a structure of pairs of opposite edges at each vertex. He conjectured the conditions under which $X$-graph can be embedded into a plane respecting the the $X$-structure at every vertex. The conjecture was proved by V.Manturov. Here we generalize these results for graphs with vertices of valency 4 or 6, *-graphs. A problem of such generalization was posted by A.Skopenkov.
2012-10-04 v2
On irreducible polynomials over finite fields
Published • View Publication • BIB
For n=1,2,3,... let N_n(q) denote the number of monic irreducible polynomials over the finite field F_q. We mainly show that the sequence N_n(q)^{1/n} (n>e^{3+7/(q-1)^2}) is strictly increasing and the sequence N_{n+1}(q)^{1/(n+1)}/N_n(q)^{1/n} (n>=5.835*10^{14}) is strictly decreasing. We also prove that if q>8 then N_{n+1}(q)/N_n(q) (n=1,2,3,...) is strictly increasing.
An involution on β(1,0)-trees
Published • View Publication • BIB
In [Decompositions and statistics for β(1,0)-trees and nonseparable permutations, Advances Appl. Math. 42 (2009) 313--328] we introduced an involution, h, on β(1,0)-trees. We neglected, however, to prove that h indeed is an involution. In this note we provide the missing proof. We also refine an equidistribution result given in the same paper.
Partial covers of PG(n,q)
Published in European J. Combin., 31 (6) (2010), 1611-1616 • View Publication • BIB
In this paper, we show that a set of q+a hyperplanes, q>13, a<(q-10)/4, that does not cover PG(n,q), does not cover at least q^(n-1)-aq^(n-2) points, and show that this lower bound is sharp. If the number of non- covered points is at most q^(n-1), then we show that all non-covered points are contained in one hyperplane. Finally, using a recent result of Blokhuis, Brouwer, and Szonyi [3], we remark that the bound on a for which these results are valid can be improved to a<(q-2)/3 and that this upper bound on a is sharp
2012-10-03
A small minimal blocking set in PG(n,p^t), spanning a (t-1)-space, is linear
Published • View Publication • BIB
In this paper, we show that a small minimal blocking set with exponent e in PG(n,p^t), p prime, spanning a (t/e-1)-dimensional space, is an F_p^e-linear set, provided that p>5(t/e)-11. As a corollary, we get that all small minimal blocking sets in PG(n,p^t), p prime, p>5t-11, spanning a (t-1)-dimensional space, are F_p-linear, hence confirming the linearity conjecture for blocking sets in this particular case.
2012-10-03 v2
An infinite family of tight triangulations of manifolds
Published • View Publication • BIB
We give an explicit construction of vertex-transitive tight triangulations of $d$-manifolds for $d\geq 2$. More explicitly, for each $d\geq 2$, we construct two $(d^2+5d+5)$-vertex neighborly triangulated $d$-manifolds whose vertex-links are stacked spheres. The only other non-trivial series of such tight triangulated manifolds currently known is the series of non-simply connected triangulated $d$-manifolds with $2d+3$ vertices constructed by Kühnel. The manifolds we construct are strongly minimal. For $d\geq 3$, they are also tight neighborly as defined by Lutz, Sulanke and Swartz. Like Kühnel's complexes, our manifolds are orientable in even dimensions and non-orientable in odd dimensions.
2012-10-03
Abelian 1-factorizations of complete multipartite graphs
An automorphism group G of a 1-factorization of the complete multipartite graph $K_{m\times n}$ consists in permutations of the vertices of the graph mapping factors to factors. In this paper, we give a complete answer to the existence or non-existence problem of a 1-factorization of $K_{m\times n}$ admitting an abelian group acting sharply transitively on the vertices of the graph.