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

     

Bavrin’s Type Factorization of the Temljakov Operator for Holomorphic Functions in Circular Domains of $$\mathbb {C}^{n}$$

The paper concerns investigations of holomorphic functions of several complex variables with a factorization of their Temljakov transform. Firstly, there were considered some inclusions between the families \(\mathcal {C}_{\mathcal {G}},\mathcal {M}_{\mathcal {G}},\mathcal {N}_{\mathcal {G}},\mathcal {R}_{\mathcal {G}},\mathcal {V}_{\mathcal {G}}\) of such holomorphic functions on complete n-circular domain \(\mathcal {G}\) of \(\mathbb {C}^{n}\) in some papers of Bavrin, Fukui, Higuchi, Michiwaki. A motivation of our investigations is a condensation of the mentioned inclusions by some new families of Bavrin’s type. Hence we consider some families \(\mathcal {K}_{ \mathcal {G}}^{k},k\ge 2,\) of holomorphic functions f :  \(\mathcal {G}\rightarrow \mathbb {C},f(0)=1,\) defined also by a factorization of \( \mathcal {L}f\) onto factors from \(\mathcal {C}_{\mathcal {G}}\) and \(\mathcal {M} _{\mathcal {G}}.\) We present some interesting properties and extremal problems on \(\mathcal {K}_{\mathcal {G}}^{k}\).     

A partition relation for pairs on $$\omega ^{\omega ^\omega }$$

We consider colorings of the pairs of a family \(\mathcal {F}\subseteq {{\mathrm{FIN}}}\) of topological type \(\omega ^{\omega ^k}\), for \(k>1\); and we find a homogeneous family \(\mathcal {G}\subseteq \mathcal {F}\) for each coloring. As a consequence, we complete our study of the partition relation \({\forall l>1,\, \alpha \rightarrow ({{\mathrm{top}}}\;\omega ^2+1)^2_{l,m}}\) identifying \(\omega ^{\omega ^\omega }\) as the smallest ordinal space \(\alpha <\omega _1\) satisfying \({\forall l>1,\, \alpha \rightarrow ({{\mathrm{top}}}\;\omega ^2+1)^2_{l,4}}\).     

The canonical projection associated with certain possibly infinite generalized iterated function systems as a fixed point

In this paper, influenced by the ideas from Mihail (Fixed Point Theory Appl 2015:15, 2015), we associate to every generalized iterated function system \(\mathcal {F}\) (of order m) an operator \(H_{\mathcal {F}}:\mathcal {C} ^{m}\rightarrow \mathcal {C}\), where \(\mathcal {C}\) stands for the space of continuous functions from the shift space on the metric space corresponding to the system. We provide sufficient conditions (on the constitutive functions of \(\mathcal {F}\)) for the operator \(H_{\mathcal {F}}\) to be continuous, contraction, \(\varphi \)-contraction, Meir–Keeler or contractive. We also give sufficient condition under which \(H_{\mathcal {F}}\) has a unique fixed point \(\pi _{0}\). Moreover, we prove that, under these circumstances, the closure of the imagine of \(\pi _{0}\) is the attractor of \(\mathcal {F}\) and that \(\pi _{0}\) is the canonical projection associated with \(\mathcal {F}\). In this way we give a partial answer to the open problem raised on the last paragraph of the above-mentioned Mihail’s paper.     

Subconvexity for sup-norms of cusp forms on $$\mathrm{PGL}(n)$$

Let F be an \(L^2\)-normalized Hecke Maaß cusp form for \(\Gamma _0(N) \subseteq {\mathrm{SL}}_{n}({\mathbb {Z}})\) with Laplace eigenvalue \(\lambda _F\). If \(\Omega \) is a compact subset of \(\Gamma _0(N)\backslash {\mathrm{PGL}}_n/\mathrm{PO}_{n}\), we show the bound \(\Vert F|_{\Omega }\Vert _{\infty } \ll _{ \Omega } N^{\varepsilon } \lambda _F^{n(n-1)/8 - \delta }\) for some constant \(\delta = \delta _n> 0\) depending only on n.     

On height isotopy classes of embeddings in the plane of a Morse function of a circle

