The Katchalski–Lewis transversal problem for regular polygons

If every k-membered subfamily of a family of plane convex bodies has a line transversal, then we say that this family has property T(k). We say that a family \({\mathcal{F}}\) has property \({T-m}\), if there exists a subfamily \({\mathcal{G} \subset \mathcal{F}}\) with \({|\mathcal{F} - \mathcal{G}| \le m}\) admitting a line transversal. Heppes [7] posed the problem whether there exists a convex body K in the plane such that if \({\mathcal{F}}\) is a finite T(3)-family of disjoint translates of K, then m = 3 is the smallest value for which \({\mathcal{F}}\) has property \({T-m}\). In this paper, we study this open problem in terms of finite T(3)-families of pairwise disjoint translates of a regular 2n-gon \({(n \ge 5)}\). We find out that, for \({5 \le n \le 34}\), the family has property \({T - 3}\) ; for \({n \ge 35}\), the family has property \({T - 2}\).     

On Modular Edge-Graceful Graphs

Let G be a connected graph of order \({n\ge 3}\) and size m and \({f:E(G)\to \mathbb{Z}_n}\) an edge labeling of G. Define a vertex labeling \({f': V(G)\to \mathbb{Z}_n}\) by \({f'(v)= \sum_{u\in N(v)}f(uv)}\) where the sum is computed in \({\mathbb{Z}_n}\) . If f′ is one-to-one, then f is called a modular edge-graceful labeling and G is a modular edge-graceful graph. A graph G is modular edge-graceful if G contains a modular edge-graceful spanning tree. Several classes of modular edge-graceful trees are determined. For a tree T of order n where \({n\not\equiv 2 \pmod 4}\) , it is shown that if T contains at most two even vertices or the set of even vertices of T induces a path, then T is modular edge-graceful. It is also shown that every tree of order n where \({n\not\equiv 2\pmod 4}\) having diameter at most 5 is modular edge-graceful.     

A partition-based relaxation for Steiner trees

The Steiner tree problem is a classical NP-hard optimization problem with a wide range of practical applications. In an instance of this problem, we are given an undirected graph G = (V, E), a set of terminals \({R\subseteq V}\) , and non-negative costs c _e for all edges \({e \in E}\) . Any tree that contains all terminals is called a Steiner tree; the goal is to find a minimum-cost Steiner tree. The vertices \({V \backslash R}\) are called Steiner vertices. The best approximation algorithm known for the Steiner tree problem is a greedy algorithm due to Robins and Zelikovsky (SIAM J Discrete Math 19(1):122–134, 2005); it achieves a performance guarantee of \({1+\frac{\ln 3}{2}\approx 1.55}\) . The best known linear programming (LP)-based algorithm, on the other hand, is due to Goemans and Bertsimas (Math Program 60:145–166, 1993) and achieves an approximation ratio of 2?2/|R|. In this paper we establish a link between greedy and LP-based approaches by showing that Robins and Zelikovsky’s algorithm can be viewed as an iterated primal-dual algorithm with respect to a novel LP relaxation. The LP used in the first iteration is stronger than the well-known bidirected cut relaxation. An instance is b-quasi-bipartite if each connected component of \({G \backslash R}\) has at most b vertices. We show that Robins’ and Zelikovsky’s algorithm has an approximation ratio better than \({1+\frac{\ln 3}{2}}\) for such instances, and we prove that the integrality gap of our LP is between \({\frac{8}{7}}\) and \({\frac{2b+1}{b+1}}\) .     

Common best proximity point theorems: Global minimization of some real-valued multi-objective functions

