On the Rabinowitz Floer homology of twisted cotangent bundles

Let (M, g) be a closed connected orientable Riemannian manifold of dimension n????2. Let ??:?=??? ₀?+??? ^* ?? denote a twisted symplectic form on T ^* M, where ${\sigma\in\Omega^{2}(M)}$ is a closed 2-form and ?? ₀ is the canonical symplectic structure ${dp\wedge dq}$ on T ^* M. Suppose that ?? is weakly exact and its pullback to the universal cover ${\widetilde{M}}$ admits a bounded primitive. Let ${H:T^{*}M\rightarrow\mathbb{R}}$ be a Hamiltonian of the form ${(q,p)\mapsto\frac{1}{2}\left|p\right|^{2}+U(q)}$ for ${U\in C^{\infty}(M,\mathbb{R})}$ . Let ?? _k :?=?H ^?1(k), and suppose that k?>?c(g, ??, U), where c(g, ??, U) denotes the Ma?é critical value. In this paper we compute the Rabinowitz Floer homology of such hypersurfaces. Under the stronger condition that k?>?c ₀(g, ??, U), where c ₀(g, ??, U) denotes the strict Ma?é critical value, Abbondandolo and Schwarz (J Topol Anal 1:307?C405, 2009) recently computed the Rabinowitz Floer homology of such hypersurfaces, by means of a short exact sequence of chain complexes involving the Rabinowitz Floer chain complex and the Morse (co)chain complex associated to the free time action functional. We extend their results to the weaker case k?>?c(g, ??, U), thus covering cases where ?? is not exact. As a consequence, we deduce that the hypersurface ?? _k is never (stably) displaceable for any k?>?c(g, ??, U). This removes the hypothesis of negative curvature in Cieliebak et?al. (Geom Topol 14:1765?C1870, 2010, Theorem 1.3) and thus answers a conjecture of Cieliebak, Frauenfelder and Paternain raised in Cieliebak et?al. (2010). Moreover, following Albers and Frauenfelder (2009; J Topol Anal 2:77?C98, 2010) we prove that for k?>?c(g, ??, U), any ${\psi\in\mbox{Ham}_{c}(T^{*}M,\omega)}$ has a leaf-wise intersection point in ?? _k , and that if in addition ${\dim\, H_{*}(\Lambda M;\mathbb{Z}_{2})=\infty}$ , dim M????2, and the metric g is chosen generically, then for a generic ${\psi\in\mbox{Ham}_{c}(T^{*}M,\omega)}$ there exist infinitely many such leaf-wise intersection points.     

Deciding the existence of uniform interpolants over transitive models

We consider the problem of the existence of uniform interpolants in the modal logic K4. We first prove that all ${\square}$ -free formulas have uniform interpolants in this logic. In the general case, we shall prove that given a modal formula ${\phi}$ and a sublanguage L of the language of the formula, we can decide whether ${\phi}$ has a uniform interpolant with respect to L in K4. The ${\square}$ -free case is proved using a reduction to the G?del L?b Logic GL, while in the general case we prove that the question of whether a modal formula has uniform interpolants over transitive frames can be reduced to a decidable expressivity problem on the???-calculus.     

Mass Transport and Uniform Rectifiability

In this paper we characterize the so called uniformly rectifiable sets of David and Semmes in terms of the Wasserstein distance W ₂ from optimal mass transport. To obtain this result, we first prove a localization theorem for the distance W ₂ which asserts that if??? and ?? are probability measures in ${{\mathbb{R}^n}}$ , ${{\varphi}}$ is a radial bump function smooth enough so that ${{\int \varphi d \mu \gtrsim 1}}$ , and??? has a density bounded from above and from below on supp( ${{\varphi}}$ ), then ${{W_2(\varphi \mu, a\varphi \nu) \leq cW_2(\mu, \nu)}}$ , where ${{a = \int \varphi d\mu/ \int \varphi d\nu}}$ .     

Fixed points of automorphisms preserving the length of words in free solvable groups

Let ?? be an automorphism of prime order p of the free group F _n . Suppose ?? has no fixed points and preserves the length of words. By ?? :=??? ^(m) we denote the automorphism of the free solvable group ${F_{n}/F_n^{(m)} }$ induced by ??. We show that every fixed point of ?? has the form ${cc^{\sigma} \ldots c^{\sigma^{p-1}}}$ , where ${c\in F_n^{(m-1)}/F_n^{(m)}}$ . This is a generalization of some known results, including the Macedo??ska?CSolitar Theorem [10].     

Diagram Groupoids and von Neumann Algebras

