Description of Closed Maximal Ideals in Topological Algebras of Continuous Vector-Valued Functions

Let X be a completely regular Hausdorff space, A be a unital locally convex algebra with jointly continuous multiplication and C(X,A) be the algebra of all continuous A-valued functions on X equipped with the topology of \({\mathcal{K}(X)}\) -convergence. Moreover, let \({\mathfrak{M}_{\ell}(A)}\) and \({\mathfrak{M}(A)}\) denote the set of all closed maximal left and two-sided ideals in A, respectively. In this note, we describe all closed maximal left and two-sided ideals in C(X,A) and show that there exist bijections from \({\mathfrak{M}_{\ell}(C(X, A))}\) onto \({X \times \mathfrak{M}_{\ell}(A)}\) and \({\mathfrak{M}(C(X, A))}\) onto \({X \times \mathfrak{M}(A)}\) . We also present new characterizations of closed maximal ideals in C(X, A) when A is a unital commutative locally convex Gelfand–Mazur algebra with jointly continuous multiplication.     

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.     

The error term in the Sato–Tate conjecture

Let \({f(z) = \sum_{n=1}^\infty a(n)e^{2\pi i nz} \in S_k^{\mathrm{new}}(\Gamma_0(N))}\) be a newform of even weight \({k \geq 2}\) that does not have complex multiplication. Then \({a(n) \in \mathbb{R}}\) for all n; so for any prime p, there exists \({\theta_p \in [0, \pi]}\) such that \({a(p) = 2p^{(k-1)/2} {\rm cos} (\theta_p)}\) . Let \({\pi(x) = \#\{p \leq x\}}\) . For a given subinterval \({[\alpha, \beta]\subset[0, \pi]}\) , the now-proven Sato–Tate conjecture tells us that as \({x \to \infty}\) , $$ \#\{p \leq x: \theta_p \in I\} \sim \mu_{ST} ([\alpha, \beta])\pi(x),\quad \mu_{ST} ([\alpha, \beta]) = \int\limits_{\alpha}^\beta \frac{2}{\pi}{\rm sin}^2(\theta) d\theta. $$ Let \({\epsilon > 0}\) . Assuming that the symmetric power L-functions of f are automorphic, we prove that as \({x \to \infty}\) , $$ \#\{p \leq x: \theta_p \in I\} = \mu_{ST} ([\alpha, \beta])\pi(x) + O\left(\frac{x}{(\log x)^{9/8-\epsilon}} \right), $$ where the implied constant is effectively computable and depends only on k,N, and \({\epsilon}\) .     

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

Two Newton methods on the manifold of fixed-rank matrices endowed with Riemannian quotient geometries

We consider two Riemannian geometries for the manifold \({\mathcal{M }(p,m\times n)}\) of all \(m\times n\) matrices of rank \(p\) . The geometries are induced on \({\mathcal{M }(p,m\times n)}\) by viewing it as the base manifold of the submersion \(\pi :(M,N)\mapsto MN^\mathrm{T}\) , selecting an adequate Riemannian metric on the total space, and turning \(\pi \) into a Riemannian submersion. The theory of Riemannian submersions, an important tool in Riemannian geometry, makes it possible to obtain expressions for fundamental geometric objects on \({\mathcal{M }(p,m\times n)}\) and to formulate the Riemannian Newton methods on \({\mathcal{M }(p,m\times n)}\) induced by these two geometries. The Riemannian Newton methods admit a stronger and more streamlined convergence analysis than the Euclidean counterpart, and the computational overhead due to the Riemannian geometric machinery is shown to be mild. Potential applications include low-rank matrix completion and other low-rank matrix approximation problems.     

The Majorization Theorem for Signless Laplacian Spectral Radii of Connected Graphs

Let ${\pi=(d_{1},d_{2},\ldots,d_{n})}$ and ${\pi'=(d'_{1},d'_{2},\ldots,d'_{n})}$ be two non-increasing degree sequences. We say ${\pi}$ is majorizated by ${\pi'}$ , denoted by ${\pi \vartriangleleft \pi'}$ , if and only if ${\pi\neq \pi'}$ , ${\sum_{i=1}^{n}d_{i}=\sum_{i=1}^{n}d'_{i}}$ , and ${\sum_{i=1}^{j}d_{i}\leq\sum_{i=1}^{j}d'_{i}}$ for all ${j=1,2,\ldots,n}$ . If there exists one connected graph G with ${\pi}$ as its degree sequence and ${c=(\sum_{i=1}^{n}d_{i})/2-n+1}$ , then G is called a c-cyclic graph and ${\pi}$ is called a c-cyclic degree sequence. Suppose ${\pi}$ is a non-increasing c-cyclic degree sequence and ${\pi'}$ is a non-increasing graphic degree sequence, if ${\pi \vartriangleleft \pi'}$ and there exists some t ${(2\leq t\leq n)}$ such that ${d'_{t}\geq c+1}$ and ${d_{i}=d'_{i}}$ for all ${t+1\leq i\leq n}$ , then the majorization ${\pi \vartriangleleft \pi'}$ is called a normal majorization. Let μ(G) be the signless Laplacian spectral radius, i.e., the largest eigenvalue of the signless Laplacian matrix of G. We use C _π to denote the class of connected graphs with degree sequence π. If ${G \in C_{\pi}}$ and ${\mu(G)\geq \mu(G')}$ for any other ${G'\in C_{\pi}}$ , then we say G has greatest signless Laplacian radius in C _π . In this paper, we prove that: Let π and π′ be two different non-increasing c-cyclic (c ≥ 0) degree sequences, G and G′ be the connected c-cyclic graphs with greatest signless Laplacian spectral radii in C _π and C _π', respectively. If ${\pi \vartriangleleft \pi'}$ and it is a normal majorization, then ${\mu(G) < \mu(G')}$ . This result extends the main result of Zhang (Discrete Math 308:3143–3150, 2008).     

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.     

Variants of the Kakeya problem over an algebraically closed field

First, we study constructible subsets of \({\mathbb{A}^n_k}\) which contain a line in any direction. We classify the smallest such subsets in \({\mathbb{A}^3}\) of the type \({R \cup \{g \neq 0\},}\) where \({g \in k[x_1,\ldots, x_n]}\) is irreducible of degree d and \({R \subset V(g)}\) is closed. Next, we study subvarieties \({X \subset \mathbb{A}^N}\) for which the set of directions of lines contained in X has the maximal possible dimension. These are variants of the Kakeya problem in an algebraic geometry context.     

Asymptotic behavior of the isoperimetric deficit for expanding convex plane curves

We consider the expansion of a convex closed plane curve C ₀ along its outward normal direction with speed G(1/k), where k is the curvature and \({G \left(z \right) :\left(0, \infty \right) \rightarrow \left( 0, \infty \right)}\) is a strictly increasing function. We show that if \({{\rm lim}_{z \rightarrow \infty} G \left(z \right) = \infty}\) , then the isoperimetric deficit \({D \left(t \right) : = L^{2}\left(t \right) -4 \pi A \left(t \right)}\) of the flow converges to zero. On the other hand, if \({{\rm lim}_{z \rightarrow \infty}G \left(z \right) = \lambda \in (0,\infty)}\) , then for any number d ≥ 0 and \({\varepsilon > 0}\) , one can choose an initial curve C ₀ so that its isoperimetric deficit \({D \left(t \right)}\) satisfies \({\left \vert D \left(t \right) -d \right \vert < \varepsilon}\) for all \({t \in [0, \infty)}\) . Hence, without rescaling, the expanding curve C _t will not become circular. It is close to some expanding curve P _t , where each P _t is parallel to P ₀. The asymptotic speed of P _t is given by the constant \({\lambda}\) .     

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.     

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.     

On the Number of Restricted Prime Factors of an Integer

Let \({q\geqq2}\) be an integer and denote S(n) the sum of the digits in base q of the positive integer n. Our main result is to estimate the sum \({\Sigma_{n\leqq x}\tilde{\omega}(n)}\) where \({\tilde{\omega}(n)}\) is the number of distinct prime factors p of n such that \({S(p) \equiv a \,{\rm mod} \,b \,(a \in \mathbb{Z}, b\geqq 2)}\) .     

Automorphisms of {{\rm M_{n}}(\mathbb{D})}, Partially Ordered by Rank Subtractivity Ordering

Let \({\mathbb{D}}\) be an arbitrary division ring and \({{\rm M_{n}}(\mathbb{D})}\) be the set of all n × n matrices over \({\mathbb{D}}\) . We define the rank subtractivity or minus partial order on \({{\rm M_{n}}(\mathbb{D})}\) as defined on \({{\rm M_{n}}(\mathbb{C})}\) , i.e., \({A \leqslant B}\) iff rank(B) = rank(A) + rank(B?A). We describe the structure of maps Φ on \({{\rm M_{n}}(\mathbb{D})}\) such that \({A\leqslant B}\) iff \({\Phi(A)\leqslant \Phi(B) (A, B\in {\rm M_{n}}(\mathbb{D}) )}\) .     

Additive Coloring of Planar Graphs

An additive coloring of a graph G is an assignment of positive integers \({\{1,2,\ldots ,k\}}\) to the vertices of G such that for every two adjacent vertices the sums of numbers assigned to their neighbors are different. The minimum number k for which there exists an additive coloring of G is denoted by \({\eta (G)}\) . We prove that \({\eta (G) \, \leqslant \, 468}\) for every planar graph G. This improves a previous bound \({\eta (G) \, \leqslant \, 5544}\) due to Norin. The proof uses Combinatorial Nullstellensatz and the coloring number of planar hypergraphs. We also demonstrate that \({\eta (G) \, \leqslant \, 36}\) for 3-colorable planar graphs, and \({\eta (G) \, \leqslant \, 4}\) for every planar graph of girth at least 13. In a group theoretic version of the problem we show that for each \({r \, \geqslant \, 2}\) there is an r-chromatic graph G _r with no additive coloring by elements of any abelian group of order r.     

Supercritical Holes for the Doubling Map

For a map \({S : X \to X}\) and an open connected set (= a hole) \({H \subset X}\) we define \({\mathcal{J}_H(S)}\) to be the set of points in X whose S-orbit avoids H. We say that a hole H ₀ is supercritical if

1. for any hole H such that \({\overline{H}_0 \subset H}\) the set \({\mathcal{J}_H(S)}\) is either empty or contains only fixed points of S;

1. for any hole H such that \({\overline{H} \subset H_0}\) the Hausdorff dimension of \({\mathcal{J}_H(S)}\) is positive.

The purpose of this note is to completely characterize all supercritical holes for the doubling map Tx =  2x mod 1.     

Flat bundles on G/Γ and stability

Let G be a connected complex Lie group and Γ a cocompact lattice in G. Let H be a connected reductive complex affine algebraic group and \({\rho\, : \Gamma\, \longrightarrow H}\) a homomorphism such that \({\rho(\Gamma)}\) is not contained in some proper parabolic subgroup of H. Let \({E^\rho_H}\) be the holomorphic principal H–bundle on G/Γ associated to ρ. We prove that \({E^\rho_H}\) is polystable. If ρ satisfies the further condition that \({\rho(\Gamma)}\) is contained in a compact subgroup of H, then we prove that \({E^\rho_H}\) is stable.     

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.     

Blow-up solutions concentrated along minimal submanifolds for some supercritical elliptic problems on Riemannian manifolds

Let (M, g) and \({(K, \kappa)}\) be two Riemannian manifolds of dimensions m and k, respectively. Let \({\omega \in C^{2} (N), \omega > 0}\) . The warped product \({M \times_\omega K}\) is the (m +  k)-dimensional product manifold \({M \times K}\) furnished with metric \({g + \omega^{2} \kappa}\) . We prove that the supercritical problem $$- \Delta_{g + \omega^{2} \kappa} u + hu = u^{\frac{m+2}{m-2} \pm \varepsilon} ,\quad u > 0,\quad {\rm in}\,\, (M \times_{\omega} K, g + \omega^{2} \kappa)$$ has a solution concentrated along a k-dimensional minimal submanifold \({\Gamma}\) of \({M \times_{\omega } N}\) as the real parameter \({\varepsilon}\) goes to zero, provided the function h and the sectional curvatures along \({\Gamma}\) satisfy a suitable condition.     

Principal Eigenvalue of p-Laplacian Operator in Exterior Domain

We consider an eigenvalue problem of the form $$\left.\begin{array}{cl}-\Delta_{p} u = \lambda\, K(x)|u|^{p-2}u \quad \mbox{in}\quad \Omega^e\\ u(x) =0 \quad \mbox{for}\quad \partial \Omega\\ u(x) \to 0 \quad \mbox{as}\quad |x| \to \infty,\end{array} \right \}$$ where \({\Omega \subset \mathrm{I\!R\!}^N}\) is a simply connected bounded domain, containing the origin, with C ² boundary \({\partial \Omega}\) and \({\Omega^e:=\mathrm{I\!R\!^N} \setminus \overline{\Omega}}\) is the exterior domain, \({1 < p < N, \Delta_{p}u:={\rm div}(|\nabla u|^{p-2} \nabla u)}\) is the p-Laplacian operator and \({K \in L^{\infty}(\Omega^e) \cap L^{N/p}(\Omega^e)}\) is a positive function. Existence and properties of principal eigenvalue λ ₁ and its corresponding eigenfunction are established which are generally known in bounded domain or in \({\mathrm{I\!R\!}^N}\) . We also establish the decay rate of positive eigenfunction as \({|x| \to \infty}\) as well as near ?Ω.