Let us deliberate the question of computing a solution to the problems that can be articulated as the simultaneous equations \({Sx = x}\) and \({Tx = x}\) in the framework of metric spaces. However, when the mappings in context are not necessarily self-mappings, then it may be consequential that the equations do not have a common solution. At this juncture, one contemplates to compute a common approximate solution of such a system with the least possible error. Indeed, for a common approximate solution \({x^*}\) of the equations, the real numbers \({d(x^*, Sx^*)}\) and \({d(x^*,Tx^*)}\) measure the errors due to approximation. Eventually, it is imperative that one pulls off the global minimization of the multiobjective functions \({x \rightarrow d(x, Sx)}\) and \({x \rightarrow d(x, Tx)}\). When S and T are mappings from A to B, it follows that \({d(x, Sx) \geq d(A, B)}\) and \({d(x, Tx) \geq d(A, B)}\) for every \({x \in A}\). As a result, the global minimum of the aforesaid problem shall be actualized if it is ascertained that the functions \({x \rightarrow d(x, Sx)}\) and \({x \rightarrow d(x, Tx)}\) attain the lowest possible value d(A, B). The target of this paper is to resolve the preceding multiobjective global minimization problem when S is a T-cyclic contraction or a generalized cyclic contraction, thereby enabling one to determine a common optimal approximate solution to the aforesaid simultaneous equations.     

On estimation of delay location

Assume that we observe a stationary Gaussian process X(t), \({t \in [-r, T]}\) , which satisfies the affine stochastic delay differential equation

$d X(t) = \int\limits_{[-r,0]}X(t+u)\, a_\vartheta (du)\,dt +dW(t), \quad t\ge 0,$

where W(t), t ≥ 0, is a standard Wiener process independent of X(t), \({t\in [-r, 0]}\) , and \({a_\vartheta}\) is a finite signed measure on [?r, 0], \({\vartheta\in\Theta}\) . The parameter \({\vartheta}\) is unknown and has to be estimated based on the observation. In this paper we consider the case where \({\Theta=(\vartheta_0,\vartheta_1)}\) , \({-\infty\,<\,\vartheta_0 <0 \,<\,\vartheta_1\,<\,\infty}\) , and the measures \({a_\vartheta}\) are of the form

$a_\vartheta = a+b_\vartheta-b,$

where a and b are finite signed measure on [?r, 0] and \({b_\vartheta}\) is the translate of b by \({\vartheta}\) . We study the limit behaviour of the normalized likelihoods

$Z_{T,\vartheta}(u) = \frac{dP_T^{\vartheta+\delta_T u}}{dP_T^\vartheta}$

as T→ ∞, where \({P_T^\vartheta}\) is the distribution of the observation if the true value of the parameter is \({\vartheta}\) . A necessary and sufficient condition for the existence of a rescaling function δ _T such that \({Z_{T,\vartheta}(u)}\) converges in distribution to an appropriate nondegenerate limiting function \({Z_{\vartheta}(u)}\) is found. It turns out that then the limiting function \({Z_{\vartheta}(u)}\) is of the form

$Z_\vartheta(u)=\exp\left(B^H(u) - E[B^H(u)]^2/2\right),$

where \({H\in[1/2,1]}\) and B ^H (u), \({u\in\mathbb{R}}\) , is a fractional Brownian motion with index H, and δ _T  = T ^?1/(2H) ?(T) with a slowly varying function ?. Every \({H\in[1/2,1]}\) may occur in this framework. As a consequence, the asymptotic behaviour of maximum likelihood and Bayes estimators is found.

     

Boundedness of Sublinear Operators and Commutators on Generalized Morrey Spaces

In this paper the authors study the boundedness for a large class of sublinear operators \({T_{\alpha}, \alpha \in [0,n)}\) generated by Calderón–Zygmund operators (α = 0) and generated by Riesz potential operator (α > 0) on generalized Morrey spaces \({M_{p,\varphi}}\) . As an application of the above result, the boundeness of the commutator of sublinear operators \({T_{b,\alpha}, \alpha \in [0,n)}\) on generalized Morrey spaces is also obtained. In the case \({b \in BMO}\) and T _b,α is a sublinear operator, we find the sufficient conditions on the pair \({(\varphi_1,\varphi_2)}\) which ensures the boundedness of the operators \({T_{b,\alpha}, \alpha \in [0,n)}\) from one generalized Morrey space \({M_{p,\varphi_1}}\) to another \({M_{q,\varphi_2}}\) with 1/p ? 1/q = α/n. In all the cases the conditions for the boundedness are given in terms of Zygmund-type integral inequalities on \({(\varphi_1,\varphi_2)}\) , which do not assume any assumption on monotonicity of \({\varphi_1, \, \varphi_2}\) in r. Conditions of these theorems are satisfied by many important operators in analysis, in particular, Littlewood–Paley operator, Marcinkiewicz operator and Bochner–Riesz operator.     

