Showing 1–9 of 9 results for author: Castro-Silva, D

Quasirandom additive sets and Cayley hypergraphs

Authors: Davi Castro-Silva

Abstract: We study the interplay between notions of quasirandomness for additive sets and for hypergraphs. In particular, we show a strong connection between the notions of Gowers uniformity in the additive setting and discrepancy-type measures of quasirandomness in the hypergraph setting. Exploiting this connection, we provide a long list of disparate quasirandom properties regarding both additive sets and… ▽ More We study the interplay between notions of quasirandomness for additive sets and for hypergraphs. In particular, we show a strong connection between the notions of Gowers uniformity in the additive setting and discrepancy-type measures of quasirandomness in the hypergraph setting. Exploiting this connection, we provide a long list of disparate quasirandom properties regarding both additive sets and Cayley-type hypergraphs constructed from such sets, and show that these properties are all equivalent (in the sense of Chung, Graham and Wilson) with polynomial bounds on their interdependences. △ Less

Submitted 4 May, 2023; originally announced May 2023.

Comments: 26 pages

On the threshold for Szemerédi's theorem with random differences

Authors: Jop Briët, Davi Castro-Silva

Abstract: Using recent developments on the theory of locally decodable codes, we prove that the critical size for Szemerédi's theorem with random differences is bounded from above by $N^{1-\frac{2}{k} + o(1)}$ for length-$k$ progressions. This gives polynomial improvements over the previous best bounds for all odd $k$. Using recent developments on the theory of locally decodable codes, we prove that the critical size for Szemerédi's theorem with random differences is bounded from above by $N^{1-\frac{2}{k} + o(1)}$ for length-$k$ progressions. This gives polynomial improvements over the previous best bounds for all odd $k$. △ Less

Submitted 2 October, 2023; v1 submitted 6 April, 2023; originally announced April 2023.

Comments: 15 pages; added proof of the symmetrization lemma (Lemma 1); extended abstract appeared in the proceedings of EUROCOMB'23 (dio: 10.5817/CZ.MUNI.EUROCOMB23-032)

Noisy decoding by shallow circuits with parities: classical and quantum

Authors: Jop Briët, Harry Buhrman, Davi Castro-Silva, Niels M. P. Neumann

Abstract: We consider the problem of decoding corrupted error correcting codes with NC$^0[\oplus]$ circuits in the classical and quantum settings. We show that any such classical circuit can correctly recover only a vanishingly small fraction of messages, if the codewords are sent over a noisy channel with positive error rate. Previously this was known only for linear codes with large dual distance, whereas… ▽ More We consider the problem of decoding corrupted error correcting codes with NC$^0[\oplus]$ circuits in the classical and quantum settings. We show that any such classical circuit can correctly recover only a vanishingly small fraction of messages, if the codewords are sent over a noisy channel with positive error rate. Previously this was known only for linear codes with large dual distance, whereas our result applies to any code. By contrast, we give a simple quantum circuit that correctly decodes the Hadamard code with probability $Ω(\varepsilon^2)$ even if a $(1/2 - \varepsilon)$-fraction of a codeword is adversarially corrupted. Our classical hardness result is based on an equidistribution phenomenon for multivariate polynomials over a finite field under biased input-distributions. This is proved using a structure-versus-randomness strategy based on a new notion of rank for high-dimensional polynomial maps that may be of independent interest. Our quantum circuit is inspired by a non-local version of the Bernstein-Vazirani problem, a technique to generate ``poor man's cat states'' by Watts et al., and a constant-depth quantum circuit for the OR function by Takahashi and Tani. △ Less

Submitted 19 December, 2023; v1 submitted 6 February, 2023; originally announced February 2023.

Comments: 39 pages; This is the full version of an extended abstract that will appear in the proceedings of ITCS'24

MSC Class: 15A69; 11B30; 68R05 ACM Class: F.2.0; E.4

Random restrictions of high-rank tensors and polynomial maps

Authors: Jop Briët, Davi Castro-Silva

Abstract: Motivated by a problem in computational complexity, we consider the behavior of rank functions for tensors and polynomial maps under random coordinate restrictions. We show that, for a broad class of rank functions called natural rank functions, random coordinate restriction to a dense set will typically reduce the rank by at most a constant factor. Motivated by a problem in computational complexity, we consider the behavior of rank functions for tensors and polynomial maps under random coordinate restrictions. We show that, for a broad class of rank functions called natural rank functions, random coordinate restriction to a dense set will typically reduce the rank by at most a constant factor. △ Less

Submitted 28 December, 2022; originally announced December 2022.

Comments: 28 pages

MSC Class: 15A69; 11B30; 68R05

A recursive theta body for hypergraphs

Authors: Davi Castro-Silva, Fernando Mário de Oliveira Filho, Lucas Slot, Frank Vallentin

Abstract: The theta body of a graph, introduced by Grötschel, Lovász, and Schrijver in 1986, is a tractable relaxation of the independent-set polytope derived from the Lovász theta number. In this paper, we recursively extend the theta body, and hence the theta number, to hypergraphs. We obtain fundamental properties of this extension and relate it to the high-dimensional Hoffman bound of Filmus, Golubev, a… ▽ More The theta body of a graph, introduced by Grötschel, Lovász, and Schrijver in 1986, is a tractable relaxation of the independent-set polytope derived from the Lovász theta number. In this paper, we recursively extend the theta body, and hence the theta number, to hypergraphs. We obtain fundamental properties of this extension and relate it to the high-dimensional Hoffman bound of Filmus, Golubev, and Lifshitz. We discuss two applications: triangle-free graphs and Mantel's theorem, and bounds on the density of triangle-avoiding sets in the Hamming cube. △ Less

