arXiv++ Combinatorics

A Schnyder wood is an orientation and coloring of the edges of a planar map satisfying a simple local property. We propose a generalization of Schnyder woods to graphs embedded on the torus with application to graph drawing. We prove several properties on this new object. Among all we prove that a graph embedded on the torus admits such a Schnyder wood if and only if it is an essentially 3-connected toroidal map. We show that these Schnyder woods can be used to embed the universal cover of an essentially 3-connected toroidal map on an infinite and periodic orthogonal surface. Finally we use this embedding to obtain a straight-line flat torus representation of any toroidal map in a polynomial size grid.

Bergman complexes are polyhedral complexes associated to matroids. Faces of these complexes are certain matroids, called matroid types, too. In order to understand the structure of these faces we decompose matroid types into direct summands. Ardila/Klivans proved that the Bergman Complex of a matroid can be subdivided into the order complex of the proper part of its lattice of flats. Beyond that Feichtner/Sturmfels showed that the Bergman complex can even be subdivided to the even coarser nested set complex. We will give a much shorter and more general proof of this fact. Generalizing formulas proposed by Ardila/Klivans and Feichtner/Sturmfels for special cases, we present a decomposition into direct sums working for faces of any of these complexes. Additionally we show that it is the finest possible decomposition for faces of the Bergman complex.

It is shown that a small cover (resp. real moment-angle manifold) over a simple polytope is an infra-solvmanifold if and only if it is diffeomorphic to a real Bott manifold (resp. flat torus). Moreover, we obtain several equivalent conditions for a small cover being homeomorphic to a real Bott manifold. In addition, we study Riemannian metrics on small covers and real moment-angle manifolds with certain conditions on the Ricci or sectional curvature. We will see that these curvature conditions put very strong restrictions on the topology of the corresponding small covers and real moment-angle manifolds and the combinatorial structure of the underlying simple polytopes.

Local models are schemes, defined in terms of linear-algebraic moduli problems, which give étale-local neighborhoods of integral models of certain p-adic PEL Shimura varieties defined by Rapoport and Zink. In the case of a unitary similitude group whose localization at Q_p is ramified, quasi-split GU_n, Pappas has observed that the original local models are typically not flat, and he and Rapoport have introduced new conditions to the original moduli problem which they conjecture to yield a flat scheme. In a previous paper we proved that their new local models are topologically flat when n is odd. In the present paper we prove topological flatness when n is even. Along the way, we characterize the mu-admissible set for certain cocharacters mu in types B and D, and we show that for these cocharacters admissibility can be characterized in a vertexwise way, confirming a conjecture of Pappas and Rapoport.

We define and study the cyclic Bergman fan of a matroid M, which is a simplicial polyhedral fan supported on the tropical linear space T(M) of M and is amenable to computational purposes. It slightly refines the nested set structure on T(M), and its rays are in bijection with flats of M which are either cyclic flats or singletons. We give a fast algorithm for calculating it, making some computational applications of tropical geometry now viable. Our C++ implementation, called TropLi, and a tool for computing vertices of Newton polytopes of A-discriminants, are both available online.

The existence of basket, flat plumbing and flat plumbing basket surfaces of a link was first proven from a braid representative of the link. In the present article, we show the existence of such surfaces from an induced graph of the link. Consequently, we define the basket number, flat plumbing number and flat plumbing basket number of a link. Then we provide several upper bounds for these plumbing numbers and study the relation between these plumbing numbers and the genera of links.

We introduce a new representation concept for lattices by boolean matrices, and utilize it to prove that any matroid is boolean representable. We show that such a representation can be easily extracted from a representation of the associated lattice of flats of the matroid, leading also to a tighter bound on the representation's size. Consequently, we obtain a linkage of boolean representations with geometry in a very natural way.

We present an output-sensitive algorithm for generating the whole set of flats of a finite matroid. Given a procedure, P, that decides in S_P time steps if a set is independent, the time complexity of the algorithm is O(N^2 M S_P), where N and M are the input and output size, respectively. In the case of vectorial matroids, a specific algorithm is reported whose time complexity is equal to O(N^2 M d^2), d being the rank of the matroid. In some cases this algorithm can provide an efficient method for computing zonotopes in $H$-representation, given their representation in terms of Minkowski sum of known segments.

