Showing 20 papers (Total: 83190 papers, 48060 authors in database)
Robinson-Schensted-Knuth correspondence in the geometry of partial flag varieties
In this paper we generalize to the case of partial flags a result proved both by Spaltenstein and by Steinberg that relates the relative position of two complete flags and the irreducible components of the flag variety in which they lie, using the Robinson-Schensted-Knuth correspondence.
Uses of randomness in computation
Random number generators are widely used in practical algorithms. Examples include simulation, number theory (primality testing and integer factorization), fault tolerance, routing, cryptography, optimization by simulated annealing, and perfect hashing. Complexity theory usually considers the worst-case behaviour of deterministic algorithms, but it can also consider average-case behaviour if it is assumed that the input data is drawn randomly from a given distribution. Rabin popularised the idea of "probabilistic" algorithms, where randomness is incorporated into the algorithm instead of being assumed in the input data. Yao showed that there is a close connection between the complexity of probabilistic algorithms and the average-case complexity of deterministic algorithms. We give examples of the uses of randomness in computation, discuss the contributions of Rabin, Yao and others, and mention some open questions. This is the text of an invited talk presented at "Theory Day", University of NSW, Sydney, 22 April 1994.
From the icosahedron to natural triangulations of $\CC P^2$ and $S^2 \times S^2$
Published in Discrete Comput Geom 46 (2011), 542--560
• View Publication
• BIB
We present two constructions in this paper: (a) A 10-vertex triangulation $\CC P^{2}_{10}$ of the complex projective plane $\CC P^{2}$ as a subcomplex of the join of the standard sphere ($S^{2}_4$) and the standard real projective plane ($\RR P^{2}_{6}$, the decahedron), its automorphism group is $A_4$; (b) a 12-vertex triangulation $(S^{2} \times S^{2})_{12}$ of $S^{2} \times S^{2}$ with automorphism group $2S_5$, the Schur double cover of the symmetric group $S_5$. It is obtained by generalized bistellar moves from a simplicial subdivision of the standard cell structure of $S^{2} \times S^{2}$. Both constructions have surprising and intimate relationships with the icosahedron. It is well known that $\CC P^{2}$ has $S^{2} \times S^{2}$ as a two-fold branched cover; we construct the triangulation $\CC P^{2}_{10}$ of $\CC P^{2}$ by presenting a simplicial realization of this covering map $S^{2} \times S^{2} \to \CC P^{2}$. The domain of this simplicial map is a simplicial subdivision of the standard cell structure of $S^{2} \times S^{2}$, different from the triangulation alluded to in (b). This gives a new proof that Kuehnel's $\CC P^{2}_{9}$ triangulates $\CC P^{2}$. It is also shown that $\CC P^{2}_{10}$ and $(S^{2} \times S^{2})_{12}$ induce the standard piecewise linear structure on $\CC P^{2}$ and $S^{2} \times S^{2}$ respectively.
Han's Bijection via Permutation Codes
Published
• View Publication
• BIB
We show that Han's bijection when restricted to permutations can be carried out in terms of the cyclic major code and the cyclic inversion code. In other words, it maps a permutation $π$ with a cyclic major code $(s_1, s_2, ..., s_n)$ to a permutation $σ$ with a cyclic inversion code $(s_1,s_2, ..., s_n)$. We also show that the fixed points of Han's map can be characterized by the strong fixed points of Foata's second fundamental transformation. The notion of strong fixed points is related to partial Foata maps introduced by Björner and Wachs.
Enumerating (2+2)-free posets by the number of minimal elements and other statistics
Published
• View Publication
• BIB
An unlabeled poset is said to be (2+2)-free if it does not contain an induced subposet that is isomorphic to 2+2, the union of two disjoint 2-element chains. Let $p_n$ denote the number of (2+2)-free posets of size $n$. In a recent paper, Bousquet-Mélou et al.\cite{BCDK} found, using so called ascent sequences, the generating function for the number of (2+2)-free posets of size $n$: $P(t)=\sum_{n \geq 0} p_n t^n = \sum_{n\geq 0} \prod_{i=1}^{n} (1-(1-t)^i)$. We extend this result in two ways. First, we find the generating function for (2+2)-free posets when four statistics are taken into account, one of which is the number of minimal elements in a poset. Second, we show that if $p_{n,k}$ equals the number of (2+2)-free posets of size $n$ with $k$ minimal elements, then $P(t,z)=\sum_{n,k \geq 0} p_{n,k} t^n z^k = 1+ \sum_{n \geq 0} \frac{zt}{(1-zt)^{n+1}} \prod_{i=1}^n (1-(1-t)^i)$. The second result cannot be derived from the first one by a substitution. On the other hand, $P(t)$ can easily be obtained from $P(t,z)$ thus providing an alternative proof for the enumeration result in \cite{BCDK}. Moreover, we conjecture a simpler form of writing $P(t,z)$. Our enumeration results are extended to certain restricted permutations and to regular linearized chord diagrams through bijections in \cite{BCDK,cdk}. Finally, we define a subset of ascent sequences counted by the Catalan numbers and we discuss its relations with (2+2)- and (3+1)-free posets.
The topology of toric symplectic manifolds
Published in Geom. Topol. 15 (2011) 145-190
• View Publication
• BIB
This is a collection of results on the topology of toric symplectic manifolds. Using an idea of Borisov, we show that a closed symplectic manifold supports at most a finite number of toric structures. Further, the product of two projective spaces of complex dimension at least two (and with a standard product symplectic form) has a unique toric structure. We then discuss various constructions, using wedging to build a monotone toric symplectic manifold whose center is not the unique point displaceable by probes, and bundles and blow ups to form manifolds with more than one toric structure. The bundle construction uses the McDuff--Tolman concept of mass linear function. Using Timorin's description of the cohomology ring via the volume function we develop a cohomological criterion for a function to be mass linear, and explain its relation to Shelukhin's higher codimension barycenters.
Lower bounds for identifying codes in some infinite grids
Published
• View Publication
• BIB
An $r$-identifying code on a graph $G$ is a set $C\subset V(G)$ such that for every vertex in $V(G)$, the intersection of the radius-$r$ closed neighborhood with $C$ is nonempty and unique. On a finite graph, the density of a code is $|C|/|V(G)|$, which naturally extends to a definition of density in certain infinite graphs which are locally finite. We present new lower bounds for densities of codes for some small values of $r$ in both the square and hexagonal grids.
A Fast Approach to Creative Telescoping
Published in Mathematics in Computer Science 4(2-3), pp. 259-266, 2010
• View Publication
• BIB
In this note we reinvestigate the task of computing creative telescoping relations in differential-difference operator algebras. Our approach is based on an ansatz that explicitly includes the denominators of the delta parts. We contribute several ideas of how to make an implementation of this approach reasonably fast and provide such an implementation. A selection of examples shows that it can be superior to existing methods by a large factor.
On the Sandpile group of the cone of a graph
Published in Linear Algebra and Its Applications 436 5 (2012) 1154-1176
• View Publication
• BIB
In this article, we give a partial description of the sandpile group of the cone of the cartesian product of graphs in function of the sandpile group of the cone of their factors. Also, we introduce the concept of uniform homomorphism of graphs and prove that every surjective uniform homomorphism of graphs induces an injective homomorphism between their sandpile groups. As an application of these result we obtain an explicit description of a set of generators of the sandpile group of the cone of the hypercube of dimension d.
On Minkowski product size: The Vosper's property
A subset $S$ of a group $G$ is said to be a Vosper's subset if $|A\cup AS|\ge \min (|G|-1,|A|+|S|),$ for any subset $A$ of $G$ with $|A|\ge 2.$ In the present work, we describe Vosper's subsets. Assuming that $S$ is not a progression and that $|S^{-1} S|, |S S^{-1}| <2 |S|,|G'|-1,$ we show that there exist an element $a\in S,$ and a non-null subgroup $H$ of $G'$ such that either $S^{-1}HS =S^{-1}S \cup a^{-1}Ha$ or $SHS^{-1} =SS^{-1}\cup aHa^{-1},$ where $G'$ is the subgroup generated by $S^{-1}S.$
Subgraph densities in signed graphons and the local Sidorenko conjecture
We prove inequalities between the densities of various bipartite subgraphs in signed graphs and graphons. One of the main inequalities is that the density of any bipartite graph with girth r cannot exceed the density of the r-cycle. This study is motivated by Sidorenko's conjecture, which states that the density of a bipartite graph F with m edges in any graph G is at least the m-th power of the edge density of G. Another way of stating this is that the graph G with given edge density minimizing the number of copies of F is, asymptotically, a random graph. We prove that this is true locally, i.e., for graphs G that are "close" to a random graph.
The Toothpick Sequence and Other Sequences from Cellular Automata
Published in Congressus Numerant. 206 (2010), 157-191
• Search Publication
A two-dimensional arrangement of toothpicks is constructed by the following iterative procedure. At stage 1, place a single toothpick of length 1 on a square grid, aligned with the y-axis. At each subsequent stage, for every exposed toothpick end, place an orthogonal toothpick centered at that end. The resulting structure has a fractal-like appearance. We will analyze the toothpick sequence, which gives the total number of toothpicks after n steps. We also study several related sequences that arise from enumerating active cells in cellular automata. Some unusual recurrences appear: a typical example is that instead of the Fibonacci recurrence, which we may write as a(2+i) = a(i) + a(i+1), we set n = 2^k+i (0 <= i < 2^k), and then a(n)=a(2^k+i)=2a(i)+a(i+1). The corresponding generating functions look like Prod{k >= 0} (1+x^{2^k-1}+2x^{2^k}) and variations thereof.
A Theory of Transformation Monoids: Combinatorics and Representation Theory
Published
• View Publication
• BIB
The aim of this paper is to develop a theory of finite transformation monoids and in particular to study primitive transformation monoids. We introduce the notion of orbitals and orbital digraphs for transformation monoids and prove a monoid version of D. Higman's celebrated theorem characterizing primitivity in terms of connectedness of orbital digraphs. A thorough study of the module (or representation) associated to a transformation monoid is initiated. In particular, we compute the projective cover of the transformation module over a field of characteristic zero in the case of a transitive transformation or partial transformation monoid. Applications of probability theory and Markov chains to transformation monoids are also considered and an ergodic theorem is proved in this context. In particular, we obtain a generalization of a lemma of P. Neumann, from the theory of synchronizing groups, concerning the partition associated to a transformation of minimal rank.
Note on Doron Zeilberger's paper: ${5 \choose 2}$ proofs that ${n \choose k} \leq {n \choose {k+1}}$ if $k < n/2$
We present yet another algebraic proof of the unimodality of the binomial coefficients.
Tropical polar cones, hypergraph transversals, and mean payoff games
Published in Linear Algebra and its Applications, Volume 435, Issue 7, 1 October 2011, Pages 1549-1574
• View Publication
• BIB
We discuss the tropical analogues of several basic questions of convex duality. In particular, the polar of a tropical polyhedral cone represents the set of linear inequalities that its elements satisfy. We characterize the extreme rays of the polar in terms of certain minimal set covers which may be thought of as weighted generalizations of minimal transversals in hypergraphs. We also give a tropical analogue of Farkas lemma, which allows one to check whether a linear inequality is implied by a finite family of linear inequalities. Here, the certificate is a strategy of a mean payoff game. We discuss examples, showing that the number of extreme rays of the polar of the tropical cyclic polyhedral cone is polynomially bounded, and that there is no unique minimal system of inequalities defining a given tropical polyhedral cone.
New sizes of complete arcs in PG(2,q)
New upper bounds on the smallest size t_{2}(2,q) of a complete arc in the projective plane PG(2,q) are obtained for 853<= q<= 2879 and q=3511,4096, 4523,5003,5347,5641,5843,6011. For q<= 2377 and q=2401,2417,2437, the relation t_{2}(2,q)<4.5\sqrt{q} holds. The bounds are obtained by finding of new small complete arcs with the help of computer search using randomized greedy algorithms. Also new sizes of complete arcs are presented.
On disjoint crossing families in geometric graphs
Published
• View Publication
• BIB
A geometric graph is a graph drawn in the plane with vertices represented by points and edges as straight-line segments. A geometric graph contains a (k,l)-crossing family if there is a pair of edge subsets E_1,E_2 such that |E_1| = k and |E_2| = l, the edges in E_1 are pairwise crossing, the edges in E_2 are pairwise crossing, and every edges in E_1 is disjoint to every edge in E_2. We conjecture that for any fixed k,l, every n-vertex geometric graph with no (k,l)-crossing family has at most c_{k,l}n edges, where c_{k,l} is a constant that depends only on k and l. In this note, we show that every n-vertex geometric graph with no (k,k)-crossing family has at most c_kn\log n edges, where c_k is a constant that depends only on k, by proving a more general result which relates extremal function of a geometric graph F with extremal function of two completely disjoint copies of F. We also settle the conjecture for geometric graphs with no (2,1)-crossing family. As a direct application, this implies that for any circle graph F on 3 vertices, every n-vertex geometric graph that does not contain a matching whose intersection graph is F has at most O(n) edges.
The Dichotomy of List Homomorphisms for Digraphs
Published
• View Publication
• BIB
The Dichotomy Conjecture for constraint satisfaction problems has been verified for conservative problems (or, equivalently, for list homomorphism problems) by Andrei Bulatov. An earlier case of this dichotomy, for list homomorphisms to undirected graphs, came with an elegant structural distinction between the tractable and intractable cases. Such structural characterization is absent in Bulatov's classification, and Bulatov asked whether one can be found. We provide an answer in the case of digraphs; the technique will apply in a broader context. The key concept we introduce is that of a digraph asteroidal triple (DAT). The dichotomy then takes the following form. If a digraph H has a DAT, then the list homomorphism problem for H is NP-complete; and a DAT-free digraph H has a polynomial time solvable list homomorphism problem. DAT-free graphs can be recognized in polynomial time.
Drinfeld realization of the elliptic Hall algebra
Published
• View Publication
• BIB
We give a new presentation of the Drinfeld double of the elliptic Hall algebra introduced in a previous work with I. Burban. This presentation is similar in spirit to Drinfeld's `new realization' of quantum affine algebras. This answers, in the case of elliptic curves, a question of Kapranov concerning functional relations satisfied by (principal, unramified) Eisenstein series for the groups GL(n) over a function field. It also provides proofs of some recent conjectures of Feigin, Feigin, Jimbo, Miwa and Mukhin.
Maximal admissible faces and asymptotic bounds for the normal surface solution space
Published in Journal of Combinatorial Theory, Series A 118 (2011), no. 4, 1410-1435
• View Publication
• BIB
The enumeration of normal surfaces is a key bottleneck in computational three-dimensional topology. The underlying procedure is the enumeration of admissible vertices of a high-dimensional polytope, where admissibility is a powerful but non-linear and non-convex constraint. The main results of this paper are significant improvements upon the best known asymptotic bounds on the number of admissible vertices, using polytopes in both the standard normal surface coordinate system and the streamlined quadrilateral coordinate system.
To achieve these results we examine the layout of admissible points within these polytopes. We show that these points correspond to well-behaved substructures of the face lattice, and we study properties of the corresponding "admissible faces". Key lemmata include upper bounds on the number of maximal admissible faces of each dimension, and a bijection between the maximal admissible faces in the two coordinate systems mentioned above.