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.     

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.     

Newton Polytopes and Witness Sets

We present two algorithms that compute the Newton polytope of a polynomial f defining a hypersurface \({\mathcal{H}}\) in \({\mathbb{C}^n}\) using numerical computation. The first algorithm assumes that we may only compute values of f—this may occur if f is given as a straight-line program, as a determinant, or as an oracle. The second algorithm assumes that \({\mathcal{H}}\) is represented numerically via a witness set. That is, it computes the Newton polytope of \({\mathcal{H}}\) using only the ability to compute numerical representatives of its intersections with lines. Such witness set representations are readily obtained when \({\mathcal{H}}\) is the image of a map or is a discriminant. We use the second algorithm to compute a face of the Newton polytope of the Lüroth invariant, as well as its restriction to that face.     

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.     

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.     

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

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.     

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

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?"     

Categorical group invariants of 3-manifolds

For a given class \({\mathcal{G}}\) of groups, a 3-manifold M is of \({\mathcal{G}}\) -category \({\leq k}\) if it can be covered by k open subsets such that for each path-component W of the subsets the image of its fundamental group \({ \pi_1(W) \rightarrow \pi(M )}\) belongs to \({\mathcal{G}}\) . The smallest number k such that M admits such a covering is the \({\mathcal{G}}\) -category, \({cat_{\mathcal{G}}(M)}\) . If M is closed, it has \({\mathcal{G}}\) -category between 1 and 4. We characterize all closed 3-manifolds of \({\mathcal{G}}\) -category 1, 2, and 3 for various classes \({\mathcal{G}}\) .     

Solid Extensions of the Cesàro Operator on ℓ p and c 0

We introduce and study the largest Banach lattice (for the coordinate-wise order) which is a solid subspace of \({\mathbb{C}^\mathbb{N}}\) and to which the classical Cesàro operator \({\mathcal{C}\colon\ell^p \to \ell^p}\) (a positive operator) can be continuously extended while still maintaining its values in ? ^p . Properties of this optimal Banach lattice \({[\mathcal{C}, \ell^p]_s}\) are presented. In addition, all continuous convolution operators of \({[\mathcal{C}, \ell^p]_s}\) into itself are identified and the spectrum of \({\mathcal{C}\colon[\mathcal{C}, \ell^p]_s \to[\mathcal{C}, \ell^p]_s}\) is determined. A similar investigation is undertaken for the Cesàro operator \({\mathcal{C}\colon c_0\to c_0}\) .     

Procrustes Problems and Parseval Quasi-Dual Frames

Parseval frames have particularly useful properties, and in some cases, they can be used to reconstruct signals which were analyzed by a non-Parseval frame. In this paper, we completely describe the degree to which such reconstruction is feasible. Indeed, notice that for fixed frames \({\mathcal{F}}\) and \({\mathcal{X}}\) with synthesis operators F and X, the operator norm of FX ^??I measures the (normalized) worst-case error in the reconstruction of vectors when analyzed with \({\mathcal{X}}\) and synthesized with \({\mathcal{F}}\) . Hence, for any given frame \({\mathcal{F}}\) , we compute explicitly the infimum of the operator norm of FX ^??I, where \({\mathcal{X}}\) is any Parseval frame. The \({\mathcal{X}}\) ’s that minimize this quantity are called Parseval quasi-dual frames of \({\mathcal{F}}\) . Our treatment considers both finite and infinite Parseval quasi-dual frames.     

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

The {\mathcal {A}}-Truncated K-Moment Problem

