Maximal trees

We show that, consistently, there can be maximal subtrees of \(\mathcal{P}(\omega )\) and \(\mathcal{P}(\omega ) / {\mathrm {fin}}\) of arbitrary regular uncountable size below the size of the continuum \({\mathfrak c}\). We also show that there are no maximal subtrees of \(\mathcal{P}(\omega ) / {\mathrm {fin}}\) with countable levels. Our results answer several questions of Campero-Arena et al. (Fund Math 234:73–89, 2016).     

On the global convergence rate of the gradient descent method for functions with Hölder continuous gradients

The gradient descent method minimizes an unconstrained nonlinear optimization problem with \({\mathcal {O}}(1/\sqrt{K})\), where K is the number of iterations performed by the gradient method. Traditionally, this analysis is obtained for smooth objective functions having Lipschitz continuous gradients. This paper aims to consider a more general class of nonlinear programming problems in which functions have Hölder continuous gradients. More precisely, for any function f in this class, denoted by \({{\mathcal {C}}}^{1,\nu }_L\), there is a \(\nu \in (0,1]\) and \(L>0\) such that for all \(\mathbf{x,y}\in {{\mathbb {R}}}^n\) the relation \(\Vert \nabla f(\mathbf{x})-\nabla f(\mathbf{y})\Vert \le L \Vert \mathbf{x}-\mathbf{y}\Vert ^{\nu }\) holds. We prove that the gradient descent method converges globally to a stationary point and exhibits a convergence rate of \({\mathcal {O}}(1/K^{\frac{\nu }{\nu +1}})\) when the step-size is chosen properly, i.e., less than \([\frac{\nu +1}{L}]^{\frac{1}{\nu }}\Vert \nabla f(\mathbf{x}_k)\Vert ^{\frac{1}{\nu }-1}\). Moreover, the algorithm employs \({\mathcal {O}}(1/\epsilon ^{\frac{1}{\nu }+1})\) number of calls to an oracle to find \({\bar{\mathbf{x}}}\) such that \(\Vert \nabla f({{\bar{\mathbf{x}}}})\Vert <\epsilon \).     

Morrey Spaces on Domains: Different Approaches and Growth Envelopes

We deal with Morrey spaces on bounded domains \(\Omega \) obtained by different approaches. In particular, we consider three settings \(\mathcal {M}_{u,p}(\Omega )\), \(\mathbb {M}_{u,p}(\Omega )\) and \(\mathfrak {M}_{u,p}(\Omega )\), where \(0<p\le u<\infty \), commonly used in the literature, and study their connections and diversities. Moreover, we determine the growth envelopes \(\mathfrak {E}_{\mathsf {G}}(\mathcal {M}_{u,p}(\Omega ))\) as well as \(\mathfrak {E}_{\mathsf {G}}(\mathfrak {M}_{u,p}(\Omega ))\), and obtain some applications in terms of optimal embeddings. Surprisingly, it turns out that the interplay between p and u in the sense of whether \(\frac{n}{u}\ge \frac{1}{p}\) or \(\frac{n}{u} < \frac{1}{p}\) plays a decisive role when it comes to the behaviour of these spaces.     

On counting subring-submodules of free modules over finite commutative frobenius rings

Let \(\texttt {R}\) be a finite commutative Frobenius ring and \(\texttt {S}\) a Galois extension of \(\texttt {R}\) of degree m. For positive integers k and \(k'\), we determine the number of free \(\texttt {S}\)-submodules \(\mathcal {B}\) of \(\texttt {S}^\ell \) with the property \(k=\texttt {rank}_\texttt {S}(\mathcal {B})\) and \(k'=\texttt {rank}_\texttt {R}(\mathcal {B}\cap \texttt {R}^\ell )\). This corrects the wrong result (Bill in Linear Algebr Appl 22:223–233, 1978, Theorem 6) which was given in the language of codes over finite fields.     

Shadows of the axiom of choice in the universe $$L(\mathbb {R})$$

We show that several theorems about Polish spaces, which depend on the axiom of choice (\(\mathcal {AC}\)), have interesting corollaries that are theorems of the theory \(\mathcal {ZF} + \mathcal {DC}\), where \(\mathcal {DC}\) is the axiom of dependent choices. Surprisingly it is natural to use the full \(\mathcal {AC}\) to prove the existence of these proofs; in fact we do not even know the proofs in \(\mathcal {ZF} + \mathcal {DC}\). Let \(\mathcal {AD}\) denote the axiom of determinacy. We show also, in the theory \(\mathcal {ZF} + \mathcal {AD} + V = L(\mathbb {R})\), a theorem which strenghtens and generalizes the theorem of Drinfeld (Funct Anal Appl 18:245–246, 1985) and Margulis (Monatshefte Math 90:233–235, 1980) about the unicity of Lebesgue’s measure. This generalization is false in \(\mathcal {ZFC}\), but assuming the existence of large enough cardinals it is true in the model \(\langle L(\mathbb {R}),\in \rangle \).     

