Searcharxiv⌕ Search

arXiv subjects

Ishay Haviv

Publications and source records attributed to Ishay Haviv.

At least 37 records · Page 2Linked to original sources
arXiv2023

On the Binary and Boolean Rank of Regular Matrices

A $0,1$ matrix is said to be regular if all of its rows and columns have the same number of ones. We prove that for infinitely many integers $k$, there exists a square regular $0,1$ matrix with binary rank $k$, such that the Boolean rank of its complement is $k^{\widetildeΩ(\log k)}$. Equivalently, the ones in the matrix can be partitioned into $k$ combinatorial rectangles, whereas the number of rectangles needed for any cover of its zeros is $k^{\widetildeΩ(\log k)}$. This settles, in a strong form, a question of Pullman (Linear Algebra Appl., 1988) and a conjecture of Hefner, Henson, Lundgren, and Maybee (Congr. Numer., 1990). The result can be viewed as a regular analogue of a recent result of Balodis, Ben-David, Göös, Jain, and Kothari (FOCS, 2021), motivated by the clique vs. independent set problem in communication complexity and by the (disproved) Alon-Saks-Seymour conjecture in graph theory. As an application of the produced regular matrices, we obtain regular counterexamples to the Alon-Saks-Seymour conjecture and prove that for infinitely many integers $k$, there exists a regular graph with biclique partition number $k$ and chromatic number $k^{\widetildeΩ(\log k)}$.

math.CO↗
arXiv2022

The Binary Rank of Circulant Block Matrices

The binary rank of a $0,1$ matrix is the smallest size of a partition of its ones into monochromatic combinatorial rectangles. A matrix $M$ is called $(k_1, \ldots, k_m ; n_1, \ldots, n_m)$ circulant block diagonal if it is a block matrix with $m$ diagonal blocks, such that for each $i \in [m]$, the $i$th diagonal block of $M$ is the circulant matrix whose first row has $k_i$ ones followed by $n_i-k_i$ zeros, and all of whose other entries are zeros. In this work, we study the binary rank of these matrices and of their complement. In particular, we compare the binary rank of these matrices to their rank over the reals, which forms a lower bound on the former. We present a general method for proving upper bounds on the binary rank of block matrices that have diagonal blocks of some specified structure and ones elsewhere. Using this method, we prove that the binary rank of the complement of a $(k_1, \ldots, k_m ; n_1, \ldots, n_m)$ circulant block diagonal matrix for integers satisfying $n_i>k_i>0$ for each $i \in [m]$ exceeds its real rank by no more than the maximum of $\gcd(n_i,k_i)-1$ over all $i \in [m]$. We further present several sufficient conditions for the binary rank of these matrices to strictly exceed their real rank. By combining the upper and lower bounds, we determine the exact binary rank of various families of matrices and, in addition, significantly generalize a result of Gregory. Motivated by a question of Pullman, we study the binary rank of $k$-regular $0,1$ matrices and of their complement. As an application of our results on circulant block diagonal matrices, we show that for every $k \geq 2$, there exist $k$-regular $0,1$ matrices whose binary rank is strictly larger than that of their complement. Furthermore, we exactly determine for every integer $r$, the smallest possible binary rank of the complement of a $2$-regular $0,1$ matrix with binary rank $r$.

math.CO↗
arXiv2022

The Complexity of Finding Fair Independent Sets in Cycles

