Boxicity of Circular Arc Graphs

A k-dimensional box is a Cartesian product R ₁ × · · · × R _k where each R _i is a closed interval on the real line. The boxicity of a graph G, denoted as box(G), is the minimum integer k such that G can be represented as the intersection graph of a collection of k-dimensional boxes. That is, two vertices are adjacent if and only if their corresponding boxes intersect. A circular arc graph is a graph that can be represented as the intersection graph of arcs on a circle. We show that if G is a circular arc graph which admits a circular arc representation in which no arc has length at least p(\fraca-1a){\pi(\frac{\alpha-1}{\alpha})} for some a ? \mathbbN _{3 2}{\alpha\in\mathbb{N}_{\geq 2}}, then box(G) ≤ α (Here the arcs are considered with respect to a unit circle). From this result we show that if G has maximum degree D < ?\fracn(a-1)2a?{\Delta < \lfloor{\frac{n(\alpha-1)}{2\alpha}}\rfloor} for some a ? \mathbbN _{3 2}{\alpha \in \mathbb{N}_{\geq 2}}, then box(G) ≤ α. We also demonstrate a graph having box(G) > α but with D = n\frac(a-1)2a+ \fracn2a(a+1)+(a+2){\Delta=n\frac{(\alpha-1)}{2\alpha}+ \frac{n}{2\alpha(\alpha+1)}+(\alpha+2)}. For a proper circular arc graph G, we show that if D < ?\fracn(a-1)a?{\Delta < \lfloor{\frac{n(\alpha-1)}{\alpha}}\rfloor} for some a ? \mathbbN _{3 2}{\alpha\in \mathbb{N}_{\geq 2}}, then box(G) ≤ α. Let r be the cardinality of the minimum overlap set, i.e. the minimum number of arcs passing through any point on the circle, with respect to some circular arc representation of G. We show that for any circular arc graph G, box(G) ≤ r + 1 and this bound is tight. We show that if G admits a circular arc representation in which no family of k ≤ 3 arcs covers the circle, then box(G) ≤ 3 and if G admits a circular arc representation in which no family of k ≤ 4 arcs covers the circle, then box(G) ≤ 2. We also show that both these bounds are tight.     

Some estimates of Schrödinger type operators on the Heisenberg group

In this paper, we consider the Schrödinger type operator ${H = (-\Delta _{\mathbb {H}}^n)^2 +V ^{2}}In this paper, we consider the Schr?dinger type operator H = (-D_{\mathbb H}ⁿ)² +V ²{H = (-\Delta _{\mathbb {H}}^n)^2 +V ^{2}}, where the nonnegative potential V belongs to the reverse H?lder class B_q1 for q₁ 3 \frac Q 2,Q 3 6{B_{{q}_{1}}\, {\rm for}\, q_{1}\geq {\frac {Q}{ 2}},Q \geq 6}, and D_{\mathbb Hⁿ}{\Delta_{\mathbb {H}^n}} is the sublaplacian on the Heisenberg group \mathbb Hⁿ{\mathbb {H}^n}. An L ^p estimate and a weak type L ¹ estimate for the operator ?⁴_{\mathbb Hⁿ} H^-1{\nabla^4_{\mathbb {H}^n} H^{-1}} when V ? B_q1{V \in B_{{q}_{1}}} for 1 < p ￡ \fracq₁2{1 < p \leq \frac{q_{1}}{2}} are obtained.     

Topology and Smooth Structure for Pseudoframes

Given a closed subspace ${\mathcal{S}}Given a closed subspace S{\mathcal{S}} of a Hilbert space H{\mathcal{H}}, we study the sets F_S{\mathcal{F}_\mathcal{S}} of pseudo-frames, CF_S{\mathcal{C}\mathcal{F}_\mathcal{S}} of commutative pseudo-frames and \mathfrakX_S{\tiny{\mathfrak{X}}_{\mathcal{S}}} of dual frames for S{\mathcal{S}}, via the (well known) one to one correspondence which assigns a pair of operators (F, H) to a frame pair ({f_n}_{n ? \mathbbN},{h_n}_{n ? \mathbbN}){(\{f_n\}_{n\in\mathbb{N}},\{h_n\}_{n\in\mathbb{N}})},