Some estimates for the Schrödinger type operators with nonnegative potentials

In this paper we consider the Schrödinger operator ?Δ + V on \({\mathbb R^d}\), where the nonnegative potential V belongs to the reverse Hölder class \({B_{q_{_1}}}\) for some \({q_{_1}\geq \frac{d}{2}}\) with d ≥ 3. Let \({H^1_L(\mathbb R^d)}\) denote the Hardy space related to the Schrödinger operator L = ?Δ + V and \({BMO_L(\mathbb R^d)}\) be the dual space of \({H^1_L(\mathbb R^d)}\). We show that the Schrödinger type operator \({\nabla(-\Delta +V)^{-\beta}}\) is bounded from \({H^1_L(\mathbb R^d)}\) into \({L^p(\mathbb R^d)}\) for \({p=\frac{d}{d-(2\beta-1)}}\) with \({ \frac{1}{2}<\beta<\frac{3}{2} }\) and that it is also bounded from \({L^p(\mathbb R^d)}\) into \({BMO_L(\mathbb R^d)}\) for \({p=\frac{d}{2\beta-1}}\) with \({ \frac{1}{2}<\beta< 2}\).     

Solvability near the characteristic set for a special class of complex vector fields

This work deals with the solvability near the characteristic set Σ = {0} × S ¹ of operators of the form \({L=\partial/\partial t + (x^na(x) + ix^mb(x))\partial/\partial x}\), \({b\not\equiv0}\) and a(0) ≠ 0, defined on \({\Omega_\epsilon=(-\epsilon,\epsilon)\times S^1}\), \({\epsilon >0 }\), where a and b are real-valued smooth functions in \({(-\epsilon,\epsilon)}\) and m ≥ 2n. It is shown that given f belonging to a subspace of finite codimension of \({C^\infty(\Omega_\epsilon)}\) there is a solution \({u\in L^\infty}\) of the equation Lu = f in a neighborhood of Σ; moreover, the L ^∞ regularity is sharp.     

Lifting Fixed Points of Completely Positive Semigroups

Let \({\{\phi_s\}_{s\in S}}\) be a commutative semigroup of completely positive, contractive, and weak*-continuous linear maps acting on a von Neumann algebra N. Assume there exists a semigroup \({\{\alpha_s\}_{s\in S}}\) of weak*-continuous *-endomorphisms of some larger von Neumann algebra \({M\supset N}\) and a projection \({p\in M}\) with N = pMp such that α _s (1 ? p) ≤ 1 ? p for every \({s\in S}\) and \({\phi_s(y)=p\alpha_s(y)p}\) for all \({y\in N}\). If \({\inf_{s \in S}\alpha_s(1-p)=0}\) then we show that the map \({E:M\to N}\) defined by E(x) = pxp for \({x\in M}\) induces a complete isometry between the fixed point spaces of \({\{\alpha_s\}_{s\in S}}\) and \({\{\phi_s\}_{s\in S}}\).     

Toeplitz Operators from One Fock Space to Another

In this paper, we study Toeplitz operators T _μ from one Fock space \({F^{p}_{\alpha}}\) to another \({F^{q}_{\alpha}}\) for 1 < p, q < ∞ with positive Borel measures μ as symbols. We characterize the boundedness (and compactness) of \({T_\mu: F^{p}_{\alpha} \to F^{q}_{\alpha}}\) in terms of the averaging function \({\widehat{\mu}_r}\) and the t-Berezin transform \({\widetilde{\mu}_t}\) respectively. Quite differently from the Bergman space case, we show that T _μ is bounded (or compact) from \({F^{p}_{\alpha}}\) to \({F^{q}_{\alpha}}\) for some p ≤ q if and only if T _μ is bounded (or compact) from \({F^{p}_{\alpha}}\) to \({F^{q}_{\alpha}}\) for all p ≤ q. In order to prove our main results on T _μ , we introduce and characterize (vanishing) (p, q)-Fock Carleson measures on C ⁿ .     

