We construct PPT states on $\mathbb{C}^m \otimes\mathbb{C}^n$ that have Schmidt number asymptotically approaching the smaller local dimension. More specifically, we construct a PPT state with Schmidt number at least $$ \left\lceil \frac{m + n - ((m - n)^2 + 4(m + n - 1))^{1/2}}{2} \right\rceil. $$ In the case of equal local dimensions ($m = n$), this becomes $n - \lfloor(2n - 1)^{1/2}\rfloor$, far exceeding the previous constructions which achieved $n/2 + O(1)$. In the case of unequal local dimensions, our result shows that there exists a PPT state on $\mathbb{C}^n \otimes \mathbb{C}^{3n-4}$ with Schmidt number at least $n-1$.
The Schmidt number quantifies the dimensionality of entanglement in bipartite quantum states. We investigate when the spectrum of a state on $\mathbb{C}^d \otimes \mathbb{C}^d$ alone guarantees that its Schmidt number is not maximal. By deriving spectral bounds for $(d-1)$-block positive operators, we prove that $\math...
This construction refines the classical tree-based paradigm of GGM by {tapering} the internal state so the per-level depth decreases geometrically, resolving several long-standing open problems.
Youlong Ding, Aayush Jain, Ilan Komargodski· 0 citations
We resolve the Rademacher singularity conjecture: an $n\times n$ matrix with independent uniform $\{-1,1\}$ entries is singular with probability $(2+o(1))n^22^{-n}$. More generally, for an $n\times n$ matrix $M_n$ with independent entries uniform on a fixed set $S\subset\mathbb{R}$ of cardinality $q\ge2$, we prove $\ma...
Let $A\in\mathbb{R}^{m\times n}$ have columns of Euclidean norm at most one. We prove that $\operatorname{disc}(A)\le2395\left(1+\log_+\frac n9\right)^{1/4}+2\sqrt2$. Here $\log_+t=\max\{0,\log t\}$. Building on Bansal and Jiang's affine spectral independence framework, we remove the $(\log\log n)^{7/4}$ factor from th...
Let $\delta>0$ be fixed, let $m = \lceil(1+\delta)n\rceil$, and let $\Gamma$ be an $n\times m$ matrix with independent standard Gaussian entries. For the Gaussian Gluskin polytope $G_m = \Gamma(B_1^m)$ we prove $$ \p\left\{d_{\mathrm{BM}}(G_m,B_1^n) \ge c_\delta n^{5/8}(\log n)^{-1/8}\right\} \ge 1-Ce^{-cn}. $$ Consequ...
It is shown that every positive constant already implies the collapse: if a randomized nonuniform polynomial-size pruning procedure succeeds with probability $\epsilon$ on affine circuit inputs with at most $2^{\lfloor 2/\epsilon\rfloor}$ satisfying assignments, then $\mathrm{NP}\subseteq\mathrm{P/poly}$.
Sebastian Ben Daniel· 0 citations
We use cookies to run the site and, with your consent, for analytics and to show ads.
See our Cookie Policy.