Polák theorem and $$\mathbf {}$$-relation on varieties of completely regular semigroups

Completely regular semigroups \(\mathcal {C}\mathcal {R}\) are unions of their subgroups with the unary operation within their maximal subgroups. As such they form a variety whose lattice of subvarieties is denoted by \(\mathcal {L}(\mathcal {C}\mathcal {R})\). The Polák theorem concerns the computation of joins in \(\mathcal {L}(\mathcal {C}\mathcal {R})\). The \(\mathbf {B}\)-relation on \(\mathcal {L}(\mathcal {C}\mathcal {R})\) identifies varieties with the same bands. We elaborate upon two nontrivial conditions in Polák’s theorem applied to certain subsets of \(\mathcal {C}\mathcal {R}\) which amounts to solving particular equations in \(\mathcal {L}(\mathcal {C}\mathcal {R})\).     

On Ambrosetti–Malchiodi–Ni conjecture on two-dimensional smooth bounded domains

We consider the problem

$$\begin{aligned} \epsilon ^2 \Delta u-V(y)u+u^p\,=\,0,\quad u>0\quad \text{ in }\quad \Omega , \quad \frac{\partial u}{\partial \nu }\,=\,0\quad \text{ on }\quad \partial \Omega , \end{aligned}$$

where \(\Omega \) is a bounded domain in \({\mathbb {R}}^2\) with smooth boundary, the exponent p is greater than 1, \(\epsilon >0\) is a small parameter, V is a uniformly positive, smooth potential on \(\bar{\Omega }\), and \(\nu \) denotes the outward unit normal of \(\partial \Omega \). Let \(\Gamma \) be a curve intersecting orthogonally \(\partial \Omega \) at exactly two points and dividing \(\Omega \) into two parts. Moreover, \(\Gamma \) satisfies stationary and non-degeneracy conditions with respect to the functional \(\int _{\Gamma }V^{\sigma }\), where \(\sigma =\frac{p+1}{p-1}-\frac{1}{2}\). We prove the existence of a solution \(u_\epsilon \) concentrating along the whole of \(\Gamma \), exponentially small in \(\epsilon \) at any fixed distance from it, provided that \(\epsilon \) is small and away from certain critical numbers. In particular, this establishes the validity of the two dimensional case of a conjecture by Ambrosetti et al. (Indiana Univ Math J 53(2), 297–329, 2004).

     

An $$O(\sqrt{n}L)$$ iteration Mehrotra-type predictor-corrector algorithm for monotone linear complementarity problem

In this paper we propose a new class of Mehrotra-type predictor-corrector algorithm for the monotone linear complementarity problems (LCPs). At each iteration, the method computes a corrector direction in addition to the Ai–Zhang direction (SIAM J Optim 16:400–417, 2005), in an attempt to improve performance. Starting with a feasible point \((x^0, s^0)\) in the wide neighborhood \(\mathcal {N}(\tau ,\beta )\), the algorithm enjoys the low iteration bound of \(O(\sqrt{n}L)\), where \(n\) is the dimension of the problem and \(L=\log \frac{(x^0)^T s^0}{\varepsilon }\) with \(\varepsilon \) the required precision. We also prove that the new algorithm can be specified into an easy implementable variant for solving the monotone LCPs, in such a way that the iteration bound is still \(O(\sqrt{n}L)\). Some preliminary numerical results are provided as well.     

$$L^p$$-Fourier asymptotics,Hardy-type inequality and fractal measures

Suppose \(\mu \) is an \(\alpha \)-dimensional fractal measure for some \(0<\alpha <n\). Inspired by the results proved by Strichartz (J Funct Anal 89:154–187, 1990), we discuss the \(L^p\)-asymptotics of the Fourier transform of \(fd\mu \) by estimating bounds of

$$\begin{aligned} \underset{L\rightarrow \infty }{\liminf }\ \frac{1}{L^k} \int _{|\xi |\le L}\ |\widehat{fd\mu }(\xi )|^pd\xi , \end{aligned}$$

