arXiv++ Combinatorics

Associated to the cohomology ring A of the complement X(A) of a hyperplane arrangement A in complex m-space are the resonance varieties R^k(A). The most studied of these is R^1(A), which is the union of the tangent cones at the origin to the characteristic varieties of the fundamental group of X. R^1(A) may be described in terms of Fitting ideals, or as the locus where a certain Ext module is supported. Both these descriptions give obvious algorithms for computation. In this note, we show that interpreting R^1(A) as the locus of decomposable two-tensors in the Orlik-Solomon ideal leads to a description of R^1(A) as the intersection of a Grassmannian with a linear space, determined by the quadratic generators of the Orlik-Solomon ideal. This method is much faster than previous alternatives.

We propose a very simple preconditioning method for integer programming feasibility problems: replacing the problem b' <= Ax <= b, x \in Z^n with b' <= AUy <= b, y \in Z^n, where U is a unimodular matrix computed via basis reduction, to make the columns of $AU$ short and nearly orthogonal. The reformulation is called rangespace reformulation. It is motivated by the reformulation technique proposed for equality constrained IPs by Aardal, Hurkens and Lenstra. We also study a family of IP instances, called decomposable knapsack problems (DKPs). DKPs generalize the instances proposed by Jeroslow, Chvatal and Todd, Avis, Aardal and Lenstra, and Cornuejols et al. DKPs are knapsack problems with a constraint vector of the form $pM + r, $ with $p >0$ and $r$ integral vectors, and $M$ a large integer. If the parameters are suitably chosen in DKPs, we prove 1) hardness results for these problems, when branch-and-bound branching on individual variables is applied; 2) that they are easy, if one branches on the constraint $px$ instead; and 3) that branching on the last few variables in either the rangespace- or the AHL-reformulations is equivalent to branching on $px$ in the original problem. We also provide recipes to generate such instances. Our computational study confirms that the behavior of the studied instances in practice is as predicted by the theoretical results.

Even the most superficial glance at the vast majority of crossing-minimal geometric drawings of $K_n$ reveals two hard-to-miss features. First, all such drawings appear to be 3-fold symmetric (or simply {\em 3-symmetric}) . And second, they all are {\em 3-decomposable}, that is, there is a triangle $T$ enclosing the drawing, and a balanced partition $A, B, C$ of the underlying set of points $P$, such that the orthogonal projections of $P$ onto the sides of $T$ show $A$ between $B$ and $C$ on one side, $B$ between $A$ and $C$ on another side, and $C$ between $A$ and $B$ on the third side. In fact, we conjecture that all optimal drawings are 3-decomposable, and that there are 3-symmetric optimal constructions for all $n$ multiple of 3. In this paper, we show that any 3-decomposable geometric drawing of $K_n$ has at least $0.380029\binom{n}{4}+Θ(n^3)$ crossings. On the other hand, we produce 3-symmetric and 3-decomposable drawings that improve the {\em general} upper bound for the rectilinear crossing number of $K_n$ to $0.380488\binom{n}{4}+Θ(n^3)$. We also give explicit 3-symmetric and 3-decomposable constructions for $n<100$ that are at least as good as those previously known.

The point sets of all known optimal rectilinear drawings of $K_n$ share an unmistakeable clustering property, the so--called {\em 3--decomposability}. It is widely believed that the underlying point sets of all optimal rectilinear drawings of $K_n$ are 3--decomposable. We give a lower bound for the minimum number of $(\le k)$--sets in a 3--decomposable $n$--point set. As an immediate corollary, we obtain a lower bound for the crossing number $\rcr(\dd)$ of any rectilinear drawing $\dd$ of $K_n$ with underlying 3--decomposable point set, namely $\rcr(\dd) > {2/27}(15-π^{2})\binom{n}{4}+Θ(n^{3}) \approx 0.380029\binom{n}{4} + Θ(n^3)$. This closes this gap between the best known lower and upper bounds for the rectilinear crossing number $\rcr(K_n)$ of $K_n$ by over 40%, under the assumption of 3--decomposability.

