Regular prism tilings in {{\widetilde{\bf SL_{2}R}}} space

\({{\widetilde{\bf SL_{2}R}}}\) geometry is one of the eight 3-dimensional Thurston geometries, it can be derived from the 3-dimensional Lie group of all 2 × 2 real matrices with determinant one. Our aim is to describe and visualize the regular infinite or bounded p-gonal prism tilings in \({{\widetilde{\bf SL_{2}R}}}\) . For this purpose we introduce the notion of infinite and bounded prisms, prove that there exist infinitely many regular infinite p-gonal face-to-face prism tilings \({\mathcal{T}^i_p(q)}\) and infinitely many regular bounded p-gonal non-face-to-face \({{\widetilde{\bf SL_{2}R}}}\) prism tilings \({\mathcal{T}_p(q)}\) for integer parameters \({p,q; 3 \leq p, \frac{2p}{p-2} < q}\) . Moreover, we describe the symmetry group of \({\mathcal{T}_p(q)}\) via its index 2 rotational subgroup, denoted by pq2 ₁ . Surprisingly this group already occurred in our former work (Molnár et al., J Geometry, 95:91–133, 2009) in another context. We also develop a method to determine the data of the space filling regular infinite and bounded prism tilings. We apply the above procedure to \({\mathcal{T}^i_3(q)}\) and \({\mathcal{T}_3(q)}\) where 6 < q and visualize them and the corresponding tilings. E. Molnár showed, that homogeneous 3-spaces have a unified interpretation in the projective 3-sphere \({\mathcal{PS}^3}\) and 3-space \({\mathcal{P}^3({\bf V}^4,{\bf V}_4, {\bf R})}\) . In our work we will use this projective model of \({{\widetilde{\bf SL_{2}R}}}\) and in this manner the prisms and prism tilings can be visualized on the Euclidean screen of a computer.     

A Jost–Pais-Type Reduction of Fredholm Determinants and Some Applications

We study the analog of semi-separable integral kernels in \({\mathcal {H}}\) of the type $$ K(x, x') = \left\{\begin{array}{ll} F_1(x) G_1(x'), \quad& a < x' < x < b,\\ F_2 (x)G_2(x'), \quad& a < x < x' < b,\end{array}\right.$$ where \({-\infty \leqslant a < b \leqslant \infty}\) , and for a.e. \({x \in (a, b)}\) , \({F_j (x) \in \mathcal{B}_2(\mathcal{H}_j, \mathcal{H})}\) and \({G_j(x) \in \mathcal {B}_2(\mathcal {H},\mathcal {H}_j)}\) such that F _j (·) and G _j (·) are uniformly measurable, and $$\begin{array}{ll} || F_j ( \cdot) ||_{\mathcal {B}_2(\mathcal {H}_j,\mathcal {H})} \in L^2((a, b)), ||G_j (\cdot)||_{\mathcal {B}_2(\mathcal {H},\mathcal {H}_j)} \in L^2((a, b)), \quad j=1,2, \end{array}$$ with \({\mathcal {H}}\) and \({\mathcal {H}_j}\) , j = 1, 2, complex, separable Hilbert spaces. Assuming that K(·, ·) generates a trace class operator K in \({L^2((a, b);\mathcal {H})}\) , we derive the analog of the Jost–Pais reduction theory that succeeds in proving that the Fredholm determinant \({{\rm det}_{L^2((a,b);\mathcal{H})}}\) (I ? α K), \({\alpha \in \mathbb{C}}\) , naturally reduces to appropriate Fredholm determinants in the Hilbert spaces \({\mathcal{H}}\) (and \({\mathcal{H}_1 \oplus \mathcal{H}_2}\) ). Explicit applications of this reduction theory to Schrödinger operators with suitable bounded operator-valued potentials are made. In addition, we provide an alternative approach to a fundamental trace formula first established by Pushnitski which leads to a Fredholm index computation of a certain model operator.     

Operator Ideals on Non-commutative Function Spaces

