Showing 20 papers (Total: 82139 papers, 47531 authors in database)
Circulant Digraphs Integral over Number Fields
Published in Discrete Mathematics, 2013
• View Publication
• BIB
A number field K is a finite extension of rational number field Q. A circulant digraph integral over K means that all its eigenvalues are algebraic integers of K. In this paper we give the sufficient and necessary condition for circulant digraphs which are integral over a number field K. And we solve the Conjecture3.3 in [XM] and find it is affirmative.
Coloring intersection graphs of x-monotone curves in the plane
Published
• View Publication
• BIB
A class of graphs G is chi-bounded if the chromatic number of the graphs in G is bounded by some function of their clique number. We show that the class of intersection graphs of simple x-monotone curves in the plane intersecting a vertical line is chi-bounded. As a corollary we show that the class of intersection graphs of rays in the plane is chi-bounded, and the class of intersection graphs of unit segments in the plane is chi-bounded
Non-crossing Connectors in the Plane
We consider the non-crossing connectors problem, which is stated as follows: Given n simply connected regions R_1,...,R_n in the plane and finite point sets P_i subset of R_i for i=1,...,n, are there non-crossing connectors y_i for (R_i,P_i), i.e., arc-connected sets y_i with P_i subset of y_i subset of R_i for every i=1,...,n, such that y_i and y_j are disjoint for all i different from j?
We prove that non-crossing connectors do always exist if the regions form a collection of pseudo-disks, i.e., the boundaries of every pair of regions intersect at most twice. We provide a simple polynomial-time algorithm if the regions are axis-aligned rectangles. Finally we prove that the general problem is NP-complete, even if the regions are convex, the boundaries of every pair of regions intersect at most four times and P_i consists of only two points on the boundary of R_i for i=1,...,n.
Self-similarity of graphs
Published
• View Publication
• BIB
An old problem raised independently by Jacobson and Schönheim asks to determine the maximum $s$ for which every graph with $m$ edges contains a pair of edge-disjoint isomorphic subgraphs with $s$ edges. In this paper we determine this maximum up to a constant factor. We show that every $m$-edge graph contains a pair of edge-disjoint isomorphic subgraphs with at least $c (m\log m)^{2/3}$ edges for some absolute constant $c$, and find graphs where this estimate is off only by a multiplicative constant. Our results improve bounds of Erdős, Pach, and Pyber from 1987.
Average-case analysis of perfect sorting by reversals (Journal Version)
Published
• View Publication
• BIB
Perfect sorting by reversals, a problem originating in computational genomics, is the process of sorting a signed permutation to either the identity or to the reversed identity permutation, by a sequence of reversals that do not break any common interval. Bérard et al. (2007) make use of strong interval trees to describe an algorithm for sorting signed permutations by reversals. Combinatorial properties of this family of trees are essential to the algorithm analysis. Here, we use the expected value of certain tree parameters to prove that the average run-time of the algorithm is at worst, polynomial, and additionally, for sufficiently long permutations, the sorting algorithm runs in polynomial time with probability one. Furthermore, our analysis of the subclass of commuting scenarios yields precise results on the average length of a reversal, and the average number of reversals.
Cops and Invisible Robbers: the Cost of Drunkenness
Published
• View Publication
• BIB
We examine a version of the Cops and Robber (CR) game in which the robber is invisible, i.e., the cops do not know his location until they capture him. Apparently this game (CiR) has received little attention in the CR literature. We examine two variants: in the first the robber is adversarial (he actively tries to avoid capture); in the second he is drunk (he performs a random walk). Our goal in this paper is to study the invisible Cost of Drunkenness (iCOD), which is defined as the ratio ct_i(G)/dct_i(G), with ct_i(G) and dct_i(G) being the expected capture times in the adversarial and drunk CiR variants, respectively. We show that these capture times are well defined, using game theory for the adversarial case and partially observable Markov decision processes (POMDP) for the drunk case. We give exact asymptotic values of iCOD for several special graph families such as $d$-regular trees, give some bounds for grids, and provide general upper and lower bounds for general classes of graphs. We also give an infinite family of graphs showing that iCOD can be arbitrarily close to any value in [2,infinty). Finally, we briefly examine one more CiR variant, in which the robber is invisible and "infinitely fast"; we argue that this variant is significantly different from the Graph Search game, despite several similarities between the two games.
The simplicial boundary of a CAT(0) cube complex
Published in Algebr. Geom. Topol. 13 (2013) 1299-1367
• View Publication
• BIB
For a CAT(0) cube complex $\mathbf X$, we define a simplicial flag complex $\partial_Δ\mathbf X$, called the \emph{simplicial boundary}, which is a natural setting for studying non-hyperbolic behavior of $\mathbf X$. We compare $\partial_Δ\mathbf X$ to the Roller, visual, and Tits boundaries of $\mathbf X$ and give conditions under which the natural CAT(1) metric on $\partial_Δ\mathbf X$ makes it (quasi)isometric to the Tits boundary. $\partial_Δ\mathbf X$ allows us to interpolate between studying geodesic rays in $\mathbf X$ and the geometry of its \emph{contact graph} $Γ\mathbf X$, which is known to be quasi-isometric to a tree, and we characterize essential cube complexes for which the contact graph is bounded. Using related techniques, we study divergence of combinatorial geodesics in $\mathbf X$ using $\partial_Δ\mathbf X$. Finally, we rephrase the rank-rigidity theorem of Caprace-Sageev in terms of group actions on $Γ\mathbf X$ and $\partial_Δ\mathbf X$ and state characterizations of cubulated groups with linear divergence in terms of $Γ\mathbf X$ and $\partial_Δ\mathbf X$.
On Some Multicolor Ramsey Numbers Involving $K_3+e$ and $K_4-e$
Published in SIAM Journal on Discrete Mathematics, 26 (2012) 1256-1264
• View Publication
• BIB
The Ramsey number $R(G_1, G_2, G_3)$ is the smallest positive integer $n$ such that for all 3-colorings of the edges of $K_n$ there is a monochromatic $G_1$ in the first color, $G_2$ in the second color, or $G_3$ in the third color. We study the bounds on various 3-color Ramsey numbers $R(G_1, G_2, G_3)$, where $G_i \in \{K_3, K_3+e, K_4-e, K_4\}$. The minimal and maximal combinations of $G_i$'s correspond to the classical Ramsey numbers $R_3(K_3)$ and $R_3(K_4)$, respectively, where $R_3(G) = R(G, G, G)$. Here, we focus on the much less studied combinations between these two cases.
Through computational and theoretical means we establish that $R(K_3, K_3, K_4-e)=17$, and by construction we raise the lower bounds on $R(K_3, K_4-e, K_4-e)$ and $R(K_4, K_4-e, K_4-e)$. For some $G$ and $H$ it was known that $R(K_3, G, H)=R(K_3+e, G, H)$; we prove this is true for several more cases including $R(K_3, K_3, K_4-e) = R(K_3+e, K_3+e, K_4-e)$.
Ramsey numbers generalize to more colors, such as in the famous 4-color case of $R_4(K_3)$, where monochromatic triangles are avoided. It is known that $51 \leq R_4(K_3) \leq 62$. We prove a surprising theorem stating that if $R_4(K_3)=51$ then $R_4(K_3+e)=52$, otherwise $R_4(K_3+e)=R_4(K_3)$.
Enumeration of k-Exceedance Lattice Paths with an Application to Comparing Chains of Order Statistics
We enumerate the number of monotonic lattice paths starting at $(0,0)$ and terminating at $(m,n)$ in which $l$ of the first $k$ steps lie below the line $y=x\ (0\leq k\leq m\leq n)$. These closed formulas consist of terms which are a product Catalan numbers, ballot numbers and binomial coefficients. We then apply the combinatorial formulas to failure analysis by deriving a probability distribution that compares the performance of a $k$-out-of-$m$ system to a $k$-out-of-$n$ system of continuous, independent, and identically distributed random variables. Lastly, we provide asymptotics in a few special cases of $k,m,n$ and leave others as conjecture.
Proof of two conjectures of Z.-W. Sun on congruences for Franel numbers
Published
• View Publication
• BIB
For all nonnegative integers n, the Franel numbers are defined as $$ f_n=\sum_{k=0}^n {n\choose k}^3.$$ We confirm two conjectures of Z.-W. Sun on congruences for Franel numbers: \sum_{k=0}^{n-1}(3k+2)(-1)^k f_k &\equiv 0 \pmod{2n^2}, \sum_{k=0}^{p-1}(3k+2)(-1)^k f_k &\equiv 2p^2 (2^p-1)^2 \pmod{p^5}, where n is a positive integer and p>3 is a prime.
Jacobi-Stirling polynomials and $P$-partitions
Published
• View Publication
• BIB
We investigate the diagonal generating function of the Jacobi-Stirling numbers of the second kind $ \JS(n+k,n;z)$ by generalizing the analogous results for the Stirling and Legendre-Stirling numbers. More precisely, letting $\JS(n+k,n;z)=p_{k,0}(n)+p_{k,1}(n)z+...+p_{k,k}(n)z^k$, we show that $(1-t)^{3k-i+1}\sum_{n\geq0}p_{k,i}(n)t^n$ is a polynomial in $t$ with nonnegative integral coefficients and provide combinatorial interpretations of the coefficients by using Stanley's theory of $P$-partitions.
Sets with no solutions to $x+y=3z$
This short note gives an upper bound on the measure of sets $A\subset [0,1]$ such that $x+y=3z$ has no solutions in $A$.
Real and complex unbiased Hadamard matrices
We use combinatorial and Fourier analytic arguments to prove various non-existence results on systems of real and complex unbiased Hadamard matrices. In particular, we prove that a complete system of complex mutually unbiased Hadamard matrices (MUHs) in any dimension $d$ cannot contain more than one real Hadamard matrix. We also give new proofs of several known structural results in low dimensions, for $d\le 6$.
Isoperimetric Inequalities on Hexagonal Grids
We consider the edge- and vertex-isoperimetric probem on finite and infinite hexagonal grids: For a subset W of the hexagonal grid of given cardinality, we give a lower bound for the number of edges between W and its complement, and lower bounds for the number of vertices in the neighborhood of W and for the number of vertices in the boundary of W. For the infinite hexagonal grid the given bounds are tight.
Constructions of Strongly Regular Cayley Graphs and Skew Hadamard Difference Sets from Cyclotomic Classes
Published
• View Publication
• BIB
In this paper, we give a construction of strongly regular Cayley graphs and a construction of skew Hadamard difference sets. Both constructions are based on choosing cyclotomic classes in finite fields, and they generalize the constructions given by Feng and Xiang \cite{FX111,FX113}. Three infinite families of strongly regular graphs with new parameters are obtained. The main tools that we employed are index 2 Gauss sums, instead of cyclotomic numbers.
Constructions of Strongly Regular Cayley Graphs Using Index Four Gauss Sums
Published
• View Publication
• BIB
We give a construction of strongly regular Cayley graphs on finite fields $\F_q$ by using union of cyclotomic classes and index 4 Gauss sums. In particular, we obtain two infinite families of strongly regular graphs with new parameters.
Sparse graphs are not flammable
In this paper, we consider the following \emph{$k$-many firefighter problem} on a finite graph $G=(V,E)$. Suppose that a fire breaks out at a given vertex $v \in V$. In each subsequent time unit, a firefighter protects $k$ vertices which are not yet on fire, and then the fire spreads to all unprotected neighbours of the vertices on fire. The objective of the firefighter is to save as many vertices as possible.
The surviving rate $ρ(G)$ of $G$ is defined as the expected percentage of vertices that can be saved when a fire breaks out at a random vertex of $G$. Let $τ_k = k+2-\frac {1}{k+2}$. We show that for any $ε>0$ and $k \ge 2$, each graph $G$ on $n$ vertices with at most $(τ_k-ε)n$ edges is not flammable; that is, $ρ(G) > \frac {2ε}{5τ_k} > 0$. Moreover, a construction of a family of flammable random graphs is proposed to show that the constant $τ_k$ cannot be improved.
Cofinite Induced Subgraphs of Impartial Combinatorial Games: An Analysis of CIS-Nim
Published
• View Publication
• BIB
Given an impartial combinatorial game G, we create a class of related games (CIS-G) by specifying a finite set of positions in G and forbidding players from moving to those positions (leaving all other game rules unchanged). Such modifications amount to taking cofinite induced subgraphs (CIS) of the original game graph. Some recent numerical/heuristic work has suggested that the underlying structure and behavior of such "CIS-games" can shed new light on, and bears interesting relationships with, the original games from which they are derived. In this paper we present an analytical treatment of the cofinite induced subgraphs associated with the game of (three-heap) Nim. This constitutes one of the simplest nontrivial cases of a CIS game. Our main finding is that although the structure of the winning strategies in games of CIS-Nim can differ greatly from that of Nim, CIS-Nim games inherit a type of period-two scale invariance from the original game of Nim.
Notions of Möbius inversion
Published in Bulletin of the Belgian Mathematical Society 19 (2012), 911-935
• View Publication
• BIB
Möbius inversion, originally a tool in number theory, was generalized to posets for use in group theory and combinatorics. It was later generalized to categories in two different ways, both of which are useful. We provide a unifying abstract framework. This allows us to compare and contrast the two theories of Möbius inversion for categories, and advance each of them. Among several side benefits is an improved understanding of the following fact: the Euler characteristic of the classifying space of a (suitably finite) category depends only on its underlying graph.
Chu-Vandermonde convolution and harmonic number identities
Published
• View Publication
• BIB
By applying the derivative operators to Chu-Vandermonde convolution, several general harmonic number identities are established.