Explicit Inversion Formulas for the X–Ray Transform in {\mathbb{Z}^n}

In the present paper, we state and prove explicit inversion formulas for the X–Ray transform in the lattice ${\mathbb{Z}^n}$ by using certain arithmetical geometrical techniques.     

Covers ℘ for Abstract Regular Polytopes \mathcal {Q} such that \mathcal{Q}=\mathcal{P}/\mathbf{Z}_{p}^{k}

One key problem in the theory of abstract polytopes is the so-called amalgamation problem. In its most general form, this is the problem of characterising the polytopes with given facets  $\mathcal {K}$ and vertex figures ?. The first step in solving it for particular  $\mathcal{K}$ and ? is to find the universal such polytope, which covers all the others. This article explains a construction that may be attempted on an arbitrary polytope ?, which often yields an infinite family of finite polytopes covering ? and sharing its facets and vertex figures. The existence of such an infinite family proves that the universal polytope is infinite; alternatively, the construction can produce an explicit example of an infinite polytope of the desired type. An algorithm for attempting the construction is explained, along with sufficient conditions for it to work. The construction is applied to a few  $\mathcal{K}$ and ? for which it was previously not known whether or not the universal polytope was infinite, or for which only a finite number of finite polytopes was previously known. It is conjectured that the construction is quite broadly applicable.     

Optimal software-implemented Itoh–Tsujii inversion for $$\mathbb {F}_{2^{m}}$$

Field inversion in \(\mathbb {F}_{2^{m}}\) dominates the cost of modern software implementations of certain elliptic curve cryptographic operations, such as point encoding/hashing into elliptic curves (Brown et al. in: Submission to NIST, 2008; Brown in: IACR Cryptology ePrint Archive 2008:12, 2008; Aranha et al. in: Cryptology ePrint Archive, Report 2014/486, 2014) Itoh–Tsujii inversion using a polynomial basis and precomputed table-based multi-squaring has been demonstrated to be highly effective for software implementations (Taverne et al. in: CHES 2011, 2011; Oliveira et al. in: J Cryptogr Eng 4(1):3–17, 2014; Aranha et al. in: Cryptology ePrint Archive, Report 2014/486, 2014), but the performance and memory use depend critically on the choice of addition chain and multi-squaring tables, which in prior work have been determined only by suboptimal ad-hoc methods and manual selection. We thoroughly investigated the performance/memory tradeoff for table-based linear transforms used for efficient multi-squaring. Based upon the results of that investigation, we devised a comprehensive cost model for Itoh–Tsujii inversion and a corresponding optimization procedure that is empirically fast and provably finds globally-optimal solutions. We tested this method on eight binary fields commonly used for elliptic curve cryptography; our method found lower-cost solutions than the ad-hoc methods used previously, and for the first time enables a principled exploration of the time/memory tradeoff of inversion implementations.     

The Aronszajn–Donoghue Theory for Rank One Perturbations of the $$\mathcal{H}_{-2} {\text{-Class}}$$

A singular rank one perturbation of a self-adjoint operator A in a Hilbert space is considered, where and but with the usual A–scale of Hilbert spaces. A modified version of the Aronszajn-Krein formula is given. It has the form where F denotes the regularized Borel transform of the scalar spectral measure of A associated with . Using this formula we develop a variant of the well known Aronszajn–Donoghue spectral theory for a general rank one perturbation of the class.Submitted: March 14, 2002 Revised: December 15, 2002     

{1,3,5}-{1,4,5}问题与邻居自动机

自相似集的Lipschitz等价问题是几何测度论和分形几何的中心问题之一.Rao-Ruan-Xi[10]通过构造图递归集证明了{1,3,5}-{1,4,5}问题.该文利用邻居自动机给出了另一个证明.     

The identification problem for complex-valued Ornstein–Uhlenbeck operators in $$L^p(\mathbb {R}^d,\mathbb {C}^N)$$

In this paper we study perturbed Ornstein–Uhlenbeck operators

$$\begin{aligned} \left[ \mathcal {L}_{\infty } v\right] (x)=A\triangle v(x) + \left\langle Sx,\nabla v(x)\right\rangle -B v(x),\,x\in \mathbb {R}^d,\,d\geqslant 2, \end{aligned}$$

