Showing 20 papers (Total: 82851 papers, 47869 authors in database)
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δ$.
Euler Maclaurin with remainder for a simple integral polytope
Published
• View Publication
• BIB
We give an Euler Maclaurin formula with remainder for the sum of the values of a smooth function on the integral points in a simple integral polytope. This formula is proved by elementary methods.
A mixed hook-length formula for affine Hecke algebras
Published in European J. Combinatorics 25 (2004), 1345-1376
• View Publication
• BIB
Consider the affine Hecke algebra $H_l$ corresponding to the group $GL_l$ over a $p$-adic field with the residue field of cardinality $q$. Regard $H_l$ as an associative algebra over the field $C(q)$. Consider the $H_{l+m}$-module $W$ induced from the tensor product of the evaluation modules over the algebras $H_l$ and $H_m$. The module $W$ depends on two partitions $λ$ of $l$ and $μ$ of $m$, and on two non-zero elements of the field $C(q)$. There is a canonical operator $J$ acting on $W$, it corresponds to the trigonometric $R$-matrix. The algebra $H_{l+m}$ contains the finite dimensional Hecke algebra of rank $l+m$ as a subalgebra, and the operator $J$ commutes with the action of this subalgebra on $W$. Under this action, $W$ decomposes into irreducible subspaces according to the Littlewood-Richardson rule. We compute the eigenvalues of $J$, corresponding to certain multiplicity-free irreducible components of $W$. In particular, we give a formula for the ratio of two eigenvalues of $J$, corresponding to the ``highest'' and the ``lowest'' components. As an application, we derive the well known $q$-analogue of the hook-length formula for the number of standard tableaux of shape $λ$.
Rayleigh Matroids
Published
• View Publication
• BIB
Motivated by a property of linear resistive electrical networks, we introduce the class of Rayleigh matroids. This is a subclass of the balanced matroids introduced by Feder and Mihail [FM] in 1992. We prove a variety of results relating Rayleigh matroids to other well-known classes -- in particular, we show that a binary matroid is Rayleigh if and only if it does not contain S_8 as a minor. This has the consequence that a binary matroid is balanced if and only if it is Rayleigh, and provides the first complete proof in print that S_8 is the only minor-minimal binary non-balanced matroid, as claimed in [FM]. We also give an example of a balanced matroid which is not Rayleigh.
Quotients of a Universal Locally Projective Polytope of type {5,3,5}
Published
• View Publication
• BIB
This article examines the universal polytope $\CP$ (of type $\{5,3,5\}$) whose facets are dodecahedra, and whose vertex figures are hemi-icosahedra. The polytope is proven to be finite, and the structure of its group is identified. This information is used to classifiy the quotients of the polytope. A total of 145 quotients are found, including 69 section regular polytopes with the same facets and vertex figures as $\CP$.
Two linear transformations each tridiagonal with respect to an eigenbasis of the other; an overview
Let $K$ denote a field and let $V$ denote a vector space over $K$ with finite positive dimension. We consider an ordered pair of linear transformations $A:V\to V$ and $A^*:V\to V$ that satisfy conditions (i), (ii) below.
(i) There exists a basis for $V$ with respect to which the matrix representing $A$ is irreducible tridiagonal and the matrix representing $A^*$ is diagonal.
(ii) There exists a basis for $V$ with respect to which the matrix representing $A$ is diagonal and the matrix representing $A^*$ is irreducible tridiagonal.
We call such a pair a Leonard pair on $V$. We give an overview of the theory of Leonard pairs.
The Number of Hierarchical Orderings
Published in Order, 21 (2004), 83-89
• View Publication
• BIB
An ordered set-partition (or preferential arrangement) of n labeled elements represents a single ``hierarchy''; these are enumerated by the ordered Bell numbers. In this note we determine the number of ``hierarchical orderings'' or ``societies'', where the n elements are first partitioned into m <= n subsets and a hierarchy is specified for each subset. We also consider the unlabeled case, where the ordered Bell numbers are replaced by the composition numbers. If there is only a single hierarchy, we show that the average rank of an element is asymptotic to n/(4 log 2) in the labeled case and to n/4 in the unlabeled case.
Compression and Erdos-Ko-Rado graphs
Published
• View Publication
• BIB
For a graph G and integer r\geq 1 we denote the collection of independent r-sets of G by I^{(r)}(G). If v\in V(G) then I_v^{(r)}(G) is the collection of all independent r-sets containing v. A graph G, is said to be r-EKR, for r\geq 1, iff no intersecting family A\subseteq I^{(r)}(G) is larger than max_{v\in V(G)}|I^{(r)}_v(G)|. There are various graphs which are known to have this property: the empty graph of order n\geq 2r (this is the celebrated Erdos-Ko-Rado theorem), any disjoint union of at least r copies of K_t for t\geq 2, and any cycle. In this paper we show how these results can be extended to other classes of graphs via a compression proof technique.
In particular we show that any disjoint union of at least r complete graphs, each of order at least two, is r-EKR. We also show that paths are r-EKR for all r\geq 1.