8 research outputs found
On Minrank and Forbidden Subgraphs
The minrank over a field of a graph on the vertex set
is the minimum possible rank of a matrix such that for every , and
for every distinct non-adjacent vertices and in . For an
integer , a graph , and a field , let
denote the maximum possible minrank over of an -vertex graph
whose complement contains no copy of . In this paper we study this quantity
for various graphs and fields . For finite fields, we prove by
a probabilistic argument a general lower bound on , which
yields a nearly tight bound of for the triangle
. For the real field, we prove by an explicit construction that for
every non-bipartite graph , for some
. As a by-product of this construction, we disprove a
conjecture of Codenotti, Pudl\'ak, and Resta. The results are motivated by
questions in information theory, circuit complexity, and geometry.Comment: 15 page
The (Generalized) Orthogonality Dimension of (Generalized) Kneser Graphs: Bounds and Applications
The orthogonality dimension of a graph over a field is
the smallest integer for which there exists an assignment of a vector with to every vertex , such that whenever and are
adjacent vertices in . The study of the orthogonality dimension of graphs is
motivated by various application in information theory and in theoretical
computer science. The contribution of the present work is two-folded.
First, we prove that there exists a constant such that for every
sufficiently large integer , it is -hard to decide whether the
orthogonality dimension of an input graph over is at most or
at least . At the heart of the proof lies a geometric result, which
might be of independent interest, on a generalization of the orthogonality
dimension parameter for the family of Kneser graphs, analogously to a
long-standing conjecture of Stahl (J. Comb. Theo. Ser. B, 1976).
Second, we study the smallest possible orthogonality dimension over finite
fields of the complement of graphs that do not contain certain fixed subgraphs.
In particular, we provide an explicit construction of triangle-free -vertex
graphs whose complement has orthogonality dimension over the binary field at
most for some constant . Our results involve
constructions from the family of generalized Kneser graphs and they are
motivated by the rigidity approach to circuit lower bounds. We use them to
answer a couple of questions raised by Codenotti, Pudl\'{a}k, and Resta (Theor.
Comput. Sci., 2000), and in particular, to disprove their Odd Alternating Cycle
Conjecture over every finite field.Comment: 19 page
Orthonormal representations of -free graphs
Let be unit vectors such that among any
three there is an orthogonal pair. How large can be as a function of ,
and how large can the length of be? The answers to these
two celebrated questions, asked by Erd\H{o}s and Lov\'{a}sz, are closely
related to orthonormal representations of triangle-free graphs, in particular
to their Lov\'{a}sz -function and minimum semidefinite rank. In this
paper, we study these parameters for general -free graphs. In particular, we
show that for certain bipartite graphs , there is a connection between the
Tur\'{a}n number of and the maximum of over all -free graphs .Comment: 16 page
Graph Theory
Graph theory is a rapidly developing area of mathematics. Recent years have seen the development of deep theories, and the increasing importance of methods from other parts of mathematics. The workshop on Graph Theory brought together together a broad range of researchers to discuss some of the major new developments. There were three central themes, each of which has seen striking recent progress: the structure of graphs with forbidden subgraphs; graph minor theory; and applications of the entropy compression method. The workshop featured major talks on current work in these areas, as well as presentations of recent breakthroughs and connections to other areas. There was a particularly exciting selection of longer talks, including presentations on the structure of graphs with forbidden induced subgraphs, embedding simply connected 2-complexes in 3-space, and an announcement of the solution of the well-known Oberwolfach Problem
Approximating the Orthogonality Dimension of Graphs and Hypergraphs
A t-dimensional orthogonal representation of a hypergraph is an assignment of nonzero vectors in R^t to its vertices, such that every hyperedge contains two vertices whose vectors are orthogonal. The orthogonality dimension of a hypergraph H, denoted by overline{xi}(H), is the smallest integer t for which there exists a t-dimensional orthogonal representation of H. In this paper we study computational aspects of the orthogonality dimension of graphs and hypergraphs. We prove that for every k >= 4, it is NP-hard (resp. quasi-NP-hard) to distinguish n-vertex k-uniform hypergraphs H with overline{xi}(H) = Omega(log^delta n) for some constant delta>0 (resp. overline{xi}(H) >= Omega(log^{1-o(1)} n)). For graphs, we relate the NP-hardness of approximating the orthogonality dimension to a variant of a long-standing conjecture of Stahl. We also consider the algorithmic problem in which given a graph G with overline{xi}(G) <= 3 the goal is to find an orthogonal representation of G of as low dimension as possible, and provide a polynomial time approximation algorithm based on semidefinite programming