Recently, Nevo introduced the notion of strongly edge decomposable spheres. In this paper, we characterize the algebraic shifted complex of those spheres. Algebraically, this result yields the characterization of the generic initial ideal of the Stanley--Reisner ideal of Gorenstein* complexes having the strong Lefschetz property in characteristic 0.

We give a probalistic proof of the famous Meinardus' asymptotic formula for the number of weighted partitions with weakened one of the three Meinardus' conditions, and extend the resulting version of the theorem to other two classis types of decomposable combinatorial structures, which are called assemblies and selections. The results obtained are based on combining Meinardus' analytical approach with probabilistic method of Khitchine.

CONTENTS: Lecce Workshop presentations available online; Borel cardinalities below c_0; Hereditarily non-topologizable groups; A hodgepodge of sets of reals; Random gaps; Covering a bounded set of functions by an increasing chain of slaloms; Baire-one mappings contained in a usco map; Applications of k-covers II; Additivity numbers of covering properties; Combinatorial images of sets of reals and semifilter trichotomy; Another algebraic equivalent of the Continuum Hypothesis; A connection between decomposable ultrafilters and possible cofinalities II; Game Approach to Universally Kuratowski-Ulam Spaces; On the density of Banach spaces C(K) with the Grothendieck property; Antichains in partially ordered sets of singular cofinality; Bolzano-Weierstrass principle of choice extended towards ordinals; Nonequality of Dimensions for Metric Groups; Not all pure states on B(H) are diagonalizable; A comment on p<t; Problem of the Issue.

The parallel product of two rooted maps was introduced by S. E. Wilson in 1994. The main question of this paper is whether for a given reflexible map $M$ one can decompose the map into a parallel product of two reflexible maps. This can be achieved if and only if the monodromy (or the automorphism) group of the map has at least two minimal normal subgroups. All reflexible maps up to 100 edges, which are not parallel-product decomposable, are calculated and presented. For this purpose, all degenerate and slightly-degenerate reflexible maps are classified. Three different quotients of rooted maps are considered in the paper and a characterizaton of morphisms of rooted maps similar to the first isomorphism theorem for groups is presented. The monodromy quotient of a map is introduced, having the property that all the automorphisms project. A theory of edge-transitive maps on non-orientable surfaces is developed. A concept of reduced regularty in the manner of Breda d'Azevedo is applied on edge-transitive maps. Using that, the concept of parallel-product decomposability is extended to edge-transitive maps, where a characterization in terms of minimal normal subgroups of the automorphism group is obtained. Additionally, using Petrie triality and the parallel-product decomposition, a new organization of edge-transitive maps is presented, providing a basis for future censuses.

A subset $S$ of $\{0,1,...,2t-1\}^n$ is called a $t$-fold MDS code if every line in each of $n$ base directions contains exactly $t$ elements of $S$. The adjacency graph of a $t$-fold MDS code is not connected if and only if the characteristic function of the code is the repetition-free sum of the characteristic functions of $t$-fold MDS codes of smaller lengths. In the case $t=2$, the theory has the following application. The union of two disjoint $(n,4^{n-1},2)$ MDS codes in $\{0,1,2,3\}^n$ is a double-MDS-code. If the adjacency graph of the double-MDS-code is not connected, then the double-code can be decomposed into double-MDS-codes of smaller lengths. If the graph has more than two connected components, then the MDS codes are also decomposable. The result has an interpretation as a test for reducibility of $n$-quasigroups of order 4. Keywords: MDS codes, n-quasigroups, decomposability, reducibility, frequency hypercubes, latin hypercubes

The cohomology on the complement of hyperplanes with the coefficients in the rank one local system associated to a generic weight vanishes except in the highest dimension. In this paper, we construct matroids or arrangements and its weights with non-vanishing cohomology of Orlik-Solomon algebras, using decomposable relations arising from Latin hypercubes.

