Showing 20 papers (Total: 81378 papers, 47165 authors in database)
Regenerative Composition Structures
Published
• View Publication
• BIB
A new class of random composition structures (the ordered analog of Kingman's partition structures) is defined by a regenerative description of component sizes. Each regenerative composition structure is represented by a process of random sampling of points from an exponential distribution on the positive halfline, and separating the points into clusters by an independent regenerative random set. Examples are composition structures derived from residual allocation models, including one associated with the Ewens sampling formula, and composition structures derived from the zero set of a Brownian motion or Bessel process. We provide characterisation results and formulas relating the distribution of the regenerative composition to the L{é}vy parameters of a subordinator whose range is the corresponding regenerative set. In particular, the only reversible regenerative composition structures are those associated with the interval partition of $[0,1]$ generated by excursions of a standard Bessel bridge of dimension $2 - 2 α$ for some $α\in [0,1]$.
Defining equations of subspace arrangements embedded in reflection arrangements
Published in Int. Math. Res. Not. 2004, no. 15, 713-727
• View Publication
• BIB
We give explicit generators for ideals of two classes of subspace arrangements embedded in certain reflection arrangements, generalizing results of Li-Li and Kleitman-Lovasz. We also give minimal generators for the ideals of arrangements that arise in a natural way from the p-skeleton of an n-dimensional cube and discuss conditions under which the generators that we give form a Groebner basis.
Enumeration of totally positive Grassmann cells
Published
• View Publication
• BIB
Alex Postnikov has given a combinatorially explicit cell decomposition of the totally nonnegative part of a Grassmannian, denoted Gr_{kn}+, and showed that this set of cells is isomorphic as a graded poset to many other interesting graded posets. The main result of this paper is an explicit generating function which enumerates the cells in Gr_{kn}+ according to their dimension. As a corollary, we give a new proof that the Euler characteristic of Gr_{kn}+ is 1. Additionally, we use our result to produce a new q-analog of the Eulerian numbers, which interpolates between the Eulerian numbers, the Narayana numbers, and the binomial coefficients.
Distance-regular graphs, pseudo primitive idempotents, and the Terwilliger algebra
Published
• View Publication
• BIB
Let $Γ$ denote a distance-regular graph with diameter $D\geq 3$ and Bose-Mesner algebra $M$. For $θ\in C\cup \infty$ we define a 1 dimensional subspace of $M$ which we call $M(θ)$. If $θ\in C$ then $M(θ)$ consists of those $Y$ in $M$ such that $(A-θI)Y\in C A_D$, where $A$ (resp. $A_D$) is the adjacency matrix (resp. $D$th distance matrix) of $Γ.$ If $θ= \infty$ then $M(θ)= C A_D$. By a {\it pseudo primitive idempotent} for $θ$ we mean a nonzero element of $M(θ)$. We use pseudo primitive idempotents to describe the irreducible modules for the Terwilliger algebra, that are thin with endpoint one.
Distributive Lattices, Bipartite Graphs and Alexander Duality
Published
• View Publication
• BIB
A certain squarefree monomial ideal $H_P$ arising from a finite partially ordered set $P$ will be studied from viewpoints of both commutative algebra and combinatorics. First, it is proved that the defining ideal of the Rees algebra of $H_P$ possesses a quadratic Gröbner basis. Thus in particular all powers of $H_P$ have linear resolutions. Second, the minimal free graded resolution of $H_P$ will be constructed explicitly and a combinatorial formula to compute the Betti numbers of $H_P$ will be presented. Third, by using the fact that the Alexander dual of the simplicial complex $Δ$ whose Stanley--Reisner ideal coincides with $H_P$ is Cohen--Macaulay, all the Cohen--Macaulay bipartite graphs will be classified.
Discrete Polymatroids
Published
• View Publication
• BIB
The discrete polymatroid is a multiset analogue of the matroid. Based on the polyhedral theory on integral polymatroids developed in late 1960's and in early 1970's, in the present paper the combinatorics and algebra on discrete polymatroids will be studied.
Path counting and random matrix theory
Published
• View Publication
• BIB
We establish three identities involving Dyck paths and alternating Motzkin paths, whose proofs are based on variants of the same bijection. We interpret these identities in terms of closed random walks on the halfline. We explain how these identities arise from combinatorial interpretations of certain properties of the $β$-Hermite and $β$-Laguerre ensembles of random matrix theory. We conclude by presenting two other identities obtained in the same way, for which finding combinatorial proofs is an open problem.
Dirac's theorem on chordal graphs and Alexander duality
Published
• View Publication
• BIB
By using Alexander duality on simplicial complexes we give a new and algebraic proof of Dirac's theorem on chordal graphs.
o-bounded groups and other topological groups with strong combinatorial properties
Published in Proceedings of the American Mathematical Society 134 (2006), 881--891
• View Publication
• BIB
We construct several topological groups with very strong combinatorial properties. In particular, we give simple examples of subgroups of the real line R (thus strictly o-bounded) which have the Hurewicz property but are not sigma-compact, and show that the product of two o-bounded subgroups of R^N may fail to be o-bounded, even when they satisfy the stronger property S1(Borel_Omega,Borel_Omega). This solves a problem of Tkacenko and Hernandez, and extends independent solutions of Krawczyk and Michalewski and of Banakh, Nickolas, and Sanchis. We also construct separable metrizable groups G of size continuum such that every countable Borel omega-cover of G contains a gamma-cover of G.
Products of special sets of real numbers
Published in Real Analysis Exchange 30 (2004/5), 819--836
• View Publication
• BIB
We describe a simple machinery which translates results on algebraic sums of sets of reals into the corresponding results on their cartesian product. Some consequences are:
1. The product of a meager/null-additive set and a strong measure zero/strongly meager set in the Cantor space has strong measure zero/is strongly meager, respectively.
2. Using Scheepers' notation for selection principles: Sfin(Omega,Omega^gp)\cap S1(O,O)=S1(Omega,Omega^gp), and Borel's Conjecture for S1(Omega,Omega) (or just S1(Omega,Omega^gp)) implies Borel's Conjecture.
These results extend results of Scheepers and Miller, respectively.
A vector partition function for the multiplicities of sl_k(C)
Published
• View Publication
• BIB
We use Gelfand-Tsetlin diagrams to write down the weight multiplicity function for the Lie algebra sl_k(C) (type A_{k-1}) as a single partition function. This allows us to apply known results about partition functions to derive interesting properties of the weight diagrams. We relate this description to that of the Duistermaat-Heckman measure from symplectic geometry, which gives a large-scale limit way to look at multiplicity diagrams. We also provide an explanation for why the weight polynomials in the boundary regions of the weight diagrams exhibit a number of linear factors. Using symplectic geometry, we prove that the partition of the permutahedron into domains of polynomiality of the Duistermaat-Heckman function is the same as that for the weight multiplicity function, and give an elementary proof of this for sl_4(C) (A_3).
Gauss-Manin connections for arrangements, III Formal connections
Published in Trans. Amer. Math. Soc. 357 (2005), 3031-3050
• View Publication
• BIB
We study the Gauss-Manin connection for the moduli space of an arrangement of complex hyperplanes in the cohomology of a complex rank one local system. We define formal Gauss-Manin connection matrices in the Aomoto complex and prove that, for all arrangements and all local systems, these formal connection matrices specialize to Gauss-Manin connection matrices.
Singular locally-scalar representations of quivers in Hilbert spaces and separating functions
Published
• View Publication
• BIB
A numeric function $ρ$: $ρ(k)=1+\frac{k-1}{k+1}, k \in N$ was considered in [1]. In its terms criterions of finite representability and tameness of marked quivers, posets with equivalence and dyadic posets can be obtained; Dynkin schemes and extended schemes also can be characterized.
In this paper authors consider the connection of function $ρ$ with locally-scalar representations [2] of extended Dynkin graphs. Then a family of functions $ρ_n$ is defined -- a generalization of function $ρ$, which plays an analogous part for more wide class of graphs. Also some properties of functions $ρ$ and $ρ_k$ are proved.
References
[1] L.A. Nazarova, A.V. Roiter. {\it Norm of a relation, separating functions and representations of marked quivers.} Ukr. Math. Jour., 54(2002), No.6, p.808-840.
[2] S.A. Kruglyak, A.V. Roiter. {\it Locally-scalar representations of graphs in the category of Hilbert spaces.} Prepr. Ukr. Math. Jour. (2003).
Properties of parallelotopes equivalent to Voronoi's conjecture
Published
• View Publication
• BIB
A parallelotope is a polytope whose translation copies fill space without gaps and intersections by interior points. Voronoi conjectured that each parallelotope is an affine image of the Dirichlet domain of a lattice, which is a Voronoi polytope. We give several properties of a parallelotope and prove that each of them is equivalent to it is an affine image of a Voronoi polytope.
Once more about the 52 four-dimensional parallelotopes
Published
• View Publication
• BIB
There are several works \cite{De} (and \cite{St}), \cite{En}, \cite{Co} and \cite{Va} enumerating four-dimensional parallelotopes. In this work we give a new enumeration showing that any four-dimensional parallelotope is either a zonotope or the Minkowski sum of a zonotope with the regular 24-cell $\{3,4,3\}$. Each zonotopal parallelotope is the Minkowski sum of segments whose generating vectors form a unimodular system. There are exactly 17 four-dimensional unimodular systems. Hence, there are 17 four-dimensional zonotopal parallelotopes. Other 35 four-dimensional parallelotopes are: the regular 24-cell $\{3,4,3\}$ and 34 sums of the regular parallelotope with non-zero zonotopal parallelotopes. For the nontrivial enumerating of the 34 sums we use a theorem discribing necessary and sufficient conditions when the Minkowski sum of a parallelotope with a segment is a parallelotope.
Sum-free sets in abelian groups
Published
• View Publication
• BIB
Let A be a subset of an abelian group G. We say that A is sum-free if there do not exist x,y and z in A satisfying x + y = z.
We determine, for any G, the cardinality of the largest sum-free subset of G. This equals c(G)|G| where c(G) is a constant depending on G and lying in the interval [2/7,1/2].
We also estimate the number of sum-free subsets of G. It turns out that log_2 of this number is c(G)|G| + o(|G|), which is tight up to the o-term. For certain abelian groups, those whose order is divisible by a small prime of the form 3k + 2, we can obtain an asymptotic for the number of sum-free sets.
Nombre de factorisations d'un grand cycle
We give a short proof, based on symmetric function theory, of a formula due to Goupil and Schaeffer, counting the number of factorizations of a cycle of maximal length in the symmetric group, into the product of two permutations of given conjugacy classes.
Notes on Fibonacci Partitions
Published in Experimental Mathematics, 25:4, 482-499 (2016)
• View Publication
• BIB
Let $f_1=1,f_2=2$ and $f_i=f_{i-1}+f_{i-2}$ for $i>2$ be the sequence of Fibonacci numbers. Let $Φ_h(n)$ be the quantity of partitions of natural number $n$ into $h$ different Fibonacci numbers. In terms of Zeckendorf partition of $n$ I deduce a formula for the function $Φ(n;t):=\sum_{h\geq 1}Φ_h(n)t^h$, and use it to analyze the functions $F(n):=Φ(n;1)$ and $χ(n):=Φ(n;-1)$. I obtain the least upper bound for $F(n)$ when $f_i-1\<n\<f_{i+1}-1$. It implies that $F(n)\<\sqrt{n+1}$ for any natural $n$.
I prove also that $|χ(n)|\<1$, and $\mathop{\lim}\limits_{N\to\infty}\frac{1}{N} \left(χ^2(1)+χ^2(2)\dptχ^2(N)\right)=0$.
For any $k\>2$, I define a special finite set $\mathbb{G}(k)$ of solutions of the equation $F(n)=k$, all solutions can be easily obtained from $\mathbb{G}(k)$. This construction uses a representation of rational numbers as certain continued fractions and provides with a canonical identification $\coprod_{k\>2}\mathbb{G}(k)=\G_+$, where $\G_+$ is the monoid freely generated by the positive rational numbers $<1$.
Let $Ψ(k)$ be the cardinality of $\mathbb{G}(k)$. I prove that, for $i\>2k$ and $k\>2$, the interval $[f_i-1,f_{i+1}-1]$ contains exactly $2Ψ(k)$ solutions of the equation $F(n)=k$ and offer a formula for the Dirichlet generating function of the sequence $Ψ(k)$. I formulate conjectures on the set of minimal solutions of the equations $F(n)=k$ as $k$ varies and pose some questions concerning such solutions.
LS-Galleries, the path model and MV-cycles
Published
• View Publication
• BIB
We give an interpretation of the path model of a representation \cite{Lit1} of a complex semisimple algebraic group $G$ in terms of the geometry of its affine Grassmannian. In this setting, the paths are replaced by LS--galleries in the affine Coxeter complex associated to the Weyl group of $G$. To explain the connection with geometry, consider a Demazure--Hansen--Bott--Samelson desingularization $\hatΣ(\lam)$ of the closure of an orbit $G(\bc[[t]]).\lam$ in the affine Grassmannian. The homology of $\hatΣ(\lam)$ has a basis given by Białynicki--Birula cell's, which are indexed by the $T$--fixed points in $\hatΣ(\lam)$. Now the points of $\hatΣ(\lam)$ can be identified with galleries of a fixed type in the affine Tits building associated to $G$, and the $T$--fixed points correspond in this language to combinatorial galleries of a fixed type in the affine Coxeter complex. We determine those galleries such that the associated cell has a non-empty intersection with $G(\bc[[t]]).\lam$ (identified with an open subset of $\hatΣ(\lam)$), and we show that the closures of the strata associated to LS-galleries are exactly the MV--cycles \cite{MV}, which form a basis of the representation $V(\lam)$ for the Langland's dual group $G^\vee$.
Graphs with no $2δ+ 1$ cycle
Dirac proved that any graph with minimum vertex degree $δ$ contains either a cycle of length at least $2δ$ or a Hamilton cycle. Motivated by this result, we characterize those graphs having no cycle longer than $2δ$.