Submitted 29 March, 2023; v1 submitted 8 June, 2022; originally announced June 2022.

Comments: 23 pages, 2 figures

MSC Class: 05C15; 68R10; 90C27

Journal ref: Combinatorica 43 (2023), no. 5, 909-938

Quasirandomness in additive groups and hypergraphs

Authors: Davi Castro-Silva

Abstract: Quasirandomness is a general mathematical concept meant to encapsulate several characteristics usually satisfied by random combinatorial objects, and which we regard as describing when a given object 'looks random'. In this survey we explore this general concept as it applies to graphs, hypergraphs and additive groups, making clear their many connections to each other and showing how they can be u… ▽ More Quasirandomness is a general mathematical concept meant to encapsulate several characteristics usually satisfied by random combinatorial objects, and which we regard as describing when a given object 'looks random'. In this survey we explore this general concept as it applies to graphs, hypergraphs and additive groups, making clear their many connections to each other and showing how they can be used in order to better study these objects. △ Less

Submitted 3 July, 2021; originally announced July 2021.

Comments: 64 pages

MSC Class: 05-02

A recursive Lovász theta number for simplex-avoiding sets

Authors: Davi Castro-Silva, Fernando Mário de Oliveira Filho, Lucas Slot, Frank Vallentin

Abstract: We recursively extend the Lovász theta number to geometric hypergraphs on the unit sphere and on Euclidean space, obtaining an upper bound for the independence ratio of these hypergraphs. As an application we reprove a result in Euclidean Ramsey theory in the measurable setting, namely that every $k$-simplex is exponentially Ramsey, and we improve existing bounds for the base of the exponential. We recursively extend the Lovász theta number to geometric hypergraphs on the unit sphere and on Euclidean space, obtaining an upper bound for the independence ratio of these hypergraphs. As an application we reprove a result in Euclidean Ramsey theory in the measurable setting, namely that every $k$-simplex is exponentially Ramsey, and we improve existing bounds for the base of the exponential. △ Less

Submitted 24 May, 2022; v1 submitted 17 June, 2021; originally announced June 2021.

Comments: (v2) 14 pages, 3 figures, background information on Euclidean Ramsey theory added

MSC Class: 05D10; 33C45; 52C10; 90C22

Journal ref: Proc. AMS 150 (2022), 3307-3322

Geometrical sets with forbidden configurations

Authors: Davi Castro-Silva

Abstract: Given finite configurations $P_1, \dots, P_n \subset \mathbb{R}^d$, let us denote by $\mathbf{m}_{\mathbb{R}^d}(P_1, \dots, P_n)$ the maximum density a set $A \subseteq \mathbb{R}^d$ can have without containing congruent copies of any $P_i$. We will initiate the study of this geometrical parameter, called the independence density of the considered configurations, and give several results we believ… ▽ More Given finite configurations $P_1, \dots, P_n \subset \mathbb{R}^d$, let us denote by $\mathbf{m}_{\mathbb{R}^d}(P_1, \dots, P_n)$ the maximum density a set $A \subseteq \mathbb{R}^d$ can have without containing congruent copies of any $P_i$. We will initiate the study of this geometrical parameter, called the independence density of the considered configurations, and give several results we believe are interesting. For instance we show that, under suitable size and non-degeneracy conditions, $\mathbf{m}_{\mathbb{R}^d}(t_1 P_1, t_2 P_2, \dots, t_n P_n)$ progressively `untangles' and tends to $\prod_{i=1}^n \mathbf{m}_{\mathbb{R}^d}(P_i)$ as the ratios $t_{i+1}/t_i$ between consecutive dilation parameters grow large; this shows an exponential decay on the density when forbidding multiple dilates of a given configuration, and gives a common generalization of theorems by Bourgain and by Bukh in geometric Ramsey theory. We also consider the analogous parameter $\mathbf{m}_{S^d}(P_1, \dots, P_n)$ on the more complicated framework of sets on the unit sphere $S^d$, obtaining the corresponding results in this setting. △ Less

Submitted 9 May, 2023; v1 submitted 19 February, 2021; originally announced February 2021.

Comments: 47 pages; v2: improved exposition; v3: added more details in proofs

MSC Class: 05B99; 51F99 (Primary); 05D10 (Secondary)

A study on load-balanced variants of the bin packing problem

Authors: Davi Castro-Silva, Eric Gourdin

Abstract: We consider several extensions of the fractional bin packing problem, a relaxation of the traditional bin packing problem where the objects may be split across multiple bins. In these extensions, we introduce load-balancing constraints imposing that the share of each object which is assigned to a same bin must be equal. We propose a Mixed-Integer Programming (MIP) formulation and show that the pro… ▽ More We consider several extensions of the fractional bin packing problem, a relaxation of the traditional bin packing problem where the objects may be split across multiple bins. In these extensions, we introduce load-balancing constraints imposing that the share of each object which is assigned to a same bin must be equal. We propose a Mixed-Integer Programming (MIP) formulation and show that the problem becomes NP-hard if we limit to at most 3 the number of bins across which each object can be split. We then consider a variant where the balanced allocations of objects to bins may be done in successive rounds; this problem was inspired by telecommunication applications, and may be used to model simple Live Streaming networks. We show that two rounds are always sufficient to completely assign all objects to the bins and then provide an optimal polynomial-time allocation algorithm for this problem. △ Less

Submitted 29 October, 2018; originally announced October 2018.

Comments: 15 pages, 2 figures