for \(f\in L^p(d\mu )\) and \(2<p<2n/\alpha \). In a different direction, we prove a Hardy type inequality, that is,

$$\begin{aligned} \int \frac{|f(x)|^p}{(\mu (E_x))^{2-p}}d\mu (x)\le C\ \underset{L\rightarrow \infty }{\liminf }\frac{1}{L^{n-\alpha }} \int _{B_L(0)}|\widehat{fd\mu }(\xi )|^pd\xi \end{aligned}$$

where \(1\le p\le 2\) and \(E_x=E\cap (-\infty ,x_1]\times (-\infty ,x_2]\ldots (-\infty ,x_n]\) for \(x=(x_1,\ldots x_n)\in {\mathbb R}^n\) generalizing the one dimensional results by Hudson and Leckband (J Funct Anal 108:133–160, 1992).

     

A note on alternating projections for ill-posed semidefinite feasibility problems

We observe that Sturm’s error bounds readily imply that for semidefinite feasibility problems, the method of alternating projections converges at a rate of \(\mathcal {O}\Big (k^{-\frac{1}{2^{d+1}-2}}\Big )\), where d is the singularity degree of the problem—the minimal number of facial reduction iterations needed to induce Slater’s condition. Consequently, for almost all such problems (in the sense of Lebesgue measure), alternating projections converge at a worst-case rate of \(\mathcal {O}\Big (\frac{1}{\sqrt{k}}\Big )\).     

Improved Moser–Trudinger inequality of Tintarev type in dimension <Emphasis Type="Italic">n</Emphasis> and the existence of its extremal functions

Let \(\Omega \) be a smooth bounded domain in \(\mathbb R^n\) with \(n\ge 2\), \(W^{1,n}_0(\Omega )\) be the usual Sobolev space on \(\Omega \) and define \(\lambda _1(\Omega ) = \inf \nolimits _{u\in W^{1,n}_0(\Omega )\setminus \{0\}}\frac{\int _\Omega |\nabla u|^n \mathrm{d}x}{\int _\Omega |u|^n \mathrm{d}x}\). Based on the blow-up analysis method, we shall establish the following improved Moser–Trudinger inequality of Tintarev type

$$\begin{aligned} \sup _{u\in W^{1,n}_0(\Omega ), \int _\Omega |\nabla u|^n \mathrm{{d}}x-\alpha \int _\Omega |u|^n \mathrm{{d}}x \le 1} \int _\Omega \exp (\alpha _{n} |u|^{\frac{n}{n-1}}) \mathrm{{d}}x < \infty , \end{aligned}$$

for any \(0 \le \alpha < \lambda _1(\Omega )\), where \(\alpha _{n} = n \omega _{n-1}^{\frac{1}{n-1}}\) with \(\omega _{n-1}\) being the surface area of the unit sphere in \(\mathbb R^n\). This inequality is stronger than the improved Moser–Trudinger inequality obtained by Adimurthi and Druet (Differ Equ 29:295–322, 2004) in dimension 2 and by Yang (J Funct Anal 239:100–126, 2006) in higher dimension and extends a result of Tintarev (J Funct Anal 266:55–66, 2014) in dimension 2 to higher dimension. We also prove that the supremum above is attained for any \(0< \alpha < \lambda _{1}(\Omega )\). (The case \(\alpha =0\) corresponding to the Moser–Trudinger inequality is well known.)

     

MLE,Information, Ancillary Complement,and Conditional Inference with Illustrations

Fisher’s (Proceedings of Royal Society Series A 144, 285–307 1934, 1956) example remains a classic where the maximum likelihood estimator (T) was non-sufficient, had less than full information, but an ancillarity complement (S) helped in recovering the full information \(\mathcal {I}_{(T,S)}(\theta )\). In the absence of other readily accessible easy-to-grasp examples of similar nature, we begin with general calculations for useful information entities, both unconditional (\(\mathcal {I}_{T}(\theta )\)) and conditional (\(\mathcal {I}_{T\mid S}(\theta )\)). These have led us to propose a number of new illustrations in the spirit of the original example. Then, we introduce a multivariate data extension of the original example with an illustration. We wrap up this investigation with an example of a non-sufficient MLE T that has (i) the full Fisher information, and (ii) has an ancillary complement S.     

On Hecke groups,Schwarzian triangle functions and a class of hyper-elliptic functions