In 2008, Bukh, Matousek, and Nivasch conjectured that for every n-point set S in R^d and every k, 0 <= k <= d-1, there exists a k-flat f in R^d (a "centerflat") that lies at "depth" (k+1) n / (k+d+1) - O(1) in S, in the sense that every halfspace that contains f contains at least that many points of S. This claim is true and tight for k=0 (this is Rado's centerpoint theorem), as well as for k = d-1 (trivial). Bukh et al. showed the existence of a (d-2)-flat at depth (d-1) n / (2d-1) - O(1) (the case k = d-2). In this paper we concentrate on the case k=1 (the case of "centerlines"), in which the conjectured value for the leading constant is 2/(d+2). We prove that 2/(d+2) is an *upper bound* for the leading constant. Specifically, we show that for every fixed d and every n there exists an n-point set in R^d for which no line in R^d lies at depth larger than 2n/(d+2) + o(n). This point set is the "stretched grid"---a set which has been previously used by Bukh et al. for other related purposes. Hence, in particular, the conjecture is now settled for R^3.

Every link is shown to be presentable as a boundary of an unknotted flat banded surface. A (flat) banded link is defined as a boundary of an unknotted (flat) banded surface. A link's (flat) band index is defined as the minimum number of bands required to present the link as boundaries of an unknotted (flat) banded surface. Banded links of small (flat, respectively) band index are considered here. Some upper bounds are provided for these band indices of a link using braid representatives and canonical Seifert surfaces of the link. The relation between the band indices and genera of links is studied and the band indices of pretzel knots are calculated.

(Abridged abstract) For a finite real reflection group W and a W-orbit O of flats in its reflection arrangement---or equivalently a conjugacy class of its parabolic subgroups---we introduce a statistic on elements of W. We then study the operator of right-multiplication within the group algebra of W by the element whose coefficients are given by this statistic. We reinterpret the operators geometrically in terms of the arrangement of reflecting hyperplanes for W. We show that they are self-adjoint and positive semidefinite. via two explicit factorizations into a symmetrized form A^t A. In one such factorization, A is a generalization of the projection of a simplex onto the linear ordering polytope. In the other factorization, A is the transition matrix for one of the well-studied Bidigare-Hanlon-Rockmore random walks on the chambers of an arrangement. We study the family of operators in which O is the conjugacy classes of Young subgroups of type (k,1^{n-k}). A special case within this family is the operator corresponding to random-to-random shuffling. We show in a purely enumerative fashion that these operators pairwise commute. We furthermore conjecture that they have integer spectrum, generalizing a conjecture of Uyemura-Reyes for the case k=n-1. We use representation theory to show that if O is a conjugacy class of rank one parabolics in W, the corresponding operator has integer spectrum. Our proof makes use of an (apparently) new family of twisted Gelfand pairs for W. We also study the family of operators in which O is the conjugacy classes of Young subgroups of type (2^k,1^{n-2k}). Here the construction of a Gelfand model for the symmetric group shows that these operators pairwise commute and that they have integer spectrum. For the symmetric group, we conjecture that apart from the two commuting families above, no other pair of operators of this form commutes.

The set of subspaces of a given dimension in an attenuated space has a structure of a symmetric association scheme and this association scheme is called an association scheme based on an attenuated space. Association schemes based on attenuated spaces are generalizations of Grassmann schemes and bilinear forms schemes, and also $q$-analogues of non-binary Johnson schemes. Wang, Guo and Li computed the intersection numbers of association schemes based on attenuated spaces. The aim of this paper is to compute character tables of association schemes based on attenuated spaces using the method of Tarnanen, Aaltonen and Goethals. Moreover, we also prove that association schemes based on attenuated spaces include as a special case the $m$-flat association scheme, which is defined on the set of cosets of subspaces of a constant dimension in a vector space over a finite field.

In this paper, the uplink direct sequence code division multiple access (DS-CDMA) multiuser detection problem (MuD) is studied into heuristic perspective, named particle swarm optimization (PSO). Regarding different system improvements for future technologies, such as high-order modulation and diversity exploitation, a complete parameter optimization procedure for the PSO applied to MuD problem is provided, which represents the major contribution of this paper. Furthermore, the performance of the PSO-MuD is briefly analyzed via Monte-Carlo simulations. Simulation results show that, after convergence, the performance reached by the PSO-MuD is much better than the conventional detector, and somewhat close to the single user bound (SuB). Rayleigh flat channel is initially considered, but the results are further extend to diversity (time and spatial) channels.

Zonotopal algebra deals with ideals and vector spaces of polynomials that are related to several combinatorial and geometric structures defined by a finite sequence of vectors. Given such a sequence X, an integer k>=-1 and an upper set in the lattice of flats of the matroid defined by X, we define and study the associated hierarchical zonotopal power ideal. This ideal is generated by powers of linear forms. Its Hilbert series depends only on the matroid structure of X. Via the Tutte polynomial, it is related to various other matroid invariants, e.g. the shelling polynomial and the characteristic polynomial. This work unifies and generalizes results by Ardila-Postnikov on power ideals and by Holtz-Ron and Holtz-Ron-Xu on (hierarchical) zonotopal algebra. We also generalize a result on zonotopal Cox modules that were introduced by Sturmfels-Xu.

We provide evidence for five long-standing, basis-exchange conjectures for matroids by proving them for the enormous class of sparse paving matroids. We also explore the role that these matroids may play in the following problem: as a function of the size of the ground set, what is the greatest number of cyclic flats that a matroid can have?

A result of Mason, as refined by Ingleton, characterizes transversal matroids as the matroids that satisfy a set of inequalities that relate the ranks of intersections and unions of nonempty sets of cyclic flats. We prove counterparts, for fundamental transversal matroids, of this and other characterizations of transversal matroids. In particular, we show that fundamental transversal matroids are precisely the matroids that yield equality in Mason's inequalities and we deduce a characterization of fundamental transversal matroids due to Brylawski from this simpler characterization.

The random matrix uniformly distributed over the set of all m-by-n matrices over a finite field plays an important role in many branches of information theory. In this paper a generalization of this random matrix, called k-good random matrices, is studied. It is shown that a k-good random m-by-n matrix with a distribution of minimum support size is uniformly distributed over a maximum-rank-distance (MRD) code of minimum rank distance min{m,n}-k+1, and vice versa. Further examples of k-good random matrices are derived from homogeneous weights on matrix modules. Several applications of k-good random matrices are given, establishing links with some well-known combinatorial problems. Finally, the related combinatorial concept of a k-dense set of m-by-n matrices is studied, identifying such sets as blocking sets with respect to (m-k)-dimensional flats in a certain m-by-n matrix geometry and determining their minimum size in special cases.

The permutation representation afforded by a Coxeter group W acting on the cosets of a standard parabolic subgroup inherits many nice properties from W such as a shellable Bruhat order and a flat deformation over Z[q] to a representation of the corresponding Hecke algebra. In this paper we define a larger class of ``quasiparabolic" subgroups (more generally, quasiparabolic W-sets), and show that they also inherit these properties. Our motivating example is the action of the symmetric group on fixed-point-free involutions by conjugation.

Let $\Fl_λ$ be a generalized flag variety of a simple Lie group $G$ embedded into the projectivization of an irreducible $G$-module $V_λ$. We define a flat degeneration $\Fl_λ^a$, which is a ${\mathbb G}^M_a$ variety. Moreover, there exists a larger group $G^a$ acting on $\Fl_λ^a$, which is a degeneration of the group $G$. The group $G^a$ contains ${\mathbb G}^M_a$ as a normal subgroup. If $G$ is of type $A$, then the degenerate flag varieties can be embedded into the product of Grassmanians and thus to the product of projective spaces. The defining ideal of $\Fl^a_λ$ is generated by the set of degenerate Pl\" ucker relations. We prove that the coordinate ring of $\Fl_λ^a$ is isomorphic to a direct sum of dual PBW-graded $\g$-modules. We also prove that there exist bases in multi-homogeneous components of the coordinate rings, parametrized by the semistandard PBW-tableux, which are analogues of semistandard tableux.

In this paper we introduce an effective method to construct rational deformations between couples of Borel-fixed ideals. These deformations are governed by flat families, so that they correspond to rational curves on the Hilbert scheme. Looking globally at all the deformations among Borel-fixed ideals defining points on the same Hilbert scheme, we are able to give a new proof of the connectedness of the Hilbert scheme and to introduce a new criterion to establish whenever a set of points defined by Borel ideals lies on a common component of the Hilbert scheme. The paper contains a detailed algorithmic description of the technique and all the algorithms are made available.