Showing 20 papers (Total: 82851 papers, 47869 authors in database)
Linear colorings of simplicial complexes and collapsing
Published
• View Publication
• BIB
A vertex coloring of a simplicial complex $Δ$ is called a linear coloring if it satisfies the property that for every pair of facets $(F_1, F_2)$ of $Δ$, there exists no pair of vertices $(v_1, v_2)$ with the same color such that $v_1\in F_1\backslash F_2$ and $v_2\in F_2\backslash F_1$. We show that every simplicial complex $Δ$ which is linearly colored with $k$ colors includes a subcomplex $Δ'$ with $k$ vertices such that $Δ'$ is a strong deformation retract of $Δ$. We also prove that this deformation is a nonevasive reduction, in particular, a collapsing.
Note on Laplace operators and homologies of a few Lie subalgebras of $A_1^{(1)}$
We investigate a spectrum of positive self-adjoint operator $\Gk$ (Laplace operator) acting in the external complexes of some interesting subalgebras $\Lk$ of Lie algebra $A_1^{(1)}$. We obtain an explicit formula for the action of $\G_k$. This formula is used to compute the homology of $\Lk$ with trivial coefficients for $k=-1,0,1,2$. In these cases we show that a spectrum of $\G_k$ is the set of non-negative integers with a finite multiplicity of each eigenvalue for $k=-1,0$, infinite one for $k=1,2$. We also found the generating functions for the multiplicities of $\G_k$-eigenvalues (in appropriate sense for $\G_1$ and $\G_2$).
Filtering bases and cohomology of nilpotent subalgebras of Witt and $\widetilde{sl}_2$ Lie algebras
Published
• View Publication
• BIB
We study the cohomology with trivial coefficients of Lie algebras L_k of the polynomial vector fields on the line with zero $k$-jet, (k>=1), and the cohomology of the similar subalgebras {L}_k of the polynomial loops algebra $\widetilde{sl}_2$. In both cases we construct the special bases (filtering bases) in the external complexes of these algebras. A spectral sequence based on this construction allows to completely find the cohomology of L_k and {L}_k. We also apply the filtering bases to find the spectral resolution of the Laplace operators for algebras L_1 and L_0, and obtain explicit formulas for the representing cycles of homologies for algebras L_k and {L}_k by means of the Schur polynomials.
Crystal bases and combinatorics of infinite rank quantum groups
Published
• View Publication
• BIB
The tensor powers of the vector representation associated to an infinite rank quantum group decompose into irreducible components with multiplicities independant of the infinite root system considered. Although the irreducible modules obtained in this way are not of highest weight, they admit a crystal basis and a canonical basis. This permits in particular to obtain for each familly of classical Lie algebras a Robinson-Schensted correspondence on biwords defined on infinite alphabets. We then depict a structure of bi-crystal on these bi-words. This RS-correspondence yields also a plactic algebra and plactic Schur functions distinct for each infinite root system. Surprisingly, the algebras spanned by these plactic Schur functions are all isomorphic to the algebra of symmetric functions.
Enumeration of non-orientable 3-manifolds using face pairing graphs and union-find
Published in Discrete and Computational Geometry 38 (2007), no. 3, 527-571
• View Publication
• BIB
Drawing together techniques from combinatorics and computer science, we improve the census algorithm for enumerating closed minimal P^2-irreducible 3-manifold triangulations. In particular, new constraints are proven for face pairing graphs, and pruning techniques are improved using a modification of the union-find algorithm. Using these results we catalogue all 136 closed non-orientable P^2-irreducible 3-manifolds that can be formed from at most ten tetrahedra.
Normalization of monomial ideals and Hilbert functions
Published in Proc. Amer. Math. Soc. 136 (2008), 1933-1943
• View Publication
• BIB
We study the normalization of a monomial ideal, and show how to compute its Hilbert function (using Ehrhart polynomials) if the ideal is zero dimensional. A positive lower bound for the second coefficient of the Hilbert polynomial is shown.
Spanning Trees on Lattices and Integration Identities
Published in J. Phys. A: Math. Gen. 39, 10263-10275 (2006)
• View Publication
• BIB
For a lattice $Λ$ with $n$ vertices and dimension $d$ equal or higher than two, the number of spanning trees $N_{ST}(Λ)$ grows asymptotically as $\exp(n z_Λ)$ in the thermodynamic limit. We present exact integral expressions for the asymptotic growth constant $z_Λ$ for spanning trees on several lattices. By taking different unit cells in the calculation, many integration identities can be obtained. We also give $z_{Λ(p)}$ on the homeomorphic expansion of $k$-regular lattices with $p$ vertices inserted on each edge.
Specht filtrations and tensor spaces for the Brauer algebra
Published
• View Publication
• BIB
Let $m, n\in{\mathbb N}$. In this paper we study the right permutation action of the symmetric group ${\mathfrak S}_{2n}$ on the set of all the Brauer $n$-diagrams. A new basis for the free ${\mathbb Z}$-module ${\mathfrak B}_n$ spanned by these Brauer $n$-diagrams is constructed, which yields Specht filtrations for ${\mathfrak B}_n$. For any $2m$-dimensional vector space $V$ over a field of arbitrary characteristic, we give an explicit and characteristic free description of the annihilator of the $n$-tensor space $V^{\otimes n}$ in the Brauer algebra ${\mathfrak B}_n(-2m)$. In particular, we show that it is a ${\mathfrak S}_{2n}$-submodule of ${\mathfrak B}_n(-2m)$.
Permutation representations on Schubert varieties
Published
• View Publication
• BIB
This paper defines and studies permutation representations on the equivariant cohomology of Schubert varieties, as representations both over C and over C[t_1, t_2,...,t_n]. We show these group actions are the same as an action of simple transpositions studied geometrically by M. Brion, and give topological meaning to the divided difference operators studied by Berstein-Gelfand-Gelfand, Demazure, Kostant-Kumar, and others. We analyze these representations using the combinatorial approach to equivariant cohomology introduced by Goresky-Kottwitz-MacPherson. We find that each permutation representation on equivariant cohomology produces a representation on ordinary cohomology that is trivial, though the equivariant representation is not.
Searching for line transitive, point imprimitive, linear spaces
A finite linear space is a finite set of points and lines, where any two points lie on a unique line. Well known examples include projective planes. This project focuses on linear spaces which admit certain types of symmetries. Symmetries of the space which preserve the line structure are called automorphisms. A group of these is called an automorphism group of the linear space. Two interesting properties of linear spaces are point imprimitivity and line transitivity. Point imprimitive spaces admit a second structure on the points aside from the lines, which is also preserved by an automorphism group. In line transitive spaces, given any two lines, an automorphism can be found that maps one line to the other.
Very few point imprimitive, line transitive linear spaces, apart from projective planes, are known. Such spaces that have been found have been surprising. One point of interest is whether such spaces are rare and the known ones are in some sense exceptional, or if there are many such spaces, but mathematicians have been looking in the wrong places.
Here we investigate methods to construct a line transitive, point imprimitive linear space over a given point set and automorphism group. We employ these methods on two given automorphism groups, both on a set of 451 points. This was an exceptional situation identified in theoretical work of Praeger and Tuan. Included in this is the development of an algorithm, written in GAP, an algebraic programming system, and C, to perform these constructions. This algorithm is extendible to a wider class of groups.
Combinatorial images of sets of reals and semifilter trichotomy
Published in Journal of Symbolic Logic 73 (2008), 1278-1288
• View Publication
• BIB
Using a dictionary translating a variety of classical and modern covering properties into combinatorial properties of continuous images, we get a simple way to understand the interrelations between these properties in ZFC and in the realm of the trichotomy axiom for upward closed families of sets of natural numbers. While it is now known that the answer to the Hurewicz 1927 problem is positive, it is shown here that semifilter trichotomy implies a negative answer to a slightly weaker form of this problem.
Degree-k linear recursions mod(p) and number fields
Published
• View Publication
• BIB
Linear recursions of degree $k$ are determined by evaluating the sequence of Generalized Fibonacci Polynomials, $\{F_{k,n}(t_1,...,t_k)\}$ (isobaric reflects of the complete symmetric polynomials) at the integer vectors $(t_1,...,t_k)$. If $F_{k,n}(t_1,...,t_k) = f_n$, then $$f_n - \sum_{j=1}^k t_j f_{n-j} = 0,$$ and $\{f_n\}$ is a linear recursion of degree $k$.
On the one hand, the periodic properties of such sequences modulo a prime $p$ are discussed, and are shown to be related to the prime structure of certain algebraic number fields; for example, the arithmetic properties of the period are shown to characterize ramification of primes in an extension field. On the other hand, the structure of the semilocal rings associated with the number field is shown to be completely determined by Schur-hook polynomials.
Keywords: Symmetric polynomials, Schur polynomials, linear recursions, number fields.
A note on Reed's conjecture
Published
• View Publication
• BIB
In \cite{reed97}, Reed conjectures that the inequality $χ(G) \leq \left \lceil \textstyle {1/2} (ω(G) + Δ(G) + 1) \right \rceil$ holds for any graph $G$. We prove this holds for a graph $G$ if $\bar{G}$ is disconnected. From this it follows that the conjecture holds for graphs with $χ(G) > \left \lceil \frac{|G|}{2} \right \rceil$. In addition, the conjecture holds for graphs with $Δ(G) \geq |G| - \sqrt{|G| + 2α(G) + 1}$. In particular, Reed's conjecture holds for graphs with $Δ(G) \geq |G| - \sqrt{|G| + 7}$. Using these results, we proceed to show that if $|G|$ is an even order counterexample to Reed's conjecture, then $\bar{G}$ has a 1-factor. Hence, for any even order graph $G$, if $χ(G) > \textstyle {1/2}(ω(G) + Δ(G) + 1) + 1$, then $\bar{G}$ is matching covered.
On The Discrepancy of Quasi-progressions
Published
• View Publication
• BIB
The 2-colouring discrepancy of arithmetic progressions is a well-known problem in combinatorial discrepancy theory. In 1964, Roth proved that if each integer from 0 to N is coloured red or blue, there is some arithmetic progression in which the number of reds and the number of blues differ by at least (1/20) N^{1/4}. In 1996, Matousek and Spencer showed that this estimate is sharp up to a constant. The analogous question for homogeneous arithmetic progressions (i.e., the ones containing 0) was raised by Erdos in the 1930s, and it is still not known whether the discrepancy is unbounded. However, it is easy to construct partial colourings with density arbitrarily close to 1 such that all homogeneous arithmetic progressions have bounded discrepancy.
A related problem concerns the discrepancy of quasi-progressions. A quasi-progression consists of successive multiples of a real number, with each multiple rounded down to the nearest integer. In 1986, Beck showed that given any 2-colouring, the quasi-progressions corresponding to almost all real numbers in (1, \infty) have discrepancy at least log* N, the inverse of the tower function. We improve the lower bound to (log N)^{1/4 - o(1)}, and also show that there is some quasi-progression with discrepancy at least (1/50) N^{1/6}. Our results remain valid even if the 2-colouring is replaced by a partial colouring of positive density.
Linear spaces with significant characteristic prime
Published
• View Publication
• BIB
Let $G$ be a group with socle a simple group of Lie type defined over the finite field with $q$ elements where $q$ is a power of the prime $p$. Suppose that $G$ acts transitively upon the lines of a linear space $\mathcal{S}$. We show that if $p$ is {\it significant} then $G$ acts flag-transitively on $\mathcal{S}$ and all examples are known.
Planar Decompositions and the Crossing Number of Graphs with an Excluded Minor
Published in New York J. Mathematics, 13:117-146, 2007 (http://nyjm.albany.edu/j/2007/13-8.html)
• View Publication
• BIB
Tree decompositions of graphs are of fundamental importance in structural and algorithmic graph theory. Planar decompositions generalise tree decompositions by allowing an arbitrary planar graph to index the decomposition. We prove that every graph that excludes a fixed graph as a minor has a planar decomposition with bounded width and a linear number of bags.
The crossing number of a graph is the minimum number of crossings in a drawing of the graph in the plane. We prove that planar decompositions are intimately related to the crossing number. In particular, a graph with bounded degree has linear crossing number if and only if it has a planar decomposition with bounded width and a linear number of bags. It follows from the above result about planar decompositions that every graph with bounded degree and an excluded minor has linear crossing number.
Analogous results are proved for the convex and rectilinear crossing numbers. In particular, every graph with bounded degree and bounded tree-width has linear convex crossing number, and every $K_{3,3}$-minor-free graph with bounded degree has linear rectilinear crossing number.
A Combinatorial Interpretation of j/n {kn}\choose{n+j}
The identity j/n {kn}\choose{n+j} =(k-1) {kn-1}\choose{n+j-1}- {kn-1}\choose{n+j} shows that j/n {kn}\choose{n+j} is always an integer. Here we give a combinatorial interpretation of this integer in terms of lattice paths, using a uniformly distributed statistic. In particular, the case j=1,k=2 gives yet another manifestation of the Catalan numbers.
Additivity numbers of covering properties
Published in Selection Principles and Covering Properties in Topology (L. Kovinac, editor), Quaderni di Matematica 18, Seconda Universita di Napoli, Caserta 2006, 245-282
• Search Publication
The_additivity_number_ of a topological property (relative to a given space) is the minimal number of subspaces with this property whose union does not have the property. The most well-known case is where this number is greater than Aleph_0, i.e. the property is sigma-additive. We give a rather complete survey of the known results about the additivity numbers of a variety of topological covering properties, including those appearing in the Scheepers diagram (which contains, among others, the classical properties of Menger, Hurewicz, Rothberger, and Gerlits-Nagy). Some of the results proved here were not published beforehand, and many open problems are posed.
Discrepancy of Symmetric Products of Hypergraphs
Published in The Electronic Journal of Combinatorics 13 (2006), #R40
• View Publication
• BIB
For a hypergraph ${\mathcal H} = (V,{\mathcal E})$, its $d$--fold symmetric product is $Δ^d {\mathcal H} = (V^d,\{E^d |E \in {\mathcal E}\})$. We give several upper and lower bounds for the $c$-color discrepancy of such products. In particular, we show that the bound ${disc}(Δ^d {\mathcal H},2) \le {disc}({\mathcal H},2)$ proven for all $d$ in [B. Doerr, A. Srivastav, and P. Wehr, Discrepancy of {C}artesian products of arithmetic progressions, Electron. J. Combin. 11(2004), Research Paper 5, 16 pp.] cannot be extended to more than $c = 2$ colors. In fact, for any $c$ and $d$ such that $c$ does not divide $d!$, there are hypergraphs having arbitrary large discrepancy and ${disc}(Δ^d {\mathcal H},c) = Ω_d({disc}({\mathcal H},c)^d)$. Apart from constant factors (depending on $c$ and $d$), in these cases the symmetric product behaves no better than the general direct product ${\mathcal H}^d$, which satisfies ${disc}({\mathcal H}^d,c) = O_{c,d}({disc}({\mathcal H},c)^d)$.
Classifying Descents According to equivalence mod k
Published
• View Publication
• BIB
In [S. Kitaev and J. Remmel: Classifying descents according to parity] the authors refine the well-known permutation statistic "descent" by fixing parity of (exactly) one of the descent's numbers. In this paper, we generalize the results of [S. Kitaev and J. Remmel: Classifying descents according to parity] by studying descents according to whether the first or the second element in a descent pair is equivalent to $k$ mod $k\geq 2$. We provide either an explicit or an inclusion-exclusion type formula for the distribution of the new statistics. Based on our results we obtain combinatorial proofs of a number of remarkable identities. We also provide bijective proofs of some of our results and state a number of open problems.