Let m be a positive integer \(\ge \)3 and \(\lambda =2\cos \frac{\pi }{m}\). The Hecke group \(\mathfrak {G}(\lambda )\) is generated by the fractional linear transformations \(\tau + \lambda \) and \(-\frac{1}{\tau }\) for \(\tau \) in the upper half plane \(\mathbb H\) of the complex plane \(\mathbb C\). We consider a set of functions \(\mathfrak {f}_0, \mathfrak {f}_i\) and \(\mathfrak {f}_{\infty }\) automorphic with respect to \(\mathfrak {G}(\lambda )\), constructed from the conformal mapping of the fundamental domain of \(\mathfrak {G}(\lambda )\) to the upper half plane \(\mathbb H\), and establish their connection with the Legendre functions and a class of hyper-elliptic functions. Many well-known classical identities associated with the cases of \(\lambda =1\) and 2 are preserved. As an application, we will establish a set of identities expressing the reciprocal of \(\pi \) in terms of the hypergeometric series.     

Hall Polynomials for Nakayama Algebras

Let \(\mathcal{A}\) be a representation finite algebra over finite field k. In this note we first show that the existence of Hall polynomials for \(\mathcal{A}\) equivalent to the existence of the Hall polynomial \(\varphi^{M}_{N L}\) for each \(M, L \in mod\mathcal{A}\) and \(N\in ind\mathcal{A}\). Then we show that for a basic connected Nakayama algebra \(\mathcal{A}\), \(\mathcal{H}(\mathcal{A})=\mathcal{L}(\mathcal{A})\) and Hall polynomials exist for this algebra. We also provide another proof of the existence of Hall polynomials for the representation directed split algebras.     

On a Fractional $$ p \& q$$ Laplacian Problem with Critical Sobolev–Hardy Exponents

We consider the following fractional \( p \& q\) Laplacian problem with critical Sobolev–Hardy exponents

