bluuebunny/crossref_metadata_2025_split huggingface dataset:
Guessing Games on Triangle-Free Graphs
Authors: Cameron Peter J. , Dang Anh N. , Riis Søren 
Published: January 2020

The guessing game introduced by Riis [Electron. J. Combin. 2007] is a variant of the "guessing your own hats" game and can be played on any simple directed graph $G$ on $n$ vertices. For each digraph $G$, it is proved that there exists a unique guessing number $\mathrm{gn}(G)$ associated to the guessing game played on $G$. When we consider the directed edge to be bidirected, in other words, the graph $G$ is undirected, Christofides and Markström [Electron. J. Combin. 2011] introduced a method to bound the value of the guessing number from below using the fractional clique cover number $\kappa_f(G)$. In particular they showed $\mathrm{gn}(G) \geq |V(G)| - \kappa_f(G)$. Moreover, it is pointed out that equality holds in this bound if the underlying undirected graph $G$ falls into one of the following categories: perfect graphs, cycle graphs or their complement. In this paper, we show that there are triangle-free graphs that have guessing numbers which do not meet the fractional clique cover bound. In particular, the famous triangle-free Higman-Sims graph has guessing number at least $77$ and at most $78$, while the bound given by fractional clique cover is $50$.
Nondeterministic Automatic Complexity of Overlap-Free and Almost Square-Free Words
Authors: Hyde Kayleigh K. , Kjos-Hanssen Bjørn 
Published: January 2020

Shallit and Wang studied deterministic automatic complexity of words. They showed that the automatic Hausdorff dimension $I(\mathbf t)$ of the infinite Thue word satisfies $1/3\le I(\mathbf t)\le 1/2$. We improve that result by showing that $I(\mathbf t)= 1/2$. We prove that the nondeterministic automatic complexity $A_N(x)$ of a word $x$ of length $n$ is bounded by $b(n):=\lfloor n/2\rfloor + 1$. This enables us to define the complexity deficiency $D(x)=b(n)-A_N(x)$. If $x$ is square-free then $D(x)=0$. If $x$ is almost square-free in the sense of Fraenkel and Simpson, or if $x$ is a overlap-free binary word such as the infinite Thue--Morse word, then $D(x)\le 1$. On the other hand, there is no constant upper bound on $D$ for overlap-free words over a ternary alphabet, nor for cube-free words over a binary alphabet.The decision problem whether $D(x)\ge d$ for given $x$, $d$ belongs to $\mathrm{NP}\cap \mathrm{E}$.
Representing Graphs via Pattern Avoiding Words
Authors: Jones Miles , Kitaev Sergey , Pyatkin Artem , Remmel Jeffrey 
Published: January 2020

The notion of a word-representable graph has been studied in a series of papers in the literature. A graph $G=(V,E)$ is word-representable if there exists a word $w$ over the alphabet $V$ such that letters $x$ and $y$ alternate in $w$ if and only if $xy$ is an edge in $E$. If $V =\{1, \ldots, n\}$, this is equivalent to saying that $G$ is word-representable if for all $x,y \in \{1, \ldots, n\}$, $xy \in E$ if and only if the subword $w_{\{x,y\}}$ of $w$ consisting of all occurrences of $x$ or $y$ in $w$ has no consecutive occurrence of the pattern 11.In this paper, we introduce the study of $u$-representable graphs for any word $u \in \{1,2\}^*$. A graph $G$ is $u$-representable if and only if there is a vertex-labeled version of $G$, $G=(\{1, \ldots, n\}, E)$, and a word $w \in \{1, \ldots, n\}^*$ such that for all $x,y \in \{1, \ldots, n\}$, $xy \in E$ if and only if $w_{\{x,y\}}$ has no consecutive occurrence of the pattern $u$. Thus, word-representable graphs are just $11$-representable graphs. We show that for any $k \geq 3$, every finite graph $G$ is $1^k$-representable. This contrasts with the fact that not all graphs are 11-representable graphs.The main focus of the paper is the study of $12$-representable graphs. In particular, we classify the $12$-representable trees. We show that any $12$-representable graph is a comparability graph and the class of $12$-representable graphs include the classes of co-interval graphs and permutation graphs. We also state a number of facts on $12$-representation of induced subgraphs of a grid graph.
Some Probabilistic Trees with Algebraic Roots
Authors: Bernardi Olivier , Morales Alejandro H. 
Published: January 2020