Suppose X and Y are Banach spaces, and \({{\mathcal{I}}}\) , \({{\mathcal{J}}}\) are operator ideals. compact operators). Under what conditions does the inclusion \({\mathcal{I}(X,Y) \subset \mathcal{J}(X,Y)}\) , or the equality \({\mathcal{I}(X,Y)\,=\,\mathcal{J}(X,Y)}\) , hold? We examine this question when \({\mathcal{I}, \mathcal{J}}\) are the ideals of Dunford–Pettis, strictly (co)singular, finitely strictly singular, inessential, or (weakly) compact operators, while X and Y are non-commutative function spaces. Since such spaces are ordered, we also address the same questions for positive parts of such ideals.     

Hypercentralizing generalized skew derivations on left ideals in prime rings

Let $\mathcal{R }$ be a prime ring of characteristic different from $2, \mathcal{Q }_r$ the right Martindale quotient ring of $\mathcal{R }, \mathcal{C }$ the extended centroid of $\mathcal{R }, \mathcal{I }$ a nonzero left ideal of $\mathcal{R }, F$ a nonzero generalized skew derivation of $\mathcal{R }$ with associated automorphism $\alpha $ , and $n,k \ge 1$ be fixed integers. If $[F(r^n),r^n]_k=0$ for all $r \in \mathcal{I }$ , then there exists $\lambda \in \mathcal{C }$ such that $F(x)=\lambda x$ , for all $x\in \mathcal{I }$ . More precisely one of the following holds: (1) $\alpha $ is an $X$ -inner automorphism of $\mathcal{R }$ and there exist $b,c \in \mathcal{Q }_r$ and $q$ invertible element of $\mathcal{Q }_r$ , such that $F(x)=bx-qxq^{-1}c$ , for all $x\in \mathcal{Q }_r$ . Moreover there exists $\gamma \in \mathcal{C }$ such that $\mathcal{I }(q^{-1}c-\gamma )=(0)$ and $b-\gamma q \in \mathcal{C }$ ; (2) $\alpha $ is an $X$ -outer automorphism of $\mathcal{R }$ and there exist $c \in \mathcal{Q }_r, \lambda \in \mathcal{C }$ , such that $F(x)=\lambda x-\alpha (x)c$ , for all $x\in \mathcal{Q }_r$ , with $\alpha (\mathcal{I })c=0$ .     

Sign-changing stationary solutions and blowup for a nonlinear heat equation in dimension two

Consider the nonlinear heat equation $$v_t -\Delta v=|v|^{p-1}v \qquad \qquad \qquad (NLH)$$ in the unit ball of \({\mathbb{R}^2}\) , with Dirichlet boundary condition. Let \({u_{p,\mathcal{K}}}\) be a radially symmetric, sign-changing stationary solution having a fixed number \({\mathcal{K}}\) of nodal regions. We prove that the solution of (NLH) with initial value \({\lambda u_{p,\mathcal{K}}}\) blows up in finite time if |λ ?1| > 0 is sufficiently small and if p is sufficiently large. The proof is based on the analysis of the asymptotic behavior of \({u_{p,\mathcal{K}}}\) and of the linearized operator \({L= -\Delta - p | u_{p,\mathcal{K}} | ^{p-1}}\) .     

Generalized Complex Spherical Harmonics, Frame Functions, and Gleason Theorem

Consider a finite dimensional complex Hilbert space ${\mathcal{H}}$ , with ${dim(\mathcal{H}) \geq 3}$ , define ${\mathbb{S}(\mathcal{H}):= \{x\in \mathcal{H} \:|\: \|x\|=1\}}$ , and let ${\nu_\mathcal{H}}$ be the unique regular Borel positive measure invariant under the action of the unitary operators in ${\mathcal{H}}$ , with ${\nu_\mathcal{H}(\mathbb{S}(\mathcal{H}))=1}$ . We prove that if a complex frame function ${f : \mathbb{S}(\mathcal{H})\to \mathbb{C}}$ satisfies ${f \in \mathbb{L}^2(\mathbb{S}(\mathcal{H}), \nu_\mathcal{H})}$ , then it verifies Gleason’s statement: there is a unique linear operator ${A: \mathcal{H} \to \mathcal{H}}$ such that ${f(u) = \langle u| A u\rangle}$ for every ${u \in \mathbb{S}(\mathcal{H}).\,A}$ is Hermitean when f is real. No boundedness requirement is thus assumed on f a priori.     