The main purpose of this paper is to study certain algebraic structures induced by directed graphs. We have studied graph groupoids, which are algebraic structures induced by given graphs. By defining a certain groupoid-homomorphism ?? on the graph groupoid ${\mathbb{G}}$ of a given graph G, we define the diagram of G by the image ${\delta(\mathbb{G})}$ of ??, equipped with the inherited binary operation on ${\mathbb{G}}$ . We study the fundamental properties of the diagram ${\delta(\mathbb{G})}$ , and compare them with those of ${\mathbb{G}}$ . Similar to Cho (Acta Appl Math 95:95?C134, 2007), we construct the groupoid von Neumann algebra ${\mathcal{M}_{G}=vN(\delta(\mathbb{G}))}$ , generated by ${\delta(\mathbb{G})}$ , and consider the operator algebraic properties of ${\mathcal{M}_{G}}$ . In particular, we show ${\mathcal{M}_{G}}$ is *-isomorphic to a von Neumann algebra generated by a family of idempotent operators and nilpotent operators, under suitable representations.     

Stepwise square integrable representations of nilpotent Lie groups

We study the conditions for a nilpotent Lie group to be foliated into subgroups that have square integrable (relative discrete series) unitary representations, that fit together to form a filtration by normal subgroups. Then we use that filtration to construct a class of “stepwise square integrable” representations on which Plancherel measure is concentrated. Further, we work out the character formulae for those stepwise square integrable representations, and we give an explicit Plancherel formula. Next, we use some structure theory to check that all these constructions and results apply to nilradicals of minimal parabolic subgroups of real reductive Lie groups. Finally, we develop multiplicity formulae for compact quotients $N/\varGamma $ where $\varGamma $ respects the filtration.     

Composition Operators on Spaces of Fractional Cauchy Transforms

For ?? > 0, the Banach space ${\mathcal{F}_{\alpha}}$ is defined as the collection of functions f which can be represented as integral transforms of an appropriate kernel against a Borel measure defined on the unit circle T. Let ?? be an analytic self-map of the unit disc D. The map ?? induces a composition operator on ${\mathcal{F}_{\alpha}}$ if ${C_{\Phi}(f) = f \circ \Phi \in \mathcal{F}_{\alpha}}$ for any function ${f \in \mathcal{F}_{\alpha}}$ . Various conditions on ?? are given, sufficient to imply that C _?? is bounded on ${\mathcal{F}_{\alpha}}$ , in the case 0 < ?? < 1. Several of the conditions involve ???? and the theory of multipliers of the space ${\mathcal{F}_{\alpha}}$ . Relations are found between the behavior of C _?? and the membership of ?? in the Dirichlet spaces. Conditions given in terms of the generalized Nevanlinna counting function are shown to imply that ?? induces a bounded composition operator on ${\mathcal{F}_{\alpha}}$ , in the case 1/2 ?? ?? < 1. For such ??, examples are constructed such that ${\| \Phi \|_{\infty} = 1}$ and ${C_{\Phi}: \mathcal{F}_{\alpha} \rightarrow \mathcal{F}_{\alpha}}$ is bounded.     

Eta Cocycles, Relative Pairings and the Godbillon–Vey Index Theorem

We prove a Godbillon?CVey index formula for longitudinal Dirac operators on a foliated bundle with boundary ${(X,\mathcal{F})}$ ; in particular, we define a Godbillon?CVey eta invariant on ${(\partial X,\mathcal{F}_{\partial}),}$ that is, a secondary invariant for longitudinal Dirac operators on type III foliations. Moreover, employing the Godbillon?CVey index as a pivotal example, we explain a new approach to higher index theory on geometric structures with boundary. This is heavily based on the interplay between the absolute and relative pairings of K-theory and cyclic cohomology for an exact sequence of Banach algebras, which in the present context takes the form ${0 \to \mathbf{\mathfrak{J}} \to \mathbf{\mathfrak{A}} \to \mathbf{\mathfrak{B}} \to 0}$ with ${ \mathbf{\mathfrak{J}}}$ dense and holomorphically closed in ${C^* (X,\mathcal{F})}$ and ${ \mathbf{\mathfrak{B}}}$ depending only on boundary data. Of particular importance is the definition of a relative cyclic cocycle ${(\tau_{GV}^r,\sigma_{GV})}$ for the pair ${\mathbf{\mathfrak{A}} \to \mathbf{\mathfrak{B}}}$ ; ${\tau_{GV}^r}$ is a cyclic cochain on ${\mathbf{\mathfrak{A}}}$ defined through a regularization à la Melrose of the usual Godbillon?CVey cyclic cocycle ?? _GV ; ?? _GV is a cyclic cocycle on ${\mathbf{\mathfrak{B}}}$ , obtained through a suspension procedure involving ?? _GV and a specific 1-cyclic cocycle (Roe??s 1-cocycle). We call ?? _GV the eta cocycle associated to ?? _GV . The Atiyah?CPatodi?CSinger formula is obtained by defining a relative index class ${{\rm Ind} (D,D^\partial) \in K_* (\mathbf{\mathfrak{A}}, \mathbf{\mathfrak{B}})}$ and establishing the equality ${\langle {\rm Ind} (D), [\tau_{GV}] \rangle\,=\,\langle {\rm Ind} (D,D^\partial), [(\tau^r_{GV}, \sigma_{GV})] \rangle}$ . The Godbillon?CVey eta invariant ?? _GV is obtained through the eta cocycle ?? _GV .     