We consider several probabilistic processes defining a random graph. One of these processes appeared recently in connection with a factorization problem in the symmetric group. For each process, we prove that the probability for the random graph to be a tree has an unexpectedly simple expression, which is independent of most parameters of the problem. This raises many open questions.
The Covering Problem in Rosenbloom-Tsfasman Spaces
Authors: Castoldi André G. , Monte Carmelo Emerson L. 
Published: January 2020

We investigate the covering problem in RT spaces induced by the Rosenbloom-Tsfasman metric, extending the classical covering problem in Hamming spaces. Some connections between coverings in RT spaces and coverings in Hamming spaces are derived. Several lower and upper bounds are established for the smallest cardinality of a covering code in an RT space, generalizing results by Carnielli, Chen and Honkala, Brualdi et al., Yildiz et al. A new construction of MDS codes in RT spaces is obtained. Upper bounds are given on the basis of MDS codes, generalizing well-known results due to Stanton et al., Blokhuis and Lam, and Carnielli. Tables of lower and upper bounds are presented too.
Painting Squares in $\Delta^2-1$ Shades
Authors: Cranston Daniel W. , Rabern Landon 
Published: January 2020

Cranston and Kim conjectured that if $G$ is a connected graph with maximum degree $\Delta$ and $G$ is not a Moore Graph, then $\chi_{\ell}(G^2)\le \Delta^2-1$; here $\chi_{\ell}$ is the list chromatic number. We prove their conjecture; in fact, we show that this upper bound holds even for online list chromatic number.
0-Sum and 1-Sum Flows in Regular Graphs
Authors: Akbari S. , Kano M. , Zare S. 
Published: January 2020

Let $G$ be a graph. Assume that $l$ and $k$ are two natural numbers. An $l$-sum flow on a graph $G$ is an assignment of non-zero real numbers to the edges of $G$ such that for every vertex $v$ of $G$ the sum of values of all edges incidence with $v$ equals $l$. An $l$-sum $k$-flow is an $l$-sum flow with values from the set $\{\pm 1,\ldots ,\pm(k-1)\}$. Recently, it was proved that for every $r, r\geq 3$, $r\neq 5$, every $r$-regular graph admits a $0$-sum $5$-flow. In this paper we settle a conjecture by showing that every $5$-regular graph admits a $0$-sum $5$-flow. Moreover, we prove that every $r$-regular graph of even order admits a $1$-sum $5$-flow.
Arithmetic Properties of a Restricted Bipartition Function
Authors: Liu Jian , Wang Andrew Y.Z. 
Published: January 2020

A bipartition of $n$ is an ordered pair of partitions $(\lambda,\mu)$ such that the sum of all of the parts equals $n$. In this article, we concentrate on the function $c_5(n)$, which counts the number of bipartitions $(\lambda,\mu)$ of $n$ subject to the restriction that each part of $\mu$ is divisible by $5$. We explicitly establish four Ramanujan type congruences and several infinite families of congruences for $c_5(n)$ modulo $3$.
Threshold and Hitting Time for High-Order Connectedness in Random Hypergraphs
Authors: Cooley Oliver , Kang Mihyun , Koch Christoph 
Published: January 2020

We consider the following definition of connectedness in $k$-uniform hypergraphs: two $j$-sets (sets of $j$ vertices) are $j$-connected if there is a walk of edges between them such that two consecutive edges intersect in at least $j$ vertices. The hypergraph is $j$-connected if all $j$-sets are pairwise $j$-connected. We determine the threshold at which the random $k$-uniform hypergraph with edge probability $p$ becomes $j$-connected with high probability. We also deduce a hitting time result for the random hypergraph process – the hypergraph becomes $j$-connected at exactly the moment when the last isolated $j$-set disappears. This generalises the classical hitting time result of Bollobás and Thomason for graphs.
Infinite Gammoids: Minors and Duality
Authors: Afzali Borujeni Seyed Hadi , Law Hiu-Fai , Müller Malte 
Published: January 2020

This sequel to Afzali Borujeni et. al. (2015) considers minors and duals of infinite gammoids. We prove that the class of gammoids defined by digraphs not containing a certain type of substructure, called an outgoing comb, is minor-closed. Also, we prove that finite-rank minors of gammoids are gammoids. Furthermore, the topological gammoids of Carmesin (2014) are proved to coincide, as matroids, with the finitary gammoids. A corollary is that topological gammoids are minor-closed.It is a well-known fact that the dual of any finite strict gammoid is a transversal matroid. The class of strict gammoids defined by digraphs not containing alternating combs, introduced in Afzali Borujeni et. al. (2015), contains examples which are not dual to any transversal matroid. However, we describe the duals of matroids in this class as a natural extension of transversal matroids. While finite gammoids are closed under duality, we construct a strict gammoid that is not dual to any gammoid.
Hadwiger's Conjecture for 3-Arc Graphs
Authors: Wood David R , Xu Guangjun , Zhou Sanming 
Published: January 2020

