Number theoretic applications of a class of Cantor series fractal functions. I

Suppose that \({{(P, Q) \in {\mathbb{N}_{2}^\mathbb{N}} \times {\mathbb{N}_{2}^\mathbb{N}}}}\) and x = E ₀.E ₁ E ₂ · · · is the P-Cantor series expansion of \({x \in \mathbb{R}}\) . We define $$\psi_{P,Q}(x) := {\sum_{n=1}^{\infty}} \frac{{\rm min}(E_n, q_{n}-1)}{q_1 \cdots q_n}.$$ The functions \({\psi_{P,Q}}\) are used to construct many pathological examples of normal numbers. These constructions are used to give the complete containment relation between the sets of Q-normal, Q-ratio normal, and Q-distribution normal numbers and their pairwise intersections for fully divergent Q that are infinite in limit. We analyze the Hölder continuity of \({\psi_{P,Q}}\) restricted to some judiciously chosen fractals. This allows us to compute the Hausdorff dimension of some sets of numbers defined through restrictions on their Cantor series expansions. In particular, the main theorem of a paper by Y. Wang et al. [29] is improved. Properties of the functions \({\psi_{P,Q}}\) are also analyzed. Multifractal analysis is given for a large class of these functions and continuity is fully characterized. We also study the behavior of \({\psi_{P,Q}}\) on both rational and irrational points, monotonicity, and bounded variation. For different classes of ergodic shift invariant Borel probability measures \({\mu_1}\) and \({\mu_2}\) on \({{\mathbb{N}_2^\mathbb{N}}}\) , we study which of these properties \({\psi_{P,Q}}\) satisfies for \({\mu_1 \times \mu_2}\) -almost every (P,Q) \({{\in {\mathbb{N}_{2}^{\mathbb{N}}} \times {\mathbb{N}_{2}^{\mathbb{N}}}}}\) . Related classes of random fractals are also studied.     

A Remark on The Geometry of Spaces of Functions with Prime Frequencies

For any positive integer r, denote by \({\mathcal{P}_{r}}\) the set of all integers \({\gamma \in \mathbb{Z}}\) having at most r prime divisors. We show that \({C_{\mathcal{P}_{r}}(\mathbb{T})}\) , the space of all continuous functions on the circle \({\mathbb{T}}\) whose Fourier spectrum lies in \({\mathcal{P}_{r}}\) , contains a complemented copy of \({\ell^{1}}\) . In particular, \({C_{\mathcal{P}_{r}}(\mathbb{T})}\) is not isomorphic to \({C(\mathbb{T})}\) , nor to the disc algebra \({A(\mathbb{D})}\) . A similar result holds in the L ¹ setting.     

Stability of a conditional Cauchy equation on a set of measure zero

In this paper, we prove the Hyers–Ulam stability theorem when \({f, g, h : \mathbb{R} \to \mathbb{R}}\) satisfy $$|f(x + y) - g(x) - h(y)| \leq \epsilon$$ in a set \({\Gamma \subset \mathbb{R}^{2}}\) of measure \({m(\Gamma) = 0}\) , which refines a previous result in Chung (Aequat Math 83:313–320, 2012) and gives an affirmative answer to the question in the paper. As a direct consequence we obtain that if \({f, g, h : \mathbb{R} \to \mathbb{R}}\) satisfy the Pexider equation $$f(x + y) - g(x) - h(y) = 0$$ in \({\Gamma}\) , then the equation holds for all \({x, y \in \mathbb{R}}\) . Using our method of construction of the set, we can find a set \({\Gamma \subset \mathbb{R}^{2n}}\) of 2n-dimensional measure 0 and obtain the above result for the functions \({f, g, h : \mathbb{R}^{n} \to \mathbb{C}}\) .     

Weak theories of concatenation and minimal essentially undecidable theories

We consider weak theories of concatenation, that is, theories for strings or texts. We prove that the theory of concatenation \({\mathsf{WTC}^{-\varepsilon}}\) , which is a weak subtheory of Grzegorczyk’s theory \({\mathsf{TC}^{-\varepsilon}}\) , is a minimal essentially undecidable theory, that is, the theory \({\mathsf{WTC}^{-\varepsilon}}\) is essentially undecidable and if one omits an axiom scheme from \({\mathsf{WTC}^{-\varepsilon}}\) , then the resulting theory is no longer essentially undecidable. Moreover, we give a positive answer to Grzegorczyk and Zdanowski’s conjecture that ‘The theory \({\mathsf{TC}^{-\varepsilon}}\) is a minimal essentially undecidable theory’. For the alternative theories \({\mathsf{WTC}}\) and \({\mathsf{TC}}\) which have the empty string, we also prove that the each theory without the neutrality of \({\varepsilon}\) is to be such a theory too.     

Pro-\mathcal {C} completions of orientable \text{ PD }^3-pairs

