arXiv++ Combinatorics

Browse math.CO papers from arXiv

Showing 20 papers (Total: 81378 papers, 47165 authors in database)
2002-01-07
Schensted-type correspondence, plactic monoid and jeu de taquin for type C
Published • View PublicationBIB
We use Kashiwara's theory of crystal bases to study the plactic monoid for type C. Then we describe the correponding sliding and bumping algorithms.
2002-01-07
Entropy, dimension and the Elton-Pajor Theorem
The Vapnik-Chervonenkis dimension of a set K in R^n is the maximal dimension of the coordinate cube of a given size, which can be found in coordinate projections of K. We show that the VC dimension of a convex body governs its entropy. This has a number of consequences, including the optimal Elton's theorem and a uniform central limit theorem in the real valued case.
2002-01-03
On the eigenvalue estimates for the weighted Laplacian on metric graphs
Published in In the book: INTERNATIONAL MATHEMATICAL SERIES. Nonlinear Problems in Mathematical Physics and Related Topics I. In Honor of Professor Ladyzhenskaya. Kluwer Academic/Plenum Publishers, 2002, p.327 - 348 • View PublicationBIB
Eigenvalue behavior for the equation -λy"=Vu on the edges of a graph G of final total length, with a non-negative weight function V and under the Kirchhoff matching conditions at the vertices and zero boundary condition at at least one point of G, is studied. It is shown that the eigenvalues satisfy an inequality which involves the length |G| and the total mass corresponding to V but otherwise does not depend on the graph. Applications and generalizations of this result are also discussed.
2002-01-03
Estimating Maximum by Moments for Functions on Orbits
Published • View PublicationBIB
Let G be a compact group acting in a real vector space V. We obtain a number of inequalities relating the L^infinity norm of a matrix element of the representation of G with its L^p norm for p<infinity. We apply our results to obtain approximation algorithms to find the maximum absolute value of a given multivariate polynomial over the unit sphere (in which case G is the orthogonal group) and for the multidimensional assignment problem, a hard problem of combinatorial optimization (in which case G is the symmetric group).
2002-01-02 v5
Data mining for cones of metrics, quasi-metrics, hemi-metrics and super-metrics
Using some adaptations of the adjacency decomposition method \cite{CR} and the program {\it cdd} (~\cite{Fu}), we compute the first computationally difficult cases of convex cones of $m$-ary and oriented analogs of semi-metrics and cut semi-metrics, which were introduced in \cite{DR2} and \cite{DP}. We considered also more general notion of $(m,s)$-super-metric and corresponding cones. The data on related cones - the number of facets, of extreme rays, of their orbits and diameters - are collected in Table \ref{tab:MainLovelyTable}. We study also criterion of adjacency for skeletons of those cones and their duals. Some families of extreme rays and operations on them are also given.
2002-01-02
Tokens: An Algebraic Construction Common in Combinatorics, Analysis, and Physics
Published in Func. An.: Proc. of the Ukr. Math. Congress-2001, Kiev, 2002. p. 146-155 • Search Publication
We give a brief account of a construction called tokens here, which is significant in algebra, analysis, combinatorics, and physics. Tokens allow to express a semigroup on one set via a semigroup convolution on another set. Therefore tokens are similar to intertwining operators but are more flexible. Keywords: semigroups, hypergroups, tokens, poset, multiplicative functions, polynomial sequence of binomial type, integral kernel, wavelets, refinement equation, special functions, quantum propagator, path integral, quantum computing.
The number of "magic" squares and hypercubes
Published in American Mathematical Monthly 110, no. 8 (2003), 707-717 • View PublicationBIB
We define a magic square to be a square matrix whose entries are nonnegative integers and whose rows, columns, and main diagonals sum up to the same number. We prove structural results for the number of such squares as a function of the size of the matrix and the line sum. We give examples for small sizes and show similar results for symmetric, pandiagonal magic squares, and magic hypercubes.
2001-12-31 v3
Rim Hook Tableaux and Kostant's $η$-Function Coefficients
Published • View PublicationBIB
Using a 0/1 encoding of Young diagrams and its consequences for rim hook tableaux, we prove a reduction formula of Littlewood for arbitrary characters of the symmetric group, evaluated at elements with all cycle lengths divisible by a given integer. As an application, we find explicitly the coefficients in a formula of Kostant for certain powers of the Dedekind $η$-function, avoiding most of the original machinery.
2001-12-27
Words restricted by 3-letter generalized multipermutation patterns
Published • View PublicationBIB
We find exact formulas and/or generating functions for the number of words avoiding 3-letter generalized multipermutation patterns and find which of them are equally avoided.
2001-12-27
On multiplicities of points on Schubert varieties in Graszmannians II
Published in J. Algebraic Combin. 22 (2005), 273-288. • View PublicationBIB
We prove a conjecture by Kreiman and Lakshmibai on a combinatorial description of multiplicities of points on Schubert varieties in Graszmannians in terms of certain sets of reflections in the corresponding Weyl group. The proof is accomplished by setting up a bijection between these sets of reflections and the author's previous combinatorial interpretation of these multiplicities in terms of nonintersecting lattice paths (Séminaire Lotharingien Combin. 45 (2001), Article B45c; see http://www.mat.univie.ac.at/~slc/wpapers/s45kratt.html or http://www.arxiv.org/abs/math.AG/0011129).
2001-12-23
A bijective proof of the hook-length formula for shifted standard tableaux
We present a bijective proof of the hook-length formula for shifted standard tableaux of a fixed shape based on a modified jeu de taquin and the ideas of the bijective proof of the hook-length formula for ordinary standard tableaux by Novelli, Pak and Stoyanovskii. In their proof Novelli, Pak and Stoyanovskii define a bijection between arbitrary fillings of the Ferrers diagram with the integers $1,2,...,n$ and pairs of standard tableaux and hook tabloids. In our shifted version of their algorithm the map from the set of arbitrary fillings of the shifted Ferrers diagram onto the set of shifted standard tableaux is analog to the construction of Novelli, Pak and Stoyanovskii, however, unlike to their algorithm, we are forced to use the 'rowwise' total order of the cells in the shifted Ferrers diagram rather than the 'columnwise' total order as the underlying order in the algorithm. Unfortunately the construction of the shifted hook tabloid is more complicated in the shifted case. As a side-result we obtain a simple random algorithm for generating shifted standard tableaux of a given shape, which produces every such tableau equally likely.
2001-12-23 v7
Additivity properties of topological diagonalizations
Published in Journal of Symbolic Logic 68 (2003), 1254--1260 • View PublicationBIB
We answer a question of Just, Miller, Scheepers and Szeptycki whether certain diagonalization properties for sequences of open covers are provably closed under taking finite or countable unions. This is a very concise paper. For a self-contained, complete, and extended treatment of the topic see math.GN/0604451
2001-12-23
A symmetry theorem on a modified jeu de taquin
Published • View PublicationBIB
For their bijective proof of the hook-length formula for the number of standard tableaux of a fixed shape Novelli, Pak and Stoyanovskii define a modified jeu de taquin which transforms an arbitrary filling of the Ferrers diagram with $1,2,...,n$ (tabloid) into a standard tableau. Their definition relies on a total order of the cells in the Ferrers diagram induced by a special standard tableau, however, this definition also makes sense for the total order induced by any other standard tableau. Given two standard tableaux $P,Q$ of the same shape we show that the number of tabloids which result in $P$ if we perform modified jeu de taquin with respect to the total order induced by $Q$ is equal to the number of tabloids which result in $Q$ if we perform modified jeu de taquin with respect to $P$. This symmetry theorem extends to skew shapes and shifted skew shapes.
2001-12-23 v2
Reformulating the Map Color Theorem
Published • View PublicationBIB
This paper discusses reformulations of the problem of coloring plane maps with four colors. The context is the edge-coloring with three colors of cubic graphs such that three distinct colors occur at each vertex. We include discussion of the Eliahou-Kryuchkov conjecture, the Penrose formula, the vector cross product formulation and the reformulations in terms of formations and factorizations due to G. Spencer-Brown. The latter includes a proof of the Spencer-Brown parity lemma and discussion of the parity-pass algorithm.
2001-12-22
The computational complexity of the local postage stamp problem
Published • View PublicationBIB
The well-studied local postage stamp problem (LPSP) is the following: given a positive integer k, a set of postive integers 1 = a1 < a2 < ... < ak and an integer h >= 1, what is the smallest positive integer which cannot be represented as a linear combination x1 a1 + ... + xk ak where x1 + ... + xk <= h and each xi is a non-negative integer? In this note we prove that LPSP is NP-hard under Turing reductions, but can be solved in polynomial time if k is fixed.
Classification of Finite Dynamical Systems
This paper is motivated by the theory of sequential dynamical systems, developed as a basis for a mathematical theory of computer simulation. It contains a classification of finite dynamical systems on binary strings, which are obtained by composing functions defined on the coordinates. The classification is in terms of the dependency relations among the coordinate functions. It suggests a natural notion of the linearization of a system. Furthermore, it contains a sharp upper bound on the number of systems in terms of the dependencies among the coordinate functions. This upper bound generalizes an upper bound for sequential dynamical systems.
2001-12-19
Free martingale polynomials
Published in J. Funct. Anal. 201 (2003), 228-261 • View PublicationBIB
In this paper we investigate the properties of the free Sheffer systems, which are certain families of martingale polynomials with respect to the free Levy processes. First, we classify such families that consist of orthogonal polynomials; these are the free analogs of the Meixner systems. Next, we show that the fluctuations around free convolution semigroups have as principal directions the polynomials whose derivatives are martingale polynomials. Finally, we indicate how Rota's finite operator calculus can be modified for the free context.
2001-12-19 v2
On Filamentations and Virtual Knots
Published in Topology and its Applications. 134 (2003), 23-52. • View PublicationBIB
In this paper, we discuss filamentations on oriented chord diagrams. When a filamentation cannot be realized on an oriented chord diagram, then the corresponding flat virtual knot is non-trivial. If a flat knot diagram is non-trivial, then any virtual diagram whose shadow is the flat diagram must also be non-trivial. We introduce a class of flat diagrams for which no filamentations exist. This class gives the first example of an infinite set of virtual knots for which the Jones polynomial and the fundamental group both evaluate trivially. The related generalized Alexander polynomials for the virtual knots in this class turn out to be distinct, proving that the class is indeed infinite.
2001-12-19
Moments of characteristic polynomials enumerate two-rowed lexicographic arrays
Published • View PublicationBIB
A combinatorial interpretation is provided for the moments of characteristic polynomials of random unitary matrices. This leads to a rather unexpected consequence of the Keating and Snaith conjecture: the moments of $\midξ(1/2+it)\mid$ turn out to be connected with some increasing subsequences problems (such as the last passage percolation problem).
2001-12-18 v2
Permutation group algebras
Published in J. Alg. Combinatorics, 19 (2004), pp. 25--45 • Search Publication
We consider the permutation group algebra defined by Cameron and show that if the permutation group has no finite orbits, then no homogeneous element of degree one is a zero-divisor of the algebra. We proceed to make a conjecture which would show that the algebra is an integral domain if, in addition, the group is oligomorphic. We go on to show that this conjecture is true in certain special cases, including those of the form H Wr S and H Wr A, and show that in the oligormorphic case, the algebras corresponding to these special groups are polynomial algebras. In the H Wr A case, the algebra is related to the shuffle algebra of free Lie algebra theory. We finish by considering some integer sequences which arise from certain of these groups.