arXiv++ Combinatorics

Browse math.CO papers from arXiv

Showing 20 papers (Total: 81680 papers, 47334 authors in database)
2008-04-01 v2
Bent Rectangles
Published • View PublicationBIB
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.
2008-04-01
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.
2008-04-01 v2
Disk single Hurwitz numbers
Published • View PublicationBIB
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.
2008-04-01
The critical exponent of the Arshon words
Published • View PublicationBIB
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.
2008-03-31
Solution to a combinatorial puzzle arising from Mayer's theory of cluster integrals
Published in Seminaire Lotharingien de Combinatoire 59 (2008) B59e • Search Publication
Mayer's theory of cluster integrals allows one to write the partition function of a gas model as a generating function of weighted graphs. Recently, Labelle, Leroux and Ducharme have studied the graph weights arising from the one-dimensional hard-core gas model and noticed that the sum of the weights over all connected graphs with $n$ vertices is $(-n)^{n-1}$. This is, up to sign, the number of rooted Cayley trees on $n$ vertices and the authors asked for a combinatorial explanation. The main goal of this article is to provide such an explanation.
2008-03-31
A Symmetric Algorithm for Hyperharmonic and Fibonacci Numbers
Published • View PublicationBIB
In this work, we introduce a symmetric algorithm obtained by the recurrence relation a_{n}^{k}=a_{n-1}^{k}+a_{n}^{k-1}. We point out that this algorithm can be apply to hyperharmonic-, ordinary and incomplete Fibonacci- and Lucas numbers. An explicit formulae for hyperharmonic numbers, general generating functions of the Fibonacci- and Lucas numbers are obtained. Besides we define "hyperfibonacci numbers", "hyperlucas numbers". Using these new concepts, some relations between ordinary and incomplete Fibonacci- and Lucas numbers are investigated.
2008-03-31 v2
On the number of graphs not containing $K_{3,3}$ as a minor
Published • View PublicationBIB
We derive precise asymptotic estimates for the number of labelled graphs not containing $K_{3,3}$ as a minor, and also for those which are edge maximal. Additionally, we establish limit laws for parameters in random $K_{3,3}$-minor-free graphs, like the expected number of edges. To establish these results, we translate a decomposition for the corresponding graph class into equations for generating functions and use singularity analysis. We also find a precise estimate for the number of graphs not containing the graph $K_{3,3}$ plus an edge as a minor.
2008-03-31
On the maximum size of a $(k,l)$-sum-free subset of an abelian group
Published • View PublicationBIB
A subset $A$ of a given finite abelian group $G$ is called $(k,l)$-sum-free if the sum of $k$ (not necessarily distinct) elements of $A$ does not equal the sum of $l$ (not necessarily distinct) elements of $A$. We are interested in finding the maximum size $λ_{k,l}(G)$ of a $(k,l)$-sum-free subset in $G$. A $(2,1)$-sum-free set is simply called a sum-free set. The maximum size of a sum-free set in the cyclic group $\mathbb{Z}_n$ was found almost forty years ago by Diamanda and Yap; the general case for arbitrary finite abelian groups was recently settled by Green and Ruzsa. Here we find the value of $λ_{3,1}(\mathbb{Z}_n)$. More generally, a recent paper of Hamidoune and Plagne examines $(k,l)$-sum-free sets in $G$ when $k-l$ and the order of $G$ are relatively prime; we extend their results to see what happens without this assumption.
2008-03-31
Elementary proof of Rayleigh formula for graphs
The Rayleigh monotonicity is a principle from the theory of electrical networks. Its combinatorial interpretation says for each two edges of a graph G, that the presence of one of them in a random spanning tree of G is negatively correlated with the presence of the other edge. In this paper we give a self-contained (inductive) proof of Rayleigh monotonicity for graphs.
2008-03-31 v2
A combinatorial proof of Rayleigh monotonicity for graphs
Published in Ars Combin. 117 (2014), 333-348 • Search Publication
We give an elementary, self-contained, and purely combinatorial proof of the Rayleigh monotonicity property of graphs.
2008-03-29
A Bijection Between Partially Directed Paths in the Symmetric Wedge and Matchings
We give a bijection between partially directed paths in the symmetric wedge y= +/-x and matchings, which sends north steps to nestings. This gives a bijective proof of a result of Prellberg et al. that was first discovered through the corresponding generating functions: the number of partially directed paths starting at the origin confined to the symmetric wedge y= +/-x with k north steps is equal to the number of matchings on [2n] with k nestings.
2008-03-29
Non-crossing Knight's Tour in 3-Dimension
Non-crossing knight's tours in 3-dimension is a new field of research. The author has shown its possibility in small cuboids and in cubes up to 8x8x8 size. It can also be extended to larger size cubes and cuboids. The author has achieved jumps of length 15, 46, 88, 159, 258 and 395 in cubes of size 3x3x3, 4x4x4, 5x5x5, 6x6x6, 7x7x7 and 8x8x8 respectively. This amounts to covering 59%, 73%, 71%, 74%, 76% and 77% cells in these cubes.
2008-03-29 v2
Appell polynomials and their relatives III. Conditionally free theory
Published in Illinois J. Math. 53 (2009), 39-66 • View PublicationBIB
We extend to the multivariate non-commutative context the descriptions of a "once-stripped" probability measure in terms of Jacobi parameters, orthogonal polynomials, and the moment generating function. The corresponding map Phi on states was introduced previously by Belinschi and Nica. We then relate these constructions to the c-free probability theory, which is a version of free probability for algebras with two states, introduced by Bozejko, Leinert, and Speicher. This theory includes as two extreme cases the free and Boolean probability theories. The main objects in the paper are the analogs of the Appell polynomial families in the two state context. They arise as fixed points of the transformation which takes a polynomial family to the associated polynomial family (in several variables), and their orthogonality is also related to the map Phi above. In addition, we prove recursions, generating functions, and factorization and martingale properties for these polynomials, and describe the c-free version of the Kailath-Segall polynomials, their combinatorics, and Hilbert space representations.
2008-03-29
Overview of some general results in combinatorial enumeration
Published • View PublicationBIB
This survey article is devoted to general results in combinatorial enumeration. The first part surveys results on growth of hereditary properties of combinatorial structures. These include permutations, ordered and unordered graphs and hypergraphs, relational structures, and others. The second part advertises five topics in general enumeration: 1. counting lattice points in lattice polytopes, 2. growth of context-free languages, 3. holonomicity (i.e., P-recursiveness) of numbers of labeled regular graphs, 4. frequent occurrence of the asymptotics cn^{-3/2}r^n and 5. ultimate modular periodicity of numbers of MSOL-definable structures.
2008-03-28 v2
A Note on Ternary Sequences of Strings of 0 and 1
B. D. Acharya has conjectured that if $\bigl(A_i: i=1, 2, ..., 2^{|X|}-1\bigr)$ is a permutation of all nonempty subsets of a set $X$ with at least two elements such that for each even positive integer $j<2^{|X|}-1$, $A_{j-1}\triangle A_j\triangle A_{j+1}=\emptyset$, then $|X|=2$. In this article, we show that if the cardinality of a set $X$ is more than four, then a permutation as described above indeed exists.
2008-03-28 v2
Parity patterns associated with lifts of Hecke groups
Published in Abh. Math. Sem. Univ. Hamburg 78 (2008), 99-147. • View PublicationBIB
Let $q$ be an odd prime, $m$ a positive integer, and let $\Ga_m(q)$ be the group generated by two elements $x$ and $y$ subject to the relations $x^{2m}=y^{qm}=1$ and $x^2=y^q$; that is, $\Ga_m(q)$ is the free product of two cyclic groups of orders $2m$ respectively $qm$, amalgamated along their subgroups of order $m$. Our main result determines the parity behaviour of the generalized subgroup numbers of $\Ga_m(q)$ which were defined in [T. W. Müller, Adv. in Math. 153 (2000), 118-154], and which count all the homomorphisms of index $n$ subgroups of $\Ga_m(q)$ into a given finite group $H$, in the case when $\gcd(m,| H|)=1$. This computation depends upon the solution of three counting problems in the Hecke group $\mathfrak H(q)=C_2*C_q$: (i) determination of the parity of the subgroup numbers of $\mathfrak H(q)$; (ii) determination of the parity of the number of index $n$ subgroups of $\mathfrak H(q)$ which are isomorphic to a free product of copies of $C_2$ and of $C_\infty$; (iii) determination of the parity of the number of index $n$ subgroups in $\mathfrak H(q)$ which are isomorphic to a free product of copies of $C_q$. The first problem has already been solved in [T. W. Müller, in: {\it Groups: Topological, Combinatorial and Arithmetic Aspects}, (T. W. Müller ed.), LMS Lecture Notes Series 311, Cambridge University Press, Cambridge, 2004, pp. 327-374]. The bulk of our paper deals with the solution of Problems (ii) and (iii).
2008-03-28
A normalization formula for the Jack polynomials in superspace and an identity on partitions
Published • View PublicationBIB
We prove a previously conjectured closed form formula for the norm of the Jack polynomials in superspace with respect to a certain scalar product. The proof is mainly combinatorial and relies on the explicit expression in terms of admissible tableaux of the non-symmetric Jack polynomials. In the final step of the proof appears an identity on weighted sums of partitions that we demonstrate using the methods of Gessel-Viennot.
Combinatorics of binomial primary decomposition
Published • View PublicationBIB
An explicit lattice point realization is provided for the primary components of an arbitrary binomial ideal in characteristic zero. This decomposition is derived from a characteristic-free combinatorial description of certain primary components of binomial ideals in affine semigroup rings, namely those that are associated to faces of the semigroup. These results are intimately connected to hypergeometric differential equations in several variables.
Hyperfocused arcs in PG(2,32)
In PG(2,32) the following two results are proven by a computer aided search. (i) Uniqueness of hyperfocused 12-arcs, up to projectivities; (ii) Non-existence of hyperfocused 14-arcs. The existence problem for hyperfocused 16-arcs remains open.
An approximation algorithm for counting contingency tables
Published in Random Structures Algorithms 37 (2010), no. 1, 25-66 • View PublicationBIB
We present a randomized approximation algorithm for counting contingency tables, mxn non-negative integer matrices with given row sums R=(r_1, ..., r_m) and column sums C=(c_1, ..., c_n). We define smooth margins (R,C) in terms of the typical table and prove that for such margins the algorithm has quasi-polynomial N^{O(ln N)} complexity, where N=r_1+...+r_m=c_1+...+c_n. Various classes of margins are smooth, e.g., when m=O(n), n=O(m) and the ratios between the largest and the smallest row sums as well as between the largest and the smallest column sums are strictly smaller than the golden ratio (1+sqrt{5})/2 = 1.618. The algorithm builds on Monte Carlo integration and sampling algorithms for log-concave densities, the matrix scaling algorithm, the permanent approximation algorithm, and an integral representation for the number of contingency tables.