for simultaneously diagonalizable matrices \(A,B\in \mathbb {C}^{N,N}\). The unbounded drift term is defined by a skew-symmetric matrix \(S\in \mathbb {R}^{d,d}\). Differential operators of this form appear when investigating rotating waves in time-dependent reaction diffusion systems. We prove under certain conditions that the maximal domain \(\mathcal {D}(A_p)\) of the generator \(A_p\) belonging to the Ornstein–Uhlenbeck semigroup coincides with the domain of \(\mathcal {L}_{\infty }\) in \(L^p(\mathbb {R}^d,\mathbb {C}^N)\) given by

$$\begin{aligned} \mathcal {D}^p_{\mathrm {loc}}(\mathcal {L}_0)=\left\{ v\in W^{2,p}_{\mathrm {loc}}\cap L^p\mid A\triangle v + \left\langle S\cdot ,\nabla v\right\rangle \in L^p\right\} ,\,1<p<\infty . \end{aligned}$$

One key assumption is a new \(L^p\)-dissipativity condition

$$\begin{aligned} |z|^2\mathrm {Re}\,\left\langle w,Aw\right\rangle + (p-2)\mathrm {Re}\,\left\langle w,z\right\rangle \mathrm {Re}\,\left\langle z,Aw\right\rangle \geqslant \gamma _A |z|^2|w|^2\;\forall \,z,w\in \mathbb {C}^N \end{aligned}$$

for some \(\gamma _A>0\). The proof utilizes the following ingredients. First we show the closedness of \(\mathcal {L}_{\infty }\) in \(L^p\) and derive \(L^p\)-resolvent estimates for \(\mathcal {L}_{\infty }\). Then we prove that the Schwartz space is a core of \(A_p\) and apply an \(L^p\)-solvability result of the resolvent equation for \(A_p\). In addition, we derive \(W^{1,p}\)-resolvent estimates. Our results may be considered as extensions of earlier works by Metafune, Pallara and Vespri to the vector-valued complex case.

     

Global solutions of non-Lipschitz S_{2}–S_{p} minimization over the positive semidefinite cone