Nikodym Maximal Functions Associated with Variable Planes in {\mathbb{R}^{3}}

Given a vector field ${\mathfrak{a}}$ on ${\mathbb{R}^3}$ , we consider a mapping ${x\mapsto \Pi_{\mathfrak{a}}(x)}$ that assigns to each ${x\in\mathbb{R}^3}$ , a plane ${\Pi_{\mathfrak{a}}(x)}$ containing x, whose normal vector is ${\mathfrak{a}(x)}$ . Associated with this mapping, we define a maximal operator ${\mathcal{M}^{\mathfrak{a}}_N}$ on ${L^1_{loc}(\mathbb{R}^3)}$ for each ${N\gg 1}$ by $$\mathcal{M}^{\mathfrak{a}}_Nf(x)=\sup_{x\in\tau} \frac{1}{|\tau|} \int_{\tau}|f(y)|\,dy$$ where the supremum is taken over all 1/N ×? 1/N?× 1 tubes τ whose axis is embedded in the plane ${\Pi_\mathfrak{a}(x)}$ . We study the behavior of ${\mathcal{M}^{\mathfrak{a}}_N}$ according to various vector fields ${\mathfrak{a}}$ . In particular, we classify the operator norms of ${\mathcal{M}^{\mathfrak{a}}_N}$ on ${L^2(\mathbb{R}^3)}$ when ${\mathfrak{a}(x)}$ is the linear function of the form (a ₁₁ x ₁?+?a ₂₁ x ₂, a ₁₂ x ₁?+?a ₂₂ x ₂, 1). The operator norm of ${\mathcal{M}^\mathfrak{a}_N}$ on ${L^2(\mathbb{R}^3)}$ is related with the number given by $$D=(a_{12}+a_{21})^2-4a_{11}a_{22}.$$      

{\boldsymbol(}\boldsymbol{\mathcal{Z}}_{\bf 1}, \boldsymbol{\mathcal{Z}}_{\bf 2}{\boldsymbol)}-Complete Partially Ordered Sets and Their Representations by \boldsymbol{\mathcal{Q}}-Spaces

The present paper proposes a general theory for $\left( \mathcal{Z}_{1}, \mathcal{Z}_{2}\right) $ -complete partially ordered sets (alias $\mathcal{Z} _{1}$ -join complete and $\mathcal{Z}_{2}$ -meet complete partially ordered sets) and their Stone-like representations. It is shown that for suitably chosen subset selections $\mathcal{Z}_{i}$ (i?=?1,...,4) and $\mathcal{Q} =\left( \mathcal{Z}_{1},\mathcal{Z}_{2},\mathcal{Z}_{3},\mathcal{Z} _{4}\right) $ , the category $\mathcal{Q}$ P of $\left( \mathcal{Z}_{1},\mathcal{Z}_{2}\right) $ -complete partially ordered sets and $\left( \mathcal{Z}_{3},\mathcal{Z}_{4}\right) $ -continuous (alias $\mathcal{ Z}_{3}$ -join preserving and $\mathcal{Z}_{4}$ -meet preserving) functions forms a useful categorical framework for various order-theoretical constructs, and has a close connection with the category $\mathcal{Q}$ S of $\mathcal{Q}$ -spaces which are generalizations of topological spaces involving subset selections. In particular, this connection turns into a dual equivalence between the full subcategory $ \mathcal{Q}$ P _s of $\mathcal{Q}$ P of all $\mathcal{Q}$ -spatial objects and the full subcategory $\mathcal{Q}$ S _s of $\mathcal{Q}$ S of all $\mathcal{Q}$ -sober objects. Here $\mathcal{Q}$ -spatiality and $\mathcal{Q}$ -sobriety extend usual notions of spatiality of locales and sobriety of topological spaces to the present approach, and their relations to $\mathcal{Z}$ -compact generation and $\mathcal{Z}$ -sobriety have also been pointed out in this paper.     