Let $G$ be a cycle graph and let $V_1,\ldots,V_m$ be a partition of its vertex set into $m$ sets. An independent set $S$ of $G$ is said to fairly represent the partition if $|S \cap V_i| \geq \frac{1}{2} \cdot |V_i| -1$ for all $i \in [m]$. It is known that for every cycle and every partition of its vertex set, there exists an independent set that fairly represents the partition (Aharoni et al., A Journey through Discrete Math., 2017). We prove that the problem of finding such an independent set is $\mathsf{PPA}$-complete. As an application, we show that the problem of finding a monochromatic edge in a Schrijver graph, given a succinct representation of a coloring that uses fewer colors than its chromatic number, is $\mathsf{PPA}$-complete as well. The work is motivated by the computational aspects of the `cycle plus triangles' problem and of its extensions.

cs.CC↗
arXiv2022

On the Subspace Choosability in Graphs

A graph $G$ is said to be $k$-subspace choosable over a field $\mathbb{F}$ if for every assignment of $k$-dimensional subspaces of some finite-dimensional vector space over $\mathbb{F}$ to the vertices of $G$, it is possible to choose for each vertex a nonzero vector from its subspace so that adjacent vertices receive orthogonal vectors over $\mathbb{F} $. The subspace choice number of $G$ over $\mathbb{F}$ is the smallest integer $k$ for which $G$ is $k$-subspace choosable over $\mathbb{F}$. This graph parameter, introduced by Haynes, Park, Schaeffer, Webster, and Mitchell (Electron. J. Comb., 2010), is inspired by well-studied variants of the chromatic number of graphs, such as the (color) choice number and the orthogonality dimension. We study the subspace choice number of graphs over various fields. We first prove that the subspace choice number of every graph with average degree $d$ is at least $Ω(\sqrt{d/\ln d})$ over any field. We then focus on bipartite graphs and consider the problem of estimating, for a given integer $k$, the smallest integer $m$ for which the subspace choice number of the complete bipartite graph $K_{k,m}$ over a field $\mathbb{F}$ exceeds $k$. We prove upper and lower bounds on this quantity as well as for several extensions of this problem. Our results imply a substantial difference between the behavior of the choice number and that of the subspace choice number. We also consider the computational aspect of the subspace choice number, and show that for every $k \geq 3$ it is $\mathsf{NP}$-hard to decide whether the subspace choice number of a given bipartite graph over $\mathbb{F}$ is at most $k$, provided that $\mathbb{F}$ is either the real field or any finite field.

math.CO↗
arXiv2022

Upper Bounds on the Boolean Rank of Kronecker Products

The Boolean rank of a $0,1$-matrix $A$, denoted $R_\mathbb{B}(A)$, is the smallest number of monochromatic combinatorial rectangles needed to cover the $1$-entries of $A$. In 1988, de Caen, Gregory, and Pullman asked if the Boolean rank of the Kronecker product $C_n \otimes C_n$ is strictly smaller than the square of $R_\mathbb{B}(C_n)$, where $C_n$ is the $n \times n$ matrix with zeros on the diagonal and ones everywhere else (Carib. Conf. Comb. & Comp., 1988). A positive answer was given by Watts for $n=4$ (Linear Alg. and its Appl., 2001). A result of Karchmer, Kushilevitz, and Nisan, motivated by direct-sum questions in non-deterministic communication complexity, implies that the Boolean rank of $C_n \otimes C_n$ grows linearly in that of $C_n$ (SIAM J. Disc. Math., 1995), and thus $R_\mathbb{B}(C_n \otimes C_n) < R_\mathbb{B}(C_n)^2$ for every sufficiently large $n$. Their proof relies on a probabilistic argument. In this work, we present a general method for proving upper bounds on the Boolean rank of Kronecker products of $0,1$-matrices. We use it to affirmatively settle the question of de Caen et al. for all integers $n \geq 7$. We further provide an explicit construction of a cover of $C_n \otimes C_n$, whose number of rectangles nearly matches the optimal asymptotic bound. Our method for proving upper bounds on the Boolean rank of Kronecker products might find applications in different settings as well. We express its potential applicability by extending it to the wider framework of spanoids, recently introduced by Dvir, Gopi, Gu, and Wigderson (SIAM J. Comput., 2020).

math.CO↗
arXiv2021

The (Generalized) Orthogonality Dimension of (Generalized) Kneser Graphs: Bounds and Applications

The orthogonality dimension of a graph $G=(V,E)$ over a field $\mathbb{F}$ is the smallest integer $t$ for which there exists an assignment of a vector $u_v \in \mathbb{F}^t$ with $\langle u_v,u_v \rangle \neq 0$ to every vertex $v \in V$, such that $\langle u_v, u_{v'} \rangle = 0$ whenever $v$ and $v'$ are adjacent vertices in $G$. The study of the orthogonality dimension of graphs is motivated by various applications in information theory and in theoretical computer science. The contribution of the present work is two-fold. First, we prove that there exists a constant $c$ such that for every sufficiently large integer $t$, it is $\mathsf{NP}$-hard to decide whether the orthogonality dimension of an input graph over $\mathbb{R}$ is at most $t$ or at least $3t/2-c$. 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 $n$-vertex graphs whose complement has orthogonality dimension over the binary field at most $n^{1-δ}$ for some constant $δ>0$. 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ák, and Resta (Theor. Comput. Sci., 2000), and in particular, to disprove their Odd Alternating Cycle Conjecture over every finite field.

cs.CC↗
arXiv2020

Minimizing the alphabet size of erasure codes with restricted decoding sets

A Maximum Distance Separable code over an alphabet $F$ is defined via an encoding function $C:F^k \rightarrow F^n$ that allows to retrieve a message $m \in F^k$ from the codeword $C(m)$ even after erasing any $n-k$ of its symbols. The minimum possible alphabet size of general (non-linear) MDS codes for given parameters $n$ and $k$ is unknown and forms one of the central open problems in coding theory. The paper initiates the study of the alphabet size of codes in a generalized setting where the coding scheme is required to handle a pre-specified subset of all possible erasure patterns, naturally represented by an $n$-vertex $k$-uniform hypergraph. We relate the minimum possible alphabet size of such codes to the strong chromatic number of the hypergraph and analyze the tightness of the obtained bounds for both the linear and non-linear settings. We further consider variations of the problem which allow a small probability of decoding error.

cs.IT↗
arXiv2020

Task-based Solutions to Embedded Index Coding

In the index coding problem a sender holds a message $x \in \{0,1\}^n$ and wishes to broadcast information to $n$ receivers in a way that enables the $i$th receiver to retrieve the $i$th bit $x_i$. Every receiver has prior side information comprising a subset of the bits of $x$, and the goal is to minimize the length of the information sent via the broadcast channel. Porter and Wootters have recently introduced the model of embedded index coding, where the receivers also play the role of the sender and the goal is to minimize the total length of their broadcast information. An embedded index code is said to be task-based if every receiver retrieves its bit based only on the information provided by one of the receivers. This paper studies the effect of the task-based restriction on linear embedded index coding. It is shown that for certain side information maps there exists a linear embedded index code of length quadratically smaller than that of any task-based embedded index code. The result attains, up to a multiplicative constant, the largest possible gap between the two quantities. The proof is by an explicit construction and the analysis involves spectral techniques.

cs.IT↗
arXiv2019

Approximating the Orthogonality Dimension of Graphs and Hypergraphs

A $t$-dimensional orthogonal representation of a hypergraph is an assignment of nonzero vectors in $\mathbb{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ξ(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 \geq 4$, it is $\mathsf{NP}$-hard (resp. quasi-$\mathsf{NP}$-hard) to distinguish $n$-vertex $k$-uniform hypergraphs $H$ with $\overlineξ(H) \leq 2$ from those satisfying $\overlineξ(H) \geq Ω(\log^δn)$ for some constant $δ>0$ (resp. $\overlineξ(H) \geq Ω(\log^{1-o(1)} n)$). For graphs, we relate the $\mathsf{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ξ(G) \leq 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.

cs.CC↗
arXiv2018

Sum-free Sets of Integers with a Forbidden Sum

A set of integers is sum-free if it contains no solution to the equation $x+y=z$. We study sum-free subsets of the set of integers $[n]=\{1,\ldots,n\}$ for which the integer $2n+1$ cannot be represented as a sum of their elements. We prove a bound of $O(2^{n/3})$ on the number of these sets, which matches, up to a multiplicative constant, the lower bound obtained by considering all subsets of $B_n = \{ \lceil \frac{2}{3}(n+1) \rceil, \ldots, n \}$. A main ingredient in the proof is a stability theorem saying that if a subset of $[n]$ of size close to $|B_n|$ contains only a few subsets that contradict the sum-freeness or the forbidden sum, then it is almost contained in $B_n$. Our results are motivated by the question of counting symmetric complete sum-free subsets of cyclic groups of prime order. The proofs involve Freiman's $3k-4$ theorem, Green's arithmetic removal lemma, and structural results on independent sets in hypergraphs.

math.CO↗
arXiv2018

Topological Bounds on the Dimension of Orthogonal Representations of Graphs

An orthogonal representation of a graph is an assignment of nonzero real vectors to its vertices such that distinct non-adjacent vertices are assigned to orthogonal vectors. We prove general lower bounds on the dimension of orthogonal representations of graphs using the Borsuk-Ulam theorem from algebraic topology. Our bounds strengthen the Kneser conjecture, proved by Lovász in 1978, and some of its extensions due to Bárány, Schrijver, Dol'nikov, and Kriz. As applications, we determine the integrality gap of fractional upper bounds on the Shannon capacity of graphs and the quantum one-round communication complexity of certain promise equality problems.

math.CO↗
arXiv2018

Dioid Partitions of Groups

A partition of a group is a dioid partition if the following three conditions are met: The setwise product of any two parts is a union of parts, there is a part that multiplies as an identity element, and the inverse of a part is a part. This kind of a group partition was first introduced by Tamaschke in 1968. We show that a dioid partition defines a dioid structure over the group, analogously to the way a Schur ring over a group is defined. After proving fundamental properties of dioid partitions, we focus on three part dioid partitions of cyclic groups of prime order. We provide classification results for their isomorphism types as well as for the partitions themselves.

math.GR↗
arXiv2018

On the Hardness of Satisfiability with Bounded Occurrences in the Polynomial-Time Hierarchy

$ \newcommand{\eps}ε \newcommand{\NP}{\mathsf{NP}} \newcommand{\YES}{\mathsf{YES}} \newcommand{\NO}{\mathsf{NO}} \newcommand{\myminus}{\text{-}}\newcommand{\Bsat}{\mathsf{B}} \newcommand{\threesat}{\rm{3}\myminus\mathsf{SAT}} \newcommand{\gapthreesat}{\mathsf{\forall\exists}\myminus{\rm{3}}\myminus\mathsf{SAT}} $In 1991, Papadimitriou and Yannakakis gave a reduction implying the $\NP$-hardness of approximating the problem $\threesat$ with bounded occurrences. Their reduction is based on expander graphs. We present an analogue of this result for the second level of the polynomial-time hierarchy based on superconcentrator graphs. This resolves an open question of Ko and Lin (1995) and should be useful in deriving inapproximability results in the polynomial-time hierarchy. More precisely, we show that given an instance of $\gapthreesat$ in which every variable occurs at most $\Bsat$ times (for some absolute constant $\Bsat$), it is $Π_2$-hard to distinguish between the following two cases: $\YES$ instances, in which for any assignment to the universal variables there exists an assignment to the existential variables that satisfies all the clauses, and $\NO$ instances in which there exists an assignment to the universal variables such that any assignment to the existential variables satisfies at most a $1-\eps$ fraction of the clauses. We also generalize this result to any level of the polynomial-time hierarchy.

cs.CC↗
arXiv2018

Tensor-based Hardness of the Shortest Vector Problem to within Almost Polynomial Factors

$ \newcommand{\SVP}{\mathsf{SVP}} \newcommand{\NP}{\mathsf{NP}} \newcommand{\RTIME}{\mathsf{RTIME}} \newcommand{\RSUBEXP}{\mathsf{RSUBEXP}} \newcommand{\eps}ε \newcommand{\poly}{\mathop{\mathrm{poly}}} $We show that unless $\NP \subseteq \RTIME (2^{\poly(\log{n})})$, there is no polynomial-time algorithm approximating the Shortest Vector Problem ($\SVP$) on $n$-dimensional lattices in the $\ell_p$ norm ($1 \leq p< \infty$) to within a factor of $2^{(\log{n})^{1-\eps}}$ for any $\eps > 0$. This improves the previous best factor of $2^{(\log{n})^{1/2-\eps}}$ under the same complexity assumption due to Khot (J. ACM, 2005). Under the stronger assumption $\NP \nsubseteq \RSUBEXP$, we obtain a hardness factor of $n^{c/\log\log{n}}$ for some $c> 0$. Our proof starts with Khot's $\SVP$ instances that are hard to approximate to within some constant. To boost the hardness factor we simply apply the standard tensor product of lattices. The main novelty is in the analysis, where we show that the lattices of Khot behave nicely under tensorization. At the heart of the analysis is a certain matrix inequality which was first used in the context of lattices by de Shalit and Parzanchevski (2006).

cs.CC↗
arXiv2018

On Minrank and Forbidden Subgraphs

The minrank over a field $\mathbb{F}$ of a graph $G$ on the vertex set $\{1,2,\ldots,n\}$ is the minimum possible rank of a matrix $M \in \mathbb{F}^{n \times n}$ such that $M_{i,i} \neq 0$ for every $i$, and $M_{i,j}=0$ for every distinct non-adjacent vertices $i$ and $j$ in $G$. For an integer $n$, a graph $H$, and a field $\mathbb{F}$, let $g(n,H,\mathbb{F})$ denote the maximum possible minrank over $\mathbb{F}$ of an $n$-vertex graph whose complement contains no copy of $H$. In this paper we study this quantity for various graphs $H$ and fields $\mathbb{F}$. For finite fields, we prove by a probabilistic argument a general lower bound on $g(n,H,\mathbb{F})$, which yields a nearly tight bound of $Ω(\sqrt{n}/\log n)$ for the triangle $H=K_3$. For the real field, we prove by an explicit construction that for every non-bipartite graph $H$, $g(n,H,\mathbb{R}) \geq n^δ$ for some $δ= δ(H)>0$. As a by-product of this construction, we disprove a conjecture of Codenotti, Pudlák, and Resta. The results are motivated by questions in information theory, circuit complexity, and geometry.

cs.DS↗
arXiv2018

On Minrank and the Lovász Theta Function

Two classical upper bounds on the Shannon capacity of graphs are the $\vartheta$-function due to Lovász and the minrank parameter due to Haemers. We provide several explicit constructions of $n$-vertex graphs with a constant $\vartheta$-function and minrank at least $n^δ$ for a constant $δ>0$ (over various prime order fields). This implies a limitation on the $\vartheta$-function-based algorithmic approach to approximating the minrank parameter of graphs. The proofs involve linear spaces of multivariate polynomials and the method of higher incidence matrices.

cs.DS↗
arXiv2017

Symmetric Complete Sum-free Sets in Cyclic Groups

We present constructions of symmetric complete sum-free sets in general finite cyclic groups. It is shown that the relative sizes of the sets are dense in $[0,\frac{1}{3}]$, answering a question of Cameron, and that the number of those contained in the cyclic group of order $n$ is exponential in $n$. For primes $p$, we provide a full characterization of the symmetric complete sum-free subsets of $\mathbb{Z}_p$ of size at least $(\frac{1}{3}-c) \cdot p$, where $c>0$ is a universal constant.

math.CO↗