Crystallographic number systems

We introduce the notion of crystallographic number systems, generalizing matrix number systems. Let Γ be a group of isometries of ${\mathbb{R}^d,g}$ an expanding affine mapping of ${\mathbb{R}^d}$ with ${g\circ\Gamma\circ g^{-1}\subset\Gamma}$ and ${\mathcal{D}\subset\Gamma}$ . We say that ${(\Gamma,g,\mathcal{D})}$ is a Γ-number system if every isometry ${\gamma\in \Gamma}$ has a unique expansion $$\gamma=g^n\delta_n g^{-n}\,g^{n-1}\delta_{n-1} g^{-(n-1)}\dots g\delta_{1} g^{-1}\,\delta_0,$$ for some ${n\in \mathbb{N}}$ and ${\delta_0,\ldots,\delta_n\in \mathcal{D}}$ . A tile can be attached to a Γ-number system. We show fundamental topological properties of this tile: they admit the fixed point of g as interior point and tesselate the space by the whole group Γ. Moreover, we give several examples, among them a class of p2-number systems, where p2 is the crystallographic group generated by the π-rotation and two independent translations.     

On a property of Abelian groups related to direct sums and products

Let T be an infinite set of prime numbers, $ \mathcal{M} $ be a set of groups $ \left\{ {\left. {\mathbb{Z}(p)} \right|p \in T} \right\} $ . An Abelian group A is said to be $ \mathcal{M} $ -large if $$ {\text{Hom}}\left( {A,\;\mathop { \bigoplus }\limits_{p \in T} \mathbb{Z}(p)} \right) = {\text{Hom}}\left( {A,\;\prod\limits_{p \in T} {\mathbb{Z}(p)} } \right). $$ This paper presents a characterization of $ \mathcal{M} $ -large torsion-free and mixed groups.     

A note on stable Teichmüller quasigeodesics

In this note, we prove that for a cobounded, Lipschitz path $\gamma: I\to{\mathcal T}$ in the Teichmüller space ${\mathcal T}$ of a hyperbolic surface, if the pull back bundle $\mathcal{H}_{\gamma}\to I$ of the cannonical ?²-bundle ${\mathcal H}\to{\mathcal T}$ is a strongly relatively hyperbolic metric space then there exists a geodesic ξ of ${\mathcal T}$ such that γ(I) and ξ are close to each other.     

Full regularity of a free boundary problem with two phases

Let ?? be a bounded domain in ${\mathbb{R}^{n}, n\geq2}$ . We use ${\mathcal{M}_{\Omega}}$ to denote the collection of all pairs of (A, u) such that ${A\subset\Omega}$ is a set of finite perimeter and ${u\in H^{1}\left( \Omega\right)}$ satisfies $$u\left( x\right) =0\quad\text{a.e.}x\in A.$$ We consider the energy functional $$E_{\Omega}\left( A,u\right) =\int\limits_{\Omega}\left\vert\triangledown u\right\vert ^{2}+P_{\Omega}\left( A\right)$$ defined on ${\mathcal{M}_{\Omega}}$ , where P _??(A) denotes the perimeter of A inside ??. Let ${\left( A,u\right)\in\mathcal{M}_{\Omega}}$ be a minimizer with volume constraint. Our main result is that when n????7, u is locally Lipschitz and the free boundary ?A is analytic in ??.     

Stability estimates for nonlinear hyperbolic problems with nonlinear Wentzell boundary conditions