Approximating the maximum size of a k-regular induced subgraph by an upper bound on the co-k-plex number

Let ?? _k and $ {\hat{\alpha }_k} $ denote respectively the maximum cardinality of a k-regular induced subgraph and the co-k-plex number of a given graph. In this paper, we introduce a convex quadratic programming upper bound on $ {\hat{\alpha }_k} $ , which is also an upper bound on ?? _k . The new bound denoted by $ {\hat{\upsilon }_k} $ improves the bound ?? _k given in [3]. For regular graphs, we prove a necessary and sufficient condition under which $ {\hat{\upsilon }_k} $ equals ?? _k . We also show that the graphs for which $ {\hat{\alpha }_k} $ equals $ {\hat{\upsilon }_k} $ coincide with those such that ?? _k equals ?? _k . Next, an improvement of $ {\hat{\upsilon }_k} $ denoted by $ {\hat{\vartheta }_k} $ is proposed, which is not worse than the upper bound ? _k for ?? _k introduced in [8]. Finally, some computational experiments performed to appraise the gains brought by $ {\hat{\vartheta }_k} $ are reported.     

Norms and Essential Norms of the Singular Integral Operator with Cauchy Kernel on Weighted Lebesgue Spaces

Let ?? and ?? be bounded measurable functions on the unit circle ${\mathbb{T}}$ , and let L ²(W) be a weighted L ² space on ${\mathbb{T}}$ . The singular integral operator S _??,?? is defined by ${S_{\alpha, \beta}f = \alpha Pf + \beta Qf~ (f \in L^2(W))}$ where P is an analytic projection and Q = I ? P is a co-analytic projection. In the previous paper, the essential norm of S _??,?? are calculated in the case when W is a constant function. In this paper, the essential norm of S _??,?? are estimated in the case when W is an A ₂-weight.     

The reverse H?lder inequality for power means

For a function ?? non-negative on the interval [0, 1], the power mean of order ??????0 is defined by the equality $ \mathcal{M}_{\alpha \varphi} (t) = {\left( {\frac{1}{t}\int_0^t {{\varphi^\alpha }(u)du} } \right)^{1/\alpha }},\,0 < t \leqslant 1 $ . We consider the class $ {\widetilde{{RH}}^{\alpha, \beta }}(B) $ of functions ?? satisfying the reverse H?lder inequality $$ {\mathcal{M}_\beta }_\varphi \leqslant B \cdot {\mathcal{M}_\alpha }_\varphi $$ at some ???<???,??·??????0,???>?1. The sharp estimates for the summability exponents of the compositions of power means are established. As a result, we determine the properties of self-improvement of the summability exponents of functions from $ {\widetilde{{RH}}^{\alpha, \beta }}(B) $ .     

Integrable Representations of Involutive Algebras and Ore Localization

Let ${\mathcal A}$ be a unital algebra equipped with an involution (·)^?, and suppose that the multiplicative set ${\mathcal S}\subseteq {\mathcal A}$ generated by the elements of the form 1?+?a ^? a contains only regular elements and satisfies the Ore condition. We prove that ultracyclic representations of ${\mathcal A}$ admit an integrable extension, and that integrable representations of ${\mathcal A}$ are in bijection with representations of the Ore localization ${\mathcal A}\mathcal S^{-1}$ (which is an involutive algebra). This second result can be understood as a restricted converse to a theorem by Inoue asserting that representations of symmetric involutive algebras are integrable.     

Euler–Maclaurin Expansions for Integrals with Arbitrary Algebraic-Logarithmic Endpoint Singularities

