Showing 20 papers (Total: 82851 papers, 47869 authors in database)
Longest Induced Cycles on Cayley Graphs
In this paper we study the length of the longest induced cycle in the unitary Cayley graph $X_n = Cay(\mathbb Z_n; U_n)$, where $U_n$ is the group of units in $\mathbb Z_n$. Using residues modulo the primes dividing $n$, we introduce a representation of the vertices that reduces the problem to a purely combinatorial question of comparing strings of symbols. This representation allows us to prove that the multiplicity of each prime dividing $n$, and even the value of each prime (if sufficiently large) has no effect on the length of the longest induced cycle in $X_n$. We also see that if $n$ has $r$ distinct prime divisors, $X_n$ always contains an induced cycle of length $2^r+2$, improving the $r \ln r$ bound of Berrezbeitia and Giudici. Moreover, we extend our results for $X_n$ to conjunctions of complete $k_i$-partite graphs, where $k_i$ need not be finite, and also to unitary Cayley graphs on any quotient of a Dedekind domain.
Entropy of systolically extremal surfaces and asymptotic bounds
Published
• View Publication
• BIB
We find an upper bound for the entropy of a systolically extremal surface, in terms of its systole. We combine the upper bound with A. Katok's lower bound in terms of the volume, to obtain a simpler alternative proof of M. Gromov's asymptotic estimate for the optimal systolic ratio of surfaces of large genus. Furthermore, we improve the multiplicative constant in Gromov's theorem. We show that every surface of genus at least 20 is Loewner. Finally, we relate, in higher dimension, the isoembolic ratio to the minimal entropy.
Die Anzahl der Faerbungen ebener Graphen
Let G be a finite planar connected graph without loops or multiple edges. All minimal circuits except atmost one - say C* - are triangles. Let k be the number of vertices of C*. There are at least 2**(k-3) colorings of the vertices of G with four colors, vertices connected by edges colored differently. These colorings are different on C*.
Computation of Atomic Fibers of Z-Linear Maps
Published
• View Publication
• BIB
For given matrix $A\in\Z^{d\times n}$, the set $P^I_{A,b}=\{z:Az=b,z\in\Z^n_+\}$ describes the preimage or fiber of $b\in\Z^d$ under the $\Z$-linear map $f_A:\Z^n_+\to\Z^d$, $x\mapsto Ax$. The fiber $P^I_{A,b}$ is called atomic, if $P^I_{A,b}=P^I_{A,b_1}+P^I_{A,b_2}$ implies $b=b_1$ or $b=b_2$. In this paper we present a novel algorithm to compute such atomic fibers. An algorithmic solution to appearing subproblems, application to integer programming, and computational examples are included as well.
Continuous Time Markov Processes on Graphs
Published
• View Publication
• BIB
We study continuous time Markov processes on graphs. The notion of frequency is introduced, which serves well as a scaling factor between any Markov time of a continuous time Markov process and that of its jump chain. As an application, we study ``multi-person simple random walks'' on a graph G with n vertices. There are n persons distributed randomly at the vertices of G. In each step of this discrete time Markov process, we randomly pick up a person and move it to a random adjacent vertex. We give estimate on the expected number of steps for these $n$ persons to meet all together at a specific vertex, given that they are at different vertices at the begininng. For regular graphs, our estimate is exact.
The complex of words and Nakaoka stability
Published in Homology, Homotopy and Applications, Vol. 7(2005), No. 1, pp. 77-85
• View Publication
• BIB
We give a new simple proof of the exactness of the complex of injective words and use it to prove Nakaoka's homology stability for symmetric groups. The methods are generalized to show acyclicity in low degrees for the complex of words in general position.
The smallest eigenvalue of K_p-free graphs
We give an upper bound on the smallest eigenvalue of the adjacency matrix of graphs with no p-cliques.
Joints in graphs
In 1969 Erdoes found a lower bound on the number of (r+1)-cliques sharing an edge in graphs with n vertices and t(r,n)+1 edges, where t(r,n) is the size of the Turan graph of order n and r color classes. We improve Erdoes's bound and prove a related stability result.
The sum of degrees in cliques
We investigate lower bounds on the average degree in r-cliques in graphs of order n and size greater than t(r,n), where t(r,n) is the size of the Turan graph on n vertices and r color classes. Continuing earlier research of Edwards and Faudree, we completely prove a conjecture of Bollobas and Erdoes from 1975.
Applicability of the $q$-Analogue of Zeilberger's Algorithm
The applicability or terminating condition for the ordinary case of Zeilberger's algorithm was recently obtained by Abramov. For the $q$-analogue, the question of whether a bivariate $q$-hypergeometric term has a $qZ$-pair remains open. Le has found a solution to this problem when the given bivariate $q$-hypergeometric term is a rational function in certain powers of $q$. We solve the problem for the general case by giving a characterization of bivariate $q$-hypergeometric terms for which the $q$-analogue of Zeilberger's algorithm terminates. Moreover, we give an algorithm to determine whether a bivariate $q$-hypergeometric term has a $qZ$-pair.
Weighted 2-Motzkin Paths
Published
• View Publication
• BIB
This paper is motivated by two problems recently proposed by Coker on combinatorial identities related to the Narayana polynomials and the Catalan numbers. We find that a bijection of Chen, Deutsch and Elizalde can be used to provide combinatorial interpretations of the identities of Coker when it is applied to weighted plane trees. For the sake of presentation of our combinatorial correspondences, we provide a description of the bijection of Chen, Deutsch and Elizalde in a slightly different manner in the form of a direct construction from plane trees to 2-Motzkin paths without the intermediate step involving the Dyck paths.
Old and young leaves on plane trees
Published
• View Publication
• BIB
A leaf of a plane tree is called an old leaf if it is the leftmost child of its parent, and it is called a young leaf otherwise. In this paper we enumerate plane trees with a given number of old leaves and young leaves. The formula is obtained combinatorially by presenting two bijections between plane trees and 2-Motzkin paths which map young leaves to red horizontal steps, and old leaves to up steps plus one. We derive some implications to the enumeration of restricted permutations with respect to certain statistics such as pairs of consecutive deficiencies, double descents, and ascending runs. Finally, our main bijection is applied to obtain refinements of two identities of Coker, involving refined Narayana numbers and the Catalan numbers.
The cover pebbling theorem
For any configuration of pebbles on the nodes of a graph, a pebbling move replaces two pebbles on one node by one pebble on an adjacent node. A cover pebbling is a move sequence ending with no empty nodes. The number of pebbles needed for a cover pebbling starting with all pebbles on one node is trivial to compute and it was conjectured that the maximum of these simple cover pebbling numbers is indeed the general cover pebbling number of the graph. That is, for any configuration of this size, there exists a cover pebbling. In this note, we prove a generalization of the conjecture. All previously published results about cover pebbling numbers for special graphs (trees, hypercubes etcetera) are direct consequences of this theorem. We also prove that the cover pebbling number of a product of two graphs equals the product of the cover pebbling numbers of the graphs.
Fibonacci connection between Huffman codes and Wythoff array
Fibonacci connection between non-decreasing sequences of positive integers producing maximum height Huffman trees and the Wythoff array has been proved.
A Broken Circuit Ring
Given a matroid M represented by a linear subspace L in n-space (equivalently by an arrangement of n hyperplanes in L), we define a graded ring R(L) which degenerates to the Stanley-Reisner ring of the broken circuit complex for any choice of ordering of the ground set. In particular, R(L) is Cohen-Macaulay, and may be used to compute the h-vector of the broken circuit complex of M. We give a geometric interpretation of Spec R(L), as well as a stratification indexed by the flats of M.
On Euler numbers modulo powers of two
Published
• View Publication
• BIB
To determine Euler numbers modulo powers of two seems to be a difficult task. In this paper we achieve this and apply the explicit congruence to give a new proof of a classical result due to M. A. Stern.
Betti Numbers of Graph Ideals
In this thesis we investigate certain types of monomial ideals of polynomial rings over fields. We are interested in minimal free resolutions of these ideals (or equivalently the quotients of the polynomial ring by the ideals) considered as modules over the polynomial ring. There is no simple method of finding such resolutions but in the case of Stanley-Reisner ideals Hochster's formula and its variants provide a way to compute the Betti numbers of these resolutions.
Even with these formulae it is not in general possible to find especially explicit or useful descriptions of the Betti numbers. However we restrict our attention to those ideals which are generated by square free monomials of degree 2. The purpose of this is to associate these ideals with graphs. This provides a link between algebraic objects, the monomial ideals, and combinatorial objects, the graphs. This correspondence enables us do define new numerical invariants of graphs: the Betti numbers and projective dimension of the corresponding graph ideals.
We find explicit descriptions of the Betti numbers and projective dimensions of cycles and forests. In the case of forests we find a method of describing the Betti numbers in terms of the Betti numbers of subforests. This also leads to a description of the projective dimension of a forests in terms of the projective dimensions of its subforests.
It turns out that the projective dimension of forests can be defined in purely combinatorial terms and hence it gives a new combinatorial numerical invariant of forests.
Integer Polynomial Optimization in Fixed Dimension
Published in Mathematics of Operations Research 31 (2006), no. 1, 147-153
• View Publication
• BIB
We classify, according to their computational complexity, integer optimization problems whose constraints and objective functions are polynomials with integer coefficients and the number of variables is fixed. For the optimization of an integer polynomial over the lattice points of a convex polytope, we show an algorithm to compute lower and upper bounds for the optimal value. For polynomials that are non-negative over the polytope, these sequences of bounds lead to a fully polynomial-time approximation scheme for the optimization problem.
An Investigation of the Chung-Feller Theorem
In this paper, we shall prove the Chung-Feller Theorem in several ways. We provide an inductive proof, bijective proof, and proofs using generating functions, and the Cycle Lemma of Dvoretzky and Motzkin.
Equality of Schur and skew Schur functions
Published in Ann. Comb. 9:355--362 (2005)
• View Publication
• BIB
We determine the precise conditions under which any skew Schur function is equal to a Schur function over both infinitely and finitely many variables.