Factorization norms and Zarankiewicz problems

Fuente: arXiv
Salvato in:
Dettagli Bibliografici
Autore principale: Tomon, István
Natura: Preprint
Pubblicazione: 2025
Soggetti:
Accesso online:
Tags: Aggiungi Tag
Nessun Tag, puoi essere il primo ad aggiungerne!!
_version_ 1866929739540725760
author Tomon, István
author_facet Tomon, István
contents The $γ_2$-norm of Boolean matrices plays an important role in communication complexity and discrepancy theory. In this paper, we study combinatorial properties of this norm, and provide new applications, involving Zarankiewicz type problems. We show that if $M$ is an $m\times n$ Boolean matrix such that $γ_2(M)<γ$ and $M$ contains no $t\times t$ all-ones submatrix, then $M$ contains $O_{γ,t}(m+n)$ one entries. In other words, graphs of bounded $γ_2$-norm are degree bounded. This addresses a conjecture of Hambardzumyan, Hatami, and Hatami for locally sparse matrices. We prove that if $G$ is a $K_{t,t}$-free incidence graph of $n$ points and $n$ homothets of a polytope $P$ in $\mathbb{R}^d$, then the average degree of $G$ is $O_{d,P}(t(\log n)^{O(d)})$. This is sharp up the $O(.)$ notations. In particular, we prove a more general result on semilinear graphs, which greatly strengthens the work of Basit, Chernikov, Starchenko, Tao, and Tran.
format Preprint
id arxiv_https___arxiv_org_abs_2502_18429
institution arXiv
publishDate 2025
record_format arxiv
spellingShingle Factorization norms and Zarankiewicz problems
Tomon, István
Combinatorics
Computational Complexity
The $γ_2$-norm of Boolean matrices plays an important role in communication complexity and discrepancy theory. In this paper, we study combinatorial properties of this norm, and provide new applications, involving Zarankiewicz type problems. We show that if $M$ is an $m\times n$ Boolean matrix such that $γ_2(M)<γ$ and $M$ contains no $t\times t$ all-ones submatrix, then $M$ contains $O_{γ,t}(m+n)$ one entries. In other words, graphs of bounded $γ_2$-norm are degree bounded. This addresses a conjecture of Hambardzumyan, Hatami, and Hatami for locally sparse matrices. We prove that if $G$ is a $K_{t,t}$-free incidence graph of $n$ points and $n$ homothets of a polytope $P$ in $\mathbb{R}^d$, then the average degree of $G$ is $O_{d,P}(t(\log n)^{O(d)})$. This is sharp up the $O(.)$ notations. In particular, we prove a more general result on semilinear graphs, which greatly strengthens the work of Basit, Chernikov, Starchenko, Tao, and Tran.
title Factorization norms and Zarankiewicz problems
topic Combinatorics
Computational Complexity
url https://arxiv.org/abs/2502.18429