Let \({\mathcal {A}}\subseteq {\mathbb {N}}^n\) be a finite set, and \(K\subseteq {\mathbb {R}}^n\) be a compact semialgebraic set. An \({\mathcal {A}}\) -truncated multisequence ( \({\mathcal {A}}\) -tms) is a vector \(y=(y_{\alpha })\) indexed by elements in \({\mathcal {A}}\) . The \({\mathcal {A}}\) -truncated \(K\) -moment problem ( \({\mathcal {A}}\) -TKMP) concerns whether or not a given \({\mathcal {A}}\) -tms \(y\) admits a \(K\) -measure \(\mu \) , i.e., \(\mu \) is a nonnegative Borel measure supported in \(K\) such that \(y_\alpha = \int _K x^\alpha \mathtt {d}\mu \) for all \(\alpha \in {\mathcal {A}}\) . This paper proposes a numerical algorithm for solving \({\mathcal {A}}\) -TKMPs. It aims at finding a flat extension of \(y\) by solving a hierarchy of semidefinite relaxations \(\{(\mathtt {SDR})_k\}_{k=1}^\infty \) for a moment optimization problem, whose objective \(R\) is generated in a certain randomized way. If \(y\) admits no \(K\) -measures and \({\mathbb {R}}[x]_{{\mathcal {A}}}\) is \(K\) -full (there exists \(p \in {\mathbb {R}}[x]_{{\mathcal {A}}}\) that is positive on \(K\) ), then \((\mathtt {SDR})_k\) is infeasible for all \(k\) big enough, which gives a certificate for the nonexistence of representing measures. If \(y\) admits a \(K\) -measure, then for almost all generated \(R\) , this algorithm has the following properties: i) we can asymptotically get a flat extension of \(y\) by solving the hierarchy \(\{(\mathtt {SDR})_k\}_{k=1}^\infty \) ; ii) under a general condition that is almost sufficient and necessary, we can get a flat extension of \(y\) by solving \((\mathtt {SDR})_k\) for some \(k\) ; iii) the obtained flat extensions admit a \(r\) -atomic \(K\) -measure with \(r\le |{\mathcal {A}}|\) . The decomposition problems for completely positive matrices and sums of even powers of real linear forms, and the standard truncated \(K\) -moment problems, are special cases of \({\mathcal {A}}\) -TKMPs. They can be solved numerically by this algorithm.     

On the Relaxed Colouring Game and the Unilateral Colouring Game

In the paper we introduce the new game—the unilateral \({\mathcal{P}}\) -colouring game which can be used as a tool to study the r-colouring game and the (r, d)-relaxed colouring game. Let be given a graph G, an additive hereditary property \({\mathcal {P}}\) and a set C of r colours. In the unilateral \({\mathcal {P}}\) -colouring game similarly as in the r-colouring game, two players, Alice and Bob, colour the uncoloured vertices of the graph G, but in the unilateral \({\mathcal {P}}\) -colouring game Bob is more powerful than Alice. Alice starts the game, the players play alternately, but Bob can miss his move. Bob can colour the vertex with an arbitrary colour from C, while Alice must colour the vertex with a colour from C in such a way that she cannot create a monochromatic minimal forbidden subgraph for the property \({\mathcal {P}}\) . If after |V(G)| moves the graph G is coloured, then Alice wins the game, otherwise Bob wins. The \({\mathcal {P}}\) -unilateral game chromatic number, denoted by \({\chi_{ug}^\mathcal {P}(G)}\) , is the least number r for which Alice has a winning strategy for the unilateral \({\mathcal {P}}\) -colouring game with r colours on G. We prove that the \({\mathcal {P}}\) -unilateral game chromatic number is monotone and is the upper bound for the game chromatic number and the relaxed game chromatic number. We give the winning strategy for Alice to play the unilateral \({\mathcal {P}}\) -colouring game. Moreover, for k ≥  2 we define a class of graphs \({\mathcal {H}_k =\{G|{\rm every \;block \;of\;}G \; {\rm has \;at \;most}\; k \;{\rm vertices}\}}\) . The class \({\mathcal {H}_k }\) contains, e.g., forests, Husimi trees, line graphs of forests, cactus graphs. Let \({\mathcal {S}_d}\) be the class of graphs with maximum degree at most d. We find the upper bound for the \({\mathcal {S}_2}\) -unilateral game chromatic number for graphs from \({\mathcal {H}_3}\) and we study the \({\mathcal {S}_d}\) -unilateral game chromatic number for graphs from \({\mathcal {H}_4}\) for \({d \in \{2,3\}}\) . As the conclusion from these results we obtain the result for the d-relaxed game chromatic number: if \({G \in \mathcal {H}_k}\) , then \({\chi_g^{(d)}(G) \leq k + 2-d}\) , for \({k \in \{3, 4\}}\) and \({d \in \{0, \ldots, k-1\}}\) . This generalizes a known result for trees.     