Geometry of Normal Graphs in Euclidean Space and Applications to the Penrose Inequality in Minkowski

The Penrose inequality in Minkowski is a geometric inequality relating the total outer null expansion and the area of closed, connected and spacelike codimension-two surfaces \({{\bf \mathcal{S}}}\) in the Minkowski spacetime, subject to an additional convexity assumption. In a recent paper, Brendle and Wang A (Gibbons–Penrose inequality for surfaces in Schwarzschild Spacetime. arXiv:1303.1863, 2013) find a sufficient condition for the validity of this Penrose inequality in terms of the geometry of the orthogonal projection of \({{\bf \mathcal{S}}}\) onto a constant time hyperplane. In this work, we study the geometry of hypersurfaces in n-dimensional Euclidean space which are normal graphs over other surfaces and relate the intrinsic and extrinsic geometry of the graph with that of the base hypersurface. These results are used to rewrite Brendle and Wang’s condition explicitly in terms of the time height function of \({{\bf \mathcal{S}}}\) over a hyperplane and the geometry of the projection of \({{\bf \mathcal{S}}}\) along its past null cone onto this hyperplane. We also include, in Appendix, a self-contained summary of known and new results on the geometry of projections along the Killing direction of codimension two-spacelike surfaces in a strictly static spacetime.     

Valuation Extensions of Algebras Defined by Monic Gr?bner Bases

Let K be a field, $\mathcal {O}_v$ a valuation ring of K associated to a valuation v: K → Γ?∪?{?∞?}, and m _v the unique maximal ideal of $\mathcal {O}_v$ . Consider an ideal $\mathcal {I}$ of the free K-algebra $K\langle X\rangle =K\langle X_1,...,X_n\rangle$ on X ₁,...,X _n . If ${\cal I}$ is generated by a subset $\mathcal {G}\subset{\cal O}_v\langle X\rangle$ which is a monic Gr?bner basis of ${\cal I}$ in $K\langle X\rangle$ , where $\mathcal {O}_v\langle X\rangle =\mathcal{O}_v\langle X_1,...,X_n\rangle$ is the free $\mathcal{O}_v$ -algebra on X ₁,...,X _n , then the valuation v induces naturally an exhaustive and separated Γ-filtration F ^v A for the K-algebra $A=K\langle X\rangle /\mathcal {I}$ , and moreover $\mathcal{I}\cap\mathcal{O}_v\langle X\rangle =\langle\mathcal{G}\rangle$ holds in $\mathcal{O}_v\langle X\rangle$ ; it follows that, if furthermore $\mathcal{G}\not\subset {\bf m}_v{O}_v\langle X\rangle$ and $k\langle X\rangle /\langle\overline{\mathcal G}\rangle$ is a domain, where $k=\mathcal{O}_v/{\bf m}_v$ is the residue field of $\mathcal{O}_v$ , $k\langle X\rangle =k\langle X_1,...,X_n\rangle$ is the free k-algebra on X ₁,...,X _n , and $\overline{\mathcal G}$ is the image of $\mathcal{G}$ under the canonical epimorphism $\mathcal{O}_v\langle X\rangle\rightarrow k\langle X\rangle$ , then F ^v A determines a valuation function A → Γ?∪?{?∞?}, and thereby v extends naturally to a valuation function on the (skew-)field Δ of fractions of A provided Δ exists.     

AW*-algebras Which are Enveloping C*-algebras of JC-algebras

In the given article, enveloping C*-algebras of AJW-algebras are considered. Conditions are given, when the enveloping C*-algebra of an AJW-algebra is an AW*-algebra, and corresponding theorems are proved. In particular, we proved that if $\mathcal{A}$ is a real AW*-algebra, $\mathcal{A}_{sa}$ is the JC-algebra of all self-adjoint elements of $\mathcal{A}$ , $\mathcal{A}+i\mathcal{A}$ is an AW*-algebra and $\mathcal{A}\cap i\mathcal{A} = \{0\}$ then the enveloping C*-algebra $C^*(\mathcal{A}_{sa})$ of the JC-algebra $\mathcal{A}_{sa}$ is an AW*-algebra. Moreover, if $\mathcal{A}+i\mathcal{A}$ does not have nonzero direct summands of type I₂, then $C^*(\mathcal{A}_{sa})$ coincides with the algebra $\mathcal{A}+i\mathcal{A}$ , i.e. $C^*(\mathcal{A}_{sa})= \mathcal{A}+i\mathcal{A}$ .     

