Recovering an Homogeneous Polynomial from Moments of Its Level Set

Let $\mathbf{K }:=\left\{ \mathbf{x }: g(\mathbf{x })\le 1\right\} $ K : = x : g ( x ) ≤ 1 be the compact (and not necessarily convex) sub-level set of some homogeneous polynomial $g$ g . Assume that the only knowledge about $\mathbf{K }$ K is the degree of $g$ g as well as the moments of the Lebesgue measure on $\mathbf{K }$ K up to order $2d$ 2 d . Then the vector of coefficients of $g$ g is the solution of a simple linear system whose associated matrix is nonsingular. In other words, the moments up to order $2d$ 2 d of the Lebesgue measure on $\mathbf{K }$ K encode all information on the homogeneous polynomial $g$ g that defines $\mathbf{K }$ K (in fact, only moments of order $d$ d and $2d$ 2 d are needed).     

The second pinching theorem for hypersurfaces with constant mean curvature in a sphere

We generalize the second pinching theorem for minimal hypersurfaces in a sphere due to Peng–Terng, Wei–Xu, Zhang, and Ding–Xin to the case of hypersurfaces with small constant mean curvature. Let $M^n$ be a compact hypersurface with constant mean curvature $H$ in $S^{n+1}$ . Denote by $S$ the squared norm of the second fundamental form of $M$ . We prove that there exist two positive constants $\gamma (n)$ and $\delta (n)$ depending only on $n$ such that if $|H|\le \gamma (n)$ and $\beta (n,H)\le S\le \beta (n,H)+\delta (n)$ , then $S\equiv \beta (n,H)$ and $M$ is one of the following cases: (i) $S^{k}\Big (\sqrt{\frac{k}{n}}\Big )\times S^{n-k}\Big (\sqrt{\frac{n-k}{n}}\Big )$ , $\,1\le k\le n-1$ ; (ii) $S^{1}\Big (\frac{1}{\sqrt{1+\mu ^2}}\Big )\times S^{n-1}\Big (\frac{\mu }{\sqrt{1+\mu ^2}}\Big )$ . Here $\beta (n,H)=n+\frac{n^3}{2(n-1)}H^2+\frac{n(n-2)}{2(n-1)} \sqrt{n^2H^4+4(n-1)H^2}$ and $\mu =\frac{n|H|+\sqrt{n^2H^2+ 4(n-1)}}{2}$ .     

On the fast Khintchine spectrum in continued fractions

For $x\in [0,1)$ x ∈ [ 0 , 1 ) , let $x=[a_1(x), a_2(x),\ldots ]$ x = [ a 1 ( x ) , a 2 ( x ) , ... ] be its continued fraction expansion with partial quotients $\{a_n(x), n\ge 1\}$ { a n ( x ) , n ≥ 1 } . Let $\psi : \mathbb{N } \rightarrow \mathbb{N }$ ψ : N → N be a function with $\psi (n)/n\rightarrow \infty $ ψ ( n ) / n → ∞ as $n\rightarrow \infty $ n → ∞ . In this note, the fast Khintchine spectrum, i.e., the Hausdorff dimension of the set $$\begin{aligned} E(\psi ):=\left\{ x\in [0,1): \lim _{n\rightarrow \infty }\frac{1}{\psi (n)}\sum _{j=1}^n\log a_j(x)=1\right\} \end{aligned}$$ E ( ψ ) : = x ∈ [ 0 , 1 ) : lim n → ∞ 1 ψ ( n ) ∑ j = 1 n log a j ( x ) = 1 is completely determined without any extra condition on $\psi $ ψ . This fills a gap of the former work in Fan et al. (Ergod Theor Dyn Syst 29:73–109, 2009).     

A Reduction Theorem for the Kripke–Joyal Semantics: Forcing Over an Arbitrary Category can Always be Replaced by Forcing Over a Complete Heyting Algebra

