Related papers: Supercritical Space-Width Trade-offs for Resolutio…
Lower bounds against strong algebraic proof systems and specifically fragments of the Ideal Proof System (IPS), have been obtained in an ongoing line of work. All of these bounds, however, are proved only over large (or characteristic $0$)…
In this paper, we study the Calabi-Yau conjectures for complete minimal hypersurfaces $\Sigma^{n}\subset \mathbb{R}^{n+1}$ in dimensions $n\ge 3$. These conjectures ask whether a complete minimal hypersurface must be unbounded, and more…
Strong algebraic proof systems such as IPS (Ideal Proof System; Grochow-Pitassi [GP18]) offer a general model for deriving polynomials in an ideal and refuting unsatisfiable propositional formulas, subsuming most standard propositional…
The sunflower conjecture is one of the most well-known open problems in combinatorics. It has several applications in theoretical computer science, one of which is DNF compression, due to Gopalan, Meka and Reingold [Computational Complexity…
Inspired by prior work by Tian and by Cao and Xu, this paper presents an efficient computer-aided framework to characterize the fundamental limits of coded caching systems under the constraint of linear coding. The proposed framework…
We test the validity of the weak cosmic censorship conjecture for the ($2+1$)-dimensional charged anti-de Sitter black hole solution, which was derived by Martinez, Teitelboim, and Zanelli (MTZ). We first construct a thought experiment by…
Previous studies on robustness have argued that there is a tradeoff between accuracy and adversarial accuracy. The tradeoff can be inevitable even when we neglect generalization. We argue that the tradeoff is inherent to the commonly used…
The recent literature offers examples, specific and hand-crafted, of Tychonoff spaces (in ZFC) which respond negatively to these questions, due respectively to Ceder and Pearson (1967) and to Comfort and Garc\'ia-Ferreira (2001): (1) Is…
A highly accurate but overconfident model is ill-suited for deployment in critical applications such as healthcare and autonomous driving. The classification outcome should reflect a high uncertainty on ambiguous in-distribution samples…
We derive general bounds on operator dimensions, central charges, and OPE coefficients in 4D conformal and N=1 superconformal field theories. In any CFT containing a scalar primary phi of dimension d we show that crossing symmetry of <phi…
Predictive models are being increasingly used to support consequential decision making at the individual level in contexts such as pretrial bail and loan approval. As a result, there is increasing social and legal pressure to provide…
We constrain the spectrum of $\mathcal{N}=(1, 1)$ and $\mathcal{N}=(2, 2)$ superconformal field theories in two-dimensions by requiring the NS-NS sector partition function to be invariant under the $\Gamma_\theta$ congruence subgroup of the…
We prove an improved version of Poincar\'e-Hardy inequality in suitable subspaces of the Sobolev space on the hyperbolic space via Bessel pairs. As a consequence, we obtain a new Hardy type inequality with an improved constant (than the…
We develop and study the complexity of propositional proof systems of varying strength extending resolution by allowing it to operate with disjunctions of linear equations instead of clauses. We demonstrate polynomial-size refutations for…
Under spherical symmetry, we show that the weak cosmic censorship holds for the gravitational collapse of the Einstein-Maxwell-charged scalar field system. Namely, for this system, with generic initial data, the formed spacetime…
Specific data compression techniques, formalized by the concept of coresets, proved to be powerful for many optimization problems. In fact, while tightly controlling the approximation error, coresets may lead to significant speed up of the…
Using the complexity equals action proposal we study holographic complexity for hyperscaling violating theories in the presence of a finite cutoff that, in turns, requires to obtain all counter terms needed to have finite boundary energy…
We show that it is possible to distinguish between different off-shell completions of supergravity at the on-shell level. We focus on the comparison of the ``new minimal'' formulation of off-shell four-dimensional N=1 supergravity with the…
We demonstrate a family of propositional formulas in conjunctive normal form so that a formula of size $N$ requires size $2^{\Omega(\sqrt[7]{N/logN})}$ to refute using the tree-like OBDD refutation system of Atserias, Kolaitis and Vardi…
We classify the admissible types of constraint (hermitian, holomorphic, with reality conditions on the bosonic sectors, etc.) for generalized supersymmetries in the presence of complex spinors. We further point out which constrained…