Let \(\mathrm{SM}_{2n}(S^1,\mathbb {R})\) be a set of stable Morse functions of an oriented circle such that the number of singular points is \(2n\in \mathbb {N}\) and the order of singular values satisfies the particular condition. For an orthogonal projection \(\pi :\mathbb {R}^2\rightarrow \mathbb {R}\), let \({\tilde{f}}_0\) and \({\tilde{f}}_1:S^1\rightarrow \mathbb {R}^2\) be embedding lifts of f. If there is an ambient isotopy \(\tilde{\varphi }_t:\mathbb {R}^2\rightarrow \mathbb {R}^2\) \((t\in [0,1])\) such that \({\pi \circ \tilde{\varphi }}_t(y_1,y_2)=y_1\) and \(\tilde{\varphi }_1\circ {\tilde{f}}_0={\tilde{f}}_1\), we say that \({\tilde{f}}_0\) and \({\tilde{f}}_1\) are height isotopic. We define a function \(I:\mathrm{SM}_{2n}(S^1,\mathbb {R})\rightarrow \mathbb {N}\) as follows: I(f) is the number of height isotopy classes of embeddings such that each rotation number is one. In this paper, we determine the maximal value of the function I equals the n-th Baxter number and the minimal value equals \(2^{n-1}\).     

Characterization of some derivations on von Neumann algebras via left centralizers

Let \(\mathfrak {M}\) be a von Neumann algebra, and let \(\mathfrak {T}:\mathfrak {M} \rightarrow \mathfrak {M}\) be a bounded linear map satisfying \(\mathfrak {T}(P^{2}) = \mathfrak {T}(P)P + \Psi (P,P)\) for each projection P of \(\mathfrak {M}\), where \(\Psi :\mathfrak {M} \times \mathfrak {M} \rightarrow \mathfrak {M}\) is a bi-linear map. If \(\Psi \) is a bounded l-semi Hochschild 2-cocycle, then \(\mathfrak {T}\) is a left centralizer associated with \(\Psi \). By applying this conclusion, we offer a characterization of left \(\sigma \)-centralizers, generalized derivations and generalized \(\sigma \)-derivations on von Neumann algebras. Moreover, it is proved that if \(\mathfrak {M}\) is a commutative von Neumann algebra and \(\sigma :\mathfrak {M} \rightarrow \mathfrak {M}\) is an endomorphism, then every bi-\(\sigma \)-derivation \(D:\mathfrak {M} \times \mathfrak {M} \rightarrow \mathfrak {M}\) is identically zero.     

On the image,characterization, and automatic continuity of $$\varvec{(\sigma }, \varvec{\tau }$$ )-derivations

The first main theorem of this paper asserts that any \((\sigma , \tau )\)-derivation d, under certain conditions, either is a \(\sigma \)-derivation or is a scalar multiple of (\(\sigma - \tau \)), i.e. \(d = \lambda (\sigma - \tau )\) for some \(\lambda \in \mathbb {C} \backslash \{0\}\). By using this characterization, we achieve a result concerning the automatic continuity of \((\sigma , \tau \))-derivations on Banach algebras which reads as follows. Let \(\mathcal {A}\) be a unital, commutative, semi-simple Banach algebra, and let \(\sigma , \tau : \mathcal {A} \rightarrow \mathcal {A}\) be two distinct endomorphisms such that \(\varphi \sigma (\mathbf e )\) and \(\varphi \tau (\mathbf e )\) are non-zero complex numbers for all \(\varphi \in \Phi _\mathcal {A}\). If \(d : \mathcal {A} \rightarrow \mathcal {A}\) is a \((\sigma , \tau )\)-derivation such that \(\varphi d\) is a non-zero linear functional for every \(\varphi \in \Phi _\mathcal {A}\), then d is automatically continuous. As another objective of this research, we prove that if \(\mathfrak {M}\) is a commutative von Neumann algebra and \(\sigma :\mathfrak {M} \rightarrow \mathfrak {M}\) is an endomorphism, then every Jordan \(\sigma \)-derivation \(d:\mathfrak {M} \rightarrow \mathfrak {M}\) is identically zero.     

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.

     

Largest initial segments pointwise fixed by automorphisms of models of set theory

