Showing 20 papers (Total: 81680 papers, 47334 authors in database)
Generalizations of product-free subsets
Published
• View Publication
• BIB
For any group G of order n, a subset A of G is said to be product-free if there is no solution of the equation ab=c with a,b,c in A. Previous results of Gowers showed that the size of any product-free subset of G is at most n/d^(1/3), where d is the smallest dimension of a nontrivial representation of G. However, this upper bound does not match the best lower bound. We will generalize the upper bound to the case of product-poor subsets A, in which the equation ab=c is allowed to have a few solutions with a,b,c in A. We prove that the upper bound for the size of product-poor subsets matches the best lower bound in many families of groups. We will also generalize the concept of product-free to the case in which we have many subsets of a group, and different constraints about products of the elements in the subsets.
Using the Incompressibility Method to obtain Local Lemma results for Ramsey-type Problems
Published
• View Publication
• BIB
We reveal a connection between the incompressibility method and the Lovasz local lemma in the context of Ramsey theory. We obtain bounds by repeatedly encoding objects of interest and thereby compressing strings. The method is demonstrated on the example of van der Waerden numbers. It applies to lower bounds of Ramsey numbers, large transitive subtournaments and other Ramsey phenomena as well.
Complements and signed digit representations: Analysis of a multi-exponentiation-algorithm of Wu, Lou, Lai and Chang
Published in Internat. J. Found. Comput. Sci. 20 (2009), 443-453
• View Publication
• BIB
Wu, Lou, Lai and Chang proposed a multi-exponentiation algorithm using binary complements and the non-adjacent form. The purpose of this paper is to show that neither the analysis of the algorithm given by its original proposers nor that by other authors are correct. In fact it turns out that the complement operation does not have significant influence on the performance of the algorithm and can therefore be omitted.
Quasi-randomness is determined by the distribution of copies of a fixed graph in equicardinal large sets
Published
• View Publication
• BIB
For every fixed graph $H$ and every fixed $0 < α< 1$, we show that if a graph $G$ has the property that all subsets of size $αn$ contain the ``correct'' number of copies of $H$ one would expect to find in the random graph $G(n,p)$ then $G$ behaves like the random graph $G(n,p)$; that is, it is $p$-quasi-random in the sense of Chung, Graham, and Wilson. This solves a conjecture raised by Shapira and solves in a strong sense an open problem of Simonovits and Sós.
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.