Related papers: Supercritical Space-Width Trade-offs for Resolutio…
The verification and validation of a high-order compressible in-house solver based on a compact finite difference scheme are presented. Validation is performed using five canonical cases: the one-dimensional Sod shock tube problem,…
Recently there have been discussions about which complex metrics should be allowable in quantum gravity. These discussions assumed that the matter fields were real valued. We make the observation that for compactified solutions it makes…
We introduce a $\mathbb{Z}$--coefficient version of Guth's macroscopic stability inequality for almost-minimizing hypersurfaces. In manifolds with a lower bound on macroscopic scalar curvature, we use the inequality to prove a lower bound…
We prove that relational structures admitting specific polymorphisms (namely, canonical pseudo-WNU operations of all arities $n \geq 3$) have low relational width. This implies a collapse of the bounded width hierarchy for numerous classes…
We bound features of counterfactual choices in the nonparametric random utility model of demand, i.e. if observable choices are repeated cross-sections and one allows for unrestricted, unobserved heterogeneity. In this setting, tight bounds…
Conflict-avoiding codes are used in the multiple-access collision channel without feedback. The number of codewords in a conflict-avoiding code is the number of potential users that can be supported in the system. In this paper, a new upper…
Convolutional Neural Networks(CNN) has had a great success in the recent past, because of the advent of faster GPUs and memory access. CNNs are really powerful as they learn the features from data in layers such that they exhibit the…
We consider the conformal decomposition of Einstein's constraint equations introduced by Lichnerowicz and York, on a compact manifold with boundary. We use order relations on appropriate Banach spaces to derive weak solution generalizations…
We identify a trade-off between robustness and accuracy that serves as a guiding principle in the design of defenses against adversarial examples. Although this problem has been widely studied empirically, much remains unknown concerning…
Recently, Ezra and Sharir [ES22a] showed an $O(n^{3/2+\sigma})$ space and $O(n^{1/2+\sigma})$ query time data structure for ray shooting among triangles in $\mathbb{R}^3$. This improves the upper bound given by the classical…
In recent applications of AdS/CFT to condensed matter physics, a metric that transforms covariantly under dilatation has been argued to signal hyperscaling violation in a dual quantum field theory. We contextualize and introduce large, in…
A general framework for determining fundamental bounds in nanophotonics is introduced in this paper. The theory is based on convex optimization of dual problems constructed from operators generated by electromagnetic integral equations. The…
We study implications of the weak gravity conjecture in the AdS/CFT correspondence. Unlike in Minkowski spacetime, AdS spacetime has a physical length scale, so that the conjecture must be generalized with an additional parameter. We…
Local conditions on boundaries of $C^\infty$ Levi-flat hypersurfaces, in case the boundary is a generic submanifold, are studied. For nontrivial real analytic boundaries we get an extension and uniqueness result, which forces the…
Recently there has been a lot of interest in models in which gravity becomes strong at the TeV scale. The observed weakness of gravitational interactions is then explained by the existence of extra compact dimensions of space, which are…
In this work, we consider a binary classification problem and cast it into a binary hypothesis testing framework, where the observations can be perturbed by an adversary. To improve the adversarial robustness of a classifier, we include an…
We derive a fundamental trade-off between standard and adversarial risk in a rather general situation that formalizes the following simple intuition: "If no (nearly) optimal predictor is smooth, adversarial robustness comes at the cost of…
Comparing Bayesian neural networks (BNNs) with different widths is challenging because, as the width increases, multiple model properties change simultaneously, and, inference in the finite-width case is intractable. In this work, we…
Atserias and M\"uller (JACM, 2020) proved that for every unsatisfiable CNF formula $\varphi$, the formula $\operatorname{Ref}(\varphi)$, stating "$\varphi$ has small Resolution refutations", does not have subexponential-size Resolution…
In this paper, we establish an optimal blow-up criterion for classical solutions to the incompressible resistive Hall-magnetohydrodynamic equations. We also prove two global-in-time existence results of the classical solutions for small…