arXiv++ Combinatorics

Browse math.CO papers from arXiv

Showing 20 papers (Total: 82139 papers, 47531 authors in database)
2011-03-07 v5
On an application of Guth-Katz theorem
Published in Math. Res. Lett 18 (2011) no 4, pp 1--7 • View Publication • BIB
We prove that for some universal $c$, a non-collinear set of $N>\frac{1}{c}$ points in the Euclidean plane determines at least $c \frac{N}{\log N}$ distinct areas of triangles with one vertex at the origin, as well as at least $c \frac{N}{\log N}$ distinct dot products. This in particular implies a sum-product bound $$ |A\cdot A\pm A\cdot A|\geq c\frac{|A|^2}{\log |A|} $$ for a discrete $A \subset {\mathbb R}$.
2011-03-07 v4
Chromatic polynomials of complements of bipartite graphs
Published • View Publication • BIB
Bicliques are complements of bipartite graphs; as such each consists of two cliques joined by a number of edges. In this paper we study algebraic aspects of the chromatic polynomials of these graphs. We derive a formula for the chromatic polynomial of an arbitrary biclique, and use this to give certain conditions under which two of the graphs have chromatic polynomials with the same splitting field. Finally, we use a subfamily of bicliques to prove the cubic case of the $α+n$ conjecture, by showing that for any cubic integer $α$, there is a natural number $n$ such that $α+n$ is a chromatic root.
A new approach for the existence problem of minimal cubature formulas based on the Larman-Rogers-Seidel theorem
Published • View Publication • BIB
In this paper we consider the existence problem of cubature formulas of degree 4k+1 for spherically symmetric integrals for which the equality holds in the Möller lower bound. We prove that for sufficiently large dimensional minimal formulas, any two distinct points on some concentric sphere have inner products all of which are rational numbers. By applying this result we prove that for any d > 2 there exist no d-dimensional minimal formulas of degrees 13 and 21 for some special integral.
2011-03-06
On dynamic monopolies of graphs with general thresholds
Published • View Publication • BIB
Let $G$ be a graph and ${\mathcalτ}: V(G)\rightarrow \Bbb{N}$ be an assignment of thresholds to the vertices of $G$. A subset of vertices $D$ is said to be dynamic monopoly (or simply dynamo) if the vertices of $G$ can be partitioned into subsets $D_0, D_1,..., D_k$ such that $D_0=D$ and for any $i=1,..., k-1$ each vertex $v$ in $D_{i+1}$ has at least $t(v)$ neighbors in $D_0\cup ...\cup D_i$. Dynamic monopolies are in fact modeling the irreversible spread of influence such as disease or belief in social networks. We denote the smallest size of any dynamic monopoly of $G$, with a given threshold assignment, by $dyn(G)$. In this paper we first define the concept of a resistant subgraph and show its relationship with dynamic monopolies. Then we obtain some lower and upper bounds for the smallest size of dynamic monopolies in graphs with different types of thresholds. Next we introduce dynamo-unbounded families of graphs and prove some related results. We also define the concept of a homogenious society that is a graph with probabilistic thresholds satisfying some conditions and obtain a bound for the smallest size of its dynamos. Finally we consider dynamic monopoly of line graphs and obtain some bounds for their sizes and determine the exact values in some special cases.
2011-03-06 v2
A homotopy for a complex of free Lie algebras
Published in Turkish J. Math 35 (2011) pages 1-7 • View Publication • BIB
Using the Guichardet construction, we compute the cohomology groups of a complex of free Lie algebras introduced by Alekseev and Torossian.
On the weighted enumeration of alternating sign matrices and descending plane partitions
Published in J. Combin. Theory Ser. A 119 (2012) 331-363 • View Publication • BIB
We prove a conjecture of Mills, Robbins and Rumsey [Alternating sign matrices and descending plane partitions, J. Combin. Theory Ser. A 34 (1983), 340-359] that, for any n, k, m and p, the number of nxn alternating sign matrices (ASMs) for which the 1 of the first row is in column k+1 and there are exactly m -1's and m+p inversions is equal to the number of descending plane partitions (DPPs) for which each part is at most n and there are exactly k parts equal to n, m special parts and p nonspecial parts. The proof involves expressing the associated generating functions for ASMs and DPPs with fixed n as determinants of nxn matrices, and using elementary transformations to show that these determinants are equal. The determinants themselves are obtained by standard methods: for ASMs this involves using the Izergin-Korepin formula for the partition function of the six-vertex model with domain-wall boundary conditions, together with a bijection between ASMs and configurations of this model, and for DPPs it involves using the Lindstrom-Gessel-Viennot theorem, together with a bijection between DPPs and certain sets of nonintersecting lattice paths.
2011-03-05 v2
The competition number of a graph and the dimension of its hole space
Published in Applied Mathematics Letters 25 (2012) 638-642 • View Publication • BIB
The competition graph of a digraph D is a (simple undirected) graph which has the same vertex set as D and has an edge between x and y if and only if there exists a vertex v in D such that (x,v) and (y,v) are arcs of D. For any graph G, G together with sufficiently many isolated vertices is the competition graph of some acyclic digraph. The competition number k(G) of G is the smallest number of such isolated vertices. In general, it is hard to compute the competition number k(G) for a graph G and it has been one of important research problems in the study of competition graphs to characterize a graph by its competition number. Recently, the relationship between the competition number and the number of holes of a graph is being studied. A hole of a graph is a cycle of length at least 4 as an induced subgraph. In this paper, we conjecture that the dimension of the hole space of a graph is no smaller than the competition number of the graph. We verify this conjecture for various kinds of graphs and show that our conjectured inequality is indeed an equality for connected triangle-free graphs.
2011-03-05
A survey of the different types of vector space partitions
Published • View Publication • BIB
A {\it vector space partition} is here a collection $\mathcal P$ of subspaces of a finite vector space $V(n,q)$, of dimension $n$ over a finite field with $q$ elements, with the property that every non zero vector is contained in a unique member of $\mathcal P$. Vector space partitions relates to finite projective planes, design theory and error correcting codes. In the first part of the talk I will discuss some relations between vector space partitions and other branches of mathematics. The other part of the talk contains a survey of known results on the type of a vector space partition, more precisely: the theorem of Beutelspacher and Heden on $\mathrm{T}$-partitions, rather recent results of El-Zanati et al. on the different types that appear in the spaces V(n,2), for $n\leq8$, a result of Heden and Lehmann on vector space partitions and maximal partial spreads including their new necessary condition for the existence of a vector space partition, and furthermore, I will give a theorem of Heden on the length of the tail of a vector space partition. Finally, I will also give a few historical remarks.
2011-03-05
A version of Tutte's polynomial for hypergraphs
Tutte's dichromate T(x,y) is a well known graph invariant. Using the original definition in terms of internal and external activities as our point of departure, we generalize the valuations T(x,1) and T(1,y) to hypergraphs. In the definition, we associate activities to hypertrees, which are generalizations of the indicator function of the edge set of a spanning tree. We prove that hypertrees form a lattice polytope which is the set of bases in a polymatroid. In fact, we extend our invariants to integer polymatroids as well. We also examine hypergraphs that can be represented by planar bipartite graphs, write their hypertree polytopes in the form of a determinant, and prove a duality property that leads to an extension of Tutte's Tree Trinity Theorem.
2011-03-05 v2
Mahonian Partition Identities Via Polyhedral Geometry
Published in From Fourier Analysis and Number Theory to Radon Transforms and Geometry: In Memory of Leon Ehrenpreis (H. Farkas, R. Gunning, M. Knopp, and B. A. Taylor, eds.), Developments in Mathematics 28 (2013), 41-54 • View Publication • BIB
In a series of papers, George Andrews and various coauthors successfully revitalized seemingly forgotten, powerful machinery based on MacMahon's $Ω$ operator to systematically compute generating functions $\sum_{\la \in P} z_1^{\la_1}...z_n^{\la_n}$ for some set $P$ of integer partitions $\la = (\la_1,..., \la_n)$. Our goal is to geometrically prove and extend many of the Andrews et al theorems, by realizing a given family of partitions as the set of integer lattice points in a certain polyhedron.
2011-03-04 v2
On minimum integer representations of weighted games
Published • View Publication • BIB
We study minimum integer representations of weighted games, i.e., representations where the weights are integers and every other integer representation is at least as large in each component. Those minimum integer representations, if the exist at all, are linked with some solution concepts in game theory. Closing existing gaps in the literature, we prove that each weighted game with two types of voters admits a (unique) minimum integer representation, and give new examples for more than two types of voters without a minimum integer representation. We characterize the possible weights in minimum integer representations and give examples for $t\ge 4$ types of voters without a minimum integer representation preserving types, i.e., where we additionally require that the weights are equal within equivalence classes of voters.
2011-03-04
Impact of Single Links in Competitive Percolation -- How complex networks grow under competition
Published in Nature Phys. 7:265-270 (2011) • View Publication • BIB
How a complex network is connected crucially impacts its dynamics and function. Percolation, the transition to extensive connectedness upon gradual addition of links, was long believed to be continuous but recent numerical evidence on "explosive percolation" suggests that it might as well be discontinuous if links compete for addition. Here we analyze the microscopic mechanisms underlying discontinuous percolation processes and reveal a strong impact of single link additions. We show that in generic competitive percolation processes, including those displaying explosive percolation, single links do not induce a discontinuous gap in the largest cluster size in the thermodynamic limit. Nevertheless, our results highlight that for large finite systems single links may still induce observable gaps because gap sizes scale weakly algebraically with system size. Several essentially macroscopic clusters coexist immediately before the transition, thus announcing discontinuous percolation. These results explain how single links may drastically change macroscopic connectivity in networks where links add competitively.
Associated primes of powers of edge ideals
Published in Collect. Math. 63 (2012), no. 3, 361--374 • View Publication • BIB
Let G be a graph and let I be its edge ideal. Our main result shows that the sets of associated primes of the powers of I form an ascending chain. It is known that the sets of associated primes of I(i) and intcl(I(i)) stabilize for large i, where "intcl" denotes integral closure and I(i) denotes the i-th power of I. We show that for edge ideals their corresponding stable sets are equal. To show our main result we use a classical result of Berge from matching theory and certain notions from combinatorial optimization.
2011-03-03
Music By Numbers
In this paper we present a mathematical way of defining musical modes, we derive a formula for the total number of modes and define the musicality of a mode as the total number of harmonic chords whithin the mode. We also give an algorithm for the construction of a duet of melodic lines given a sequence of numbers and a mode. We attach the .mus files of the counterpoints obtained by using the sequence of primes and several musical modes.
2011-03-03 v3
On the size of lattice simplices with a single interior lattice point
Published • View Publication • BIB
Let $\mathcal{T}^d(1)$ be the set of all $d$-dimensional simplices $T$ in $\real^d$ with integer vertices and a single integer point in the interior of $T$. It follows from a result of Hensley that $\mathcal{T}^d(1)$ is finite up to affine transformations that preserve $\mathbb{Z}^d$. It is known that, when $d$ grows, the maximum volume of the simplices $T \in \cT^d(1)$ becomes extremely large. We improve and refine bounds on the size of $T \in \mathcal{T}^d(1)$ (where by the size we mean the volume or the number of lattice points). It is shown that each $T \in \mathcal{T}^d(1)$ can be decomposed into an ascending chain of faces whose sizes are `not too large'. More precisely, if $T \in \mathcal{T}^d(1)$, then there exist faces $G_1 \subseteq ... \subseteq G_d=T$ of $T$ such that, for every $i \in \{1,...,d\}$, $G_i$ is $i$-dimensional and the size of $G_i$ is bounded from above in terms of $i$ and $d$. The bound on the size of $G_i$ is double exponential in $i$. The presented upper bounds are asymptotically tight on the log-log scale.
2011-03-03
Factors of disconnected graphs and polynomials with nonnegative integer coefficients
Published • View Publication • BIB
We investigate the uniqueness of factorisation of possibly disconnected finite graphs with respect to the Cartesian, the strong and the direct product. It is proved that if a graph has $n$ connected components, where $n$ is prime, or $n=1,4,8,9$, and satisfies some additional conditions, it factors uniquely under the given products. If, on the contrary, $n=6$ or 10, all cases of nonunique factorisation are described precisely.
2011-03-02 v2
Modified Growth Diagrams, Permutation Pivots, and the BXW map $φ^*$
Published • View Publication • BIB
In their paper [1] on Wilf-equivalence for singleton classes, Backelin, Xin, and West introduce a transformation $φ^*$, defined by an iterative process and operating on (all) full rook placements on Ferrers boards. In [3], Bousquet-M$\acute{\textrm{e}}$lou and Steingr$\acute{\textrmı}$msson prove the analogue of the main result of [1] in the context of involutions, and in so doing they must prove that $φ^*$ commutes with the operation of taking inverses. The proof of this commutation result is long and difficult, and Bousquet-M$\acute{\textrm{e}}$lou and Steingr$\acute{\textrmı}$msson ask if $φ^*$ might be reformulated in such a way as to make this result obvious. In the present paper we provide such a reformulation of $φ^*$, by modifying the growth diagram algorithm of Fomin [4,5]. This also answers a question of Krattenthaler [6, problem 4], who notes that a bijection defined by the unmodified Fomin algorithm obviously commutes with inverses, and asks what the connection is between this bijection and $φ^*$.
2011-03-02
The 2-adic valuation of plane partitions and totally symmetric partitions
Published • View Publication • BIB
This paper confirms a conjecture of Amdeberhan and Moll that the power of 2 dividing the number of plane partitions in an n-cube is greater than the power of 2 dividing the number of totally symmetric plane partitions in the same cube when n is even, and less when n is odd.
Connectivity threshold for Bluetooth graphs
Published • View Publication • BIB
We study the connectivity properties of random Bluetooth graphs that model certain "ad hoc" wireless networks. The graphs are obtained as "irrigation subgraphs" of the well-known random geometric graph model. There are two parameters that control the model: the radius $r$ that determines the "visible neighbors" of each node and the number of edges $c$ that each node is allowed to send to these. The randomness comes from the underlying distribution of data points in space and from the choices of each vertex. We prove that no connectivity can take place with high probability for a range of parameters $r, c$ and completely characterize the connectivity threshold (in $c$) for values of $r$ close the critical value for connectivity in the underlying random geometric graph.
2011-03-02 v2
Counting large distances in convex polygons
In a convex n-gon, let d[1] > d[2] > ... denote the set of all distances between pairs of vertices, and let m[i] be the number of pairs of vertices at distance d[i] from one another. Erdos, Lovasz, and Vesztergombi conjectured that m[1] + ... + m[k] <= k*n. Using a new computational approach, we prove their conjecture when k <= 4 and n is large; we also make some progress for arbitrary k by proving that m[1] + ... + m[k] <= (2k-1)n. Our main approach revolves around a few known facts about distances, together with a computer program that searches all distance configurations of two disjoint convex hull intervals up to some finite size. We thereby obtain other new bounds such as m[3] <= 3n/2 for large n.