Showing 20 papers (Total: 81680 papers, 47334 authors in database)
Combinatorial fiber bundles and fragmentation of a fiberwise PL-homeomorphism
Published in Zapiski Nauchnyh Seminarov POMI, v344, p 56-173, 2007 (Russian)
• Search Publication
With a compact PL manifold X we associate a category T(X). The objects of T(X) are all combinatorial manifolds of type X, and morphisms are combinatorial assemblies. We prove that the homotopy equivalence BT (X) \approx BPL(X) holds, where PL(X) is the simplicial group of PL-homeomorphisms. Thus the space BT(X) is a canonical countable (as a CW-complex) model of BPL(X). As a result, we obtain functorial pure combinatorial models for PL fiber bundles with fiber X and a PL polyhedron B as the base. Such a model looks like a T(X)-coloring of some triangulation K of B. The vertices of K are colored by objects of T(X) and the arcs are colored by morphisms in such a way that the diagram arising from the 2-skeleton of K is commutative. Comparing with the classical results of geometric topology, we obtain combinatorial models of the real Grassmannian in small dimensions: BT(S^{n-1}) \approx BO(n) for n=1,2,3,4. The result is proved in a sequence of results on similar models of B\PL(X). Special attention is paid to the main noncompact case X=R^n and to the tangent bundle and Gauss functor of a combinatorial manifold. The trick that makes the proof possible is a collection of lemmas on "fragmentation of a fiberwise homeomorphism", a generalization of the folklore lemma on fragmentation of an isotopy.
A note on the Markoff condition and central words
Published
• View Publication
• BIB
We define Markoff words as certain factors appearing in bi-infinite words satisfying the Markoff condition. We prove that these words coincide with central words, yielding a new characterization of Christoffel words.
Algebraic G-functions associated to matrices over a group-ring
Given a square matrix with elements in the group-ring of a group, one can consider the sequence formed by the trace (in the sense of the group-ring) of its powers. We prove that the corresponding generating series is an algebraic $G$-function (in the sense of Siegel) when the group is free of finite rank. Consequently, it follows that the norm of such elements is an exactly computable algebraic number, and their Green function is algebraic. Our proof uses the notion of rational and algebraic power series in non-commuting variables and is an easy application of a theorem of Haiman. Haiman's theorem uses results of linguistics regarding regular and context-free language. On the other hand, when the group is free abelian of finite rank, then the corresponding generating series is a $G$-function. We ask whether the latter holds for general hyperbolic groups. This version has an expanded introduction following suggestions from Lehner, Voiculescu and others.
A critical constant for the k nearest neighbour model
Published
• View Publication
• BIB
Let P be a Poisson process of intensity one in a square S_n of area n. For a fixed integer k, join every point of P to its k nearest neighbours, creating an undirected random geometric graph G_{n,k}. We prove that there exists a critical constant c such that for c'<c, G_{n,c'log n} is disconnected with probability tending to 1 as n tends to infinity, and for c'>c G_{n,c'\log n} is connected with probability tending to 1 as n tends to infinity. This answers a question previously posed by the authors.
First order approach and index theorems for discrete and metric graphs
Published
• View Publication
• BIB
The aim of the present paper is to introduce the notion of first order (supersymmetric) Dirac operators on discrete and metric (``quantum'') graphs. In order to cover all self-adjoint boundary conditions for the associated metric graph Laplacian, we develop systematically a new type of discrete graph operators acting on a decorated graph. The decoration at each vertex of degree-d is given by a subspace of $\C^d$, generalising the fact that a function on the standard vertex space has only a scalar value.
We develop the notion of exterior derivative, differential forms, Dirac and Laplace operators in the discrete and metric case, using a supersymmetric framework. We calculate the (supersymmetric) index of the discrete Dirac operator generalising the standard index formula involving the Euler characteristic of a graph. Finally, we show that the corresponding index for the metric Dirac operator agrees with the discrete one.
Tropical Lines on Cubic Surfaces
Published
• View Publication
• BIB
Given a tropical line $L$ and a smooth tropical surface $X$, we look at the position of $L$ on $X$. We introduce its primal and dual motif which are respectively a decorated graph and a subcomplex of the dual triangulation of $X$. They encode the combinatorial position of $L$ on $X$. We classify all possible motifs of tropical lines on general smooth tropical surfaces. This classification allows to give an upper bound for the number of tropical lines on a general smooth tropical surface with a given subdivision. We focus in particular on surfaces of degree three. As a concrete example, we look at tropical cubic surfaces dual to a fixed honeycomb triangulation, showing that a general surface contains exactly $27$ tropical lines.
Commuting elements in conjugacy classes: An application of Hall's Marriage Theorem
Published
• View Publication
• BIB
Let G be a finite group. Define a relation ~ on the conjugacy classes of G by setting C ~ D if there are representatives c \in C and d \in D such that cd = dc. In the case where G has a normal subgroup H such that G/H is cyclic, two theorems are proved concerning the distribution, between cosets of H, of pairs of conjugacy classes of G related by ~. One of the proofs involves an interesting application of the famous Marriage Theorem of Philip Hall.
The paper concludes by discussing some aspects of these theorems and of the relation ~ in the particular cases of symmetric and general linear groups, and by mentioning an open question related to Frobenius groups.
An EL-labeling of the subgroup lattice
Published in Proc. Amer. Math. Soc. 136 (2008), no. 11, 3795-3801
• View Publication
• BIB
In a 2001 paper, Shareshian conjectured that the subgroup lattice of a finite, solvable group has an EL-labeling. We construct such a labeling, and verify that our labeling has the expected properties.
Hyper-atoms and the Kemperman's critical pair Theory
In the present work, we introduce the notion of a hyper-atom and prove their main structure theorem. We then apply the global isoperimetric methodology to give a new proof for
Kemperman's structure Theory and a slight improvement.
Intransitive geometries and fused amalgams
Published in J. Group Theory 11 (2008), 443-464
• View Publication
• BIB
We study geometries that arise from the natural $G_2(K)$ action on the geometry of one-dimensional subspaces, of nonsingular two-dimensional subspaces, and of nonsingular three-dimensional subspaces of the building geometry of type $C_3(K)$ where $K$ is a perfect field of characteristic 2. One of these geometries is intransitive in such a way that the non-standard geometric covering theory by the first and the last author is not applicable. In this paper we introduce the concept of fused amalgams in order to extend the geometric covering theory so that it applies to that geometry. This yields an interesting new amalgamation result for the group $G_2(K)$.
Derangements and Relative Derangements of Type $B$
Published
• View Publication
• BIB
By introducing the notion of relative derangements of type $B$, also called signed relative derangements, which are defined in terms of signed permutations, we obtain a type $B$ analogue of the well-known relation between relative derangements and the classical derangements. While this fact can be proved by using the principle of inclusion and exclusion, we present a combinatorial interpretation with the aid of the intermediate structure of signed skew derangements.
Proof of Lemma 6.3 in ``The crossing number of $K_{4,n}$ on the torus and the Klein bottle"
We found that Lemma 6.3 in the paper ``The crossing number of $K_{4,n}$ on the torus and the Klein bottle" is wrong.
On Kalai's conjectures concerning centrally symmetric polytopes
Published in Discrete Comput. Geom. 41 (2009), no. 2, 183-198
• View Publication
• BIB
In 1989 Kalai stated the three conjectures A, B, C of increasing strength concerning face numbers of centrally symmetric convex polytopes. The weakest conjecture, A, became known as the ``$3^d$-conjecture''. It is well-known that the three conjectures hold in dimensions d \leq 3. We show that in dimension 4 only conjectures A and B are valid, while conjecture C fails. Furthermore, we show that both conjectures B and C fail in all dimensions d \geq 5.
Arithmetic structures in smooth subsets of F_p
Fix integers a_1,...,a_d satisfying a_1 + ... + a_d = 0. Suppose that f : Z_N -> [0,1], where N is prime. We show that if f is ``smooth enough'' then we can bound from below the sum of f(x_1)...f(x_d) over all solutions (x_1,...,x_d) in Z_N to a_1 x_1 + ... + a_d x_d == 0 (mod N). Note that d = 3 and a_1 = a_2 = 1 and a_3 = -2 is the case where x_1,x_2,x_3 are in arithmetic progression. By ``smooth enough'' we mean that the sum of squares of the lower order Fourier coefficients of f is ``small'', a property shared by many naturally-occurring functions, among them certain ones supported on sumsets and on certain types of pseudoprimes. The paper can be thought of as a generalization of another result of the author, which dealt with a F_p^n analogue of the problem. It appears that the method in that paper, and to a more limited extent the present paper, uses ideas similar to those of B. Green's ``arithmetic regularity lemma'', as we explain in the paper.
On the symmetric subscheme of Hilbert scheme of points
We consider the Hilbert scheme Hilb^{d+1}(C^d) of (d+1) points in affine d-space C^d (d > 2), which includes the square of any maximal ideal. We describe equations for the most symmetric affine open subscheme of Hilb^{d+1}(C^d), in terms of Schur modules. In addition we prove that Hilb^{d+1}(C^d) is reducible for n>d>11.
Quiver coefficients of Dynkin type
Published
• View Publication
• BIB
We study the Grothendieck classes of quiver cycles, i.e. invariant closed subvarieties of the representation space of a quiver. For quivers without oriented loops we show that the class of a quiver cycle is determined by quiver coefficients, which generalize the earlier studied quiver coefficients for equioriented quivers of type A. We conjecture that quiver coefficients satisfy positivity and finiteness properties. Our main result is a formula for the quiver coefficients for orbit closures of Dynkin type with rational singularities, which confirms the finiteness conjecture. This formula is based on Reineke's desingularization of such orbit closures. For quivers of type A3, we give positive combinatorial formulas for the quiver coefficients, which confirm the full conjecture. We also interpret quiver coefficients as formulas for degeneracy loci defined by quivers of vector bundle maps.
Generalized Cauchy identities, trees and multidimensional Brownian motions. Part II: Combinatorial differential calculus
We present an analogue of the differential calculus in which the role of polynomials is played by certain ordered sets and trees. Our combinatorial calculus has all nice features of the usual calculus and has an advantage that the elements of the considered ordered sets might carry some additional information. In this way an analytic proof of generalized Cauchy identities from the previous work of the second author can be directly reformulated in our new language of the combinatorial calculus; furthermore the additional information carried by vertices determines uniquely the bijections presented in Part I of this series.
Experiments with a Positivity Preserving Operator
Published
• View Publication
• BIB
We consider some multivariate rational functions which have (or are conjectured to have) only positive coefficients in their series expansion. We consider an operator that preserves positivity of series coefficients, and apply the inverse of this operator to the rational functions. We obtain new rational functions which seem to have only positive coefficients, whose positivity would imply positivity of the original series, and which, in a certain sense, cannot be improved any further.
A p-adic analogue of a formula of Ramanujan
Published in Archiv der Mathematik 91 (2008), 492-504
• View Publication
• BIB
During his lifetime, Ramanujan provided many formulae relating binomial sums to special values of the Gamma function. Based on numerical computations, Van Hamme recently conjectured $p$-adic analogues to such formulae. Using a combination of ordinary and Gaussian hypergeometric series, we prove one of these conjectures.
An approximate version of the Loebl-Komlos-Sos conjecture
Published
• View Publication
• BIB
Loebl, Komlos, and Sos conjectured that if at least half of the vertices of a graph G have degree at least some natural number k, then every tree with at most k edges is a subgraph of G. Our main result is an approximate version of this conjecture for large enough n=|V(G)|, assumed that n=O(k). Our result implies an asymptotic bound for the Ramsey number of trees. We prove that r(T_k,T_m)\leq k+m+o(k+m),as k+m tends to infinity.