Given a model \(\mathcal {M}\) of set theory, and a nontrivial automorphism j of \(\mathcal {M}\), let \(\mathcal {I}_{\mathrm {fix}}(j)\) be the submodel of \(\mathcal {M}\) whose universe consists of elements m of \(\mathcal {M}\) such that \(j(x)=x\) for every x in the transitive closure of m (where the transitive closure of m is computed within \(\mathcal {M}\)). Here we study the class \(\mathcal {C}\) of structures of the form \(\mathcal {I}_{\mathrm {fix}}(j)\), where the ambient model \(\mathcal {M}\) satisfies a frugal yet robust fragment of \(\mathrm {ZFC}\) known as \(\mathrm {MOST}\), and \(j(m)=m\) whenever m is a finite ordinal in the sense of \(\mathcal {M}.\) Our main achievement is the calculation of the theory of \(\mathcal {C}\) as precisely \(\mathrm {MOST+\Delta }_{0}^{\mathcal {P}}\)-\(\mathrm {Collection}\). The following theorems encapsulate our principal results: Theorem A. Every structure in \(\mathcal {C}\) satisfies \(\mathrm {MOST+\Delta }_{0}^{\mathcal {P}}\)-\(\mathrm { Collection}\). Theorem B. Each of the following three conditions is sufficient for a countable structure \(\mathcal {N}\) to be in \(\mathcal {C}\):(a) \(\mathcal {N}\) is a transitive model of \(\mathrm {MOST+\Delta }_{0}^{\mathcal {P}}\)-\(\mathrm {Collection}\).(b) \(\mathcal {N}\) is a recursively saturated model of \(\mathrm {MOST+\Delta }_{0}^{\mathcal {P}}\)-\(\mathrm {Collection}\).(c) \(\mathcal {N}\) is a model of \(\mathrm {ZFC}\). Theorem C. Suppose \(\mathcal {M}\) is a countable recursively saturated model of \(\mathrm {ZFC}\) and I is a proper initial segment of \(\mathrm {Ord}^{\mathcal {M}}\) that is closed under exponentiation and contains \(\omega ^\mathcal {M}\) . There is a group embedding \(j\longmapsto \check{j}\) from \(\mathrm {Aut}(\mathbb {Q})\) into \(\mathrm {Aut}(\mathcal {M})\) such that I is the longest initial segment of \(\mathrm {Ord}^{\mathcal {M}}\) that is pointwise fixed by \(\check{j}\) for every nontrivial \(j\in \mathrm {Aut}(\mathbb {Q}).\) In Theorem C, \(\mathrm {Aut}(X)\) is the group of automorphisms of the structure X, and \(\mathbb {Q}\) is the ordered set of rationals.     

The nonlocal Liouville-type equation in $$\mathbb {}$$ and conformal immersions of the disk with boundary singularities

In this paper we perform a blow-up and quantization analysis of the fractional Liouville equation in dimension 1. More precisely, given a sequence \(u_k :\mathbb {R}\rightarrow \mathbb {R}\) of solutions to

$$\begin{aligned} (-\Delta )^\frac{1}{2} u_k =K_ke^{u_k}\quad \text {in} \quad \mathbb {R}, \end{aligned}$$

(1)

with \(K_k\) bounded in \(L^\infty \) and \(e^{u_k}\) bounded in \(L^1\) uniformly with respect to k, we show that up to extracting a subsequence \(u_k\) can blow-up at (at most) finitely many points \(B=\{a_1,\ldots , a_N\}\) and that either (i) \(u_k\rightarrow u_\infty \) in \(W^{1,p}_{{{\mathrm{loc}}}}(\mathbb {R}{\setminus } B)\) and \(K_ke^{u_k} {\mathop {\rightharpoonup }\limits ^{*}}K_\infty e^{u_\infty }+ \sum _{j=1}^N \pi \delta _{a_j}\), or (ii) \(u_k\rightarrow -\infty \) uniformly locally in \(\mathbb {R}{\setminus } B\) and \(K_k e^{u_k} {\mathop {\rightharpoonup }\limits ^{*}}\sum _{j=1}^N \alpha _j \delta _{a_j}\) with \(\alpha _j\ge \pi \) for every j. This result, resting on the geometric interpretation and analysis of (1) provided in a recent collaboration of the authors with T. Rivière and on a classical work of Blank about immersions of the disk into the plane, is a fractional counterpart of the celebrated works of Brézis–Merle and Li–Shafrir on the 2-dimensional Liouville equation, but providing sharp quantization estimates (\(\alpha _j=\pi \) and \(\alpha _j\ge \pi \)) which are not known in dimension 2 under the weak assumption that \((K_k)\) be bounded in \(L^\infty \) and is allowed to change sign.

     