It is assumed that a Kripke–Joyal semantics ${\mathcal{A} = \left\langle \mathbb{C},{\rm Cov}, {\it F},\Vdash \right\rangle}$ A = C , Cov , F , ? has been defined for a first-order language ${\mathcal{L}}$ L . To transform ${\mathbb{C}}$ C into a Heyting algebra ${\overline{\mathbb{C}}}$ C ¯ on which the forcing relation is preserved, a standard construction is used to obtain a complete Heyting algebra made up of cribles of ${\mathbb{C}}$ C . A pretopology ${\overline{{\rm Cov}}}$ Cov ¯ is defined on ${\overline{\mathbb{C}}}$ C ¯ using the pretopology on ${\mathbb{C}}$ C . A sheaf ${\overline{{\it F}}}$ F ¯ is made up of sections of F that obey functoriality. A forcing relation ${\overline{\Vdash}}$ ? ¯ is defined and it is shown that ${\overline{\mathcal{A}} = \left\langle \overline{\mathbb{C}},\overline{\rm{Cov}},\overline{{\it F}}, \overline{\Vdash} \right\rangle }$ A ¯ = C ¯ , Cov ¯ , F ¯ , ? ¯ is a Kripke–Joyal semantics that faithfully preserves the notion of forcing of ${\mathcal{A}}$ A . That is to say, an object a of ${\mathbb{C}Ob}$ C O b forces a sentence with respect to ${\mathcal{A}}$ A if and only if the maximal a-crible forces it with respect to ${\overline{\mathcal{A}}}$ A ¯ . This reduces a Kripke–Joyal semantics defined over an arbitrary site to a Kripke–Joyal semantics defined over a site which is based on a complete Heyting algebra.     

Traces, traceability, and lattices of traces under the set theoretic inclusion

Let a trace be a computably enumerable set of natural numbers such that ${V^{[m]} = \{n : \langle n, m\rangle \in V \}}$ V [ m ] = { n : 〈 n , m 〉 ∈ V } is finite for all m, where ${\langle^{.},^{.}\rangle}$ 〈 . , . 〉 denotes an appropriate pairing function. After looking at some basic properties of traces like that there is no uniform enumeration of all traces, we prove varied results on traceability and variants thereof, where a function ${f : \mathbb{N} \rightarrow \mathbb{N}}$ f : N → N is traceable via a trace V if for all ${m, \langle f(m), m\rangle \in V.}$ m , 〈 f ( m ) , m 〉 ∈ V . Then we turn to lattices $$\textit{\textbf{L}}_{tr}(V) = (\{W : V \subseteq W \, {\rm and} \, W \, {\rm a} \, {\rm trace}\}, \, \subseteq),$$ L t r ( V ) = ( { W : V ? W and W a trace } , ? ) , V a trace. Here, we study the close relationship to ${\mathcal{E} = (\{A : A \subseteq \mathbb{N} \quad c.e.\}, \subseteq)}$ E = ( { A : A ? N c . e . } , ? ) , automorphisms, isomorphisms, and isomorphic embeddings.     

Solution of the Propeller Conjecture in \mathbb R ^3

