In this paper, we introduce the spherical polar decomposition of the linear pencil of an ordered pair $\mathbf {T}=(T_{1},T_{2})$ and investigate nontrivial invariant subspaces between the generalized spherical Aluthge transform of the linear pencil of $\mathbf {T}$ and the linear pencil of the original pair $\mathbf {T}$ of bounded operators with dense ranges.

This paper deals with some Monge–Ampère type equations involving the gradient that are elliptic in the framework of convex functions. First, we show that such equations may be obtained by minimizing a suitable functional. Moreover, we investigate a P-function associated with the solution to a boundary value problem of our generalized Monge–Ampère equation in a bounded convex domain. It will be shown that this P-function attains its maximum value on the boundary of the underlying domain. Furthermore, we show that such a P-function is actually identically constant when the underlying domain is a ball. Therefore, our result provides a best possible maximum principles in the sense of L. E. Payne. Finally, in case of dimension 2, we prove that this P-function also attains its minimum value on the boundary of the underlying domain. As an application, we will show that the solvability of a Serrin’s type overdetermined problem for our generalized Monge–Ampère type equation forces the underlying domain to be a ball.

In this article, we prove several refined versions of the classical Bohr inequality for the class of analytic self-mappings on the unit disk $ \mathbb {D} $, class of analytic functions $ f $ defined on $ \mathbb {D} $ such that $\mathrm {Re}\left (f(z)\right )<1 $, and class of subordination to a function g in $ \mathbb {D} $. Consequently, the main results of this article are established as certainly improved versions of several existing results. All the results are proved to be sharp.

In this article, the question of whether the Löwner partial order on the positive cone of an operator algebra is determined by the norm of any arbitrary Kubo–Ando mean is studied. The question was affirmatively answered for certain classes of Kubo–Ando means, yet the general case was left as an open problem. We here give a complete answer to this question, by showing that the norm of every symmetric Kubo–Ando mean is order-determining, i.e., if $A,B\in \mathcal B(H)^{++}$ satisfy $\Vert A\sigma X\Vert \le \Vert B\sigma X\Vert $ for every $X\in \mathcal {A}^{{++}}$, where $\mathcal A$ is the C*-subalgebra generated by $B-A$ and I, then $A\le B$.

We investigate the convexity of the radial sum of two convex bodies containing the origin. Generally, the radial sum of two convex bodies containing the origin is not convex. We show that the radial sum of a star body (with respect to the origin) and any large centered ball is convex, which produces a pair of convex bodies containing the origin whose radial sum is convex.

We also investigate the convexity of the intersection body of a convex body containing the origin. Generally, the intersection body of a convex body containing the origin is not convex. Busemann’s theorem states that the intersection body of any centered convex body is convex. We are interested in how to construct convex intersection bodies from convex bodies without any symmetry (especially, central symmetry). We show that the intersection body of the radial sum of a star body (with respect to the origin) and any large centered ball is convex, which produces a convex body with no symmetries whose intersection body is convex.

Given a $\sigma $-finite measure space $(X,\mu )$, a Young function $\Phi $, and a one-parameter family of Young functions $\{\Psi _q\}$, we find necessary and sufficient conditions for the associated Orlicz norms of any function $f\in L^\Phi (X,\mu )$ to satisfy

$$\begin{align*}\lim_{q\rightarrow \infty}\|f\|_{L^{\Psi_q}(X,\mu)}=C\|f\|_{L^\infty(X,\mu)}. \end{align*}$$

The constant C is independent of f and depends only on the family $\{\Psi _q\}$. Several examples of one-parameter families of Young functions satisfying our conditions are given, along with counterexamples when our conditions fail.

In this article, we give generalizations of the well-known Fermat’s Little Theorem, Wilson’s theorem, and the little-known Gegenbauer’s theorem.

The tame Gras–Munnier Theorem gives a criterion for the existence of a $ {\mathbb Z}/p{\mathbb Z} $-extension of a number field K ramified at exactly a tame set S of places of K, the finite $v \in S$ necessarily having norm $1$ mod p. The criterion is the existence of a nontrivial dependence relation on the Frobenius elements of these places in a certain governing extension. We give a short new proof which extends the theorem by showing the subset of elements of $H^1(G_S,{\mathbb {Z}}/p{\mathbb {Z}})$ giving rise to such extensions of K has the same cardinality as the set of these dependence relations. We then reprove the key Proposition 2.2 using the more sophisticated Greenberg–Wiles formula based on global duality.

This note is motivated by recent studies by Eriksson-Bique and Soultanis about the construction of charts in general metric measure spaces. We analyze their construction and provide an alternative and simpler proof of the fact that these charts exist on sets of finite Hausdorff dimension. The observation made here offers also some simplification about the study of the relation between the reference measure and the charts in the setting of $\text {RCD}$ spaces.

We consider the attractor $\Lambda $ of a piecewise contracting map f defined on a compact interval. If f is injective, we show that it is possible to estimate the topological entropy of f (according to Bowen’s formula) and the Hausdorff dimension of $\Lambda $ via the complexity associated with the orbits of the system. Specifically, we prove that both numbers are zero.