The 3-arc graph of a digraph $D$ is defined to have vertices the arcs of $D$ such that two arcs $uv, xy$ are adjacent if and only if $uv$ and $xy$ are distinct arcs of $D$ with $v\ne x$, $y\ne u$ and $u,x$ adjacent. We prove Hadwiger's conjecture for 3-arc graphs.
Locating-Total Dominating Sets in Twin-Free Graphs: a Conjecture
Authors: Foucaud Florent , Henning Michael A. 
Published: January 2020

A total dominating set of a graph $G$ is a set $D$ of vertices of $G$ such that every vertex of $G$ has a neighbor in $D$. A locating-total dominating set of $G$ is a total dominating set $D$ of $G$ with the additional property that every two distinct vertices outside $D$ have distinct neighbors in $D$; that is, for distinct vertices $u$ and $v$ outside $D$, $N(u) \cap D \ne N(v) \cap D$ where $N(u)$ denotes the open neighborhood of $u$. A graph is twin-free if every two distinct vertices have distinct open and closed neighborhoods. The location-total domination number of $G$, denoted $\gamma_t^L(G)$, is the minimum cardinality of a locating-total dominating set in $G$. It is well-known that every connected graph of order $n \ge 3$ has a total dominating set of size at most $\frac{2}{3}n$. We conjecture that if $G$ is a twin-free graph of order $n$ with no isolated vertex, then $\gamma_t^L(G) \le \frac{2}{3}n$. We prove the conjecture for graphs without $4$-cycles as a subgraph. We also prove that if $G$ is a twin-free graph of order $n$, then $\gamma_t^L(G) \le \frac{3}{4}n$.
Walks, Partitions, and Normal Ordering
Authors: Dzhumadil'daev Askar , Yeliussizov Damir 
Published: January 2020

We describe the relation between graph decompositions into walks and the normal ordering of differential operators in the $n$-th Weyl algebra. Under several specifications, we study new types of restricted set partitions, and a generalization of Stirling numbers, which we call the $\lambda$-Stirling numbers.
Overview on Heisenberg&mdash;Weyl Algebra and Subsets of Riordan Subgroups
Authors: Goodenough Silvia , Lavault Christian 
Published: January 2020

In a first part, we are concerned with the relationships between polynomials in the two generators of the algebra of Heisenberg—Weyl, its Bargmann—Fock representation with differential operators and the associated one-parameter group.Upon this basis, the paper is then devoted to the groups of Riordan matrices associated to the related transformations of matrices (i.e., substitutions with prefunctions). Thereby, various properties are studied arising in Riordan arrays, in the Riordan group and, more specifically, in the "striped" Riordan subgroups; further, a striped quasigroup and a semigroup are also examined. A few applications to combinatorial structures are also briefly addressed in the Appendix.
Infinite Orders and Non-D-finite Property of 3-Dimensional Lattice Walks
Authors: Du Daniel K. , Hou Qing-Hu , Wang Rong-Hua 
Published: January 2020

Recently, Bostan and his coauthors investigated lattice walks restricted to the non-negative octant $\mathbb{N}^3$. For the $35548$ non-trivial models with at most six steps, they found that many models associated to a group of order at least $200$ and conjectured these groups were in fact infinite groups. In this paper, we first confirm these conjectures and then consider the non-$D$-finite property of the generating function for some of these models.
The Maximal Order of Hyper-($b$-ary)-expansions
Authors: Coons Michael , Spiegelhofer Lukas 
Published: January 2020

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$.
Permanent Index of Matrices Associated with Graphs
Authors: Wong Tsai-Lien , Zhu Xuding 
Published: January 2020

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.
Generalised Polygons Admitting a Point-Primitive Almost Simple Group of Suzuki or Ree Type
Authors: Morgan Luke , Popiel Tomasz 
Published: January 2020

