Showing 20 papers (Total: 83449 papers, 48190 authors in database)
Hamiltonicity in connected regular graphs
Published in Information Processing Letters Vol. 113, 2013, pp. 858-860
• View Publication
• BIB
In 1980, Jackson proved that every 2-connected $k$-regular graph with at most $3k$ vertices is Hamiltonian. This result has been extended in several papers. In this note, we determine the minimum number of vertices in a connected $k$-regular graph that is not Hamiltonian, and we also solve the analogous problem for Hamiltonian paths. Further, we characterize the smallest connected $k$-regular graphs without a Hamiltonian cycle.
A Sharp Bound for the Circumference in $t$-tough graphs with $t>1$
It is proved that if $G$ is a $t$-tough graph of order $n$ and minimum degree $δ$ with $t>1$ then either $G$ has a cycle of length at least $\min\{n,2δ+5\}$ or $G$ is the Petersen graph.
Formal Groups, Witt vectors and Free Probability
We establish a link between free probability theory and Witt vectors, via the theory of formal groups. We derive an exponential isomorphism which expresses Voiculescu's free multiplicative convolution $\boxtimes$ as a function of the free additive convolution $\boxplus$. Subsequently we continue our previous discussion of the relation between complex cobordism and free probability. We show that the generic $n$th free cumulant corresponds to the cobordism class of the $(n-1)$-dimensional complex projective space. This permits us to relate several probability distributions from random matrix theory to known genera, and to build a dictionary. Finally, we discuss aspects of free probability and the asymptotic representation theory of the symmetric group from a conformal field theoretic perspective and show that every distribution with mean zero is embeddable into the Universal Grassmannian of Sato-Segal-Wilson.
Independent sets in hypergraphs
Published
• View Publication
• BIB
Many important theorems in combinatorics, such as Szemerédi's theorem on arithmetic progressions and the Erdős-Stone Theorem in extremal graph theory, can be phrased as statements about independent sets in uniform hypergraphs. In recent years, an important trend in the area has been to extend such classical results to the so-called sparse random setting. This line of research culminated recently in the breakthroughs of Conlon and Gowers and of Schacht, who developed general tools for solving problems of this type.
In this paper, we provide a third, completely different approach to proving extremal and structural results in sparse random sets. We give a structural characterization of the independent sets in a large class of uniform hypergraphs by showing that every independent set is almost contained in one of a small number of relatively sparse sets. We then derive many interesting results as fairly straightforward consequences of this abstract theorem. In particular, we prove the well-known conjecture of Kohayakawa, Łuczak and Rödl, a probabilistic embedding lemma for sparse graphs. We also give alternative proofs of many of the results of Conlon and Gowers and Schacht, and obtain their natural counting versions, which in some cases are considerably stronger. We moreover prove a sparse version of the Erdős-Frankl-Rödl Theorem on the number of H-free graphs and extend a result of Rödl and Ruciński on Ramsey properties in sparse random graphs to the general, non-symmetric setting.
We remark that similar results have been discovered independently by Saxton and Thomason, and that, in parallel to this work, Conlon, Gowers, Samotij and Schacht have proved a sparse analogue of the counting lemma for subgraphs of the random graph G(n,p), which may be viewed as a version of the KŁR conjecture that is stronger in some ways and weaker in others.
Congruence classes of 2-adic valuations of Stirling numbers of the second kind
We analyze congruence classes of $S(n,k)$, the Stirling numbers of the second kind, modulo powers of 2. This analysis provides insight into a conjecture posed by Amdeberhan, Manna and Moll, which those authors established for $k\le5$. We provide a framework that can be used to justify the conjecture by computational means, which we then complete for $k=5, 6,..., 20$.
Extending partial representations of function graphs and permutation graphs
Function graphs are graphs representable by intersections of continuous real-valued functions on the interval [0,1] and are known to be exactly the complements of comparability graphs. As such they are recognizable in polynomial time. Function graphs generalize permutation graphs, which arise when all functions considered are linear.
We focus on the problem of extending partial representations, which generalizes the recognition problem. We observe that for permutation graphs an easy extension of Golumbic's comparability graph recognition algorithm can be exploited. This approach fails for function graphs. Nevertheless, we present a polynomial-time algorithm for extending a partial representation of a graph by functions defined on the entire interval [0,1] provided for some of the vertices. On the other hand, we show that if a partial representation consists of functions defined on subintervals of [0,1], then the problem of extending this representation to functions on the entire interval [0,1] becomes NP-complete.
Conflict-free coloring with respect to a subset of intervals
Given a hypergraph H = (V, E), a coloring of its vertices is said to be conflict-free if for every hyperedge S \in E there is at least one vertex in S whose color is distinct from the colors of all other vertices in S. The discrete interval hypergraph Hn is the hypergraph with vertex set {1,...,n} and hyperedge set the family of all subsets of consecutive integers in {1,...,n}. We provide a polynomial time algorithm for conflict-free coloring any subhypergraph of Hn, we show that the algorithm has approximation ratio 2, and we prove that our analysis is tight, i.e., there is a subhypergraph for which the algorithm computes a solution which uses twice the number of colors of the optimal solution. We also show that the problem of deciding whether a given subhypergraph of Hn can be colored with at most k colors has a quasipolynomial time algorithm.
Lattice points in vector-dilated polytopes
For $A\in\mathbb{Z}^{m\times n}$ we investigate the behaviour of the number of lattice points in $P_A(b)=\{x\in\mathbb{R}^n:Ax\leq b\}$, depending on the varying vector $b$. It is known that this number, restricted to a cone of constant combinatorial type of $P_A(b)$, is a quasi-polynomial function if b is an integral vector. We extend this result to rational vectors $b$ and show that the coefficients themselves are piecewise-defined polynomials. To this end, we use a theorem of McMullen on lattice points in Minkowski-sums of rational dilates of rational polytopes and take a closer look at the coefficients appearing there.
Further analysis on the total number of subtrees of trees
Published
• View Publication
• BIB
We study that over some types of trees with a given number of vertices, which trees minimize or maximize the total number of subtrees. Trees minimizing (resp. maximizing) the total number of subtrees usually maximize (resp. minimize) the Wiener index, and vice versa. Here are some of our results: (1) Let $\mathscr{T}_n^k$ be the set of all $n$-vertex trees with $k$ leaves, we determine the maximum (resp. minimum) value of the total number of subtrees of trees among $\mathscr{T}_n^k$ and characterize the extremal graphs. (2) Let $\mathscr{P}_n^{p,q}$ be the set of all $n$-vertex trees, each of which has a $(p,q)$-bipartition, we determine the maximum (resp. minimum) value of the total number of subtrees of trees among $\mathscr{P}_n^{p,q}$ and characterize the extremal graphs. (3) Let $\mathscr{A}_n^q$ be the set of all $q$-ary trees with $n$ non-leaf vertices, we determine the minimum value of the total number of subtrees of trees among $\mathscr{A}_n^q$ and identify the extremal graph.
Trees of nuclei and bounds on the number of triangulations of the 3-ball
Published
• View Publication
• BIB
Based on the work of Durhuus-J{ó}nsson and Benedetti-Ziegler, we revisit the question of the number of triangulations of the 3-ball. We introduce a notion of nucleus (a triangulation of the 3-ball without internal nodes, and with each internal face having at most 1 external edge). We show that every triangulation can be built from trees of nuclei. This leads to a new reformulation of Gromov's question: We show that if the number of rooted nuclei with $t$ tetrahedra has a bound of the form $C^t$, then the number of rooted triangulations with $t$ tetrahedra is bounded by $C_*^t$.
Spectra of edge-independent random graphs
Published
• View Publication
• BIB
Let $G$ be a random graph on the vertex set $\{1,2,..., n\}$ such that edges in $G$ are determined by independent random indicator variables, while the probability $p_{ij}$ for $\{i,j\}$ being an edge in $G$ is not assumed to be equal. Spectra of the adjacency matrix and the normalized Laplacian matrix of $G$ are recently studied by Oliveira and Chung-Radcliffe. Let $A$ be the adjacency matrix of $G$, $\bar A=\E(A)$, and $Δ$ be the maximum expected degree of $G$. Oliveira first proved that almost surely $\|A-\bar A\|=O(\sqrt{Δ\ln n})$ provided $Δ\geq C \ln n$ for some constant $C$. Chung-Radcliffe improved the hidden constant in the error term using a new Chernoff-type inequality for random matrices. Here we prove that almost surely $\|A-\bar A\|\leq (2+o(1))\sqrtΔ$ with a slightly stronger condition $Δ\gg \ln^4 n$. For the Laplacian $L$ of $G$, Oliveira and Chung-Radcliffe proved similar results $\|L-\bar L|=O(\sqrt{\ln n}/\sqrtδ)$ provided the minimum expected degree $δ\gg \ln n$; we also improve their results by removing the $\sqrt{\ln n}$ multiplicative factor from the error term under some mild conditions. Our results naturally apply to the classic Erdős-Rényi random graphs, random graphs with given expected degree sequences, and bond percolation of general graphs.
Finite Geometry Behind the Harvey-Chryssanthacopoulos Four-Qubit Magic Rectangle
Published in Quantum Information and Computation 11 (2012) 1011-1016
• View Publication
• BIB
A "magic rectangle" of eleven observables of four qubits, employed by Harvey and Chryssanthacopoulos (2008) to prove the Bell-Kochen-Specker theorem in a 16-dimensional Hilbert space, is given a neat finite-geometrical reinterpretation in terms of the structure of the symplectic polar space $W(7, 2)$ of the real four-qubit Pauli group. Each of the four sets of observables of cardinality five represents an elliptic quadric in the three-dimensional projective space of order two (PG$(3, 2)$) it spans, whereas the remaining set of cardinality four corresponds to an affine plane of order two. The four ambient PG$(3, 2)$s of the quadrics intersect pairwise in a line, the resulting six lines meeting in a point. Projecting the whole configuration from this distinguished point (observable) one gets another, complementary "magic rectangle" of the same qualitative structure.
Strong Backdoors to Bounded Treewidth SAT
Published
• View Publication
• BIB
There are various approaches to exploiting "hidden structure" in instances of hard combinatorial problems to allow faster algorithms than for general unstructured or random instances. For SAT and its counting version #SAT, hidden structure has been exploited in terms of decomposability and strong backdoor sets. Decomposability can be considered in terms of the treewidth of a graph that is associated with the given CNF formula, for instance by considering clauses and variables as vertices of the graph, and making a variable adjacent with all the clauses it appears in. On the other hand, a strong backdoor set of a CNF formula is a set of variables such that each possible partial assignment to this set moves the formula into a fixed class for which (#)SAT can be solved in polynomial time.
In this paper we combine the two above approaches. In particular, we study the algorithmic question of finding a small strong backdoor set into the class W_t of CNF formulas whose associated graphs have treewidth at most t. The main results are positive:
(1) There is a cubic-time algorithm that, given a CNF formula F and two constants k,t\ge 0, either finds a strong W_t-backdoor set of size at most 2^k, or concludes that F has no strong W_t-backdoor set of size at most k.
(2) There is a cubic-time algorithm that, given a CNF formula F, computes the number of satisfying assignments of F or concludes that sb_t(F)>k, for any pair of constants k,t\ge 0. Here, sb_t(F) denotes the size of a smallest strong W_t-backdoor set of F.
The significance of our results lies in the fact that they allow us to exploit algorithmically a hidden structure in formulas that is not accessible by any one of the two approaches (decomposability, backdoors) alone. Already a backdoor size 1 on top of treewidth 1 (i.e., sb_1(F)=1) entails formulas of arbitrarily large treewidth and arbitrarily large cycle cutsets.
Probabilistic Zero Forcing in Graphs
The \emph{zero forcing number} $Z(G)$ of a graph $G$ is the minimum cardinality of a set $S$ of black vertices (whereas vertices in $V(G)\setminusS$ are colored white) such that $V(G)$ is turned black after finitely many applications of "the (classical) color change rule": a white vertex is converted to a black vertex if it is the only white neighbor of a black vertex. Zero forcing number was introduced and used to bound the minimum rank of graphs by the "AIM Minimum Rank - Special Graphs Work Group". We introduce here a probabilistic color change rule (pccr) which is a natural generalization of the classical color change rule. We introduce a theory of probabilistic zero forcing arising out of the pccr; the theory yields a quantity $P_A(G)$, which can be viewed as the probability that a graph $G$ with an initial black set $A$ will be converted entirely to the color black. We also interpret the evolution of the sample spaces of this theory as a Markov process. We end with a few basic examples illustrating this theory.
Thin sums matroids and duality
Published
• View Publication
• BIB
Thin sums matroids were introduced to extend the notion of representability to non-finitary matroids. We give a new criterion for testing when the thin sums construction gives a matroid. We show that thin sums matroids over thin families are precisely the duals of representable matroids (those arising from vector spaces). We also show that the class of tame thin sums matroids is closed under duality and under taking minors, by giving a new characterisation of the matroids in this class. Finally, we show that all the matroids naturally associated to an infinite graph are tame thin sums matroids.
Generalized Sharp Bounds on the Spectral Radius of Digraphs
Published in Linear Algebra and Its Applications 439 (2013) pp. 1468-1478
• View Publication
• BIB
The spectral radius ρ(G) of a digraph G is the maximum modulus of the eigenvalues of its adjacency matrix. We present bounds on ρ(G) that are often tighter and are applicable to a larger class of digraphs than previously reported bounds. Calculating the final bound pair is particularly suited to sparse digraphs.
For strongly connected digraphs, we derive equality conditions for the bounds, relating to the outdegree regularity of the digraph. We also prove that the bounds hold with equality only if ρ(G) is the r-th root of an integer, where r divides the index of imprimitivity of G.
Homomorphism-homogeneous L-colored graphs
A relational structure is homomorphism-homogeneous (HH-homogeneous for short) if every homomorphism between finite induced substructures of the structure can be extended to a homomorphism over the whole domain of the structure. Similarly, a structure is monomorphism-homogeneous (MH-homogeneous for short) if every monomorphism between finite induced substructures of the structure can be extended to a homomorphism over the whole domain of the structure. In this paper we consider L-colored graphs, that is, undirected graphs without loops where sets of colors selected from L are assigned to vertices and edges. A full classification of finite MH-homogeneous L-colored graphs where L is a chain is provided, and we show that the classes MH and HH coincide. When L is a diamond, that is, a set of pairwise incomparable elements enriched with a greatest and a least element, the situation turns out to be much more involved. We show that in the general case the classes MH and HH do not coincide.
The Lefthanded Local Lemma characterizes chordal dependency graphs
Published
• View Publication
• BIB
Shearer gave a general theorem characterizing the family $\LLL$ of dependency graphs labeled with probabilities $p_v$ which have the property that for any family of events with a dependency graph from $\LLL$ (whose vertex-labels are upper bounds on the probabilities of the events), there is a positive probability that none of the events from the family occur.
We show that, unlike the standard Lovász Local Lemma---which is less powerful than Shearer's condition on every nonempty graph---a recently proved `Lefthanded' version of the Local Lemma is equivalent to Shearer's condition for all chordal graphs. This also leads to a simple and efficient algorithm to check whether a given labeled chordal graph is in $\LLL$.
A simple combinatorial proof of Shapiro's Catalan convolution
Published in Advances in Applied Mathematics, Volume 49, Issues 3-5, 2012, Pages 391-396
• View Publication
• BIB
Shapiro proved an elegant convolution formula involving Catalan numbers of even index. This paper gives a simple combinatorial proof of his formula. In addition, we show that it is equivalent with the alternating convolution formula of central binomial coefficients.
Combinatorial Inequalities and Subspaces of L1
Let M and N be Orlicz functions. We establish some combinatorial inequalities and show that the product spaces l^n_M(l^n_N) are uniformly isomorphic to subspaces of L_1 if M and N are "separated" by a function t^r, 1<r<2.