Showing 20 papers (Total: 83190 papers, 48060 authors in database)
Covering numbers for graphs and hypergraphs
This paper has been withdrawn, as it has been merged into arXiv:1009.6144
A Ham Sandwich Analogue for Quaternionic Measures and Finite Subgroups of S^3
A "ham sandwich" theorem is established for n quaternionic Borel measures on quaternionic space H^n. For each finite subgroup G of S^3, it is shown that there is a quaternionic hyperplane H and a corresponding tiling of H^n into |G| fundamental regions which are rotationally symmetric about H with respect to G, and satisfy the condition that for each of the n measures, the "G average" of the measures of these regions is zero. If each quaternionic measure is a 4-tuple of finite Borel measures on R^{4n}, the original ham sandwich theorem on R^{4n} is recovered when G = Z_2. The theorem applies to [n/4] finite Borel measures on R^n, and when G is the quaternion group Q_8 this gives a decomposition of R^n into 2 rings of 4 cubical "wedges" each, such that the measure any two opposite wedges is equal for each finite measure.
Packing six T-joins in plane graphs
Let G be a plane graph and T an even subset of its vertices. It has been conjectured that if all T-cuts of G have the same parity and the size of every T-cut is at least k, then G contains k edge-disjoint T-joins. The case k=3 is equivalent to the Four Color Theorem, and the cases k=4, which was conjectured by Seymour, and k=5 were proved by Guenin. We settle the next open case k=6.
Orientability thresholds for random hypergraphs
Published in Combinator. Probab. Comp. 24 (2015) 774-824
• View Publication
• BIB
Let $h>w>0$ be two fixed integers. Let $\orH$ be a random hypergraph whose hyperedges are all of cardinality $h$. To {\em $w$-orient} a hyperedge, we assign exactly $w$ of its vertices positive signs with respect to the hyperedge, and the rest negative. A $(w,k)$-orientation of $\orH$ consists of a $w$-orientation of all hyperedges of $\orH$, such that each vertex receives at most $k$ positive signs from its incident hyperedges. When $k$ is large enough, we determine the threshold of the existence of a $(w,k)$-orientation of a random hypergraph. The $(w,k)$-orientation of hypergraphs is strongly related to a general version of the off-line load balancing problem. The graph case, when $h=2$ and $w=1$, was solved recently by Cain, Sanders and Wormald and independently by Fernholz and Ramachandran, which settled a conjecture of Karp and Saks.
Logarithms of iteration matrices, and proof of a conjecture by Shadrin and Zvonkine
Published
• View Publication
• BIB
A proof for a conjecture by Shadrin and Zvonkine, relating the entries of a matrix arising in the study of Hurwitz numbers to a certain sequence of rational numbers, is given. The main tools used are iteration matrices of formal power series and their (matrix) logarithms.
Densities of Minor-Closed Graph Families
Published in Electronic J. Combinatorics 17(1), Paper R136, 2010
• View Publication
• BIB
We define the limiting density of a minor-closed family of simple graphs F to be the smallest number k such that every n-vertex graph in F has at most kn(1+o(1)) edges, and we investigate the set of numbers that can be limiting densities. This set of numbers is countable, well-ordered, and closed; its order type is at least ω^ω. It is the closure of the set of densities of density-minimal graphs, graphs for which no minor has a greater ratio of edges to vertices. By analyzing density-minimal graphs of low densities, we find all limiting densities up to the first two cluster points of the set of limiting densities, 1 and 3/2. For multigraphs, the only possible limiting densities are the integers and the superparticular ratios i/(i+1).
On the Banach space valued Azuma inequality and small set isoperimetry of Alon-Roichman graphs
Published
• View Publication
• BIB
We discuss the connection between the expansion of small sets in graphs, and the Schatten norms of their adjacency matrix. In conjunction with a variant of the Azuma inequality for uniformly smooth normed spaces, we deduce improved bounds on the small set isoperimetry of Abelian Alon-Roichman random Cayley graphs.
Asymptotics of coefficients of multivariate generating functions: improvements for multiple points
Let $F(x)= \sum_{ν\in\NN^d} F_νx^ν$ be a multivariate power series with complex coefficients that converges in a neighborhood of the origin. Assume $F=G/H$ for some functions $G$ and $H$ holomorphic in a neighborhood of the origin. We derive asymptotics for the coefficients $F_{rα}$ as $r \to \infty$ with $rα\in \NN^d$ for $α$ in a permissible subset of $d$-tuples of positive reals. More specifically, we give an algorithm for computing arbitrary terms of the asymptotic expansion for $F_{rα}$ when the asymptotics are controlled by a transverse multiple point of the analytic variety $H = 0$. This improves upon earlier work by R. Pemantle and M. C. Wilson.
We have implemented our algorithm in Sage and apply it to obtain accurate numerical results for several rational combinatorial generating functions.
Bounds on the Rubbling and Optimal Rubbling Numbers of Graphs
Published
• View Publication
• BIB
A pebbling move on a graph removes two pebbles at a vertex and adds one pebble at an adjacent vertex. Rubbling is a version of pebbling where an additional move is allowed. In this new move, one pebble each is removed at vertices $v$ and $w$ adjacent to a vertex $u$, and an extra pebble is added at vertex $u$. A vertex is reachable from a pebble distribution if it is possible to move a pebble to that vertex using rubbling moves. The rubbling number is the smallest number $m$ needed to guarantee that any vertex is reachable from any pebble distribution of $m$ pebbles. The optimal rubbling number is the smallest number $m$ needed to guarantee a pebble distribution of $m$ pebbles from which any vertex is reachable. We give bounds for rubbling and optimal rubbling numbers. In particular, we find an upper bound for the rubbling number of $n$-vertex, diameter $d$ graphs, and estimates for the maximum rubbling number of diameter 2 graphs. We also give a sharp upper bound for the optimal rubbling number, and sharp upper and lower bounds in terms of the diameter.
Combinatorial substitutions and sofic tilings
A combinatorial substitution is a map over tilings which allows to define sets of tilings with a strong hierarchical structure. In this paper, we show that such sets of tilings are sofic, that is, can be enforced by finitely many local constraints. This extends some similar previous results (Mozes'90, Goodman-Strauss'98) in a much shorter presentation.
Well-covered and uniformly well-covered graphs
A graph $G$ is called well-covered if all maximal independent sets of vertices have the same cardinality. A well-covered graph $G$ is called uniformly well-covered if there is a partition of the set of vertices of $G$ such that each maximal independent set of vertices has exactly one vertex in common with each part in the partition. The problem of determining which graphs is well-covered, was proposed in 1970 by M.D. Plummer. Let $\cal G$ be the class of graphs with some disjoint maximal cliques covering all vertices. In this paper, some necessary and sufficient conditions are presented to recognize which graphs in the class $\cal G$ are well-covered or uniformly well-covered. This characterization has a nice algebraic interpretation according to zero-divisor elements of edge ring of graphs which is illustrated in this paper.
Cliques in graphs with bounded minimum degree
Published
• View Publication
• BIB
Let $k_r(n,δ)$ be the minimum number of $r$-cliques in graphs with $n$ vertices and minimum degree $δ$. We evaluate $k_r(n,δ)$ for $δ\leq 4n/5$ and some other cases. Moreover, we give a construction, which we conjecture to give all extremal graphs (subject to certain conditions on $n$, $δ$ and $r$).
Using homological duality in consecutive pattern avoidance
Published in Electron. J. Combin, 18(2) (2011),
• View Publication
• BIB
Using the approach suggested in [arXiv:1002.2761] we present below a sufficient condition guaranteeing that two collections of patterns of permutations have the same exponential generating functions for the number of permutations avoiding elements of these collections as consecutive patterns. In short, the coincidence of the latter generating functions is guaranteed by a length-preserving bijection of patterns in these collections which is identical on the overlappings of pairs of patterns where the overlappings are considered as unordered sets. Our proof is based on a direct algorithm for the computation of the inverse generating functions. As an application we present a large class of patterns where this algorithm is fast and, in particular, allows to obtain a linear ordinary differential equation with polynomial coefficients satisfied by the inverse generating function.
Multitriangulations, pseudotriangulations and primitive sorting networks
Published in Discrete Comput. Geom., 48(1):142-191, 2012
• View Publication
• BIB
We study the set of all pseudoline arrangements with contact points which cover a given support. We define a natural notion of flip between these arrangements and study the graph of these flips. In particular, we provide an enumeration algorithm for arrangements with a given support, based on the properties of certain greedy pseudoline arrangements and on their connection with sorting networks. Both the running time per arrangement and the working space of our algorithm are polynomial.
As the motivation for this work, we provide in this paper a new interpretation of both pseudotriangulations and multitriangulations in terms of pseudoline arrangements on specific supports. This interpretation explains their common properties and leads to a natural definition of multipseudotriangulations, which generalizes both. We study elementary properties of multipseudotriangulations and compare them to iterations of pseudotriangulations.
Thue-Morse at Multiples of an Integer
Published
• View Publication
• BIB
Let (t_n) be the classical Thue-Morse sequence defined by t_n = s_2(n) (mod 2), where s_2 is the sum of the bits in the binary representation of n. It is well known that for any integer k>=1 the frequency of the letter "1" in the subsequence t_0, t_k, t_{2k}, ... is asymptotically 1/2. Here we prove that for any k there is a n<=k+4 such that t_{kn}=1. Moreover, we show that n can be chosen to have Hamming weight <=3. This is best in a twofold sense. First, there are infinitely many k such that t_{kn}=1 implies that n has Hamming weight >=3. Second, we characterize all k where the minimal n equals k, k+1, k+2, k+3, or k+4. Finally, we present some results and conjectures for the generalized problem, where s_2 is replaced by s_b for an arbitrary base b>=2.
Generators of the Hecke algebra of $(S_{2n},B_n)$
A set of ring generators for the Hecke algebra of the Gel'fand pair $(S_{2n},B_n)$, where $B_n$ is the hyperoctahedral subgroup of the symmetric group $S_{2n}$ is presented. Various corollaries are given. A conjecture of Sho Matsumoto is proven.
A new series for $π^3$ and related congruences
Published in Internat. J. Math. 26(2015), no.8, 1550055 (23 pages)
• View Publication
• BIB
Let $H_n^{(2)}$ denote the second-order harmonic number $\sum_{0<k\le n}1/k^2$ for $n=0,1,2,\ldots$. In this paper we obtain the following identity: $$\sum_{k=1}^\infty\frac{2^kH_{k-1}^{(2)}}{k\binom{2k}k}=\frac{π^3}{48}.$$ We explain how we found the series and develop related congruences involving Bernoulli or Euler numbers; for example, it is shown that $$\sum_{k=1}^{p-1}\frac{\binom{2k}k}{2^k}H_k^{(2)}\equiv-E_{p-3}\pmod{p}$$ for any prime $p>3$, where $E_0,E_1,E_2,\ldots$ are Euler numbers. Motivated by the Amdeberhan-Zeilberger identity $\sum_{k=1}^\infty(21k-8)/(k^3\binom{2k}k^3)=π^2/6$, we also establish the congruence $$\sum_{k=1}^{(p-1)/2}\frac{21k-8}{k^3\binom{2k}k^3}\equiv(-1)^{(p+1)/2}4E_{p-3}\pmod p$$ for each prime $p>3$.
Considering Adelman's Shortest Permutation Strings
In this report, we consider Adelman's algorithm for generating shortest permutation strings. We introduce a new representation approach which reveals some properties of Adelman's algorithm.
Relative Node Polynomials for Plane Curves
Published
• View Publication
• BIB
We generalize the recent work of S. Fomin and G. Mikhalkin on polynomial formulas for Severi degrees.
The degree of the Severi variety of plane curves of degree d and delta nodes is given by a polynomial in d, provided delta is fixed and d is large enough. We extend this result to generalized Severi varieties parametrizing plane curves which, in addition, satisfy tangency conditions of given orders with respect to a given line. We show that the degrees of these varieties, appropriately rescaled, are given by a combinatorially defined "relative node polynomial" in the tangency orders, provided the latter are large enough. We describe a method to compute these polynomials for arbitrary delta, and use it to present explicit formulas for delta <= 6. We also give a threshold for polynomiality, and compute the first few leading terms for any delta.
Infinite Words with Finite Defect
Published in Advances in Applied Mathematics, 2011
• View Publication
• BIB
In this paper, we provide a new characterization of uniformly recurrent words with finite defect based on a relation between the palindromic and factor complexity. Furthermore, we introduce a class of morphisms P_ret closed under composition and we show that a uniformly recurrent word with finite defect is an image of a rich (also called full) word under a morphism of class P_ret. This class is closely related to the well-known class P defined by Hof, Knill, and Simon; every morphism from P_ret is conjugate to a morphism of class P.