Showing 20 papers (Total: 82851 papers, 47869 authors in database)
Tutte's 5-Flow Conjecture for Highly Cyclically Connected Cubic Graphs
Published in Discrete Math. 310, 385 - 389 (2010)
• View Publication
• BIB
In 1954, Tutte conjectured that every bridgeless graph has a nowhere-zero 5-flow. Let $ω$ be the minimum number of odd cycles in a 2-factor of a bridgeless cubic graph. Tutte's conjecture is equivalent to its restriction to cubic graphs with $ω\geq 2$. We show that if a cubic graph $G$ has no edge cut with fewer than $ {5/2} ω- 1$ edges that separates two odd cycles of a minimum 2-factor of $G$, then $G$ has a nowhere-zero 5-flow. This implies that if a cubic graph $G$ is cyclically $n$-edge connected and $n \geq {5/2} ω- 1$, then $G$ has a nowhere-zero 5-flow.
Discrete differential geometry of triangle tiles and algebra of closed trajectories
This paper proposes a new mathematical framework that can be applied to biological problems such as analysis of the structures of proteins and protein complexes. In particular, it gives a new method for encoding the three-dimensional structure of a protein into a binary sequence, where proteins are approximated by a folded tetrahedron sequence. It also gives a new algebraic framework for describing molecular complexes and their interactions.
For simplicity, we shall explain the framework in the case of two-dimensional objects. Then, the binary code of a plane curve is obtained as the ``second derivative'' of the curve and ``fusion and fission'' of closed trajectories is described algebraically.
Duality and evolving set bounds on mixing times
Published in Expands on Chapter 4 of monograph "Mathematical Aspects of Mixing Times in Markov Chains" by Montenegro and Tetali, NOW Publishers, Boston-Delft, June 2006
• Search Publication
This survey is an in-depth development of the theoretical aspects of the method of Evolving Sets, a method which has been used in several of my papers. It is fairly esoteric as to a large degree it stems from my efforts to ascertain whether Evolving sets is provably stronger than other isoperimetric methods (answer: yes, with qualifications). For an introduction to the method please see Chapter 4 of my book "Mathematical aspects of mixing times in Markov chains" with Prasad Tetali, or the paper "Evolving sets, mixing and heat kernel bounds" by Morris and Peres.
Semicanonical basis generators of the cluster algebra of type $A_1^{(1)}$
Published
• View Publication
• BIB
We study the cluster variables and "imaginary" elements of the semicanonical basis for the coefficient-free cluster algebra of affine type $A_1^{(1)}$. A closed formula for the Laurent expansions of these elements was obtained by P.Caldero and the author in math.RT/0604054. As a by-product, there was given a combinatorial interpretation of the Laurent polynomials in question, equivalent to the one obtained by G.Musiker and J.Propp in math.CO/0602408. The arguments in math.RT/0604054 used a geometric interpretation of the Laurent polynomials due to P.Caldero and F.Chapoton (math.RT/0410184). This note provides a quick, self-contained and completely elementary alternative proof of the same results.
A generalized Cartan decomposition for the double coset space U(n_1) x U(n_2) x U(n_3)) U(n) / U(p) x U(q)
Published in Journal of Mathematical Society of Japan 59 (2007), pages 669-691,
• View Publication
• BIB
Motivated by recent developments on visible actions on complex manifolds, we raise a question whether or not the multiplication of three subgroups $L$, $G'$ and $H$ surjects a Lie group $G$ in the setting that $G/H$ carries a complex structure and contains $G'/G' \cap H$ as a totally real submanifold.
Particularly important cases are when $G/L$ and $G/H$ are generalized flag varieties, and we classify pairs of Levi subgroups $(L, H)$ such that $L G' H = G$, or equivalently, the real generalized flag variety $G'/H \cap G'$ meets every $L$-orbit on the complex generalized flag variety $G/H$ in the setting that $(G, G') = (U(n), O(n))$.
For such pairs $(L, H)$, we introduce a \textit{herringbone stitch} method to find a generalized Cartan decomposition for the double coset space $L \backslash G/H$, for which there has been no general theory in the non-symmetric case.
Our geometric results provides a unified proof of various multiplicity-free theorems in representation theory of general linear groups.
One Parameter Generalizations of the Fibonacci and Lucas Numbers
Published
• View Publication
• BIB
We give one parameter generalizations of the Fibonacci and Lucas numbers denoted by $\{F_n(þ)\}$ and $\{L_n(þ)\}$, respectively. We evaluate the Hankel determinants with entries $\{1/F_{j+k+1}(þ): 0\le i,j \le n\}$ and $\{1/L_{j+k+1}(þ): 0\le i,j\le n\}$. We also find the entries in the inverse of $\{1/F_{j+k+1}(þ): 0\le i,j \le n\}$ and show that all its entries are integers. Some of the identities satisfied by the Fibonacci and Lucas numbers are extended to more general numbers. All integer solutions to three diophantine equtions related to the Pell equation are also found.
An explicit construction for neighborly centrally symmetric polytopes
We give an explicit construction, based on Hadamard matrices, for an infinite series of floor{sqrt{d}/2}-neighborly centrally symmetric d-dimensional polytopes with 4d vertices. This appears to be the best explicit version yet of a recent probabilistic result due to Linial and Novik, who proved the existence of such polytopes with a neighborliness of d/400.
Color Degree Condition for Large Heterochromatic Matchings in Edge-Colored Bipartite Graphs
This paper has been withdrawn by the author(s), due an error in the proof.
Graph colourings, spaces of edges and spaces of circuits
Published
• View Publication
• BIB
By Lovasz' proof of the Kneser conjecture, the chromatic number of a graph G is bounded from below by the index of the Z_2-space Hom(K_2,G) plus two. We show that the cohomological index of Hom(K_2,G) is also greater than the cohomological index of the Z_2-space Hom(C_{2r+1}, G) for r>0. This gives a new and simple proof of the strong form of the graph colouring theorem by Babson and Kozlov, which had been conjectured by Lovasz, and at the same time shows that it never gives a stronger bound than can be obtained by Hom(K_2, G). The proof extends ideas introduced by Zivaljevic in a previous elegant proof of a special case. We then generalise the arguments and obtain conditions under which corresponding results hold for other graphs in place of C_{2r+1}. This enables us to find an infinite family of test graphs of chromatic number 4 among the Kneser graphs.
Our main new result is a description of the Z_2-homotopy type of the direct limit of the system of all the spaces Hom(C_{2r+1}, G) in terms of the Z_2-homotopy type of Hom(K_2, G). A corollary is that the coindex of Hom(K_2, G) does not exceed the coindex of Hom(C_{2r+1}, G) by more then one if r is chosen sufficiently large. Thus the graph colouring bound in the theorem by Babson & Kozlov is also never weaker than that from Lovasz' proof of the Kneser conjecture.
A Classification of Tightly Attached Half-Arc-Transitive Graphs of Valency 4
A graph is said to be {\em half-arc-transitive} if its automorphism group acts transitively on the set of its vertices and edges but not on the set of its arcs. With each half-arc-transitive graph of valency 4 a collection of the so called {\em alternating cycles} is associated, all of which have the same even length. Half of this length is called the {\em radius} of the graph in question. Moreover, any two adjacent alternating cycles have the same number of common vertices. If this number, the so called {\em attachment number}, coincides with the radius, we say that the graph is {\em tightly attached}. In {\em J. Combin. Theory Ser. B} {73} (1998) 41--76, Marušič gave a classification of tightly attached \hatr graphs of valency 4 with odd radius. In this paper the even radius tightly attached graphs of valency 4 are classified, thus completing the classification of all tightly attached half-arc-transitive graphs of valency 4.
Combinatorial Speculations and the Combinatorial Conjecture for Mathematics
Combinatorics is a powerful tool for dealing with relations among objectives mushroomed in the past century. However, an more important work for mathematician is to apply combinatorics to other mathematics and other sciences not merely to find combinatorial behavior for objectives. Recently, such research works appeared on journals for mathematics and theoretical physics on cosmos. The main purpose of this paper is to survey these thinking and ideas for mathematics and cosmological physics, such as those of multi-spaces, map geometries and combinatorial cosmoses, also the combinatorial conjecture for mathematics proposed by myself in 2005. Some open problems are included for the 21th mathematics by a combinatorial speculation.
On the unique representability of spikes over prime fields
Published in Discrete Math. 306(2006), 1798-1804
• View Publication
• BIB
For an integer $n>2$, a rank-$n$ matroid is called an $n$-spike if it consists of $n$ three-point lines through a common point such that, for all $k\in\{1, 2, ..., n - 1\}$, the union of every set of $k$ of these lines has rank $k+1$. Spikes are very special and important in matroid theory. In 2003 Wu found the exact numbers of $n$-spikes over fields with 2, 3, 4, 5, 7 elements, and the asymptotic values for larger finite fields. In this paper, we prove that, for each prime number $p$, a $GF(p$) representable $n$-spike $M$ is only representable on fields with characteristic $p$ provided that $n \ge 2p-1$. Moreover, $M$ is uniquely representable over $GF(p)$.
On the Frobenius Number of Fibonacci Numerical Semigroups
In this paper we compute the Frobenius number of certain {\em Fibonacci numerical semigroups}, that is, numerical semigroups generated by a set of Fibonacci numbers, in terms of Fibonacci numbers.
Signed permutations and the four color theorem
Published
• View Publication
• BIB
To each permutation $σ$ in $S_{n}$ we associate a triangulation of a fixed $(n+2)$-gon. We then determine the fibers of this association and show that they coincide with the sylvester classes depicted By Novelli, Hivert and Thibon. A signed version of this construction allows us to reformulate the four color theorem in terms of the existence of a signable path between any two permutations in the Cayley graph of the symmetric group $S_{n}.
On a conjecture of Deutsch, Sagan, and Wilson
We prove a recent conjecture due to Deutsch, Sagan, and Wilson stating that the finite sequence obtained from the first p central trinomial coefficients modulo p by replacing nonzero terms by 1's is palindromic, for any prime number p > 3.
Addendum: the result was proved before almost in the same way by Tony D. Noe:
On the Divisibility of Generalized Central Trinomial Coefficients,
Journal of Integer Sequences, Vol. 9 (2006), Article 06.2.7 http://www.cs.uwaterloo.ca/journals/JIS/VOL9/Noe/noe35.html
Toric geometry of cuts and splits
Published
• View Publication
• BIB
Associated to any graph is a toric ideal whose generators record relations among the cuts of the graph. We study these ideals and the geometry of the corresponding toric varieties. Our theorems and conjectures relate the combinatorial structure of the graph and the corresponding cut polytope to algebraic properties of the ideal. Cut ideals generalize toric ideals arising in phylogenetics and the study of contingency tables.
Irreducible triangulations of low genus surfaces
The complete sets of irreducible triangulations are known for the orientable surfaces with genus of 0, 1, or 2 and for the nonorientable surfaces with genus of 1, 2, 3, or 4. By examining these sets we determine some of the properties of these irreducible triangulations.
Tame homomorphisms of polytopal rings
Published in Beitrage Algebra Geom. 49 (2008), no 2, 315-323
• Search Publication
The object of this paper is the tameness conjecture which describes an arbitrary graded k-algebra homomorphism of polytopal rings. We give further evidence of this conjecture by showing supporting results concerning joins, multiples and products of polytopes.
Generating irreducible triangulations of surfaces
Starting with the irreducible triangulations of a fixed surface and splitting vertices, all the triangulations of the surface up to a given number of vertices can be generated. The irreducible triangulations have previously been determined for the surfaces S_0, S_1, N_1,and N_2. An algorithm is presented for generating the irreducible triangulations of a fixed surface using triangulations of other surfaces. This algorithm has been implemented as a computer program which terminates for S_1, S_2, N_1, N_2, N_3, and N_4. Thus the complete sets irreducible triangulations are now also known for S_2, N_3, and N_4, with respective cardinalities 396784, 9708, and 6297982.
Isotropic systems and the interlace polynomial
Through a series of papers in the 1980's, Bouchet introduced isotropic systems and the Tutte-Martin polynomial of an isotropic system. Then, Arratia, Bollobás, and Sorkin developed the interlace polynomial of a graph in [ABS00] in response to a DNA sequencing application. The interlace polynomial has generated considerable recent attention, with new results including realizing the original interlace polynomial by a closed form generating function expression instead of by the original recursive definition (see Aigner and van der Holst [AvdH04], and Arratia, Bollobás, and Sorkin [ABS04b]). Now, Bouchet [Bou05] recognizes the vertex-nullity interlace polynomial of a graph as the Tutte-Martin polynomial of an associated isotropic system. This suggests that the machinery of isotropic systems may be well-suited to investigating properties of the interlace polynomial. Thus, we present here an alternative proof for the closed form presentation of the vertex-nullity interlace polynomial using the machinery of isotropic systems. This approach both illustrates the intimate connection between the vertex-nullity interlace polynomial and the Tutte-Martin polynomial of an isotropic system and also provides a concrete example of manipulating isotropic systems. We also provide a brief survey of related work.