Showing 20 papers (Total: 83190 papers, 48060 authors in database)
Minimum multicuts and Steiner forests for Okamura-Seymour graphs
We study the problem of finding minimum multicuts for an undirected planar graph, where all the terminal vertices are on the boundary of the outer face. This is known as an Okamura-Seymour instance. We show that for such an instance, the minimum multicut problem can be reduced to the minimum-cost Steiner forest problem on a suitably defined dual graph. The minimum-cost Steiner forest problem has a 2-approximation algorithm. Hence, the minimum multicut problem has a 2-approximation algorithm for an Okamura-Seymour instance.
Permutation Complexity and the Letter Doubling Map
Published
• View Publication
• BIB
Given a countable set X (usually taken to be N or Z), an infinite permutation $π$ of X is a linear ordering $<_π$ of X. This paper investigates the combinatorial complexity of infinite permutations on N associated with the image of uniformly recurrent aperiodic binary words under the letter doubling map. An upper bound for the complexity is found for general words, and a formula for the complexity is established for the Sturmian words and the Thue-Morse word.
Hypergraphs with many Kneser colorings (Extended Version)
Published
• View Publication
• BIB
For fixed positive integers $r, k$ and $\ell$ with $1 \leq \ell < r$ and an $r$-uniform hypergraph $H$, let $κ(H, k,\ell)$ denote the number of $k$-colorings of the set of hyperedges of $H$ for which any two hyperedges in the same color class intersect in at least $\ell$ elements. Consider the function $\KC(n,r,k,\ell)=\max_{H\in{\mathcal H}_{n}} κ(H, k,\ell) $, where the maximum runs over the family ${\mathcal H}_n$ of all $r$-uniform hypergraphs on $n$ vertices. In this paper, we determine the asymptotic behavior of the function $\KC(n,r,k,\ell)$ for every fixed $r$, $k$ and $\ell$ and describe the extremal hypergraphs. This variant of a problem of Erdős and Rothschild, who considered edge colorings of graphs without a monochromatic triangle, is related to the Erdős--Ko--Rado Theorem on intersecting systems of sets [Intersection Theorems for Systems of Finite Sets, Quarterly Journal of Mathematics, Oxford Series, Series 2, {\bf 12} (1961), 313--320].
The solution of the quantum $A_1$ T-system for arbitrary boundary
Published
• View Publication
• BIB
We solve the quantum version of the $A_1$ $T$-system by use of quantum networks. The system is interpreted as a particular set of mutations of a suitable (infinite-rank) quantum cluster algebra, and Laurent positivity follows from our solution. As an application we re-derive the corresponding quantum network solution to the quantum $A_1$ $Q$-system and generalize it to the fully non-commutative case. We give the relation between the quantum $T$-system and the quantum lattice Liouville equation, which is the quantized $Y$-system.
Simple Proofs of Classical Theorems in Discrete Geometry via the Guth--Katz Polynomial Partitioning Technique
Published
• View Publication
• BIB
Recently Guth and Katz \cite{GK2} invented, as a step in their nearly complete solution of Erdős's distinct distances problem, a new method for partitioning finite point sets in $\R^d$, based on the Stone--Tukey polynomial ham-sandwich theorem. We apply this method to obtain new and simple proofs of two well known results: the Szemerédi--Trotter theorem on incidences of points and lines, and the existence of spanning trees with low crossing numbers. Since we consider these proofs particularly suitable for teaching, we aim at self-contained, expository treatment. We also mention some generalizations and extensions, such as the Pach--Sharir bound on the number of incidences with algebraic curves of bounded degree.
The Wiener Index of Unicyclic Graphs with Girth and the Matching Number
In this paper, we investigate how the Wiener index of unicyclic graphs varies with graph operations. These results are used to present a sharp lower bound for the Wiener index of unicyclic graphs of order $n$ with girth and the matching number $β\ge \frac{3g}{2}$. Moreover, we characterize all extremal graphs which attain the lower bound.
On the van der Waerden numbers w(2;3,t)
Published in Discrete Applied Mathematics 174: 27-51 (2014)
• View Publication
• BIB
We present results and conjectures on the van der Waerden numbers w(2;3,t) and on the new palindromic van der Waerden numbers pdw(2;3,t). We have computed the new number w(2;3,19) = 349, and we provide lower bounds for 20 <= t <= 39, where for t <= 30 we conjecture these lower bounds to be exact. The lower bounds for 24 <= t <= 30 refute the conjecture that w(2;3,t) <= t^2, and we present an improved conjecture. We also investigate regularities in the good partitions (certificates) to better understand the lower bounds.
Motivated by such reglarities, we introduce *palindromic van der Waerden numbers* pdw(k; t_0,...,t_{k-1}), defined as ordinary van der Waerden numbers w(k; t_0,...,t_{k-1}), however only allowing palindromic solutions (good partitions), defined as reading the same from both ends. Different from the situation for ordinary van der Waerden numbers, these "numbers" need actually to be pairs of numbers. We compute pdw(2;3,t) for 3 <= t <= 27, and we provide lower bounds, which we conjecture to be exact, for t <= 35.
All computations are based on SAT solving, and we discuss the various relations between SAT solving and Ramsey theory. Especially we introduce a novel (open-source) SAT solver, the tawSolver, which performs best on the SAT instances studied here, and which is actually the original DLL-solver, but with an efficient implementation and a modern heuristic typical for look-ahead solvers (applying the theory developed in the SAT handbook article of the second author).
Nonrepetitive sequences on arithmetic progressions
Published
• View Publication
• BIB
A sequence $S=s_{1}s_{2}..._{n}$ is \emph{nonrepetitive} if no two adjacent blocks of $S$ are identical. In 1906 Thue proved that there exist arbitrarily long nonrepetitive sequences over 3-element set of symbols. We study a generalization of nonrepetitive sequences involving arithmetic progressions. We prove that for every $k\geqslant 1$ and every $c\geqslant 1$ there exist arbitrarily long sequences over at most $(1+\frac{1}{c})k+18k^{c/c+1}$ symbols whose subsequences indexed by arithmetic progressions with common differences from the set $\{1,2,...,k\}$ are nonrepetitive. This improves a previous bound obtained in \cite{Grytczuk Rainbow}. Our approach is based on a technique introduced recently in \cite{GrytczukKozikMicek}, which was originally inspired by a constructive proof of the Lovász Local Lemma due to Moser and Tardos \cite{MoserTardos}. We also discuss some related problems that can be successfully attacked by this method.
Note on antichain cutsets in discrete semimodular lattices
The characterization of level sets of finite Boolean lattices as antichain cutsets, due to Rival and Zaguia, is seen to hold in all discrete semimodular lattices.
Variants on the minimum rank problem: A survey II
The minimum rank problem for a (simple) graph $G$ is to determine the smallest possible rank over all real symmetric matrices whose $ij$th entry (for $i\neq j$) is nonzero whenever $\{i,j\}$ is an edge in $G$ and is zero otherwise. This paper surveys the many developments on the (standard) minimum rank problem and its variants since the survey paper \cite{FH}. In particular, positive semidefinite minimum rank, zero forcing parameters, and minimum rank problems for patterns are discussed.
Local neighborliness of the symmetric moment curve
A centrally symmetric analogue of the cyclic polytope, the bicyclic polytope, was defined in [BN08]. The bicyclic polytope is defined by the convex hull of finitely many points on the symmetric moment curve where the set of points has a symmetry about the origin. In this paper, we study the Barvinok-Novik orbitope, the convex hull of the symmetric moment curve.
It was proven in [BN08] that the orbitope is locally $k$-neighborly, that is, the convex hull of any set of $k$ distinct points on an arc of length not exceeding $φ_k$ in $\mathbb{S}^1$ is a $(k-1)$-dimensional face of the orbitope for some positive constant $φ_k$. We prove that we can choose $φ_k $ bigger than $γk^{-3/2} $ for some positive constant $γ$.
Two rainbow connection numbers and the parameter $σ_k(G)$
Published
• View Publication
• BIB
The rainbow connection number $rc(G)$ and the rainbow vertex-connection number $rvc(G)$ of a graph $G$ were introduced by Chartrand et al. and Krivelevich and Yuster, respectively. Good upper bounds in terms of minimum degree $δ$ were reported by Chandran et al., Krivelevich and Yuster, and Li and Shi. However, if a graph has a small minimum degree $δ$ and a large number of vertices $n$, these upper bounds are very large, linear in $n$. Hence, one may think to look for a good parameter to replace $δ$ and decrease the upper bounds significantly. Such a natural parameter is $σ_k$. In this paper, for the rainbow connection number we prove that if $G$ is a connected graph of order $n$ with $k$ independent vertices, then $rc(G)\leq 3k\frac{n-2}{σ_k+k}+6k-4$. For the rainbow vertex-connection number, we prove that $rvc(G)\leq \frac{(4k+2k^{2})n}{σ_k+k}+5k $ if $σ_k\leq 7k$ and $σ_k\geq 8k$, and $rvc(G)\leq \frac{(\frac{38k}{9}+2k^{2})n}{σ_k+k}+5k$ if $7k<σ_k< 8k$. Examples are given showing that our bounds are much better than the existing ones, i.e., for the examples $δ$ is very small but $σ_k$ is very large, and the bounds are $rc(G)< 9k-3$ and $rvc(G)\leq 9k+2k^{2}$ or $rvc(G)\leq\frac{83k}{9}+2k^{2}$, which imply that both $rc(G)$ and $rvc(G)$ can be upper bounded by constants from our upper bounds, but linear in $n$ from the existing ones.
Cayley graphs of order 30p are hamiltonian
Published
• View Publication
• BIB
Suppose G is a finite group of order 30p, where p is prime. We show that if S is any generating set of G, then there is a hamiltonian cycle in the corresponding Cayley graph Cay(G;S).
Foulkes Characters, Eulerian Idempotents, and an Amazing Matrix
Published
• View Publication
• BIB
John Holte [16] introduced a family of "amazing matrices" which give the transition probabilities of "carries" when adding a list of numbers. It was subsequently shown that these same matrices arise in the combinatorics of the Veronese embedding of commutative algebra [4,6,7] and in the analysis of riffle shuffling [6,7]. We find that the left eigenvectors of these matrices form the Foulkes character table of the symmetric group and the right eigenvectors are the Eulerian idempotents introduced by Loday [20] in work on Hochschild homology. The connections give new closed formulae for Foulkes characters and allow explicit computation of natural correlation functions in the original carries problem.
Connectivity of Direct Products of Graphs
Published in Ars Comb. 100: 107-111 (2011)
• Search Publication
Let $κ(G)$ be the connectivity of $G$ and $G\times H$ the direct product of $G$ and $H$. We prove that for any graphs $G$ and $K_n$ with $n\ge 3$, $κ(G\times K_n)=min\{nκ(G),(n-1)δ(G)\}$, which was conjectured by Guji and Vumar.
On the edge connectivity of direct products with dense graphs
Published
• View Publication
• BIB
Let $κ'(G)$ be the edge connectivity of $G$ and $G\times H$ the direct product of $G$ and $H$. Let $H$ be an arbitrary dense graph with minimal degree $δ(H)>|H|/2$. We prove that for any graph $G$, $κ'(G\times H)=\textup{min}\{2κ'(G)e(H),δ(G)δ(H)\}$, where $e(H)$ denotes the number of edges in $H$. In addition, the structure of minimum edge cuts is described. As an application, we present a necessary and sufficient condition for $G\times K_n(n\ge3)$ to be super edge connected.
On Touchard's continued fraction and extensions: combinatorics-free, self-contained proofs
Published
• View Publication
• BIB
We give a direct and simple proof of Touchard's continued fraction, provide an extension of it, and transform it into similar expansions related to Motzkin and Schroeder numbers. Another proof is then given that uses only induction. We use this machinery on two examples that appear in recent papers of Josuat-Verges; with an additional parameter, these two can be treated simultaneously.
Perfect graphs of fixed density: counting and homogenous sets
For c in [0,1] let P_n(c) denote the set of n-vertex perfect graphs with density c and C_n(c) the set of n-vertex graphs without induced C_5 and with density c. We show that log|P_n(c)|/binom{n}{2}=log|C_n(c)|/binom{n}{2}=h(c)+o(1) with h(c)=1/2 if 1/4<c<3/4 and h(c)=H(|2c-1|)/2 otherwise, where H is the binary entropy function.
Further, we use this result to deduce that almost all graphs in C_n(c) have homogenous sets of linear size. This answers a question raised by Loebl, Reed, Scott, Thomason, and Thomassé [Almost all H-free graphs have the Erdős-Hajnal property] in the case of forbidden induced C_5.
Achlioptas process phase transitions are continuous
Published in Annals of Applied Probability 2012, Vol. 22, No. 4, 1450-1464
• View Publication
• BIB
It is widely believed that certain simple modifications of the random graph process lead to discontinuous phase transitions. In particular, starting with the empty graph on $n$ vertices, suppose that at each step two pairs of vertices are chosen uniformly at random, but only one pair is joined, namely, one minimizing the product of the sizes of the components to be joined. Making explicit an earlier belief of Achlioptas and others, in 2009, Achlioptas, D'Souza and Spencer [Science 323 (2009) 1453-1455] conjectured that there exists a $δ>0$ (in fact, $δ\ge1/2$) such that with high probability the order of the largest component "jumps" from $o(n)$ to at least $δn$ in $o(n)$ steps of the process, a phenomenon known as "explosive percolation." We give a simple proof that this is not the case. Our result applies to all "Achlioptas processes," and more generally to any process where a fixed number of independent random vertices are chosen at each step, and (at least) one edge between these vertices is added to the current graph, according to any (online) rule. We also prove the existence and continuity of the limit of the rescaled size of the giant component in a class of such processes, settling a number of conjectures. Intriguing questions remain, however, especially for the product rule described above.
Block Companion Singer Cycles, Primitive Recursive Vector Sequences, and Coprime Polynomial Pairs over Finite Fields
Published in Finite Fields Appl. 17 (2011), no. 5, 461-472
• View Publication
• BIB
We discuss a conjecture concerning the enumeration of nonsingular matrices over a finite field that are block companion and whose order is the maximum possible in the corresponding general linear group. A special case is proved using some recent results on the probability that a pair of polynomials with coefficients in a finite field is coprime. Connection with an older problem of Niederreiter about the number of splitting subspaces of a given dimension are outlined and an asymptotic version of the conjectural formula is established. Some applications to the enumeration of nonsingular Toeplitz matrices of a given size over a finite field are also discussed.