The X-ray of a permutation is defined as the sequence of antidiagonal sums in the associated permutation matrix. X-rays of permutation are interesting in the context of Discrete Tomography since many types of integral matrices can be written as linear combinations of permutation matrices. This paper is an invitation to the study of X-rays of permutations from a combinatorial point of view. We present connections between these objects and nondecreasing differences of permutations, zero-sum arrays, decomposable permutations, score sequences of tournaments, queens' problems and rooks' problems.

In this article, we study directed graphs (digraphs) with a coloring constraint due to Von Neumann and related to Nim-type games. This is equivalent to the notion of kernels of digraphs, which appears in numerous fields of research such as game theory, complexity theory, artificial intelligence (default logic, argumentation in multi-agent systems), 0-1 laws in monadic second order logic, combinatorics (perfect graphs)... Kernels of digraphs lead to numerous difficult questions (in the sense of NP-completeness, #P-completeness). However, we show here that it is possible to use a generating function approach to get new informations: we use technique of symbolic and analytic combinatorics (generating functions and their singularities) in order to get exact and asymptotic results, e.g. for the existence of a kernel in a circuit or in a unicircuit digraph. This is a first step toward a generatingfunctionology treatment of kernels, while using, e.g., an approach "a la Wright". Our method could be applied to more general "local coloring constraints" in decomposable combinatorial structures.

We define an equivalence relation on integer compositions and show that two ribbon Schur functions are identical if and only if their defining compositions are equivalent in this sense. This equivalence is completely determined by means of a factorization for compositions: equivalent compositions have factorizations that differ only by reversing some of the terms. As an application, we can derive identities on certain Littlewood-Richardson coefficients. Finally, we consider the cone of symmetric functions having a nonnnegative representation in terms of the fundamental quasisymmetric basis. We show the Schur functions are among the extremes of this cone and conjecture its facets are in bijection with the equivalence classes of compositions.

We extend F.Pastjin's construction of uniform decomposable chains of finite rank to those of rank 'finite over a limit' and investigate infinite products and unions of such chains. We derive an extension of Pastjin's characterisation to uniform decomposable chains of small transfinite rank (less than or equal to 'omega+omega'). We conclude by indicating how the resulting descriptions can be iterated to chains of rank 'omega to the omega', and beyond.

Let $F=\{H_1,...,H_k\}$ be a family of graphs. A graph $G$ with $m$ edges is called {\em totally $F$-decomposable} if for {\em every} linear combination of the form $α_1 e(H_1) + ... + α_k e(H_k) = m$ where each $α_i$ is a nonnegative integer, there is a coloring of the edges of $G$ with $α_1+...+α_k$ colors such that exactly $α_i$ color classes induce each a copy of $H_i$, for $i=1,...,k$. We prove that if $F$ is any fixed family of trees then $\log n/n$ is a sharp threshold function for the property that the random graph $G(n,p)$ is totally $F$-decomposable. In particular, if $H$ is a tree, then $\log n/n$ is a sharp threshold function for the property that $G(n,p)$ contains $\lfloor e(G)/e(H) \rfloor$ edge-disjoint copies of $H$.

The usual quantizer based on an n-dimensional lattice L maps a point x in R^n to a closest lattice point. Suppose L is the intersection of lattices L_1, ..., L_r. Then one may instead combine the information obtained by simultaneously quantizing x with respect to each of the L_i. This corresponds to decomposing R^n into a honeycomb of cells which are the intersections of the Voronoi cells for the L_i, and identifying the cell to which x belongs. This paper shows how to write several standard lattices (the face-centered and body-centered cubic lattices, the root lattices D_4, E_6*, E_8, the Coxeter-Todd, Barnes-Wall and Leech lattices, etc.) in a canonical way as intersections of a small number of simpler, decomposable, lattices. The cells of the honeycombs are given explicitly and the mean squared quantizing error calculated in the cases when the intersection lattice is the face-centered or body-centered cubic lattice or the lattice D_4.