http://www.combinatorics.org/ojs/index.php/eljc/issue/feedThe Electronic Journal of Combinatorics2017-03-17T12:30:00+11:00Andre Kundgenakundgen@csusm.eduOpen Journal Systems<p>The copyright of published papers remains with the authors. We only require your agreement that we publish it, as described in the following publication release agreement:</p><ol><li>This is an agreement between the Electronic Journal of Combinatorics (the "Journal"), and the copyright owner (the "Owner") of a work (the "Work") to be published in the Journal.</li><li>The Owner warrants that s/he has the full power and authority to enter into this Agreement and to grant the rights granted in this Agreement.</li><li>The Owner hereby grants to the Journal a worldwide, irrevocable, royalty free license to publish or distribute the Work, to enter into arrangements with others to publish or distribute the Work, and to archive the Work.</li><li>The Owner agrees that further publication of the Work, with the same or substantially the same content as appears in the Journal, will include an acknowledgement of prior publication in the Journal.</li></ol><p>The Electronic Journal of Combinatorics (E-JC) is a fully-refereed electronic journal with <em>very high standards,</em> publishing papers of substantial content and interest in all branches of discrete mathematics, including combinatorics, graph theory, and algorithms for combinatorial problems. The journal is <em>completely free</em> for both authors and readers. Authors retain the copyright of their articles. Articles published in E-JC are reviewed on MathSciNet and ZBMath, and are indexed by Web of Science. The latest papers are always available by clicking on the tab marked "Current" near the top of the page. You can also locate papers using the search facility on the right hand side of this page.</p><p>E-JC was founded in 1994 by Herbert S. Wilf and Neil Calkin, making it one of the oldest electronic journals.</p><p>ISSN: <span lang="EN">1077-8926</span></p>http://www.combinatorics.org/ojs/index.php/eljc/article/view/v24i1p1Majority Bootstrap Percolation on $G(n,p)$2017-02-02T16:17:14+11:00Cecilia Holmgrencecilia.holmgren@math.uu.seTomas Juškevičiustomas.juskevicius@gmail.comNathan Kettlenathan.kettle@cantab.netMajority bootstrap percolation on a graph $G$ is an epidemic process defined in the following manner. Firstly, an initially infected set of vertices is selected. Then step by step the vertices that have at least half of its neighbours infected become infected. We say that percolation occurs if eventually all vertices in $G$ become infected.<br /><br />In this paper we provide sharp bounds for the critical size of the initially infected set in majority bootstrap percolation on the Erdős-Rényi random graph $G(n,p)$. This answers an open question by Janson, Luczak, Turova and Vallier (2012). Our results obtained for $p=c\log(n)/n$ are close to the results obtained by Balogh, Bollobás and Morris (2009) for majority bootstrap percolation on the hypercube. We conjecture that similar results will be true for all regular-like graphs with the same density and sufficiently strong expansion properties.2017-01-20T00:00:00+11:00http://www.combinatorics.org/ojs/index.php/eljc/article/view/v24i1p2Sidorenko's Conjecture, Colorings and Independent Sets2017-02-02T16:17:14+11:00Péter Csikváripeter.csikvari@gmail.comZhicong Linlin@nims.re.kr<p>Let $\hom(H,G)$ denote the number of homomorphisms from a graph $H$ to a graph $G$. Sidorenko's conjecture asserts that for any bipartite graph $H$, and a graph $G$ we have<br />$$\hom(H,G)\geq v(G)^{v(H)}\left(\frac{\hom(K_2,G)}{v(G)^2}\right)^{e(H)},$$<br />where $v(H),v(G)$ and $e(H),e(G)$ denote the number of vertices and edges of the graph $H$ and $G$, respectively. In this paper we prove Sidorenko's conjecture for certain special graphs $G$: for the complete graph $K_q$ on $q$ vertices, for a $K_2$ with a loop added at one of the end vertices, and for a path on $3$ vertices with a loop added at each vertex. These cases correspond to counting colorings, independent sets and Widom-Rowlinson colorings of a graph $H$. For instance, for a bipartite graph $H$ the number of $q$-colorings $\mathrm{ch}(H,q)$ satisfies<br />$$\mathrm{ch}(H,q)\geq q^{v(H)}\left(\frac{q-1}{q}\right)^{e(H)}.$$<br />In fact, we will prove that in the last two cases (independent sets and Widom-Rowlinson colorings) the graph $H$ does not need to be bipartite. In all cases, we first prove a certain correlation inequality which implies Sidorenko's conjecture in a stronger form.</p>2017-01-20T00:00:00+11:00http://www.combinatorics.org/ojs/index.php/eljc/article/view/v24i1p3Flag Bicolorings, Pseudo-Orientations, and Double Covers of Maps2017-02-02T16:17:14+11:00Hiroki Koikekoike@ciencias.unam.mxDaniel Pellicerpellicer@matmor.unam.mxMiguel Raggimraggi@gmail.comSteve Wilsonstephen.wilson@nau.eduThis paper discusses consistent flag bicolorings of maps, in their own right and as generalizations of orientations and pseudo-orientations. Furthermore, a related doubling concept is introduced, and relationships between these ideas are explored.2017-01-20T00:00:00+11:00http://www.combinatorics.org/ojs/index.php/eljc/article/view/v24i1p4The Polytope of $k$-Star Densities2017-02-02T16:17:14+11:00Johannes Rauhjrauh@mis.mpg.deThis paper describes the polytope $\mathbf{P}_{k;N}$ of $i$-star counts, for all $i\le k$, for graphs on $N$ nodes. The vertices correspond to graphs that are regular or as regular as possible. For even $N$ the polytope is a cyclic polytope, and for odd $N$ the polytope is well-approximated by a cyclic polytope. As $N$ goes to infinity, $\mathbf{P}_{k;N}$ approaches the convex hull of the moment curve. The affine symmetry group of $\mathbf{P}_{k;N}$ contains just a single non-trivial element, which corresponds to forming the complement of a graph.<br /><br />The results generalize to the polytope $\mathbf{P}_{I;N}$ of $i$-star counts, for $i$ in some set $I$ of non-consecutive integers. In this case, $\mathbf{P}_{I;N}$ can still be approximated by a cyclic polytope, but it is usually not a cyclic polytope itself.<br /><br />Polytopes of subgraph statistics characterize corresponding exponential random graph models. The elongated shape of the $k$-star polytope gives a qualitative explanation of some of the degeneracies found in such random graph models.2017-01-20T00:00:00+11:00http://www.combinatorics.org/ojs/index.php/eljc/article/view/v24i1p5Abaci Structures of $(s, ms\pm1)$-Core Partitions2017-02-02T16:17:14+11:00Rishi Nathrnath@york.cuny.eduJames A. Sellerssellersj@psu.eduWe develop a geometric approach to the study of $(s,ms-1)$-core and $(s,ms+1)$-core partitions through the associated $ms$-abaci. This perspective yields new proofs for results of H. Xiong and A. Straub on the enumeration of $(s, s+1)$ and $(s,ms-1)$-core partitions with distinct parts. It also enumerates $(s, ms+1)$-cores with distinct parts. Furthermore, we calculate the weight of the $(s, ms-1,ms+1)$-core partition with the largest number of parts. Finally we use 2-core partitions to enumerate self-conjugate core partitions with distinct parts. The central idea is that the $ms$-abaci of maximal $(s,ms\pm1)$-cores can be built up from $s$-abaci of $(s,s\pm 1)$-cores in an elegant way.2017-01-20T00:00:00+11:00http://www.combinatorics.org/ojs/index.php/eljc/article/view/v24i1p6Pattern Avoidance and Young Tableaux2017-02-02T16:17:14+11:00Zhousheng Meizhousheng@hnu.edu.cnSuijie Wangwangsuijie@gmail.com<p>This paper extends Lewis's bijection (J. Combin. Theorey Ser. A 118, 2011) to a bijection between a more general class $\mathcal{L}(n,k,I)$ of permutations and the set of standard Young tableaux of shape $\langle (k+1)^n\rangle$, so the cardinality<span style="font-size: 10px;">\[</span><span style="font-size: 10px;">|\mathcal{L}(n,k,I)|=f^{\langle (k+1)^n\rangle},</span><span style="font-size: 10px;">\]</span><span style="font-size: 10px;">is independent of the choice of $I\subseteq [n]$. As a consequence, we obtain some new combinatorial realizations and identities on Catalan numbers. In the end, we raise a problem on finding a bijection between $\mathcal{L}(n,k,I)$ and $\mathcal{L}(n,k,I')$ for distinct $I$ and $I'$.</span></p>2017-01-20T00:00:00+11:00http://www.combinatorics.org/ojs/index.php/eljc/article/view/v24i1p7The Extremal Function for Cycles of Length $\ell$ mod $k$2017-02-02T16:17:14+11:00Benny Sudakovbenjamin.sudakov@math.ethz.chJacques Verstraetejverstra@math.ucsd.edu<p>Burr and Erdős conjectured that for each $k,\ell \in \mathbb Z^+$ such that $k \mathbb Z + \ell$ contains even integers, there exists $c_k(\ell)$ such that any graph of average degree at least $c_k(\ell)$ contains a cycle of length $\ell$ mod $k$. This conjecture was proved by Bollobás, and many successive improvements of upper bounds on $c_k(\ell)$ appear in the literature. In this short note, for $1 \leq \ell \leq k$, we show that $c_k(\ell)$ is proportional to the largest average degree of a $C_{\ell}$-free graph on $k$ vertices, which determines $c_k(\ell)$ up to an absolute constant. In particular, using known results on Turán numbers for even cycles, we obtain $c_k(\ell) = O(\ell k^{2/\ell})$ for all even $\ell$, which is tight for $\ell \in \{4,6,10\}$. Since the complete bipartite graph $K_{\ell - 1,n - \ell + 1}$ has no cycle of length $2\ell$ mod $k$, it also shows $c_k(\ell) = \Theta(\ell)$ for $\ell = \Omega(\log k)$.</p>2017-01-20T00:00:00+11:00http://www.combinatorics.org/ojs/index.php/eljc/article/view/v24i1p8Enumerating Matroids of Fixed Rank2017-02-02T16:17:15+11:00Rudi Pendavinghr.a.pendavingh@tue.nlJorn van der Polj.g.v.d.pol@tue.nl<p>It has been conjectured that asymptotically almost all matroids are sparse paving, i.e. that~$s(n) \sim m(n)$, where $m(n)$ denotes the number of matroids on a fixed groundset of size $n$, and $s(n)$ the number of sparse paving matroids. In an earlier paper, we showed that $\log s(n) \sim \log m(n)$. The bounds that we used for that result were dominated by matroids of rank $r\approx n/2$. In this paper we consider the relation between the number of sparse paving matroids $s(n,r)$ and the number of matroids $m(n,r)$ on a fixed groundset of size $n$ of fixed rank $r$. In particular, we show that $\log s(n,r) \sim \log m(n,r)$ whenever $r\ge 3$, by giving asymptotically matching upper and lower bounds.</p><p>Our upper bound on $m(n,r)$ relies heavily on the theory of matroid erections as developed by Crapo and Knuth, which we use to encode any matroid as a stack of paving matroids. Our best result is obtained by relating to this stack of paving matroids an antichain that completely determines the matroid. We also obtain that the collection of essential flats and their ranks gives a concise description of matroids.</p>2017-01-20T00:00:00+11:00http://www.combinatorics.org/ojs/index.php/eljc/article/view/v24i1p9Signed Lozenge Tilings2017-02-02T16:17:15+11:00D. Cook IIdwcook@eiu.eduUwe Nageluwe.nagel@uky.edu<div class="page" title="Page 1"><div class="layoutArea"><div class="column"><p><span style="font-size: 10.000000pt; font-family: 'CMR10';">It is well-known that plane partitions, lozenge tilings of a hexagon, perfect matchings on a honeycomb graph, and families of non-intersecting lattice paths in a hexagon are all in bijection. In this work we consider regions that are more general than hexagons. They are obtained by further removing upward-pointing triangles. We call the resulting shapes triangular regions. We establish signed versions of the latter three bijections for triangular regions. We first investigate the tileability of triangular regions by lozenges. Then we use perfect matchings and families of non-intersecting lattice paths to define two signs of a lozenge tiling. Using a new method that we call resolution of a puncture, we show that the two signs are in fact equivalent. As a consequence, we obtain the equality of determinants, up to sign, that enumerate signed perfect matchings and signed families of lattice paths of a triangular region, respectively. We also describe triangular regions, for which the signed enumerations agree with the unsigned enumerations. </span></p></div></div></div>2017-01-20T00:00:00+11:00http://www.combinatorics.org/ojs/index.php/eljc/article/view/v24i1p10Mixed Ehrhart polynomials2017-02-02T16:17:15+11:00Christian Haasehaase@math.fu-berlin.deMartina Juhnke-Kubitzkejuhnke-kubitzke@uni-osnabrueck.deRaman Sanyalsanyal@math.uni-frankfurt.deThorsten Theobaldtheobald@math.uni-frankfurt.de<p>For lattice polytopes $P_1,\ldots, P_k \subseteq \mathbb{R}^d$, Bihan (2016) introduced the discrete mixed volume $DMV(P_1,\dots,P_k)$ in analogy to the classical mixed volume. In this note we study the associated mixed Ehrhart polynomial $ME_{P_1, \dots,P_k}(n) = DMV(nP_1, \dots, nP_k)$. We provide a characterization of all mixed Ehrhart coefficients in terms of the classical multivariate Ehrhart polynomial. Bihan (2016) showed that the discrete mixed volume is always non-negative. Our investigations yield simpler proofs for certain special cases.<br /><br />We also introduce and study the associated mixed $h^*$-vector. We show that for large enough dilates $r P_1, \ldots, rP_k$ the corresponding mixed $h^*$-polynomial has only real roots and as a consequence the mixed $h^*$-vector becomes non-negative.</p><p> </p>2017-01-20T00:00:00+11:00http://www.combinatorics.org/ojs/index.php/eljc/article/view/v24i1p11Flow Polynomials as Feynman Amplitudes and their $\alpha$-Representation2017-02-02T16:17:15+11:00Andrey Kuptsoveduard.lerner@gmail.comEduard Lernerandrewhups@yandex.ruSofya Mukhamedjanovasofya_92@mail.ruLet $G$ be a connected graph; denote by $\tau(G)$ the set of its spanning trees. Let $\mathbb F_q$ be a finite field, $s(\alpha,G)=\sum_{T\in\tau(G)} \prod_{e \in E(T)} \alpha_e$, where $\alpha_e\in \mathbb F_q$. Kontsevich conjectured in 1997 that the number of nonzero values of $s(\alpha, G)$ is a polynomial in $q$ for all graphs. This conjecture was disproved by Brosnan and Belkale. In this paper, using the standard technique of the Fourier transformation of Feynman amplitudes, we express the flow polynomial $F_G(q)$ in terms of the "correct" Kontsevich formula. Our formula represents $F_G(q)$ as a linear combination of Legendre symbols of $s(\alpha, H)$ with coefficients $\pm 1/q^{(|V(H)|-1)/2}$, where $H$ is a contracted graph of $G$ depending on $\alpha\in \left(\mathbb F^*_q \right)^{E(G)}$, and $|V(H)|$ is odd.2017-01-20T00:00:00+11:00http://www.combinatorics.org/ojs/index.php/eljc/article/view/v24i1p12An Application of Hoffman Graphs for Spectral Characterizations of Graphs2017-02-02T16:17:15+11:00Qianqian Yangxuanxue@mail.ustc.edu.cnAida AbiadA.AbiadMonge@maastrichtuniversity.nlJack H. Koolenkoolen@ustc.edu.cnIn this paper, we present the first application of Hoffman graphs for spectral characterizations of graphs. In particular, we show that the 2-clique extension of the $(t+1)\times (t+1)$-grid is determined by its spectrum when $t$ is large enough. This result will help to show that the Grassmann graph $J_2(2D,D)$ is determined by its intersection numbers as a distance regular graph, if $D$ is large enough.2017-01-20T00:00:00+11:00http://www.combinatorics.org/ojs/index.php/eljc/article/view/v24i1p13Rainbow Matchings and Rainbow Connectedness2017-02-02T16:17:15+11:00Alexey Pokrovskiyalexey.pokrovskiy.maths@gmail.com<p>Aharoni and Berger conjectured that every collection of $n$ matchings of size $n+1$ in a bipartite graph contains a rainbow matching of size $n$. This conjecture is related to several old conjectures of Ryser, Brualdi, and Stein about transversals in Latin squares. There have been many recent partial results about the Aharoni-Berger Conjecture. The conjecture is known to hold when the matchings are much larger than $n+1$. The best bound is currently due to Aharoni, Kotlar, and Ziv who proved the conjecture when the matchings are of size at least $3n/2+1$. When the matchings are all edge-disjoint and perfect, the best result follows from a theorem of Häggkvist and Johansson which implies the conjecture when the matchings have size at least $n+o(n)$.<br /> <br />In this paper we show that the conjecture is true when the matchings have size $n+o(n)$ and are all edge-disjoint (but not necessarily perfect). We also give an alternative argument to prove the conjecture when the matchings have size at least $\phi n+o(n)$ where $\phi\approx 1.618$ is the Golden Ratio.</p><p>Our proofs involve studying connectedness in coloured, directed graphs. The notion of connectedness that we introduce is new, and perhaps of independent interest.</p>2017-02-03T00:00:00+11:00http://www.combinatorics.org/ojs/index.php/eljc/article/view/v24i1p14On Star Forest Ascending Subgraph Decomposition2017-02-02T16:17:15+11:00Josep M. Arocaaroca@ma4.upc.eduAnna Lladóallado@ma4.upc.edu<p>The Ascending Subgraph Decomposition (ASD) Conjecture asserts that every graph $G$ with ${n+1\choose 2}$ edges admits an edge decomposition $G=H_1\oplus\cdots \oplus H_n$ such that $H_i$ has $i$ edges and it is isomorphic to a subgraph of $H_{i+1}$, $i=1,\ldots ,n-1$. We show that every bipartite graph $G$ with ${n+1\choose 2}$ edges such that the degree sequence $d_1,\ldots ,d_k$ of one of the stable sets satisfies $ d_{k-i}\ge n-i\; \text{for each}\; 0\le i\le k-1$, admits an ascending subgraph decomposition with star forests. We also give a necessary condition on the degree sequence which is not far from the above sufficient one.</p>2017-02-03T00:00:00+11:00http://www.combinatorics.org/ojs/index.php/eljc/article/view/v24i1p15The Maximal Order of Hyper-($b$-ary)-expansions2017-02-02T16:17:15+11:00Michael Coonsmichael.coons@newcastle.edu.auLukas Spiegelhoferlukas.spiegelhofer@tuwien.ac.at<p>Using methods developed by Coons and Tyler, we give a new proof of a recent result of Defant, by determining the maximal order of the number of hyper-($b$-ary)-expansions of a nonnegative integer $n$ for general integral bases $b\geqslant 2$.</p>2017-02-03T00:00:00+11:00http://www.combinatorics.org/ojs/index.php/eljc/article/view/v24i1p16New Feasibility Conditions for Directed Strongly Regular Graphs2017-02-02T16:17:15+11:00Sylvia A. Hobartsahobart@uwyo.eduJason Willifordjwillif1@uwyo.eduWe prove two results for directed strongly regular graphs that have an eigenvalue of multiplicity less than $k$, the common out-degree of each vertex. The first bounds the size of an independent set, and the second determines an eigenvalue of the subgraph on the out-neighborhood of a vertex. Both lead to new nonexistence results for parameter sets.2017-02-03T00:00:00+11:00http://www.combinatorics.org/ojs/index.php/eljc/article/view/v24i1p17On a Permutation Problem for Finite Abelian Groups2017-02-02T16:17:15+11:00Fan Gefange.math@gmail.comZhi-Wei Sunzwsun@nju.edu.cn<p>Let $G$ be a finite additive abelian group with exponent $n>1$, and let $a_1,\ldots,a_{n-1}$ be elements of $G$. We show that there is a permutation $\sigma\in S_{n-1}$ such that all the elements $sa_{\sigma(s)}\ (s=1,\ldots,n-1)$ are nonzero if and only if<br />$$\left|\left\{1\leqslant s<n:\ \frac{n}da_s\not=0\right\}\right|\geqslant d-1\ \ \mbox{for any positive divisor}\ d\ \mbox{of}\ n.$$<br />When $G$ is the cyclic group $\mathbb Z/n\mathbb Z$, this confirms a conjecture of Z.-W. Sun.</p><p> </p>2017-02-03T00:00:00+11:00http://www.combinatorics.org/ojs/index.php/eljc/article/view/v24i1p18Partitioning Random Graphs into Monochromatic Components2017-02-02T16:17:15+11:00Deepak Baldeepak.bal@montclair.eduLouis DeBiasiodebiasld@miamioh.edu<pre style="-qt-block-indent: 0; text-indent: 0px; margin: 0px;"><span style="color: #000000;">Erdős</span><span style="color: #000000;">, </span><span style="color: #000000;">Gyárfás</span><span style="color: #800000;">,</span><span style="color: #000000;"> and </span><span style="color: #000000;">Pyber (1991) conjectured that every </span><span style="color: #008000;">$r$</span><span style="color: #000000;">-colored complete graph can be partitioned into at most </span><span style="color: #008000;">$r-1$</span><span style="color: #000000;"> monochromatic components; this is a strengthening of a conjecture of </span><span style="color: #000000;">Lov</span><span><span style="color: #800000;">ász</span></span><span style="color: #000000;"> (1975) </span></pre><pre style="-qt-block-indent: 0; text-indent: 0px; margin: 0px;"><span style="color: #000000;">and </span><span style="color: #000000;">Ryser (1970) in which the components are only required to form a cover. An important partial result of </span><span style="color: #000000;">Haxell</span><span style="color: #000000;"> and </span><span style="color: #000000;">Kohayakawa</span><span style="color: #000000;"> (1995) </span></pre><pre style="-qt-block-indent: 0; text-indent: 0px; margin: 0px;"><span style="color: #000000;">shows that a partition into </span><span style="color: #008000;">$r$</span><span style="color: #000000;"> monochromatic components is possible for sufficiently large </span><span style="color: #008000;">$r$</span><span style="color: #000000;">-colored complete graphs.</span></pre><pre style="-qt-block-indent: 0; text-indent: 0px; margin: 0px;"><span style="color: #000000;"><br /><br />We start by extending </span><span style="color: #000000;">Haxell</span><span style="color: #000000;"> and </span><span style="color: #000000;">Kohayakawa's</span><span style="color: #000000;"> result to graphs with large minimum degree, then we provide some partial analogs of their result for random graphs. In particular, we show that if </span><span style="color: #008000;">$p\ge \left(\frac{27\log n}{n}\right)^{1/3}$</span><span style="color: #000000;">, then a.a.s. in every </span><span style="color: #008000;">$2$</span><span style="color: #000000;">-coloring of </span><span style="color: #008000;">$G(n,p)$</span><span style="color: #000000;"> there exists a partition into two monochromatic components, and for </span><span style="color: #008000;">$r\geq 2$</span><span style="color: #000000;"> if </span><span style="color: #008000;">$p\ll \left(\frac{r\log n}{n}\right)^{1/r}$</span><span style="color: #000000;">, then a.a.s. there exists an </span><span style="color: #008000;">$r$</span><span style="color: #000000;">-coloring of </span><span style="color: #008000;">$G(n,p)$</span><span style="color: #000000;"> such that there does not exist a cover with a bounded number of components. Finally, we consider a random graph version of a classic result of </span><span>Gyárfá<span style="color: #800000;">s </span></span><span style="color: #000000;">(1977) about large monochromatic components in </span><span style="color: #008000;">$r$</span><span style="color: #000000;">-colored complete graphs. We show that if </span><span style="color: #008000;">$p=\frac{\omega(1)}{n}$</span><span style="color: #000000;">, then a.a.s. in every </span><span style="color: #008000;">$r$</span><span style="color: #000000;">-coloring of </span><span style="color: #008000;">$G(n,p)$</span><span style="color: #000000;"> there exists a monochromatic component of order at least </span><span style="color: #008000;">$(1-o(1))\frac{n}{r-1}$</span><span style="color: #000000;">.</span></pre>2017-02-03T00:00:00+11:00http://www.combinatorics.org/ojs/index.php/eljc/article/view/v24i1p19(Total) Domination in Prisms2017-02-02T16:17:15+11:00Jernej Azarijajernej.azarija@gmail.comMichael Henningmahenning@uj.ac.zaSandi Klavžarsandi.klavzar@fmf.uni-lj.siUsing hypergraph transversals it is proved that $\gamma_t(Q_{n+1}) = 2\gamma(Q_n)$, where $\gamma_t(G)$ and $\gamma(G)$ denote the total domination number and the domination number of $G$, respectively, and $Q_n$ is the $n$-dimensional hypercube. More generally, it is shown that if $G$ is a bipartite graph, then $\gamma_t(G \square K_2) = 2\gamma(G)$. Further, we show that the bipartiteness condition is essential by constructing, for any $k \ge 1$, a (non-bipartite) graph $G$ such that $\gamma_t(G\square K_2) = 2\gamma(G) - k$. Along the way several domination-type identities for hypercubes are also obtained.2017-02-03T00:00:00+11:00http://www.combinatorics.org/ojs/index.php/eljc/article/view/v24i1p20Permutations that Destroy Arithmetic Progressions in Elementary $p$-Groups2017-02-02T16:17:15+11:00Noam D. Elkieselkies@math.harvard.eduAshvin A. Swaminathanaaswaminathan@college.harvard.edu<p>Given an abelian group $G$, it is natural to ask whether there exists a permutation $\pi$ of $G$ that "destroys" all nontrivial 3-term arithmetic progressions (APs), in the sense that $\pi(b) - \pi(a) \neq \pi(c) - \pi(b)$ for every ordered triple $(a,b,c) \in G^3$ satisfying $b-a = c-b \neq 0$. This question was resolved for infinite groups $G$ by Hegarty, who showed that there exists an AP-destroying permutation of $G$ if and only if $G/\Omega_2(G)$ has the same cardinality as $G$, where $\Omega_2(G)$ denotes the subgroup of all elements in $G$ whose order divides $2$. In the case when $G$ is finite, however, only partial results have been obtained thus far. Hegarty has conjectured that an AP-destroying permutation of $G$ exists if $G = \mathbb{Z}/n\mathbb{Z}$ for all $n \neq 2,3,5,7$, and together with Martinsson, he has proven the conjecture for all $n > 1.4 \times 10^{14}$. In this paper, we show that if $p$ is a prime and $k$ is a positive integer, then there is an AP-destroying permutation of the elementary $p$-group $(\mathbb{Z}/p\mathbb{Z})^k$ if and only if $p$ is odd and $(p,k) \not\in \{(3,1),(5,1), (7,1)\}$.</p>2017-02-03T00:00:00+11:00http://www.combinatorics.org/ojs/index.php/eljc/article/view/v24i1p21Algebraic Properties of Chromatic Roots2017-02-02T16:17:15+11:00Peter J. Cameronpjc20@st-andrews.ac.ukKerri Morgankerri.morgan@monash.edu<p>A chromatic root is a root of the chromatic polynomial of a graph. Any chromatic root is an algebraic integer. Much is known about the location of chromatic roots in the real and complex numbers, but rather less about their properties as algebraic numbers. This question was the subject of a seminar at the Isaac Newton Institute in late 2008. The purpose of this paper is to report on the seminar and subsequent developments.</p><p>We conjecture that, for every algebraic integer $\alpha$, there is a natural number n such that $\alpha+n$ is a chromatic root. This is proved for quadratic integers; an extension to cubic integers has been found by Adam Bohn. The idea is to consider certain special classes of graphs for which the chromatic polynomial is a product of linear factors and one "interesting" factor of larger degree. We also report computational results on the Galois groups of irreducible factors of the chromatic polynomial for some special graphs. Finally, extensions to the Tutte polynomial are mentioned briefly.</p>2017-02-03T00:00:00+11:00http://www.combinatorics.org/ojs/index.php/eljc/article/view/v24i1p22Paths vs. Stars in the Local Profile of Trees2017-02-02T16:17:15+11:00Éva Czabarkaczabarka@math.sc.eduLászló Székelyszekely@math.sc.eduStephan Wagnerswagner@sun.ac.zaThe aim of this paper is to provide an affirmative answer to a recent question by Bubeck and Linial on the local profile of trees. For a tree $T$, let $p^{(k)}_1(T)$ be the proportion of paths among all $k$-vertex subtrees (induced connected subgraphs) of $T$, and let $p^{(k)}_2(T)$ be the proportion of stars. Our main theorem states: if $p^{(k)}_1(T_n) \to 0$ for a sequence of trees $T_1,T_2,\ldots$ whose size tends to infinity, then $p^{(k)}_2(T_n) \to 1$. Both are also shown to be equivalent to the statement that the number of $k$-vertex subtrees grows superlinearly and the statement that the $(k-1)$th degree moment grows superlinearly.2017-02-03T00:00:00+11:00http://www.combinatorics.org/ojs/index.php/eljc/article/view/v24i1p23Colorful Subhypergraphs in Uniform Hypergraphs2017-02-02T16:17:15+11:00Meysam Alishahimeysam_alishahi@shahroodut.ac.ir<p><br />There are several topological results ensuring in any properly colored graph the existence of a colorful complete bipartite subgraph, whose order is bounded from below by some topological invariants of some topological spaces associated to the graph. Meunier [<em>Colorful subhypergraphs in Kneser hypergraphs, The Electronic Journal </em><em>of Combinatorics,</em> 2014] presented the first colorful type result for uniform hypergraphs. In this paper, we give some new generalizations of the $\mathbb{Z}_p$-Tucker lemma and by use of them, we improve Meunier's result and some other colorful results by Simonyi, Tardif, and Zsbán [<em>Colourful theorems and indices of homomorphism complexes, </em><em>The Electronic Journal of Combinatorics,</em> 2014] and by Simonyi and Tardos [<em>Colorful subgraphs in Kneser-like graphs, European Journal of Combinatorics,</em> 2007] to uniform hypergraphs. Also, we introduce some new lower bounds for the chromatic number and local chromatic number of uniform hypergraphs. A hierarchy between these lower bounds is presented as well.</p>2017-02-03T00:00:00+11:00http://www.combinatorics.org/ojs/index.php/eljc/article/view/v24i1p24On the Number of $r$-Matchings in a Tree2017-02-02T16:17:15+11:00Dong Yeap Kangdynamical@kaist.ac.krJaehoon Kimmutualteon@gmail.comYounjin Kimyounjinkim@ewha.ac.krHiu-Fai Lawhiufai.law@gmail.com<p><!--StartFragment-->An $r$-matching in a graph $G$ is a collection of edges in $G$ such that the distance between any two edges is at least $r$. This generalizes both matchings and induced matchings as matchings are $1$-matchings and induced matchings are $2$-matchings. In this paper, we study the minimum and maximum number of $r$-matchings in a tree with fixed order.<!--EndFragment--></p>2017-02-03T00:00:00+11:00http://www.combinatorics.org/ojs/index.php/eljc/article/view/v24i1p25Permanent Index of Matrices Associated with Graphs2017-02-17T12:26:58+11:00Tsai-Lien Wongtsailienwong@gmail.comXuding Zhuxudingzhu@gmail.com<p>A total weighting of a graph $G$ is a mapping $f$ which assigns to each element $z \in V(G) \cup E(G)$ a real number $f(z)$ as its weight. The vertex sum of $v$ with respect to $f$ is $\phi_f(v)=\sum_{e \in E(v)}f(e)+f(v)$. A total weighting is proper if $\phi_f(u) \ne \phi_f(v)$ for any edge $uv$ of $G$. A $(k,k')$-list assignment is a mapping $L$ which assigns to each vertex $v$ a set $L(v)$ of $k$ permissible weights, and assigns to each edge $e$ a set $L(e)$ of $k'$ permissible weights. We say $G$ is $(k,k')$-choosable if for any $(k,k')$-list assignment $L$, there is a proper total weighting $f$ of $G$ with $f(z) \in L(z)$ for each $z \in V(G) \cup E(G)$. It was conjectured in [T. Wong and X. Zhu, Total weight choosability of graphs, J. Graph Theory 66 (2011), 198-212] that every graph is $(2,2)$-choosable and every graph with no isolated edge is $(1,3)$-choosable. A promising tool in the study of these conjectures is Combinatorial Nullstellensatz. This approach leads to conjectures on the permanent indices of matrices $A_G$ and $B_G$ associated to a graph $G$. In this paper, we establish a method that reduces the study of permanent of matrices associated to a graph $G$ to the study of permanent of matrices associated to induced subgraphs of $G$. Using this reduction method, we show that if $G$ is a subcubic graph, or a $2$-tree, or a Halin graph, or a grid, then $A_G$ has permanent index $1$. As a consequence, these graphs are $(2,2)$-choosable.</p>2017-02-17T00:00:00+11:00http://www.combinatorics.org/ojs/index.php/eljc/article/view/v24i1p26A General Method to Determine Limiting Optimal Shapes for Edge-Isoperimetric Inequalities2017-02-17T12:27:15+11:00Ellen Veometterv2@stmarys-ca.eduEmmanuel Tsukermane.tsukerman@berkeley.eduFor a general family of graphs on $\mathbb{Z}^n$, we translate the edge-isoperimetric problem into a continuous isoperimetric problem in $\mathbb{R}^n$. We then solve the continuous isoperimetric problem using the Brunn-Minkowski inequality and Minkowski's theorem on mixed volumes. This translation allows us to conclude, under a reasonable assumption about the discrete problem, that the shapes of the optimal sets in the discrete problem approach the shape of the optimal set in the continuous problem as the size of the set grows. The solution is the zonotope defined as the Minkowski sum of the edges of the original graph. <br /><br />We demonstrate the efficacy of this method by revisiting some previously solved classical edge-isoperimetric problems. We then apply our method to some discrete isoperimetric problems which had not previously been solved. The complexity of those solutions suggest that it would be quite difficult to find them using discrete methods only.2017-02-17T00:00:00+11:00http://www.combinatorics.org/ojs/index.php/eljc/article/view/v24i1p27On the Multicolor Ramsey Number for 3-Paths of Length Three2017-02-17T12:36:14+11:00Tomasz Łuczaktomasz@amu.edu.plJoanna Polcynjoaska@amu.edu.pl<p>We show that if we color the hyperedges of the complete $3$-uniform hypergraph on $2n+\sqrt{18n+1}+2$ vertices with $n$ colors, then one of the color classes contains a loose path of length three.</p>2017-02-17T00:00:00+11:00http://www.combinatorics.org/ojs/index.php/eljc/article/view/v24i1p28Small Subgraphs in the Trace of a Random Walk2017-02-17T12:27:49+11:00Michael Krivelevichkrivelev@math.tau.ac.ilPeleg Michaelipeleg.michaeli@math.tau.ac.ilWe consider the combinatorial properties of the trace of a random walk on the complete graph and on the random graph $G(n,p)$. In particular, we study the appearance of a fixed subgraph in the trace. We prove that for a subgraph containing a cycle, the threshold for its appearance in the trace of a random walk of length $m$ is essentially equal to the threshold for its appearance in the random graph drawn from $G(n,m)$. In the case where the base graph is the complete graph, we show that a fixed forest appears in the trace typically much earlier than it appears in $G(n,m)$.<br /><br />2017-02-17T00:00:00+11:00http://www.combinatorics.org/ojs/index.php/eljc/article/view/v24i1p29Symmetric Graphs with Respect to Graph Entropy2017-02-17T12:28:04+11:00Seyed Saeed Changiz Rezaeisschangi@uwaterloo.caEhsan Chiniforooshanchiniforooshan@google.com<pre><!--StartFragment--> Let <span>$F_G(P)$</span> be a functional defined on the set of all the probability distributions on the vertex set of a graph <span>$G$</span>. We say that <span>$G$</span> is <em>symmetric with respect to</em> <span>$F_G(P)$</span> if the uniform distribution on <span>$V(G)$</span> maximizes <span>$F_G(P)$</span>. Using the <span>combinatorial</span> definition of the entropy of a graph in terms of its vertex packing <span>polytope</span> and the relationship between the graph entropy and fractional chromatic number, we characterize all graphs which are symmetric with respect to graph entropy. We show that a graph is symmetric with respect to graph entropy if and only if its vertex set can be uniformly covered by its maximum size independent sets. This is also equivalent to saying that the fractional chromatic number of $G$, $\chi_f(G)$, is equal to $\frac{n}{\alpha(G)}$, where $n = |V(G)|$ and $\alpha(G)$ is the independence number of $G$. Furthermore, given any strictly positive probability distribution <span>$P$</span> on the vertex set of a graph <span>$G$</span>, we show that <span>$P$</span> is a <span>maximizer</span> of the entropy of graph <span>$G$</span> if and only if its vertex set can be uniformly covered by its maximum weighted independent sets. We also show that the problem of deciding if a graph is symmetric with respect to graph entropy, where the weight of the <span>vertices</span> is given by probability distribution <span>$P$</span>, is co-NP-hard.<!--EndFragment--></pre>2017-02-17T00:00:00+11:00http://www.combinatorics.org/ojs/index.php/eljc/article/view/v24i1p30Rigged Configurations for all Symmetrizable Types2017-02-17T12:28:24+11:00Ben Salisburysalis1bt@cmich.eduTravis Scrimshawtscrimsh@umn.eduIn an earlier work, the authors developed a rigged configuration model for the crystal $B(\infty)$ (which also descends to a model for irreducible highest weight crystals via a cutting procedure). However, the result obtained was only valid in finite types, affine types, and simply-laced indefinite types. In this paper, we show that the rigged configuration model proposed does indeed hold for all symmetrizable types. As an application, we give an easy combinatorial condition that gives a Littlewood-Richardson rule using rigged configurations which is valid in all symmetrizable Kac-Moody types.2017-02-17T00:00:00+11:00http://www.combinatorics.org/ojs/index.php/eljc/article/view/v24i1p31Elliptic Rook and File Numbers2017-02-17T12:28:38+11:00Michael J. Schlossermichael.schlosser@univie.ac.atMeesue Yoomeesue.yoo@skku.eduUtilizing elliptic weights, we construct an elliptic analogue of rook numbers for Ferrers boards. Our elliptic rook numbers generalize Garsia and Remmel's $q$-rook numbers by two additional independent parameters $a$ and $b$, and a nome $p$. The elliptic rook numbers are shown to satisfy an elliptic extension of a factorization theorem which in the classical case was established by Goldman, Joichi and White and extended to the $q$-case by Garsia and Remmel. We obtain similar results for elliptic analogues of Garsia and Remmel's $q$-file numbers for skyline boards. We also provide an elliptic extension of the $j$-attacking model introduced by Remmel and Wachs. Various applications of our results include elliptic analogues of (generalized) Stirling numbers of the first and second kind, Lah numbers, Abel numbers, and $r$-restricted versions thereof.2017-02-17T00:00:00+11:00http://www.combinatorics.org/ojs/index.php/eljc/article/view/v24i1p32Anti-Power Prefixes of the Thue-Morse Word2017-02-17T12:28:50+11:00Colin Defantcdefant@ufl.edu<pre>Recently, <span>Fici</span>, <span>Restivo</span>, Silva, and Zamboni defined a <span>$k$</span>-anti-power to be a word of the form <span>$w_1w_2\cdots w_k$</span>, where <span>$w_1,w_2,\ldots,w_k$</span> are distinct words of the same length. They defined <span>$AP(x,k)$</span> to be the set of all positive integers <span>$m$</span> such that the prefix of length <span>$km$</span> of the word <span>$x$</span> is a <span>$k$</span>-anti-power. Let <span>${\bf t}$</span> denote the <span>Thue</span>-Morse word, and let <span>$\mathcal F(k)=AP({\bf t},k)\cap(2\mathbb Z^+-1)$</span>. For <span>$k\geq 3$</span>, <span>$\gamma(k)=\min(\mathcal F(k))$</span> and <span>$\Gamma(k)=\max((2\mathbb Z^+-1)\setminus\mathcal F(k))$</span> are well-defined odd positive integers. <span>Fici</span> <span>et</span> <span>al</span>. speculated that <span>$\gamma(k)$</span> grows linearly in <span>$k$</span>. We prove that this is indeed the case by showing that <span>$1/2\leq\displaystyle{\liminf_{k\to\infty}}(\gamma(k)/k)\leq 9/10$</span> and <span>$1\leq\displaystyle{\limsup_{k\to\infty}}(\gamma(k)/k)\leq 3/2$</span>. In addition, we prove that <span>$\displaystyle{\liminf_{k\to\infty}}(\Gamma(k)/k)=3/2$</span> and <span>$\displaystyle{\limsup_{k\to\infty}}(\Gamma(k)/k)=3$</span>. </pre>2017-02-17T00:00:00+11:00http://www.combinatorics.org/ojs/index.php/eljc/article/view/v24i1p33Refining the Hierarchies of Classes of Geometric Intersection Graphs2017-02-17T12:29:05+11:00Sergio Cabellosergio.cabello@fmf.uni-lj.siMiha Jejčičjejcicm@gmail.com<pre>We analyse properties of geometric intersection graphs to show the strict containment between some natural classes of geometric intersection graphs. In particular, we show the following properties:</pre><ul><li>A graph $G$ is outerplanar if and only if the 1-subdivision of $G$ is outer-segment.</li><li>For each integer $k\ge 1$, the class of intersection graphs of segments with $k$ different lengths is a strict subclass of the class of intersection graphs of segments with $k+1$ different lengths.</li><li>For each integer $k\ge 1$, the class of intersection graphs of disks with $k$ different sizes is a strict subclass of the class of intersection graphs of disks with $k+1$ different sizes.</li><li>The class of outer-segment graphs is a strict subclass of the class of outer-string graphs.</li></ul>2017-02-17T00:00:00+11:00http://www.combinatorics.org/ojs/index.php/eljc/article/view/v24i1p34Rainbow Turán Problems for Paths and Forests of Stars2017-02-17T12:29:20+11:00Daniel Johnstondaniel1.johnston@umontana.eduCory Palmercory.palmer@umontana.eduAmites SarkarAmites.Sarkar@wwu.edu<p>For a fixed graph $F$, we would like to determine the maximum number of edges in a properly edge-colored graph on $n$ vertices which does not contain a <em>rainbow copy</em> of $F$, that is, a copy of $F$ all of whose edges receive a different color. This maximum, denoted by $ex^*(n,F)$, is the <em>rainbow Tur<span>á</span>n number</em> of $F$, and its systematic study was initiated by Keevash, Mubayi, Sudakov and Verstra<span>ë</span>te [<em>Combinatorics, Probability and Computing</em> <strong>16</strong> (2007)]. We determine $ex^*(n,F)$ exactly when $F$ is a forest of stars, and give bounds on $ex^*(n,F)$ when $F$ is a path with $l$ edges, disproving a conjecture in the aforementioned paper for $l=4$.</p>2017-02-17T00:00:00+11:00http://www.combinatorics.org/ojs/index.php/eljc/article/view/v24i1p35Strong Games Played on Random Graphs2017-02-17T12:29:34+11:00Asaf Ferberferbera@mit.eduPascal Pfisterppfister@inf.ethz.ch<pre style="-qt-block-indent: 0; text-indent: 0px; margin: 0px;"><span style="color: #000000;">In a strong game played on the edge set of a graph </span><span style="color: #008000;">$G$</span><span style="color: #000000;"> there are two players, Red and Blue, alternating turns in claiming previously </span></pre><pre style="-qt-block-indent: 0; text-indent: 0px; margin: 0px;"><span style="color: #000000;">unclaimed edges of </span><span style="color: #008000;">$G$</span><span style="color: #000000;"> (with Red playing first). The winner is the first one to claim all the edges of some target structure (such as a </span></pre><pre style="-qt-block-indent: 0; text-indent: 0px; margin: 0px;"><span style="color: #000000;">clique </span><span style="color: #008000;">$K_k$</span><span style="color: #000000;">, a perfect matching, a Hamilton cycle, etc.). </span></pre><pre style="-qt-block-indent: 0; text-indent: 0px; margin: 0px;"><span style="color: #000000;"><br /></span></pre><pre style="-qt-block-indent: 0; text-indent: 0px; margin: 0px;"><span style="color: #000000;">In this paper we consider strong games played on the edge set of a random graph </span><span style="color: #008000;">$G</span><span style="color: #008000;">\sim G(n,p)$</span><span> on </span><span style="color: #008000;">$n$</span><span> vertices. We prove that </span><span style="color: #008000;">$G\sim G(n,p)$</span><span> is typically such that Red can win the perfect </span><span>matching game played on </span><span style="color: #008000;">$E(G)$</span><span>, provided that </span><span style="color: #008000;">$p\in(0,1)$</span><span> is a fixed constant.</span></pre><pre style="-qt-paragraph-type: empty; -qt-block-indent: 0; text-indent: 0px; margin: 0px;"> </pre>2017-02-17T00:00:00+11:00http://www.combinatorics.org/ojs/index.php/eljc/article/view/v24i1p36Ramsey Numbers of Connected Clique Matchings2017-02-17T12:30:29+11:00Barnaby Robertsb.j.roberts@lse.ac.uk<p>We determine the Ramsey number of a connected clique matching. That is, we show that if $G$ is a $2$-edge-coloured complete graph on $(r^2-r-1)n-r+1$ vertices, then there is a monochromatic connected subgraph containing $n$ disjoint copies of $K_r$, and that this number of vertices cannot be reduced.</p>2017-02-17T00:00:00+11:00http://www.combinatorics.org/ojs/index.php/eljc/article/view/v24i1p37The Three Colour Hat Guessing Game on Cycle Graphs2017-02-17T12:30:42+11:00Witold Szczechlawitold@mimuw.edu.pl<p>We study a cooperative game in which each member of a team of <em>N</em> players, wearing coloured hats and situated at the vertices of the cycle graph with <em>N</em> vertices, is guessing their own hat colour merely on the basis of observing the hats worn by their two neighbours without exchanging the information. Each hat can have one of three colours. A predetermined guessing strategy is winning if it guarantees at least one correct individual guess for every assignment of colours. We prove that a winning strategy exists if and only if <em>N</em> is divisible by 3 or <em>N =</em> 4. This asymmetric game is an example of relational system using incomplete information about an unpredictable situation, where at least one participant has to act properly.</p>2017-02-17T00:00:00+11:00http://www.combinatorics.org/ojs/index.php/eljc/article/view/v24i1p38A $q$-Analog of Foulkes' Conjecture2017-02-17T12:30:54+11:00François Bergeronbergeron.francois@uqam.caWe propose a $q$-analog of classical plethystic conjectures due to Foulkes. In our conjectures, a divided difference of plethysms of Hall-Littlewood polynomials $H_n(\boldsymbol{x};q)$ replaces the analogous difference of plethysms of complete homogeneous symmetric functions $h_n(\boldsymbol{x})$ in Foulkes' conjecture. At $q=0$, we get back the original statement of Foulkes, and we show that our version holds at $q=1$. We discuss further supporting evidence, as well as various generalizations, including a $(q,t)$-version.2017-02-17T00:00:00+11:00http://www.combinatorics.org/ojs/index.php/eljc/article/view/v24i1p39Inversion Generating Functions for Signed Pattern Avoiding Permutations2017-02-17T12:31:05+11:00Naiomi T. Cameronncameron@lclark.eduKendra KillpatrickKendra.Killpatrick@pepperdine.eduWe consider the classical Mahonian statistics on the set $B_n(\Sigma)$ of signed permutations in the hyperoctahedral group $B_n$ which avoid all patterns in $\Sigma$, where $\Sigma$ is a set of patterns of length two. In 2000, Simion gave the cardinality of $B_n(\Sigma)$ in the cases where $\Sigma$ contains either one or two patterns of length two and showed that $\left|B_n(\Sigma)\right|$ is constant whenever $\left|\Sigma\right|=1$, whereas in most but not all instances where $\left|\Sigma\right|=2$, $\left|B_n(\Sigma)\right|=(n+1)!$. We answer an open question of Simion by providing bijections from $B_n(\Sigma)$ to $S_{n+1}$ in these cases where $\left|B_n(\Sigma)\right|=(n+1)!$. In addition, we extend Simion's work by providing a combinatorial proof in the language of signed permutations for the major index on $B_n(21, \bar{2}\bar{1})$ and by giving the major index on $D_n(\Sigma)$ for $\Sigma =\{21, \bar{2}\bar{1}\}$ and $\Sigma=\{12,21\}$. The main result of this paper is to give the inversion generating functions for $B_n(\Sigma)$ for almost all sets $\Sigma$ with $\left|\Sigma\right|\leq2.$2017-02-17T00:00:00+11:00http://www.combinatorics.org/ojs/index.php/eljc/article/view/v24i1p40On Bipartite Cages of Excess 42017-03-03T12:42:39+11:00Slobodan Filipovskislobodan.filipovski@famnit.upr.si<p>The Moore bound $M(k,g)$ is a lower bound on the order of $k$-regular graphs of girth $g$ (denoted $(k,g)$-graphs). The excess $e$ of a $(k,g)$-graph of order $n$ is the difference $ n-M(k,g) $. In this paper we consider the existence of $(k,g)$-bipartite graphs of excess $4$ by studying spectral properties of their adjacency matrices. For a given graph $G$ and for the integers $i$ with $0\leq i\leq diam(G)$, the $i$-<em>distance matrix</em> $A_i$ of $G$ is an $n\times n$ matrix such that the entry in position $(u,v)$ is $1$ if the distance between the vertices $u$ and $v$ is $i$, and zero otherwise. We prove that the $(k,g)$-bipartite graphs of excess $4$ satisfy the equation $kJ=(A+kI)(H_{d-1}(A)+E)$, where $A=A_{1}$ denotes the adjacency matrix of the graph in question, $J$ the $n \times n$ all-ones matrix, $E=A_{d+1}$ the adjacency matrix of a union of vertex-disjoint cycles, and $H_{d-1}(x)$ is the Dickson polynomial of the second kind with parameter $k-1$ and degree $d-1$. We observe that the eigenvalues other than $\pm k$ of these graphs are roots of the polynomials $H_{d-1}(x)+\lambda$, where $\lambda$ is an eigenvalue of $E$. Based on the irreducibility of $H_{d-1}(x)\pm2$, we give necessary conditions for the existence of these graphs. If $E$ is the adjacency matrix of a cycle of order $n$, we call the corresponding graphs <em>graphs with cyclic excess</em>; if $E$ is the adjacency matrix of a disjoint union of two cycles, we call the corresponding graphs <em>graphs with bicyclic excess</em>. In this paper we prove the non-existence of $(k,g)$-graphs with cyclic excess $4$ if $k\geq6$ and $k \equiv1 \!\! \pmod {3}$, $g=8, 12, 16$ or $k \equiv2 \!\! \pmod {3}$, $g=8;$ and the non-existence of $(k,g)$-graphs with bicyclic excess $4$ if $k\geq7$ is an odd number and $g=2d$ such that $d\geq4$ is even.</p>2017-03-03T00:00:00+11:00http://www.combinatorics.org/ojs/index.php/eljc/article/view/v24i1p41Minimal Orbits of Promotion2017-03-03T12:43:19+11:00Kevin Purbhookpurbhoo@uwaterloo.caDonguk Rheedavid@lunarchstudios.com<p>We give a bijection between the symmetric group $S_n$, and the set of standard Young tableaux of rectangular shape $m^n$, $m \geq n$, that have order $n$ under <em>jeu de taquin</em> promotion.</p><div> </div>2017-03-03T00:00:00+11:00http://www.combinatorics.org/ojs/index.php/eljc/article/view/v24i1p42King-Serf Duo by Monochromatic Paths in $k$-Edge-Coloured Tournaments2017-03-03T12:43:32+11:00Kristóf Bércziberkri@cs.elte.huAttila Joójoapaat@cs.elte.hu<p>An open conjecture of Erd<span>ő</span>s states that for every positive integer $k$ there is a (least) positive integer $f(k)$ so that whenever a tournament has its edges colored with $k$ colors, there exists a set $S$ of at most $f(k)$ vertices so that every vertex has a monochromatic path to some point in $S$. We consider a related question and show that for every (finite or infinite) cardinal $\kappa>0$ there is a cardinal $ \lambda_\kappa $ such that in every $\kappa$-edge-coloured tournament there exist disjoint vertex sets $K,S$ with total size at most $ \lambda_\kappa$ so that every vertex $ v $ has a monochromatic path of length at most two from $K$ to $v$ or from $v$ to $S$.</p>2017-03-03T00:00:00+11:00http://www.combinatorics.org/ojs/index.php/eljc/article/view/v24i1p43A Lower Bound on the Diameter of the Flip Graph2017-03-03T12:43:45+11:00Fabrizio Fratifrati@dia.uniroma3.itThe flip graph is the graph whose vertices correspond to non-isomorphic combinatorial triangulations and whose edges connect pairs of triangulations that can be obtained from one another by flipping a single edge. In this note we show that the diameter of the flip graph is at least $\frac{7n}{3} + \Theta(1)$, improving upon the previous $2n + \Theta(1)$ lower bound.2017-03-03T00:00:00+11:00http://www.combinatorics.org/ojs/index.php/eljc/article/view/v24i1p44Behavior of Digital Sequences Through Exotic Numeration Systems2017-03-03T12:43:58+11:00Julien Leroyj.leroy@ulg.ac.beMichel Rigom.rigo@ulg.ac.beManon Stipulantim.stipulanti@ulg.ac.be<p>Many digital functions studied in the literature, e.g., the summatory function of the base-$k$ sum-of-digits function, have a behavior showing some periodic fluctuation. Such functions are usually studied using techniques from analytic number theory or linear algebra. In this paper we develop a method based on exotic numeration systems and we apply it on two examples motivated by the study of generalized Pascal triangles and binomial coefficients of words.</p>2017-03-03T00:00:00+11:00http://www.combinatorics.org/ojs/index.php/eljc/article/view/v24i1p45Guessing Numbers of Odd Cycles2017-03-03T12:44:09+11:00Ross Atkinsross.atkins@univ.ox.ac.ukPuck Rombachpuckrombach@gmail.comFiona Skermanfiona.skerman@gmail.com<pre><!--StartFragment-->For a given number of colours, <span>$s$</span>, the guessing number of a graph is the base <span>$s$</span> logarithm of the size of the largest family of colourings of the vertex set of the graph such that the colour of each vertex can be determined from the colours of the vertices in its neighbourhood. An upper bound for the guessing number of the <span>$n$</span>-vertex cycle graph <span>$C_n$</span> is <span>$n/2$</span>. It is known that the guessing number equals <span>$n/2$</span> whenever <span>$n$</span> is even or <span>$s$</span> is a perfect square. We show that, for any given integer <span>$s \geq 2$</span>, if <span>$a$</span> is the largest factor of <span>$s$</span> less than or equal to <span>$\sqrt{s}$</span>, for sufficiently large odd <span>$n$</span>, the guessing number of <span>$C_n$</span> with <span>$s$</span> colours is <span>$(n-1)/2 + \log_s(a)$</span>. This answers a question posed by Christofides and Markstr<span>ö</span>m in 2011.</pre><pre>We also present an explicit protocol which achieves this bound for every <span>$n$</span>. Linking this to index coding with side information, we deduce that the information defect of <span>$C_n$</span> with <span>$s$</span> colours is <span>$(n+1)/2 - \log_s(a)$</span> for sufficiently large odd <span>$n$</span>. </pre>2017-03-03T00:00:00+11:00http://www.combinatorics.org/ojs/index.php/eljc/article/view/v24i1p46$\delta$-Connectivity in Random Lifts of Graphs2017-03-17T12:20:35+11:00Shashwat Silassilas@stanford.eduAmit and Linial have shown that a random lift of a connected graph with minimum degree $\delta\ge3$ is asymptotically almost surely (a.a.s.) $\delta$-connected and mentioned the problem of estimating this probability as a function of the degree of the lift. Using a connection between a random $n$-lift of a graph and a randomly generated subgroup of the symmetric group on $n$-elements, we show that this probability is at least $1 - O\left(\frac{1}{n^{\gamma(\delta)}}\right)$ where $\gamma(\delta)>0$ for $\delta\ge 5$ and it is strictly increasing with $\delta$. We extend this to show that one may allow $\delta$ to grow slowly as a function of the degree of the lift and the number of vertices and still obtain that random lifts are a.a.s. $\delta$-connected. We also simplify a later result showing a lower bound on the edge expansion of random lifts. On a related note, we calculate the probability that a subgroup of a wreath product of symmetric groups generated by random generators is transitive, extending a well known result of Dixon which covers the case for subgroups of the symmetric group.2017-03-17T00:00:00+11:00http://www.combinatorics.org/ojs/index.php/eljc/article/view/v24i1p47Strongly Connected Multivariate Digraphs2017-03-17T12:22:20+11:00Yaokun Wuykwu@sjtu.edu.cnZeying Xuzane_xu@sjtu.edu.cnYinfeng Zhufengzi@sjtu.edu.cnGeneralizing the idea of viewing a digraph as a model of a linear map, we suggest a multi-variable analogue of a digraph, called a hydra, as a model of a multi-linear map. Walks in digraphs correspond to usual matrix multiplication while walks in hydras correspond to the tensor multiplication introduced by Robert Grone in 1987. By viewing matrix multiplication as a special case of this tensor multiplication, many concepts on strongly connected digraphs are generalized to corresponding ones for hydras, including strongly connectedness, periods and primitiveness, etc. We explore the structure of all possible periods of strongly connected hydras, which turns out to be related to the existence of certain kind of combinatorial designs. We also provide estimates of largest primitive exponents and largest diameters of relevant hydras. Much existing research on tensors are based on some other definitions of multiplications of tensors and so our work here supplies new perspectives for understanding irreducible and primitive nonnegative tensors.<br /><br />2017-03-17T00:00:00+11:00http://www.combinatorics.org/ojs/index.php/eljc/article/view/v24i1p48A Note on Non-$\mathbb{R}$-Cospectral Graphs2017-03-17T12:23:54+11:00Fenjin Liufenjinliu@yahoo.comWei Wangwang_weiw@163.comTwo graphs $G$ and $H$ are called $\mathbb{R}$-cospectral if $A(G)+yJ$ and $A(H)+yJ$ (where $A(G)$, $A(H)$ are the adjacency matrices of $G$ and $H$, respectively, $J$ is the all-one matrix) have the same spectrum for all $y\in\mathbb{R}$. In this note, we give a necessary condition for having $\mathbb{R}$-cospectral graphs. Further, we provide a sufficient condition ensuring only irrational orthogonal similarity between certain cospectral graphs. Some concrete examples are also supplied to exemplify the main results.2017-03-17T00:00:00+11:00http://www.combinatorics.org/ojs/index.php/eljc/article/view/v24i1p49Lattices Related to Extensions of Presentations of Transversal Matroids2017-03-17T12:24:56+11:00Joseph E. Boninjbonin@gwu.edu<p>For a presentation $\mathcal{A}$ of a transversal matroid $M$, we study the ordered set $T_{\mathcal{A}}$ of single-element transversal extensions of $M$ that have presentations that extend $\mathcal{A}$; extensions are ordered by the weak order. We show that $T_{\mathcal{A}}$ is a distributive lattice, and that each finite distributive lattice is isomorphic to $T_{\mathcal{A}}$ for some presentation $\mathcal{A}$ of some transversal matroid $M$. We show that $T_{\mathcal{A}}\cap T_{\mathcal{B}}$, for any two presentations $\mathcal{A}$ and $\mathcal{B}$ of $M$, is a sublattice of both $T_{\mathcal{A}}$ and $T_{\mathcal{B}}$. We prove sharp upper bounds on $|T_{\mathcal{A}}|$ for presentations $\mathcal{A}$ of rank less than $r(M)$ in the order on presentations; we also give a sharp upper bound on $|T_{\mathcal{A}}\cap T_{\mathcal{B}}|$. The main tool we introduce to study $T_{\mathcal{A}}$ is the lattice $L_{\mathcal{A}}$ of closed sets of a certain closure operator on the lattice of subsets of $\{1,2,\ldots,r(M)\}$.</p>2017-03-17T00:00:00+11:00http://www.combinatorics.org/ojs/index.php/eljc/article/view/v24i1p50On the Minimum Length of Linear Codes over the Field of 9 Elements2017-03-17T12:26:49+11:00Kazuki Kumegawahmjwj674@yahoo.co.jpYsukasa Okazakichicken15154649@yahoo.co.jpTatsuya Marutamaruta@mi.s.osakafu-u.ac.jpWe construct a lot of new $[n,4,d]_9$ codes whose lengths are close to the Griesmer bound and prove the nonexistence of some linear codes attaining the Griesmer bound using some geometric techniques through projective geometries to determine the exact value of $n_9(4,d)$ or to improve the known bound on $n_9(4,d)$ for given values of $d$, where $n_q(k,d)$ is the minimum length $n$ for which an $[n,k,d]_q$ code exists. We also give the updated table for $n_9(4,d)$ for all $d$ except some known cases.2017-03-17T00:00:00+11:00http://www.combinatorics.org/ojs/index.php/eljc/article/view/v24i1p51On KM-Arcs in Small Desarguesian Planes2017-03-17T12:27:40+11:00Peter Vandendriesschepeter.vandendriessche@ugent.beIn this paper we study the existence problem for KM-arcs in small Desarguesian planes. We establish a full classification of KM$_{q,t}$-arcs for $q\le 32$, up to projective equivalence. We also construct a KM$_{64,4}$-arc; as $t=4$ was the only value for which the existence of a KM$_{64,t}$-arc was unknown, this fully settles the existence problem for $q\le 64$.2017-03-17T00:00:00+11:00http://www.combinatorics.org/ojs/index.php/eljc/article/view/v24i1p52On a Vertex-Minimal Triangulation of $\mathbb R \mathrm P ^4$2017-03-17T12:28:50+11:00Sonia Balagopalansonia.balagopalan@nuim.ie<p>We give three constructions of a vertex-minimal triangulation of $4$-dimensional real projective space $\mathbb{R}\mathrm{P}^4$. The first construction describes a $4$-dimensional sphere on $32$ vertices, which is a double cover of a triangulated $\mathbb{R}\mathrm{P}^4$ and has a large amount of symmetry. The second and third constructions illustrate approaches to improving the known number of vertices needed to triangulate $n$-dimensional real projective space. All three constructions deliver the same combinatorial manifold, which is also the same as the only known $16$-vertex triangulation of $\mathbb{R}\mathrm{P}^4$. We also give a short, simple construction of the $22$-point Witt design, which is closely related to the complex we construct.</p>2017-03-17T00:00:00+11:00http://www.combinatorics.org/ojs/index.php/eljc/article/view/v24i1p53On 1212-Avoiding Restricted Growth Functions2017-03-17T12:30:00+11:00Zhicong Linlin@nims.re.krShishuo Fufsshuo@cqu.edu.cn<p>Restricted growth functions (RGFs) avoiding the pattern $1212$ are in natural bijection with noncrossing partitions. Motivated by recent work of Campbell et al., we study five classical statistics bk, ls, lb, rs and rb on $1212$-avoiding RGFs. We show the equidistribution of (ls, rb, lb, bk) and (rb, ls, lb, bk) on $1212$-avoiding RGFs by constructing a simple involution. To our surprise, this result was already proved by Simion 22 years ago via an involution on noncrossing partitions. Our involution, though turns out essentially the same as Simion's, is defined quite differently and has the advantage that makes the discussion more transparent. Consequently, a multiset-valued extension of Simion's result is discovered. Furthermore, similar approach enables us to prove the equidistribution of (mak, rb, rs, bk) and (rb, mak, rs, bk) on $1212$-avoiding RGFs, where "mak" is a set partition statistic introduced by Steingr<span>í</span>msson.</p><p>Through two bijections to Motzkin paths, we also prove that the triple of classical permutation statistics (exc+1, den, inv <span>— </span>exc) on $321$-avoiding permutations is equidistributed with the triple (bk, rb, rs) on $1212$-avoiding RGFs, which generalizes another result of Simion. In the course, an interesting $q$-analog of the $\gamma$-positivity of Narayana polynomials is found.</p>2017-03-17T00:00:00+11:00