Showing 20 papers (Total: 83190 papers, 48060 authors in database)
A Game for the Resolution of Singularities
Published
• View Publication
• BIB
We propose a combinatorial game on finite graphs, called Salmagundy, that is played by two protagonists, Dido and Mephisto. The game captures the logical structure of a proof of the resolution of singularities. In each round, the graph of the game is modified by the moves of the players. When it assumes a final configuration, Dido has won. Otherwise, the game goes on forever, and nobody wins. In particular, Mephisto cannot win himself, he can only prevent Dido from winning.
We show that Dido always possesses a winning strategy, regardless of the initial shape of the graph and of the moves of Mephisto. This implies -- translating back to algebraic geometry -- that there is a choice of centers for the blowup of singular varieties in characteristic zero which eventually leads to their resolution. The algebra needed for this implication is elementary. The transcription from varieties to graphs and from blowups to modifications of the graph thus axiomatizes the proof of the resolution of singularities. In principle, the same logic could also work in positive characteristic, once an appropriate descent in dimension is settled.
Projective Subgrassmannians of Polar Grassmannians
Published
• View Publication
• BIB
In this short note, completing a sequence of studies by Cooperstein, Kasikova and Shult, we consider the k-Grassmannians of a number of polar geometries of finite rank n. We classify those subspaces that are isomorphic to the j-Grassmannian of a projective m-space. In almost all cases, these are parabolic, that is, they are the residues of a flag of the polar geometry. Exceptions only occur when the subspace is isomorphic to the Grassmannian of 2-spaces in a projective m-space and we describe these in some detail. This Witt-type result implies that automorphisms of the Grassmannian are almost always induced by automorphisms of the underlying polar space.
The generating rank of the unitary and symplectic Grassmannians
Published
• View Publication
• BIB
We prove that the Grassmannian of totally isotropic $k$-spaces of the polar space associated to the unitary group $\mathsf{SU}_{2n}(\mathbb{F})$ ($n\in \mathbb{N}$) has generating rank ${2n\choose k}$ when $\mathbb{F}\ne \mathbb{F}_4$. We also reprove the main result of Blok [Blok2007], namely that the Grassmannian of totally isotropic $k$-spaces associated to the symplectic group $\mathsf{Sp}_{2n}(\mathbb{F})$ has generating rank ${2n\choose k}-{2n\choose k-2}$, when $\rm{Char}(\mathbb{F})\ne 2$.
Polynomial-time sortable stacks of burnt pancakes
Published in Theor. Comput. Sci. 412(8-10): 695-702 (2011)
• View Publication
• BIB
Pancake flipping, a famous open problem in computer science, can be formalised as the problem of sorting a permutation of positive integers using as few prefix reversals as possible. In that context, a prefix reversal of length k reverses the order of the first k elements of the permutation. The burnt variant of pancake flipping involves permutations of signed integers, and reversals in that case not only reverse the order of elements but also invert their signs. Although three decades have now passed since the first works on these problems, neither their computational complexity nor the maximal number of prefix reversals needed to sort a permutation is yet known. In this work, we prove a new lower bound for sorting burnt pancakes, and show that an important class of permutations, known as "simple permutations", can be optimally sorted in polynomial time.
Determination of division algebras with 243 elements
Finite nonassociative division algebras (i.e., finite semifields) with 243 elements are completely classified.
Eigenvectors for a random walk on a hyperplane arrangement
Published
• View Publication
• BIB
We find explicit eigenvectors for the transition matrix of a random walk due to Bidegare, Hanlon and Rockmore. This is accomplished by using Brown and Diaconis' analysis of its stationary distribution, together with some combinatorics of functions on the face lattice of a hyperplane arrangement, due to Gelfand and Varchenko.
Hermite normal forms and $δ$-vector
Published
• View Publication
• BIB
Let $δ(\Pc) = (δ_0, δ_1,..., δ_d)$ be the $δ$-vector of an integral polytope $\Pc \subset \RR^N$ of dimension $d$. Following the previous work of characterizing the $δ$-vectors with $\sum_{i=0}^d δ_i \leq 3$, the possible $δ$-vectors with $\sum_{i=0}^d δ_i = 4$ will be classified. And each possible $δ$-vectors can be obtained by simplices. We get this result by studying the problem of classifying the possible integral simplices with a given $δ$-vector $(δ_0, δ_1,..., δ_d)$, where $\sum_{i=0}^d δ_i \leq 4$, by means of Hermite normal forms of square matrices.
On Cycles in Random Graphs
We consider the geometric random (GR) graph on the $d-$dimensional torus with the $L_σ$ distance measure ($1 \leq σ\leq \infty$). Our main result is an exact characterization of the probability that a particular labeled cycle exists in this random graph. For $σ= 2$ and $σ= \infty$, we use this characterization to derive a series which evaluates to the cycle probability. We thus obtain an exact formula for the expected number of Hamilton cycles in the random graph (when $σ= \infty$ and $σ= 2$). We also consider the adjacency matrix of the random graph and derive a recurrence relation for the expected values of the elementary symmetric functions evaluated on the eigenvalues (and thus the determinant) of the adjacency matrix, and a recurrence relation for the expected value of the permanent of the adjacency matrix. The cycle probability features prominently in these recurrence relations. We calculate these quantities for geometric random graphs (in the $σ= 2$ and $σ= \infty$ case) with up to $20$ vertices, and compare them with the corresponding quantities for the Erdös-Rényi (ER) random graph with the same edge probabilities. The calculations indicate that the threshold for rapid growth in the number of Hamilton cycles (as well as that for rapid growth in the permanent of the adjacency matrix) in the GR graph is lower than in the ER graph. However, as the number of vertices $n$ increases, the difference between the GR and ER thresholds reduces, and in both cases, the threshold $\sim \log(n)/n$. Also, we observe that the expected determinant can take very large values. This throws some light on the question of the maximal determinant of symmetric $0/1$ matrices.
Growth partition functions for cancellative infinite monoids
We introduce the {\it growth partition function} $Z_{Γ,G}(t)$ associate with any cancellative infinite monoid $Γ$ with a finite generator system $G$. It is a power series in $t$ whose coefficients lie in integral Lie-like space $\mathcal{L}_{\Z}(Γ,G)$ in the configuration algebra associated with the Cayley graph $(Γ,G)$. We determine them for homogeneous monoids admitting left greatest common divisor and right common multiple. Then, for braid monoids and Artin monoids of finite type, using that formula, we explicitly determine their limit partition functions $ω_{Γ,G}$.
The cone of Hilbert nullforms
Published in Proc. Steklov Math. Inst. 241 (2003), 192--209
• Search Publication
We describe a geometric-combinatorial algorithm that allows one, using solely the system of weights and roots, to determine the Hesselink strata of the null-cone of a linear representation of a reductive algebraic group and calculate their dimensions. In particular, it provides a constructive approach to calculating the dimension of the null-cone and determining all its irreducible components of maximal dimension. In the case of the adjoint representation (and, more generally, a $θ$-representation), the algorithm turns into the classification algorithm for the conjugacy classes of nilpotent elements in a semisimple Lie algebra (respectively, homogeneous nilpotent elements in a cyclically graded semisimple Lie algebra).
Unitals in $PG(2,q^2)$ with a large 2-point stabiliser
Published in Discrete Math. 312 (3): 532-535 (2012)
• View Publication
• BIB
Let $\cU$ be a unital embedded in the Desarguesian projective plane $\PG(2,q^2)$. Write $M$ for the subgroup of $\PGL(3,q^2)$ which preserves $\cU$. We show that $\cU$ is classical if and only if $\cU$ has two distinct points $P,Q$ for which the stabiliser $G=M_{P,Q}$ has order $q^2-1$.
On the cardinality of sumsets in torsion-free groups
Published
• View Publication
• BIB
Let $A, B$ be finite subsets of a torsion-free group $G$. We prove that for every positive integer $k$ there is a $c(k)$ such that if $|B|\ge c(k)$ then the inequality $|AB|\ge |A|+|B|+k$ holds unless a left translate of $A$ is contained in a cyclic subgroup. We obtain $c(k)<c_0k^{6}$ for arbitrary torsion-free groups, and $c(k)<c_0k^{3}$ for groups with the unique product property, where $c_0$ is an absolute constant. We give examples to show that $c(k)$ is at least quadratic in $k$.
Cover-Decomposition and Polychromatic Numbers
A colouring of a hypergraph's vertices is polychromatic if every hyperedge contains at least one vertex of each colour; the polychromatic number is the maximum number of colours in such a colouring. Its dual, the cover-decomposition number, is the maximum number of disjoint hyperedge-covers. In geometric hypergraphs, there is extensive work on lower-bounding these numbers in terms of their trivial upper bounds (minimum hyperedge size and degree); our goal here is to broaden the study beyond geometric settings. We obtain algorithms yielding near-tight bounds for three families of hypergraphs: bounded hyperedge size, paths in trees, and bounded VC-dimension. This reveals that discrepancy theory and iterated linear program relaxation are useful for cover-decomposition. Finally, we discuss the generalization of cover-decomposition to sensor cover.
Polytopes with Special Simplices
For a polytope P a simplex S with vertex set V(S) is called a special simplex if every facet of P contains all but exactly one vertex of S. For such polytopes P with face complex F(P) containing a special simplex the subcomplex F(P) / V(S) of all faces not containing vertices of S is the boundary of a polytope Q - the basis polytope of P. If additionally the dimension of the affine basis space of F(P) / V(S) equals dim(Q), we call P meek; otherwise we call P wild. We give a full combinatorial classification and techniques for geometric construction of the class of meek polytopes with special simplices. We show that every wild polytope P' with special simplex can be constructed out of a particular meek one P by intersecting P with particular hyperplanes. It is non-trivial to find all these hyperplanes for an arbitrary basis polytope; we give an exact description for 2-basis polytopes. Furthermore we show that the f-vector of each wild polytope with special simplex is component wise bounded above by the f-vector of a particular meek one which can be computed explicitly. Finally, we discuss the n-cube as a non-trivial example of a wild polytope with special simplex and prove that its basis polytope is the zonotope given by the Minkowski sum of the (n-1)-cube and the vector (1,...,1). Polytopes with special simplex have applications on Ehrhart theory, toric rings and were just used by Francisco Santos to construct a counter-example disproving the Hirsch conjecture.
A stronger result on fractional strong colourings
Aharoni, Berger and Ziv recently proved the fractional relaxation of the strong colouring conjecture. In this note we generalize their result as follows. Let $k\geq 1$ and partition the vertices of a graph $G$ into sets $V_1,..., V_r$, such that for $1\leq i \leq r$ every vertex in $V_i$ has at most $\max\{k, |V_i|-k \}$ neighbours outside $V_i$. Then there is a probability distribution on the stable sets of $G$ such that a stable set drawn from this distribution hits each vertex in $V_i$ with probability $1/|V_i|$, for $1\leq i\leq r$. We believe that this result will be useful as a tool in probabilistic approaches to bounding the chromatic number and fractional chromatic number.
An Explicit Solution to the Chessboard Pebbling Problem
Published
• View Publication
• BIB
We consider the chessboard pebbling problem analyzed by Chung, Graham, Morrison and Odlyzko [3]. We study the number of reachable configurations $G(k)$ and a related double sequence $G(k,m)$. Exact expressions for these are derived, and we then consider various asymptotic limits.
The Weak Bruhat Order and Separable Permutations
In this paper we consider the rank generating function of a separable permutation $π$ in the weak Bruhat order on the two intervals $[\text{id}, π]$ and $[π, w_0]$, where $w_0 = n,(n-1),..., 1$. We show a surprising result that the product of these two generating functions is the generating function for the symmetric group with the weak order. We then obtain explicit formulas for the rank generating functions on $[\text{id}, π]$ and $[π, w_0]$, which leads to the rank-symmetry and unimodality of the two graded posets.
On ternary square-free circular words
Published in Electronic Journal of Combinatorics 2010 Vol. 17(1) #R140
• View Publication
• BIB
Circular words are cyclically ordered finite sequences of letters. We give a computer-free proof of the following result by Currie: square-free circular words over the ternary alphabet exist for all lengths $l$ except for 5, 7, 9, 10, 14, and 17. Our proof reveals an interesting connection between ternary square-free circular words and closed walks in the $K_{3{,}3}$ graph. In addition, our proof implies an exponential lower bound on the number of such circular words of length $l$ and allows one to list all lengths $l$ for which such a circular word is unique up to isomorphism.
Hamiltonian cycles in Cayley graphs whose order has few prime factors
Published
• View Publication
• BIB
We prove that if Cay(G;S) is a connected Cayley graph with n vertices, and the prime factorization of n is very small, then Cay(G;S) has a hamiltonian cycle. More precisely, if p, q, and r are distinct primes, then n can be of the form kp with k < 32 and k not equal to 24, or of the form kpq with k < 6, or of the form pqr, or of the form kp^2 with k < 5, or of the form kp^3 with k < 3.
On the Davenport constant and on the structure of extremal zero-sum free sequences
Published
• View Publication
• BIB
Let $G = C_{n_1} \oplus ... \oplus C_{n_r}$ with $1 < n_1 \t ... \t n_r$ be a finite abelian group, $\mathsf d^* (G) = n_1 + ... + n_r - r$, and let $\mathsf d (G)$ denote the maximal length of a zero-sum free sequence over $G$. Then $\mathsf d (G) \ge \mathsf d^* (G)$, and the standing conjecture is that equality holds for $G = C_n^r$. We show that equality does not hold for $C_2 \oplus C_{2n}^r$, where $n \ge 3$ is odd and $r \ge 4$. This gives new information on the structure of extremal zero-sum free sequences over $C_{2n}^r$.