The Idempotents of the TL n -Module {\otimes^{n}\mathbb{C}2} in Terms of Elements of {{\rm U}_{q} \mathfrak{sl}_2}

The vector space \({\otimes^{n}\mathbb{C}^2}\) upon which the XXZ Hamiltonian with n spins acts bears the structure of a module over both the Temperley–Lieb algebra \({{\rm TL}_{n}(\beta = q + q^{-1})}\) and the quantum algebra \({{\rm U}_{q} \mathfrak{sl}_2}\) . The decomposition of \({\otimes^{n}\mathbb{C}^2}\) as a \({{\rm U}_{q} \mathfrak{sl}_2}\) -module was first described by Rosso (Commun Math Phys 117:581–593, 1988), Lusztig (Cont Math 82:58–77, 1989) and Pasquier and Saleur (Nucl Phys B 330:523–556, 1990) and that as a TL _n -module by Martin (Int J Mod Phys A 7:645–673, 1992) (see also Read and Saleur Nucl Phys B 777(3):316–351, 2007; Gainutdinov and Vasseur Nucl Phys B 868:223–270, 2013). For q generic, i.e. not a root of unity, the TL _n -module \({\otimes^{n}\mathbb{C}^2}\) is known to be a sum of irreducible modules. We construct the projectors (idempotents of the algebra of endomorphisms of \({\otimes^{n}\mathbb{C}^2}\) ) onto each of these irreducible modules as linear combinations of elements of \({{\rm U}_{q} \mathfrak{sl}_2}\) . When q = q _c is a root of unity, the TL _n -module \({\otimes^{n}\mathbb{C}^2}\) (with n large enough) can be written as a direct sum of indecomposable modules that are not all irreducible. We also give the idempotents projecting onto these indecomposable modules. Their expression now involves some new generators, whose action on \({\otimes^{n}\mathbb{C}^2}\) is that of the divided powers \({(S^{\pm})^{(r)} = \lim_{q \rightarrow q_{c}} (S^{\pm})^r/[r]!}\) .     

Sharp higher-order Sobolev inequalities in the hyperbolic space {\mathbb{H}^n}

In this paper, we obtain the sharp k-th order Sobolev inequalities in the hyperbolic space ${\mathbb{H}^n}$ for all k = 1, 2, 3, . . . . This gives an answer to an open question raised by Aubin in [Aubin, Princeton University Press, Princeton (1982), pp. 176–177] for ${W^{k,2}(\mathbb{H}^n)}$ with k > 1. In addition, we prove that the associated Sobolev constants are optimal.     

Maximum scattered linear sets of pseudoregulus type and the Segre variety \mathcal{S}_{n,n}

In this paper we study a family of scattered $\mathbb{F}_{q}$ -linear sets of rank tn of the projective space PG(2n?1,q ^t ) (n≥1, t≥3), called of pseudoregulus type, generalizing results contained in Lavrauw and van de Voorde, Des. Codes Crypt. 20(1) (2013) and in Marino et al. J. Combin. Theory, Ser. A 114:769–788 (2007). As an application, we characterize, in terms of the associated linear sets, some classical families of semifields: the Generalized Twisted Fields and the 2-dimensional Knuth semifields.     

On predicate provability logics and binumerations of fragments of Peano arithmetic

Solovay proved (Israel J Math 25(3–4):287–304, 1976) that the propositional provability logic of any ∑₂-sound recursively enumerable extension of PA is characterized by the propositional modal logic GL. By contrast, Montagna proved in (Notre Dame J Form Log 25(2):179–189, 1984) that predicate provability logics of Peano arithmetic and Bernays–Gödel set theory are different. Moreover, Artemov proved in (Doklady Akademii Nauk SSSR 290(6):1289–1292, 1986) that the predicate provability logic of a theory essentially depends on the choice of a binumeration of the theory which is used to construct the provability predicate. In this paper, we compare predicate provability logics of I∑ _n ’s. For a binumeration α(x) of a recursive theory T, let PL _α(T) be the predicate provability logic of T defined by α(x). We prove that for any natural numbers i, j such that 0 < i < j, there exists a ∑₁ binumeration α(x) of some recursive axiomatization of I∑ _i such that ${{\sf PL}_\alpha({\rm I \Sigma}_i) \nsupseteq \bigcap_{\beta(x)}{\sf PL}_\beta({\rm I \Sigma}_j)}$ PL α ( I Σ i ) ? ? β ( x ) PL β ( I Σ j ) and ${{\sf PL}_\alpha({\rm I \Sigma}_i) \nsubseteq \bigcup_{\beta(x)}{\sf PL}_\beta({\rm I \Sigma}_j)}$ PL α ( I Σ i ) ? ? β ( x ) PL β ( I Σ j ) , where β(x) ranges over all ∑₁ binumerations of recursive axiomatizations of I∑ _j .     

