Showing 20 papers (Total: 82851 papers, 47869 authors in database)
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.
Simplicial complexes associated to certain subsets of natural numbers and its applications to multiplicative functions
We call a set of positive integers closed under taking unitary divisors a unitary ideal. It can be regarded as a simplicial complex. Moreover, a multiplicative arithmetical function on such a set corresponds to a function on the simplicial complex with the property that the value on a face is the product of the values at the vertices of that face. We use this observation to solve the following problems:
1) Let r be a positive integer and c a real number. What is the maximum value that \sum_{s \in S}g(s) can obtain when S is a unitary ideal containing precisely r prime powers, and g is the multiplicative function determined by g(s)=c when s \in S is a prime power?
2) Suppose that g is a multiplicative function which is \ge 1, and that we want to find the maximum of g(i) when 1 \le i \le n. At how many integers do we need to evaluate g?
Representation functions of additive bases for abelian semigroups
Published in Int. Journal of Math. Math. Sci. (2004), 29-32
• View Publication
• BIB
Let X = S \oplus G, where S is a countable abelian semigroup and G is a countably infinite abelian group such that {2g : g in G} is infinite. Let pi: X \to G be the projection map defined by pi(s,g) = g for all x =(s,g) in X. Let f:X \to N_0 cup infty be any map such that the set pi(f^{-1}(0)) is a finite subset of G. Then there exists a set B contained in X such that r_B(x) = f(x) for all x in X, where the representation function r_B(x) counts the number of sets {x',x''} contained in B such that x' \neq x'' and x'+x''=x. In particular, every function f from the integers Z into N_0 \cup infty such that f^{-1}(0) is finite is the representation function of an asymptotic basis for Z.
Counting occurrences of 132 in an even permutation
Published
• View Publication
• BIB
We study the generating function for the number of even (or odd) permutations on n letters containing exactly $r\gs0$ occurrences of 132. It is shown that finding this function for a given r amounts to a routine check of all permutations in $S_{2r}$.
Restricted permutations and queue jumping
Published
• View Publication
• BIB
A connection between permutations that avoid 4231 and a certain queueing discipline is established. It is proved that a more restrictive queueing discipline corresponds to avoiding both 4231 and 42513, and enumeration results for such permutations are given.
A general notion of visiblity graphs
Published
• View Publication
• BIB
We define a natural class of graphs by generalizing prior notions of visibility, allowing the representing regions and sightlines to be arbitrary. We consider mainly the case of compact connected representing regions, proving two results giving necessary properties of visibility graphs, and giving some examples of classes of graphs that can be so represented. Finally, we give some applications of the concept, and we provide potential avenues for future research in the area.
Avoidable sets in groups
In a set equipped with a binary operation, (S,*), a subset U is defined to be avoidable if there exists a partition {A,B} of S such that no element of U is the product of two distinct elements of A or of two distinct elements of B. For more than two decades, avoidable sets in the natural numbers (under addition) have been studied by renowned mathematicians such as Erdos, and a few families of sets have been shown to be avoidable in that setting. In this paper we investigate the generalized notion of an avoidable set and determine the avoidable sets in several families of groups; previous work in this field considered only the case (S, *) = (N, +).
Determining a connected split reductive group from its irreducible representations
Published
• View Publication
• BIB
We show that a connected split reductive group G over a field of characteristic 0 is uniquely determined up to isomorphism by specifying a maximal torus T of G, the set of isomorphism classes of irreducible representations of G, and the character homomorphism from the Grothendieck ring of G to that of T.