搜索结果：Sharp

We present SHARP, an approach to photorealistic view synthesis from a single image. Given a single photograph, SHARP regresses the parameters of a 3D Gaussian representation of the depicted scene. This is done in less than a second on a standard GPU via a single feedforward pass through a neural network. The 3D Gaussian representation produced by SHARP can then be rendered in real time, yielding high-resolution photorealistic images for nearby views. The representation is metric, with absolute scale, supporting metric camera movements. Experimental results demonstrate that SHARP delivers robust zero-shot generalization across datasets. It sets a new state of the art on multiple datasets, reducing LPIPS by 25-34% and DISTS by 21-43% versus the best prior model, while lowering the synthesis time by three orders of magnitude. Code and weights are provided at https://github.com/apple/ml-sharp

We establish sharp bilinear eigenfunction estimates for the Laplace-Beltrami operator on the standard three-sphere $\mathbb{S}^3$, eliminating the logarithmic loss that has persisted in the literature since the pioneering work of Burq, Gérard, and Tzvetkov over twenty years ago. This completes the theory of multilinear eigenfunction estimates on the standard spheres. Our approach relies on viewing $\mathbb{S}^3$ as the compact Lie group $\mathrm{SU}(2)$ and exploiting its representation theory. Motivated by applications to the energy-critical nonlinear Schrödinger equation (NLS) on $\mathbb{R} \times \mathbb{S}^3$, we also prove a refined anisotropic Strichartz estimate on the cylindrical space $\mathbb{R}_{x_1} \times \mathbb{T}_{x_2}$ of $L^\infty_{x_2}L^4_{t,x_1}$-type, adapted to certain spectrally localized functions. The argument relies on multiple sharp measure estimates and a robust kernel decomposition method. Combining these two key ingredients, we derive a refined bilinear Strichartz estimate on $\mathbb{R} \times \mathbb{S}^3$, which in turn yields small-data global well-posedness for the above mentioned NLS in the energy space.

The systole of a contact form $α$ is defined as the shortest period of closed Reeb orbits of $α$. Given a non-trivial $\mathbb S^1$-principal bundle over $\mathbb S^2$ with total space $M$, we prove a sharp systolic inequality for the class of tight contact form on $M$ invariant under the $\mathbb S^1$-action. This inequality exhibits a behavior which depends on the Euler class of the bundle in a subtle way. As applications, we prove a sharp systolic inequality for rotationally symmetric Finsler metrics on $\mathbb S^2$, a systolic inequality for the shortest contractible closed Reeb orbit, and a particular case of a conjecture by Viterbo.

Given $p,N>1,$ we prove the sharp $L^p$-log-Sobolev inequality on noncompact metric measure spaces satisfying the ${\sf CD}(0,N)$ condition, where the optimal constant involves the asymptotic volume ratio of the space. This proof is based on a sharp isoperimetric inequality in ${\sf CD}(0,N)$ spaces, symmetrisation, and a careful scaling argument. As an application we establish a sharp hypercontractivity estimate for the Hopf-Lax semigroup in ${\sf CD}(0,N)$ spaces. The proof of this result uses Hamilton-Jacobi inequality and Sobolev regularity properties of the Hopf-Lax semigroup, which turn out to be essential in the present setting of nonsmooth and noncompact spaces. Furthermore, a sharp Gaussian-type $L^2$-log-Sobolev inequality is also obtained in ${\sf RCD}(0,N)$ spaces. Our results are new, even in the smooth setting of Riemannian/Finsler manifolds. In particular, an extension of the celebrated rigidity result of Ni (J. Geom. Anal., 2004) on Riemannian manifolds will be a simple consequence of our sharp log-Sobolev inequality.

We show that sharp thresholds for Boolean functions directly imply average-case circuit lower bounds. More formally we show that any Boolean function exhibiting a sharp enough threshold at \emph{arbitrary} critical density cannot be computed by Boolean circuits of bounded depth and polynomial size. We also prove a partial converse: if a monotone graph invariant Boolean function does not have a sharp threshold then it can be computed on average by a Boolean circuit of bounded depth and polynomial size. Our general result also implies new average-case bounded depth circuit lower bounds in a variety of settings. (a) ($k$-cliques) For $k=Θ(n)$, we prove that any circuit of depth $d$ deciding the presence of a size $k$ clique in a random graph requires exponential-in-$n^{Θ(1/d)}$ size. (b)(random 2-SAT) We prove that any circuit of depth $d$ deciding the satisfiability of a random 2-SAT formula requires exponential-in-$n^{Θ(1/d)}$ size. To the best of our knowledge, this is the first bounded depth circuit lower bound for random $k$-SAT for any value of $k \geq 2.$ Our results also provide the first rigorous lower bound in agreement with a conjectured, but debated, "computational hardnes

