Showing 20 papers (Total: 83076 papers, 47999 authors in database)
New Graphs of Finite Mutation Type
Published
• View Publication
• BIB
To a directed graph without loops and 2-cycles, we can associate a skew-symmetric matrix with integer entries. Mutations of such skew-symmetric matrices, and more generally skew-symmetrizable matrices, have been defined in the context of cluster algebras by Fomin and Zelevinsky. The mutation class of a graph G is the set of all isomorphism classes of graphs that can be obtained from G by a sequence of mutations. A graph is called mutation-finite if its mutation class is finite. Fomin, Shapiro and Thurston constructed mutation-finite graphs from triangulations of oriented bordered surfaces with marked points. We will call such graphs "of geometric type". Besides graphs with 2 vertices, and graphs of geometric type, there are only 9 other "exceptional" mutation classes that are known to be finite. In this paper we introduce 2 new exceptional finite mutation classes.
On the Mullineux involution for Ariki-Koike algebras
Published
• View Publication
• BIB
This note is concerned with a natural generalization of the Mullineux involution for Ariki-Koike algebras. Using a result of Fayers together with previous results by the authors, we give an efficient algorithm for computing this generalized Mullineux involution. Our algorithm notably does not involve the determination of paths in affine crystals.
Convergence Properties of Kemp's q-Binomial Distribution
Published
• View Publication
• BIB
We consider Kemp's q-analogue of the binomial distribution. Several convergence results involving the classical binomial, the Heine, the discrete normal, and the Poisson distribution are established. Some of them are q-analogues of classical convergence properties. Besides elementary estimates, we apply Mellin transform asymptotics.
Tropical Hurwitz Numbers
Published
• View Publication
• BIB
Hurwitz numbers count genus g, degree d covers of the projective line with fixed branch locus. This equals the degree of a natural branch map defined on the Hurwitz space. In tropical geometry, algebraic curves are replaced by certain piece-wise linear objects called tropical curves. This paper develops a tropical counterpart of the branch map and shows that its degree recovers classical Hurwitz numbers.
Chemical trees minimizing energy and Hosoya index
Published in J. Math. Chem. 46 (2009), 214-230
• View Publication
• BIB
The energy of a molecular graph is a popular parameter that is defined as the sum of the absolute values of a graph's eigenvalues. It is well known that the energy is related to the matching polynomial and thus also to the Hosoya index via a certain Coulson integral. Trees minimizing the energy under various additional conditions have been determined in the past, e.g., trees with a given diameter or trees with a perfect matching. However, it is quite a natural problem to minimize the energy of trees with bounded maximum degree--clearly, the case of maximum degree 4 (so-called chemical trees) is the most important one. We will show that the trees with given maximum degree that minimize the energy are the same that have been shown previously to minimize the Hosoya index and maximize the Merrifield-Simmons index, thus also proving a conjecture due to Fischermann et al. Finally, we show that the minimal energy grows linearly with the size of the trees, with explicitly computable growth constants that only depend on the maximum degree.
The structure of unicellular maps, and a connection between maps of positive genus and planar labelled trees
Published in Probability Theory and Related Fields 147(3):415-447 (2010)
• View Publication
• BIB
A unicellular map is a map which has only one face. We give a bijection between a dominant subset of rooted unicellular maps of fixed genus and a set of rooted plane trees with distinguished vertices. The bijection applies as well to the case of labelled unicellular maps, which are related to all rooted maps by Marcus and Schaeffer's bijection.
This gives an immediate derivation of the asymptotic number of unicellular maps of given genus, and a simple bijective proof of a formula of Lehman and Walsh on the number of triangulations with one vertex. From the labelled case, we deduce an expression of the asymptotic number of maps of genus g with n edges involving the ISE random measure, and an explicit characterization of the limiting profile and radius of random bipartite quadrangulations of genus g in terms of the ISE.
Short expressions of permutations as products and cryptanalysis of the Algebraic Eraser
Published in Advances in Applied Mathematics 49 (2012) 57-76
• View Publication
• BIB
On March 2004, Anshel, Anshel, Goldfeld, and Lemieux introduced the \emph{Algebraic Eraser} scheme for key agreement over an insecure channel, using a novel hybrid of infinite and finite noncommutative groups. They also introduced the \emph{Colored Burau Key Agreement Protocol (CBKAP)}, a concrete realization of this scheme.
We present general, efficient heuristic algorithms, which extract the shared key out of the public information provided by CBKAP. These algorithms are, according to heuristic reasoning and according to massive experiments, successful for all sizes of the security parameters, assuming that the keys are chosen with standard distributions.
Our methods come from probabilistic group theory (permutation group actions and expander graphs). In particular, we provide a simple algorithm for finding short expressions of permutations in $S_n$, as products of given random permutations. Heuristically, our algorithm gives expressions of length $O(n^2\log n)$, in time and space $O(n^3)$. Moreover, this is provable from \emph{the Minimal Cycle Conjecture}, a simply stated hypothesis concerning the uniform distribution on $S_n$. Experiments show that the constants in these estimations are small. This is the first practical algorithm for this problem for $n\ge 256$.
Remark: \emph{Algebraic Eraser} is a trademark of SecureRF. The variant of CBKAP actually implemented by SecureRF uses proprietary distributions, and thus our results do not imply its vulnerability. See also arXiv:abs/12020598
Partial Chromatic Polynomials and Diagonally Distinct Sudoku Squares
Sudoku grids can be thought of as graphs where the vertices are the squares of the grid, and edges join vertices in the same row, column, or sub-grid. A Sudoku puzzle corresponds to a partial proper coloring of the Sudoku graph. We provide a new and simpler proof of the theorem which states that the number of completions of partial colorings of a graph is a polynomial in the number of colors (originally due to Herzberg and Murty). Moreover, we construct Sudoku squares of arbitrary size with distinct entries on both diagonals (a similar proof was first published by Keedwell, unknown to the author).
Stability results for uniquely determined sets from two directions in discrete tomography
Published
• View Publication
• BIB
In this paper we prove several new stability results for the reconstruction of binary images from two projections. We consider an original image that is uniquely determined by its projections and possible reconstructions from slightly different projections. We show that for a given difference in the projections, the reconstruction can only be disjoint from the original image if the size of the image is not too large. We also prove an upper bound for the size of the image given the error in the projections and the size of the intersection between the image and the reconstruction.
A Multilinear Operator for Almost Product Evaluation of Hankel Determinants
In a recent paper we have presented a method to evaluate certain Hankel determinants as almost products; i.e. as a sum of a small number of products. The technique to find the explicit form of the almost product relies on differential-convolution equations and trace calculations. In the trace calculations a number of intermediate nonlinear terms involving determinants occur, but only to cancel out in the end. In this paper, we introduce a class of multilinear operators γacting on tuples of matrices as an alternative to the trace method. These operators do not produce extraneous nonlinear terms, and can be combined easily with differentiation. The paper is self contained. An example of an almost product evaluation using γ-operators is worked out in detail and tables of the γ-operator values on various forms of matrices are provided. We also present an explicit evaluation of a new class of Hankel determinants and conjectures.
Asymptotic behavior of permutation records
Published in J. Combin. Theory Ser. A 116 (2009), no. 6, 1154-1166
• View Publication
• BIB
We study the asymptotic behavior of two statistics defined on the symmetric group S_n when n tends to infinity: the number of elements of S_n having k records, and the number of elements of S_n for which the sum of the positions of their records is k. We use a probabilistic argument to show that the scaled asymptotic behavior of these statistics can be described by remarkably simple functions.
Embedding in a perfect code
Published in J. Comb. Des. 17(5) 2009, 419-423
• View Publication
• BIB
A binary 1-error-correcting code can always be embedded in a 1-perfect code of some larger length
Grassmannians of classical buildings
Published
• View Publication
• BIB
This book is dedicated to Grassmannians associated with buildings of classical types: usual, polar, and half-spin Grassmannians. Grassmannians of vector spaces and Grassmannians consisting of totally isotropic subspaces of non-degenerate alternating, Hermitian, and symmetric forms are special cases of these "building" Grassmannians.
Phase Transitions in Partially Structured Random Graphs
We study a one parameter family of random graph models that spans a continuum between traditional random graphs of the Erdős-Rényi type, where there is no underlying structure, and percolation models, where the possible edges are dictated exactly by a geometry. We find that previously developed theories in the fields of random graphs and percolation have, starting from different directions, covered almost all the models described by our family. In particular, the existence or not of a phase transition where a giant cluster arises has been proved for all values of the parameter but one. We prove that the single remaining case behaves like a random graph and has a single linearly sized cluster when the expected vertex degree is greater than one.
Complexity and cohomology for cut and projection tilings
Published
• View Publication
• BIB
We consider a subclass of tilings, the tilings obtained by cut and projection. Under somewhat standard assumptions, we show that the natural complexity function has polynomial growth. We compute its exponent αin terms of the ranks of certain groups which appear in the construction. We give bounds for α. These computations apply to some well known tilings, such as the octagonal tilings, or tilings associated with billiard sequences. A link is made between the exponent of the complexity, and the fact that the cohomology of the associated tiling space is finitely generated over \Q. We show that such a link cannot be established for more general tilings, and we present a counter-example in dimension one.
Extremality and designs in spaces of quadratic forms
A well known theorem of Voronoi caracterizes extreme quadratic forms and Euclidean lattices, that is those which are local maxima for the Hermite function, as perfect and eutactic. This caracterization has been extended in various cases, such that family of lattices, sections of lattices, Humbert forms, etc. Moreover, there is a criterion for extreme lattices, discovered by Venkov, formulated in terms of spherical designs which has been extended in the case of Grassmannians and sections of lattices. In this article, we define a general frame, in which there is a ``Voronoi characterization'', and a ``Venkov criterion'' through an appropriate notion of design. This frame encompasses many interesting situations in which a ``Voronoi characterization'' has been proved. We also discuss the question of extremality relatively to the Epstein zeta function, and we extend to our frame a characterization of final zeta-extremality formulated by Delone and Ryshkov and a criterion in terms of designs found by Coulangeon.
Bent Rectangles
Published
• View Publication
• BIB
We study generalized regular bent functions using a representation by bent rectangles, that is, special matrices with restrictions on rows and columns. We describe affine transformations of bent rectangles, propose new biaffine and bilinear constructions, study partitions of a vector space into affine planes of the same dimension and use such partitions to build bent rectangles. We illustrate the concept of bent rectangles by examples for the Boolean case.
Riffles, ruffles, and the turning algebra
The rising algebra is a subalgebra of the group algebra of the symmetric group S_n, gotten by lumping together permutations having the same number of rising sequences. This well-known algebra arises naturally when studying riffle shuffles. Here we introduce a number of other subalgebras that arise naturally when studying `ruffles', which are like riffles except that after cutting the deck you turn over the bunch of cards that were on the bottom.
This orphaned draft offers no context or motivation, and uses idiosyncratic notation and terminology that `seemed like a good idea at the time'. We're making it available because it has been cited in this form.
Disk single Hurwitz numbers
Published
• View Publication
• BIB
It is investigated Hurwitz numbers, that correspond to covering of disk with single non-simple boundary critical value. It is found differential equations, that describe a generating function for these numbers.
The critical exponent of the Arshon words
Published
• View Publication
• BIB
Generalizing the results of Thue (for n = 2) and of Klepinin and Sukhanov (for n = 3), we prove that for all n greater than or equal to 2, the critical exponent of the Arshon word of order $n$ is given by (3n-2)/(2n-2), and this exponent is attained at position 1.