Showing 20 papers (Total: 81378 papers, 47165 authors in database)
Eigenvalues and homology of flag complexes and vector representations of graphs
Published
• View Publication
• BIB
Let X(G) denote the flag complex of a graph G=(V,E) on n vertices. We study relations between the first eigenvalues of successive higher Laplacians of X(G). One consequence is the following result: Let λ_2(G) denote the second smallest eigenvalue of the Laplacian of G. If λ_2(G)> \frac{kn}{k+1} then the real k-th reduced cohomology group H^k(X(G)) is zero. Applications include a lower bound on the homological connectivity of the independent sets complex I(G), in terms of a new graph domination parameter Γ(G) defined via certain vector representations of G. This in turns implies a Hall type theorem for systems of disjoint representatives in hypergraphs.
On refined enumerations of some symmetry classes of ASMs
Published in Theor.Math.Phys.141:1609-1630,2004; Teor.Mat.Fiz.141:323-347,2004
• View Publication
• BIB
Using determinant representations for partition functions of the corresponding square ice models and the method proposed recently by one of the authors, we investigate refined enumerations of vertically symmetric alternating-sign matrices, off-diagonally symmetric alternating-sign matrices and alternating-sign matrices with U-turn boundary. For all these cases the explicit formulas for refined enumerations are found. It particular, Kutin-Yuen conjecture is proved.
Unifom chains of small transfinite rank
We extend F.Pastjin's construction of uniform decomposable chains of finite rank to those of rank 'finite over a limit' and investigate infinite products and unions of such chains. We derive an extension of Pastjin's characterisation to uniform decomposable chains of small transfinite rank (less than or equal to 'omega+omega'). We conclude by indicating how the resulting descriptions can be iterated to chains of rank 'omega to the omega', and beyond.
Buchsbaum Stanley--Reisner rings with minimal multiplicity
Published
• View Publication
• BIB
In this paper, we study non-Cohen--Macaulay Buchsbaum Stanley--Reisner rings with linear free resolution. In particular, for given integers $c$, $d$, $q$ with $c \ge 1$, $2 \le q \le d$, we give an upper bound $h_{c,d,q}$ on the dimension of the unique non-vanishing homology $\widetilde{H}_{q-2}(Δ;k)$ of a $d$-dimensional Buchsbaum ring $k[Δ]$ with $q$-linear resolution and codimension $c$. Also, we discuss about existence for such Buchsbaum rings with $\dim_k \widetilde{H}_{q-2}(Δ;k) = h$ for any $h$ with $0 \le h \le h_{c,d,q}$, and prove an existence theorem in the case of $q=d=3$ using the notion of Cohen--Macaulay linear cover. On the other hand, we introduce the notion of Buchsbaum Stanley--Reisner rings with minimal multiplicity of type $q$, which extends the notion of Buchsbaum rings with minimal multiplicity defined by Goto. As an application, we give many examples of Buchsbaum Stanley--Reisner rings with $q$-linear resolution.
Hierarchical Dobinski-type relations via substitution and the moment problem
Published in J.Phys.A:Math.Gen.37 (2004)3475-3487
• View Publication
• BIB
We consider the transformation properties of integer sequences arising from the normal ordering of exponentiated boson ([a,a*]=1) monomials of the form exp(x (a*)^r a), r=1,2,..., under the composition of their exponential generating functions (egf). They turn out to be of Sheffer-type. We demonstrate that two key properties of these sequences remain preserved under substitutional composition: (a)the property of being the solution of the Stieltjes moment problem; and (b) the representation of these sequences through infinite series (Dobinski-type relations). We present a number of examples of such composition satisfying properties (a) and (b). We obtain new Dobinski-type formulas and solve the associated moment problem for several hierarchically defined combinatorial families of sequences.
Nonintersecting Subspaces Based on Finite Alphabets
Published in IEEE Trans. Inform. Theory 51 (2005), 4320-4325
• View Publication
• BIB
Two subspaces of a vector space are here called ``nonintersecting'' if they meet only in the zero vector. The following problem arises in the design of noncoherent multiple-antenna communications systems. How many pairwise nonintersecting M_t-dimensional subspaces of an m-dimensional vector space V over a field F can be found, if the generator matrices for the subspaces may contain only symbols from a given finite alphabet A subseteq F? The most important case is when F is the field of complex numbers C; then M_t is the number of antennas. If A = F = GF(q) it is shown that the number of nonintersecting subspaces is at most (q^m-1)/(q^{M_t}-1), and that this bound can be attained if and only if m is divisible by M_t. Furthermore these subspaces remain nonintersecting when ``lifted'' to the complex field. Thus the finite field case is essentially completely solved. In the case when F = C only the case M_t=2 is considered. It is shown that if A is a PSK-configuration, consisting of the 2^r complex roots of unity, the number of nonintersecting planes is at least 2^{r(m-2)} and at most 2^{r(m-1)-1} (the lower bound may in fact be the best that can be achieved).
The On-Line Encyclopedia of Integer Sequences
Published in Notices American Math. Soc., Vol. 50 (Sept. 2003), 912-915
• Search Publication
This article gives a brief introduction to the On-Line Encyclopedia of Integer Sequences (or OEIS). The OEIS is a database of nearly 90,000 sequences of integers, arranged lexicographically. The entry for a sequence lists the initial terms (50 to 100, if available), a description, formulae, programs to generate the sequence, references, links to relevant web pages, and other information.
Continuous and discontinuous phase transitions in hypergraph processes
Published
• View Publication
• BIB
Let V denote a set of N vertices. To construct a "hypergraph process", create a new hyperedge at each event time of a Poisson process; the cardinality K of this hyperedge is random, with arbitrary probability generating function r(x), except that we assume P(K=1) +P(K=2) > 0. Given K=k, the k vertices appearing in the new hyperedge are selected uniformly at random from V. Hyperedges of cardinality 1 are called patches, and serve as a way of selecting root vertices. Identifiable vertices are those which are reachable from these root vertices, in a strong sense which generalizes the notion of graph component. Hyperedges are also called identifiable if all of their vertices are identifiable. We use "fluid limit" scaling: hyperedges arrive at rate N, and we study structures of size O(1) and O(N). After division by N, numbers of identifiable vertices and reducible hyperedges exhibit phase transitions, which may be continuous or discontinuous depending on the shape of the structure function -log(1 - x)/r'(x), for x in (0,1). Both the case P(K=1) > 0 and the case P(K=1) = 0 < P(K=2) are considered; for the latter, a single extraneous patch is added to mark the root vertex.
Labelled and unlabelled enumeration of $k$-gonal 2-trees
Published in Journal of Combinatorial Theory, Series A, 106 (2004), 193-219.
• View Publication
• BIB
In this paper, we generalize 2-trees by replacing triangles by quadrilaterals, pentagons or $k$-sided polygons ($k$-gons), where $k\geq 3$ is fixed. This generalization, to $k$-gonal 2-trees, is natural and is closely related, in the planar case, to some specializations of the cell-growth problem. Our goal is the labelled and unlabelled enumeration of $k$-gonal 2-trees according to the number $n$ of $k$-gons. We give explicit formulas in the labelled case, and, in the unlabelled case, recursive and asymptotic formulas.
An uncertainty inequality for finite abelian groups
Published
• View Publication
• BIB
Let G be a finite abelian group of order n. For a complex valued function f on G, let \fht denote the Fourier transform of f. The uncertainty inequality asserts that if f \neq 0 then |supp(f)| |supp(\fht)| \geq n. Answering a question of Terence Tao, the following improvement of the classical inequality is shown: Let d_1<d_2 be two consecutive divisors of n. If d_1 \leq k=|supp(f)| \leq d_2 then: |supp(\fht)| \geq \frac{n(d_1+d_2-k)}{d_1 d_2}
On Non-Squashing Partitions
Published in Discrete Math. 294 (2005), 259-274
• View Publication
• BIB
A partition n = p_1 + p_2 + ... + p_k with 1 <= p_1 <= p_2 <= ... <= p_k is called non-squashing if p_1 + ... + p_j <= p_{j+1} for 1 <= j <= k-1. Hirschhorn and Sellers showed that the number of non-squashing partitions of n is equal to the number of binary partitions of n. Here we exhibit an explicit bijection between the two families, and determine the number of non-squashing partitions with distinct parts, with a specified number of parts, or with a specified maximal part. We use the results to solve a certain box-stacking problem.
On Simple Characterisations of Sheffer psi- polynomials and Related Propositions of the Calculus of Sequences
Published in Bull. Soc. Sci. Lett. Lodz Ser. Rech. Deform. 52, Ser. Rech. Deform. 36 (2002) pp.45-65
• Search Publication
A calculus of sequences started in 1936 opened the way for future extensions of umbral calculus in its finite operator form. Because of historically established notation we call it the psi-calculus.It appears in parts to be almost automatic extension of the standard classical finite operator calculus.
Correlation functions of the shifted Schur measure
Published in J. Math. Soc. Japan, vol.57, no. 3 (2005), 619--637
• View Publication
• BIB
The shifted Schur measure introduced by Tracy and Widom is a measure on the set of all strict partitions, which is defined by Schur $Q$-functions. The main aim of this paper is to calculate the correlation function of this measure, which is given by a pfaffian. As an application, we prove that a limit distribution of $λ_j$'s with respect to a shifted version of the Plancherel measure for symmetric groups is identical with the corresponding distribution of the original Plancherel measure. Further we give expressions of the mean value and the variance of the size of a partition with respect to the measure defined by Hall-Littlewood functions.
Research problem: The completion number of a graph
Published
• View Publication
• BIB
Motivated by the remarkable interplay between (chordal) graphs and matrix algebra, we associate to each graph a so-called completion number that might encode some aspects of that interplay. We show that this number is not trivial, and we ask for a graph theoretic characterization of those graphs with a given completion number.
Symmetric functions and the phase problem in crystallography
Published in Transactions of the American Math. Society, 357 (2005), 2353-2377.
• View Publication
• BIB
The calculation of crystal structure from X-ray diffraction data requires that the phases of the ``structure factors'' (Fourier coefficients) determined by scattering be deduced from the absolute values of those structure factors. Motivated by a question of Herbert Hauptman, we consider the problem of determining phases by direct algebraic means in the case of crystal structures with $n$ equal atoms in the unit cell, with $n$ small. We rephrase the problem as a question about multiplicative invariants for a particular finite group action. We show that the absolute values form a generating set for the field of invariants of this action, and consider the problem of making this theorem constructive and practical; the most promising approach for deriving explicit formulas uses SAGBI bases.
Applications of Minor Summation Formula III, Plucker Relations, Lattice Paths and Pfaffian Identities
Published in J. Combin. Theory Ser. A. 113, (2006) 113-155
• View Publication
• BIB
The initial purpose of this paper is to provide a combinatorial proof of the minor summation formula of Pfaffians based on the lattice path method. There we related Plücker relations with the minor summation formula of Pfaffians to simplify its proof by lattice paths. The second aim is to find a various applications of the minor summation formula. First we studied a variant of the Sundquist formula established in J. Alg. Combin. {\bf 5} (1996). Next we gave a simple proof of Kawanaka's formula concerning a $q$-series identity involving Schur functions in Osaka J. Math. {\bf 36} (1999). We also establish a certain identity similar to the Kawanaka formula, and give a combinatorial proof of the determinant version of his formula in Osaka J. Math. {\bf 38} (2001).
The combinatorics of a three-line circulant determinant
Published
• View Publication
• BIB
We study the determinant of the pxp circulant matrix whose first row is (1,-x,0,...,0,-y,0,...,0), the -y being in position q+1. The coefficients of this polynomial are integers that count certain classes of permutations. We show that all of the permutations that contribute to a fixed monomial x^ry^s have the same sign, and we determine that sign. We prove that a monomial x^ry^s appears if and only if p divides r+sq. Finally, we show that the size of the largest coefficient of the monomials that appear grows exponentially with p. We do this by proving that the permanent of the circulant whose first row is (1,1,0,...,0,1,0,...,0) is the sum of the absolute values of the coefficients of the monomials in the original determinant.
Zeros of Symmetric Laurent Polynomials of Type $(BC)_n$ and Koornwinder-Macdonald Polynomials Specialized at $t^{k+1}q^{r-1}=1$
Published
• View Publication
• BIB
A characterization of the space of symmetric Laurent polynomials of type $(BC)_n$ which vanish on a certain set of submanifolds is given by using the Koornwinder-Macdonald polynomials. A similar characterization was given previously for symmetric polynomials of type $A_n$ by using the Macdonald polynomials. We use a new method which exploits the duality relation. The method simplifies a part of the proof in the $A_n$ case.
The combinatorics of orbital varieties closures of nilpotent order 2 in sl(n)
Published in Electronic Journal of Combinatorics, vol. 12(1), 2005, R21
• View Publication
• BIB
We consider two partial orders on standard Young tableaux. The first one is induced from the weak right Bruhat order on symmetric group by Robinson-Schensted algorithm. The second one is induced from the order on Young diagrams by considering a Young tableau as a chain of Young diagrams. We show that these two orders of completely different nature coincide on the subset of Young tableaux with 2 columns or with 2 rows. This fact has very interesting geometric implications for orbital varieties of nilpotent order 2 in sl(n).
Bijective Proofs for "Enumerative Properties of Ferrers Graphs"
Recently, Ehrenborg and Van Willenburg defined a class of bipartite graphs that correspond naturally to Ferrers diagrams, and proved several results about them. We give bijective proofs for the (already known) expressions for the number of spanning trees and (where applicable) Hamiltonian paths of these graphs.
Their paper can be found at http://www.ms.uky.edu/~jrge/Papers/Ferrers_graphs.pdf .