Construction of sign-changing solutions for a harmonic equation with subcritical exponent

In this paper, we study the harmonic equation involving subcritical exponent \((P_{\varepsilon })\): \( \Delta u = 0 \), in \(\mathbb {B}^n\) and \(\displaystyle \frac{\partial u}{\partial \nu } + \displaystyle \frac{n-2}{2}u = \displaystyle \frac{n-2}{2} K u^{\frac{n}{n-2}-\varepsilon }\) on \( \mathbb {S}^{n-1}\) where \(\mathbb {B}^n \) is the unit ball in \(\mathbb {R}^n\), \(n\ge 5\) with Euclidean metric \(g_0\), \(\partial \mathbb {B}^n = \mathbb {S}^{n-1}\) is its boundary, K is a function on \(\mathbb {S}^{n-1}\) and \(\varepsilon \) is a small positive parameter. We construct solutions of the subcritical equation \((P_{\varepsilon })\) which blow up at two different critical points of K. Furthermore, we construct solutions of \((P_{\varepsilon })\) which have two bubbles and blow up at the same critical point of K.     

Malcev products of unipotent monoids and varieties of bands

Let \(\mathcal{U}\) be the class of all unipotent monoids and \(\mathcal{B}\) the variety of all bands. We characterize the Malcev product \(\mathcal{U} \circ \mathcal{V}\) where \(\mathcal{V}\) is a subvariety of \(\mathcal{B}\) low in its lattice of subvarieties, \(\mathcal{B}\) itself and the subquasivariety \(\mathcal{S} \circ \mathcal{RB}\), where \(\mathcal{S}\) stands for semilattices and \(\mathcal{RB}\) for rectangular bands, in several ways including by a set of axioms. For members of some of them we describe the structure as well. This succeeds by using the relation \(\widetilde{\mathcal{H}}= \widetilde{\mathcal{L}} \cap \widetilde{\mathcal{R}}\), where \(a\;\,\widetilde{\mathcal{L}}\;\,b\) if and only if a and b have the same idempotent right identities, and \(\widetilde{\mathcal{R}}\) is its dual.We also consider \((\mathcal{U} \circ \mathcal{RB}) \circ \mathcal{S}\) which provides the motivation for this study since \((\mathcal{G} \circ \mathcal{RB}) \circ \mathcal{S}\) coincides with completely regular semigroups, where \(\mathcal{G}\) is the variety of all groups. All this amounts to a generalization of the latter: \(\mathcal{U}\) instead of \(\mathcal{G}\).     

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

Positive Systems of Kostant Roots

Let \(\mathfrak {g}\) be a simple complex Lie algebra and let \(\mathfrak {t} \subset \mathfrak {g}\) be a toral subalgebra of \(\mathfrak {g}\). As a \(\mathfrak {t}\)-module \(\mathfrak {g}\) decomposes as

$$\mathfrak{g} = \mathfrak{s} \oplus \left( \oplus_{\nu \in \mathcal{R}}~ \mathfrak{g}^{\nu}\right)$$

where \(\mathfrak {s} \subset \mathfrak {g}\) is the reductive part of a parabolic subalgebra of \(\mathfrak {g}\) and \(\mathcal {R}\) is the Kostant root system associated to \(\mathfrak {t}\). When \(\mathfrak {t}\) is a Cartan subalgebra of \(\mathfrak {g}\) the decomposition above is nothing but the root decomposition of \(\mathfrak {g}\) with respect to \(\mathfrak {t}\); in general the properties of \(\mathcal {R}\) resemble the properties of usual root systems. In this note we study the following problem: “Given a subset \(\mathcal {S} \subset \mathcal {R}\), is there a parabolic subalgebra \(\mathfrak {p}\) of \(\mathfrak {g}\) containing \(\mathcal {M} = \oplus _{\nu \in \mathcal {S}} \mathfrak {g}^{\nu }\) and whose reductive part equals \(\mathfrak {s}\)?”. Our main results is that, for a classical simple Lie algebra \(\mathfrak {g}\) and a saturated \(\mathcal {S} \subset \mathcal {R}\), the condition \((\text {Sym}^{\cdot }(\mathcal {M}))^{\mathfrak {s}} = \mathbb {C}\) is necessary and sufficient for the existence of such a \(\mathfrak {p}\). In contrast, we show that this statement is no longer true for the exceptional Lie algebras F₄,E₆,E₇, and E₈. Finally, we discuss the problem in the case when \(\mathcal {S}\) is not saturated.

     