In this note, assuming the nonvanishing result of explicit theta correspondence for the symplectic–orthogonal dual pair over quaternion algebra $\mathbb {H}$, we show that, for metapletic–orthogonal dual pair over $\mathbb {R}$ and the symplectic–orthogonal dual pair over quaternion algebra $\mathbb {H}$, the theta correspondence is compatible with tempered condition by directly estimating the matrix coefficients, without using the classification theorem.

In this note, we bound the metric dimension of the circulant graphs $C_n(1,2,\ldots ,t)$. We shall prove that if $n=2tk+t$ and if t is odd, then $\dim (C_n(1,2,\ldots ,t))=t+1$, which confirms Conjecture 4.1.1 in Chau and Gosselin (2017, Opuscula Mathematica 37, 509–534). In Vetrík (2017, Canadian Mathematical Bulletin 60, 206–216; 2020, Discussiones Mathematicae. Graph Theory 40, 67–76), the author has shown that $\dim (C_n(1,2,\ldots ,t))\leq t+\left \lceil \frac {p}{2}\right \rceil $ for $n=2tk+t+p$, where $t\geq 4$ is even, $1\leq p\leq t+1$, and $k\geq 1$. Inspired by his work, we show that $\dim (C_n(1,2,\ldots ,t))\leq t+\left \lfloor \frac {p}{2}\right \rfloor $ for $n=2tk+t+p$, where $t\geq 5$ is odd, $2\leq p\leq t+1$, and $k\geq 2$.

Let $W_{\Gamma} $ be the right-angled Coxeter group with defining graph $\Gamma $. We show that the asymptotic dimension of $W_{\Gamma} $ is smaller than or equal to $\mathrm{dim}_{CC}(\Gamma )$, the clique-connected dimension of the graph. We generalize this result to graph products of finite groups.

We use bounds of character sums and some combinatorial arguments to show the abundance of very smooth numbers which also have very few nonzero binary digits.

The purpose of this note is to obtain an improved lower bound for the multidimensional Bohr radius introduced by L. Aizenberg (2000, Proceedings of the American Mathematical Society 128, 1147–1155), by means of a rather simple argument.

In this note, we revisit Ramanujan-type series for $\frac {1}{\pi }$ and show how they arise from genus zero subgroups of $\mathrm {SL}_{2}(\mathbb {R})$ that are commensurable with $\mathrm {SL}_{2}(\mathbb {Z})$. As illustrations, we reproduce a striking formula of Ramanujan for $\frac {1}{\pi }$ and a recent result of Cooper et al., as well as derive a new rational Ramanujan-type series for $\frac {1}{\pi }$. As a byproduct, we obtain a Clausen-type formula in some general sense and reproduce a Clausen-type quadratic transformation formula closely related to the aforementioned formula of Ramanujan.

We prove that there exist infinitely many coprime numbers a, b, c with $a+b=c$ and $c>\operatorname {\mathrm {rad}}(abc)\exp (6.563\sqrt {\log c}/\log \log c)$. These are the most extremal examples currently known in the $abc$ conjecture, thereby providing a new lower bound on the tightest possible form of the conjecture. Our work builds on that of van Frankenhuysen (J. Number Theory 82(2000), 91–95) who proved the existence of examples satisfying the above bound with the constant $6.068$ in place of $6.563$. We show that the constant $6.563$ may be replaced by $4\sqrt {2\delta /e}$ where $\delta $ is a constant such that all unimodular lattices of sufficiently large dimension n contain a nonzero vector with $\ell _1$-norm at most $n/\delta $.

We prove that the uncentered Hardy–Littlewood maximal operator is discontinuous on ${BMO}(\mathbb {R}^n)$ and maps ${VMO}(\mathbb {R}^n)$ to itself. A counterexample to the boundedness of the strong and directional maximal operators on ${BMO}(\mathbb {R}^n)$ is given, and properties of slices of ${BMO}(\mathbb {R}^n)$ functions are discussed.

Let $\mathcal {F}$ denote the set of functions $f \colon [-1/2,1/2] \to \mathbb {R}_{\geq 0}$ such that $\int f = 1$. We determine the value of $\inf _{f \in \mathcal {F}} \| f \ast f \|_2^2$ up to a $4 \cdot 10^{-6}$ error, thereby making progress on a problem asked by Ben Green. Furthermore, we prove that a unique minimizer exists. As a corollary, we obtain improvements on the maximum size of $B_h[g]$ sets for $(g,h) \in \{ (2,2),(3,2),(4,2),(1,3),(1,4)\}$.

We construct pairs of residually finite groups with isomorphic profinite completions such that one has non-vanishing and the other has vanishing real second bounded cohomology. The examples are lattices in different higher-rank simple Lie groups. Using Galois cohomology, we actually show that $\operatorname {SO}^0(n,2)$ for $n \ge 6$ and the exceptional groups $E_{6(-14)}$ and $E_{7(-25)}$ constitute the complete list of higher-rank Lie groups admitting such examples.