Showing 20 papers (Total: 81756 papers, 47371 authors in database)
The Reverse Ultra Log-Concavity of the Boros-Moll Polynomials
Published
• View Publication
• BIB
We prove the reverse ultra log-concavity of the Boros-Moll polynomials. We further establish an inequality which implies the log-concavity of the sequence $\{i!d_i(m)\}$ for any $m\geq 2$, where $d_i(m)$ are the coefficients of the Boros-Moll polynomials $P_m(a)$. This inequality also leads to the fact that in the asymptotic sense, the Boros-Moll sequences are just on the borderline between ultra log-concavity and reverse ultra log-concavity. We propose two conjectures on the log-concavity and reverse ultra log-concavity of the sequence $\{d_{i-1}(m) d_{i+1}(m)/d_i(m)^2\}$ for $m\geq 2$.
The t-stability number of a random graph
Published in Electron. J. Combin. 17 (2010), #R59
• View Publication
• BIB
Given a graph G = (V,E), a vertex subset S is called t-stable (or t-dependent) if the subgraph G[S] induced on S has maximum degree at most t. The t-stability number of G is the maximum order of a t-stable set in G. We investigate the typical values that this parameter takes on a random graph on n vertices and edge probability equal to p. For any fixed 0 < p < 1 and fixed non-negative integer t, we show that, with probability tending to 1 as n grows, the t-stability number takes on at most two values which we identify as functions of t, p and n. The main tool we use is an asymptotic expression for the expected number of t-stable sets of order k. We derive this expression by performing a precise count of the number of graphs on k vertices that have maximum degree at most k. Using the above results, we also obtain asymptotic bounds on the t-improper chromatic number of a random graph (this is the generalisation of the chromatic number, where we partition of the vertex set of the graph into t-stable sets).
Generalized asymptotic Euler's relation for certain families of polytopes
According to Euler's relation any polytope P has as many faces of even dimension as it has faces of odd dimension. As a generalization of this fact one can compare the number of faces whose dimension is congruent to i modulo m with the number of all faces of P for some positive integer m and for some 0 < i < m+1. We show some classes of polytopes for which the above proportion is asymptotically equal to 1/m.
Fundamental Dominations in Graphs
Nine variations of the concept of domination in a simple graph are identified as fundamental domination concepts, and a unified approach is introduced for studying them. For each variation, the minimum cardinality of a subset of dominating elements is the corresponding fundamental domination number. It is observed that, for each nontrivial connected graph, at most five of these nine numbers can be different, and inequalities between these five numbers are given. Finally, these fundamental dominations are interpreted in terms of the total graph of the given graph, a concept introduced by the second author in 1965. It is argued that the very first domination concept, defined by O. Ore in 1962 and under a different name by C. Berge in 1958, deserves to be called the most fundamental of graph dominations.
Optimizing the double description method for normal surface enumeration
Published in Mathematics of Computation 79 (2010), no. 269, 453-484
• View Publication
• BIB
Many key algorithms in 3-manifold topology involve the enumeration of normal surfaces, which is based upon the double description method for finding the vertices of a convex polytope. Typically we are only interested in a small subset of these vertices, thus opening the way for substantial optimization. Here we give an account of the vertex enumeration problem as it applies to normal surfaces, and present new optimizations that yield strong improvements in both running time and memory consumption. The resulting algorithms are tested using the freely available software package Regina.
The diameter of sparse random graphs
Published in Combinatorics, Probability and Computing 19 (2010), 835--926
• View Publication
• BIB
In this paper we study the diameter of the random graph $G(n,p)$, i.e., the the largest finite distance between two vertices, for a wide range of functions $p=p(n)$. For $p=\la/n$ with $\la>1$ constant, we give a simple proof of an essentially best possible result, with an $O_p(1)$ additive correction term. Using similar techniques, we establish 2-point concentration in the case that $np\to\infty$. For $p=(1+ε)/n$ with $ε\to 0$, we obtain a corresponding result that applies all the way down to the scaling window of the phase transition, with an $O_p(1/ε)$ additive correction term whose (appropriately scaled) limiting distribution we describe. Combined with earlier results, our new results complete the determination of the diameter of the random graph $G(n,p)$ to an accuracy of the order of its standard deviation (or better), for all functions $p=p(n)$. Throughout we use branching process methods, rather than the more common approach of separate analysis of the 2-core and the trees attached to it.
Least Squares Methods for Equidistant Tree Reconstruction
UPGMA is a heuristic method identifying the least squares equidistant phylogenetic tree given empirical distance data among $n$ taxa. We study this classic algorithm using the geometry of the space of all equidistant trees with $n$ leaves, also known as the Bergman complex of the graphical matroid for the complete graph $K_n$. We show that UPGMA performs an orthogonal projection of the data onto a maximal cell of the Bergman complex. We also show that the equidistant tree with the least (Euclidean) distance from the data is obtained from such an orthogonal projection, but not necessarily given by UPGMA. Using this geometric information we give an extension of the UPGMA algorithm. We also present a branch and bound method for finding the best equidistant tree. Finally, we prove that there are distance data among $n$ taxa which project to at least $(n-1)!$ equidistant trees.
On Universal Cycles of Labeled Graphs
Published
• View Publication
• BIB
A universal cycle is a compact listing of a class of combinatorial objects. In this paper, we prove the existence of universal cycles of classes of labeled graphs, including simple graphs, trees, graphs with m edges, graphs with loops, graphs with multiple edges (with up to m duplications of each edge), directed graphs, hypergraphs, and k-uniform hypergraphs.
Circular Digraph Walks, k-Balanced Strings, Lattice Paths and Chebychev Polynomials
Published in The Electronic Journal of Combinatorics 15 (2008), #R108
• View Publication
• BIB
We count the number of walks of length n on a k-node circular digraph that cover all k nodes in two ways. The first way illustrates the transfer-matrix method. The second involves counting various classes of height-restricted lattice paths. We observe that the results also count so-called k-balanced strings of length n, generalizing a 1996 Putnam problem.
Pseudocyclic association schemes and strongly regular graphs
Published in European J. Combin. 31 (2010), 1513-1519
• View Publication
• BIB
Let X be a pseudocyclic association scheme in which all the nontrivial relations are strongly regular graphs with the same eigenvalues. We prove that the principal part of the first eigenmatrix of X is a linear combination of an incidence matrix of a symmetric design and the all-ones matrix. Amorphous pseudocyclic association schemes are examples of such association schemes whose associated symmetric design is trivial. We present several non-amorphous examples, which are either cyclotomic association schemes, or their fusion schemes. Special properties of symmetric designs guarantee the existence of further fusions, and the two known non-amorphous association schemes of class 4 discovered by van Dam and by the authors, are recovered in this way. We also give another pseudocyclic non-amorphous association scheme of class 7 on GF(2^{21}), and a new pseudocyclic amorphous association scheme of class 5 on GF(2^{12}).
Hypergraph Ramsey numbers
Published
• View Publication
• BIB
The Ramsey number r_k(s,n) is the minimum N such that every red-blue coloring of the k-tuples of an N-element set contains either a red set of size s or a blue set of size n, where a set is called red (blue) if all k-tuples from this set are red (blue). In this paper we obtain new estimates for several basic hypergraph Ramsey problems. We give a new upper bound for r_k(s,n) for k \geq 3 and s fixed. In particular, we show that r_3(s,n) \leq 2^{n^{s-2}\log n}, which improves by a factor of n^{s-2}/ polylog n the exponent of the previous upper bound of Erdos and Rado from 1952. We also obtain a new lower bound for these numbers, showing that there are constants c_1,c_2>0 such that r_3(s,n) \geq 2^{c_1 sn \log (n/s)} for all 4 \leq s \leq c_2n. When s is a constant, it gives the first superexponential lower bound for r_3(s,n), answering an open question posed by Erdos and Hajnal in 1972. Next, we consider the 3-color Ramsey number r_3(n,n,n), which is the minimum N such that every 3-coloring of the triples of an N-element set contains a monochromatic set of size n. Improving another old result of Erdos and Hajnal, we show that r_3(n,n,n) \geq 2^{n^{c \log n}}. Finally, we make some progress on related hypergraph Ramsey-type problems.
Combinatorial bases for multilinear parts of free algebras with double compatible brackets
Published
• View Publication
• BIB
Let X be an ordered alphabet. Lie_2(n) (and P_2(n) respectively) are the multilinear parts of the free Lie algebra (and the free Poisson algebra respectively) on X with a pair of compatible Lie brackets. In this paper, we prove the dimension formulas for these two algebras conjectured by B. Feigin by constructing bases for Lie_2(n) (and P_2(n)) from combinatorial objects. We also define a complementary space Eil_2(n) to Lie_2(n), give a pairing between Lie_2(n) and Eil_2(n), and show that the pairing is perfect.
The Bi-Musquash Conjecture
D.R. Woodall's definition of a 'musquash' is extended to that of a 'bi-musquash' and the existence/uniqueness of these is discussed.
Duality between quasi-concave functions and monotone linkage functions
Published
• View Publication
• BIB
A function $F$ defined on all subsets of a finite ground set $E$ is quasi-concave if $F(X\cup Y)\geq\min\{F(X),F(Y)\}$ for all $X,Y\subset E$. Quasi-concave functions arise in many fields of mathematics and computer science such as social choice, theory of graph, data mining, clustering and other fields.
The maximization of quasi-concave function takes, in general, exponential time. However, if a quasi-concave function is defined by associated monotone linkage function then it can be optimized by the greedy type algorithm in a polynomial time.
Quasi-concave functions defined as minimum values of monotone linkage functions were considered on antimatroids, where the correspondence between quasi-concave and bottleneck functions was shown (Kempner & Levit, 2003). The goal of this paper is to analyze quasi-concave functions on different families of sets and to investigate their relationships with monotone linkage functions.
The Stadium Theorem
A proof of a curious planar embedding theorem.
Top homology of hypergraph matching complexes, $p$-cycle complexes and Quillen complexes of symmetric groups
Published
• View Publication
• BIB
We investigate the representation of a symmetric group $S_n$ on the homology of its Quillen complex at a prime $p$. For homology groups in small codimension, we derive an explicit formula for this representation in terms of the representations of symmetric groups on homology groups of $p$-uniform hypergraph matching complexes. We conjecture an explicit formula for the representation of $S_n$ on the top homology group of the corresponding hypergraph matching complex when $n \equiv 1 \bmod p$. Our conjecture follows from work of Bouc when $p=2$, and we prove the conjecture when $p=3$.
Symmetric Functions and Caps
Given a finite subset S in F_p^d, let a(S) be the number of distinct r-tuples (x_1,...,x_r) in S such that x_1+...+x_r = 0. We consider the "moments" F(m,n) = sum_|S|=n a(S)^m. Specifically, we present an explicit formula for F(m,n) as a product of two matrices, ultimately yielding a polynomial in q=p^d. The first matrix is independent of n while the second makes no mention of finite fields. However, the complexity of calculating each grows with m. The main tools here are the Schur-Weyl duality theorem, and some elementary properties of symmetric functions. This problem is closely to the study of maximal caps.
A binary tree representation for the 2-adic valuation of a sequence arising from a rational integral
Published
• View Publication
• BIB
We present a binary tree that describes the 2-adic valuation of a sequence of coefficients arising from the evaluation of a rational integral.
Exterior algebras and two conjectures on finite abelian groups
Published in Israel J. Math. 182(2011), 425-437
• View Publication
• BIB
Let G be a finite abelian group with |G|>1. Let a_1,...,a_k be k distinct elements of G and let b_1,...,b_k be (not necessarily distinct) elements of G, where k is a positive integer smaller than the least prime divisor of |G|. We show that there is a permutation $π$ on {1,...,k} such that a_1b_{π(1)},...,a_kb_{π(k)} are distinct, provided that any other prime divisor of |G| (if there is any) is greater than k!. This in particular confirms the Dasgupta-Karolyi-Serra-Szegedy conjecture for abelian p-groups. We also pose a new conjecture involving determinants and characters, and show that its validity implies Snevily's conjecture for abelian groups of odd order. Our methods involve exterior algebras and characters.
On almost universal mixed sums of squares and triangular numbers
Published in Trans. Amer. Math. Soc. 362(2010), no.12, 6425--6455
• View Publication
• BIB
In 1997 K. Ono and K. Soundararajan [Invent. Math. 130(1997)] proved that under the generalized Riemann hypothesis any positive odd integer greater than 2719 can be represented by the famous Ramanujan form $x^2+y^2+10z^2$, equivalently the form $2x^2+5y^2+4T_z$ represents all integers greater than 1359, where $T_z$ denotes the triangular number $z(z+1)/2$. Given positive integers $a,b,c$ we employ modular forms and the theory of quadratic forms to determine completely when the general form $ax^2+by^2+cT_z$ represents sufficiently large integers and establish similar results for the forms $ax^2+bT_y+cT_z$ and $aT_x+bT_y+cT_z$. Here are some consequences of our main theorems: (i) All sufficiently large odd numbers have the form $2ax^2+y^2+z^2$ if and only if all prime divisors of $a$ are congruent to 1 modulo 4. (ii) The form $ax^2+y^2+T_z$ is almost universal (i.e., it represents sufficiently large integers) if and only if each odd prime divisor of $a$ is congruent to 1 or 3 modulo 8. (iii) $ax^2+T_y+T_z$ is almost universal if and only if all odd prime divisors of $a$ are congruent to 1 modulo 4. (iv) When $v_2(a)\not=3$, the form $aT_x+T_y+T_z$ is almost universal if and only if all odd prime divisors of $a$ are congruent to 1 modulo 4 and $v_2(a)\not=5,7,...$, where $v_2(a)$ is the 2-adic order of $a$.