Representation of real Riesz maps on a strong <Emphasis Type="Italic">f</Emphasis>-ring by prime elements of a frame

In classical topology, it is proved that for a topological space X, every bounded Riesz map \(\varphi :C (X) \rightarrow {\mathbb {R}}\) is of the from \({\hat{x}}\) for a point \(x\in X\). In this paper, our main purpose is to prove a version of this result by lattice-valued maps. A ring representation of the from \(A\rightarrow {\mathbb {R}}\) is constructed. This representation is denoted by \(\widetilde{p_c}\) that is an onto f-ring homomorphism for every \(p\in \Sigma L\), where its index c, denotes a cozero lattice-valued map. Also, it is shown that for every Riesz map \(\phi :A\rightarrow {\mathbb {R}} \) and \(c\in F(A, L)\) with specific properties, there exists \(p\in \Sigma L\) such that \(\phi =\phi (1)\widetilde{p_c}\).     

Estimates for coefficients of certain <Emphasis Type="Italic">L</Emphasis>-functions

Let \(\pi _{\varphi }\) (or \(\pi _{\psi }\)) be an automorphic cuspidal representation of \(\text {GL}_{2} (\mathbb {A}_{\mathbb {Q}})\) associated to a primitive Maass cusp form \(\varphi \) (or \(\psi \)), and \(\mathrm{sym}^j \pi _{\varphi }\) be the jth symmetric power lift of \(\pi _{\varphi }\). Let \(a_{\mathrm{sym}^j \pi _{\varphi }}(n)\) denote the nth Dirichlet series coefficient of the principal L-function associated to \(\mathrm{sym}^j \pi _{\varphi }\). In this paper, we study first moments of Dirichlet series coefficients of automorphic representations \(\mathrm{sym}^3 \pi _{\varphi }\) of \(\text {GL}_{4}(\mathbb {A}_{\mathbb {Q}})\), and \(\pi _{\psi }\otimes \mathrm{sym}^2 \pi _{\varphi }\) of \(\text {GL}_{6}(\mathbb {A}_{\mathbb {Q}})\). For \(3 \le j \le 8\), estimates for \(|a_{\mathrm{sym}^j \pi _{\varphi }}(n)|\) on average over a short interval have also been established.     

Upper and lower fast Khintchine spectra in continued fractions

For an irrational number \(x\in [0,1)\), let \(x=[a_1(x), a_2(x),\ldots ]\) be its continued fraction expansion. Let \(\psi : \mathbb {N} \rightarrow \mathbb {N}\) be a function with \(\psi (n)/n\rightarrow \infty \) as \(n\rightarrow \infty \). The (upper, lower) fast Khintchine spectrum for \(\psi \) is defined as the Hausdorff dimension of the set of numbers \(x\in (0,1)\) for which the (upper, lower) limit of \(\frac{1}{\psi (n)}\sum _{j=1}^n\log a_j(x)\) is equal to 1. The fast Khintchine spectrum was determined by Fan, Liao, Wang, and Wu. We calculate the upper and lower fast Khintchine spectra. These three spectra can be different.     

Absolute continuity and singularity of Palm measures of the Ginibre point process

We prove a dichotomy between absolute continuity and singularity of the Ginibre point process \(\mathsf {G}\) and its reduced Palm measures \(\{\mathsf {G}_{\mathbf {x}}, \mathbf {x} \in \mathbb {C}^{\ell }, \ell = 0,1,2\ldots \}\), namely, reduced Palm measures \(\mathsf {G}_{\mathbf {x}}\) and \(\mathsf {G}_{\mathbf {y}}\) for \(\mathbf {x} \in \mathbb {C}^{\ell }\) and \(\mathbf {y} \in \mathbb {C}^{n}\) are mutually absolutely continuous if and only if \(\ell = n\); they are singular each other if and only if \(\ell \not = n\). Furthermore, we give an explicit expression of the Radon–Nikodym density \(d\mathsf {G}_{\mathbf {x}}/d \mathsf {G}_{\mathbf {y}}\) for \(\mathbf {x}, \mathbf {y} \in \mathbb {C}^{\ell }\).