Showing 20 papers (Total: 81378 papers, 47165 authors in database)
Sums over Graphs and Integration over Discrete Groupoids
Published in Applied Categorical Structures, Vol. 14, No. 4 (2006), 313-350
• View Publication
• BIB
We show that sums over graphs such as appear in the theory of Feynman diagrams can be seen as integrals over discrete groupoids. From this point of view, basic combinatorial formulas of the theory of Feynman diagrams can be interpreted as pull-back or push-forward formulas for integrals over suitable groupoids.
The cd-index of the Boolean lattice
We study some properties of the {\bf cd}-index of the Boolean lattice. They are extremely similar to the properties of the {\ab}-index, or equivalently, the flag $h$-vector of the Boolean lattice and hence may be viewed as their {\bf cd}-analogues. We define a different algebra structure on the polynomial algebra $k < \cv, \dv>$ and give a derivation on this algebra. It is of significance for the Boolean lattice and forms our main tool. Using similar methods, we also prove some results for the {\bf cd}-index of the cubical lattice. We show that the Dehn-Sommerville relations for the flag $f$-vector of an Eulerian poset are equivalent to certain simple identities that exist in our algebra.
Generalized bivariate Fibonacci polynomials
We define generalized bivariate polynomials, from which upon specification of initial conditions the bivariate Fibonacci and Lucas polynomials are obtained. Using essentially a matrix approach we derive identities and inequalities that in most cases generalize known results.
Enumerating the Prime Alternating Knots, Part II
This is the second of a part series devoted to enumerating prime alternating knots and links. In Part I, we introduced four operators on knots and showed that if these operators are applied to the set of all prime alternating knots of n crossings, the set of all prime alternating knots of n+1 crossings is obtained. In this paper, we explain how to actually implement the operators in an efficient manner. This relies on a complete invariant that we have introduced, called the master array for a prime alternating knot.
By December 1, 1999, we had successfully run an early implementation of the algorithms described in Part II on the UWO Compaq ES-40 48 node beowulf cluster to produce the 40,619,385 prime alternating knots of 19 crossings. At that time, we did not utilize memory very efficiently, and we were not able to continue further, since the number of prime alternating knots is increasing roughly by a factor of 5 with each increase in crossing size at these levels. We have subsequently made very big improvements both in memory utilization and in the amount of work that must be done.
Enumerating the Prime Alternating Knots, Part I
This is the first in a series of four papers wherein we enumerate all prime alternating knots and links. In this first paper, we introduce four operators on knots and show that, when used according to very simple rules on the prime alternating knots of n crossings, the set of all prime alternating knots of n+1 crossings is obtained. The second paper (Part II) explains how to actually implement the operators in an efficient manner, although that is in a sense secondary to introduction of a complete invariant for prime alternating knots, called the master array of a prime alternating knot. The third paper in the series establishes a method for enumerating the prime alternating links. It is shown that one may choose any prime alternating link diagram of a given minimal crossing size and by applications of just two operators (namely T and OTS) to the selected seed link, one obtains all prime alternating link diagrams of the desired minimal crossing size. The fourth paper introduces the analogue of the master array for prime alternating links.
Intersecting Families of Separated Sets
Published
• View Publication
• BIB
We prove a conjecture due to Holroyd and Johnson that an analogue of the Erdos-Ko-Rado theorem holds for k-separated sets. In particular this determines the independence number of the vertex-critical subgraph of the Kneser graph identified by Schrijver, the collection of separated sets.
On graph coloring check-digit method
Published
• View Publication
• BIB
We show a method how to convert any graph into the binary number and vice versa. We derive upper bound for maximum number of graphs, that, have fixed number of vertices and can be colored with n colors (n is any given number). Proof for the result is outlined. Next, graph coloring based check-digit scheme is proposed. We use quantitative result derived, to show, that feasibility of the proposed scheme increases with size of the number which digits are checked, and overall probability of digits errors.
q-Narayana numbers and the flag h-vector of $J({\bf 2} \times {\bf n})$
Published in Discrete Math. 281 (2004), no. 1-3, 67--81
• Search Publication
The Narayana numbers are $N(n,k) = {1 \over n}{n \choose k}{n \choose {k+1}}$. There are several natural statistics on Dyck paths with a distribution given by N(n,k). We show the equidistribution of Narayana statistics by computing the flag h-vector of $J({\bf 2} \times {\bf n})$ in different ways. In the process we discover new Narayana statistics and provide co-statistics for which the Narayana statistics in question have a distribution given by Fürlinger and Hofbauers q-Narayana numbers. We also interpret the h-vector in terms of semi-standard Young tableaux, which enables us to express the q-Narayana numbers in terms of Schur functions.
Schubert Polynomials and Quiver Formulas
Published in Duke Math Journal, Volume 122, Issue 1, 125-143 (2004)
• View Publication
• BIB
The work of Buch and Fulton established a formula for a general kind of degeneracy locus associated to an oriented quiver of type $A$. The main ingredients in this formula are Schur determinants and certain integers, the quiver coefficients, which generalize the classical Littlewood-Richardson coefficients. Our aim in this paper is to prove a positive combinatorial formula for the quiver coefficients when the rank conditions defining the degeneracy locus are given by a permutation. In particular, this gives new expansions for Fulton's universal Schubert polynomials and the Schubert polynomials of Lascoux and Schützenberger.
On alternative approach for verifiable secret sharing
Secret sharing allows split/distributed control over the secret (e.g. master key). Verifiable secret sharing (VSS) is the secret sharing extended by verification capacity.
Usually verification comes at the price. We propose "free lunch", the approach that allows to overcome this inconvenience.
Counting Lattice Triangulations
Published
• View Publication
• BIB
We discuss the problem to count, or, more modestly, to estimate the number f(m,n) of unimodular triangulations of the planar grid of size $m\times n$.
Among other tools, we employ recursions that allow one to compute the (huge) number of triangulations for small m and rather large n by dynamic programming; we show that this computation can be done in polynomial time if m is fixed, and present computational results from our implementation of this approach.
We also present new upper and lower bounds for large m and n, and we report about results obtained from a computer simulation of the random walk that is generated by flips.
On ASGS framework: general requirements and an example of implementation
Published
• View Publication
• BIB
In the paper we propose general framework for Automatic Secret Generation and Sharing (ASGS) that should be independent of underlying secret sharing scheme. ASGS allows to prevent the dealer from knowing the secret or even to eliminate him at all. Two situations are discussed. First concerns simultaneous generation and sharing of the random, prior nonexistent secret. Such a secret remains unknown until it is reconstructed. Next, we propose the framework for automatic sharing of a known secret. In this case the dealer does not know the secret and the secret owner does not know the shares. We present opportunities for joining ASGS with other extended capabilities, with special emphasize on PVSS and proactive secret sharing. Finally, we illustrate framework with practical implementation.
Keywords: cryptography, secret sharing, data security, extended capabilities, extended key verification protocol
Castelnuovo-Mumford regularity by approximation
Published in Adv. Math. 188 (2004), no. 1, 104-123
• View Publication
• BIB
The Castelnuovo-Mumford regularity of a module gives a rough measure of its complexity. We bound the regularity of a module given a system of approximating modules whose regularities are known. Such approximations can arise naturally for modules constructed by inductive combinatorial means. We apply these methods to bound the regularity of ideals constructed as combinations of linear ideals and the module of derivations of a hyperplane arrangement as well as to give degree bounds for invariants of finite groups.
Loops, matchings and alternating-sign matrices
Published in Discr. Math. 298 (2005) 365-388
• Search Publication
The appearance of numbers enumerating alternating sign matrices in stationary states of certain stochastic processes is reviewed. New conjectures concerning nest distribution functions are presented as well as a bijection between certain classes of alternating sign matrices and lozenge tilings of hexagons with cut off corners.
The sigma-sequence and counting occurrences of some patterns, subsequences and subwords
We consider sigma-words, which are words used by Evdokimov in the construction of the sigma-sequence. We then find the number of occurrences of certain patterns and subwords in these words.
The Rogers--Ramanujan recursion and intertwining operators
Published in Comm. Contemporary Math. (5) (2003), 947-966
• View Publication
• BIB
We use vertex operator algebras and intertwining operators to study certain substructures of standard $A_1^{(1)}$--modules, allowing us to conceptually obtain the classical Rogers--Ramanujan recursion. As a consequence we recover Feigin-Stoyanovsky's character formulas for the principal subspaces of the level 1 standard $A_1^{(1)}$--modules.
Resonant local systems on complements of discriminantal arrangements and sl_2 representations
Published in Geom. Dedicata 101 (2003), 217-234
• View Publication
• BIB
We calculate the skew-symmetric cohomology of the complement of a discriminantal hyperplane arrangement with coefficients in local systems arising in the context of the representation theory of the Lie algebra sl_2. For a discriminantal arrangement in C^k, the skew-symmetric cohomology is nontrivial in dimension k-1 precisely when the "master function" which defines the local system on the complement has nonisolated critical points. In symmetric coordinates, the critical set is a union of lines. Generically, the dimension of this nontrivial skew-symmetric cohomology group is equal to the number of critical lines.
Statistics of non-interacting bosons and fermions in micro-canonical, canonical and grand-canonical ensembles: A survey
The statistical properties of non-interacting bosons and fermions confined in trapping potentials are most easily obtained when the system may exchange energy and particles with a large reservoir (grand-canonical ensemble). There are circumstances, however, where the system under consideration may be considered as being isolated (micro-canonical ensemble). This paper first reviews results relating to micro-canonical ensembles. Some of them were obtained a long time ago, particularly by Khinchin in 1950. Others were obtained only recently, often motivated by experimental results relating to atomic confinement. A number of formulas are reported for the first time in the present paper. Formulas applicable to the case where the system may exchange energy but not particles with a reservoir (canonical ensemble) are derived from the micro-canonical ensemble expressions. The differences between the three ensembles tend to vanish in the so-called Thermodynamics limit, that is, when the number of particles and the volume go to infinity while the particle number density remains constant. But we are mostly interested in systems of moderate size, often referred to as being mesoscopic, where the grand-canonical formalism is not applicable. The mathematical results rest primarily on the enumeration of partitions of numbers.
Decomposing Hessenberg varieties over classical groups
Hessenberg varieties are a family of subvarieties of the flag variety, including the Springer fibers, the Peterson variety, and the entire flag variety itself. The seminal example arises from a problem in numerical analysis and consists for a fixed linear operator M of the full flags V_1 \subsetneq V_2 >... \subsetneq V_n in GL_n with M V_i contained in V_{i+1} for all i.
In this paper I show that all Hessenberg varieties in type A_n and semisimple and regular nilpotent Hessenberg varieties in types B_n,C_n, and D_n can be paved by affine spaces. Moreover, this paving is the intersection of a particular Bruhat decomposition with the Hessenberg variety. In type A_n, an equivalent description of the cells of the paving in terms of certain fillings of a Young diagram can be used to compute the Betti numbers of Hessenberg varieties. As an example, I show that the Poincare polynomial of the Peterson variety in A_n is \sum_{i =0}^{n-1} \binom{n-1}{i} x^{2i}.
Sturmian Words and the Permutation that Orders Fractional Parts
Published in J. Algebraic Combin. 19 (2004), no. 1, 91--115.
• View Publication
• BIB
A Sturmian word is a map W from the natural numbers into {0,1} for which the set of {0,1}-vectors F_n(W):={(W(i),W(i+1),...,W(i+n-1))^T : i \ge 0} has cardinality exactly n+1 for each positive integer n. Our main result is that the volume of the simplex whose n+1 vertices are the n+1 points in F_n(W) does not depend on W. Our proof of this motivates studying algebraic properties of the permutation $π$ (depending on an irrational x and a positive integer n) that orders the fractional parts {1 x}, {2 x}, ..., {n x}, i.e., 0 < {π(1) x} < {π(2) x} < ... < {π(n) x} < 1. We give a formula for the sign of $π$, and prove that for every irrational x there are infinitely many n such that the order of $π$ (as an element of the symmetric group S_n) is less than n.