Showing 20 papers (Total: 81756 papers, 47371 authors in database)
On b-continuity Of Kneser Graphs of type KG(2k+1,k)
In this paper, we will introduce an special kind of graph homomorphisms namely semi-locally-surjective graph homomorphisms and show some relations between semi-locally-surjective graph homomorphisms and colorful colorings of graphs and then we prove that for each natural number $k$, the Kneser graph $KG(2k+1,k)$ is $b$-continuous. Finally, we introduce some special conditions for graphs to be $b$-continuous.
A note on fall colorings of Kneser graphs
Published
• View Publication
• BIB
A fall coloring of a graph G is a proper coloring of G with k colors such that each vertex sees all k colors on its closed neighborhood. In this short note, we characterize all fall colorings of Kneser graphs of type KG(n,2).
About Fall Colorings of Graphs
A fall $k$-coloring of a graph $G$ is a proper $k$-coloring of $G$ such that each vertex of $G$ sees all $k$ colors on its closed neighborhood. In this paper, we answer some questions of \cite{dun} about some relations between fall colorings and some other types of graph colorings.
Regularity via topology of the lcm-lattice for $C_4$-free graphs
We study the topology of the lcm-lattice of edge ideals and derive upper bounds on the Castelnuovo-Mumford regularity of the ideals. In this context it is natural to restrict to the family of graphs with no induced 4-cycle in their complement. Using the above method we obtain sharp upper bounds on the regularity when the complement is a chordal graph, or a cycle, or when the primal graph is claw free with no induced 4-cycle in its complement. For the later family we show that the second power of the edge ideal has a linear resolution.
Sorting orders, subword complexes, Bruhat order and total positivity
Published
• View Publication
• BIB
In this note we construct a poset map from a Boolean algebra to the Bruhat order which unveils an interesting connection between subword complexes, sorting orders, and certain totally nonnegative spaces. This relationship gives a new proof of Björner and Wachs' result \cite{BW} that the proper part of Bruhat order is homotopy equivalent to the proper part of a Boolean algebra --- that is, to a sphere. We also obtain a geometric interpretation for sorting orders. We conclude with two new results: that the intersection of all sorting orders is the weak order, and the union of sorting orders is the Bruhat order.
Strongly Cancellative and Recovering Sets On Lattices
Published
• View Publication
• BIB
We use information theory to study recovering sets $\R_L$ and strongly cancellative sets $\C_L$ on different lattices. These sets are special classes of recovering pairs and cancellative sets previously discussed in [1], [3] and [5]. We mainly focus on the lattices $B_n$ and $D_{l}^{k}$. Specifically, we find upper bounds and constructions for the sets $\R_{B_n}$, $\C_{B_n}$, and $\C_{D_{l}^{k}}$.
New Classes of Counterexamples to Hendrickson's Global Rigidity Conjecture
Published
• View Publication
• BIB
We examine the generic local and global rigidity of various graphs in R^d. Bruce Hendrickson showed that some necessary conditions for generic global rigidity are (d+1)-connectedness and generic redundant rigidity and hypothesized that they were sufficient in all dimensions. We analyze two classes of graphs that satisfy Hendrickson's conditions for generic global rigidity, yet fail to be generically globally rigid. We find a large family of bipartite graphs for d > 3, and we define a construction that generates infinitely many graphs in R^5. Finally, we state some conjectures for further exploration.
Affine structures and a tableau model for E_6 crystals
Published in J. Algebra 324 (2010) 2512-2542
• View Publication
• BIB
We provide the unique affine crystal structure for type E_6^{(1)} Kirillov-Reshetikhin crystals corresponding to the multiples of fundamental weights s Lambda_1, s Lambda_2, and s Lambda_6 for all s \geq 1 (in Bourbaki's labeling of the Dynkin nodes, where 2 is the adjoint node). Our methods introduce a generalized tableaux model for classical highest weight crystals of type E and use the order three automorphism of the affine E_6^{(1)} Dynkin diagram. In addition, we provide a conjecture for the affine crystal structure of type E_7^{(1)} Kirillov-Reshetikhin crystals corresponding to the adjoint node.
On the Index of Sequences over Cyclic Groups
Published
• View Publication
• BIB
Let $G$ be a finite cyclic group of order $n \ge 2$. Every sequence $S$ over $G$ can be written in the form $S=(n_1g)\cdot ... \cdot (n_lg)$ where $g\in G$ and $n_1,..., n_l \in [1,\ord(g)]$, and the index $\ind (S)$ of $S$ is defined as the minimum of $(n_1+ ... + n_l)/\ord (g)$ over all $g \in G$ with $\ord (g) = n$. In this paper we prove that a sequence $S$ over $G$ of length $|S| = n$ having an element with multiplicity at least $\frac{n}{2}$ has a subsequence $T$ with $\ind (T) = 1$, and if the group order $n$ is a prime, then the assumption on the multiplicity can be relaxed to $\frac{n-2}{10}$. On the other hand, if $n=4k+2$ with $k \ge 5$, we provide an example of a sequence $S$ having length $|S| > n$ and an element with multiplicity $\frac{n}{2}-1$ which has no subsequence $T$ with $\ind (T) = 1$. This disproves a conjecture given twenty years ago by Lemke and Kleitman.
On the Chudnovsky-Seymour-Sullivan Conjecture on Cycles in Triangle-free Digraphs
Published
• View Publication
• BIB
For a simple digraph $G$ without directed triangles or digons, let $β(G)$ be the size of the smallest subset $X \subseteq E(G)$ such that $G\setminus X$ has no directed cycles, and let $γ(G)$ be the number of unordered pairs of nonadjacent vertices in $G$. In 2008, Chudnovsky, Seymour, and Sullivan showed that $β(G) \le γ(G)$, and conjectured that $β(G) \le γ(G)/2$. Recently, Dunkum, Hamburger, and Pór proved that $β(G) \le 0.88 γ(G)$. In this note, we prove that $β(G) \le 0.8616 γ(G)$.
On finite edge-primitive and edge-quasiprimitive graphs
Published
• View Publication
• BIB
Many famous graphs are edge-primitive, for example, the Heawood graph, the Tutte--Coxeter graph and the Higman--Sims graph. In this paper we systematically analyse edge-primitive and edge-quasiprimitive graphs via the O'Nan--Scott Theorem to determine the possible edge and vertex actions of such graphs. Many interesting examples are given and we also determine all $G$-edge-primitive graphs for $G$ an almost simple group with socle $PSL(2,q)$.
SPDE Approximation for Random Trees
We consider the genealogy tree for a critical branching process conditioned on non-extinction. We enumerate vertices in each generation of the tree so that for each two generations one can define a monotone map describing the ancestor--descendant relation between their vertices. We show that under appropriate rescaling this family of monotone maps converges in distribution in a special topology to a limiting flow of discontinuous monotone maps which can be seen as a continuum tree. This flow is a solution of an SPDE with respect to a Brownian sheet.
Enumerating labeled graphs with a k-cycle
This paper has been withdrawn by the author as a more general result is known and could be referenced at "Combinatorial Enumeration" by Ian P. Goulden, David M. Jackson - Dover Publication 2004 - Section 3.3.13, Page 176.
Lion and Man -- Can Both Win?
This paper is concerned with continuous-time pursuit and evasion games. Typically, we have a lion and a man in a metric space: they have the same speed, and the lion wishes to catch the man while the man tries to evade capture. We are interested in questions of the following form: is it the case that exactly one of the man and the lion has a winning strategy?
As we shall see, in a compact metric space at least one of the players has a winning strategy. We show that, perhaps surprisingly, there are examples in which both players have winning strategies. We also construct a metric space in which, for the game with two lions versus one man, neither player has a winning strategy. We prove various other (positive and negative) related results, and pose some open problems.
Infinite families of crossing-critical graphs with prescribed average degree and crossing number
Published
• View Publication
• BIB
Siran constructed infinite families of k-crossing-critical graphs for every k=>3 and Kochol constructed such families of simple graphs for every k=>2. Richter and Thomassen argued that, for any given k>=1 and r>=6, there are only finitely many simple k-crossing-critical graphs with minimum degree r. Salazar observed that the same argument implies such a conclusion for simple k-crossing-critical graphs of prescribed average degree r>6. He established existence of infinite families of simple k-crossing-critical graphs with any prescribed rational average degree r in [4,6) for infinitely many k and asked about their existence for r in (3,4). The question was partially settled by Pinontoan and Richter, who answered it positively for r in (7/2,4).
The present contribution uses two new constructions of crossing critical simple graphs along with the one developed by Pinontoan and Richter to unify these results and to answer Salazar's question by the following statement: for every rational number r in (3,6) there exists an integer N_r, such that, for any k>N_r, there exists an infinite family of simple 3-connected crossing-critical graphs with average degree r and crossing number k. Moreover, a universal lower bound on k applies for rational numbers in any closed interval I in (3,6).
Geometrical approach to Seidel's switching for strongly regular graphs
In this paper, we simplify the known switching theorem due to Bose and Shrikhande as follows.
Let $G=(V,E)$ be a primitive strongly regular graph with parameters $(v,k,λ,μ)$.
Let $S(G,H)$ be the graph from $G$ by switching with respect to a nonempty $H\subset V$.
Suppose $v=2(k-θ_1)$ where $θ_1$ is the nontrivial positive eigenvalue of the $(0,1)$ adjacency matrix of $G$. This strongly regular graph is associated with a regular two-graph.
Then, $S(G,H)$ is a strongly regular graph with the same parameters if and only if the subgraph induced by $H$ is $k-\frac{v-h}{2}$ regular. Moreover, $S(G,H)$ is a strognly regualr graph with the other parameters if and only if the subgraph induced by $H$ is $k-μ$ regular and the size of $H$ is $v/2$. We prove these theorems with the view point of the geometrical theory of the finite set on the Euclidean unit sphere.
k-L(2,1)-Labelling for Planar Graphs is NP-Complete for k >= 4
Published
• View Publication
• BIB
A mapping from the vertex set of a graph G = (V,E) into an interval of integers {0,...,k} is an L(2,1)-labelling of G of span k if any two adjacent vertices are mapped onto integers that are at least 2 apart, and every two vertices with a common neighbour are mapped onto distinct integers. It is known that for any fixed k >= 4, deciding the existence of such a labelling is an NP-complete problem while it is polynomial for k <= 3. For even k >= 8, it remains NP-complete when restricted to planar graphs. In this paper, we show that it remains NP-complete for any k >= 4 by reduction from Planar Cubic Two-Colourable Perfect Matching. Schaefer stated without proof that Planar Cubic Two-Colourable Perfect Matching is NP-complete. In this paper we give a proof of this.
A Bijective Proof For Forest Reciprocity Theorem
In this paper, we study the graph polynomial that counts spanning rooted forests f_g of a given graph. This polynomial has a remarkable reciprocity property. We give a new bijective proof for this theorem which has Prufer coding as a special case.
A Note On Go Endgame And Nonstandard Analysis
This paper has been withdrawn by the author, since the relation mentioned in the paper between nonstandard analysis and games is probably useless.
Sub-Gaussian tails for the number of triangles in G(n,p)
Published
• View Publication
• BIB
Let X be the random variable that counts the number of triangles in the random graph G(n,p). We show that for some absolute constant c, the probability that X deviates from its expectation by at least λ\var(X)^{1/2} is at most e^{-cλ^2}, provided that n^{-1}(\ln n)^{10} \le p \le n^{-1/2}(\ln n)^{-10}, λ= ω(\ln n) and λ\le \min\{(np)^{1/2}, n^{-3/4}p^{-3/2}, n^{1/6}\}.