Of concern is the nonlinear hyperbolic problem with nonlinear dynamic boundary conditions $$\left\{ \begin{array}{lll} u_{tt} ={\rm div} (\mathcal{A} \nabla u)-\gamma (x,u_t), && \quad {\rm in} \; (0, \infty) \times \Omega,\\ u(0, \cdot)=f, \, u_t(0,\cdot)=g, && \quad {\rm in}\; \Omega, \\ u_{tt} + \beta \partial^ \mathcal{A}_\nu u+c(x)u+ \delta (x,u_t)-q \beta \Lambda_{\rm LB} u=0,&& \quad {\rm on} \;(0, \infty ) \times \partial \Omega . \end{array}\right. $$ for t ≥  0 and ${x \in \Omega \subset \mathbb{R}^N}$ ; the last equation holds on the boundary ?Ω. Here ${\mathcal{A}= \{a_{ij}(x)\}_{ij}}$ is a real, hermitian, uniformly positive definite N × N matrix; ${\beta \in C(\partial \Omega)}$ , with β > 0; ${\gamma:\Omega \times \mathbb{R} \to \mathbb{R}; \delta:\partial \Omega \times \mathbb{R} \to \mathbb{R}; \,c:\partial \Omega \to \mathbb{R}; \, q \ge 0, \Lambda_{\rm LB}}$ is the Laplace–Beltrami operator on ?Ω, and ${\partial^\mathcal{A}_\nu u}$ is the conormal derivative of u with respect to ${\mathcal{A}}$ ; everything is sufficiently regular. We prove explicit stability estimates of the solution u with respect to the coefficients ${\mathcal{A},\,\beta,\,\gamma,\,\delta,\,c,\,q}$ , and the initial conditions f, g. Our arguments cover the singular case of a problem with q = 0 which is approximated by problems with positive q.     

Relative minimizers of energy are relative minimizers of area

Let Γ be a closed, regular Jordan curve in ${{\mathbb R}^3}$ which is of class C ^1,μ , 0 <  μ <  1, and denote by ${{\mathcal C}(\Gamma)}$ the class of the disk-type surfaces ${X : B \to {\mathbb R}^3}$ with continuous, monotonic boundary values, mapping ${\partial B}$ onto Γ. One easily sees that any minimal surface ${X \in {\mathcal C}(\Gamma)}$ is a relative minimizer of energy, i.e. of Dirichlet’s integral D, if it is a relative minimizer of the area functional A. Here we prove conversely: If an immersed ${X \in {\mathcal C}(\Gamma)}$ is a C ¹-relative minimizer of D in ${{\mathcal C}(\Gamma)}$ , then it also is a C ^1,μ -relative minimizer of A in ${{\mathcal C}(\Gamma)}$ .     

Interface foliation for an inhomogeneous Allen–Cahn equation in Riemannian manifolds

Let ${(\mathcal{M}, \tilde{g})}$ be an N-dimensional smooth compact Riemannian manifold. We consider the problem ${\varepsilon^2 \triangle_{\tilde{g}} \tilde{u} + V(\tilde{z})\tilde{u}(1-\tilde{u}^2)=0\; {\rm in}\; \mathcal{M}}$ , where ${\varepsilon > 0}$ is a small parameter and V is a positive, smooth function in ${\mathcal{M}}$ . Let ${\kappa \subset \mathcal{M}}$ be an (N ? 1)-dimensional smooth submanifold that divides ${\mathcal{M}}$ into two disjoint components ${\mathcal{M}_{\pm}}$ . We assume κ is stationary and non-degenerate relative to the weighted area functional ${\int_{\kappa}V^{\frac{1}{2}}}$ . For each integer m ≥ 2, we prove the existence of a sequence ${\varepsilon = \varepsilon_\ell \rightarrow 0}$ , and two opposite directional solutions with m-transition layers near κ, whose mutual distance is ${{\rm O}(\varepsilon | \log \varepsilon | )}$ . Moreover, the interaction between neighboring layers is governed by a type of Jacobi–Toda system.     

A Hilbert Module Approach to the Haagerup Property

We develop a Hilbert module version of the Haagerup property for general C*-algebras ${{\mathcal{A} \subseteq \mathcal{B}}}$ . We show that if ${\alpha : \Gamma \curvearrowright \mathcal{A}}$ is an action of a countable discrete group Γ on a unital C*-algebra ${\mathcal{A}}$ , then the reduced C*-algebra crossed product ${\Gamma \ltimes _{\alpha, r} \mathcal{A}}$ has the Hilbert ${\mathcal{A}}$ -module Haagerup property if and only if the action α has the Haagerup property. We are particularly interested in the case when ${\mathcal{A} = C(X)}$ is a unital commutative C*-algebra. We compare the Haagerup property of such an action ${\alpha: \Gamma \curvearrowright C(X)}$ with the two special cases when (1) Γ has the Haagerup property and (2) Γ is coarsely embeddable into a Hilbert space. We also prove a contractive Schur mutiplier characterization for groups coarsely embeddable into a Hilbert space, and a uniformly bounded Schur multiplier characterization for exact groups.     

Convergence to steady states of solutions to nonlinear integral evolution equations

We prove that any global bounded solution of the nonlinear evolutionary integral equation $$\dot{u}(t) + \int\limits_0^t a(t-s)\mathcal{E}'(u(s))ds =f(t), \quad t >0 $$ tends to a single equilibrium state for long time (i.e., ${\mathcal{E}'(\vartheta)=0}$ where ${\vartheta= \lim_{t \rightarrow \infty} u(t)}$ on a real Hilbert space), where ${\mathcal{E}'}$ is the Fréchet derivative of a functional ${\mathcal{E}}$ , which satisfies the ?ojasiewicz?CSimon inequality near ${\vartheta}$ . The vector-valued function f and the scalar kernel a satisfy suitable conditions.     

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.     

On the unique representation of very strong algebraic geometry codes

This paper addresses the question of retrieving the triple ${(\mathcal X,\mathcal P, E)}$ from the algebraic geometry code ${\mathcal C = \mathcal C_L(\mathcal X, \mathcal P, E)}$ , where ${\mathcal X}$ is an algebraic curve over the finite field ${\mathbb F_q, \,\mathcal P}$ is an n-tuple of ${\mathbb F_q}$ -rational points on ${\mathcal X}$ and E is a divisor on ${\mathcal X}$ . If ${\deg(E)\geq 2g+1}$ where g is the genus of ${\mathcal X}$ , then there is an embedding of ${\mathcal X}$ onto ${\mathcal Y}$ in the projective space of the linear series of the divisor E. Moreover, if ${\deg(E)\geq 2g+2}$ , then ${I(\mathcal Y)}$ , the vanishing ideal of ${\mathcal Y}$ , is generated by ${I_2(\mathcal Y)}$ , the homogeneous elements of degree two in ${I(\mathcal Y)}$ . If ${n >2 \deg(E)}$ , then ${I_2(\mathcal Y)=I_2(\mathcal Q)}$ , where ${\mathcal Q}$ is the image of ${\mathcal P}$ under the map from ${\mathcal X}$ to ${\mathcal Y}$ . These three results imply that, if ${2g+2\leq m < \frac{1}{2}n}$ , an AG representation ${(\mathcal Y, \mathcal Q, F)}$ of the code ${\mathcal C}$ can be obtained just using a generator matrix of ${\mathcal C}$ where ${\mathcal Y}$ is a normal curve in ${\mathbb{P}^{m-g}}$ which is the intersection of quadrics. This fact gives us some clues for breaking McEliece cryptosystem based on AG codes provided that we have an efficient procedure for computing and decoding the representation obtained.     

Atomic intersection of σ-fields and some of its consequences

Let ${(\Omega, \mathcal{F}, P)}$ be a probability space. For each ${\mathcal{G}\subset\mathcal{F}}$ , define ${\overline{\mathcal{G}}}$ as the σ-field generated by ${\mathcal{G}}$ and those sets ${F\in \mathcal{F}}$ satisfying ${P(F)\in\{0,1\}}$ . Conditions for P to be atomic on ${\cap_{i=1}^k\overline{\mathcal{A}_i}}$ , with ${\mathcal{A }_1,\ldots,\mathcal{A}_k\subset\mathcal{F}}$ sub-σ-fields, are given. Conditions for P to be 0-1-valued on ${\cap_{i=1}^k \overline{\mathcal{A}_i}}$ are given as well. These conditions are useful in various fields, including Gibbs sampling, iterated conditional expectations and the intersection property.     

Howe correspondence and Springer correspondence for real reductive dual pairs

We consider a real reductive dual pair (G′, G) of type I, with rank ${({\rm G}^{\prime}) \leq {\rm rank(G)}}$ . Given a nilpotent coadjoint orbit ${\mathcal{O}^{\prime} \subseteq \mathfrak{g}^{{\prime}{*}}}$ , let ${\mathcal{O}^{\prime}_\mathbb{C} \subseteq \mathfrak{g}^{{\prime}{*}}_\mathbb{C}}$ denote the complex orbit containing ${\mathcal{O}^{\prime}}$ . Under some condition on the partition λ′ parametrizing ${\mathcal{O}^{\prime}}$ , we prove that, if λ is the partition obtained from λ by adding a column on the very left, and ${\mathcal{O}}$ is the nilpotent coadjoint orbit parametrized by λ, then ${\mathcal{O}_\mathbb{C}= \tau (\tau^{\prime -1}(\mathcal{O}_\mathbb{C}^{\prime}))}$ , where ${\tau, \tau^{\prime}}$ are the moment maps. Moreover, if ${chc(\hat\mu_{\mathcal{O}^{\prime}}) \neq 0}$ , where chc is the infinitesimal version of the Cauchy-Harish-Chandra integral, then the Weyl group representation attached by Wallach to ${\mu_{\mathcal{O}^{\prime}}}$ with corresponds to ${\mathcal{O}_\mathbb{C}}$ via the Springer correspondence.     

Irregular and Singular Loci of Commuting Varieties

Let $ {\user1{\mathcal{C}}} $ be the commuting variety of the Lie algebra $ \mathfrak{g} $ of a connected noncommutative reductive algebraic group G over an algebraically closed field of characteristic zero. Let $ {\user1{\mathcal{C}}}^{{{\text{sing}}}} $ be the singular locus of $ {\user1{\mathcal{C}}} $ and let $ {\user1{\mathcal{C}}}^{{{\text{irr}}}} $ be the locus of points whose G-stabilizers have dimension > rk G. We prove that: (a) $ {\user1{\mathcal{C}}}^{{{\text{sing}}}} $ is a nonempty subset of $ {\user1{\mathcal{C}}}^{{{\text{irr}}}} $ ; (b) $ {\text{codim}}_{{\user1{\mathcal{C}}}} \,{\user1{\mathcal{C}}}^{{{\text{irr}}}} = 5 - {\text{max}}\,l{\left( \mathfrak{a} \right)} $ where the maximum is taken over all simple ideals $ \mathfrak{a} $ of $ \mathfrak{g} $ and $ l{\left( \mathfrak{a} \right)} $ is the “lacety” of $ \mathfrak{a} $ ; and (c) if $ \mathfrak{t} $ is a Cartan subalgebra of $ \mathfrak{g} $ and $ \alpha \in \mathfrak{t}^{*} $ root of $ \mathfrak{g} $ with respect to $ \mathfrak{t} $ , then $ \overline{{G{\left( {{\text{Ker}}\,\alpha \times {\text{Ker }}\alpha } \right)}}} $ is an irreducible component of $ {\user1{\mathcal{C}}}^{{{\text{irr}}}} $ of codimension 4 in $ {\user1{\mathcal{C}}} $ . This yields the bound $ {\text{codim}}_{{\user1{\mathcal{C}}}} \,{\user1{\mathcal{C}}}^{{{\text{sing}}}} \geqslant 5 - {\text{max}}\,l{\left( \mathfrak{a} \right)} $ and, in particular, $ {\text{codim}}_{{\user1{\mathcal{C}}}} \,{\user1{\mathcal{C}}}^{{{\text{sing}}}} \geqslant 2 $ . The latter may be regarded as an evidence in favor of the known longstanding conjecture that $ {\user1{\mathcal{C}}} $ is always normal. We also prove that the algebraic variety $ {\user1{\mathcal{C}}} $ is rational.     

Derived semidistributive lattices

For L a finite lattice, let ${\mathbb {C}(L) \subseteq L^2}$ denote the set of pairs γ = (γ ₀, γ ₁) such that ${\gamma_0 \prec \gamma_1}$ and order it as followsγ ≤ δ iff γ ₀ ≤ δ ₀, ${\gamma_{1} \nleq \delta_0,}$ and γ ₁ ≤ δ ₁. Let ${\mathbb {C}(L, \gamma)}$ denote the connected component of γ in this poset. Our main result states that, for any ${\gamma, \mathbb {C}(L, \gamma)}$ is a semidistributive lattice if L is semidistributive, and that ${\mathbb {C}(L, \gamma)}$ is a bounded lattice if L is bounded. Let ${\mathcal{S}_{n}}$ be the Permutohedron on n letters and let ${\mathcal{T}_{n}}$ be the Associahedron on n + 1 letters. Explicit computations show that ${\mathbb {C}(\mathcal{S}_{n}, \alpha) = \mathcal{S}_{n-1}}$ and ${\mathbb {C}(\mathcal {T}_n, \alpha) = \mathcal {T}_{n-1}}$ , up to isomorphism, whenever α1 is an atom of ${\mathcal{S}_{n}}$ or ${\mathcal{T}_{n}}$ . These results are consequences of new characterizations of finite join-semidistributive and of finite lower bounded lattices: (i) a finite lattice is join-semidistributive if and only if the projection sending ${\gamma \in \mathbb {C}(L)}$ to ${\gamma_0 \in L}$ creates pullbacks, (ii) a finite join-semidistributive lattice is lower bounded if and only if it has a strict facet labelling. Strict facet labellings, as defined here, are a generalization of the tools used by Caspard et al. to prove that lattices of finite Coxeter groups are bounded.     

Characterization of (generalized) Lie derivations on {\mathcal{J}}-subspace lattice algebras by local action

Let ${\mathcal{L}}$ be a ${\mathcal{J}}$ -subspace lattice on a Banach space X over the real or complex field ${\mathbb{F}}$ with dim X ≥ 2 and Alg ${\mathcal{L}}$ be the associated ${\mathcal{J}}$ -subspace lattice algebra. For any scalar ${\xi \in \mathbb{F}}$ , there is a characterization of any linear map L : Alg ${\mathcal{L} \rightarrow {\rm Alg} {\mathcal{L}}}$ satisfying ${L([A,B]_\xi) = [L(A),B]_\xi + [A,L(B)]_\xi}$ for any ${A, B \in{\rm Alg} {\mathcal{L}}}$ with AB = 0 (rep. ${[A,B]_ \xi = AB - \xi BA = 0}$ ) given. Based on these results, a complete characterization of (generalized) ξ-Lie derivations for all possible ξ on Alg ${\mathcal{L}}$ is obtained.     

Height of a Superposition

We observe that, given a poset ${\left( {E,{\user1{\mathcal{R}}}} \right)}$ and a finite covering ${\user1{\mathcal{R}}} = {\user1{\mathcal{R}}}_{1} \cup \cdots \cup {\user1{\mathcal{R}}}_{n} $ of its ordering, the height of the poset does not exceed the natural product of the heights of the corresponding sub-relations: $$\mathfrak{h}{\left( {E,{\user1{\mathcal{R}}}} \right)} \leqslant \mathfrak{h}{\left( {E,{\user1{\mathcal{R}}}_{1} } \right)} \otimes \cdots \otimes \mathfrak{h}{\left( {E,{\user1{\mathcal{R}}}_{n} } \right)}.$$ Conversely for every finite sequence $(\xi_1,\cdots,\xi_n)$ of ordinals, every poset ${\left( {E,{\user1{\mathcal{R}}}} \right)}$ of height at most $\xi_1\otimes\cdots\otimes\xi_n$ admits a partition ${\left( {{\user1{\mathcal{R}}}_{1} , \cdots ,{\user1{\mathcal{R}}}_{n} } \right)}$ of its ordering ${\user1{\mathcal{R}}}$ such that each ${\left( {E,{\user1{\mathcal{R}}}_{k} } \right)}$ has height at most $\xi_k$ . In particular for every finite sequence $(\xi_1,\cdots,\xi_n)$ of ordinals, the ordinal $$\xi _{1} \underline{ \otimes } \cdots \underline{ \otimes } \xi _{n} : = \sup {\left\{ {{\left( {\xi ^{\prime }_{1} \otimes \cdots \otimes \xi ^{\prime }_{n} } \right)} + 1:\xi ^{\prime }_{1} < \xi _{1} , \cdots ,\xi ^{\prime }_{n} < \xi _{n} } \right\}}$$ is the least $\xi$ for which the following partition relation holds $$\mathfrak{H}_{\xi } \to {\left( {\mathfrak{H}_{{\xi _{1} }} , \cdots ,\mathfrak{H}_{{\xi _{n} }} } \right)}^{2} $$ meaning: for every poset ${\left( {A,{\user1{\mathcal{R}}}} \right)}$ of height at least $\xi$ and every finite covering ${\left( {{\user1{\mathcal{R}}}_{1} , \cdots ,{\user1{\mathcal{R}}}_{n} } \right)}$ of its ordering ${\user1{\mathcal{R}}}$ , there is a $k$ for which the relation ${\left( {A,{\user1{\mathcal{R}}}_{k} } \right)}$ has height at least $\xi_k$ . The proof will rely on analogue properties of vertex coverings w.r.t. the natural sum.     

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}$ .