Showing 20 papers (Total: 83190 papers, 48060 authors in database)
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}\}.
A new counting methods, including the issue of counting labelled self-complementary graphs
Harary and Palmer announced an enumeration problem of labelled self-complementary graphs at the end of their book (Graphical Enumeration, Academic Press, New York and London, 1973). This paper resolves this problem. A method for solving this problem leads to the derivation of following formulas: (a) A formula on the number of labelled graphs with the given order of automorphism groups of those graphs. (b) A formula on the number of unlabelled graphs with the given order of automorphism groups of those graphs. (c) A formula on the number of labelled self-complementary graphs with the given order of automorphism groups of those graphs. (d) A formula on the number of unlabelled self-complementary graphs with the given order of automorphism groups of those graphs.
Generating All Partitions: A Comparison Of Two Encodings
Integer partitions may be encoded as either ascending or descending compositions for the purposes of systematic generation. Many algorithms exist to generate all descending compositions, yet none have previously been published to generate all ascending compositions. We develop three new algorithms to generate all ascending compositions and compare these with descending composition generators from the literature. We analyse the new algorithms and provide new and more precise analyses for the descending composition generators. In each case, the ascending composition generation algorithm is substantially more efficient than its descending composition counterpart. We develop a new formula for the partition function p(n) as part of our analysis of the lexicographic succession rule for ascending compositions.
On the number of Latin squares
Published in B. D. McKay and I. M. Wanless, On the number of Latin squares, Ann. Combin. 9 (2005) 335-344
• View Publication
• BIB
We (1) determine the number of Latin rectangles with 11 columns and each possible number of rows, including the Latin squares of order~11, (2) answer some questions of Alter by showing that the number of reduced Latin squares of order $n$ is divisible by $f!$ where $f$ is a particular integer close to $\frac12n$, (3) provide a formula for the number of Latin squares in terms of permanents of $(+1,-1)$-matrices, (4) find the extremal values for the number of 1-factorisations of $k$-regular bipartite graphs on $2n$ vertices whenever $1\leq k\leq n\leq11$, (5) show that the proportion of Latin squares with a non-trivial symmetry group tends quickly to zero as the order increases.
The exact spread of M12 is 9
Let G be a group. We say that G has spread r if for any set of distinct non-trivial elements {x1,...,xr}\subset G there exists an element y\in G with the property that <xi, y> = G for every 1 0<i<r+1. The group G has exact spread r if it has spread r but not r + 1. The case where G is a finite simple group is particularly interesting since it is known that in this case the spread is at least 2. The precise value of the exact spread of a simple group is known in very few cases. Here we determine the precise value of the exact spread in the smallest sporadic group for which this is still unknown, the Mathieu group M12.
Stable group theory and approximate subgroups
Published
• View Publication
• BIB
We note a parallel between some ideas of stable model theory and certain topics in finite combinatorics related to the sum-product phenomenon. For a simple linear group G, we show that a finite subset X with |X X \^{-1} X |/ |X| bounded is close to a finite subgroup, or else to a subset of a proper algebraic subgroup of G. We also find a connection with Lie groups, and use it to obtain some consequences suggestive of topological nilpotence. Combining these methods with Gromov's proof, we show that a finitely generated group with an approximate subgroup containing any given finite set must be nilpotent-by-finite. Model-theoretically we prove the independence theorem and the stabilizer theorem in a general first-order setting.
Free Knos are Not Invertible
By using parity arguments we prove that free knots are, generally, not invertible.