Generic irreducibilty of Laplace eigenspaces on certain compact Lie groups

If G is a compact Lie group endowed with a left invariant metric g, then G acts via pullback by isometries on each eigenspace of the associated Laplace operator \(\Delta _g\). We establish algebraic criteria for the existence of left invariant metrics g on G such that each eigenspace of \(\Delta _g\), regarded as the real vector space of the corresponding real eigenfunctions, is irreducible under the action of G. We prove that generic left invariant metrics on the Lie groups \(G={ SU}(2)\times \cdots \times { SU}(2)\times T\), where T is a (possibly trivial) torus, have the property just described. The same holds for quotients of such groups G by discrete central subgroups. In particular, it also holds for \({ SO}(3)\), \({ U}(2)\), \({ SO}(4)\).     

A note on standard modules and Vogan L-packets

Let F be a non-Archimedean local field of characteristic 0, let G be the group of F-rational points of a connected reductive group defined over F and let \({G\prime}\) be the group of F-rational points of its quasi-split inner form. Given standard modules \({I(\tau, \nu )}\) and \({I(\tau\prime, \nu\prime)}\) for G and \({G\prime}\) respectively with \({\tau\prime}\) a generic tempered representation, such that the Harish-Chandra \({\mu}\)-function of a representation in the supercuspidal support of \({\tau}\) agrees with the one of a generic essentially square-integral representation in some Jacquet module of \({\tau\prime}\) (after a suitable identification of the underlying spaces under which \({\nu = \nu\prime}\)), we show that \({I(\tau, \nu)}\) is irreducible whenever \({I(\tau\prime, \nu\prime)}\) is. The conditions are satisfied if the Langlands quotients \({J(\tau, \nu})\) and \({J(\tau\prime, \nu\prime)}\) of respectively \({I(\tau, \nu)}\) and \({I(\tau\prime, \nu\prime)}\) lie in the same Vogan L-packet (whenever this Vogan L-packet is defined), proving that, for any Vogan L-packet, all the standard modules with Langlands quotient in a given Vogan L-packet are irreducible, if and only if this Vogan L-packet contains a generic representation. This result for generic Vogan L-packets was proven for quasi-split orthogonal and symplectic groups by Moeglin-Waldspurger and used in their proof of the general case of the local Gan-Gross-Prasad conjectures for these groups.     

On certain functional equations related to Jordan triple $${(\theta, \phi)}$$-derivations on semiprime rings

The main purpose of this paper is to prove the following result. Let R be a 2-torsion free semiprime ring with symmetric Martindale ring of quotients Q _s and let \({\theta}\) and \({\phi}\) be automorphisms of R. Suppose \({T:R\rightarrow R}\) is an additive mapping satisfying the relation \({T(xyx)=T(x)\theta (y)\theta (x)-\phi (x)T(y)\theta (x)+\phi (x)\phi (y)T(x)}\), for all pairs \({x,y\in R}\). In this case T is of the form \({2T(x)=q\theta (x)+\phi (x)q}\), for all \({x\in R}\) and some fixed element \({q\in Q_{s}}\).     

Asymptotic behavior of the p-torsion functions as p goes to 1

Let \({\Omega}\) be a Lipschitz bounded domain of \({\mathbb{R}^N}\), \({N\geq2}\), and let \({u_p\in W_0^{1,p}(\Omega)}\) denote the p-torsion function of \({\Omega}\), p > 1. It is observed that the value 1 for the Cheeger constant \({h(\Omega)}\) is threshold with respect to the asymptotic behavior of u_p, as \({p\rightarrow 1^+}\), in the following sense: when \({h(\Omega) > 1}\), one has \({\lim_{p\rightarrow 1^+}\left\|u_{p}\right\| _{L^\infty(\Omega)}=0}\), and when \({h(\Omega) < 1}\), one has \({\lim_{p\rightarrow 1^+}\left\|u_p\right\| _{L^\infty(\Omega)}=\infty}\). In the case \({h(\Omega)=1}\), it is proved that \({\limsup_{p\rightarrow1^+}\left\|u_p\right\|_{L^\infty(\Omega)}<\infty}\). For a radial annulus \({\Omega_{a,b}}\), with inner radius a and outer radius b, it is proved that \({\lim_{p\rightarrow 1^+}\left\|u_p\right\| _{L^\infty(\Omega_{a,b})}=0}\) when \({h(\Omega_{a,b})=1}\).     