Let \({\mathcal {C}}\) be a class of finite groups. We study some sufficient conditions for the pro- \({\mathcal {C}}\) completion of an orientable \(\text{ PD }^3\) -pair over \(\mathbb {Z}\) to be an orientable profinite \(\text{ PD }^3\) -pair over \(\mathbb {F}_p\) . More results are proven for the pro- \(p\) completion of \(\text{ PD }^3\) -pairs.     

Reeb orbits trapped by Denjoy minimal sets

Let φ be any flow on T ⁿ obtained as the suspension of a smooth diffeomorphism of \({T^{n-1}}\) , and let \({\mathcal {A}}\) be any compact invariant set of φ. We realize \({(\mathcal{A}, \varphi|_{\mathcal{A}})}\) up to reparametrization as an invariant set of the Reeb flow of a contact form on \({\mathbb{R}^{2n+1}}\) equal to the standard contact form outside a compact set and defining the standard contact structure on all of \({\mathbb{R}^{2n+1}}\) . This uses the method from Geiges, Röttgen, and Zehmisch.     

Constructing differentially 4-uniform permutations over GF(22m ) from quadratic APN permutations over GF(22m+1)

In this paper, by means of the idea proposed by Carlet (ACISP 1-15, 2011), differentially 4-uniform permutations with the best known nonlinearity over \({\mathbb{F}_{2^{2m}}}\) are constructed using quadratic APN permutations over \({\mathbb{F}_{2^{2m+1}}}\) . Special constructions are given using the Gold functions. The algebraic degree of the constructions and their compositional inverses is also investigated. One construction and its compositional inverse both have algebraic degree m + 1 over \({\mathbb{F}_2^{2m}}\) .     

Badly approximable points on planar curves and a problem of Davenport

Let \({\mathcal {C}}\) be two times continuously differentiable curve in \({\mathbb {R}}^2\) with at least one point at which the curvature is non-zero. For any \(i,j \geqslant 0\) with \(i+j =1\) , let \({\mathbf {Bad}}(i,j)\) denote the set of points \((x,y) \in {\mathbb {R}}^2\) for which \( \max \{ \Vert qx\Vert ^{1/i}, \, \Vert qy\Vert ^{1/j} \} > c/q \) for all \( q \in {\mathbb {N}}\) . Here \(c = c(x,y)\) is a positive constant. Our main result implies that any finite intersection of such sets with \({\mathcal {C}}\) has full Hausdorff dimension. This provides a solution to a problem of Davenport dating back to the sixties.     

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.     

On the solutions of a singular elliptic equation concentrating on two orthogonal spheres