Wandering Subspaces of the Bergman Space and the Dirichlet Space Over {{\mathbb{D}^{n}}}

Doubly commuting invariant subspaces of the Bergman space and the Dirichlet space over the unit polydisc \({\mathbb{D}^n}\) (with \({n \geq 2}\) ) are investigated. We show that for any non-empty subset \({\alpha=\{\alpha_1,\ldots,\alpha_k\}}\) of \({\{1,\ldots,n\}}\) and doubly commuting invariant subspace \({\mathcal{S}}\) of the Bergman space or the Dirichlet space over \({\mathbb{D}^n}\) , restriction of the multiplication operator tuple on \({\mathcal{S}, M_{\alpha}|_\mathcal{S}:=(M_{z_{\alpha_1}}|_\mathcal{S},\ldots, M_{z_{\alpha_k}}|_\mathcal{S})}\) , always possesses generating wandering subspace of the form $$\bigcap_{i=1}^k(\mathcal{S}\ominus z_{\alpha_i}\mathcal{S})$$ .     

Finite frames,P-frames and basically disconnected frames

Let \({\mathcal{P}}\) be an ideal of closed quotients of a completely regular frame L and \({\mathcal{R}_{\mathcal{P}}(L)}\) the collection of all functions in the ring \({\mathcal{R}(L)}\) whose support belong to \({\mathcal{P}}\) . We show that \({\mathcal{R}(L)}\) is a Noetherian ring if and only if \({\mathcal{R}(L)}\) is an Artinian ring if and only if L is a finite frame. Using this result, we next show that if \({\mathcal{P}}\) is the ideal of all compact closed quotients of L and L is \({\mathcal{P}}\) -continuous, then \({\mathcal{R}_{\mathcal{P}}(L)}\) is a Noetherian ring if and only if L is finite. Moreover, we show that L is a P-frame if and only if each ideal of \({\mathcal{R}(L)}\) is of the form \({\mathcal{R}_{\mathcal{P}}(L)}\) for some choice of \({\mathcal{P}}\) . We furnish equivalent conditions for \({\mathcal{R}_{\mathcal{P}}(L)}\) to be a prime ideal, a free ideal, and an essential ideal of \({\mathcal{R}(L)}\) separately in terms of the cozero elements of L. Finally, we show that L is basically disconnected if and only if \({\mathcal{R}(L)}\) is a coherent ring.     

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.     

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.     

Topological genericity of nowhere differentiable functions in the disc algebra

In this paper we introduce a class of functions contained in the disc algebra \({\mathcal{A}(D)}\) . We study functions \({f \in \mathcal{A}(D)}\) which have the property that the continuous periodic function \({u = {\rm Re}f|_{\mathbb{T}}}\) , where \({\mathbb{T}}\) is the unit circle, is nowhere differentiable. We prove that this class is non-empty and instead, generically, every function \({f \in \mathcal{A}(D)}\) has the above property. Afterwards, we strengthen this result by proving that, generically, for every function \({f \in \mathcal{A}(D)}\) , both continuous periodic functions \({u = {\rm Re}f|_\mathbb{T}}\) and \({\tilde{u} = {\rm Im}f|_\mathbb{T}}\) are nowhere differentiable. We avoid any use of the Weierstrass function and we mainly use Baire’s Category Theorem.