On a two-phase free boundary condition for <Emphasis Type="Italic">p</Emphasis>-harmonic measures

Let \({\Omega^i\subset {\bf R}^n, i\in\{1,2\}}\) , be two (δ, r ₀)-Reifenberg flat domains, for some \({0 < \delta < \hat \delta}\) and r ₀ > 0, assume \({\Omega^1\cap\Omega^2=\emptyset}\) and that, for some \({w\in {\bf R}^n}\) and some 0 < r, \({w\in\partial\Omega^1\cap\partial\Omega^2, \partial\Omega^1\cap B(w,2r)=\partial\Omega^2\cap B(w,2r)}\) . Let p, 1 < p < ∞, be given and let u ⁱ , \({i\in\{1,2\}}\) , denote a non-negative p-harmonic function in Ω ⁱ , assume that u ⁱ , \({i\in\{1,2\}}\), is continuous in \({\bar\Omega^i\cap B(w,2r) }\) and that u ⁱ  = 0 on \({\partial\Omega^i\cap B(w,2r)}\) . Extend u ⁱ to B(w, 2r) by defining \({u^i\equiv 0}\) on \({B(w,2r) {\setminus} \Omega^i}\). Then there exists a unique finite positive Borel measure μ ⁱ , \({i\in\{1,2\}}\) , on R ⁿ , with support in \({\partial\Omega^i\cap B(w,2r)}\) , such that if \({\phi \in C_0^\infty (B(w,2r))}\) , then

$\int\limits_{\mathbf R^n} \,|\nabla u^i|^{ p-2} \,\langle \nabla u^i, \,\nabla \phi \rangle \,dx =- \int\limits_{\mathbf R^n} \,\phi \,d \mu^i.$

Let \({\Delta(w,2r)=\partial\Omega^1\cap B(w,2r)=\partial\Omega^2\cap B(w,2r)}\) . The main result proved in this paper is the following. Assume that μ ² is absolutely continuous with respect to μ ¹ on Δ(w, 2r), d μ ² = kd μ ¹ for μ ¹-almost every point in Δ(w, 2r) and that \({\log k\in VMO(\Delta(w,r),\mu^1)}\) . Then there exists \({\tilde \delta = \tilde \delta(p,n) > 0}\) , \({\tilde \delta < \hat \delta}\) , such that if \({\delta\leq\tilde\delta}\) , then Δ(w, r/2) is Reifenberg flat with vanishing constant. Moreover, the special case p = 2, i.e., the linear case and the corresponding problem for harmonic measures, has previously been studied in Kenig and Toro (J Reine Angew Math 596:1–44, 2006).

     

Homoclinic Solutions for <Emphasis Type="Italic">p</Emphasis>(<Emphasis Type="Italic">t</Emphasis>)-Laplacian–Hamiltonian Systems Without Coercive Conditions

In this paper, we study the existence and multiplicity of homoclinic solutions for the following second-order p(t)-Laplacian–Hamiltonian systems

$$\frac{{\rm d}}{{\rm d}t}(|\dot{u}(t)|^{p(t)-2}\dot{u}(t))-a(t)|u(t)|^{p(t)-2}u(t)+\nabla W(t,u(t))=0,$$

