The partial entanglement entropy (PEE) $s_{\mathcal{A}}(\mathcal{A}_i)$ characterizes how much the subset $\mathcal{A}_i$ of $\mathcal{A}$ contribute to the entanglement entropy $S_{\mathcal{A}}$. We find one additional physical requirement for $s_{\mathcal{A}}(\mathcal{A}_i)$, which is the invariance under a permutation. The partial entanglement entropy proposal satisfies all the physical requirements. We show that for Poincar\'e invariant theories the physical requirements are enough to uniquely determine the PEE (or the entanglement contour) to satisfy a general formula. This is the first time we find the PEE can be uniquely determined. Since the solution of the requirements is unique and the \textit{PEE proposal} is a solution, the \textit{PEE proposal} is justified for Poincar\'e invariant theories.

We prove generalized Fefferman-Stein type theorems on sharp functions with Ap weights in spaces of homogeneous type with either finite or infinite underlying measure. We then apply these results to establish mixed-norm weighted Lp-estimates for elliptic and parabolic equations/systems with (partially) BMO coefficients in regular or irregular domains.

No abstract uploaded!

Many optimization algorithms converge to stationary points. When the underlying problem is nonconvex, they may get trapped at local minimizers and occasionally stagnate near saddle points. We propose the Run-and-Inspect Method, which adds an “inspect” phase to existing algorithms that helps escape from non-global stationary points. The inspection samples a set of points in a radius R around the current point. When a sample point yields a sufficient decrease in the objective, we resume an existing algorithm from that point. If no sufficient decrease is found, the current point is called an approximate R-local minimizer. We show that an R-local minimizer is globally optimal, up to a specific error depending on R, if the objective function can be implicitly decomposed into a smooth convex function plus a restricted function that is possibly nonconvex, nonsmooth. Therefore, for such nonconvex objective functions, verifying global optimality is fundamentally easier. For high-dimensional problems, we introduce blockwise inspections to overcome the curse of dimensionality while still maintaining optimality bounds up to a factor equal to the number of blocks. Our method performs well on a set of artificial and realistic nonconvex problems by coupling with gradient descent, coordinate descent, EM, and prox-linear algorithms.

No abstract uploaded!