It is shown that every measurable partition $\{A_1,\ldots , A_k\}$ { A 1 , … , A k } of $\mathbb R ^3$ R 3 satisfies 1 $$\begin{aligned} \sum _{i=1}^k\big \Vert \int _{A_i} x\mathrm{{e}}^{-\frac{1}{2}\Vert x\Vert _2^2}\mathrm{{d}}x\big \Vert _2^2\leqslant 9\pi ^2. \end{aligned}$$ ∑ i = 1 k ‖ ∫ A i x e - 1 2 ‖ x ‖ 2 2 d x ‖ 2 2 ? 9 π 2 . Let $\{P_1,P_2,P_3\}$ { P 1 , P 2 , P 3 } be the partition of $\mathbb R ^2$ R 2 into $120^{\circ }$ 120 ° sectors centered at the origin. The bound (1) is sharp, with equality holding if $A_i=P_i\times \mathbb R $ A i = P i × R for $i\in \{1,2,3\}$ i ∈ { 1 , 2 , 3 } and $A_i=\emptyset $ A i = ? for $i\in \{4,\ldots ,k\}$ i ∈ { 4 , … , k } . This settles positively the $3$ 3 -dimensional Propeller Conjecture of Khot and Naor [(Mathematika 55(1-2):129–165, 2009 (FOCS 2008)]. The proof of (1) reduces the problem to a finite set of numerical inequalities which are then verified with full rigor in a computer-assisted fashion. The main consequence (and motivation) of (1) is complexity-theoretic: the unique games hardness threshold of the kernel clustering problem with $4\times 4$ 4 × 4 centered and spherical hypothesis matrix equals $\frac{2\pi }{3}$ 2 π 3 .     

Appell Bases for Monogenic Functions of Three Variables

Monogenic (or hyperholomorphic) functions are well known in general Clifford algebras but have been little studied in the particular case ${\mathbb{R}^{3} \rightarrow \mathbb{R}^{3}}$ R 3 → R 3 . We describe for this case the collection of all Appell systems: bases for the finite-dimensional spaces of monogenic homogeneous polynomials which respect the operator ${D = \partial_{0} - \vec{\partial}}$ D = ? 0 ? ? → . We prove that no purely algebraic recursive formula (in a specific sense) exists for these Appell systems, in contrast to the existence of known constructions for ${\mathbb{R}^{3} \rightarrow \mathbb{R}^{4}}$ R 3 → R 4 and ${\mathbb{R}^{4} \rightarrow \mathbb{R}^{4}}$ R 4 → R 4 . However, we give a simple recursive procedure for constructing Appell bases for ${\mathbb{R}^{3} \rightarrow \mathbb{R}^{3}}$ R 3 → R 3 which uses the operation of integration of polynomials.     

Boundaries of Disk-Like Self-affine Tiles

Let $T:= T(A, \mathcal{D })$ T : = T ( A , D ) be a disk-like self-affine tile generated by an integral expanding matrix $A$ A and a consecutive collinear digit set $\mathcal{D }$ D , and let $f(x)=x^{2}+px+q$ f ( x ) = x 2 + px + q be the characteristic polynomial of $A$ A . In the paper, we identify the boundary $\partial T$ ? T with a sofic system by constructing a neighbor graph and derive equivalent conditions for the pair $(A,\mathcal{D })$ ( A , D ) to be a number system. Moreover, by using the graph-directed construction and a device of pseudo-norm $\omega $ ω , we find the generalized Hausdorff dimension $\dim _H^{\omega } (\partial T)=2\log \rho (M)/\log |q|$ dim H ω ( ? T ) = 2 log ρ ( M ) / log | q | where $\rho (M)$ ρ ( M ) is the spectral radius of certain contact matrix $M$ M . Especially, when $A$ A is a similarity, we obtain the standard Hausdorff dimension $\dim _H (\partial T)=2\log \rho /\log |q|$ dim H ( ? T ) = 2 log ρ / log | q | where $\rho $ ρ is the largest positive zero of the cubic polynomial $x^{3}-(|p|-1)x^{2}-(|q|-|p|)x-|q|$ x 3 ? ( | p | ? 1 ) x 2 ? ( | q | ? | p | ) x ? | q | , which is simpler than the known result.     

Many Empty Triangles have a Common Edge

Given a finite point set $X$ X in the plane, the degree of a pair $\{x,y\} \subset X$ { x , y } ? X is the number of empty triangles $t=\mathrm {conv} \{x,y,z\},$ t = conv { x , y , z } , where empty means $t\cap X=\{x,y,z\}.$ t ∩ X = { x , y , z } . Define $\deg X$ deg X as the maximal degree of a pair in $X.$ X . Our main result is that if $X$ X is a random sample of $n$ n independent and uniform points from a fixed convex body, then $\deg X \ge cn/\ln n$ deg X ≥ cn / ln n in expectation.     

Ranks of backward shift invariant subspaces of the Hardy space over the bidisk

Let $\{\varphi _n(z)\}_{n\ge 0}$ be a sequence of inner functions satisfying that $\zeta _n(z):=\varphi _n(z)/\varphi _{n+1}(z)\in H^\infty (z)$ for every $n\ge 0$ and $\{\varphi _n(z)\}_{n\ge 0}$ has no nonconstant common inner divisors. Associated with it, we have a Rudin type invariant subspace $\mathcal{M }$ of $H^2(\mathbb{D }^2)$ . The ranks of $\mathcal{M }\ominus w\mathcal{M }$ for $\mathcal{F }_z$ and $\mathcal{F }^*_z$ respectively are determined, where $\mathcal{F }_z$ is the fringe operator on $\mathcal{M }\ominus w\mathcal{M }$ . Let $\mathcal{N }= H^2(\mathbb{D }^2)\ominus \mathcal{M }$ . It is also proved that the rank of $\mathcal{M }\ominus w\mathcal{M }$ for $\mathcal{F }^*_z$ equals to the rank of $\mathcal{N }$ for $T^*_z$ and $T^*_w$ .     

Algebraic Boundaries of \mathrm{SO}(2)-Orbitopes

Let $X\subset \mathbb{A }^{2r}$ X ? A 2 r be a real curve embedded into an even-dimensional affine space. We characterise when the $r$ r th secant variety to $X$ X is an irreducible component of the algebraic boundary of the convex hull of the real points $X(\mathbb{R })$ X ( R ) of $X$ X . This fact is then applied to $4$ 4 -dimensional $\mathrm{SO}(2)$ SO ( 2 ) -orbitopes and to the so called Barvinok–Novik orbitopes to study when they are basic closed semi-algebraic sets. In the case of $4$ 4 -dimensional $\mathrm{SO}(2)$ SO ( 2 ) -orbitopes, we find all irreducible components of their algebraic boundary.     

Pfaffian representations of cubic surfaces

Let $\mathbb{K }$ be a field of characteristic zero. We describe an algorithm which requires a homogeneous polynomial $F$ of degree three in $\mathbb{K }[x_{0},x_1,x_{2},x_{3}]$ and a zero ${\mathbf{a }}$ of $F$ in $\mathbb{P }^{3}_{\mathbb{K }}$ and ensures a linear Pfaffian representation of $\text{ V}(F)$ with entries in $\mathbb{K }[x_{0},x_{1},x_{2},x_{3}]$ , under mild assumptions on $F$ and ${\mathbf{a }}$ . We use this result to give an explicit construction of (and to prove the existence of) a linear Pfaffian representation of $\text{ V}(F)$ , with entries in $\mathbb{K }^{\prime }[x_{0},x_{1},x_{2},x_{3}]$ , being $\mathbb{K }^{\prime }$ an algebraic extension of $\mathbb{K }$ of degree at most six. An explicit example of such a construction is given.     

New approximations for the cone of copositive matrices and its dual

We provide convergent hierarchies for the convex cone $\mathcal{C }$ of copositive matrices and its dual $\mathcal{C }^*$ , the cone of completely positive matrices. In both cases the corresponding hierarchy consists of nested spectrahedra and provide outer (resp. inner) approximations for $\mathcal{C }$ (resp. for its dual $\mathcal{C }^*$ ), thus complementing previous inner (resp. outer) approximations for $\mathcal{C }$ (for $\mathcal{C }^*$ ). In particular, both inner and outer approximations have a very simple interpretation. Finally, extension to $\mathcal{K }$ -copositivity and $\mathcal{K }$ -complete positivity for a closed convex cone $\mathcal{K }$ , is straightforward.     

Nef line bundles on flag bundles on a curve over {\overline{{\mathbb F}}_p}

Let E be a vector bundle of rank r over an irreducible smooth projective curve X defined over the field ${\overline{{\mathbb F}}_p}$ F ¯ p . For fixed integers ${r_1\, , \ldots\, , r_\nu}$ r 1 , ... , r ν with ${1\, \leq\, r_1\, <\, \cdots\, <\, r_\nu\, <\, r}$ 1 ≤ r 1 < ? < r ν < r , let ${\text{Fl}(E)}$ Fl ( E ) be the corresponding flag bundle over X associated to E. Let ${\xi\, \longrightarrow \, {\rm Fl}(E)}$ ξ ? Fl ( E ) be a line bundle such that for every pair of the form ${(C\, ,\phi)}$ ( C , ? ) , where C is an irreducible smooth projective curve defined over ${\overline{\mathbb F}_p}$ F ¯ p and ${\phi\, :\, C\, \longrightarrow\, {\rm Fl}(E)}$ ? : C ? Fl ( E ) is a nonconstant morphism, the inequality ${{\rm degree}(\phi^* \xi)\, > \, 0}$ degree ( ? ? ξ ) > 0 holds. We prove that the line bundle ${\xi}$ ξ is ample.     

On multiplicative (generalized)-derivations in prime and semiprime rings

Let R be a ring. A map ${F : R \rightarrow R}$ F : R → R is called a multiplicative (generalized)-derivation if F(xy) = F(x)y + xg(y) is fulfilled for all ${x, y \in R}$ x , y ∈ R where ${g : R \rightarrow R}$ g : R → R is any map (not necessarily derivation). The main objective of the present paper is to study the following situations: (i) ${F(xy) \pm xy \in Z}$ F ( xy ) ± xy ∈ Z , (ii) ${F(xy) \pm yx \in Z}$ F ( xy ) ± yx ∈ Z , (iii) ${F(x)F(y) \pm xy \in Z}$ F ( x ) F ( y ) ± xy ∈ Z and (iv) ${F(x)F(y) \pm yx \in Z}$ F ( x ) F ( y ) ± yx ∈ Z for all x, y in some appropriate subset of R. Moreover, some examples are also given.     

Boundedness of Generalized Riesz Transforms on Orlicz–Hardy Spaces Associated to Operators

Let ${\Phi}$ be a continuous, strictly increasing and concave function on (0, ∞) of critical lower type index ${p_\Phi^- \in(0,\,1]}$ . Let L be an injective operator of type ω having a bounded H _∞ functional calculus and satisfying the k-Davies–Gaffney estimates with ${k \in {\mathbb Z}_+}$ . In this paper, the authors first introduce an Orlicz–Hardy space ${H^{\Phi}_{L}(\mathbb{R}^n)}$ in terms of the non-tangential L-adapted square function and then establish its molecular characterization. As applications, the authors prove that the generalized Riesz transform ${D_{\gamma}L^{-\delta/(2k)}}$ is bounded from the Orlicz–Hardy space ${H^{\Phi}_{L}(\mathbb{R}^n)}$ to the Orlicz space ${L^{\widetilde{\Phi}}(\mathbb{R}^n)}$ when ${p_\Phi^- \in (0, \frac{n}{n+ \delta - \gamma}]}$ , ${0 < \gamma \le \delta < \infty}$ and ${\delta- \gamma < n (\frac{1}{p_-(L)}-\frac{1}{p_+(L)})}$ , or from ${H^{\Phi}_{L}(\mathbb{R}^n)}$ to the Orlicz–Hardy space ${H^{\widetilde \Phi}(\mathbb{R}^n)}$ when ${p_\Phi^-\in (\frac{n}{n + \delta+ \lfloor \gamma \rfloor- \gamma},\,\frac{n}{n+ \delta- \gamma}]}$ , ${1\le \gamma \le \delta < \infty}$ and ${\delta- \gamma < n (\frac{1}{p_-(L)}-\frac{1}{p_+(L)})}$ , or from ${H^{\Phi}_{L}(\mathbb{R}^n)}$ to the weak Orlicz–Hardy space ${WH^\Phi(\mathbb{R}^n)}$ when ${\gamma = \delta}$ and ${p_\Phi=n/(n + \lfloor \gamma \rfloor)}$ or ${p_\Phi^-=n/(n + \lfloor \gamma \rfloor)}$ with ${p_\Phi^-}$ attainable, where ${\widetilde{\Phi}}$ is an Orlicz function whose inverse function ${\widetilde{\Phi}^{-1}}$ is defined by ${\widetilde{\Phi}^{-1}(t):=\Phi^{-1}(t)t^{\frac{1}{n}(\gamma- \delta)}}$ for all ${t \in (0,\,\infty)}$ , ${p_\Phi}$ denotes the strictly critical lower type index of ${\Phi}$ , ${\lfloor \gamma \rfloor}$ the maximal integer not more than ${\gamma}$ and ${(p_-(L),\,p_+(L))}$ the range of exponents ${p \in[1,\, \infty]}$ for which the semigroup ${\{e^{-tL}\}_{t >0 }}$ is bounded on ${L^p(\mathbb{R}^n)}$ .     

Diophantine approximation of the orbit of 1 in the dynamical system of beta expansions

We consider the distribution of the orbits of the number 1 under the $\beta $ -transformations $T_\beta $ as $\beta $ varies. Mainly, the size of the set of $\beta >1$ for which a given point can be well approximated by the orbit of 1 is measured by its Hausdorff dimension. The dimension of the following set $E\big (\{\ell _n\}_{n\ge 1}, x_0\big )=\Big \{\,\beta >1: |T^n_{\beta }1-x_0|<\beta ^{-\ell _n}, \hbox { for infinitely many}, \, n\in \mathbb{N }\,\Big \}$ is determined, where $x_0$ is a given point in $[0,1]$ and $\{\ell _n\}_{n\ge 1}$ is a sequence of integers tending to infinity as $n\rightarrow \infty $ . For the proof of this result, the notion of the recurrence time of a word in symbolic space is introduced to characterise the lengths and the distribution of cylinders (the set of $\beta $ with a common prefix in the expansion of 1) in the parameter space $\{\,\beta \in \mathbb{R }: \beta >1\,\}$ .     

The topology of parabolic character varieties of free groups

Let $G$ be a complex affine algebraic reductive group, and let $K\,\subset \, G$ be a maximal compact subgroup. Fix h $\,:=\,(h_{1}\,,\ldots \,,h_{m})\,\in \, K^{m}$ . For $n\, \ge \, 0$ , let $\mathsf X _{\mathbf{{h}},n}^{G}$ (respectively, $\mathsf X _{\mathbf{{h}},n}^{K}$ ) be the space of equivalence classes of representations of the free group on $m+n$ generators in $G$ (respectively, $K$ ) such that for each $1\le i\le m$ , the image of the $i$ -th free generator is conjugate to $h_{i}$ . These spaces are parabolic analogues of character varieties of free groups. We prove that $\mathsf X _{\mathbf{{h}},n}^{K}$ is a strong deformation retraction of $\mathsf X _{\mathbf{{h}},n}^{G}$ . In particular, $\mathsf X _{\mathbf{{h}},n}^{G}$ and $\mathsf X _{\mathbf{{h}},n}^{K}$ are homotopy equivalent. We also describe explicit examples relating $\mathsf X _{\mathbf{{h}},n}^{G}$ to relative character varieties.     

*-Quantizations of Fourier–Mukai Transforms

We study deformations of Fourier–Mukai transforms in general complex analytic settings. Suppose X and Y are complex manifolds, and let P be a coherent sheaf on X ×  Y. Suppose that the Fourier–Mukai transform ${\Phi}$ Φ given by the kernel P is an equivalence between the coherent derived categories of X and of Y. Suppose also that we are given a formal *-quantization ${\mathbb{X}}$ X of X. Our main result is that ${\mathbb{X}}$ X gives rise to a unique formal *-quantization ${\mathbb{Y}}$ Y of Y. For the statement to hold, *-quantizations must be understood in the framework of stacks of algebroids. The quantization ${\mathbb{Y}}$ Y is uniquely determined by the condition that ${\Phi}$ Φ deforms to an equivalence between the derived categories of ${\mathbb{X}}$ X and ${\mathbb{Y}}$ Y . Equivalently, the condition is that P deforms to a coherent sheaf ${\tilde{P}}$ P ~ on the formal *-quantization ${\mathbb{X} \times\mathbb{Y}^{op}}$ X × Y o p of X × Y; here ${\mathbb{Y}^{op}}$ Y o p is the opposite of the quantization ${\mathbb{Y}}$ Y .