Systems of variational inequalities in the context of optimal switching problems and operators of Kolmogorov type

In this paper we study the system $$\begin{aligned}&\min \biggl \{-\mathcal H u_i(x,t)-\psi _i(x,t),u_i(x,t)-\max _{j\ne i}(-c_{i,j}(x,t)+u_j(x,t))\biggr \}=0,\\&u_i(x,T)=g_i(x),\ i\in \{1,\ldots ,d\}, \end{aligned}$$ where \((x,t)\in \mathbb R ^{N}\times [0,T]\) . A special case of this type of system of variational inequalities with terminal data occurs in the context of optimal switching problems. We establish a general comparison principle for viscosity sub- and supersolutions to the system under mild regularity, growth, and structural assumptions on the data, i.e., on the operator \(\mathcal H \) and on continuous functions \(\psi _i\) , \(c_{i,j}\) , and \(g_i\) . A key aspect is that we make no sign assumption on the switching costs \(\{c_{i,j}\}\) and that \(c_{i,j}\) is allowed to depend on \(x\) as well as \(t\) . Using the comparison principle, the existence of a unique viscosity solution \((u_1,\ldots ,u_d)\) to the system is constructed as the limit of an increasing sequence of solutions to associated obstacle problems. Having settled the existence and uniqueness, we subsequently focus on regularity of \((u_1,\ldots ,u_d)\) beyond continuity. In this context, in particular, we assume that \(\mathcal H \) belongs to a class of second-order differential operators of Kolmogorov type of the form: $$\begin{aligned} \mathcal H =\sum _{i,j=1}^m a_{i,j}(x,t)\partial _{x_i x_j}+\sum _{i=1}^m a_i(x,t)\partial _{x_i} +\sum _{i,j=1}^N b_{i,j}x_i\partial _{x_j}+\partial _t, \end{aligned}$$ where \(1\le m\le N\) . The matrix \(\{a_{i,j}(x,t)\}_{i,j=1,\ldots ,m}\) is assumed to be symmetric and uniformly positive definite in \(\mathbb R ^m\) . In particular, uniform ellipticity is only assumed in the first \(m\) coordinate directions, and hence, \(\mathcal H \) may be degenerate.     

Some results on metric n-Lie algebras

We study the structure of a metric n-Lie algebra G over the complex field C. Let G = SR be the Levi decomposition, where R is the radical of G and S is a strong semisimple subalgebra of G. Denote by m(G) the number of all minimal ideals of an indecomposable metric n-Lie algebra and R ⊥ the orthogonal complement of R. We obtain the following results. As S-modules, R ⊥ is isomorphic to the dual module of G/R. The dimension of the vector space spanned by all nondegenerate invariant symmetric bilinear forms on G is equal to that of the vector space of certain linear transformations on G; this dimension is greater than or equal to m(G) + 1. The centralizer of R in G is equal to the sum of all minimal ideals; it is the direct sum of R ⊥ and the center of G. Finally, G has no strong semisimple ideals if and only if R⊥■R.     

Linear recurring sequences and subfield subcodes of cyclic codes

Linear recurring sequences over finite fields play an important role in coding theory and cryptography. It is known that subfield subcodes of linear codes yield some good codes. In this paper, we study linear recurring sequences and subfield subcodes. Let Mqm(f(x)) denote the set of all linear recurring sequences over Fqm with characteristic polynomial f(x) over Fqm . Denote the restriction of Mqm(f(x)) to sequences over Fq and the set after applying trace function to each sequence in Mqm(f(x)) by Mqm(f(x)) | Fq and Tr( Mqm(f(x))), respectively. It is shown that these two sets are both complete sets of linear recurring sequences over Fq with some characteristic polynomials over Fq. In this paper, we firstly determine the characteristic polynomials for these two sets. Then, using these results, we determine the generator polynomials of subfield subcodes and trace codes of cyclic codes over Fqm .     

