8 research outputs found
Bounds on entanglement assisted source-channel coding via the Lovasz theta number and its variants
We study zero-error entanglement assisted source-channel coding
(communication in the presence of side information). Adapting a technique of
Beigi, we show that such coding requires existence of a set of vectors
satisfying orthogonality conditions related to suitably defined graphs and
. Such vectors exist if and only if where represents the Lov\'asz number. We
also obtain similar inequalities for the related Schrijver and
Szegedy numbers.
These inequalities reproduce several known bounds and also lead to new
results. We provide a lower bound on the entanglement assisted cost rate. We
show that the entanglement assisted independence number is bounded by the
Schrijver number: . Therefore, we are able to
disprove the conjecture that the one-shot entanglement-assisted zero-error
capacity is equal to the integer part of the Lov\'asz number. Beigi introduced
a quantity as an upper bound on and posed the question of
whether . We answer this in the
affirmative and show that a related quantity is equal to . We show that a quantity recently introduced
in the context of Tsirelson's conjecture is equal to .
In an appendix we investigate multiplicativity properties of Schrijver's and
Szegedy's numbers, as well as projective rank.Comment: Fixed proof of multiplicativity; more connections to prior work in
conclusion; many changes in expositio
A unified construction of semiring-homomorphic graph invariants
It has recently been observed by Zuiddam that finite graphs form a preordered
commutative semiring under the graph homomorphism preorder together with join
and disjunctive product as addition and multiplication, respectively. This led
to a new characterization of the Shannon capacity via Strassen's
Positivstellensatz: , where ranges over all monotone semiring homomorphisms.
Constructing and classifying graph invariants which are monotone under graph homomorphisms, additive under
join, and multiplicative under disjunctive product is therefore of major
interest. We call such invariants semiring-homomorphic. The only known such
invariants are all of a fractional nature: the fractional chromatic number, the
projective rank, the fractional Haemers bounds, as well as the Lov\'asz number
(with the latter two evaluated on the complementary graph). Here, we provide a
unified construction of these invariants based on linear-like semiring families
of graphs. Along the way, we also investigate the additional algebraic
structure on the semiring of graphs corresponding to fractionalization.
Linear-like semiring families of graphs are a new concept of combinatorial
geometry different from matroids which may be of independent interest.Comment: 25 pages. v3: incorporated referee's suggestion
Geometric Ramifications of the Lovász Theta Function and Their Interplay with Duality
The Lovasz theta function and the associated convex sets known as theta bodies are fundamental objects in combinatorial and
semidefinite optimization. They are accompanied by a rich duality theory and
deep connections to the geometric concept of orthonormal representations of graphs. In this thesis, we investigate several ramifications of the theory underlying these objects, including those arising from the illuminating viewpoint of duality. We study some optimization problems over unit-distance representations of graphs, which are intimately related to the Lovasz theta function and orthonormal representations. We also strengthen some known results about dual descriptions of theta bodies and their variants. Our main goal throughout the thesis is to lay some of the foundations for using semidefinite optimization and convex analysis in a way analogous to how polyhedral combinatorics has been using linear optimization to prove min-max theorems.
A unit-distance representation of a graph maps its nodes to some Euclidean space so that adjacent nodes are sent to pairs of points at distance one. The hypersphere number of , denoted by , is the (square of the) minimum radius of a hypersphere that contains a unit-distance representation of . Lovasz proved a min-max relation describing as a function of , the theta number of the complement of . This relation provides a dictionary between unit-distance representations in hyperspheres and orthonormal representations, which we exploit in a number of ways: we develop a weighted generalization of , parallel to the weighted version of ; we prove that is equal to the (square of the) minimum radius of an Euclidean ball that contains a unit-distance representation of ; we abstract some properties of that yield the famous Sandwich Theorem and use them to define another weighted generalization of , called ellipsoidal number of , where the unit-distance representation of is required to be in an ellipsoid of a given shape with minimum volume. We determine an analytic formula for the ellipsoidal number of the complete graph on nodes whenever there exists a Hadamard matrix of order .
We then study several duality aspects of the description of the theta body . For a graph , the convex corner is known to be the projection of a certain convex set, denoted by , which lies in a much higher-dimensional matrix space. We prove that the vertices of are precisely the symmetric tensors of incidence vectors of stable sets in , thus broadly generalizing previous results about vertices of the elliptope due to Laurent and Poljak from 1995. Along the way, we also identify all the vertices of several variants of and of the elliptope. Next we introduce an axiomatic framework for studying generalized theta bodies, based on the concept of diagonally scaling invariant cones, which allows us to prove in a unified way several characterizations of and the variants and , introduced independently by Schrijver, and by McEliece, Rodemich, and Rumsey in the late 1970's, and by Szegedy in 1994. The beautiful duality equation which states that the antiblocker of is is extended to this setting. The framework allows us to treat the stable set polytope and its classical polyhedral relaxations as generalized theta bodies, using the completely positive cone and its dual, and it allows us to derive a (weighted generalization of a) copositive formulation for the fractional chromatic number due to Dukanovic and Rendl in 2010 from a completely positive formulation for the stability number due to de Klerk and Pasechnik in 2002. Finally, we study a non-convex constraint for semidefinite programs (SDPs) that may be regarded as analogous to the usual integrality constraint for linear programs. When applied to certain classical SDPs, it specializes to the standard rank-one constraint. More importantly, the non-convex constraint also applies to the dual SDP, and for a certain SDP formulation of , the modified dual yields precisely the clique covering number. This opens the way to study some exactness properties of SDP relaxations for combinatorial optimization problems akin to the corresponding classical notions from polyhedral combinatorics, as well as approximation algorithms based on SDP relaxations