Showing 20 papers (Total: 82505 papers, 47699 authors in database)
A Combinatorial Model for Exceptional Sequences in Type A
Published
• View Publication
• BIB
Exceptional sequences are certain ordered sequences of quiver representations. We use noncrossing edge-labeled trees in a disk with boundary vertices (expanding on T. Araya's work) to classify exceptional sequences of representations of Q, the linearly-ordered quiver with n vertices. We also show how to use variations of this model to classify c-matrices of Q, to interpret exceptional sequences as linear extensions, and to give a simple bijection between exceptional sequences and certain chains in the lattice of noncrossing partitions. In the case of c-matrices, we also give an interpretation of c-matrix mutation in terms of our noncrossing trees with directed edges.
The three-colour hat guessing game on the cycle graphs
Published
• View Publication
• BIB
We study a cooperative game in which each member of a team of $N$ players, wearing coloured hats and situated at the vertices of a cycle graph $C_N$, 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 $N$ is divisible by $3$ or $N=4$. This problem represents an example of a relational system using incomplete information about an unpredictable situation, where at least one participant has to act properly.
The $(m,n)$-rational $q, t$-Catalan polynomials for $m=3$ and their $q,t$-symmetry
Published
• View Publication
• BIB
We introduce a new statistic, skip, on rational $(3,n)$-Dyck paths and define a marked rank word for each path when $n$ is not a multiple of 3. If a triple of valid statistics (area,skip,dinv) are given, we have an algorithm to construct the marked rank word corresponding to the triple. By considering all valid triples we give an explicit formula for the $(m,n)$-rational $q,t$-Catalan polynomials when $m=3$. Then there is a natural bijection on the triples of statistics (area,skips,dinv) which exchanges the statistics area and dinv while fixing the skip. Thus we prove the $q,t$-symmetry of $(m,n)$-rational $q, t$-Catalan polynomials for $m=3$.
Mixing Homomorphisms, Recolourings, and Extending Circular Precolourings
Published
• View Publication
• BIB
This work brings together ideas of mixing graph colourings, discrete homotopy, and precolouring extension. A particular focus is circular colourings. We prove that all the $(k,q)$-colourings of a graph $G$ can be obtained by successively recolouring a single vertex provided $k/q\geq 2col(G)$ along the lines of Cereceda, van den Heuvel and Johnson's result for $k$-colourings. We give various bounds for such mixing results and discuss their sharpness, including cases where the bounds for circular and classical colourings coincide. As a corollary, we obtain an Albertson-type extension theorem for $(k,q)$-precolourings of circular cliques. Such a result was first conjectured by Albertson and West. General results on homomorphism mixing are presented, including a characterization of graphs $G$ for which the endomorphism monoid can be generated through the mixing process. As in similar work of Brightwell and Winkler, the concept of dismantlability plays a key role.
Some existence theorems on all fractional $(g,f)$-factors with prescribed properties
Published
• View Publication
• BIB
Let $G$ be a graph, and $g,f:V(G)\rightarrow Z^{+}$ with $g(x)\leq f(x)$ for each $x\in V(G)$. We say that $G$ admits all fractional $(g,f)$-factors if $G$ contains a fractional $r$-factor for every $r:V(G)\rightarrow Z^{+}$ with $g(x)\leq r(x)\leq f(x)$ for any $x\in V(G)$. Let $H$ be a subgraph of $G$. We say that $G$ has all fractional $(g,f)$-factors excluding $H$ if for every $r:V(G)\rightarrow Z^{+}$ with $g(x)\leq r(x)\leq f(x)$ for all $x\in V(G)$, $G$ has a fractional $r$-factor $F_h$ such that $E(H)\cap E(F_h)=\emptyset$, where $h:E(G)\rightarrow [0,1]$ is a function. In this paper, we show a characterization for the existence of all fractional $(g,f)$-factors excluding $H$ and obtain two sufficient conditions for a graph to have all fractional $(g,f)$-factors excluding $H$.
On degree sequences forcing the square of a Hamilton cycle
Published
• View Publication
• BIB
A famous conjecture of Pósa from 1962 asserts that every graph on $n$ vertices and with minimum degree at least $2n/3$ contains the square of a Hamilton cycle. The conjecture was proven for large graphs in 1996 by Komlós, Sárközy and Szemerédi. In this paper we prove a degree sequence version of Pósa's conjecture: Given any $η>0$, every graph $G$ of sufficiently large order $n$ contains the square of a Hamilton cycle if its degree sequence $d_1\leq \dots \leq d_n$ satisfies $d_i \geq (1/3+η)n+i$ for all $i \leq n/3$. The degree sequence condition here is asymptotically best possible. Our approach uses a hybrid of the Regularity-Blow-up method and the Connecting-Absorbing method.
Location-domination and matching in cubic graphs
Published in Discrete Mathematics 339(4):1221-1231, 2016
• View Publication
• BIB
A dominating set of a graph $G$ is a set $D$ of vertices of $G$ such that every vertex outside $D$ is adjacent to a vertex in $D$. A locating-dominating set of $G$ is a 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 \neq 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-domination number of $G$, denoted $γ_L(G)$, is the minimum cardinality of a locating-dominating set in $G$. Garijo, Gonzalez and Marquez [Applied Math. Computation 249 (2014), 487--501] posed the conjecture that for $n$ sufficiently large, the maximum value of the location-domination number of a twin-free, connected graph on $n$ vertices is equal to $\lfloor \frac{n}{2} \rfloor$. We propose the related (stronger) conjecture that if $G$ is a twin-free graph of order $n$ without isolated vertices, then $γ_L(G)\leq \frac{n}{2}$. We prove the conjecture for cubic graphs. We rely heavily on proof techniques from matching theory to prove our result.
Long cycles through prescribed vertices have the Erdős-Pósa property
Published
• View Publication
• BIB
We prove that for every graph, any vertex subset $S$, and given integers $k,\ell$: there are $k$ disjoint cycles of length at least $\ell$ that each contain at least one vertex from $S$, or a vertex set of size $O(\ell \cdot k \log k)$ that meets all such cycles. This generalises previous results of Fiorini and Hendrickx and of Pontecorvi and Wollan.
In addition, we describe an algorithm for our main result that runs in $O(k \log k \cdot s^2 \cdot (f(\ell) \cdot n+m))$ time, where $s$ denotes the cardinality of $S$.
On the use of Klein quadric for geometric incidence problems in two dimensions
Published in SIAM J. Discrete Math. 30-2 (2016), pp. 934-954 (does not contain the latter addition)
• View Publication
• BIB
We discuss a unified approach to a class of geometric combinatorics incidence problems in $2D$, of the Erdös distance type. The goal is obtaining the second moment estimate, that is given a finite point set $S$ and a function $f$ on $S\times S$, an upper bound on the number of solutions of $$
f(p,p') = f(q,q')\neq 0,\qquad (p,p',q,q')\in S\times S\times S\times S. \qquad(*) $$ E.g., $f$ is the Euclidean distance in the plane, sphere, or a sheet of the two-sheeted hyperboloid.
Our tool is the Guth-Katz incidence theorem for lines in $\mathbb{RP}^3$, but we focus on how the original $2D$ problem is made amenable to it. This procedure was initiated by Elekes and Sharir, based on symmetry considerations. However, symmetry considerations can be bypassed or made implicit. The classical Plücker-Klein formalism for line geometry enables one to directly interpret a solution of $(*)$ as intersection of two lines in $\mathbb{RP}^3$. This allows for a very brief argument extending the Euclidean plane distance argument to the spherical and hyperbolic distances. We also find instances of the question $(*)$ without underlying symmetry group.
The space of lines in the three-space, the Klein quadric $\mathcal K$, is four-dimensional. We start out with an injective map $\mathfrak F:\,S\times S\to\mathcal K$, from a pair of points in $2D$ to a line in $3D$ and seek a combinatorial problem in the form $(*)$, which can be solved by applying the Guth-Katz theorem to the set of lines in question. We identify a few new such problems and generalise the existing ones.
Switched symplectic graphs and their 2-ranks
Published
• View Publication
• BIB
We apply Godsil-McKay switching to the symplectic graphs over $\mathbb{F}_2$ with at least 63 vertices and prove that the 2-rank of (the adjacency matrix of) the graph increases after switching. This shows that the switched graph is a new strongly regular graph with parameters $(2^{2ν}\!-1, 2^{2ν-1}, 2^{2ν-2},2^{2ν-2})$ and 2-rank $2ν+2$ when $ν\geq 3$. For the symplectic graph on $63$ vertices we investigate repeated switching by computer and find many new strongly regular graphs with the above parameters for $ν=3$ with various 2-ranks. Using these results and a recursive construction method for the symplectic graph from Hadamard matrices, we obtain several graphs with the above parameters, but different 2-ranks for every $ν\geq 3$.
On a test on switching separability of graphs modulo $q$
Published in Sib. Math. J. 57(1) 2016, 7-17 (English); Sib. Mat. Zh. 57(1) 2016, 10-24 (Russian)
• View Publication
• BIB
We consider the graphs whose edges are marked by the integers (weights) from $0$ to $q-1$ (zero corresponds to no-edge). Such graph is called additive if its vertices can be marked in such a way that the weight of every edge is equal to the modulo-$q$ sum of weights of the two incident vertices. By a switching of a graph we mean the modulo-$q$ sum of the graph with some additive graph on the same vertex set. A graph with $n$ vertices is called switching separable if some of its switchings does not have a connected component of order $n$ or $n-1$. We consider the following test for the switching separability: if removing any vertex of a graph $G$ results in a switching separable graph, then $G$ is switching separable itself. We prove this test for odd $q$ and characterize the exceptions when $q$ is even. We establish a connection between the switching separability of a graph and the reducibility of $(n-1)$-ary quasigroups constructed from this graph.
On the automorphism group of a Johnson graph
The Johnson graph $J(n,i)$ is defined to the graph whose vertex set is the set of all $i$-element subsets of $\{1,\ldots,n\}$, and two vertices are joined whenever the cardinality of their intersection is equal to $i-1$. In Ramras and Donovan [\emph{SIAM J. Discrete Math}, 25(1): 267-270, 2011], it is conjectured that if $n=2i$, then the automorphism group of the Johnson graph $J(n,i)$ is $S_n \times \langle T \rangle$, where $T$ is the complementation map $A \mapsto \{1,\ldots,n\} \setminus A$. We resolve this conjecture in the affirmative. The proof uses only elementary group theory and is based on an analysis of the clique structure of the graph.
Enumeration of m-Endomorphisms
Published in Involve 9 (2016) 423-435
• View Publication
• BIB
An m-endomorphism of a free semigroup is an endomorphism that sends every generator to a word of length at most m. Two m-endomorphisms are combinatorially equivalent if they are conjugate under an automorphism of the semigroup. In this paper, we specialize an argument of N. G. de Bruijn to produce a formula for the number of combinatorial equivalence classes of m-endomorphisms on a rank-n semigroup. From this formula, we derive several little-known integer sequences.
On homogeneous nontransitive binary perfect code
Published
• View Publication
• BIB
Studying binary perfect codes we show the existence of homogeneous nontransitive codes. Thus, as far as perfect codes are concerned, the propelinear codes are strictly contained in transitive codes, wheresas homogeneous codes form a strict subclass of transitive codes. In the work we deduce a necessary and sufficient condition for transitivity of perfect binary codes of rank one more than that of Hamming code. The paper is in Russian.
On symmetry group of Mollard code
Published
• View Publication
• BIB
For a pair of given binary perfect codes C and D of lengths t and m respectively, the Mollard construction outputs a perfect code M(C,D) of length tm + t + m, having subcodes C1 and D2, that are obtained from codewords of C and D respectively by adding appropriate number of zeros. In this work we generalize of a result for symmetry groups of Vasilev codes [2] and find the group Stab_{D2}Sym(M(C,D)). The result is preceded by and partially based on a discussion of linearity of coordinate positions (points) in a nonlinear perfect code (non-projective Steiner triple system respectively).
Unitary Cayley Graphs of Dedekind Domain Quotients
Published
• View Publication
• BIB
If $X$ is a commutative ring with unity, then the unitary Cayley graph of $X$, denoted $G_X$, is defined to be the graph whose vertex set is $X$ and whose edge set is $\{\{a,b\}\colon a-b\in X^\times\}$. When $R$ is a Dedekind domain and $I$ is an ideal of $R$ such that $R/I$ is finite and nontrivial, we refer to $G_{R/I}$ as a \emph{generalized totient graph}. We study generalized totient graphs as generalizations of the graphs $G_{\mathbb{Z}/(n)}$, which have appeared recently in the literature, sometimes under the name \emph{Euler totient Cayley graphs}. We begin by generalizing to Dedekind domains the arithmetic functions known as Schemmel totient functions, and we use one of these generalizations to provide a simple formula, for any positive integer $m$, for the number of cliques of order $m$ in a generalized totient graph. In particular, we prove that the number of cliques of order $m$ in $G_{\mathbb Z/(n)}$ is \[\prod_{k=1}^m\frac{S_{k-1}(n)}{k},\] where $S_r$ is the $r^{\text{th}}$ Schemmel totient function.
We then proceed to determine many properties of generalized totient graphs such as their clique numbers, chromatic numbers, chromatic indices, clique domination numbers, and (in many, but not all cases) girths. We also determine the diameter of each component of a generalized totient graph. We correct one erroneous claim about the clique domination numbers of Euler totient Cayley graphs that has appeared in the literature and provide a counterexample to a second claim about the strong domination numbers of these graphs.
An Anti-Ramsey Problem Concerning Complete Bipartite Graphs
Published
• View Publication
• BIB
We consider quadruples of positive integers $(a,b,m,n)$ with $a\leq b$ and $m\leq n$ such that any proper edge-coloring of the complete bipartite graph $K_{m,n}$ contains a rainbow $K_{a,b}$ subgraph. We show that any such quadruple with $a\leq m$ and $n>(a^2-a+1)(b-1)$ satisfies this property. We also show that the quadruple $(2,3,3,6)$ satisfies this property. We end with a conjecture.
Covers in Partitioned Intersecting Hypergraphs
Published
• View Publication
• BIB
Given an integer $r$ and a vector $\vec{a}=(a_1, \ldots ,a_p)$ of positive numbers with $\sum_{i \le p} a_i=r$, an $r$-uniform hypergraph $H$ is said to be $\vec{a}$-partitioned if $V(H)=\bigcup_{i \le p}V_i$, where the sets $V_i$ are disjoint, and $|e \cap V_i|=a_i$ for all $e \in H,~~i \le p$. A $\vec{1}$-partitioned hypergraph is said to be $r$-partite. Let $t(\vec{a})$ be the maximum, over all intersecting $\vec{a}$-partitioned hypergraphs $H$, of the minimal size of a cover of $H$. A famous conjecture of Ryser is that $t(\vec{1})\le r-1$. Tuza conjectured that if $r>2$ then $t(\vec{a})=r$ for every two components vector $\vec{a}=(a,b)$. We prove this conjecture whenever $a\neq b$, and also for $\vec{a}=(2,2)$ and $\vec{a}=(4,4)$.
Generalizing $p$-goodness to ordered graphs
It is known that the connected graphs that are $p$-good for all $p$ are the trees. In this paper, we ask which ordered trees are order-$p$-good for all $p$.
Clique-Relaxed Competitive Graph Coloring
We investigate a variation of the graph coloring game, as studied in [2]. In the original coloring game, two players, Alice and Bob, alternate coloring vertices on a graph with legal colors from a fixed color set, where a color α is legal for a vertex if said vertex has no neighbors colored α. Other variations of the game change this definition of a legal color. For a fixed color set, Alice wins the game if all vertices are colored when the game ends, while Bob wins if there is a point in the game in which a vertex cannot be assigned a legal color. The least number of colors needed for Alice to have a winning strategy on a graph G is called the game chromatic number of G, and is denoted \c{hi}g(G). A well studied variation is the d-relaxed coloring game [5] in which a legal coloring of a graph G is defined as any assignment of colors to V (G) such that the subgraph of G induced by any color class has maximum degree d. We focus on the k-clique-relaxed n-coloring game. A k-clique-relaxed n-coloring of a graph G is an n-coloring in which the subgraph of G induced by any color class has maximum clique size k or less. In other words, a k-clique-relaxed n-coloring of G is an assignment of n colors to V (G) in which there are no monochromatic (k + 1)-cliques.