Showing 20 papers (Total: 82139 papers, 47531 authors in database)
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.
Keeler's theorem and products of distinct transpositions
Published in Amer. Math. Monthly 121 (2014), 136--144
• View Publication
• BIB
An episode of Futurama features a two-body mind-switching machine which will not work more than once on the same pair of bodies. After the Futurama community engages in a mind-switching spree, the question is asked, "Can the switching be undone so as to restore all minds to their original bodies?" Ken Keeler found an algorithm that undoes any mind-scrambling permutation with the aid of two "outsiders." We refine Keeler's result by providing a more efficient algorithm that uses the smallest possible number of switches. We also present best possible algorithms for undoing two natural sequences of switches, each sequence effecting a cyclic mind-scrambling permutation in the symmetric group S_n. Finally, we give necessary and sufficient conditions on m and n for the identity permutation to be expressible as a product of m distinct transpositions in S_n.
Cohen-Macaulay graphs with large girth
Published
• View Publication
• BIB
We classify Cohen-Macaulay graphs of girth at least $5$ and planar Gorenstein graphs of girth at least $4$. Moreover, such graphs are also vertex decomposable.
Toric rings arising from cyclic polytopes
Published
• View Publication
• BIB
In the present paper, we consider the problem when the toric ring arising from an integral cyclic polytope is Cohen-Macaulay by discussing Serre's condition and we give a complete characterization when that is Gorenstein. Moreover, we study the normality of the other semigroup ring arising from an integral cyclic polytope but generated only with its vertices.
A variant of Touchard's Catalan number identity
It is well known that the Catalan number C_n counts dissections of a regular (n+2)-gon into triangles. Here we count such dissections by number of triangles that contain two sides of the polygon among their three edges, leading to a combinatorial interpretation of the identity C_n =sum_{1<=k<=n/2} 2^{n-2k} n-choose-2k C_k (k(n+2))/(n(n-1)), and illustrating its connection with Touchard's identity.
On the number of tilings of a square by rectangles
Published
• View Publication
• BIB
We develop a recursive formula for counting the number of rectangulations of a square, i.e the number of combinatorially distinct tilings of a square by rectangles. Our formula specializes to give a formula counting generic rectangulations, as analyzed by Reading in [5]. Our computations agree with [5] as far as was calculated and extend to the non-generic case. An interesting feature of the number of rectangulations is that it appears to have an 8-fold periodicity modulo 2. We verify this periodicity for small values of n, but the general result remains elusive, perhaps hinting at some unseen structure on the space of rectangulations, analogous to Reading's discovery that generic rectangulations are in 1-1 correspondence with a certain class of permutations. Finally, we use discrete Morse theory to show that the space of tilings by less than or equal to n rectangles is homotopy-equivalent to a wedge of some number of (n-1)-dimensional spheres. Combined with formulae for the number of tilings, the exact homotopy type is computed for $n\leq 28$.
Abelian returns in Sturmian words
Published
• View Publication
• BIB
Return words constitute a powerful tool for studying symbolic dynamical systems. They may be regarded as a discrete analogue of the first return map in dynamical systems. In this paper we investigate two abelian variants of the notion of return word, each of them gives rise to a new characterization of Sturmian words. We prove that a recurrent infinite word is Sturmian if and only if each of its factors has two or three abelian (or semi-abelian) returns. We study the structure of abelian returns in Sturmian words and give a characterization of those factors having exactly two abelian returns. Finally we discuss connections between abelian returns and periodicity in words.
Pure O-sequences: known results, applications, and open problems
Published in "Commutative Algebra. Expository Papers Dedicated to David Eisenbud on the Occasion of His 65th Birthday'' (I. Peeva, Ed.), Springer, 715 pp. (2013)
• View Publication
• BIB
This note presents a discussion of the algebraic and combinatorial aspects of the theory of pure O-sequences. Various instances where pure O-sequences appear are described. Several open problems that deserve further investigation are also presented.
Primes Appearing in Prime Tower Factorization
We introduce and consider a certain probability question involving elementary number theory and the likelihood that a fixed prime will appear in a certain recursively defined factorization of an integer. We derive several convergent infinite products for this probability, which we are unable to simplify to obtain closed form solutions. However, we are able to implement these formulas in the development of algorithms to obtain arbitrarily close rigorous bounds on the probabilities in question.
On the Length of a Partial Independent Transversal in a Matroidal Latin Square
Published in Electronic J. Combinatorics, volume 19, Issue 2 (2012)
• View Publication
• BIB
We suggest and explore a matroidal version of the Brualdi - Ryser conjecture about Latin squares. We prove that any $n\times n$ matrix, whose rows and columns are bases of a matroid, has an independent partial transversal of length $\lceil2n/3\rceil$. We show that for any $n$, there exists such a matrix with a maximal independent partial transversal of length at most $n-1$.
On extensions of the Alon-Tarsi Latin Square conjecture
Published in Electronic J. Combinatorics, volume 19(4) (2012)
• View Publication
• BIB
Expressions involving the product of the permanent with the (n-1)th power of the determinant of a matrix of indeterminates, and of (0,1)-matrices, are shown to be related to two conjectures that extend the Alon-Tarsi Latin square conjecture to odd dimensions. An identity involving an alternating sum of permanents of (0,1)-matrices is obtained.
The method of double chains for largest families with excluded subposets
Published
• View Publication
• BIB
For a given finite poset $P$, $La(n,P)$ denotes the largest size of a family $\mathcal{F}$ of subsets of $[n]$ not containing $P$ as a weak subposet. We exactly determine $La(n,P)$ for infinitely many $P$ posets. These posets are built from seven base posets using two operations. For arbitrary posets, an upper bound is given for $La(n,P)$ depending on $|P|$ and the size of the longest chain in $P$. To prove these theorems we introduce a new method, counting the intersections of $\mathcal{F}$ with double chains, rather than chains.