The Cubic Complex Moment Problem

Let \({s = \{s_{jk}\}_{0 \leq j+k \leq 3}}\) be a given complex-valued sequence. The cubic complex moment problem involves determining necessary and sufficient conditions for the existence of a positive Borel measure \({\sigma}\) on \({\mathbb{C}}\) (called a representing measure for s) such that \({s_{jk} = \int_{\mathbb{C}}\bar{z}^j z^k d\sigma(z)}\) for \({0 \leq j + k \leq 3}\) . Put $$\Phi = \left(\begin{array}{lll} s_{00} & s_{01} & s_{10} \\s_{10} & s_{11} & s_{20} \\s_{01} & s_{02} & s_{11}\end{array}\right), \quad \Phi_z = \left(\begin{array}{lll}s_{01} & s_{02} & s_{11} \\s_{10} & s_{12} & s_{21} \\s_{02} & s_{03} & s_{12}\end{array} \right)\quad {\rm and}\quad\Phi_{\bar{z}} = (\Phi_z)^*.$$ If \({\Phi \succ 0}\) , then the commutativity of \({\Phi^{-1} \Phi_z}\) and \({\Phi^{-1} \Phi_{\bar{z}}}\) is necessary and sufficient for the existence a 3-atomic representing measure for s. If \({\Phi^{-1} \Phi_z}\) and \({\Phi^{-1} \Phi_{\bar{z}}}\) do not commute, then we show that s has a 4-atomic representing measure. The proof is constructive in nature and yields a concrete parametrization of all 4-atomic representing measures of s. Consequently, given a set \({K \subseteq \mathbb{C}}\) necessary and sufficient conditions are obtained for s to have a 4-atomic representing measure \({\sigma}\) which satisfies \({{\rm supp} \sigma \cap K \neq \emptyset}\) or \({{\rm supp} \sigma \subseteq K}\) . The cases when \({K = \overline{\mathbb{D}}}\) and \({K = \mathbb{T}}\) are considered in detail.     

Anderson’s Orthogonality Catastrophe for One-Dimensional Systems

The overlap, \({\mathcal{D}_N}\) , between the ground state of N free fermions and the ground state of N fermions in an external potential in one spatial dimension is given by a generalized Gram determinant. An upper bound is \({\mathcal{D}_N\leq\exp(-\mathcal{I}_N)}\) with the so-called Anderson integral \({\mathcal{I}_N}\) . We prove, provided the external potential satisfies some conditions, that in the thermodynamic limit \({\mathcal{I}_N = \gamma\ln N + O(1)}\) as \({N\to\infty}\) . The coefficient γ > 0 is given in terms of the transmission coefficient of the one-particle scattering matrix. We obtain a similar lower bound on \({\mathcal{D}_N}\) concluding that \({\tilde{C} N^{-\tilde{\gamma}} \leq \mathcal{D}_N \leq CN^{-\gamma}}\) with constants C, \({\tilde{C}}\) , and \({\tilde{\gamma}}\) . In particular, \({\mathcal{D}_N\to 0}\) as \({N\to\infty}\) which is known as Anderson’s orthogonality catastrophe.     

On additive representation functions of finite sets, I (Variation)

If m ∈ ?, ? _m is the additive group of the modulo m residue classes, $\mathcal{A} \subset \mathbb{Z}_m$ and n ∈ ?, ? _m , then let $R\left( {\mathcal{A},n} \right)$ denote the number of solutions of a+a′ = n with $a,a' \in \mathcal{A}$ . The variation $V(\mathcal{A}) = \mathop {\max }\limits_{n \in \mathbb{Z}_m } |R(\mathcal{A},n + 1) - R(\mathcal{A},n)|$ is estimated in terms of the number of a’s with $a - 1 \notin \mathcal{A}$ , $a \in \mathcal{A}$ .