Let \({A=\{x\in \mathbb{R}^{2m}: 0 < a < |x| < b\}}\) be an annulus. We consider the following singularly perturbed elliptic problem on A $$\left\{\begin{array}{lll}-\varepsilon ^2{\Delta u} + |x|^{\eta}u =|x|^{\eta}u^p, \quad {\rm in} A,\\ u > 0, \quad \quad \quad \quad \quad \quad \quad {\rm in} A, \\ u=0, \quad \quad \quad \quad \quad \quad \quad {\rm on}\partial A,\end{array}\right. $$ where \({1 < p < \frac{m+3}{m-1}}\) . We shall prove the existence of a positive solution \({u_\epsilon }\) which concentrates on two different orthogonal spheres of dimension (m?1) as \({\varepsilon \to 0}\) . We achieve this by studying a reduced problem on an annular domain in \({\mathbb{R}^{m+1}}\) and analysing the profile of a two point concentrating solution in this domain.     

Geometric complexity of embeddings in {\mathbb{R}^{d}}

Given a simplicial complex K, we consider several notions of geometric complexity of embeddings of K in a Euclidean space \({\mathbb{R}^d}\) : thickness, distortion, and refinement complexity (the minimal number of simplices needed for a PL embedding). We show that any n-complex with N simplices which topologically embeds in \({\mathbb{R}^{2n}, n > 2}\) , can be PL embedded in \({\mathbb{R}^{2n}}\) with refinement complexity \({O(e^{N^{4+{\epsilon}}})}\) . Families of simplicial n-complexes K are constructed such that any embedding of K into \({\mathbb{R}^{2n}}\) has an exponential lower bound on thickness and refinement complexity as a function of the number of simplices of K. This contrasts embeddings in the stable range, \({K\subset \mathbb{R}^{2n+k}, k > 0}\) , where all known bounds on geometric complexity functions are polynomial. In addition, we give a geometric argument for a bound on distortion of expander graphs in Euclidean spaces. Several related open problems are discussed, including questions about the growth rate of complexity functions of embeddings, and about the crossing number and the ropelength of classical links.     

Approximate dual Gabor atoms via the adjoint lattice method

Regular Gabor frames for \({\boldsymbol {L}{^{2}}(\mathbb {R}^d)}\) are obtained by applying time-frequency shifts from a lattice in \(\boldsymbol {\Lambda } \vartriangleleft {\mathbb {R}^{d} \times \mathbb {\widehat {R}}}\) to some decent so-called Gabor atom g, which typically is something like a summability kernel in classical analysis, or a Schwartz function, or more generally some \(g \in {\boldsymbol {S}_{0}(\mathbb {R}^{d})}\) . There is always a canonical dual frame, generated by the dual Gabor atom \({\widetilde g}\) . The paper promotes a numerical approach for the efficient calculation of good approximations to the dual Gabor atom for general lattices, including the non-separable ones (different from \({a\mathbb {Z}^{d}\,{\times }\,b\mathbb {Z}^{d}}\) ). The theoretical foundation for the approach is the well-known Wexler-Raz biorthogonality relation and the more recent theory of localized frames. The combination of these principles guarantees that the dual Gabor atom can be approximated by a linear combination of a few time-frequency shifted atoms from the adjoint lattice \(\boldsymbol {\Lambda }\circ\) . The effectiveness of this approach is justified by a new theoretical argument and demonstrated by numerical examples.     

Comparison of fine structural mice via coarse iteration

Let \({\mathcal{M}}\) be a fine structural mouse. Let \({\mathbb{D}}\) be a fully backgrounded \({L[\mathbb{E}]}\) -construction computed inside an iterable coarse premouse S. We describe a process comparing \({\mathcal{M}}\) with \({\mathbb{D}}\) , through forming iteration trees on \({\mathcal{M}}\) and on S. We then prove that this process succeeds.     

The model companion of the class of pseudocomplemented semilattices is finitely axiomatizable

It is shown that the class \({\mathcal{PCSL}^{ec}}\) of existentially closed pseudocomplemented semilattices is finitely axiomatizable by appropriately extending a finite axiomatization of the class \({\mathcal{PCSL}^{ac}}\) of algebraically closed pseudocomplemented semilattices. Because \({\mathcal{PCSL}^{ec}}\) coincides with the model companion of the class \({\mathcal{PCSL}}\) of pseudocomplemented semilattices, this answers the question asked by Albert and Burris in a paper in 1986: “Does the class of pseudocomplemented semilattices have a finitely axiomatizable model companion?"     

Special values of anticyclotomic L-functions modulo λ

The purpose of this article is to generalize some results of Vatsal on the special values of Rankin–Selberg L-functions in an anticyclotomic \({\mathbb{Z}_{p}}\) -extension. Let g be a cuspidal Hilbert modular newform of parallel weight \({(2,\ldots,2)}\) and level \({\mathcal{N}}\) over a totally real field F, and let K/F be a totally imaginary quadratic extension of relative discriminant \({\mathcal{D}}\) . We study the l-adic valuation of the special values \({L(g,\chi,\frac{1}{2})}\) as \({\chi}\) varies over the ring class characters of K of \({\mathcal{P}}\) -power conductor, for some fixed prime ideal \({\mathcal{P}}\) . We prove our results under the only assumption that the prime to \({\mathcal{P}}\) part of \({\mathcal{N}}\) is relatively prime to \({\mathcal{D}}\) .     

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}}\) .     

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.     

Forbidden Triples Containing a Complete Graph and a Complete Bipartite Graph of Small Order

For a graph G and a set \({\mathcal{F}}\) of connected graphs, G is said be \({\mathcal{F}}\) -free if G does not contain any member of \({\mathcal{F}}\) as an induced subgraph. We let \({\mathcal{G} _{3}(\mathcal{F})}\) denote the set of all 3-connected \({\mathcal{F}}\) -free graphs. This paper is concerned with sets \({\mathcal{F}}\) of connected graphs such that \({\mathcal{F}}\) contains no star, \({|\mathcal{F}|=3}\) and \({\mathcal{G}_{3}(\mathcal{F})}\) is finite. Among other results, we show that for a connected graph T( ≠ K ₁) which is not a star, \({\mathcal{G}_{3}(\{K_{4},K_{2,2},T\})}\) is finite if and only if T is a path of order at most 6.     

On the Fučik spectrum of non-local elliptic operators

In this article, we study the Fu?ik spectrum of the fractional Laplace operator which is defined as the set of all \({(\alpha, \beta)\in \mathbb{R}^2}\) such that $$\quad \left.\begin{array}{ll}\quad (-\Delta)^s u = \alpha u^{+} - \beta u^{-} \quad {\rm in}\;\Omega \\ \quad \quad \quad u = 0 \quad \quad \quad \qquad {\rm in}\; \mathbb{R}^n{\setminus}\Omega.\end{array}\right\}$$ has a non-trivial solution u, where \({\Omega}\) is a bounded domain in \({\mathbb{R}^n}\) with Lipschitz boundary, n > 2s, \({s \in (0, 1)}\) . The existence of a first nontrivial curve \({\mathcal{C}}\) of this spectrum, some properties of this curve \({\mathcal{C}}\) , e.g. Lipschitz continuous, strictly decreasing and asymptotic behavior are studied in this article. A variational characterization of second eigenvalue of the fractional eigenvalue problem is also obtained. At the end, we study a nonresonance problem with respect to the Fu?ik spectrum.