In this paper, we provide the Euler?CMaclaurin expansions for (offset) trapezoidal rule approximations of the finite-range integrals $I[f]=\int^{b}_{a}f(x)\,dx$ , where f??C ^??(a,b) but can have general algebraic-logarithmic singularities at one or both endpoints. These integrals may exist either as ordinary integrals or as Hadamard finite part integrals. We assume that f(x) has asymptotic expansions of the general forms where $\widehat{P}(y),P_{s}(y)$ and $\widehat{Q}(y),Q_{s}(y)$ are polynomials in y. The ?? _s and ?? _s are distinct, complex in general, and different from ?1. They also satisfy The results we obtain in this work extend the results of a recent paper [A.?Sidi, Numer. Math. 98:371?C387, 2004], which pertain to the cases in which $\widehat{P}(y)\equiv0$ and $\widehat{Q}(y)\equiv0$ . They are expressed in very simple terms based only on the asymptotic expansions of f(x) as x??a+ and x??b?. The results we obtain in this work generalize, and include as special cases, all those that exist in the literature. Let $D_{\omega}=\frac{d}{d\omega}$ , h=(b?a)/n, where n is a positive integer, and define $\check{T}_{n}[f]=h\sum^{n-1}_{i=1}f(a+ih)$ . Then with $\widehat{P}(y)=\sum^{\hat{p}}_{i=0}{\hat{c}}_{i}y^{i}$ and $\widehat{Q}(y)=\sum^{\hat{q}}_{i=0}{\hat{d}}_{i}y^{i}$ , one of these results reads where ??(z) is the Riemann Zeta function and ?? _i are Stieltjes constants defined via $\sigma_{i}= \lim_{n\to\infty}[\sum^{n}_{k=1}\frac{(\log k)^{i}}{k}-\frac{(\log n)^{i+1}}{i+1}]$ , i=0,1,???.     

MAD families of projections on l 2 and real-valued functions on ��

Two sets are said to be almost disjoint if their intersection is finite. Almost disjoint subsets of [??] ^?? and ?? ^?? have been studied for quite some time. In particular, the cardinal invariants ${\mathfrak{a}}$ and ${\mathfrak{a}_e}$ , defined to be the minimum cardinality of a maximal infinite almost disjoint family of [??] ^?? and ?? ^?? respectively, are known to be consistently less than ${\mathfrak{c}}$ . Here we examine analogs for functions in ${\mathbb{R}^\omega}$ and projections on l ², showing that they too can be consistently less than ${\mathfrak{c}}$ .     

Asymptotic uniformity of the quantization error of self-similar measures

Let??? be a self-similar measure on ${\mathbb{R}^d}$ associated with a family of contractive similitudes {S ₁, . . . , S _N } and a probability vector {p ₁, . . . , p _N }. Let ${(\alpha_n)_{n=1}^\infty}$ be a sequence of n-optimal sets for??? of order r. For each n, we denote by ${\{P_a(\alpha_n) : a \in \alpha_n\}}$ a Voronoi partition of ${\mathbb{R}^d}$ with respect to ?? _n . Under the strong separation condition for {S ₁, . . . , S _N }, we show that the nth quantization error of??? of order ${r \in [1, \infty)}$ satisfies the following asymptotic uniformity property: $$\int \limits _{P_a(\alpha_n)}{\rm d}(x, a)^rd\mu(x) \asymp \frac{1}{n}V_{n,r}(\mu),\quad {\rm for\,all}\,a \in \alpha_n.$$      

A geometric interpretation of the transition density of a symmetric Lévy process

We study for a class of symmetric Lévy processes with state space R n the transition density pt（x） in terms of two one-parameter families of metrics, （dt）t>0 and （δt）t>0. The first family of metrics describes the diagonal term pt（0）; it is induced by the characteristic exponent ψ of the Lévy process by dt（x, y） = ^1/2tψ（x-y）. The second and new family of metrics δt relates to ^1/2tψ through the formulawhere F denotes the Fourier transform. Thus we obtain the following "Gaussian" representation of the transition density: pt（x） = pt（0）e- δ2t （x,0） where pt（0） corresponds to a volume term related to tψ and where an "exponential" decay is governed by δ2t . This gives a complete and new geometric, intrinsic interpretation of pt（x）.     

A Bijective Proof of a Factorization Formula for Specialized Macdonald Polynomials

Let??? and ?? = (?? ₁, . . . , ?? _k ) be partitions such that??? is obtained from ?? by adding m parts of size r. Descouens and Morita proved algebraically that the modified Macdonald polynomials ${{\tilde{H}_\mu}(X; q, t)}$ satisfy the identity ${{\tilde{H}_\mu} = \tilde{H}_\nu \tilde{H}_{(r^m)}}$ when the parameter t is specialize to an mth root of unity. Descouens, Morita, and Numata proved this formula bijectively when r ?? ?? _k and ${r \in \{1, 2\}}$ . This note gives a bijective proof of the formula for all r ?? ?? _k .     

