Searcharxiv⌕ Search

arXiv subjects

Marcelo Sales

Publications and source records attributed to Marcelo Sales.

At least 19 recordsLinked to original sources
arXiv2026

Asymptotic entanglement in circle stabilizer states and states forbidding arbitrary vertex-minors

Stabilizer states play a central role in quantum information theory, and understanding their entanglement has motivated a large body of work. A well-studied question in particular is when a stabilizer state $|\psi\rangle$ can be transformed into another stabilizer state $|\phi\rangle$ using only single-qubit Clifford operations and Pauli measurements. If this is possible, we say that $|\phi\rangle$ is a vertex-minor of $|\psi\rangle$. Assuming Geelen's weak structural conjecture on vertex-minors, we establish the following general statement. For any fixed stabilizer state $|\phi\rangle$, the entanglement in stabilizer states $|\psi\rangle$ that do not contain $|\phi\rangle$ as a vertex-minor is asymptotically constrained. More concretely, we show that the distance of any sufficiently rank-connected $|\psi\rangle$ not containing $|\phi\rangle$ as a vertex-minor grows as $O(\log n)$, and prove similar results for the so-called locally accessible information, a quantity that captures the amount of information that can be learned through single-qubit Pauli measurements. Our results rely on (i) connecting the above two entanglement measures to rank functions of multimatroids, (ii) connecting the rank functions of circle stabilizer states to rank functions on $4$-regular multigraphs, which asymptotically constrains the entanglement of circle stabilizer states, and (iii) using Geelen's weak structural conjecture on vertex-minors to `lift' the previous result to sufficiently connected states in proper vertex-minor-closed families of stabilizer states. Our results establish a connection between asymptotic stabilizer entanglement and forbidden vertex-minors, with direct implications for the entanglement that can be generated in quantum devices.

quant-ph↗
arXiv2026

Even smaller universal posets

We show that for every $\eta>0$ and sufficiently large $n$, there exists a poset of size $2^{(1+\eta)n/2}$ containing all the $n$-element posets as induced subposets. This improves a recent result of Bastide, Groenland and Nenadov. Our proof provides a labeling scheme preserving transitivity, inspired by the Boolean lattice. Among other tools, we use the Szemer\'edi Regularity Lemma.

math.CO↗
arXiv2026

On Ramsey number of Steiner systems

A $k$-uniform hypergraph $H$ is called a partial $(k,\ell)$-system if every set of $\ell$ vertices of $V(H)$ is contained in at most one edge of $H$. We prove the existence of a partial $(k,k-1)$-system $H$ whose Ramsey number with $r \geq 4$ colors grows as a tower of height $k-1$.

math.CO↗
arXiv2025

On the edge expansion of random polytopes

A $0/1$-polytope in $\mathbb{R}^n$ is the convex hull of a subset of $\{0,1\}^n$. The graph of a polytope $P$ is the graph whose vertices are the zero-dimensional faces of $P$ and whose edges are the one-dimensional faces of $P$. A conjecture of Mihail and Vazirani states that the edge expansion of the graph of every $0/1$-polytope is at least one. We study a random version of the problem, where the polytope is generated by selecting vertices of $\{0,1\}^n$ independently at random with probability $p\in (0,1)$. Improving earlier results, we show that, for any $p\in (0,1)$, with high probability the edge expansion of the random $0/1$-polytope is bounded from below by an absolute constant.

math.CO↗
arXiv2025

On possible uniform Tur\'an densities

Given a family of $3$-graphs $\mathcal{F}$, the uniform Tur\'{a}n density $\pi_{\therefore}(\mathcal{F})$ is defined as the infimum $d\in[0,1]$ for which any sufficiently large uniformly $d$-dense $3$-graph - that is, a $3$-graph which has edge-density at least $d$ on all linearly sized subsets - contains a copy of some $F \in \mathcal{F}$. Let $\Pi_{\therefore,\text{fin}}$ denote the set of all possible uniform Tur\'{a}n densities of finite families. Erd\H{o}s, Hajnal, and R\"{o}dl introduced a family of constructions for lower bounds on uniform Tur\'an densities called palette constructions. We show that $\Pi_{\therefore,\text{fin}}$ contains every $d$ that is obtained as the uniform density of an optimized palette construction. A corollary of this is that $\Pi_{\therefore,\text{fin}}$ contains the set of Lagrangians of $3$-graphs and includes irrational numbers. Our work complements a recent result of Lamaison, which states that every value in $\Pi_{\therefore,\text{fin}}$ can be approximated by uniform densities of palette constructions.

math.CO↗
arXiv2024

Lagrangians are attained as uniform Tur\'an densities

The study of uniform Tur\'an densities was initiated in the 1980s by Erd\H{o}s and S\'os. Given a $3$-graph $F$, the uniform Tur\'an density of $F$, $\pi_{\therefore}(F)$, is defined as the infimum $d\in[0,1]$ such that every $3$-graph $H$ in which every linearly sized $S\subseteq V(H)$ induces at least $(d+o(1))\binom{\vert S\vert}{3}$ edges must contain a copy of $F$. Disproving Erd\H{o}s's famous jumping conjecture, Frankl and R\"odl showed that the set of Tur\'an densities is not well-ordered. We prove an analogous result for the uniform Tur\'an density, namely that the set $\Pi^{(3)}_{\therefore,\infty}=\{\pi_{\therefore}(\mathcal{F}) : \mathcal{F}\text{ a family of }3\text{-graphs} \}$ is not well-ordered. This is a consequence of a more general result, which in particular implies that for every Lagrangian $\Lambda$ of a $3$-graph and integer $1 \leq t \leq 6$ we have $\frac{t}{6}\Lambda\in \Pi^{(3)}_{\therefore,\infty}$.

math.CO↗
arXiv2024

Coloring triangles in graphs

We study quantitative aspects of the following fact: For every graph $F$, there exists a graph $G$ with the property that any $2$-coloring of the triangles of $G$ yields an induced copy of $F$, in which all triangles are monochromatic. We define the Ramsey number $R_{\text{ind}}^{\Delta}(F)$ as the smallest size of such a graph $G$. Although this fact has several proofs, all of them provide tower-type bounds. We study the number $R_{\text{ind}}^{\Delta}(F)$ for some particular classes of graphs $F$.

math.CO↗
arXiv2024

Covering Random Digraphs with Hamilton Cycles

A covering of a digraph $D$ by Hamilton cycles is a collection of directed Hamilton cycles (not necessarily edge-disjoint) that together cover all the edges of $D$. We prove that for $1/2 \geq p\geq \frac{\log^{20} n}{n}$, the random digraph $D_{n,p}$ typically admits an optimal Hamilton cycle covering. Specifically, the edges of $D_{n,p}$ can be covered by a family of $t$ Hamilton cycles, where $t$ is the maximum of the the in-degree and out-degree of the vertices in $D_{n,p}$. Notably, $t$ is the best possible bound, and our assumption on $p$ is optimal up to a polylogarithmic factor.

math.CO↗
arXiv2024

The $k$-representation number of the random graph

The $k$-representation number of a graph $G$ is the minimum cardinality of the system of vertex subsets with the property that every edge of $G$ is covered at least $k$ times while every non-edge is covered at most $(k-1)$ times. In particular, for $k=1$ this notion is equivalent to the clique number of a graph $G$. Extending results of Frieze and Reed, and Eaton and Grable, we study the $k$-representation number of $G(n,1/2)$. As a tool, we will prove a sharp concentration result counting the number of induced subgraphs of $G(n,1/2)$ with density $(\frac{1}{2}+\alpha)$. In Lemma 3.7, we will show that the number of such subgraphs is close to its expected value with probability $1-\exp(-n^C)$.

math.CO↗
arXiv2024

Nowhere dense Ramsey sets

A set of points $S$ in Euclidean space $\mathbb{R}^d$ is called \textit{Ramsey} if any finite partition of $\mathbb{R}^{\infty}$ yields a monochromatic copy of $S$. While characterization of Ramsey set remains a major open problem in the area, a stronger ``density'' concept was considered in [J. Amer. Math. Soc. 3, 1--7, 1990]: If $S$ is a $d$-dimensional simplex, then for any $\mu>0$ there is an integer $d:=d(S,\mu)$ and finite configuration $X\subseteq \mathbb{R}^d$ such that any subconfiguration $Y\subseteq X$ with $|Y|\geq \mu |X|$ contains a copy of $S$. Complementing this, here we show the existence of $\mu:=\mu(S)$ and of an infinite configuration $X\subseteq \mathbb{R}^{\infty}$ with the property that any finite coloring of $X$ yields a monochromatic copy of $S$, yet for any finite set of points $Y\subseteq X$ contains a subset $Z\subseteq Y$ of size $|Z|\geq \mu |Y|$ without a copy of $S$.

math.CO↗
arXiv2024

Note on set representation of bounded degree hypergaphs

In their classical paper, Erd\H{o}s, Goodman and P\'{o}sa studied the representation of a graph with vertex set $[n]$ by a family of subsets $S_1,\dots, S_n$ with the property that $\{i,j\}$ is an edge if and only if $S_i\cap S_j\neq \emptyset$. In this note, we consider a similar representation of bounded degree $r$-uniform hypergraphs and establish some bounds for a corresponding problem.

math.CO↗
arXiv2023

Colouring versus density in integers and Hales-Jewett cubes

We construct for every integer $k\geq 3$ and every real $\mu\in(0, \frac{k-1}{k})$ a set of integers $X=X(k, \mu)$ which, when coloured with finitely many colours, contains a monochromatic $k$-term arithmetic progression, whilst every finite $Y\subseteq X$ has a subset $Z\subseteq Y$ of size $|Z|\geq \mu |Y|$ that is free of arithmetic progressions of length $k$. This answers a question of Erd\H{o}s, Ne\v{s}et\v{r}il, and the second author. Moreover, we obtain an analogous multidimensional statement and a Hales-Jewett version of this result.

math.CO↗
arXiv2022

The codegree Tur\'an density of tight cycles minus one edge

Given $\alpha>0$ and an integer $\ell\geq5$, we prove that every sufficiently large $3$-uniform hypergraph $H$ on $n$ vertices in which every two vertices are contained in at least $\alpha n$ edges contains a copy of $C_\ell^{-}$, a tight cycle on $\ell$ vertices minus one edge. This improves a previous result by Balogh, Clemen, and Lidick\'y.

math.CO↗
arXiv2022

On the Ramsey number of daisies I

Daisies are a special type of hypergraphs introduced by Bollob\'{a}s, Leader and Malvenuto. An $r$-daisy determined by a pair of disjoint sets $K$ and $M$ is the $(r+|K|)$-uniform hypergraph $\{K\cup P:\: P\in M^{(r)}\}$. In [Combin. Probab. Comput. 20, no. 5, 743-747, 2011] the authors studied Tur\'{a}n type density problems for daisies. This paper deals with Ramsey numbers of Daisies, which are natural generalizations of classical Ramsey numbers. We discuss upper and lower bounds for the Ramsey number of $r$-daisies and also for special cases where the size of the kernel is bounded.

math.CO↗
arXiv2022

On the Ramsey number of daisies II

A $(k+r)$-uniform hypergraph $H$ on $(k+m)$ vertices is an $(r,m,k)$-daisy if there exists a partition of the vertices $V(H)=K\cup M$ with $|K|=k$, $|M|=m$ such that the set of edges of $H$ is all the $(k+r)$-tuples $K\cup P$, where $P$ is an $r$-tuple of $M$. Complementing results in ["On the Ramsey number of daisies I"], we obtain an $(r-2)$-iterated exponential lower bound to the Ramsey number of an $(r,m,k)$-daisy for $2$-colors. This matches the order of magnitude of the best lower bounds for the Ramsey number of a complete $r$-graph.

math.CO↗
arXiv2022

A local version of Katona's intersection theorem

Katona's intersection theorem states that every intersecting family $\mathcal F\subseteq[n]^{(k)}$ satisfies $\vert\partial\mathcal F\vert\geq\vert\mathcal F\vert$, where $\partial\mathcal F=\{F\setminus x:x\in F\in\mathcal F\}$ is the shadow of $\mathcal F$. Frankl conjectured that for $n>2k$ and every intersecting family $\mathcal F\subseteq [n]^{(k)}$, there is some $i\in[n]$ such that $\vert \partial \mathcal F(i)\vert\geq \vert\mathcal F(i)\vert$, where $\mathcal F(i)=\{F\setminus i:i\in F\in\mathcal F\}$ is the link of $\mathcal F$ at $i$. Here, we prove this conjecture in a very strong form for $n> \binom{k+1}{2}$. In particular, our result implies that for any $j\in[k]$, there is a $j$-set $\{a_1,\dots,a_j\}\in[n]^{(j)}$ such that $\vert \partial \mathcal F(a_1,\dots,a_j)\vert\geq \vert\mathcal F(a_1,\dots,a_j)\vert$. A similar statement is also obtained for cross-intersecting families.

math.CO↗