Showing 20 papers (Total: 82139 papers, 47531 authors in database)
Sets of generators blocking all generators in finite classical polar spaces
Published
• View Publication
• BIB
We introduce generator blocking sets of finite classical polar spaces. These sets are a generalisation of maximal partial spreads. We prove a characterization of these minimal sets of the polar spaces Q(2n,q), Q-(2n+1,q) and H(2n,q^2), in terms of cones with vertex a subspace contained in the polar space and with base a generator blocking set in a polar space of rank 2.
Contractible Hamiltonian Cycles in Polyhedral Maps
Published
• View Publication
• BIB
We present a necessary and sufficient condition for existence of a contractible Hamiltonian Cycle in the edge graph of equivelar maps on surfaces. We also present an algorithm to construct such cycles. This is further generalized and shown to hold for more general maps.
Cluster algebras and derived categories
Published
• View Publication
• BIB
This is an introductory survey on cluster algebras and their (additive) categorification using derived categories of Ginzburg algebras. After a gentle introduction to cluster combinatorics, we review important examples of coordinate rings admitting a cluster algebra structure. We then present the general definition of a cluster algebra and describe the interplay between cluster variables, coefficients, c-vectors and g-vectors. We show how c-vectors appear in the study of quantum cluster algebras and their links to the quantum dilogarithm. We then present the framework of additive categorification of cluster algebras based on the notion of quiver with potential and on the derived category of the associated Ginzburg algebra. We show how the combinatorics introduced previously lift to the categorical level and how this leads to proofs, for cluster algebras associated with quivers, of some of Fomin-Zelevinsky's fundamental conjectures.
On the Stern sequence and its twisted version
Published in Integers, 12 (2012) A58
• Search Publication
In a recent preprint on ArXiv, Bacher introduced a twisted version of the Stern sequence. His paper contains in particular three conjectures relating the generating series for the Stern sequence and for the twisted Stern sequence. Soon afterwards Coons published two papers in {\it Integers}: first he proved these conjectures, second he used his result to obtain a correlation-type identity for the Stern sequence. We recall here a simple result of Reznick and we state a similar result for the twisted Stern sequence. We deduce an easy proof of Coons' identity, and a simple proof of Bacher's conjectures. Furthermore we prove identities similar to Coons' for variations on the Stern sequence that include Bacher's sequence.
Quasi-Random profinite groups
Published
• View Publication
• BIB
We will investigate quasi-randomness for profinite groups. We will obtain bounds for the mininal degree of non-trivial representations of $\mathrm{SL}_k(\mathbb{Z}/(p^n\mathbb{Z}))$ and $\mathrm{Sp}_{2k}(\mathbb{Z}/(p^n\mathbb{Z}))$. Our method also delivers a lower bound for the minimal degree of a faithful representation for these groups. Using the suitable machinery from functional analysis, we establish exponential lower and upper bounds for the supremal measure of a product-free measurable subset of the profinite groups $\mathrm{SL}_{k}({\mathbb{Z}_p})$ and $\mathrm{Sp}_{2k}(\mathbb{Z}_p)$. We also obtain analogous bounds for a special subgroup of the automorphism group of a regular tree.
On Erdos' extremal problem on matchings in hypergraphs
Published in J. Combin.Theory, Ser.A 124 (2014) 178-194
• View Publication
• BIB
In 1965 Erdős conjectured that the number of edges in k-uniform hypergraphs on n vertices in which the largest matching has s edges is maximized for hypergraphs of one of two special types. We settled this conjecture in the affirmative for k=3 and n is large enough.
Complementary vertices and adjacency testing in polytopes
Published in Lecture Notes in Computer Science, vol. 7434, 2012, pp. 507-518
• View Publication
• BIB
Our main theoretical result is that, if a simple polytope has a pair of complementary vertices (i.e., two vertices with no facets in common), then it has at least two such pairs, which can be chosen to be disjoint. Using this result, we improve adjacency testing for vertices in both simple and non-simple polytopes: given a polytope in the standard form {x \in R^n | Ax = b and x \geq 0} and a list of its V vertices, we describe an O(n) test to identify whether any two given vertices are adjacent. For simple polytopes this test is perfect; for non-simple polytopes it may be indeterminate, and instead acts as a filter to identify non-adjacent pairs. Our test requires an O(n^2 V + n V^2) precomputation, which is acceptable in settings such as all-pairs adjacency testing. These results improve upon the more general O(nV) combinatorial and O(n^3) algebraic adjacency tests from the literature.
Implementation of a Unimodularity Test
Published
• View Publication
• BIB
This paper describes implementation and computational results of a polynomial test of total unimodularity. The test is a simplified version of a prior method. The program also decides two related unimodularity properties. The software is available free of charge in source code form under the Boost Software License.
The game Max-Welter
Published
• View Publication
• BIB
On a semi-infinite strip of squares rightward numbered $0, 1, 2, \ldots$ with at most one coin in each square, in Welter's game, two players alternately move a coin to an empty square on its left. Jumping over other coins is legal. The player who first cannot move loses. We examine a variant of Welter's game, that we call Max-Welter, in which players are allowed to move only the coin furthest to the right. We solve the winning strategy and describe the positions of Sprague-Grundy value 1. We propose two theorems classifying some special cases where calculating the Sprague-Grundy value of a position of size $k$ becomes easier by considering another position of size $k-1$. We establish two results on the periodicity of the Sprague-Grundy values. We then show that the game Max-Welter is classified in a proper subclass of tame games that Gurvich calls strongly miserable.
A new approach to asymptotics of Maclaurin coefficients of algebraic functions
Published in Centre for Discrete Mathematics and Theoretical Computer Science, Research Report Series, CDMTCS-322, April 2008
• Search Publication
We propose a general method for deriving asymptotics of the Maclaurin series coefficients of algebraic functions that is based on a procedure of K. V. Safonov and multivariate singularity analysis. We test the feasibility of this this approach by experimenting on several examples.
The internally 4-connected binary matroids with no M(K5\e)-minor
Published
• View Publication
• BIB
Let AG(3,2)xU(1,1) denote the binary matroid obtained from the direct sum of AG(3,2) and a coloop by completing the 3-point lines between every element in AG(3,2) and the coloop. We prove that every internally 4-connected binary matroid that does not have a minor isomorphic to M(K5\e) is isomorphic to a minor of (AG(3,2)xU(1,1))*.
Action of the symmetric groups on the homology of the hypertree posets
Published
• View Publication
• BIB
The set of hypertrees on $n$ vertices can be endowed with a poset structure. J. McCammond and J. Meier computed the dimension of the unique non zero homology group of the hypertree poset. We give another proof of their result and use the theory of species to determine the action of the symmetric group on this homology group, which is linked with the anti-cyclic structure of the $\operatorname{Prelie}$ operad. We also compute the action on the Whitney homology of the poset.
-----
L'ensemble des hyperarbres à $n$ sommets peut être muni d'un ordre partiel. J. McCammond et J. Meier ont calculé la dimension de l'unique groupe d'homologie non trivial du poset des hyperarbres. Après avoir donné une autre preuve de ce résultat, nous utilisons la théorie des espèces pour déterminer l'action du groupe symétrique sur ce groupe, que nous relions à la structure anti-cyclique de l'opérade $\operatorname{Prelie}$. Nous calculons aussi l'action du groupe symétrique sur l'homologie de Whitney du poset.
Lattice-point enumerators of ellipsoids
Published in Combinatorica 33 (6), 733-744, 2013
• View Publication
• BIB
Minkowski's second theorem on successive minima asserts that the volume of a 0-symmetric convex body K over the covolume of a lattice Λcan be bounded above by a quantity involving all the successive minima of K with respect to Λ. We will prove here that the number of lattice points inside K can also accept an upper bound of roughly the same size, in the special case where K is an ellipsoid. Whether this is also true for all K unconditionally is an open problem, but there is reasonable hope that the inductive approach used for ellipsoids could be extended to all cases.
Asymptotics of Random Lozenge Tilings via Gelfand-Tsetlin Schemes
Published
• View Publication
• BIB
A Gelfand-Tsetlin scheme of depth N is a triangular array with m integers at level m, m=1,...,N, subject to certain interlacing constraints. We study the ensemble of uniformly random Gelfand-Tsetlin schemes with arbitrary fixed N-th row. We obtain an explicit double contour integral expression for the determinantal correlation kernel of this ensemble (and also of its q-deformation).
This provides new tools for asymptotic analysis of uniformly random lozenge tilings of polygons on the triangular lattice; or, equivalently, of random stepped surfaces. We work with a class of polygons which allows arbitrarily large number of sides. We show that the local limit behavior of random tilings (as all dimensions of the polygon grow) is directed by ergodic translation invariant Gibbs measures. The slopes of these measures coincide with the ones of tangent planes to the corresponding limit shapes described by Kenyon and Okounkov in arXiv:math-ph/0507007. We also prove that at the edge of the limit shape, the asymptotic behavior of random tilings is given by the Airy process.
In particular, our results cover the most investigated case of random boxed plane partitions (when the polygon is a hexagon).
Macdonald polynomials in superspace as eigenfunctions of commuting operators
Published in Journal of Combinatorics 3 (2012), pages 495-561
• View Publication
• BIB
A generalization of the Macdonald polynomials depending upon both commuting and anticommuting variables has been introduced recently. The construction relies on certain orthogonality and triangularity relations. Although many superpolynomials were constructed as solutions of highly over-determined system, the existence issue was left open. This is resolved here: we demonstrate that the underlying construction has a (unique) solution. The proof uses, as a starting point, the definition of the Macdonald superpolynomials in terms of the Macdonald non-symmetric polynomials via a non-standard (anti)symmetrization and a suitable dressing by anticommuting monomials. This relationship naturally suggests the form of two family of commuting operators that have the defined superpolynomials as their common eigenfunctions. These eigenfunctions are then shown to be triangular and orthogonal. Up to a normalization, these two conditions uniquely characterize these superpolynomials. Moreover, the Macdonald superpolynomials are found to be orthogonal with respect to a second (constant-term-type) scalar product and its norm is evaluated. The latter is shown to match (up to a q-power) the conjectured norm with respect to the original scalar product. Finally, we recall the super-version of the Macdonald positivity conjecture and present two new conjectures which both provide a remarkable relationship between the new (q,t)-Kostka coefficients and the usual ones.
Tensor invariants for certain subgroups of the orthogonal group
Published
• View Publication
• BIB
Let V be an n-dimensional vector space and let On be the orthogonal group. Motivated by a question of B. Szegedy (B. Szegedy, Edge coloring models and reflection positivity, Journal of the American Mathematical Society Volume 20, Number 4, 2007), about the rank of edge connection matrices of partition functions of vertex models, we give a combinatorial parameterization of tensors in V \otimes k invariant under certain subgroups of the orthogonal group. This allows us to give an answer to this question for vertex models with values in an algebraically closed field of characteristic zero.
On Two Types of Harmonic Number Identities
Two types of finite series of products of harmonic numbers involving nonnegative integer powers are evaluated, also yielding two other important harmonic number identities. The recursion formulas for these sums are derived, which are easily translated into a computer program.
High order three-term recursions, Riemann-Hilbert minors and Nikishin systems on star-like sets
Published in Constr. Approx. 37 (2013), 383-453
• View Publication
• BIB
We study monic polynomials $Q_n(x)$ generated by a high order three-term recursion $xQ_n(x)=Q_{n+1}(x)+a_{n-p} Q_{n-p}(x)$ with arbitrary $p\geq 1$ and $a_n>0$ for all $n$. The recursion is encoded by a two-diagonal Hessenberg operator $H$. One of our main results is that, for periodic coefficients $a_n$ and under certain conditions, the $Q_n$ are multiple orthogonal polynomials with respect to a Nikishin system of orthogonality measures supported on star-like sets in the complex plane. This improves a recent result of Aptekarev-Kalyagin-Saff where a formal connection with Nikishin systems was obtained in the case when $\sum_{n=0}^{\infty}|a_n-a|<\infty$ for some $a>0$.
An important tool in this paper is the study of "Riemann-Hilbert minors", or equivalently, the "generalized eigenvalues" of the Hessenberg matrix $H$. We prove interlacing relations for the generalized eigenvalues by using totally positive matrices. In the case of asymptotically periodic coefficients $a_n$, we find weak and ratio asymptotics for the Riemann-Hilbert minors and we obtain a connection with a vector equilibrium problem. We anticipate that in the future, the study of Riemann-Hilbert minors may prove useful for more general classes of multiple orthogonal polynomials.
Alcoved Polytopes II
Published
• View Publication
• BIB
This is the second of two papers where we study polytopes arising from affine Coxeter arrangements. Our results include a formula for their volumes, and also compatible definitions of hypersimplices, descent numbers and major index for all Weyl groups. We give a q-analogue of Weyl's formula for the order of the Weyl group. For A_n, C_n and D_4, we give a Grobner basis which induces the triangulation of alcoved polytopes.
$k$-colored kernels in semicomplete multipartite digraphs
An $m$-colored digraph $D$ has $k$-colored kernel if there exists a subset $K $ of its vertices such that for every vertex $v\notin K$ there exists an at most $k$-colored directed path from $v$ to a vertex of $K$ and for every $% u,v\in K$ there does not exist an at most $k$-colored directed path between them. In this paper we prove that an $m$-colored semicomplete $r$-partite digraph $D$ has a $k$-colored kernel provided that $r\geq 3$ and
{enumerate} [(i)] $k\geq 4,$
[(ii)] $k=3$ and every $\overrightarrow{C}_{4}$ contained in $D$ is at most 2-colored and, either every $\overrightarrow{C}_{5}$ contained in $D$ is at most 3-colored or every $\overrightarrow{C}_{3}\uparrow \overrightarrow{C}_{3}$ contained in $D$ is at most 2-colored,
[(iii)] $k=2$ and every $\overrightarrow{C}_{3}$ and $\overrightarrow{C}%_{4}$ contained in $D$ is monochromatic. {enumerate}
If $D$ is an $m$-colored semicomplete bipartite digraph and $k=2$ (resp. $k=3 $) and every $\overrightarrow{C}_{4}\upuparrows \overrightarrow{C}_{4}$ contained in $D$ is at most 2-colored (resp. 3-colored), then $D$ has a $% 2$-colored (resp. 3-colored) kernel. Using these and previous results, we obtain conditions for the existence of $k$-colored kernels in $m$-colored semicomplete $r$-partite digraphs for every $k\geq 2$ and $r\geq 2$.