arXiv++ Combinatorics

Browse math.CO papers from arXiv

Showing 20 papers (Total: 84253 papers, 48533 authors in database)
2017-05-08 v2
Inductive Freeness of Ziegler's Canonical Multiderivations for Reflection Arrangements
Published • View Publication • BIB
Let $A$ be a free hyperplane arrangement. In 1989, Ziegler showed that the restriction $A''$ of $A$ to any hyperplane endowed with the natural multiplicity is then a free multiarrangement. We initiate a study of the stronger freeness property of inductive freeness for these canonical free multiarrangements and investigate them for the underlying class of reflection arrangements. More precisely, let $A = A(W)$ be the reflection arrangement of a complex reflection group $W$. By work of Terao, each such reflection arrangement is free. Thus so is Ziegler's canonical multiplicity on the restriction $A''$ of $A$ to a hyperplane. We show that the latter is inductively free as a multiarrangement if and only if $A''$ itself is inductively free.
2017-05-08 v2
On degree sum conditions for 2-factors with a prescribed number of cycles
Published • View Publication • BIB
For a vertex subset $X$ of a graph $G$, let $Δ_{t}(X)$ be the maximum value of the degree sums of the subsets of $X$ of size $t$. In this paper, we prove the following result: Let $k$ be a positive integer, and let $G$ be an $m$-connected graph of order $n \ge 5k - 2$. If $Δ_{2}(X) \ge n$ for every independent set $X$ of size $\lceil m/k \rceil+1$ in $G$, then $G$ has a 2-factor with exactly $k$ cycles. This is a common generalization of the results obtained by Brandt et al. [Degree conditions for 2-factors, J. Graph Theory 24 (1997) 165-173] and Yamashita [On degree sum conditions for long cycles and cycles through specified vertices, Discrete Math. 308 (2008) 6584-6587], respectively.
2017-05-08
Factors of sums and alternating sums of products of $q$-binomial coefficients and powers of $q$-integers
Published • View Publication • BIB
We prove that, for all positive integers $n_1, \ldots, n_m$, $n_{m+1}=n_1$, and non-negative integers $j$ and $r$ with $j\leqslant m$, the following two expressions \begin{align*} &\frac{1}{[n_1+n_m+1]}{n_1+n_{m}\brack n_1}^{-1}\sum_{k=0}^{n_1} q^{j(k^2+k)-(2r+1)k}[2k+1]^{2r+1}\prod_{i=1}^m {n_i+n_{i+1}+1\brack n_i-k},\\[5pt] &\frac{1}{[n_1+n_m+1]}{n_1+n_{m}\brack n_1}^{-1}\sum_{k=0}^{n_1}(-1)^k q^{{k\choose 2}+j(k^2+k)-2rk}[2k+1]^{2r+1}\prod_{i=1}^m {n_i+n_{i+1}+1\brack n_i-k} \end{align*} are Laurent polynomials in $q$ with integer coefficients, where $[n]=1+q+\cdots+q^{n-1}$ and ${n\brack k}=\prod_{i=1}^k(1-q^{n-i+1})/(1-q^i)$. This gives a $q$-analogue of some divisibility results of sums and alternating sums involving binomial coefficients and powers of integers obtained by Guo and Zeng. We also confirm some related conjectures of Guo and Zeng by establishing their $q$-analogues. Several conjectural congruences for sums involving products of $q$-ballot numbers $\left({2n\brack n-k}-{2n\brack n-k-1}\right)$ are proposed in the last section of this paper.
2017-05-08
The Edge-Wiener Index, the Szeged Indices and the PI Index of Benzenoid Systems in Sub-Linear Time
Published in MATCH Commun. Math. Comput. Chem. 78 (2017) 675-688 • Search Publication
In this paper, we investigate the edge-Wiener index, the Szeged index, the edge-Szeged index, and the PI index, which are some of the most studied distance-based topological indices. As the main result we show that for benzenoid systems these indices can be computed in sub-linear time with respect to the number of vertices. More precisely, they can be computed in the time dependent on the length of the boundary cycle of a benzenoid system.
Goldberg, Fuller, Caspar, Klug and Coxeter and a general approach to local symmetry-preserving operations
Published • View Publication • BIB
Cubic polyhedra with icosahedral symmetry where all faces are pentagons or hexagons have been studied in chemistry and biology as well as mathematics. In chemistry one of these is buckminsterfullerene, a pure carbon cage with maximal symmetry, whereas in biology they describe the structure of spherical viruses. Parameterized operations to construct all such polyhedra were first described by Goldberg in 1937 in a mathematical context and later by Caspar and Klug -- not knowing about Goldberg's work -- in 1962 in a biological context. In the meantime Buckminster Fuller also used subdivided icosahedral structures for the construction of his geodesic domes. In 1971 Coxeter published a survey article that refers to these constructions. Subsequently, the literature often refers to the Goldberg-Coxeter construction. This construction is actually that of Caspar and Klug. Moreover, there are essential differences between this (Caspar/Klug/Coxeter) approach and the approaches of Fuller and of Goldberg. We will sketch the different approaches and generalize Goldberg's approach to a systematic one encompassing all local symmetry-preserving operations on polyhedra.
2017-05-08
Elementary abelian groups of rank 5 are DCI-groups
Published • View Publication • BIB
In this paper, we show that the group $\mathbb{Z}_p^5$ is a DCI-group for any odd prime $p,$ that is, two Cayley digraphs Cay$(\mathbb{Z}_p^5,S)$ and Cay$(\mathbb{Z}_p^5,T)$ are isomorphic if and only if $S=T^\varphi$ for some automorphism $\varphi$ of the group $\mathbb{Z}_p^5$.
2017-05-08
Ramsey theorem for designs
We prove that for any choice of parameters $k,t,λ$ the class of all finite ordered designs with parameters $k,t,λ$ is a Ramsey class.
2017-05-08 v3
K-classes of Brill-Noether loci and a determinantal formula
Published • View Publication • BIB
We compute the Euler characteristic of the structure sheaf of the Brill-Noether locus of linear series with special vanishing at up to two marked points. When the Brill-Noether number $ρ$ is zero, we recover the Castelnuovo formula for the number of special linear series on a general curve; when $ρ=1$, we recover the formulas of Eisenbud-Harris, Pirola, and Chan-Martín-Pflueger-Teixidor for the arithmetic genus of a Brill-Noether curve of special divisors. These computations are obtained as applications of a new determinantal formula for the K-theory class of certain degeneracy loci. Our degeneracy locus formula also specializes to new determinantal expressions for the double Grothendieck polynomials corresponding to 321-avoiding permutations, and gives double versions of the flagged skew Grothendieck polynomials recently introduced by Matsumura. Our result extends the formula of Billey-Jockusch-Stanley expressing Schubert polynomials for 321-avoiding permutations as generating functions for flagged skew tableaux.
2017-05-08
Quantum Chaos on random Cayley graphs of ${\rm SL}_2[\mathbb{Z}/p\mathbb{Z}]$
Published • View Publication • BIB
We investigate the statistical behavior of the eigenvalues and diameter of random Cayley graphs of ${\rm SL}_2[\mathbb{Z}/p\mathbb{Z}]$ %and the Symmetric group $S_n$ as the prime number $p$ goes to infinity. We prove a density theorem for the number of exceptional eigenvalues of random Cayley graphs i.e. the eigenvalues with absolute value bigger than the optimal spectral bound. Our numerical results suggest that random Cayley graphs of ${\rm SL}_2[\mathbb{Z}/p\mathbb{Z}]$ and the explicit LPS Ramanujan projective graphs of $\mathbb{P}^1(\mathbb{Z}/p\mathbb{Z})$ have optimal spectral gap and diameter as the prime number $p$ goes to infinity.
2017-05-08 v2
Playability and arbitrarily large rat games
In 1973 Fraenkel discovered interesting sequences which split the positive integers. These sequences became famous, because of a related unsolved conjecture. Here we construct combinatorial games, with `playable' rulesets, with these sequences constituting the winning positions for the second player. Keywords: Combinatorial game, Fraenkel's conjecture, Impartial game, Normal play, Playability, Rational modulus, Splitting sequences
Partial Domination in Graphs
A set $S\subseteq V$ is a dominating set of $G$ if every vertex in $V - S$ is adjacent to at least one vertex in $S$. The domination number $γ(G)$ of $G$ equals the minimum cardinality of a dominating set $S$ in $G$; we say that such a set $S$ is a $γ$-set. The single greatest focus of research in domination theory is the determination of the value of $γ(G)$. By definition, all vertices must be dominated by a $γ$-set. In this paper we propose relaxing this requirement, by seeking sets of vertices that dominate a prescribed fraction of the vertices of a graph. We focus particular attention on $1/2$ domination, that is, sets of vertices that dominate at least half of the vertices of a graph $G$. Keywords: partial domination, dominating set, partial domination number, domination number
2017-05-07
Largest reduced neighborhood clique cover number revisited
Published in Congresses Numerntium 229(2017), 173-179 • Search Publication
Let $G$ be a graph and $t\ge 0$. The largest reduced neighborhood clique cover number of $G$, denoted by ${\hatβ}_t(G)$, is the largest, overall $t$-shallow minors $H$ of $G$, of the smallest number of cliques that can cover any closed neighborhood of a vertex in $H$. It is known that ${\hatβ}_t(G)\le s_t$, where $G$ is an incomparability graph and $s_t$ is the number of leaves in a largest $t-$shallow minor which is isomorphic to an induced star on $s_t$ leaves. In this paper we give an overview of the properties of ${\hatβ}_t(G)$ including the connections to the greatest reduced average density of $G$, or $\bigtriangledown_t(G)$, introduce the class of graphs with bounded neighborhood clique cover number, and derive a simple lower and an upper bound for this important graph parameter. We announce two conjectures, one for the value of ${\hatβ}_t(G)$, and another for a separator theorem (with respect to a certain measure) for an interesting class of graphs, namely the class of incomparability graphs which we suspect to have a polynomial bounded neighborhood clique cover number, when the size of a largest induced star is bounded.
2017-05-07
Small partial Latin squares that embed in an infinite group but not into any finite group
Published in J. Symbolic Computation 86 (2018), 142-152 • View Publication • BIB
Suppose that $Y_1,Y_2,Y_3$ are finite sets and $P\subseteq Y_1\times Y_2\times Y_3$. We say that $P$ embeds in a group $G$ if there exist injective maps $φ_i\colon Y_i\rightarrow G$ for $i=1,2,3$ such that $φ_1(y_1)φ_2(y_2)=φ_3(y_3)$ for each $(y_1,y_2,y_3)\in P$. Hirsch and Jackson asked for the cardinality of the smallest $P$ that embeds in some infinite group but not into any finite group. We prove that the answer to their question is 12. Moreover, we show that there are 50 examples of cardinality 12, up to equivalence, and each of them embeds in the (infinite) Baumslag group $G=\langle a,b \mid b=[b,b^a]\rangle$. Our proof uses computations to answer questions about finitely presented groups which are known to be algorithmically undecidable in general.
2017-05-07 v4
On the structure of large sum-free sets of integers
Published • View Publication • BIB
A set of integers is called sum-free if it contains no triple $(x,y,z)$ of not necessarily distinct elements with $x+y=z$. In this paper, we provide a structural characterisation of sum-free subsets of $\{1,2,\ldots,n\}$ of density at least $2/5-c$, where $c$ is an absolute positive constant. As an application, we derive a stability version of Hu's Theorem [Proc. Amer. Math. Soc. 80 (1980), 711-712] about the maximum size of a union of two sum-free sets in $\{1,2,\ldots,n\}$. We then use this result to show that the number of subsets of $\{1,2,\ldots,n\}$ which can be partitioned into two sum-free sets is $Θ(2^{4n/5})$, confirming a conjecture of Hancock, Staden and Treglown [arXiv:1701.04754].
2017-05-07
The growing ratios of hyperbolic regular mosaics with bounded cells
Published in Armenian Journal of Mathematics, 9(1), (2017) 1-19 • Search Publication
In 3- and 4-dimensional hyperbolic spaces there are four, respectively five, regular mosaics with bounded cells. A belt can be created around an arbitrary base vertex of a mosaic. The construction can be iterated and a growing ratio can be determined by using the number of the cells of the considered belts. In this article we determine these growing ratios for each mosaic in a generalized way.
Singular rational curves with points of nearly-maximal weight
Published • View Publication • BIB
In this article we study rational curves with a unique unibranch genus-$g$ singularity, which is of {\it $\ka$-hyperelliptic} type in the sense of \cite{To}; we focus on the cases $\ka=0$ and $\ka=1$, in which the semigroup associated to the singularity is of (sub)maximal weight. We obtain a partial classification of these curves according to the linear series they support, the scrolls on which they lie, and their gonality.
2017-05-07 v3
Homomesy in products of three chains and multidimensional recombination
Published in Electron. J. Combin. 26(4) (2019) #P4.30 • View Publication • BIB
J. Propp and T. Roby isolated a phenomenon in which a statistic on a set has the same average value over any orbit as its global average, naming it homomesy. They proved that the cardinality statistic on order ideals of the product of two chains poset under rowmotion exhibits homomesy. In this paper, we prove an analogous result in the case of the product of three chains where one chain has two elements. In order to prove this result, we generalize from two to $n$ dimensions the recombination technique that D. Einstein and Propp developed to study homomesy. We see that our main homomesy result does not fully generalize to an arbitrary product of three chains, nor to larger products of chains; however, we have a partial generalization to an arbitrary product of three chains. Additional corollaries include refined homomesy results in the product of three chains and a new result on increasing tableaux. We conclude with a generalization of recombination to any ranked poset and a homomesy result for the Type B minuscule poset cross a two element chain.
2017-05-07 v2
Applications of some special numbers obtained from a difference equation of degree three
Published • View Publication • BIB
In this paper we present applications of some special numbers obtained from a difference equation of degree three, especially in the Coding Theory. As a particular case, we obtain the generalized Pell-Fibonacci-Lucas numbers, which were extended to the generalized quaternions.
2017-05-07
Gaps in full homomorphism order
Published • View Publication • BIB
We characterise gaps in the full homomorphism order of graphs.
2017-05-07 v2
A bijective proof of Amdeberhan's conjecture on the number of $(s, s+2)$-core partitions with distinct parts
Published • View Publication • BIB
Amdeberhan conjectured that the number of $(s,s+2)$-core partitions with distinct parts for an odd integer $s$ is $2^{s-1}$. This conjecture was first proved by Yan, Qin, Jin and Zhou, then subsequently by Zaleski and Zeilberger. Since the formula for the number of such core partitions is so simple one can hope for a bijective proof. We give the first direct bijective proof of this fact by establishing a bijection between the set of $(s, s+2)$-core partitions with distinct parts and a set of lattice paths.