We study the contribution of large scalar perturbations sourced by a sharp feature during cosmic inflation to the stochastic gravitational wave background (SGWB), extending our previous work to include the SGWB sourced during the inflationary era. We focus in particular on three-field inflation, since the third dynamical field is the first not privileged by the perturbations' equations of motion and allows a more direct generalization to $N$-field inflation. For the first time, we study the three-field isocurvature perturbations sourced during the feature and include the effects of isocurvature masses. In addition to a two-field limit, we find that the third field's dynamics during the feature can source large isocurvature transients which then later decay, leaving an inflationary-era-sourced SGWB as their only observable signature. We find that the inflationary-era signal shape near the peak is largely independent of the number of dynamical fields and has a greatly enhanced amplitude sourced by the large isocurvature transient, suppressing the radiation-era contribution and opening a new window of detectable parameter space with small adiabatic enhancement. The largest enhancement

In this paper, we investigate sharp singular Trudinger-Moser inequalities involving the anisotropic Dirichlet norm $\left(\int_ΩF^{N}( abla u)\;\mathrm{d}x\right)^{\frac{1}{N}}$ in the Sobolev-type space $D^{N,q}(\mathbb{R}^{N})$, $q\geq 1$, here $F:\mathbb{R}^{N}\rightarrow[0,+\infty)$ is a convex function of class $C^{2}(\mathbb{R}^{N}\setminus\{0\})$, which is even and positively homogeneous of degree 1, its polar $F^{0}$ represents a Finsler metric on $\mathbb{R}^{N}$. Combing with the connection between convex symmetrization and Schwarz symmetrization, we will establish anisotropic singular Trudinger-Moser inequalities and discuss their sharpness under several different situations, including the case $\|F( abla u)\|_{N}\leq 1$, the case $\|F( abla u)\|_{N}^{a}+\|u\|_{q}^{b}\leq 1$, and whether they are associated with exact growth.

Advancements in text-to-image diffusion models have led to significant progress in fast 3D content creation. One common approach is to generate a set of multi-view images of an object, and then reconstruct it into a 3D model. However, this approach bypasses the use of a native 3D representation of the object and is hence prone to geometric artifacts and limited in controllability and manipulation capabilities. An alternative approach involves native 3D generative models that directly produce 3D representations. These models, however, are typically limited in their resolution, resulting in lower quality 3D objects. In this work, we bridge the quality gap between methods that directly generate 3D representations and ones that reconstruct 3D objects from multi-view images. We introduce a multi-view to multi-view diffusion model called Sharp-It, which takes a 3D consistent set of multi-view images rendered from a low-quality object and enriches its geometric details and texture. The diffusion model operates on the multi-view set in parallel, in the sense that it shares features across the generated views. A high-quality 3D model can then be reconstructed from the enriched multi-view se

We introduce the "sharp" (universal) extension of a 1-motive (with additive factors and torsion) over a field of characteristic zero. We define the "sharp de Rham realization" by passing to the Lie-algebra. Over the complex numbers we then show a (sharp de Rham) comparison theorem in the category of formal Hodge structures. For a free 1-motive along with its Cartier dual we get a canonical connection on their sharp extensions yielding a perfect pairing on sharp realizations. We thus provide "one-dimensional sharp de Rham cohomology" of algebraic varieties.

We use computer simulations to study the behavior of atomically sharp and blunted cracks in various f.c.c. metals. The simulations use effective medium potentials which contain many-body interactions. We find that when using potentials representing platinum and gold a sharp crack is stable with respect to the emission of a dislocation from the crack tip, whereas for all other metals studied the sharp crack is unstable. This result cannot be explained by existing criteria for the intrinsic ductile/brittle behavior of crack tips, but is probably caused by surface stresses. When the crack is no longer atomically sharp dislocation emission becomes easier in all the studied metals. The effect is relatively strong; the critical stress intensity factor for emission to occur is reduced by up to 20%. This behavior appears to be caused by the surface stress near the crack tip. The surface stress is a consequence of the many-body nature of the interatomic interactions. The enhanced dislocation emission can cause an order-of-magnitude increase in the fracture toughness of certain materials, in which a sharp crack would propagate by cleavage. Collisions with already existing dislocations will b

We establish a sharp Sobolev trace inequality on the Siegel domain $Ω_{n+1}$ involving the weighted norm-$W^{2,2}(Ω_{n+1}, ρ^{1-2[γ]})$. The inequality is closely related the realization of fractional powers of the sub-Laplacian on the Heisenberg group $H^n=\partial Ω_{n+1}$ as generalized Dirichlet-to-Neumann operators associated to the weighted poly-sublaplacian, generalizing observations of Frank--González--Monticelli--Tan.

