Remarks on exceptional points and differentiation bases

In spite of the Lebesgue density theorem, there is a positive \({\delta}\) such that, for every measurable set \({A \subset \mathbb{R}}\) with \({\lambda (A) > 0}\) and \({\lambda (\mathbb{R} \setminus A) > 0}\), there is a point at which both the lower densities of \({A}\) and of the complement of \({A}\) are at least \({\delta}\). The problem of determining the supremum of possible values of this \({\delta}\) was studied by V. I. Kolyada, A. Szenes and others. It seems that the authors considered this quantity a feature of density. We show that it is connected rather with a choice of a differentiation basis.     

The $${\varphi}$$-Brunn–Minkowski inequality

For strictly increasing concave functions \({\varphi}\) whose inverse functions are log-concave, the \({\varphi}\)-Brunn–Minkowski inequality for planar convex bodies is established. It is shown that for convex bodies in \({\mathbb{R}^n}\) the \({\varphi}\)-Brunn–Minkowski is equivalent to the \({\varphi}\)-Minkowski mixed volume inequalities.     

{\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.     

Endomorphism rings of some Young modules

Let \({\Sigma_r}\) be the symmetric group acting on \({r}\) letters, \({K}\) be a field of characteristic 2, and \({\lambda}\) and \({\mu}\) be partitions of \({r}\) in at most two parts. Denote the permutation module corresponding to the Young subgroup \({\Sigma_\lambda}\), in \({\Sigma_r}\), by \({M^\lambda}\), and the indecomposable Young module by \({Y^\mu}\). We give an explicit presentation of the endomorphism algebra \({{\rm End}_{k[\Sigma_r]}(Y^\mu)}\) using the idempotents found by Doty et al. (J Algebra 307(1):377–396, 2007).     

Partial permutation decoding for binary linear and $$Z_4$$-linear Hadamard codes

In this paper, s-\({\text {PD}}\)-sets of minimum size \(s+1\) for partial permutation decoding for the binary linear Hadamard code \(H_m\) of length \(2^m\), for all \(m\ge 4\) and \(2 \le s \le \lfloor {\frac{2^m}{1+m}}\rfloor -1\), are constructed. Moreover, recursive constructions to obtain s-\({\text {PD}}\)-sets of size \(l\ge s+1\) for \(H_{m+1}\) of length \(2^{m+1}\), from an s-\({\text {PD}}\)-set of the same size for \(H_m\), are also described. These results are generalized to find s-\({\text {PD}}\)-sets for the \({\mathbb {Z}}_4\)-linear Hadamard codes \(H_{\gamma , \delta }\) of length \(2^m\), \(m=\gamma +2\delta -1\), which are binary Hadamard codes (not necessarily linear) obtained as the Gray map image of quaternary linear codes of type \(2^\gamma 4^\delta \). Specifically, s-PD-sets of minimum size \(s+1\) for \(H_{\gamma , \delta }\), for all \(\delta \ge 3\) and \(2\le s \le \lfloor {\frac{2^{2\delta -2}}{\delta }}\rfloor -1\), are constructed and recursive constructions are described.     

Generalized {G_\delta}-submaximal spaces

We study some properties of generalized submaximal spaces and introduce the notion of generalized door spaces. Furthermore we extend these notions to generalized \({G_\delta}\)-submaximal spaces by replacing \({\mu}\)-open sets by \({\mu-G_\delta}\)-sets and consider some of their properties.     

Improved bounds on the diameter of lattice polytopes

We show that the largest possible diameter \({\delta(d,k)}\) of a d-dimensional polytope whose vertices have integer coordinates ranging between 0 and k is at most \({kd - \lceil2d/3\rceil-(k-3)}\) when \({k\geq3}\) . In addition, we show that \({\delta(4,3)=8}\) . This substantiates the conjecture whereby \({\delta(d,k)}\) is at most \({\lfloor(k+1)d/2\rfloor}\) and is achieved by a Minkowski sum of lattice vectors.     

Some remarks on energy inequalities for harmonic maps with potential

We call the \({\delta}\)-vector of an integral convex polytope of dimension d flat if the \({\delta}\)-vector is of the form \({(1,0,\ldots,0,a,\ldots,a,0,\ldots,0)}\), where \({a \geq 1}\). In this paper, we give the complete characterization of possible flat \({\delta}\)-vectors. Moreover, for an integral convex polytope \({\mathcal{P}\subset \mathbb{R}^N}\) of dimension d, we let \({i(\mathcal{P},n)=|n\mathcal{P}\cap \mathbb{Z}^N|}\) and \({i^*(\mathcal{P},n)=|n(\mathcal{P} {\setminus}\partial \mathcal{P})\cap \mathbb{Z}^N|}\). By this characterization, we show that for any \({d \geq 1}\) and for any \({k,\ell \geq 0}\) with \({k+\ell \leq d-1}\), there exist integral convex polytopes \({\mathcal{P}}\) and \({\mathcal{Q}}\) of dimension d such that (i) For \({t=1,\ldots,k}\), we have \({i(\mathcal{P},t)=i(\mathcal{Q},t),}\) (ii) For \({t=1,\ldots,\ell}\), we have \({i^*(\mathcal{P},t)=i^*(\mathcal{Q},t)}\), and (iii) \({i(\mathcal{P},k+1) \neq i(\mathcal{Q},k+1)}\) and \({i^*(\mathcal{P},\ell+1)\neq i^*(\mathcal{Q},\ell+1)}\).     

Rank two aCM bundles on general determinantal quartic surfaces in $${\mathbb {P}^{3}}$$

Let \(F\subseteq {\mathbb {P}^{3}}\) be a smooth determinantal quartic surface which is general in the Nöther–Lefschetz sense. In the present paper we give a complete classification of locally free sheaves \({\mathcal E}\) of rank 2 on F such that \(h^1(F,{\mathcal E}(th))=0\) for \(t\in \mathbb {Z}\).     

Complex homomorphisms on self-conjugate algebras of functions

Let X be a non-void set and A be a subalgebra of \({\mathbb{C}^{X}}\) . We call a \({\mathbb{C}}\) -linear functional \({\varphi}\) on A a 1-evaluation if \({\varphi(f) \in f(X) }\) for all \({f\in A}\) . From the classical Gleason–Kahane–?elazko theorem, it follows that if X in addition is a compact Hausdorff space then a mapping \({\varphi}\) of \({C_{\mathbb{C}}(X) }\) into \({\mathbb{C}}\) is a 1-evaluation if and only if \({\varphi}\) is a \({\mathbb{C}}\) -homomorphism. In this paper, we aim to investigate the extent to which this equivalence between 1-evaluations and \({\mathbb{C}}\) -homomorphisms can be generalized to a wider class of self-conjugate subalgebras of \({\mathbb{C}^{X}}\) . In this regards, we prove that a \({\mathbb{C}}\) -linear functional on a self-conjugate subalgebra A of \({\mathbb{C}^{X}}\) is a positive \({\mathbb{C}}\) -homomorphism if and only if \({\varphi}\) is a \({\overline{1}}\) -evaluation, that is, \({\varphi(f) \in\overline{f\left(X\right)}}\) for all \({f\in A}\) . As consequences of our general study, we prove that 1-evaluations and \({\mathbb{C}}\) -homomorphisms on \({C_{\mathbb{C}}\left( X\right)}\) coincide for any topological space X and we get a new characterization of realcompact topological spaces.     

On the Convergence to Equilibrium of Unbounded Observables Under a Family of Intermittent Interval Maps

We consider a family \({\{T_{r}: [0, 1] \circlearrowleft \}_{r\in[0, 1]}}\) of Markov interval maps interpolating between the tent map \({T_{0}}\) and the Farey map \({T_{1}}\). Letting \({\mathcal{P}_{r}}\) denote the Perron–Frobenius operator of \({T_{r}}\), we show, for \({\beta \in [0, 1]}\) and \({\alpha \in (0, 1)}\), that the asymptotic behaviour of the iterates of \({\mathcal{P}_{r}}\) applied to observables with a singularity at \({\beta}\) of order \({\alpha}\) is dependent on the structure of the \({\omega}\)-limit set of \({\beta}\) with respect to \({T_{r}}\). The results presented here are some of the first to deal with convergence to equilibrium of observables with singularities.     

Continuity of the first eigenvalue for a family of degenerate eigenvalue problems

For each \({\alpha\in[0,2)}\) we consider the eigenvalue problem \({-{\rm div}(|x|^\alpha \nabla u)=\lambda u}\) in a bounded domain \({\Omega\subset \mathbb{R}^N}\) (\({N\geq 2}\)) with smooth boundary and \({0\in \Omega}\) subject to the homogeneous Dirichlet boundary condition. Denote by \({\lambda_1(\alpha)}\) the first eigenvalue of this problem. Using \({\Gamma}\)-convergence arguments we prove the continuity of the function \({\lambda_1}\) with respect to \({\alpha}\) on the interval \({[0,2)}\).     

Nonarchimedean Green functions and dynamics on projective space

Let \({\varphi: \mathbb{P}^N_K\to\mathbb{P}^N_K}\) be a morphism of degree d ≥ 2 defined over a field K that is algebraically closed field and complete with respect to a nonarchimedean absolute value. We prove that a modified Green function \({\hat{g}_\varphi}\) associated to \({\varphi}\) is Hölder continuous on \({\mathbb{P}^N(K)}\) and that the Fatou set \({\mathcal{F}(\varphi)}\) of \({\varphi}\) is equal to the set of points at which \({\hat{g}_\Phi}\) is locally constant. Further, \({\hat{g}_\varphi}\) vanishes precisely on the set of points P such that \({\varphi}\) has good reduction at every point in the forward orbit \({\mathcal{O}_\varphi(P)}\) of P. We also prove that the iterates of \({\varphi}\) are locally uniformly Lipschitz on \({\mathcal{F}(\varphi)}\) .     

Clusters of varieties of completely regular semigroups

The class \({\mathcal{CR}}\) of completely regular semigroups equipped with the unary operation of inversion forms a variety whose lattice of subvarieties is denoted by \({\mathcal{L(CR)}}\). The variety \({\mathcal B}\) of all bands induces two relations \({\mathbf{B}^{\land}}\) and \({\mathbf{B}^{\lor} }\) by meet and join with \({\mathcal B}\). Their classes are intervals with lower ends \({\mathcal V_{B^{\land}}}\) and \({\mathcal V_{B^{\lor}}}\), and upper ends \({\mathcal V^{B^{\land}}}\) and \({\mathcal V^{B^{\lor}}}\). These objects induce four operators on \({\mathcal{L(CR)}}\).The cluster at a variety \({\mathcal V}\) is the set of all varieties obtained from \({\mathcal V}\) by repeated application of these four operators. We identify the cluster at any variety in \({\mathcal{L(CR)}}\).     

An additive ($${\alpha, \beta}$$)-functional equation and linear mappings in Banach spaces

In this paper, we investigate the additive (\({\alpha, \beta}\))-functional equation \({f(x+y) + \bar{\alpha}f({\alpha}z) = \beta^{-1}f(\beta(x+y+z))}\) for all complex numbers \({\alpha}\) with \({|\alpha| = 1}\) and for a fixed nonzero complex number \({\beta}\). Using the fixed point method and the direct method, we prove the Hyers–Ulam stability of this additive (\({\alpha, \beta}\))-functional equation in complex Banach spaces.     

Reducing Subspaces of Multiplication Operators on the Dirichlet Space

In this paper, we study the reducing subspaces for the multiplication operator by a finite Blaschke product \({\phi}\) on the Dirichlet space D. We prove that any two distinct nontrivial minimal reducing subspaces of \({M_\phi}\) are orthogonal. When the order n of \({\phi}\) is 2 or 3, we show that \({M_\phi}\) is reducible on D if and only if \({\phi}\) is equivalent to \({z^n}\). When the order of \({\phi}\) is 4, we determine the reducing subspaces for \({M_\phi}\), and we see that in this case \({M_\phi}\) can be reducible on D when \({\phi}\) is not equivalent to \({z^4}\). The same phenomenon happens when the order n of \({\phi}\) is not a prime number. Furthermore, we show that \({M_\phi}\) is unitarily equivalent to \({M_{z^n} (n > 1)}\) on D if and only if \({\phi = az^n}\) for some unimodular constant a.     

Asymptotics for Erdős–Solovej Zero Modes in Strong Fields

We consider the strong field asymptotics for the occurrence of zero modes of certain Weyl–Dirac operators on \({\mathbb{R}^3}\). In particular, we are interested in those operators \({\mathcal{D}_B}\) for which the associated magnetic field \({B}\) is given by pulling back a two-form \({\beta}\) from the sphere \({\mathbb{S}^2}\) to \({\mathbb{R}^3}\) using a combination of the Hopf fibration and inverse stereographic projection. If \({\int_{\mathbb{s}^2} \beta \neq 0}\), we show that

$$\sum_{0 \leq t \leq T} {\rm dim Ker} \mathcal{D}{tB}=\frac{T^2}{8\pi^2}\,\Big| \int_{\mathbb{S}^2}\beta\Big|\,\int_{\mathbb{S}^2}|{\beta}| +o(T^2)$$

as \({T\to+\infty}\). The result relies on Erd?s and Solovej’s characterisation of the spectrum of \({\mathcal{D}_{tB}}\) in terms of a family of Dirac operators on \({\mathbb{S}^2}\), together with information about the strong field localisation of the Aharonov–Casher zero modes of the latter.

     

{{C^m}} Positive Eigenvectors for Linear Operators Arising in the Computation of Hausdorff Dimension

We consider a broad class of linear Perron–Frobenius operators \({\Lambda:X \rightarrow X}\), where \({X}\) is a real Banach space of \({C^m}\) functions. We prove the existence of a strictly positive \({C^m}\) eigenvector \({v}\) with eigenvalue \({r=r(\Lambda) =}\) the spectral radius of \({\Lambda}\). We prove (see Theorem 6.5 in Sect. 6 of this paper) that \({r(\Lambda)}\) is an algebraically simple eigenvalue and that, if \({\sigma(\Lambda)}\) denotes the spectrum of the complexification of \({\Lambda,\sigma(\Lambda) \backslash \{r(\Lambda)\}\subseteq \{\zeta \in \mathbb{C} \big| |\zeta| \le r_*\}}\), where \({r_* < r(\Lambda)}\). Furthermore, if \({u \in X}\) is any strictly positive function, \({(\frac 1r \Lambda)^k(u) \rightarrow s_u v}\) as \({k \rightarrow \infty}\), where \({s_u > 0}\) and convergence is in the norm topology on \({X}\). In applications to the computation of Hausdorff dimension, one is given a parametrized family \({\Lambda_s,s > s_*}\), of such operators and one wants to determine the (unique) value \({s_0}\) such that \({r(\Lambda_{s_0})=1}\). In another paper (Falk and Nussbaum in C\({^{\rm m}}\) Eigenfunctions of Perron–Frobenius operators and a new approach to numerical computation of Hausdorff dimension, submitted) we prove that explicit estimates on the partial derivatives of the positive eigenvector \({v_s}\) of \({\Lambda_s}\) can be obtained and that this information can be used to give rigorous, sharp upper and lower bounds for \({s_0}\).     

Local Inverse Scattering at a Fixed Energy for Radial Schrödinger Operators and Localization of the Regge Poles

We study inverse scattering problems at a fixed energy for radial Schrödinger operators on \({\mathbb{R}^n}\), \({n \geq 2}\). First, we consider the class \({\mathcal{A}}\) of potentials q(r) which can be extended analytically in \({\Re z \geq 0}\) such that \({\mid q(z)\mid \leq C \ (1+ \mid z \mid )^{-\rho}}\), \({\rho > \frac{3}{2}}\). If q and \({\tilde{q}}\) are two such potentials and if the corresponding phase shifts \({\delta_l}\) and \({\tilde{\delta}_l}\) are super-exponentially close, then \({q=\tilde{q}}\). Second, we study the class of potentials q(r) which can be split into q(r) = q ₁(r) + q ₂(r) such that q ₁(r) has compact support and \({q_2 (r) \in \mathcal{A}}\). If q and \({\tilde{q}}\) are two such potentials, we show that for any fixed \({a>0, {\delta_l - \tilde{\delta}_l \ = \ o \left(\frac{1}{l^{n-3}}\ \left({\frac{ae}{2l}}\right)^{2l}\right)}}\) when \({l \rightarrow +\infty}\) if and only if \({q(r)=\tilde{q}(r)}\) for almost all \({r \geq a}\). The proofs are close in spirit with the celebrated Borg–Marchenko uniqueness theorem, and rely heavily on the localization of the Regge poles that could be defined as the resonances in the complexified angular momentum plane. We show that for a non-zero super-exponentially decreasing potential, the number of Regge poles is always infinite and moreover, the Regge poles are not contained in any vertical strip in the right-half plane. For potentials with compact support, we are able to give explicitly their asymptotics. At last, for potentials which can be extended analytically in \({\Re z \geq 0}\) with \({\mid q(z)\mid \leq C (1+ \mid z \mid)^{-\rho}}\), \({\rho >1}\), we show that the Regge poles are confined in a vertical strip in the complex plane.