arXiv++ Combinatorics

Browse math.CO papers from arXiv

Showing 20 papers (Total: 83190 papers, 48060 authors in database)
2009-08-25 v2
A Giambelli formula for classical $G/P$ spaces
Published in J. Algebraic Geometry 23 (2014), 245-278 • View Publication • BIB
Let $G$ be a classical complex Lie group, $P$ any parabolic subgroup of $G$, and $G/P$ the corresponding partial flag variety. We prove an explicit combinatorial Giambelli formula which expresses an arbitrary Schubert class in the cohomology ring of $G/P$ as a polynomial in certain special Schubert class generators. Our formula extends to one that applies to the torus-equivariant cohomology ring of $G/P$ and to the setting of symplectic and orthogonal degeneracy loci.
2009-08-25 v2
Zero-one laws for connectivity in random key graphs
Published in IEEE Transactions on Information Theory, Vol. 58, No. 5, May 2012, pp. 2983--2999 • View Publication • BIB
The random key graph is a random graph naturally associated with the random key predistribution scheme of Eschenauer and Gligor for wireless sensor networks. For this class of random graphs we establish a new version of a conjectured zero-one law for graph connectivity as the number of nodes becomes unboundedly large. The results reported here complement and strengthen recent work on this conjecture by Blackburn and Gerke. In particular, the results are given under conditions which are more realistic for applications to wireless sensor networks.
2009-08-25 v2
Critical random graphs: limiting constructions and distributional properties
Published • View Publication • BIB
We consider the Erdos-Renyi random graph G(n,p) inside the critical window, where p = 1/n + lambda * n^{-4/3} for some lambda in R. We proved in a previous paper (arXiv:0903.4730) that considering the connected components of G(n,p) as a sequence of metric spaces with the graph distance rescaled by n^{-1/3} and letting n go to infinity yields a non-trivial sequence of limit metric spaces C = (C_1, C_2, ...). These limit metric spaces can be constructed from certain random real trees with vertex-identifications. For a single such metric space, we give here two equivalent constructions, both of which are in terms of more standard probabilistic objects. The first is a global construction using Dirichlet random variables and Aldous' Brownian continuum random tree. The second is a recursive construction from an inhomogeneous Poisson point process on R_+. These constructions allow us to characterize the distributions of the masses and lengths in the constituent parts of a limit component when it is decomposed according to its cycle structure. In particular, this strengthens results of Luczak, Pittel and Wierman by providing precise distributional convergence for the lengths of paths between kernel vertices and the length of a shortest cycle, within any fixed limit component.
2009-08-25 v4
A Short Note on Disjointness Conditions for Triples of Group Subsets Satisfying the Triple Product Property
We deduce some elementary pairwise disjointness and semi-disjointness conditions on triples of subsets in arbitrary groups satisfying the so-called triple product property (TPP) as originally defined by H. Cohn and C. Umans in 2003. This property TPP for a triple of group subsets, called a TPP triple, allows the group to "realize" matrix multiplication of dimensions the sizes of the subsets, with the subsets acting as indexing sets for input matrices which are embedded into the regular algebra of the group. We derive nine different disjointness casetypes for an arbitrary TPP triple, and classify these into four different disjointness classes based on an integer measure of the degree of pairwise disjointness among the subsets. Finally, we derive lower and upper bounds for the sum of sizes of the subsets forming a TPP triple, which is the additive equivalent of the multiplicative bounds originally derived by Cohn and Umans for the product of sizes of subsets forming a TPP triple.
2009-08-25
On (2,3)-agreeable Box Societies
Published • View Publication • BIB
The notion of $(k,m)$-agreeable society was introduced by Deborah Berg et al.: a family of convex subsets of $\R^d$ is called $(k,m)$-agreeable if any subfamily of size $m$ contains at least one non-empty $k$-fold intersection. In that paper, the $(k,m)$-agreeability of a convex family was shown to imply the existence of a subfamily of size $βn$ with non-empty intersection, where $n$ is the size of the original family and $β\in[0,1]$ is an explicit constant depending only on $k,m$ and $d$. The quantity $β(k,m,d)$ is called the minimal \emph{agreement proportion} for a $(k,m)$-agreeable family in $\R^d$. If we only assume that the sets are convex, simple examples show that $β=0$ for $(k,m)$-agreeable families in $\R^d$ where $k<d$. In this paper, we introduce new techniques to find positive lower bounds when restricting our attention to families of $d$-boxes, i.e. cuboids with sides parallel to the coordinates hyperplanes. We derive explicit formulas for the first non-trivial case: the case of $(2,3)$-agreeable families of $d$-boxes with $d\geq 2$.
2009-08-25 v5
A Variant of the Stanley Depth for Multisets
Published in Discrete Mathematics Volume 342, Issue 5, May 2019, Pages 1325--1335 • View Publication • BIB
We define and study a variant of the \emph{Stanley depth} which we call \emph{total depth} for partially ordered sets (posets). This total depth is the most natural variant of Stanley depth from $\llbracket S_k\rrbracket$ -- the poset of nonempty subsets of $\{1,2,\dots,k\}$ ordered by inclusion -- to any finite poset. In particular, the total depth can be defined for the poset of nonempty submultisets of a multiset ordered by inclusion, which corresponds to a product of chains with the bottom element deleted. We show that the total depth agrees with Stanley depth for $\llbracket S_k\rrbracket$ but not for such posets in general. We also prove that the total depth of the product of chains $\bm{n}^k$ with the bottom element deleted is $(n-1)\lceil{k/2}\rceil$, which generalizes a result of Bir{ó}, Howard, Keller, Trotter, and Young (2010). Further, we provide upper and lower bounds for a general multiset and find the total depth for any multiset with at most five distinct elements. In addition, we can determine the total depth for any multiset with $k$ distinct elements if we know all the interval partitions of $\llbracket S_k\rrbracket$.
2009-08-24 v2
Smooth Fano polytopes arising from finite partially ordered sets
Published • View Publication • BIB
Gorenstein Fano polytopes arising from finite partially ordered sets will be introduced. Then we study the problem which partially ordered sets yield smooth Fano polytopes.
2009-08-24 v2
Hamilton decompositions of regular tournaments
Published • View Publication • BIB
We show that every sufficiently large regular tournament can almost completely be decomposed into edge-disjoint Hamilton cycles. More precisely, for each η>0 every regular tournament G of sufficiently large order n contains at least (1/2-η)n edge-disjoint Hamilton cycles. This gives an approximate solution to a conjecture of Kelly from 1968. Our result also extends to almost regular tournaments.
On combinatorial testing problems
Published in Annals of Statistics 2010, Vol. 38, No. 5, 3063-3092 • View Publication • BIB
We study a class of hypothesis testing problems in which, upon observing the realization of an $n$-dimensional Gaussian vector, one has to decide whether the vector was drawn from a standard normal distribution or, alternatively, whether there is a subset of the components belonging to a certain given class of sets whose elements have been ``contaminated,'' that is, have a mean different from zero. We establish some general conditions under which testing is possible and others under which testing is hopeless with a small risk. The combinatorial and geometric structure of the class of sets is shown to play a crucial role. The bounds are illustrated on various examples.
2009-08-24
Rank-based attachment leads to power law graphs
Published in SIAM Journal of Discrete Math 24, 2010, pp. 420--440 • View Publication • BIB
We investigate the degree distribution resulting from graph generation models based on rank-based attachment. In rank-based attachment, all vertices are ranked according to a ranking scheme. The link probability of a given vertex is proportional to its rank raised to the power -a, for some a in (0,1). Through a rigorous analysis, we show that rank-based attachment models lead to graphs with a power law degree distribution with exponent 1+1/a whenever vertices are ranked according to their degree, their age, or a randomly chosen fitness value. We also investigate the case where the ranking is based on the initial rank of each vertex; the rank of existing vertices only changes to accommodate the new vertex. Here, we obtain a sharp threshold for power law behaviour. Only if initial ranks are biased towards lower ranks, or chosen uniformly at random, we obtain a power law degree distribution with exponent 1+1/a. This indicates that the power law degree distribution often observed in nature can be explained by a rank-based attachment scheme, based on a ranking scheme that can be derived from a number of different factors; the exponent of the power law can be seen as a measure of the strength of the attachment.
2009-08-24
A characterization of the edge-shelling convex geometries of trees
We investigate the class of the edge-shelling convex geometries of trees. The edge-shelling convex geometry of a tree is the convex geometry consisting of the sets of edges of the subtrees. For the edge-shelling convex geometry of a tree, the size of the stem of any rooted circuit is two. The class of the edge-shelling convex geometry of a tree is closed under trace operation. We characterize the class of the edge-shelling convex geometry of a tree in terms of trace-minimal forbidden minors. Moreover, the trace-minimal forbidden minors are specified for the class of convex geometries such that the size of any stem is two.
2009-08-24
A rule of thumb for riffle shuffling
Published • View Publication • BIB
We study how many riffle shuffles are required to mix n cards if only certain features of the deck are of interest, e.g. suits disregarded or only the colors of interest. For these features, the number of shuffles drops from 3/2 log_2(n) to log_2(n). We derive closed formulae and an asymptotic `rule of thumb' formula which is remarkably accurate.
2009-08-24
Lattice point methods for combinatorial games
Published • View Publication • BIB
We encode arbitrary finite impartial combinatorial games in terms of lattice points in rational convex polyhedra. Encodings provided by these \emph{lattice games} can be made particularly efficient for octal games, which we generalize to \emph{squarefree games}. These additionally encompass all heap games in a natural setting, in which the Sprague-Grundy theorem for normal play manifests itself geometrically. We provide an algorithm to compute normal play strategies. The setting of lattice games naturally allows for mis`ere play, where 0 is declared a losing position. Lattice games also allow situations where larger finite sets of positions are declared losing. Generating functions for sets of winning positions provide data structures for strategies of lattice games. We conjecture that every lattice game has a \emph{rational strategy}: a rational generating function for its winning positions. Additionally, we conjecture that every lattice game has an \emph{affine stratification}: a partition of its set of winning positions into a finite disjoint union of finitely generated modules for affine semigroups.
2009-08-23
Cycles are determined by their domination polynomials
Let $G$ be a simple graph of order $n$. A dominating set of $G$ is a set $S$ of vertices of $G$ so that every vertex of $G$ is either in $S$ or adjacent to a vertex in $S$. The domination polynomial of $G$ is the polynomial $D(G,x)=\sum_{i=1}^{n} d(G,i) x^{i}$, where $d(G,i)$ is the number of dominating sets of $G$ of size $i$. In this paper we show that cycles are determined by their domination polynomials.
2009-08-23
Determinants of adjacency matrices of graphs
We study the set of all determinants of adjacency matrices of graphs with a given number of vertices.
2009-08-23
Symmetries in Linear and Integer Programs
The notion of symmetry is defined in the context of Linear and Integer Programming. Symmetric linear and integer programs are studied from a group theoretical viewpoint. We show that for any linear program there exists an optimal solution in the fixed point set of its symmetry group. Using this result, we develop an algorithm that allows for reducing the dimension of any linear program having a non-trivial group of symmetries.
2009-08-23 v2
Derangements with Ascending and Descending Blocks
We continue the work of Eriksen, Freij, and Wastlund [3], who study derangements that descend in blocks of prescribed lengths. We generalize their work to derangements that ascend in some blocks and descend in others. In particular, we obtain a generating function for the derangements that ascend in blocks of prescribed lengths, thus solving a problem posed in [3]. We also work towards a combinatorial interpretation of a polynomial sum appearing in [3]. As a result, we obtain a new combinatorial sum for counting derangements with ascending and descending blocks.
2009-08-23 v2
Nonexistence for extremal Type II $\ZZ_{2k}$-Codes
Published in Kumamoto J. Math. 23 (2010), 27-35 • Search Publication
In this paper, we show that an extremal Type II $\ZZ_{2k}$-code of length $n$ dose not exist for all sufficiently large $n$ when $k=2,3,4,5,6$.
2009-08-23
Symmetries in Integer Programs
The notion of symmetry is defined in the context of Linear and Integer Programming. Symmetric integer programs are studied from a group theoretical viewpoint. We investigate the structure of integer solutions of integer programs and show that any integer program on n variables having an alternating group A_n as a group of symmetries can be solved in linear time in the number of variables.
2009-08-22
Generalization of Fibonomial Coefficients
Following Lucas and then other Fibonacci people Kwasniewski had introduced and had started ten years ago the open investigation of the overall F-nomial coefficients which encompass among others Binomial, Gaussian and Fibonomial coefficients with a new unified combinatorial interpretation expressed in terms of cobweb posets' partitions and tilings of discrete hyperboxes. In this paper, we deal with special subfamily of T-nomial coefficients. The main aim of this note is to develop the theory of T-nomial coefficients with the help of generating functions. The binomial-like theorem for T-nomials is delivered here and some consequences of it are drawn. A new combinatorial interpretation of T-nomial coefficients is provided and compared with the Konvalina way of objects' selections from weighted boxes. A brief summary of already known properties of T-nomial coefficients is served.