Showing 20 papers (Total: 81623 papers, 47312 authors in database)
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.
Entropy And Vision
In vector quantization the number of vectors used to construct the codebook is always an undefined problem, there is always a compromise between the number of vectors and the quantity of information lost during the compression. In this text we present a minimum of Entropy principle that gives solution to this compromise and represents an Entropy point of view of signal compression in general. Also we present a new adaptive Object Quantization technique that is the same for the compression and the perception.
A quasisymmetric function for matroids
Published
• View Publication
• BIB
A new isomorphism invariant of matroids is introduced, in the form of a quasisymmetric function. This invariant (1) defines a Hopf morphism from the Hopf algebra of matroids to the quasisymmetric functions, which is surjective if one uses rational coefficients, (2) is a multivariate generating function for integer weight vectors that give minimum total weight to a unique base of the matroid, (3) is equivalent, via the Hopf antipode, to a generating function for integer weight vectors which keeps track of how many bases minimize the total weight, (4) behaves simply under matroid duality, (5) has a simple expansion in terms of P-partition enumerators, and (6) is a valuation on decompositions of matroid base polytopes.
This last property leads to an interesting application: it can sometimes be used to prove that a matroid base polytope has no decompositions into smaller matroid base polytopes. Existence of such decompositions is a subtle issue arising in work of Lafforgue, where lack of such a decomposition implies the matroid has only a finite number of realizations up to projective equivalence.
Counting and Computing by $e$
Published in M. Hassani, Derangements and Applications, Journal of Integer Sequences (JIS), Volume 6, Issue 1, Article 03.1.2, 2003. M. Hassani, Cycles in graphs and derangements, Math. Gaz. 88 (March 2004) pp. 123-126
• Search Publication
In this paper we count the number of paths and cycles in complete graphs by using the number $e$. Also, we compute the number of derangements in same way. Connection by $e$ yields some nice formulas for the number of derangements, such as $D_n=\lfloor\frac{n!+1}{e}\rfloor$ and $D_n=\lfloor(e+e^{-1})n!\rfloor-\lfloor en!\rfloor$, and using these relations allow us to compute some incomplete gamma functions and hypergeometric summations; these connections are hidden in the heart of a nice polynomial that we call it derangement function and a simple ordinary differential equation concerning it.
Negative Examples for Sequential Importance Sampling of Binary Contingency Tables
The sequential importance sampling (SIS) algorithm has gained considerable popularity for its empirical success. One of its noted applications is to the binary contingency tables problem, an important problem in statistics, where the goal is to estimate the number of 0/1 matrices with prescribed row and column sums. We give a family of examples in which the SIS procedure, if run for any subexponential number of trials, will underestimate the number of tables by an exponential factor. This result holds for any of the usual design choices in the SIS algorithm, namely the ordering of the columns and rows. These are apparently the first theoretical results on the efficiency of the SIS algorithm for binary contingency tables. Finally, we present experimental evidence that the SIS algorithm is efficient for row and column sums that are regular. Our work is a first step in determining the class of inputs for which SIS is effective.
Groups of type L_2(q) acting on polytopes
Published
• View Publication
• BIB
We prove that if G is a string C-group of rank 4 and G is isomorphic to L_2(q) with q a prime power, then q must be 11 or 19. The polytopes arising are Grunbaum's 11-cell of type {3,5,3} for L_2(11) and Coxeter's 57-cell of type {5,3,5} for L_2(19), each a locally projective regular 4-polytope.
New upper bounds on the chromatic number of a graph
We outline some ongoing work related to a conjecture of Reed \cite{reed97} on $ω$, $Δ$, and $χ$. We conjecture that the complement of a counterexample $G$ to Reed's conjecture has connectivity on the order of $\log(|G|)$. We prove that this holds for a family (parameterized by $ε> 0$) of relaxed bounds; the $ε= 0$ limit of which is Reed's upper bound.
Unavoidable Parallel Minors of 4-Connected Graphs
Published
• View Publication
• BIB
A parallel minor is obtained from a graph by any sequence of edge contractions and parallel edge deletions. We prove that, for any positive integer k, every internally 4-connected graph of sufficiently high order contains a parallel minor isomorphic to a variation of K_{4,k} with a complete graph on the vertices of degree k, the k-partition triple fan with a complete graph on the vertices of degree k, the k-spoke double wheel, the k-spoke double wheel with axle, the (2k+1)-rung Mobius zigzag ladder, the (2k)-rung zigzag ladder, or K_k. We also find the unavoidable parallel minors of 1-, 2-, and 3-connected graphs.
On the K-theory of graph C*-algebras
Published
• View Publication
• BIB
We classify graph C*-algebras, namely, Cuntz-Krieger algebras associated to the Bass-Hashimoto edge incidence operator of a finite graph. This is done by a purely graph theoretical calculation of the K-theory and the position of the unit therein.