In this paper, we mainly consider nonnegative weak solution to the $D^{1,p}(\R^{N})$-critical quasi-linear static Schrödinger-Hartree equation with $p$-Laplacian $-Δ_{p}$ and nonlocal nonlinearity: \begin{align*} -Δ_p u =\left(|x|^{-2p}\ast |u|^{p}\right)|u|^{p-2}u \qquad &\mbox{in} \,\, \mathbb{R}^N, \end{align*} where $1<p<\frac{N}{2}$, $N\geq3$ and $u\in D^{1,p}(\R^N)$. Being different to the $D^{1,p}(\R^{N})$-critical local nonlinear term $u^{p^{\star}-1}$ with $p^{\star}:=\frac{Np}{N-p}$ investigated in \cite{CFR,LDSMLMSB,GV,Ou,BS16,VJ16} etc., since the nonlocal convolution $|x|^{-2p}*u^p$ appears in the Hartree type nonlinearity, it is impossible for us to use the scaling arguments and the Doubling Lemma as in \cite{VJ16} to get preliminary estimates on upper bounds of asymptotic behaviors for any positive solutions $u$. Moreover, it is also quite difficult to obtain the boundedness of the quasi-norm $\|u \|_{L^{s,\infty}(\R^N)}$ and hence derive the sharp estimates on upper bounds of asymptotic behaviors from the preliminary estimates as in \cite{VJ16}. Fortunately, by showing a better preliminary estimates on upper bounds of asymptotic behaviors through the De Gi

A base $\mathcal{B}$ for a space $X$ is said to be sharp if, whenever $x\in X$ and $(B_n)_{n\inω}$ is a sequence of pairwise distinct elements of $\mathcal{B}$ each containing $x$, the collection $\{\bigcap_{j\le n}B_j:n\inω\}$ is a local base at $x$. We answer questions raised by Alleche et al. and Arhangel$'$skiĭ et al. by showing that a pseudocompact Tychonoff space with a sharp base need not be metrizable and that the product of a space with a sharp base and $[0,1]$ need not have a sharp base. We prove various metrization theorems and provide a characterization along the lines of Ponomarev's for point countable bases.

Many real-world networks exhibit the so-called small-world phenomenon: their typical distances are much smaller than their sizes. One mathematical model for this phenomenon is a long-range percolation graph on a $d$-dimensional box $\{0, 1, \cdots, N\}^d$, in which edges are independently added between far-away sites with probability falling off as a power of the Euclidean distance. A natural question is how the resulting diameter of the box of size $N$, measured in graph-theoretical distance, scales with $N$. This question has been intensely studied in the past and the answer depends on the exponent $s$ in the connection probabilities. In this work we focus on the critical regime $s = d$ studied earlier in a work by Coppersmith, Gamarnik, and Sviridenko and improve the bounds obtained there to a sharp leading-order asymptotic, by exploiting the high degree of concentration due to the large amount of independence in the model.

In this article we present a new proof of a sharp Reverse Hölder Inequality for $A_\infty$ weights that is valid in the context of spaces of homogeneous type. Then we derive two applications: a precise open property of Muckenhoupt classes and, as a consequence of this last result, we obtain a simple proof of a sharp weighted bound for the Hardy-Littlewood maximal function involving $A_\infty$ constants: |M|_{L^p(w)} \leq c (\frac{1}{p-1} [w]_{A_p}[σ]_{A_\infty})^{1/p}, where $1<p<\infty$, $σ=w^{\frac{1}{1-p}}$ and $c$ depends only on the doubling constant of the measure $μ$ and the geometric constant $κ$ of the quasimetric.

The SHApe Recovery from Partial textured 3D scans challenge, SHARP 2020, is the first edition of a challenge fostering and benchmarking methods for recovering complete textured 3D scans from raw incomplete data. SHARP 2020 is organised as a workshop in conjunction with ECCV 2020. There are two complementary challenges, the first one on 3D human scans, and the second one on generic objects. Challenge 1 is further split into two tracks, focusing, first, on large body and clothing regions, and, second, on fine body details. A novel evaluation metric is proposed to quantify jointly the shape reconstruction, the texture reconstruction and the amount of completed data. Additionally, two unique datasets of 3D scans are proposed, to provide raw ground-truth data for the benchmarks. The datasets are released to the scientific community. Moreover, an accompanying custom library of software routines is also released to the scientific community. It allows for processing 3D scans, generating partial data and performing the evaluation. Results of the competition, analysed in comparison to baselines, show the validity of the proposed evaluation metrics, and highlight the challenging aspects of th