where \({t \in \mathbb{R}}\), \({u \in \mathbb{R}^n}\), \({p \in C(\mathbb{R},\mathbb{R})}\) with p(t) > 1, \({a \in C(\mathbb{R},\mathbb{R})}\), \({W\in C^1(\mathbb{R}\times\mathbb{R}^n,\mathbb{R})}\) and \({\nabla W(t,u)}\) is the gradient of W(t, u) in u. The point is that, assuming that a(t) is bounded in the sense that there are constants \({0<\tau_1<\tau_2<\infty}\) such that \({\tau_1\leq a(t)\leq \tau_2 }\) for all \({t \in \mathbb{R}}\) and W(t, u) is of super-p(t) growth or sub-p(t) growth as \({|u|\rightarrow \infty}\), we provide two new criteria to ensure the existence and multiplicity of homoclinic solutions, respectively. Recent results in the literature are extended and significantly improved.

     

Note on Bernoulli numbers associated to some Dirichlet character of prime conductor

We fix an integer \({n \geq 1}\) and a divisor m of n such that n/m is odd. Let p be a prime number of the form \({p=2n\ell+1}\) for some odd prime number \({\ell}\) with \({\ell \nmid m}\). Let \({S=pB_{1,2m\ell}}\) be the p times of the generalised Bernoulli number associated to an odd Dirichlet character of conductor p and order \({2m\ell}\), which is an algebraic integer of the \({2m\ell}\)th cyclotomic field. It is known that \({S \neq 0}\). More strongly, we show that when \({\ell}\) is sufficiently large, the trace of \({\zeta^{-1}S}\) to the \({2m}\)th cyclotomic field does not vanish for any\({\ell}\)th root \({\zeta}\) of unity. We also show a related result on indivisibility of relative class numbers.     

Arens regularity of projective tensor products

For completely contractive Banach algebras A and B (respectively operator algebras A and B), the necessary and sufficient conditions for the operator space projective tensor product \({A\widehat{\otimes}B}\) (respectively the Haagerup tensor product \({A\otimes^{h}B}\)) to be Arens regular are obtained. Using the non-commutative Grothendieck inequality, we show that, for C*-algebras A and B, \({A\otimes^{\gamma} B}\) is Arens regular if \({A\widehat{\otimes}B}\) and \({A\widehat{\otimes}B^{op}}\) are Arens regular whereas \({A\widehat{\otimes}B}\) is Arens regular if and only if \({A\otimes^{h}B}\) and \({B\otimes^{h}A}\) are, where \({\otimes^h}\), \({\otimes^{\gamma}}\), and \({\widehat{\otimes}}\) are the Haagerup, the Banach space projective tensor norm, and the operator space projective tensor norm, respectively.     

Interlacing of zeros of Gegenbauer polynomials of non-consecutive degree from different sequences

A theorem due to Stieltjes’ states that if \({\{p_n\}_{n=0}^\infty}\) is any orthogonal sequence then, between any two consecutive zeros of p _k , there is at least one zero of p _n whenever k < n, a property called Stieltjes interlacing. We show that Stieltjes interlacing extends to the zeros of Gegenbauer polynomials \({C_{n+1}^{\lambda}}\) and \({C_{n-1}^{\lambda+t}}\), \({\lambda > -\frac 12}\), if 0 < t ≤ k + 1, and also to the zeros of \({C_{n+1}^{\lambda}}\) and \({C_{n-2}^{\lambda +k}}\) if \({k\in\{1,2,3\}}\). More generally, we prove that Stieltjes interlacing holds between the zeros of the kth derivative of \({C_{n}^{\lambda}}\) and the zeros of \({C_{n+1}^{\lambda}}\), \({k\in\{1,2,\dots,n-1\}}\) and we derive associated polynomials that play an analogous role to the de Boor–Saff polynomials in completing the interlacing process of the zeros.     

Integral means of weighted Hardy–Bloch functions

Let \({\mathcal{B}^\omega(p, q, B_d)}\) denote the \({\omega}\)-weighted Hardy–Bloch space on the unit ball B _d of \({\mathbb{C}^d}\), \({d\ge 1}\). For \({2< p,q < \infty}\) and \({f\in \mathcal{B}^\omega(p, q, B_d)}\), we obtain sharp estimates on the growth of the p-integral means M _p (f, r) as \({r\to 1-}\).