Conservative fragments of {{S}^{1}_{2}} and {{R}^{1}_{2}}

Conservative subtheories of ${{R}^{1}_{2}}$ and ${{S}^{1}_{2}}$ are presented. For ${{S}^{1}_{2}}$ , a slight tightening of Je?ábek??s result (Math Logic Q 52(6):613?C624, 2006) that ${T^{0}_{2} \preceq_{\forall \Sigma^{b}_{1}}S^{1}_{2}}$ is presented: It is shown that ${T^{0}_{2}}$ can be axiomatised as BASIC together with induction on sharply bounded formulas of one alternation. Within this ${\forall\Sigma^{b}_{1}}$ -theory, we define a ${\forall\Sigma^{b}_{0}}$ -theory, ${T^{-1}_{2}}$ , for the ${\forall\Sigma^{b}_{0}}$ -consequences of ${S^{1}_{2}}$ . We show ${T^{-1}_{2}}$ is weak by showing it cannot ${\Sigma^{b}_{0}}$ -define division by 3. We then consider what would be the analogous ${\forall\hat\Sigma^{b}_{1}}$ -conservative subtheory of ${R^{1}_{2}}$ based on Pollett (Ann Pure Appl Logic 100:189?C245, 1999. It is shown that this theory, ${{T}^{0,\left\{2^{(||\dot{id}||)}\right\}}_{2}}$ , also cannot ${\Sigma^{b}_{0}}$ -define division by 3. On the other hand, we show that ${{S}^{0}_{2}+open_{\{||id||\}}}$ -COMP is a ${\forall\hat\Sigma^{b}_{1}}$ -conservative subtheory of ${R^{1}_{2}}$ . Finally, we give a refinement of Johannsen and Pollett (Logic Colloquium?? 98, 262?C279, 2000) and show that ${\hat{C}^{0}_{2}}$ is ${\forall\hat\Sigma^{b}_{1}}$ -conservative over a theory based on open _cl-comprehension.     

On boundedness of solutions of the difference equation x_{n+1}=p+\frac{x_{n-1}}{x_{n}} for p<1

In this paper, we study the difference equation $$x_{n+1}=p+\frac{x_{n-1}}{x_n}, \quad n=0,1,\ldots, $$ where initial values x _?1,x ₀∈(0,+∞) and 0<p<1, and obtain the set of all initial values (x _?1,x ₀)∈(0,+∞)×(0,+∞) such that the positive solutions $\{x_{n}\}_{n=-1}^{\infty}$ are bounded. This answers the Open problem 4.8.11 proposed by Kulenovic and Ladas (Dynamics of Second Order Rational Difference Equations, with Open Problems and Conjectures, 2002).     

Small tight sets of hyperbolic quadrics

An x-tight set of a hyperbolic quadric Q ⁺(2n + 1, q) can be described as a set M of points with the property that the number of points of M in the tangent hyperplanes of points of M is as big as possible. We show that such a set is necessarily the union of x mutually disjoint generators provided that x ≤ q and n ≤ 3, or that x < q, n ≥ 4 and q ≥ 71. This unifies and generalizes many results on x-tight sets that are presently known, see (J Comb Theory Ser A 114(7):1293–1314 [1], J Comb Des 16(4):342–349 [5], Des Codes Cryptogr 50:187–201 [4], Adv Geom 4(3):279–286 [8], Bull Lond Math Soc 42(6):991–996 [11]).     

Global solutions to the Navier–Stokes-{\bar \omega} and related models with rough initial data

We establish the global well-posedness of the Navier–Stokes- ${\bar \omega}$ model with initial data ${u_0 \in H^{1-s}(\mathbb{R}^3)}$ with ${0 < s < \frac{1}{2}}$ which improves the existence results in Fan and Zhou (Appl Math Lett 24:1915–1918, 2011), Layton et al. (Commun Pure Appl Anal 10:1763–1777, 2011) where the initial data are required belonging to ${H^2(\mathbb{R}^3)}$ . We also obtain the similar results for a family of Navier–Stokes-α-like and magnetohydrodynamic-α models.     

Stationary points of O’Hara’s knot energies

In this article we study the regularity of stationary points of the knot energies E ^(α) introduced by O’Hara (Topology 30(2):241–247, 1991; Topol Appl 48(2):147–161, 1992; Topol Appl 56(1):45–61, 1994) in the range ${\alpha\in(2,3)}$ . In a first step we prove that E ^(α) is C ¹ on the set of all regular embedded curves belonging to ${{H^{(\alpha+1)/2,2}(\mathbb {R}{/}\mathbb {Z}, \mathbb {R}^n)}}$ and calculate its derivative. After that we use the structure of the Euler-Lagrange equation to study the regularity of stationary points of E ^(α) plus a positive multiple of the length. We show that stationary points of finite energy are of class C ^∞—so especially all local minimizers of E ^(α) among curves with fixed length are smooth.     

Two Equivalent Properties of \mathcal{Z}_3-Connectivity

The concept of group connectivity was introduced by Jaeger et al. (J Comb Theory Ser B 56:165–182, 1992) for the study of integer flows. The concept of all generalized Tutte-orientations was introduced by Barát and Thomassen (J Graph Theory 52:135–146, 2006) for the study of claw-decompositions of graphs. In this paper, we establish the equivalence of the following 3 properties: a graph is $\mathcal{Z}_3$ -connected, a graph admits all generalized Tutte-orientations and a graph is 3-flow contractible. We also give some applications of this result.     

Two Inner Sequences Based Invariant Subspaces in {{H}^{2} (\mathbb{D}^{2})}

Let M be a shift invariant subspace in the vector-valued Hardy space ${H_{E}^{2}(\mathbb{D})}$ H E 2 ( D ) . The Beurling–Lax–Halmos theorem says that M can be completely characterized by ${\mathcal{B}(E)}$ B ( E ) -valued inner function ${\Theta}$ Θ . When ${E = H^{2}(\mathbb{D}),\,H_{E}^{2}(\mathbb{D})}$ E = H 2 ( D ) , H E 2 ( D ) is the Hardy space on the bidisk ${H^{2}(\mathbb{D}^2)}$ H 2 ( D 2 ) . Recently, Qin and Yang (Proc Am Math Soc, 2013) determines the operator valued inner function ${\Theta(z)}$ Θ ( z ) for two well-known invariant subspaces in ${H^{2}(\mathbb{D}^{2})}$ H 2 ( D 2 ) . This paper generalizes the ${\Theta(z)}$ Θ ( z ) by Qin and Yang (Proc Am Math Soc, 2013) and deal with the structure of ${M = {\Theta}(z)H^{2}(\mathbb{D}^{2})}$ M = Θ ( z ) H 2 ( D 2 ) when M is an invariant subspace in ${H^{2}(\mathbb{D}^{2})}$ H 2 ( D 2 ) . Unitary equivalence, spectrum of the compression operator and core operator are studied in this paper.     

Uniqueness of non-linear ground states for fractional Laplacians in {\mathbb{R}}

We prove uniqueness of ground state solutions Q = Q(|x|) ≥ 0 of the non-linear equation $$(-\Delta)^s Q+Q-Q^{\alpha+1}= 0 \quad {\rm in} \, \mathbb{R},$$ ( ? Δ ) s Q + Q ? Q α + 1 = 0 i n R , where 0 < s < 1 and 0 < α < 4s/(1?2s) for ${s<\frac{1}{2}}$ s < 1 2 and 0 < α < ∞ for ${s\geq \frac{1}{2}}$ s ≥ 1 2 . Here (?Δ) ^s denotes the fractional Laplacian in one dimension. In particular, we answer affirmatively an open question recently raised by Kenig–Martel–Robbiano and we generalize (by completely different techniques) the specific uniqueness result obtained by Amick and Toland for ${s=\frac{1}{2}}$ s = 1 2 and α = 1 in [5] for the Benjamin–Ono equation. As a technical key result in this paper, we show that the associated linearized operator L ₊ = (?Δ) ^s +1?(α+1)Q ^α is non-degenerate; i.e., its kernel satisfies ker L ₊ = span{Q′}. This result about L ₊ proves a spectral assumption, which plays a central role for the stability of solitary waves and blowup analysis for non-linear dispersive PDEs with fractional Laplacians, such as the generalized Benjamin–Ono (BO) and Benjamin–Bona–Mahony (BBM) water wave equations.     

On the moving frame of a conformal map from 2-disk into {\mathbb{R}^n}

Let f be a conformal map from the 2-disk into ${\mathbb{R}^n}$ . We prove that the image f(B) have a normal tangent vector basis (e ₁, e ₂) with ${\|d(e_{1}, e_{2})\|_{L^2(B)} \leq C\|A\|_{L^2(B)}}$ when the total Gauss curvature ${\int_B |K_{f}| d\mu_f < 2\pi}$ .     

Exponential mixing of 2D SDEs forced by degenerate Lévy noises

We modify the coupling method established in Shirikyan (Exponential mixing for randomly forced partial differential equations: method of coupling, Springer, New York, 2008) and Shirikyan (J Math Fluid Mech 6(2):169–193, 2004) and develop a technique to prove the exponential mixing of a 2D stochastic system forced by degenerate Lévy noises. In particular, these Lévy noises include α-stable noises (0 < α < 2). Thanks to the stimulating discussion (Nersesyan in Private communication 2011), this technique is promising to study the exponential mixing problem of SPDEs driven by degenerate symmetric α-stable noises.     

Radford’s Biproducts for Hopf Group-Coalgebras and Its Quasitriangular Structures

Let π be a group and H={H _α } _α∈π be a semi-Hopf π-coalgebra in the sense of Virelizier (J. Pure Appl. Algebra 171:75–122, 2002). Let H coact weakly on a coalgebra B and λ={λ _α,β :B?H _α ?H _β } be a family of k-linear maps. Then in this paper we first introduce the notion of a π-crossed coproduct $B\times_{\lambda }^{\pi}H=\{B\times_{\lambda }H_{\alpha }\}_{\alpha \in \pi }$ and find some sufficient and necessary conditions making it into a π-coalgebra, generalizing the main construction in Lin (Commun. Algebra 10:1–17, 1982). Secondly, we find a sufficient and necessary condition for $B_{\#^{\pi}}^{\times_{\lambda }^{\pi}} H$ , with the π-crossed coproduct $B\times_{\lambda }^{\pi}H$ and π-smash product B# ^π H to form a semi-Hopf π-coalgebra, if λ is convolution invertible dual 2-cocycle, which generalizes the well-known Radford’s biproduct in Radford (J. Algebra 92:322–347, 1985). Furthermore, we derive some sufficient conditions for $B_{\#^{\pi}}^{\times_{\lambda }^{\pi}} H$ to be a Hopf π-coalgebra. Finally, we construct a quasitriangular structure on the Hopf π-coalgebra $B\times_{\lambda }^{\pi}H$ (with the usual tensor product).     

Density and location of resonances for convex co-compact hyperbolic surfaces

Let $X=\varGamma\backslash \mathbb {H}^{2}$ be a convex co-compact hyperbolic surface and let δ be the Hausdorff dimension of the limit set. Let Δ _X be the hyperbolic Laplacian. We show that the density of resonances of the Laplacian Δ _X in rectangles $$\bigl\{ \sigma\leq \mathrm {Re}(s)\leq\delta,\ \big\vert \mathrm {Im}(s)\big\vert\leq T \bigr\} $$ is less than O(T ^1+τ(σ)) in the limit T→∞, where τ(σ)<δ as long as $\sigma>{\frac {\delta }{2}}$ . This improves the previous fractal Weyl upper bound of Zworski (Invent. Math. 136(2):353–409, 1999) and goes in the direction of a conjecture stated in Jakobson and Naud (Geom. Funct. Anal. 22(2):352–368, 2012).     

Bounds of Singular Integrals on Weighted Hardy Spaces and Discrete Littlewood–Paley Analysis

We apply the discrete version of Calderón??s reproducing formula and Littlewood?CPaley theory with weights to establish the $H^{p}_{w} \to H^{p}_{w}$ (0<p<??) and $H^{p}_{w}\to L^{p}_{w}$ (0<p??1) boundedness for singular integral operators and derive some explicit bounds for the operator norms of singular integrals acting on these weighted Hardy spaces when we only assume w??A _??. The bounds will be expressed in terms of the A _q constant of w if q>q _w =inf?{s:w??A _s }. Our results can be regarded as a natural extension of the results about the growth of the A _p constant of singular integral operators on classical weighted Lebesgue spaces $L^{p}_{w}$ in Hytonen et al. (arXiv:1006.2530, 2010; arXiv:0911.0713, 2009), Lerner (Ill.?J.?Math. 52:653?C666, 2008; Proc. Am. Math. Soc. 136(8):2829?C2833, 2008), Lerner et?al. (Int.?Math. Res. Notes 2008:rnm 126, 2008; Math. Res. Lett. 16:149?C156, 2009), Lacey et?al. (arXiv:0905.3839v2, 2009; arXiv:0906.1941, 2009), Petermichl (Am. J. Math. 129(5):1355?C1375, 2007; Proc. Am. Math. Soc. 136(4):1237?C1249, 2008), and Petermichl and Volberg (Duke Math. J. 112(2):281?C305, 2002). Our main result is stated in Theorem?1.1. Our method avoids the atomic decomposition which was usually used in proving boundedness of singular integral operators on Hardy spaces.     

More about λ-support iterations of (<λ)-complete forcing notions

This article continues Ros?anowski and Shelah (Int J Math Math Sci 28:63–82, 2001; Quaderni di Matematica 17:195–239, 2006; Israel J Math 159:109–174, 2007; 2011; Notre Dame J Formal Logic 52:113–147, 2011) and we introduce here a new property of (<λ)-strategically complete forcing notions which implies that their λ-support iterations do not collapse λ ⁺ (for a strongly inaccessible cardinal λ).     

{W^{1,1}_0} -solutions for elliptic problems having gradient quadratic lower order terms

In this paper we deal with solutions of problems of the type $$\left\{\begin{array}{ll}-{\rm div} \Big(\frac{a(x)Du}{(1+|u|)^2} \Big)+u = \frac{b(x)|Du|^2}{(1+|u|)^3} +f \quad &{\rm in} \, \Omega,\\ u=0 &{\rm on} \partial \, \Omega, \end{array} \right.$$ where ${0 < \alpha \leq a(x) \leq \beta, |b(x)| \leq \gamma, \gamma > 0, f \in L^2 (\Omega)}$ and Ω is a bounded subset of ${\mathbb{R}^N}$ with N ≥ 3. We prove the existence of at least one solution for such a problem in the space ${W_{0}^{1, 1}(\Omega) \cap L^{2}(\Omega)}$ if the size of the lower order term satisfies a smallness condition when compared with the principal part of the operator. This kind of problems naturally appears when one looks for positive minima of a functional whose model is: $$J (v) = \frac{\alpha}{2} \int_{\Omega}\frac{|D v|^2}{(1 + |v|)^{2}} + \frac{12}{\int_{\Omega}|v|^2} - \int_{\Omega}f\,v , \quad f \in L^2(\Omega),$$ where in this case a(x) ≡ b(x) = α > 0.     

L p -theory for second-order elliptic operators with unbounded coefficients

Second-order elliptic operators with unbounded coefficients of the form ${Au := -{\rm div}(a\nabla u) + F . \nabla u + Vu}$ in ${L^{p}(\mathbb{R}^{N}) (N \in \mathbb{N}, 1 < p < \infty)}$ are considered, which are the same as in recent papers Metafune et?al. (Z Anal Anwendungen 24:497–521, 2005), Arendt et?al. (J Operator Theory 55:185–211, 2006; J Math Anal Appl 338: 505–517, 2008) and Metafune et?al. (Forum Math 22:583–601, 2010). A new criterion for the m-accretivity and m-sectoriality of A in ${L^{p}(\mathbb{R}^{N})}$ is presented via a certain identity that behaves like a sesquilinear form over L ^p ×?L ^p'. It partially improves the results in (Metafune et?al. in Z Anal Anwendungen 24:497–521, 2005) and (Metafune et?al. in Forum Math 22:583–601, 2010) with a different approach. The result naturally extends Kato’s criterion in (Kato in Math Stud 55:253–266, 1981) for the nonnegative selfadjointness to the case of p ≠?2. The simplicity is illustrated with the typical example ${Au = -u\hspace{1pt}'' + x^{3}u\hspace{1pt}' + c |x|^{\gamma}u}$ in ${L^p(\mathbb{R})}$ which is dealt with in (Arendt et?al. in J Operator Theory 55:185–211, 2006; Arendt et?al. in J Math Anal Appl 338: 505–517, 2008).