$$\begin{aligned} \left\{ \begin{array}{ll} (-\Delta )^{s}_{p} u + (-\Delta )^{s}_{q} u = \frac{|u|^{p^{*}_{s}(\alpha )-2}u}{|x|^{\alpha }}+ \lambda f(x, u) &{} \text{ in } \Omega \\ u=0 &{} \text{ in } \mathbb {R}^{N}{\setminus } \Omega , \end{array} \right. \end{aligned}$$

where \(0<s<1\), \(1\le q<p<\frac{N}{s}\), \((-\Delta )^{s}_{r}\), with \(r\in \{p,q\}\), is the fractional r-Laplacian operator, \(\lambda \) is a positive parameter, \(\Omega \subset \mathbb {R}^{N}\) is an open bounded domain with smooth boundary, \(0\le \alpha <sp\), and \(p^{*}_{s}(\alpha )=\frac{p(N-\alpha )}{N-sp}\) is the so-called Hardy–Sobolev critical exponent. Using concentration-compactness principle and the mountain pass lemma due to Kajikiya [23], we show the existence of infinitely many solutions which tend to be zero provided that \(\lambda \) belongs to a suitable range.

     

Branching Rules for Finite-Dimensional $\mathcal {U}_{q}(\mathfrak {su}(3))$-Representations with Respect to a Right Coideal Subalgebra

We consider the quantum symmetric pair \((\mathcal {U}_{q}(\mathfrak {su}(3)), \mathcal {B})\) where \(\mathcal {B}\) is a right coideal subalgebra. We prove that all finite-dimensional irreducible representations of \(\mathcal {B}\) are weight representations and are characterised by their highest weight and dimension. We show that the restriction of a finite-dimensional irreducible representation of \(\mathcal {U}_{q}(\mathfrak {su}(3))\) to \(\mathcal {B}\) decomposes multiplicity free into irreducible representations of \(\mathcal {B}\). Furthermore we give explicit expressions for the highest weight vectors in this decomposition in terms of dual q-Krawtchouk polynomials.     

Sharp Moser–Trudinger Inequalities on Hyperbolic Spaces with Exact Growth Condition

Let \(\Phi _{n}(x)=e^x-\sum _{j=0}^{n-2}\frac{x^j}{j!}\) and \(\alpha _{n} =n\omega _{n-1}^{\frac{1}{n-1}}\) be the sharp constant in Moser’s inequality (where \(\omega _{n-1}\) is the area of the surface of the unit \(n\)-ball in \(\mathbb {R}^n\)), and \(dV\) be the volume element on the \(n\)-dimensional hyperbolic space \((\mathbb {H}^n, g)\) (\(n\ge {2}\)). In this paper, we establish the following sharp Moser–Trudinger type inequalities with the exact growth condition on \(\mathbb {H}^n\):

For any \(u\in {W^{1,n}(\mathbb {H}^n)}\) satisfying \(\Vert \nabla _{g}u\Vert _{n}\le {1}\), there exists a constant \(C(n)>0\) such that

$$\begin{aligned} \int _{\mathbb {H}^n}\frac{\Phi _{n}(\alpha _{n}|u|^{\frac{n}{n-1}})}{(1+|u|)^{\frac{n}{n-1}}}dV \le {C(n)\Vert u\Vert _{L^n}^{n}}. \end{aligned}$$

The power \(\frac{n}{n-1}\) and the constant \(\alpha _{n}\) are optimal in the following senses:

1. (i)
   If the power \(\frac{n}{n-1}\) in the denominator is replaced by any \(p<\frac{n}{n-1}\), then there exists a sequence of functions \(\{u_{k}\}\) such that \(\Vert \nabla _{g}u_{k}\Vert _{n}\le {1}\), but

   $$\begin{aligned} \frac{1}{\Vert u_{k}\Vert _{L^n}^{n}}\int _{\mathbb {H}^n} \frac{\Phi _{n}(\alpha _{n}(|u_{k}|)^{\frac{n}{n-1}})}{(1+|u_{k}|)^{p}}dV \rightarrow {\infty }. \end{aligned}$$
    
2. (ii)
   If \(\alpha >\alpha _{n}\), then there exists a sequence of function \(\{u_{k}\}\) such that \(\Vert \nabla _{g}u_{k}\Vert _{n}\le {1}\), but

   $$\begin{aligned} \frac{1}{\Vert u_{k}\Vert _{L^n}^{n}}\int _{\mathbb {H}^n} \frac{\Phi _{n}(\alpha (|u_{k}|)^{\frac{n}{n-1}})}{(1+|u_{k}|)^{p}}dV\rightarrow {\infty }, \end{aligned}$$

   for any \(p\ge {0}\).
    

This result sharpens the earlier work of the authors Lu and Tang (Adv Nonlinear Stud 13(4):1035–1052, 2013) on best constants for the Moser–Trudinger inequalities on hyperbolic spaces.

     

An inequality concerning the growth bound of an evolution family and the norm of a convolution operator

Let \(\mathcal {U}=\{U(t,s)\}_{t\ge s\ge 0}\) be a strongly continuous and exponentially bounded evolution family acting on a complex Banach space X and let \(\mathcal {X}\) be a certain Banach function space of X-valued functions. We prove that the growth bound of the family \(\mathcal {U}\) is less than or equal to \(-\frac{1}{c(\mathcal {U}, \mathcal {X})}\) provided that the convolution operator \(f\mapsto \mathcal {U}*f\) acts on \(\mathcal {X}.\) It is well known that under the latter assumption, the convolution operator is bounded and then \(c(\mathcal {U}, \mathcal {X})\) denotes (ad-hoc) its norm in \(\mathcal {L}(\mathcal {X}).\) As a consequence, we prove that if \(\sup \nolimits _{s\ge 0}\int \nolimits _{s}^\infty \Vert U(t,s)\Vert dt=u_1(\mathcal {U})<\infty ,\) then \(\omega _0(\mathcal {U})u_1(\mathcal {U})\le -1.\) Finally, we give an example showing that the accuracy of the estimates may be quite accurate.     

On the connectedness of the set of Riemann surfaces with real moduli

The moduli space \({\mathcal {M}}_{g}\), of genus \(g\ge 2\) closed Riemann surfaces, is a complex orbifold of dimension \(3(g-1)\) which carries a natural real structure, i.e. it admits an anti-holomorphic involution \(\sigma \). The involution \(\sigma \) maps each point corresponding to a Riemann surface S to its complex conjugate \(\overline{S}\). The fixed point set of \(\sigma \) consists of the isomorphism classes of closed Riemann surfaces admitting an anticonformal automorphism. Inside \(\mathrm {Fix}(\sigma )\) is the locus \({\mathcal {M}}_{g}(\mathbb {R})\), the set of real Riemann surfaces, which is known to be connected by results due to P. Buser, M. Seppälä, and R. Silhol. The complement \(\mathrm {Fix}(\sigma )-{\mathcal {M}}_{g}(\mathbb {R})\) consists of the so called pseudo-real Riemann surfaces, which is known to be non-connected. In this short note we provide a simple argument to observe that \(\mathrm {Fix}(\sigma )\) is connected.