The \(S_2\) – \(S_p\) minimization over the positive semidefinite cone is the semidefinite least squares problem with Schatten \(p\) -quasi ( \(0 ) norm regularization term. It has wide applications in many areas including compressed sensing, control, statistics, signal and image processing, etc. In this paper, by developing the symmetric matrix \(\mathrm {p}\) -thresholding operator representation theory, we establish the necessary condition for global optimal solutions of \(S_2\) – \(S_p\) minimization, and also provide the exact lower bound for the positive eigenvalues at global optimal solutions.     

Quasi–Monte Carlo rules for numerical integration over the unit sphere {\mathbb{S}^2}

We study numerical integration on the unit sphere ${\mathbb{S}^2 \subseteq\mathbb{R}^3}$ using equal weight quadrature rules, where the weights are such that constant functions are integrated exactly. The quadrature points are constructed by lifting a (0, m, 2)-net given in the unit square [0, 1]² to the sphere ${\mathbb{S}^2}$ by means of an area preserving map. A similar approach has previously been suggested by Cui and Freeden [SIAM J Sci Comput 18(2):595–609, 1997]. We prove three results. The first one is that the construction is (almost) optimal with respect to discrepancies based on spherical rectangles. Further we prove that the point set is asymptotically uniformly distributed on ${\mathbb{S}^2}$ . And finally, we prove an upper bound on the spherical cap L ₂-discrepancy of order N ^?1/2(log N)^1/2 (where N denotes the number of points). This improves upon the bound on the spherical cap L ₂-discrepancy of the construction by Lubotzky, Phillips and Sarnak [Commun Pure Appl Math 39(S, suppl):S149–S186, 1986] by a factor of ${\sqrt{\log N}}$ . Numerical results suggest that the (0, m, 2)-nets lifted to the sphere ${\mathbb{S}^2}$ have spherical cap L ₂-discrepancy converging with the optimal order of N ^?3/4.     

Lattice-theoretic characterizations of the group classes {\mathfrak{N}^{k-1}\mathfrak{A}} and {\mathfrak{N}^k} for k?�� 2

Let ${2\leq k\in \mathbb{N}}$ . Recently, Costantini and Zacher obtained a lattice-theoretic characterization of the classes ${\mathfrak{N}^k}$ of finite soluble groups with nilpotent length at most k. It is the aim of this paper to give a lattice-theoretic characterization of the classes ${\mathfrak{N}^{k-1}\mathfrak{A}}$ of finite groups with commutator subgroup in ${\mathfrak{N}^{k-1}}$ ; in addition, our method also yields a new characterization of the classes ${\mathfrak{N}^k}$ . The main idea of our approach is to use two well-known theorems of Gaschütz on the Frattini and Fitting subgroups of finite groups.     

Teichmüller curves in genus three and just likely intersections in $\mathbf{G}_{m}^{n}\times\mathbf{G}_{a}^{n}$

We prove that the moduli space of compact genus three Riemann surfaces contains only finitely many algebraically primitive Teichmüller curves. For the stratum \(\Omega\mathcal{M}_{3}(4)\), consisting of holomorphic one-forms with a single zero, our approach to finiteness uses the Harder-Narasimhan filtration of the Hodge bundle over a Teichmüller curve to obtain new information on the locations of the zeros of eigenforms. By passing to the boundary of moduli space, this gives explicit constraints on the cusps of Teichmüller curves in terms of cross-ratios of six points on \(\mathbf{P}^{1}\).These constraints are akin to those that appear in Zilber and Pink’s conjectures on unlikely intersections in diophantine geometry. However, in our case one is lead naturally to the intersection of a surface with a family of codimension two algebraic subgroups of \(\mathbf{G}_{m}^{n}\times\mathbf{G}_{a}^{n}\) (rather than the more standard \(\mathbf{G}_{m}^{n}\)). The ambient algebraic group lies outside the scope of Zilber’s Conjecture but we are nonetheless able to prove a sufficiently strong height bound.For the generic stratum \(\Omega\mathcal{M}_{3}(1,1,1,1)\), we obtain global torsion order bounds through a computer search for subtori of a codimension-two subvariety of \(\mathbf{G}_{m}^{9}\). These torsion bounds together with new bounds for the moduli of horizontal cylinders in terms of torsion orders yields finiteness in this stratum. The intermediate strata are handled with a mix of these techniques.     

Poletsky–Stessin Hardy Spaces on Complex Ellipsoids in $$\mathbb {C}^{n}$$

We study Poletsky–Stessin Hardy spaces on complex ellipsoids in \(\mathbb {C}^{n}\). Different from one variable case, classical Hardy spaces are strictly contained in Poletsky–Stessin Hardy spaces on complex ellipsoids so boundary values are not automatically obtained in this case. We have showed that functions belonging to Poletsky–Stessin Hardy spaces have boundary values and they can be approached through admissible approach regions in the complex ellipsoid case. Moreover, we have obtained that polynomials are dense in these spaces. We also considered the composition operators acting on Poletsky–Stessin Hardy spaces on complex ellipsoids and gave conditions for their boundedness and compactness.     

Bilinear Pseudo-differential Operators with Symbols in $$BS^{m}_{1,1}$$ on Triebel–Lizorkin Spaces

In this paper, bilinear pseudo-differential operators with symbols in the bilinear Hörmander symbol class \(BS^{m}_{1,1}\) on Triebel–Lizorkin spaces are discussed. As a result, we can obtain the Kato–Ponce inequality in local Hardy spaces.     

System Representations for the Paley–Wiener Space $$\mathcal {PW}_{\pi }^2$$

In this paper we study the approximation of stable linear time-invariant systems for the Paley–Wiener space \(\mathcal {PW}_{\pi }^2\), i.e., the set of bandlimited functions with finite \(L^2\)-norm, by convolution sums. It is possible to use either, the convolution sum where the time variable is in the argument of the bandlimited impulse response, or the convolution sum where the time variable is in the argument of the function, as an approximation process. In addition to the pointwise and uniform convergence behavior, the convergence behavior in the norm of the considered function space, i.e. the \(L^2\)-norm in our case, is important. While it is well-known that both convolution sums converge uniformly on the whole real axis, the \(L^2\)-norm of the second convolution sum can be divergent for certain functions and systems. We show that the there exist an infinite dimensional closed subspace of functions and an infinite dimensional closed subspace of systems, such that for any pair of function and system from these two sets, we have norm divergence.     

Notes on von Neumann–Jordan and James Constants for Absolute Norms on {\mathbb{R}^2}

Let ${\|\cdot\|_{\psi}}$ be the absolute norm on ${\mathbb{R}^2}$ corresponding to a convex function ${\psi}$ on [0, 1] and ${C_{\text{NJ}}(\|\cdot\|_{\psi})}$ its von Neumann–Jordan constant. It is known that ${\max \{M_1^2, M_2^2\} \leq C_{\text{NJ}}(\| \cdot \|_{\psi}) \leq M_1^2 M_2^2}$ , where ${M_1 = \max_{0 \leq t \leq 1} \psi(t)/ \psi_2(t)}$ , ${M_2 = \max_{0\leq t \leq 1} \psi_2(t)/ \psi(t)}$ and ${\psi_2}$ is the corresponding function to the ? ₂-norm. In this paper, we shall present a necessary and sufficient condition for the above right side inequality to attain equality. A corollary, which is valid for the complex case, will cover a couple of previous results. Similar results for the James constant will be presented.     

Lipschitz equivalence of generalized {1,3,5}-{1,4,5} self-similar sets

This paper investigates the Lipschitz equivalence of generalized {1,3,5}-{1,4,5} self-similar sets D=(r_1D)∪(r_2D (1 r_1-r_2-r_3)/2)∪(r_3D 1 r_3) and E=(r_1E)∪(r_2E 1-r_2- r_3)∪(r_3E 1-r_3),and proves that D and E are Lipschitz equivalent if and only if there are positive integers m and n such that r_1~m=r_3~n.     

On some nonlinear elliptic problems for p–Laplacian in \mathbb {R}^N

In this paper, we consider a nonlinear elliptic problem involving the p-Laplacian with perturbation terms in the whole . Via variational arguments, we obtain existence and regularity of nontrivial solutions. The research of the first and second authors is supported by grant num, #28/12 from the Al-Imam University, Riyadh, KSA.     

${R}_{0}$代数中的滤子格

Abstract In the present paper, some basic properties of MP filters of Ro algebra M are investigated. It is proved that（FMP（M）,包含,′∧^-∨^-,{1},M）is a bounded distributive lattice by introducing the negation operator ′, the meet operator ∧^-, the join operator ∨^- and the implicati on operator → on the set FMP（M） of all MP filters of M. Moreover, some conditions under which （FMP（M）,包含,′∨^-,→{1},M）is an Ro algebra are given. And the relationship between prime elements of FMP （M） and prime filters of M is studied. Finally, some equivalent characterizations of prime elements of .FMP （M） are obtained.     

{\mathbb{Z}_2}-bordism and the Borsuk–Ulam Theorem

The purpose of this work is to classify, for given integers \({m,\, n\geq 1}\), the bordism class of a closed smooth \({m}\)-manifold \({X^m}\) with a free smooth involution \({\tau}\) with respect to the validity of the Borsuk–Ulam property that for every continuous map \({\phi : X^m \to \mathbb{R}^n}\) there exists a point \({x\in X^m}\) such that \({\phi (x)=\phi (\tau (x))}\). We will classify a given free \({\mathbb{Z}_2}\)-bordism class \({\alpha}\) according to the three possible cases that (a) all representatives \({(X^m, \tau)}\) of \({\alpha}\) satisfy the Borsuk–Ulam property; (b) there are representatives \({({X_{1}^{m}}, \tau_1)}\) and \({({X_{2}^{m}}, \tau_2)}\) of \({\alpha}\) such that \({({X_{1}^{m}}, \tau_1)}\) satisfies the Borsuk–Ulam property but \({({X_{2}^{m}}, \tau_2)}\) does not; (c) no representative \({(X^m, \tau)}\) of \({\alpha}\) satisfies the Borsuk–Ulam property.