Let $G$ be a collineation group of a thick finite generalised hexagon or generalised octagon $\Gamma$. If $G$ acts primitively on the points of $\Gamma$, then a recent result of Bamberg et al. shows that $G$ must be an almost simple group of Lie type. We show that, furthermore, the minimal normal subgroup $S$ of $G$ cannot be a Suzuki group or a Ree group of type $^2\mathrm{G}_2$, and that if $S$ is a Ree group of type $^2\mathrm{F}_4$, then $\Gamma$ is (up to point-line duality) the classical Ree-Tits generalised octagon.
Generating Functions of Bipartite Maps on Orientable Surfaces
Authors: Chapuy Guillaume , Fang Wenjie 
Published: January 2020

We compute, for each genus $g\geq 0$, the generating function $L_g\equiv L_g(t;p_1,p_2,\dots)$ of (labelled) bipartite maps on the orientable surface of genus $g$, with control on all face degrees. We exhibit an explicit change of variables such that for each $g$, $L_g$ is a rational function in the new variables, computable by an explicit recursion on the genus. The same holds for the generating function $F_g$ of rooted bipartite maps. The form of the result is strikingly similar to the Goulden/Jackson/Vakil and Goulden/Guay-Paquet /Novak formulas for the generating functions of classical and monotone Hurwitz numbers respectively, which suggests stronger links between these models. Our result complements recent results of Kazarian and Zograf, who studied the case where the number of faces is bounded, in the equivalent formalism of dessins d'enfants. Our proofs borrow some ideas from Eynard's "topological recursion" that he applied in particular to even-faced maps (unconventionally called "bipartite maps" in his work). However, the present paper requires no previous knowledge of this topic and comes with elementary (complex-analysis-free) proofs written in the perspective of formal power series.
Chung-Feller Property of Schröder Objects
Authors: Park Youngja , Kim Sangwook 
Published: January 2020

Large Schröder paths, sparse noncrossing partitions, partial horizontal strips, and $132$-avoiding alternating sign matrices are objects enumerated by Schröder numbers. In this paper we give formula for the number of Schröder objects with given type and number of connected components. The proofs are bijective using Chung-Feller style. A bijective proof for the number of Schröder objects with given type is provided. We also give a combinatorial interpretation for the number of small Schröder paths.
Even Cycles and Even 2-Factors in the Line Graph of a Simple Graph
Authors: Bonisoli Arrigo , Bonvicini Simona 
Published: January 2020

Let $G$ be a connected graph with an even number of edges. We show that if the subgraph of $G$ induced by the vertices of odd degree has a perfect matching, then the line graph of $G$ has a $2$-factor whose connected components are cycles of even length (an even $2$-factor). For a cubic graph $G$, we also give a necessary and sufficient condition so that the corresponding line graph $L(G)$ has an even cycle decomposition of index $3$, i.e., the edge-set of $L(G)$ can be partitioned into three $2$-regular subgraphs whose connected components are cycles of even length. The more general problem of the existence of even cycle decompositions of index $m$ in $2d$-regular graphs is also addressed.
Blocking and Double Blocking Sets in Finite Planes
Authors: De Beule Jan , Héger Tamás , Szőnyi Tamás , Van de Voorde Geertrui 
Published: January 2020

In this paper, by using properties of Baer subplanes, we describe the construction of a minimal blocking set in the Hall plane of order $q^2$ of size $q^2+2q+2$ admitting $1-$, $2-$, $3-$, $4-$, $(q+1)-$ and $(q+2)-$secants. As a corollary, we obtain the existence of a minimal blocking set of a non-Desarguesian affine plane of order $q^2$ of size at most $4q^2/3+5q/3$, which is considerably smaller than $2q^2-1$, the Jamison bound for the size of a minimal blocking set in an affine Desarguesian plane of order $q^2$.We also consider particular André planes of order $q$, where $q$ is a power of the prime $p$, and give a construction of a small minimal blocking set which admits a secant line not meeting the blocking set in $1$ mod $p$ points. Furthermore, we elaborate on the connection of this problem with the study of value sets of certain polynomials and with the construction of small double blocking sets in Desarguesian projective planes; in both topics we provide some new results.
Generalizations of the Strong Arnold Property and the Minimum Number of Distinct Eigenvalues of a Graph
Authors: Barrett Wayne , Fallat Shaun , Hall H. Tracy , Hogben Leslie , Lin Jephian C.-H. , Shader Bryan L. 
Published: January 2020

For a given graph $G$ and an associated class of real symmetric matrices whose diagonal entries are governed by the adjacencies in $G$, the collection of all possible spectra for such matrices is considered. Building on the pioneering work of Colin de Verdière in connection with the Strong Arnold Property, two extensions are devised that target a better understanding of all possible spectra and their associated multiplicities. These new properties are referred to as the Strong Spectral Property and the Strong Multiplicity Property. Finally, these ideas are applied to the minimum number of distinct eigenvalues associated with $G$, denoted by $q(G)$. The graphs for which $q(G)$ is at least the number of vertices of $G$ less one are characterized.
Internally Perfect Matroids
Authors: Dall Aaron 
Published: January 2020

