Showing 20 papers (Total: 82851 papers, 47869 authors in database)
Two identities of derangements
In this note, we present two new identities for derangements. As a corollary, we have a combinatorial proof of the irreducibility of the standard representation of symmetric groups.
Asymptotics for incidence matrix classes
Published
• View Publication
• BIB
We define {\em incidence matrices} to be zero-one matrices with no zero rows or columns. A classification of incidence matrices is considered for which conditions of symmetry by transposition, having no repeated rows/columns, or identification by permutation of rows/columns are imposed. We find asymptotics and relationships for the number of matrices with $n$ ones in these classes as $n\to\infty$.
Virtual Spatial Graphs
Published in Kobe J. Math., vol. 24, no. 2, 2007, pp. 67-85
• Search Publication
Two natural generalizations of knot theory are the study of spatially embedded graphs, and Kauffman's theory of virtual knots. In this paper we combine these approaches to begin the study of virtual spatial graphs.
Weighted Forms of Euler's Theorem
Published
• View Publication
• BIB
In answer to a question of Andrews about finding combinatorial proofs of two identities in Ramanujan's "Lost" Notebook, we obtain weighted forms of Euler's theorem on partitions with odd parts and distinct parts. This work is inspired by the insight of Andrews on the connection between Ramanujan's identities and Euler's theorem. Our combinatorial formulations of Ramanujan's identities rely on the notion of rooted partitions. Iterated Dyson's map and Sylvester's bijection are the main ingredients in the weighted forms of Euler's theorem.
Tropical Discriminants
Published
• View Publication
• BIB
Tropical geometry is used to develop a new approach to the theory of discriminants and resultants in the sense of Gel'fand, Kapranov and Zelevinsky. The tropical A-discriminant, which is the tropicalization of the dual variety of the projective toric variety given by an integer matrix A, is shown to coincide with the Minkowski sum of the row space of A and of the tropicalization of the kernel of A. This leads to an explicit positive formula for the extreme monomials of any A-discriminant, without any smoothness assumption.
Fiber fans and toric quotients
Published
• View Publication
• BIB
The GIT chamber decomposition arising from a subtorus action on a quasiprojective toric variety is a polyhedral complex. Denote by Sigma the fan that is the cone over the polyhedral complex. In this paper we show that the toric variety defined by the fan Sigma is the normalization of the toric Chow quotient of a closely related affine toric variety by a complementary torus.
On chromatic number of unit-quadrance graphs (finite Euclidean graphs)
The quadrance between two points A_1=(x_1, y_1) and A_2=(x_2, y_2) is the number Q (A_1, A_2) = (x_1 - x_2)^2 + (y_1 - y_2)^2. Let q be an odd prime power and F_q be the finite field with $q$ elements. The unit-quadrance graph D_q has the vertex set F_q^2, and X, Y in F_q^2 are adjacent if and only if Q(A_1, A_2) = 1. Let χ(F_q^2) be the chromatic number of graph D_q. In this note, we will show that q^{1/2}(1/2+o(1)) <= χ(F_q^2) <= q(1/2 + o(1)). As a corollary, we have a construction of triangle-free graphs D_q of order q^2 with χ(D_q) >= q/2 for infinitely many values of q.
Some Properties of Alphabet Overlap Graphs
Consider a graph G = G(k,d,s) with vertex set the set of all k-letter words over an alphabet of size d. An edge e = vw is in E iff v is distinct from w and the last(first) k-s letters of v are identical to the first(last) k-s letters of w. In this paper we show that G is Hamiltonian for all non-trivial values of the parameters and obtain exact values for its chromatic number when s is greater than or equal to k/2. We also obtain bounds when the chromatic number is less than k/2.
Congruences of Multinomial Lattices
We study the congruence lattices of the multinomial lattices L(v) introduced by Bennett and Birkhoff. Our main motivation is to investigate Parikh equivalence relations that model concurrent computation. We accomplish this goal by providing an explicit description of the join dependency relation between two join irreducible elements and of its reflexive transitive closure. The explicit description emphasizes several properties and makes it possible to separate the equational theories of multinomial lattices by their dimensions.
In their covering of non modular varieties Jipsen and Rose define a sequence of equations SD_{n}(\land), for n \geq 0. Our main result sounds as follows: if v = (v_{1},...,v_{n}) \in N^{n} and v_{i} > 0 for i = 1,..., n, then the multinomial lattice L(v) satisfies SD_{n-1}(\land) and fails SD_{n-2}(\land).
Schreier Sets in Ramsey Theory
Published
• View Publication
• BIB
We show that Ramsey theory, a domain presently conceived to guarantee the existence of large homogeneous sets for partitions on k-tuples of words (for every natural number k) over a finite alphabet, can be extended to one for partitions on Schreier-type sets of words (of every countable ordinal). Indeed, we establish an extension of the partition theorem of Carlson about words and of the (more general) partition theorem of Furstenberg-Katznelson about combinatorial subspaces of the set of words (generating from k-tuples of words for any fixed natural number k) into a partition theorem about combinatorial subspaces (generating from Schreier-type sets of words of order any fixed countable ordinal). Furthermore, as a result we obtain a strengthening of Carlson's infinitary Nash-Williams type (and Ellentuck type) partition theorem about infinite sequences of variable words into a theorem, in which an infinite sequence of variable words and a binary partition of all the finite sequences of words, one of whose components is, in addition, a tree, are assumed, concluding that all the Schreier-type finite reductions of an infinite reduction of the given sequence have a behavior determined by the Cantor-Bendixson ordinal index of the tree-component of the partition, falling in the tree-component above that index and in its complement below it.
A human proof for a generalization of Shalosh B. Ekhad's 10^n Lattice Paths Theorem
Consider lattice paths in Z^2 taking unit steps north (N) and east (E). Fix positive integers r,s and put an equivalence relation on points of Z^2 by letting v,w be equivalent if v - w = m (r,s) for some m in Z. Call a lattice path valid if whenever it enters a point v with an E-step, then any further points of the path in the class of v are also entered with an E-step. Loehr and Warrington conjectured that the number of valid paths from (0,0) to (nr,ns) is (r+s choose r)^n. We prove this conjecture when s = 2.
Minimal Primes Over Permanental Ideals
Published
• View Publication
• BIB
In this paper we discuss minimal primes over permanental ideals of generic matrices. We give a complete list of the minimal primes over ideals of 3 x 3 permanents of a generic matrix, and show that there are monomials in the ideal of maximal permanents of a d x 2d-1 matrix if the characteristic of the ground field is sufficiently large. We also discuss the Alon-Jaeger-Tarsi Conjecture, using our results and techniques to strenthen the previously known results.
Prefab posets` Whitney numbers
Published in Bull. Soc. Sci. Lett. Lodz, vol 60, (2005). 25-33
• Search Publication
We introduce a natural partial order in structurally natural finite subsets the cobweb prefabs sets recently constructed by the present author. Whitney numbers of the second kind of the corresponding subposet which constitute Stirling-like numbers` triangular array are then calculated and the explicit formula for them is provided. Next - in the second construction - we endow the set sums of prefabiants with such an another partial order that their their bell like numbers include fibonacci triad sequences introduced recently by the present author in order to extend famous relation between binomial newton coefficients and fibonacci numbers onto the infinity of their relatives among which there are also the fibonacci triad sequences and binomial-like coefficients (incidence coefficients included).
Enumeration schemes for restricted permutations
Published
• View Publication
• BIB
Zeilberger's enumeration schemes can be used to completely automate the enumeration of many permutation classes. We extend his enumeration schemes so that they apply to many more permutation classes and describe the Maple package WILFPLUS, which implements this process. We also compare enumeration schemes to three other systematic enumeration techniques: generating trees, substitution decompositions, and the insertion encoding.
Improved Pebbling Bounds
Published in Discrete Mathematics 308, 2301-2306, 2008
• View Publication
• BIB
Consider a configuration of pebbles distributed on the vertices of a connected graph of order $n$. A pebbling step consists of removing two pebbles from a given vertex and placing one pebble on an adjacent vertex. A distribution of pebbles on a graph is called solvable if it is possible to place a pebble on any given vertex using a sequence of pebbling steps. The pebbling number of a graph, denoted $f(G)$, is the minimal number of pebbles such that every configuration of $f(G)$ pebbles on $G$ is solvable. We derive several general upper bounds on the pebbling number, improving previous results.
Upward Three-Dimensional Grid Drawings of Graphs
Published in Order 23:1-20, 2006
• View Publication
• BIB
A \emph{three-dimensional grid drawing} of a graph is a placement of the vertices at distinct points with integer coordinates, such that the straight line segments representing the edges do not cross. Our aim is to produce three-dimensional grid drawings with small bounding box volume. We prove that every $n$-vertex graph with bounded degeneracy has a three-dimensional grid drawing with $O(n^{3/2})$ volume. This is the broadest class of graphs admiting such drawings. A three-dimensional grid drawing of a directed graph is \emph{upward} if every arc points up in the z-direction. We prove that every directed acyclic graph has an upward three-dimensional grid drawing with $(n^3)$ volume, which is tight for the complete dag. The previous best upper bound was $O(n^4)$. Our main result is that every $c$-colourable directed acyclic graph ($c$ constant) has an upward three-dimensional grid drawing with $O(n^2)$ volume. This result matches the bound in the undirected case, and improves the best known bound from $O(n^3)$ for many classes of directed acyclic graphs, including planar, series parallel, and outerplanar.
On the Coefficients of Primitive Normal polynomials
The previous paper [4] proved the existence of primitive polynomials and primitive normal polynomials of degree n with k prescribed coefficients in the finite field GF(q) for all sufficiently large q. This paper presents a loger versions of the result on primitve normal polynomials.
Noncrossing Trees and Noncrossing Graphs
Published
• View Publication
• BIB
We give a parity reversing involution on noncrossing trees that leads to a combinatorial interpretation of a formula on noncrossing trees and symmetric ternary trees in answer to a problem proposed by Hough. We use the representation of Panholzer and Prodinger for noncrossing trees and find a correspondence between a class of noncrossing trees, called proper oncrossing trees, and the set of symmetric ternary trees. The second result of this paper is a parity reversing involution on connected noncrossing graphs which leads to a relation between the number of noncrossing trees with a given number of edges and descents and the number of connected noncrossing graphs with a given number of vertices and edges.
Optimal Embeddings of Distance Regular Graphs into Euclidean Spaces
Published in J. Combin. Theory Ser. B 98 (2008), 95-104
• View Publication
• BIB
In this paper we give a lower bound for the least distortion embedding of a distance regular graph into Euclidean space. We use the lower bound for finding the least distortion for Hamming graphs, Johnson graphs, and all strongly regular graphs. Our technique involves semidefinite programming and exploiting the algebra structure of the optimization problem so that the question of finding a lower bound of the least distortion is reduced to an analytic question about orthogonal polynomials.
On diameter perfect constant-weight ternary codes
Published in Discrete Math. 308(14) 2008, 3104-3114
• View Publication
• BIB
From cosets of binary Hamming codes we construct diameter perfect constant-weight ternary codes with weight $n-1$ (where $n$ is the code length) and distances 3 and 5. The class of distance 5 codes has parameters unknown before. Keywords: constant-weight codes, ternary codes, perfect codes, diameter perfect codes, perfect matchings, Preparata codes