arXiv++ Combinatorics

Browse math.CO papers from arXiv

Showing 20 papers (Total: 84253 papers, 48533 authors in database)
2017-01-31
A strategy and a new operator to generate covariants in small characteristic
Published • View Publication • BIB
We present some new results about covariants in small characteristic. In section 1, we give a method to construct covariants using an approach similar to Sturmfels. We apply our method to find a separating system of covariants for binary quartic in characteristic 3. In the second section, we construct a new operator on covariants when the characteristic is small compared to the degree of the form.
2017-01-31
Gentle introduction to Soergel bimodules I: The basics
Published • View Publication • BIB
This paper is the first of a series of introductory papers on the fascinating world of Soergel bimodules. It is combinatorial in nature and should be accessible to a broad audience. The objective of this paper is to help the reader feel comfortable calculating with Soergel bimodules and to explain some of the important open problems in the field. The motivations, history and relations to other fields will be developed in subsequent papers of this series.
2017-01-31 v2
Combinatorial distance geometry in normed spaces
Published in New Trends in Intuitive Geometry, Bolyai Soc. Math. Studies 27, Springer, 2018. pp.407--458 • View Publication • BIB
We survey problems and results from combinatorial geometry in normed spaces, concentrating on problems that involve distances. These include various properties of unit-distance graphs, minimum-distance graphs, diameter graphs, as well as minimum spanning trees and Steiner minimum trees. In particular, we discuss translative kissing (or Hadwiger) numbers, equilateral sets, and the Borsuk problem in normed spaces. We show how to use the angular measure of Peter Brass to prove various statements about Hadwiger and blocking numbers of convex bodies in the plane, including some new results. We also include some new results on thin cones and their application to distinct distances and other combinatorial problems for normed spaces.
2017-01-30
A Combinatorial Problem from Group Theory
Keller proposed a combinatorial conjecture on construction of an n-by-infinite matrix, which comes from showing the existence of many orbits of different sizes in certain linear group actions. He proved it for the case n=4, and we show that conjecture is true in the general case. We also propose a combinatorial game version of the conjecture which even further generalizes the problem.
2017-01-30 v3
The facets of the matroid polytope and the independent set polytope of a positroid
Published • View Publication • BIB
A positroid is a special case of a realizable matroid that arose from the study of the totally nonnegative part of the Grassmannian by Postnikov. In this paper, we study the facets of its matroid polytope and the independent set polytope. This allows one to describe the bases and independent sets directly from the decorated permutation, bypassing the use of the Grassmann necklace. We also describe a criterion for determining whether a given cyclic interval is a flat or not using the decorated permutation, then show how it applies to checking the concordancy of positroids.
2017-01-30
Graphs with Extremal Connected Forcing Numbers
Zero forcing is an iterative graph coloring process where at each discrete time step, a colored vertex with a single uncolored neighbor forces that neighbor to become colored. The zero forcing number of a graph is the cardinality of the smallest set of initially colored vertices which forces the entire graph to eventually become colored. Connected forcing is a variant of zero forcing in which the initially colored set of vertices induces a connected subgraph; the analogous parameter of interest is the connected forcing number. In this paper, we characterize the graphs with connected forcing numbers 2 and $n-2$. Our results extend existing characterizations of graphs with zero forcing numbers 2 and $n-2$; we use combinatorial and graph theoretic techniques, in contrast to the linear algebraic approach used to obtain the latter. We also present several other structural results about the connected forcing sets of a graph.
On Hamilton Decompositions of Infinite Circulant Graphs
Published • View Publication • BIB
The natural infinite analogue of a (finite) Hamilton cycle is a two-way-infinite Hamilton path (connected spanning 2-valent subgraph). Although it is known that every connected $2k$-valent infinite circulant graph has a two-way-infinite Hamilton path, there exist many such graphs that do not have a decomposition into $k$ edge-disjoint two-way-infinite Hamilton paths. This contrasts with the finite case where it is conjectured that every $2k$-valent connected circulant graph has a decomposition into $k$ edge-disjoint Hamilton cycles. We settle the problem of decomposing $2k$-valent infinite circulant graphs into $k$ edge-disjoint two-way-infinite Hamilton paths for $k=2$, in many cases when $k=3$, and in many other cases including where the connection set is $\pm\{1,2,\ldots,k\}$ or $\pm\{1,2,\ldots,k-1,k+1\}$.
2017-01-30
Locating-Dominating Sets and Identifying Codes of a Graph Associated to a Finite Vector Space
Published • View Publication • BIB
In this paper, we investigate the problem of covering the vertices of a graph associated to a finite vector space as introduced by Das \cite{Das}, such that we can uniquely identify any vertex by examining the vertices that cover it. We use locating-dominating sets and identifying codes, which are closely related concepts for this purpose. These sets consist of a dominating set of graph such that every vertex is uniquely identified by its neighborhood within the dominating sets. We find the location-domination number and the identifying number of the graph and study the exchange property for locating-dominating sets and identifying codes.
2017-01-30
On the Intersection Number of Transformed Digraphs
For any simple digraph $D$ we offer a new proof for the intersection number of its middle digraph, $M(D)$; while doing so we also solve for the intersection number when $D$ has loops. In addition, a new transformation, the union of $D$ and its subdivision digraph, is introduced and its intersection number calculated in full generality. For the total digraph, we extend previous arguments letting us solve for the intersection number of $T(D)$ with $D$ possibly having loops, but under the restriction loops of the digraph only touch (are to or from) themselves, sinks, and sources.
2017-01-30 v2
On sequences of polynomials arising from graph invariants
Published • View Publication • BIB
Graph polynomials are deemed useful if they give rise to algebraic characterizations of various graph properties, and their evaluations encode many other graph invariants. Algebraic: The complete graphs $K_n$ and the complete bipartite graphs $K_{n,n}$ can be characterized as those graphs whose matching polynomials satisfy a certain recurrence relations and are related to the Hermite and Laguerre polynomials. An encoded graph invariant: The absolute value of the chromatic polynomial $χ(G,X)$ of a graph $G$ evaluated at $-1$ counts the number of acyclic orientations of $G$. In this paper we prove a general theorem on graph families which are characterized by families of polynomials satisfying linear recurrence relations. This gives infinitely many instances similar to the characterization of $K_{n,n}$. We also show where to use, instead of the Hermite and Laguerre polynomials, linear recurrence relations where the coefficients do not depend on $n$. Finally, we discuss the distinctive power of graph polynomials in specific form.
2017-01-30 v2
Generalized Dirichlet series of n variables associated with automatic sequences
This article consists to give a necessary and sufficient condition of the meromorphic continuity of Dirichlet series defined as $\sum_{x\in \mathbf{N}^n} \frac{a_{x}}{P(x)^s}$, Where $a_{x}$ is a $q$-automatic sequence of $n$ parameters and $P: \mathbf{C}^n \to \mathbf{C}$ a polynomial, such that $P$ does not have zeros on $\mathbf{Q}^{n}_{+}$. And some specific cases of $n=1$ will also be studied in this article as examples to show the possibility to have an holomorphic continuity on the whole complex plane. Some equivalences between infinite products are also built as consequences of these results.
2017-01-30
Chromatic numbers for the hyperbolic plane and discrete analogs
We study colorings of the hyperbolic plane, analogously to the Hadwiger-Nelson problem for the Euclidean plane. The idea is to color points using the minimum number of colors such that no two points at distance exactly $d$ are of the same color. The problem depends on $d$ and, following a strategy of Kloeckner, we show linear upper bounds on the necessary number of colors. In parallel, we study the same problem on $q$-regular trees and show analogous results. For both settings, we also consider a variant which consists in replacing $d$ with an interval of distances.
2017-01-30 v2
The relationship between some nonclassical Ramsey numbers
The upper (mixed) domination Ramsey number $u(m, n)$($v(m,n)$) is the smallest integer $p$ such that every $2$-coloring of the edges of $K_p$ with color red and blue, $Γ(B) \geq m$ or $Γ(R) \geq n$ ($β(R) \geq n$); where $B$ and $R$ is the subgraph of $K_p$ induced by blue and red edges, respectively; $Γ(G)$ is the maximum cardinality of a minimal dominating set of a graph $G$. First, we prove that $v(3,n)=t(3,n)$ where $t(m,n)$ is the mixed irredundant Ramsey number i.e. the smallest integer $p$ such that in every two-coloring $(R, B)$ of the edges of $K_p$, $IR(B) \geq m$ or $β(R) \geq n$ ($IR(G)$ is the maximum cardinality of an irredundant set of $G$). To achieve this result we use a characterization of the upper domination perfect graphs in terms of forbidden induced subgraphs. By the equality we determine two previously unknown Ramsey numbers, namely $v(3,7)=18$ and $v(3,8) = 22$. In addition, we solve other four remaining open cases from Burger's {\it et. al.} article, which listed all nonclassical Ramsey numbers. We find that $u(3,7)=w(7,3)=18$, $u(3,8) = w(8,3) = 21$, where $w(m,n)$ is the irredundant-domination Ramsey number introduced by Burger and Van Vuuren in 2011.
2017-01-30 v2
Hunting Rabbits on the Hypercube
Published • View Publication • BIB
We explore the Hunters and Rabbits game on the hypercube. In the process, we find the solution for all classes of graphs with an isoperimetric nesting property and find the exact hunter number of $Q^n$ to be $1+\sum\limits_{i=0}^{n-2} \binom{i}{\lfloor i/2 \rfloor}$. In addition, we extend results to the situation where we allow the rabbit to not move between shots.
Cospectral mates for the union of some classes in the Johnson association scheme
Let $n\geq k\geq 2$ be two integers and $S$ a subset of $\{0,1,\dots,k-1\}$. The graph $J_{S}(n,k)$ has as vertices the $k$-subsets of the $n$-set $[n]=\{1,\dots,n\}$ and two $k$-subsets $A$ and $B$ are adjacent if $|A\cap B|\in S$. In this paper, we use Godsil-McKay switching to prove that for $m\geq 0$, $k\geq \max(m+2,3)$ and $S = \{0, 1, ..., m\}$, the graphs $J_S(3k-2m-1,k)$ are not determined by spectrum and for $m\geq 2$, $n\geq 4m+2$ and $S = \{0,1,...,m\}$ the graphs $J_{S}(n,2m+1)$ are not determined by spectrum. We also report some computational searches for Godsil-McKay switching sets in the union of classes in the Johnson scheme for $k\leq 5$.
Infinitely many minimal classes of graphs of unbounded clique-width
Published • View Publication • BIB
The celebrated theorem of Robertson and Seymour states that in the family of minor-closed graph classes, there is a unique minimal class of graphs of unbounded tree-width, namely, the class of planar graphs. In the case of tree-width, the restriction to minor-closed classes is justified by the fact that the tree-width of a graph is never smaller than the tree-width of any of its minors. This, however, is not the case with respect to clique-width, as the clique-width of a graph can be (much) smaller than the clique-width of its minor. On the other hand, the clique-width of a graph is never smaller than the clique-width of any of its induced subgraphs, which allows us to be restricted to hereditary classes (that is, classes closed under taking induced subgraphs), when we study clique-width. Up to date, only finitely many minimal hereditary classes of graphs of unbounded clique-width have been discovered in the literature. In the present paper, we prove that the family of such classes is infinite. Moreover, we show that the same is true with respect to linear clique-width.
2017-01-30 v2
Circulant q-Butson Hadamard matrices
If $q = p^n$ is a prime power, then a $d$-dimensional \emph{$q$-Butson Hadamard matrix} $H$ is a $d\times d$ matrix with all entries $q$th roots of unity such that $HH^* = dI_d$. We use algebraic number theory to prove a strong constraint on the dimension of a circulant $q$-Butson Hadamard matrix when $d = p^m$ and then explicitly construct a family of examples in all possible dimensions. These results relate to the long-standing circulant Hadamard matrix conjecture in combinatorics.
2017-01-29
Decomposing the Complete $r$-Graph
Published • View Publication • BIB
Let $f_r(n)$ be the minimum number of complete $r$-partite $r$-graphs needed to partition the edge set of the complete $r$-uniform hypergraph on $n$ vertices. Graham and Pollak showed that $f_2(n) = n-1$. An easy construction shows that $f_r(n)\le (1-o(1))\binom{n}{\lfloor r/2\rfloor}$ and it has been unknown if this upper bound is asymptotically sharp. In this paper we show that $f_r(n)\le (\frac{14}{15}+o(1))\binom{n}{r/2}$ for each even $r\ge 4$.
Equal relation between the extra connectivity and pessimistic diagnosability for some regular graphs
Published • View Publication • BIB
Extra connectivity and the pessimistic diagnosis are two crucial subjects for a multiprocessor system's ability to tolerate and diagnose faulty processor. The pessimistic diagnosis strategy is a classic strategy based on the PMC model in which isolates all faulty vertices within a set containing at most one fault-free vertex. In this paper, the result that the pessimistic diagnosability $t_p(G)$ equals the extra connectivity $κ_{1}(G)$ of a regular graph $G$ under some conditions are shown. Furthermore, the following new results are gotten: the pessimistic diagnosability $t_p(S_n^2)=4n-9$ for split-star networks $S_n^2$, $t_p(Γ_n)=2n-4$ for Cayley graphs generated by transposition trees $Γ_n$, $t_p(Γ_{n}(Δ))=4n-11$ for Cayley graph generated by the $2$-tree $Γ_{n}(Δ)$, $t_{p}(BP_n)=2n-2$ for the burnt pancake networks $BP_n$. As corollaries, the known results about the extra connectivity and the pessimistic diagnosability of many famous networks including the alternating group graphs, the alternating group networks, BC networks, the $k$-ary $n$-cube networks etc. are obtained directly.
2017-01-29
Fault diagnosability of data center networks
Published • View Publication • BIB
The data center networks $D_{n,k}$, proposed in 2008, has many desirable features such as high network capacity. A kind of generalization of diagnosability for network $G$ is $g$-good-neighbor diagnosability which is denoted by $t_g(G)$. Let $κ^g(G)$ be the $R^g$-connectivity. Lin et. al. in [IEEE Trans. on Reliability, 65 (3) (2016) 1248--1262] and Xu et. al in [Theor. Comput. Sci. 659 (2017) 53--63] gave the same problem independently that: the relationship between the $R^g$-connectivity $κ^g(G)$ and $t_g(G)$ of a general graph $G$ need to be studied in the future. In this paper, this open problem is solved for general regular graphs. We firstly establish the relationship of $κ^g(G)$ and $t_g(G)$, and obtain that $t_g(G)=κ^g(G)+g$ under some conditions. Secondly, we obtain the $g$-good-neighbor diagnosability of $D_{k,n}$ which are $t_g(D_{k,n})=(g+1)(k-1)+n+g$ for $1\leq g\leq n-1$ under the PMC model and the MM model, respectively. Further more, we show that $D_{k,n}$ is tightly super $(n+k-1)$-connected for $n\geq 2$ and $k\geq 2$ and we also prove that the largest connected component of the survival graph contains almost all of the remaining vertices in $D_{k,n}$ when $2k+n-2$ vertices removed.