In 1977 Stanley proved that the $h$-vector of a matroid is an $\mathcal{O}$-sequence and conjectured that it is a pure $\mathcal{O}$-sequence. In the subsequent years the validity of this conjecture has been shown for a variety of classes of matroids, though the general case is still open. In this paper we use Las Vergnas' internal order to introduce a new class of matroids which we call internally perfect. We prove that these matroids satisfy Stanley's Conjecture and compare them to other classes of matroids for which the conjecture is known to hold. We also prove that, up to a certain restriction on deletions, every minor of an internally perfect ordered matroid is internally perfect.
On the Maximum Running Time in Graph Bootstrap Percolation
Authors: Bollobás Béla , Przykucki Michał , Riordan Oliver , Sahasrabudhe Julian 
Published: January 2020

Graph bootstrap percolation is a simple cellular automaton introduced by Bollobás in 1968. Given a graph $H$ and a set $G \subseteq E(K_n)$ we initially `infect' all edges in $G$ and then, in consecutive steps, we infect every $e \in K_n$ that completes a new infected copy of $H$ in $K_n$. We say that $G$ percolates if eventually every edge in $K_n$ is infected. The extremal question about the size of the smallest percolating sets when $H = K_r$ was answered independently by Alon, Kalai and Frankl. Here we consider a different question raised more recently by Bollobás: what is the maximum time the process can run before it stabilizes? It is an easy observation that for $r=3$ this maximum is $\lceil \log_2 (n-1) \rceil $. However, a new phenomenon occurs for $r=4$ when, as we show, the maximum time of the process is $n-3$. For $r \geq 5$ the behaviour of the dynamics is even more complex, which we demonstrate by showing that the $K_r$-bootstrap process can run for at least $n^{2-\varepsilon_r}$ time steps for some $\varepsilon_r$ that tends to $0$ as $r \to \infty$.
On the Cohen-Macaulay Property for Quadratic Tangent Cones
Authors: Stamate Dumitru I. 
Published: January 2020

Let $H$ be an $n$-generated numerical semigroup such that its tangent cone $\operatorname{gr}_\mathfrak{m} K[H]$ is defined by quadratic relations. We show that if $n<5$ then $\operatorname{gr}_\mathfrak{m} K[H]$ is Cohen-Macaulay, and for $n=5$ we explicitly describe the semigroups $H$ such that $\operatorname{gr}_\mathfrak{m} K[H]$ is not Cohen-Macaulay. As an application we show that if the field $K$ is algebraically closed and of characteristic different from two, and $n\leq 5$ then $\operatorname{gr}_\mathfrak{m} K[H]$ is Koszul if and only if (possibly after a change of coordinates) its defining ideal has a quadratic Gröbner basis.
The Existence of a Path-Factor without Small Odd Paths
Authors: Egawa Yoshimi , Furuya Michitaka 
Published: January 2020

A $\{P_{2},P_{5}\}$-factor of a graph is a spanning subgraph of the graph each of whose components is isomorphic to either $P_{2}$ or $P_{5}$, where $P_{n}$ denote the path of order $n$. In this paper, we show that if a graph $G$ satisfies $c_{1}(G-X)+\frac{2}{3}c_{3}(G-X)\leq \frac{4}{3}|X|+\frac{1}{3}$ for all $X\subseteq V(G)$, then $G$ has a $\{P_{2},P_{5}\}$-factor, where $c_{i}(G-X)$ is the number of components $C$ of $G-X$ with $|V(C)|=i$. Moreover, it is shown that above condition is sharp.
Face-Degree Bounds for Planar Critical Graphs
Authors: Jin Ligang , Kang Yingli , Steffen Eckhard 
Published: January 2020

The only remaining case of a well known conjecture of Vizing states that there is no planar graph with maximum degree 6 and edge chromatic number 7. We introduce parameters for planar graphs, based on the degrees of the faces, and study the question whether there are upper bounds for these parameters for planar edge-chromatic critical graphs. Our results provide upper bounds on these parameters for smallest counterexamples to Vizing's conjecture, thus providing a partial characterization of such graphs, if they exist.For $k \leq 5$ the results give insights into the structure of planar edge-chromatic critical graphs.