F:l2? H,     F({cn}n ? \mathbbN )=?n cn fn,F:\ell^2\to\,\mathcal{H}, \quad F\left(\{c_n\}_{n\in\mathbb{N}} \right)=\sum_n c_n f_n,      5. Arithmetic mean of differences of Dedekind sums      Emre Alkan  Maosheng Xiong  Alexandru Zaharescu 《Monatshefte für Mathematik》2007,342(1):175-187 Recently, Girstmair and Schoissengeier studied the asymptotic behavior of the arithmetic mean of Dedekind sums \frac1j(N) ? 0 ￡ m < Ngcd(m,N)=1 |S(m,N)|\frac{1}{\varphi(N)} \sum_{\mathop{\mathop{ 0 \le m< N}}\limits_{\gcd(m,N)=1}} \vert S(m,N)\vert , as N → ∞. In this paper we consider the arithmetic mean of weighted differences of Dedekind sums in the form Ah(Q)=\frac1?\fracaq ? FQh(\fracaq) ×?\fracaq ? FQh(\fracaq) |s(a￠,q￠)-s(a,q)|A_{h}(Q)=\frac{1}{\sum_{\frac{a}{q} \in {\cal F}_{Q}}h\left(\frac{a}{q}\right)} \times \sum_{\frac{a}{q} \in {\cal F}_{\!Q}}h\left(\frac{a}{q}\right) \vert s(a^{\prime},q^{\prime})-s(a,q)\vert , where h:[0,1] ? \Bbb Ch:[0,1] \rightarrow {\Bbb C} is a continuous function with ò01 h(t)  d t 1 0\int_0^1 h(t) \, {\rm d} t \ne 0 , \fracaq{\frac{a}{q}} runs over FQ{\cal F}_{\!Q} , the set of Farey fractions of order Q in the unit interval [0,1] and \fracaq < \fraca￠q￠{\frac{a}{q}}<\frac{a^{\prime}}{q^{\prime}} are consecutive elements of FQ{\cal F}_{\!Q} . We show that the limit lim Q→∞ A h (Q) exists and is independent of h.      6. Counting Ω-ideals      Igor V. Protasov 《Algebra Universalis》2009,62(4):339-343 Let ${\mathbb{A}}Let \mathbbA{\mathbb{A}} be a universal algebra of signature Ω, and let I{\mathcal{I}} be an ideal in the Boolean algebra P\mathbbA{\mathcal{P}_{\mathbb{A}}} of all subsets of \mathbbA{\mathbb{A}} . We say that I{\mathcal{I}} is an Ω-ideal if I{\mathcal{I}} contains all finite subsets of \mathbbA{\mathbb{A}} and f(An) ? I{f(A^{n}) \in \mathcal{I}} for every n-ary operation f ? W{f \in \Omega} and every A ? I{A \in \mathcal{I}} . We prove that there are 22à0{2^{2^{\aleph_0}}} Ω-ideals in P\mathbbA{\mathcal{P}_{\mathbb{A}}} provided that \mathbbA{\mathbb{A}} is countably infinite and Ω is countable.      7. Intertwining the geodesic flow and the Schr?dinger group on hyperbolic surfaces      Nalini Anantharaman  Steve Zelditch 《Mathematische Annalen》2012,353(4):1103-1156 We construct an explicit intertwining operator L{\mathcal L} between the Schr?dinger group eit \frac\triangle2{e^{it \frac\triangle2}} and the geodesic flow on certain Hilbert spaces of symbols on the cotangent bundle T*X Γ of a compact hyperbolic surface X Γ = Γ\D. We also define Γ-invariant eigendistributions of the geodesic flow PSj, k, nj,-nk{PS_{j, k, \nu_j,-\nu_k}} (Patterson-Sullivan distributions) out of pairs of \triangle{\triangle} -eigenfunctions, generalizing the diagonal case j = k treated in Anantharaman and Zelditch (Ann. Henri Poincaré 8(2):361–426, 2007). The operator L{\mathcal L} maps PSj, k, nj,-nk{PS_{j, k, \nu_j,-\nu_k}} to the Wigner distribution WGj,k{W^{\Gamma}_{j,k}} studied in quantum chaos. We define Hilbert spaces HPS{\mathcal H_{PS}} (whose dual is spanned by {PSj, k, nj,-nk{PS_{j, k, \nu_j,-\nu_k}}}), resp. HW{\mathcal H_W} (whose dual is spanned by {WGj,k}{\{W^{\Gamma}_{j,k}\}}), and show that L{\mathcal L} is a unitary isomorphism from HW ? HPS.{\mathcal H_{W} \to \mathcal H_{PS}.}      8. Regularizing and decay rate estimates for solutions to the Cauchy problem of the Debye–Hückel system      Jihong Zhao  Qiao Liu  Shangbin Cui 《NoDEA : Nonlinear Differential Equations and Applications》2012,19(1):1-18 In this paper we establish some regularizing and decay rate estimates for mild solutions of the Debye–Hückel system. We prove that if the initial data belong to the critical Lebesgue space L\fracn2(\mathbbRn){L^{\frac{n}{2}}(\mathbb{R}^{n})} , then the L q -norm ( \fracn2 ￡ q ￡ ￥{\frac{n}{2} \leq q \leq \infty}) of the βth order spatial derivative of mild solutions are majorized by K1(K2|b|)|b|t-\frac|b|2-1+\fracn2q{K_{1}(K_{2}|\beta|)^{|\beta|}t^{-\frac{|\beta|}{2}-1+\frac{n}{2q}}} for some constants K 1 and K 2. These estimates particularly imply that mild solutions are analytic in the space variable, and provide decay estimates in the time variable for higher-order derivatives of mild solutions. We also prove that similar estimates also hold for mild solutions whose initial data belong to the critical homogeneous Besov space [(B)\dot]-2+\fracnpp,￥(\mathbbRn){\dot{B}^{-2+\frac{n}{p}}_{p,\infty}(\mathbb{R}^n)} ( \fracn2 < p < n{\frac{n}{2} < p < n}).      9. On the Right (Left) Invertible Completions for Operator Matrices      Guojun Hai  Alatancang Chen 《Integral Equations and Operator Theory》2010,67(1):79-93 Let ${\mathcal {H}_{1}}Let H1{\mathcal {H}_{1}} and H2{\mathcal {H}_{2}} be separable Hilbert spaces, and let A ? B(H1), B ? B(H2){A \in \mathcal {B}(\mathcal {H}_{1}),\, B \in \mathcal {B}(\mathcal {H}_{2})} and C ? B(H2, H1){C \in \mathcal {B}(\mathcal {H}_{2},\, \mathcal {H}_{1})} be given operators. A necessary and sufficient condition is given for ${\left(\begin{smallmatrix}A &\enspace C\\ X &\enspace B \end{smallmatrix}\right)}${\left(\begin{smallmatrix}A &\enspace C\\ X &\enspace B \end{smallmatrix}\right)} to be a right (left) invertible operator for some X ? B(H1, H2){X \in \mathcal {B}(\mathcal {H}_{1},\, \mathcal {H}_{2})}. Furthermore, some related results are obtained.      10. Inverse Scattering at Fixed Energy in de Sitter�CReissner�CNordstr?m Black Holes      Thierry Daud��  Fran?ois Nicoleau 《Annales Henri Poincare》2011,12(1):1-47 In this paper, we consider massless Dirac fields propagating in the outer region of de Sitter–Reissner–Nordstr?m black holes. We show that the metric of such black holes is uniquely determined by the partial knowledge of the corresponding scattering matrix S(λ) at a fixed energy λ ≠ 0. More precisely, we consider the partial wave scattering matrices S(λ, n) (here λ ≠ 0 is the fixed energy and n ? \mathbbN*{n \in \mathbb{N}^{*}} denotes the angular momentum) defined as the restrictions of the full scattering matrix on a well chosen basis of spin-weighted spherical harmonics. We prove that the mass M, the square of the charge Q 2 and the cosmological constant Λ of a dS-RN black hole (and thus its metric) can be uniquely determined from the knowledge of either the transmission coefficients T(λ, n), or the reflexion coefficients R(λ, n) (resp. L(λ, n)), for all n ? L{n \in {\mathcal{L}}} where L{\mathcal{L}} is a subset of \mathbbN*{\mathbb{N}^{*}} that satisfies the Müntz condition ?n ? L\frac1n = +￥{\sum_{n \in{\mathcal{L}}}\frac{1}{n} = +\infty} . Our main tool consists in complexifying the angular momentum n and in studying the analytic properties of the “unphysical” scattering matrix S(λ, z) in the complex variable z. We show, in particular, that the quantities \frac1T(l,z){\frac{1}{T(\lambda,z)}}, \fracR(l,z)T(l,z){\frac{R(\lambda,z)}{T(\lambda,z)}} and \fracL(l,z)T(l,z){\frac{L(\lambda,z)}{T(\lambda,z)}} belong to the Nevanlinna class in the region ${\{z \in \mathbb{C}, Re(z) > 0 \}}${\{z \in \mathbb{C}, Re(z) > 0 \}} for which we have analytic uniqueness theorems at our disposal. Eventually, as a by-product of our method, we obtain reconstruction formulae for the surface gravities of the event and cosmological horizons of the black hole which have an important physical meaning in the Hawking effect.      11. Sub-Riemannian calculus and monotonicity of the perimeter for graphical strips      D. Danielli  N. Garofalo  D. M. Nhieu 《Mathematische Zeitschrift》2010,265(3):617-637 We consider the class of minimal surfaces given by the graphical strips ${{\mathcal S}}We consider the class of minimal surfaces given by the graphical strips S{{\mathcal S}} in the Heisenberg group \mathbb H1{{\mathbb {H}}^1} and we prove that for points p along the center of \mathbb H1{{\mathbb {H}}^1} the quantity \fracsH(S?B(p,r))rQ-1{\frac{\sigma_H(\mathcal S\cap B(p,r))}{r^{Q-1}}} is monotone increasing. Here, Q is the homogeneous dimension of \mathbb H1{{\mathbb {H}}^1} . We also prove that these minimal surfaces have maximum volume growth at infinity.      12. On a graph related to permutability in finite groups      A. Ballester-Bolinches  John Cossey  R. Esteban-Romero 《Annali di Matematica Pura ed Applicata》2010,189(4):567-570 For a finite group G we define the graph Γ(G) to be the graph whose vertices are the conjugacy classes of cyclic subgroups of G and two conjugacy classes ${\mathcal {A}, \mathcal {B}}For a finite group G we define the graph Γ(G) to be the graph whose vertices are the conjugacy classes of cyclic subgroups of G and two conjugacy classes A, B{\mathcal {A}, \mathcal {B}} are joined by an edge if for some A ? A, B ? B A{A \in \mathcal {A},\, B \in \mathcal {B}\, A} and B permute. We characterise those groups G for which Γ(G) is complete.      13. Delsarte Set Graphs with Small c 2      S. Bang  A. Hiraki  J. H. Koolen 《Graphs and Combinatorics》2010,26(2):147-162 Let Γ be a Delsarte set graph with an intersection number c 2 (i.e., a distance-regular graph with a set ${\mathcal{C}}Let Γ be a Delsarte set graph with an intersection number c 2 (i.e., a distance-regular graph with a set C{\mathcal{C}} of Delsarte cliques such that each edge lies in a positive constant number nC{n_{\mathcal{C}}} of Delsarte cliques in C{\mathcal{C}}). We showed in Bang et al. (J Combin 28:501–506, 2007) that if ψ 1 > 1 then c 2 ≥ 2 ψ 1 where y1:=|G1(x)?C |{\psi_1:=|\Gamma_1(x)\cap C |} for x ? V(G){x\in V(\Gamma)} and C a Delsarte clique satisfying d(x, C) = 1. In this paper, we classify Γ with the case c 2 = 2ψ 1 > 2. As a consequence of this result, we show that if c 2 ≤ 5 and ψ 1 > 1 then Γ is either a Johnson graph or a folded Johnson graph [`(J)](4s,2s){\overline{J}(4s,2s)} with s ≥ 3.      14. Metric Dimension and R-Sets of Connected Graphs      Ioan Tomescu  Muhammad Imran 《Graphs and Combinatorics》2011,27(4):585-591 The R-set relative to a pair of distinct vertices of a connected graph G is the set of vertices whose distances to these vertices are distinct. This paper deduces some properties of R-sets of connected graphs. It is shown that for a connected graph G of order n and diameter 2 the number of R-sets equal to V(G) is bounded above by ?n2/4?{\lfloor n^{2}/4\rfloor} . It is conjectured that this bound holds for every connected graph of order n. A lower bound for the metric dimension dim(G) of G is proposed in terms of a family of R-sets of G having the property that every subfamily containing at least r ≥ 2 members has an empty intersection. Three sufficient conditions, which guarantee that a family F=(Gn)n 3 1{\mathcal{F}=(G_{n})_{n\geq 1}} of graphs with unbounded order has unbounded metric dimension, are also proposed.      15. On holomorphic curves in a complex Grassmann manifold <Emphasis Type="Italic">G</Emphasis>(2, <Emphasis Type="Italic">n</Emphasis>)      Xiaoxiang Jiao  Yan Yu 《Archiv der Mathematik》2011,96(3):291-300 Let s : S 2 → G(2, n) be a linearly full totally unramified non-degenerate holomorphic curve in a complex Grassmann manifold G(2, n), and let K(s) be its Gaussian curvature. It is proved that K(s) = \frac4n-2{K(s) = \frac{4}{n-2}} if K(s) satisfies K(s) 3 \frac4n-2{K(s) \geq \frac{4}{n-2}} or K(s) ￡ \frac4n-2 {K(s) \leq \frac{4}{n-2} } everywhere on S 2. In particular, K(s) = \frac4n-2{K(s) = \frac{4}{n-2}} if K(s) is constant.      16. Constant mean curvature hypersurfaces with two principal curvatures in a sphere      Yu-Chung Chang 《Monatshefte für Mathematik》2009,4(4):1-22 In this paper we consider a compact oriented hypersurface M n with constant mean curvature H and two distinct principal curvatures λ and μ with multiplicities (n − m) and m, respectively, immersed in the unit sphere S n+1. Denote by fij{\phi_{ij}} the trace free part of the second fundamental form of M n , and Φ be the square of the length of fij{\phi_{ij}} . We obtain two integral formulas by using Φ and the polynomial PH,m(x)=x2+ \fracn(n-2m)?{nm(n-m)}H x -n(1+H2){P_{H,m}(x)=x^{2}+ \frac{n(n-2m)}{\sqrt{nm(n-m)}}H x -n(1+H^{2})} . Assume that B H,m is the square of the positive root of P H,m (x) = 0. We show that if M n is a compact oriented hypersurface immersed in the sphere S n+1 with constant mean curvatures H having two distinct principal curvatures λ and μ then either F = BH,m{\Phi=B_{H,m}} or F = BH,n-m{\Phi=B_{H,n-m}} . In particular, M n is the hypersurface Sn-m(r)×Sm(?{1-r2}){S^{n-m}(r)\times S^{m}(\sqrt{1-r^{2}})} .      17. Composition Followed by Differentiation Between H ∞ and Zygmund Spaces      Yongmin Liu  Yanyan Yu 《Complex Analysis and Operator Theory》2012,6(1):121-137 Let j{\varphi} be an analytic self-map of the unit disk \mathbbD{\mathbb{D}}, H(\mathbbD){H(\mathbb{D})} the space of analytic functions on \mathbbD{\mathbb{D}} and g ? H(\mathbbD){g \in H(\mathbb{D})}. The boundedness and compactness of the operator DCj : H￥ ? Z{DC_\varphi : H^\infty \rightarrow { \mathcal Z}} are investigated in this paper.      18. Analytic cohomology groups in top degrees of Zariski open sets in {\mathbb{P}^n}      Gabriel Chiriacescu  Mihnea Colţoiu  Cezar Joiţa 《Mathematische Zeitschrift》2010,264(3):671-677 We show that if A is a closed analytic subset of \mathbbPn{\mathbb{P}^n} of pure codimension q then Hi(\mathbbPn\ A,F){H^i(\mathbb{P}^n{\setminus} A,{\mathcal F})} are finite dimensional for every coherent algebraic sheaf F{{\mathcal F}} and every i 3 n-[\fracn-1q]{i\geq n-\left[\frac{n-1}{q}\right]} . If n-1 3 2q we show that Hn-2(\mathbbPn\ A,F)=0{n-1\geq 2q\,{\rm we show that}\, H^{n-2}(\mathbb{P}^n{\setminus} A,{\mathcal F})=0} .      19. On the sum of a prime and a k-th power of prime in short intervals      Y. C. Wang 《Acta Mathematica Hungarica》2012,135(3):248-269 Let Hk\mathcal{H}_{k} denote the set {n∣2|n, n\not o 1 (mod p)n\not\equiv 1\ (\mathrm{mod}\ p) ∀ p>2 with p−1|k}. We prove that when X\frac1120(1-\frac12k) +e\leqq H\leqq XX^{\frac{11}{20}\left(1-\frac{1}{2k}\right) +\varepsilon}\leqq H\leqq X, almost all integers n ? \allowbreak Hk ?(X, X+H]n\in\allowbreak {\mathcal{H}_{k} \cap (X, X+H]} can be represented as the sum of a prime and a k-th power of prime for k≧3. Moreover, when X\frac1120(1-\frac1k) +e\leqq H\leqq XX^{\frac{11}{20}\left(1-\frac{1}{k}\right) +\varepsilon}\leqq H\leqq X, almost all integers n∈(X,X+H] can be represented as the sum of a prime and a k-th power of integer for k≧3.      20. Numerical verification of condition for approximately midconvex functions      P. Spurek  Ja. Tabor 《Aequationes Mathematicae》2012,83(3):223-237 Let X be a normed space and V be a convex subset of X. Let a\colon \mathbbR+ ? \mathbbR+{\alpha \colon \mathbb{R}_+ \to \mathbb{R}_+}. A function f \colon V ? \mathbbR{f \colon V \to \mathbb{R}} is called α-midconvex if f (\fracx + y2)-\fracf(x) + f(y)2 ￡ a(||x - y||)    for  x, y ? V.f \left(\frac{x + y}{2}\right)-\frac{f(x) + f(y)}{2}\leq \alpha(\|x - y\|)\quad {\rm for} \, x, y \in V.

设为首页 | 免责声明 | 关于勤云 | 加入收藏

Copyright©北京勤云科技发展有限公司  京ICP备09084417号

Arithmetic mean of differences of Dedekind sums

Recently, Girstmair and Schoissengeier studied the asymptotic behavior of the arithmetic mean of Dedekind sums \frac1j(N) ? _{0 ￡ m < Ngcd(m,N)=1} |S(m,N)|\frac{1}{\varphi(N)} \sum_{\mathop{\mathop{ 0 \le m< N}}\limits_{\gcd(m,N)=1}} \vert S(m,N)\vert , as N → ∞. In this paper we consider the arithmetic mean of weighted differences of Dedekind sums in the form A_h(Q)=\frac1?_{\fracaq ? FQ}h(\fracaq) ×?_{\fracaq ? FQ}h(\fracaq) |s(a^￠,q^￠)-s(a,q)|A_{h}(Q)=\frac{1}{\sum_{\frac{a}{q} \in {\cal F}_{Q}}h\left(\frac{a}{q}\right)} \times \sum_{\frac{a}{q} \in {\cal F}_{\!Q}}h\left(\frac{a}{q}\right) \vert s(a^{\prime},q^{\prime})-s(a,q)\vert , where h:[0,1] ? \Bbb Ch:[0,1] \rightarrow {\Bbb C} is a continuous function with ò₀¹ h(t)  d t 1 0\int_0^1 h(t) \, {\rm d} t \ne 0 , \fracaq{\frac{a}{q}} runs over F_Q{\cal F}_{\!Q} , the set of Farey fractions of order Q in the unit interval [0,1] and \fracaq < \fraca^￠q^￠{\frac{a}{q}}<\frac{a^{\prime}}{q^{\prime}} are consecutive elements of F_Q{\cal F}_{\!Q} . We show that the limit lim _Q→∞ A _h (Q) exists and is independent of h.     

Counting Ω-ideals

Let ${\mathbb{A}}Let \mathbbA{\mathbb{A}} be a universal algebra of signature Ω, and let I{\mathcal{I}} be an ideal in the Boolean algebra P_\mathbbA{\mathcal{P}_{\mathbb{A}}} of all subsets of \mathbbA{\mathbb{A}} . We say that I{\mathcal{I}} is an Ω-ideal if I{\mathcal{I}} contains all finite subsets of \mathbbA{\mathbb{A}} and f(Aⁿ) ? I{f(A^{n}) \in \mathcal{I}} for every n-ary operation f ? W{f \in \Omega} and every A ? I{A \in \mathcal{I}} . We prove that there are 2^2à₀{2^{2^{\aleph_0}}} Ω-ideals in P_\mathbbA{\mathcal{P}_{\mathbb{A}}} provided that \mathbbA{\mathbb{A}} is countably infinite and Ω is countable.     

Intertwining the geodesic flow and the Schr?dinger group on hyperbolic surfaces

We construct an explicit intertwining operator L{\mathcal L} between the Schr?dinger group e^{it \frac\triangle2}{e^{it \frac\triangle2}} and the geodesic flow on certain Hilbert spaces of symbols on the cotangent bundle T*X _Γ of a compact hyperbolic surface X _Γ = Γ\D. We also define Γ-invariant eigendistributions of the geodesic flow PS_{j, k, nj,-nk}{PS_{j, k, \nu_j,-\nu_k}} (Patterson-Sullivan distributions) out of pairs of \triangle{\triangle} -eigenfunctions, generalizing the diagonal case j = k treated in Anantharaman and Zelditch (Ann. Henri Poincaré 8(2):361–426, 2007). The operator L{\mathcal L} maps PS_{j, k, nj,-nk}{PS_{j, k, \nu_j,-\nu_k}} to the Wigner distribution W^G_j,k{W^{\Gamma}_{j,k}} studied in quantum chaos. We define Hilbert spaces H_PS{\mathcal H_{PS}} (whose dual is spanned by {PS_{j, k, nj,-nk}{PS_{j, k, \nu_j,-\nu_k}}}), resp. H_W{\mathcal H_W} (whose dual is spanned by {W^G_j,k}{\{W^{\Gamma}_{j,k}\}}), and show that L{\mathcal L} is a unitary isomorphism from H_W ? H_PS.{\mathcal H_{W} \to \mathcal H_{PS}.}     

Regularizing and decay rate estimates for solutions to the Cauchy problem of the Debye–Hückel system

In this paper we establish some regularizing and decay rate estimates for mild solutions of the Debye–Hückel system. We prove that if the initial data belong to the critical Lebesgue space L^\fracn2(\mathbbRⁿ){L^{\frac{n}{2}}(\mathbb{R}^{n})} , then the L ^q -norm ( \fracn2 ￡ q ￡ ￥{\frac{n}{2} \leq q \leq \infty}) of the βth order spatial derivative of mild solutions are majorized by K₁(K₂|b|)^|b|t^{-\frac|b|2-1+\fracn2q}{K_{1}(K_{2}|\beta|)^{|\beta|}t^{-\frac{|\beta|}{2}-1+\frac{n}{2q}}} for some constants K ₁ and K ₂. These estimates particularly imply that mild solutions are analytic in the space variable, and provide decay estimates in the time variable for higher-order derivatives of mild solutions. We also prove that similar estimates also hold for mild solutions whose initial data belong to the critical homogeneous Besov space [(B)\dot]^-2+\fracnp_p,￥(\mathbbRⁿ){\dot{B}^{-2+\frac{n}{p}}_{p,\infty}(\mathbb{R}^n)} ( \fracn2 < p < n{\frac{n}{2} < p < n}).     

On the Right (Left) Invertible Completions for Operator Matrices

Let ${\mathcal {H}_{1}}Let H₁{\mathcal {H}_{1}} and H₂{\mathcal {H}_{2}} be separable Hilbert spaces, and let A ? B(H₁), B ? B(H₂){A \in \mathcal {B}(\mathcal {H}_{1}),\, B \in \mathcal {B}(\mathcal {H}_{2})} and C ? B(H₂, H₁){C \in \mathcal {B}(\mathcal {H}_{2},\, \mathcal {H}_{1})} be given operators. A necessary and sufficient condition is given for ${\left(\begin{smallmatrix}A &\enspace C\\ X &\enspace B \end{smallmatrix}\right)}${\left(\begin{smallmatrix}A &\enspace C\\ X &\enspace B \end{smallmatrix}\right)} to be a right (left) invertible operator for some X ? B(H₁, H₂){X \in \mathcal {B}(\mathcal {H}_{1},\, \mathcal {H}_{2})}. Furthermore, some related results are obtained.     

Inverse Scattering at Fixed Energy in de Sitter�CReissner�CNordstr?m Black Holes

In this paper, we consider massless Dirac fields propagating in the outer region of de Sitter–Reissner–Nordstr?m black holes. We show that the metric of such black holes is uniquely determined by the partial knowledge of the corresponding scattering matrix S(λ) at a fixed energy λ ≠ 0. More precisely, we consider the partial wave scattering matrices S(λ, n) (here λ ≠ 0 is the fixed energy and n ? \mathbbN^*{n \in \mathbb{N}^{*}} denotes the angular momentum) defined as the restrictions of the full scattering matrix on a well chosen basis of spin-weighted spherical harmonics. We prove that the mass M, the square of the charge Q ² and the cosmological constant Λ of a dS-RN black hole (and thus its metric) can be uniquely determined from the knowledge of either the transmission coefficients T(λ, n), or the reflexion coefficients R(λ, n) (resp. L(λ, n)), for all n ? L{n \in {\mathcal{L}}} where L{\mathcal{L}} is a subset of \mathbbN^*{\mathbb{N}^{*}} that satisfies the Müntz condition ?_{n ? L}\frac1n = +￥{\sum_{n \in{\mathcal{L}}}\frac{1}{n} = +\infty} . Our main tool consists in complexifying the angular momentum n and in studying the analytic properties of the “unphysical” scattering matrix S(λ, z) in the complex variable z. We show, in particular, that the quantities \frac1T(l,z){\frac{1}{T(\lambda,z)}}, \fracR(l,z)T(l,z){\frac{R(\lambda,z)}{T(\lambda,z)}} and \fracL(l,z)T(l,z){\frac{L(\lambda,z)}{T(\lambda,z)}} belong to the Nevanlinna class in the region ${\{z \in \mathbb{C}, Re(z) > 0 \}}${\{z \in \mathbb{C}, Re(z) > 0 \}} for which we have analytic uniqueness theorems at our disposal. Eventually, as a by-product of our method, we obtain reconstruction formulae for the surface gravities of the event and cosmological horizons of the black hole which have an important physical meaning in the Hawking effect.     

Sub-Riemannian calculus and monotonicity of the perimeter for graphical strips

We consider the class of minimal surfaces given by the graphical strips ${{\mathcal S}}We consider the class of minimal surfaces given by the graphical strips S{{\mathcal S}} in the Heisenberg group \mathbb H¹{{\mathbb {H}}^1} and we prove that for points p along the center of \mathbb H¹{{\mathbb {H}}^1} the quantity \fracs_H(S?B(p,r))r^Q-1{\frac{\sigma_H(\mathcal S\cap B(p,r))}{r^{Q-1}}} is monotone increasing. Here, Q is the homogeneous dimension of \mathbb H¹{{\mathbb {H}}^1} . We also prove that these minimal surfaces have maximum volume growth at infinity.     

On a graph related to permutability in finite groups

For a finite group G we define the graph Γ(G) to be the graph whose vertices are the conjugacy classes of cyclic subgroups of G and two conjugacy classes ${\mathcal {A}, \mathcal {B}}For a finite group G we define the graph Γ(G) to be the graph whose vertices are the conjugacy classes of cyclic subgroups of G and two conjugacy classes A, B{\mathcal {A}, \mathcal {B}} are joined by an edge if for some A ? A, B ? B A{A \in \mathcal {A},\, B \in \mathcal {B}\, A} and B permute. We characterise those groups G for which Γ(G) is complete.     

Delsarte Set Graphs with Small c 2

Let Γ be a Delsarte set graph with an intersection number c ₂ (i.e., a distance-regular graph with a set ${\mathcal{C}}Let Γ be a Delsarte set graph with an intersection number c ₂ (i.e., a distance-regular graph with a set C{\mathcal{C}} of Delsarte cliques such that each edge lies in a positive constant number n_C{n_{\mathcal{C}}} of Delsarte cliques in C{\mathcal{C}}). We showed in Bang et al. (J Combin 28:501–506, 2007) that if ψ ₁ > 1 then c ₂ ≥ 2 ψ ₁ where y₁:=|G₁(x)?C |{\psi_1:=|\Gamma_1(x)\cap C |} for x ? V(G){x\in V(\Gamma)} and C a Delsarte clique satisfying d(x, C) = 1. In this paper, we classify Γ with the case c ₂ = 2ψ ₁ > 2. As a consequence of this result, we show that if c ₂ ≤ 5 and ψ ₁ > 1 then Γ is either a Johnson graph or a folded Johnson graph [`(J)](4s,2s){\overline{J}(4s,2s)} with s ≥ 3.     

Metric Dimension and R-Sets of Connected Graphs

The R-set relative to a pair of distinct vertices of a connected graph G is the set of vertices whose distances to these vertices are distinct. This paper deduces some properties of R-sets of connected graphs. It is shown that for a connected graph G of order n and diameter 2 the number of R-sets equal to V(G) is bounded above by ?n²/4?{\lfloor n^{2}/4\rfloor} . It is conjectured that this bound holds for every connected graph of order n. A lower bound for the metric dimension dim(G) of G is proposed in terms of a family of R-sets of G having the property that every subfamily containing at least r ≥ 2 members has an empty intersection. Three sufficient conditions, which guarantee that a family F=(G_n)_{n 3 1}{\mathcal{F}=(G_{n})_{n\geq 1}} of graphs with unbounded order has unbounded metric dimension, are also proposed.     

On holomorphic curves in a complex Grassmann manifold <Emphasis Type="Italic">G</Emphasis>(2, <Emphasis Type="Italic">n</Emphasis>)

Let s : S ² → G(2, n) be a linearly full totally unramified non-degenerate holomorphic curve in a complex Grassmann manifold G(2, n), and let K(s) be its Gaussian curvature. It is proved that K(s) = \frac4n-2{K(s) = \frac{4}{n-2}} if K(s) satisfies K(s) 3 \frac4n-2{K(s) \geq \frac{4}{n-2}} or K(s) ￡ \frac4n-2 {K(s) \leq \frac{4}{n-2} } everywhere on S ². In particular, K(s) = \frac4n-2{K(s) = \frac{4}{n-2}} if K(s) is constant.     

Constant mean curvature hypersurfaces with two principal curvatures in a sphere

In this paper we consider a compact oriented hypersurface M ⁿ with constant mean curvature H and two distinct principal curvatures λ and μ with multiplicities (n − m) and m, respectively, immersed in the unit sphere S ⁿ⁺¹. Denote by f_ij{\phi_{ij}} the trace free part of the second fundamental form of M ⁿ , and Φ be the square of the length of f_ij{\phi_{ij}} . We obtain two integral formulas by using Φ and the polynomial P_H,m(x)=x²+ \fracn(n-2m)?{nm(n-m)}H x -n(1+H²){P_{H,m}(x)=x^{2}+ \frac{n(n-2m)}{\sqrt{nm(n-m)}}H x -n(1+H^{2})} . Assume that B _H,m is the square of the positive root of P _H,m (x) = 0. We show that if M ⁿ is a compact oriented hypersurface immersed in the sphere S ⁿ⁺¹ with constant mean curvatures H having two distinct principal curvatures λ and μ then either F = B_H,m{\Phi=B_{H,m}} or F = B_H,n-m{\Phi=B_{H,n-m}} . In particular, M ⁿ is the hypersurface S^n-m(r)×S^m(?{1-r²}){S^{n-m}(r)\times S^{m}(\sqrt{1-r^{2}})} .     

Composition Followed by Differentiation Between H ∞ and Zygmund Spaces

Let j{\varphi} be an analytic self-map of the unit disk \mathbbD{\mathbb{D}}, H(\mathbbD){H(\mathbb{D})} the space of analytic functions on \mathbbD{\mathbb{D}} and g ? H(\mathbbD){g \in H(\mathbb{D})}. The boundedness and compactness of the operator DC_j : H^￥ ? Z{DC_\varphi : H^\infty \rightarrow { \mathcal Z}} are investigated in this paper.     

Analytic cohomology groups in top degrees of Zariski open sets in {\mathbb{P}^n}

We show that if A is a closed analytic subset of \mathbbPⁿ{\mathbb{P}^n} of pure codimension q then Hⁱ(\mathbbPⁿ\ A,F){H^i(\mathbb{P}^n{\setminus} A,{\mathcal F})} are finite dimensional for every coherent algebraic sheaf F{{\mathcal F}} and every i 3 n-[\fracn-1q]{i\geq n-\left[\frac{n-1}{q}\right]} . If n-1 3 2q we show that H^n-2(\mathbbPⁿ\ A,F)=0{n-1\geq 2q\,{\rm we show that}\, H^{n-2}(\mathbb{P}^n{\setminus} A,{\mathcal F})=0} .     

On the sum of a prime and a k-th power of prime in short intervals

Let H_k\mathcal{H}_{k} denote the set {n∣2|n, n\not o 1 (mod p)n\not\equiv 1\ (\mathrm{mod}\ p) ∀ p>2 with p−1|k}. We prove that when X^{\frac1120(1-\frac12k) +e}\leqq H\leqq XX^{\frac{11}{20}\left(1-\frac{1}{2k}\right) +\varepsilon}\leqq H\leqq X, almost all integers n ? \allowbreak H_k ?(X, X+H]n\in\allowbreak {\mathcal{H}_{k} \cap (X, X+H]} can be represented as the sum of a prime and a k-th power of prime for k≧3. Moreover, when X^{\frac1120(1-\frac1k) +e}\leqq H\leqq XX^{\frac{11}{20}\left(1-\frac{1}{k}\right) +\varepsilon}\leqq H\leqq X, almost all integers n∈(X,X+H] can be represented as the sum of a prime and a k-th power of integer for k≧3.     

Numerical verification of condition for approximately midconvex functions

Let X be a normed space and V be a convex subset of X. Let a\colon \mathbbR₊ ? \mathbbR₊{\alpha \colon \mathbb{R}_+ \to \mathbb{R}_+}. A function f \colon V ? \mathbbR{f \colon V \to \mathbb{R}} is called α-midconvex if