A Congruence Connecting Latin Rectangles and Partial Orthomorphisms

A partial orthomorphism of ${\mathbb{Z}_{n}}$ is an injective map ${\sigma : S \rightarrow \mathbb{Z}_{n}}$ such that ${S \subseteq \mathbb{Z}_{n}}$ and ??(i)?Ci ? ??(j)? j (mod n) for distinct ${i, j \in S}$ . We say ?? has deficit d if ${|S| = n - d}$ . Let ??(n, d) be the number of partial orthomorphisms of ${\mathbb{Z}_{n}}$ of deficit d. Let ??(n, d) be the number of partial orthomorphisms ?? of ${\mathbb{Z}_n}$ of deficit d such that ??(i) ? {0, i} for all ${i \in S}$ . Then ??(n, d) =???(n, d)n ²/d ² when ${1\,\leqslant\,d < n}$ . Let R _{k, n} be the number of reduced k ×?n Latin rectangles. We show that $$R_{k, n} \equiv \chi (p, n - p)\frac{(n - p)!(n - p - 1)!^{2}}{(n - k)!}R_{k-p,\,n-p}\,\,\,\,(\rm {mod}\,p)$$ when p is a prime and ${n\,\geqslant\,k\,\geqslant\,p + 1}$ . In particular, this enables us to calculate some previously unknown congruences for R _{n, n} . We also develop techniques for computing ??(n, d) exactly. We show that for each a there exists??? _a such that, on each congruence class modulo??? _a , ??(n, n-a) is determined by a polynomial of degree 2a in n. We give these polynomials for ${1\,\leqslant\,a\,\leqslant 6}$ , and find an asymptotic formula for ??(n, n-a) as n ?? ??, for arbitrary fixed a.     

On the symmetric Laplace derivative

Let f:?R??R be integrable in a neighbourhood of x??R. If there are real numbers ?? ₀,?? ₂,??,?? _2n?2 such that $$\lim_{s\to\infty}s^{2n+1} \int_0^\delta e^{-st}\left[\frac{f(x+t)+f(x-t)}{2}-\sum_{i=0}^{n-1}\frac{t^{2i}}{(2i)!}\alpha_{2i}\right]\, dt$$ exists for some ??>0 then the limit is called the 2n-th symmetric Laplace derivative at x. There is a corresponding definition of (2n+1)-th symmetric Laplace derivative. It is shown that this derivative is a generalization of the symmetric d.l.V.P. derivative. Some properties of this derivative are studied.     

Isothermic Submanifolds

We propose an answer to a question raised by F. Burstall: Is there any interesting theory of isothermic submanifolds of ? ⁿ of dimension greater than two? We call an n-immersion f(x) in ? ^m isothermic _k if the normal bundle of f is flat and x is a line of curvature coordinate system such that its induced metric is of the form $\sum_{i=1}^{n} g_{ii}\,\mathrm{d} x_{i}^{2}$ with $\sum_{i=1}^{n} \epsilon_{i} g_{ii}=0$ , where ?? _i =1 for 1??i??n?k and ?? _i =?1 for n?k<i??n. A smooth map (f ₁,??,f _n ) from an open subset ${\mathcal{O}}$ of ? ⁿ to the space of m×n matrices is called an n-tuple of isothermic _k n-submanifolds in ? ^m if each f _i is an isothermic _k immersion, $(f_{i})_{x_{j}}$ is parallel to $(f_{1})_{x_{j}}$ for all 1??i,j??n, and there exists an orthonormal frame (e ₁,??,e _n ) and a GL(n)-valued map (a _ij ) such that $\mathrm{d}f_{i}= \sum_{j=1}^{n} a_{ij} e_{j}\,\mathrm {d} x_{j}$ for 1??i??n. Isothermic₁ surfaces in ?³ are the classical isothermic surfaces in ?³. Isothermic _k submanifolds in ? ^m are invariant under conformal transformations. We show that the equation for n-tuples of isothermic _k n-submanifolds in ? ^m is the $\frac{O(m+n-k,k)}{O(m)\times O(n-k,k)}$ -system, which is an integrable system. Methods from soliton theory can therefore be used to construct Christoffel, Ribaucour, and Lie transforms, and to describe the moduli spaces of these geometric objects and their loop group symmetries.