Dominating Cycles and Forbidden Pairs Containing $$P_{5}$$

A cycle C in a graph G is dominating if every edge of G is incident with at least one vertex of C. For a set \(\mathcal {H}\) of connected graphs, a graph G is said to be \(\mathcal {H}\)-free if G does not contain any member of \(\mathcal {H}\) as an induced subgraph. When \(|\mathcal {H}| = 2, \mathcal {H}\) is called a forbidden pair. In this paper, we investigate the characterization of the class of the forbidden pairs guaranteeing the existence of a dominating cycle and show the following two results: (i) Every 2-connected \(\{P_{5}, K_{4}^{-}\}\)-free graph contains a longest cycle which is a dominating cycle. (ii) Every 2-connected \(\{P_{5}, W^{*}\}\)-free graph contains a longest cycle which is a dominating cycle. Here \(P_{5}\) is the path of order \(5, K_{4}^{-}\) is the graph obtained from the complete graph of order 4 by removing one edge, and \(W^{*}\) is the graph obtained from two triangles and an edge by identifying one vertex in each.     

On the topological center of a Banach algebra related to a foundation topological semigroup

Let \({\mathcal{S}}\) be a locally compact semigroup and \(L_{0}^{\infty}({\mathcal{S}},M_{a}({\mathcal{S}}))\) be the Banach space of all μ-measurable (\(\mu\in M_{a}({\mathcal{S}})\)) functions vanishing at infinity, where \(M_{a}({\mathcal{S}})\) denotes the algebra of all measures with continuous translations. Recently, we have shown that \(L_{0}^{\infty}({\mathcal{S}},M_{a}({\mathcal{S}}))^{*}\) can be equipped with an Arens type product. Here, we show that the topological center of \(L_{0}^{\infty}({\mathcal{S}},M_{a}({\mathcal{S}}))^{*}\) coincides with \(M_{a}({\mathcal{S}})\) for a class of locally compact semigroups \({\mathcal{S}}\): this gives a partial solution to a conjecture raised by the authors.     

Least energy sign-changing solutions for a class of fourth order Kirchhoff-type equations in $$\mathbb {R}^{N}$$

In this article we study the problem

$$\begin{aligned} \Delta ^{2}u-\left( a+b\int _{\mathbb {R}^{N}}\left| \nabla u\right| ^{2}dx\right) \Delta u+V(x)u=\left| u\right| ^{p-2}u\ \text { in }\mathbb {R}^{N}, \end{aligned}$$

where \(\Delta ^{2}:=\Delta (\Delta )\) is the biharmonic operator, \(a,b>0\) are constants, \(N\le 7,\) \(p\in (4,2_{*})\) for \(2_{*}\) defined below, and \(V(x)\in C(\mathbb {R}^{N},\mathbb {R})\). Under appropriate assumptions on V(x), the existence of least energy sign-changing solution is obtained by combining the variational methods and the Nehari method.

     

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.     

On Lipschitz continuity of solutions of hyperbolic Poisson’s equation

In this paper, we investigate solutions of the hyperbolic Poisson equation \(\Delta _{h}u(x)=\psi (x)\), where \(\psi \in L^{\infty }(\mathbb {B}^{n}, {\mathbb R}^n)\) and

$$\begin{aligned} \Delta _{h}u(x)= (1-|x|^2)^2\Delta u(x)+2(n-2)\left( 1-|x|^2\right) \sum _{i=1}^{n} x_{i} \frac{\partial u}{\partial x_{i}}(x) \end{aligned}$$

is the hyperbolic Laplace operator in the n-dimensional space \(\mathbb {R}^n\) for \(n\ge 2\). We show that if \(n\ge 3\) and \(u\in C^{2}(\mathbb {B}^{n},{\mathbb R}^n) \cap C(\overline{\mathbb {B}^{n}},{\mathbb R}^n )\) is a solution to the hyperbolic Poisson equation, then it has the representation \(u=P_{h}[\phi ]-G_{ h}[\psi ]\) provided that \(u\mid _{\mathbb {S}^{n-1}}=\phi \) and \(\int _{\mathbb {B}^{n}}(1-|x|^{2})^{n-1} |\psi (x)|\,d\tau (x)<\infty \). Here \(P_{h}\) and \(G_{h}\) denote Poisson and Green integrals with respect to \(\Delta _{h}\), respectively. Furthermore, we prove that functions of the form \(u=P_{h}[\phi ]-G_{h}[\psi ]\) are Lipschitz continuous.

     

Two definite integrals involving products of four Legendre functions

The definite integrals \( \int _{-1}^1x[P_\nu (x)]^4\mathrm{d}x\) and \( \int _{0}^1x[P_\nu (x)]^2\{[P_\nu (x)]^2-[P_\nu (-x)]^2\}\mathrm{d}x\) are evaluated in closed form, where \( P_\nu \) stands for the Legendre function of degree \( \nu \in \mathbb C\). Special cases of these integral formulae have appeared in arithmetic studies of automorphic Green’s functions and Epstein zeta functions.     

A Characterization of Two-Weight Norm Inequality for Littlewood–Paley $$g_{\lambda }^{*}$$-Function

Let \(n\ge 2\) and \(g_{\lambda }^{*}\) be the well-known high-dimensional Littlewood–Paley function which was defined and studied by E. M. Stein,

$$\begin{aligned} g_{\lambda }^{*}(f)(x) =\bigg (\iint _{\mathbb {R}^{n+1}_{+}} \Big (\frac{t}{t+|x-y|}\Big )^{n\lambda } |\nabla P_tf(y,t)|^2 \frac{\mathrm{d}y \mathrm{d}t}{t^{n-1}}\bigg )^{1/2}, \ \quad \lambda > 1, \end{aligned}$$

where \(P_tf(y,t)=p_t*f(y)\), \(p_t(y)=t^{-n}p(y/t)\), and \(p(x) = (1+|x|^2)^{-(n+1)/2}\), \(\nabla =(\frac{\partial }{\partial y_1},\ldots ,\frac{\partial }{\partial y_n},\frac{\partial }{\partial t})\). In this paper, we give a characterization of two-weight norm inequality for \(g_{\lambda }^{*}\)-function. We show that \(\big \Vert g_{\lambda }^{*}(f \sigma ) \big \Vert _{L^2(w)} \lesssim \big \Vert f \big \Vert _{L^2(\sigma )}\) if and only if the two-weight Muckenhoupt \(A_2\) condition holds, and a testing condition holds:

$$\begin{aligned} \sup _{Q : \text {cubes}~\mathrm{in} \ {\mathbb {R}^n}} \frac{1}{\sigma (Q)} \int _{{\mathbb {R}^n}} \iint _{\widehat{Q}} \Big (\frac{t}{t+|x-y|}\Big )^{n\lambda }|\nabla P_t(\mathbf {1}_Q \sigma )(y,t)|^2 \frac{w \mathrm{d}x \mathrm{d}t}{t^{n-1}} \mathrm{d}y < \infty , \end{aligned}$$

where \(\widehat{Q}\) is the Carleson box over Q and \((w, \sigma )\) is a pair of weights. We actually prove this characterization for \(g_{\lambda }^{*}\)-function associated with more general fractional Poisson kernel \(p^\alpha (x) = (1+|x|^2)^{-{(n+\alpha )}/{2}}\). Moreover, the corresponding results for intrinsic \(g_{\lambda }^*\)-function are also presented.

     

On a Weighted Singular Integral Operator with Shifts and Slowly Oscillating Data

Let \(\alpha ,\beta \) be orientation-preserving diffeomorphism (shifts) of \(\mathbb {R}_+=(0,\infty )\) onto itself with the only fixed points \(0\) and \(\infty \) and \(U_\alpha ,U_\beta \) be the isometric shift operators on \(L^p(\mathbb {R}_+)\) given by \(U_\alpha f=(\alpha ')^{1/p}(f\circ \alpha )\), \(U_\beta f=(\beta ')^{1/p}(f\circ \beta )\), and \(P_2^\pm =(I\pm S_2)/2\) where

$$\begin{aligned} (S_2 f)(t):=\frac{1}{\pi i}\int \limits _0^\infty \left( \frac{t}{\tau }\right) ^{1/2-1/p}\frac{f(\tau )}{\tau -t}\,d\tau , \quad t\in \mathbb {R}_+, \end{aligned}$$

is the weighted Cauchy singular integral operator. We prove that if \(\alpha ',\beta '\) and \(c,d\) are continuous on \(\mathbb {R}_+\) and slowly oscillating at \(0\) and \(\infty \), and

$$\begin{aligned} \limsup _{t\rightarrow s}|c(t)|<1, \quad \limsup _{t\rightarrow s}|d(t)|<1, \quad s\in \{0,\infty \}, \end{aligned}$$

then the operator \((I-cU_\alpha )P_2^++(I-dU_\beta )P_2^-\) is Fredholm on \(L^p(\mathbb {R}_+)\) and its index is equal to zero. Moreover, its regularizers are described.

     

Asymptotic Behavior of Solutions to a New Hall-MHD System

In this paper, by using Fourier splitting method and the properties of decay character \(r^{*}\), we consider the algebraic time decay rate of solutions to a new Hall-MHD system in Sobolev space \(H^{m}(\mathbb{R} ^{3})\times H^{m+1}(\mathbb{R}^{3})\) for \(m\geq 0\).     

Walk-Powers and Homomorphism Bounds of Planar Signed Graphs

As an extension of the Four-Color Theorem it is conjectured by the first author that every planar graph of odd-girth at least \(2k+1\) admits a homomorphism to the projective cube of dimension 2k, i.e., the Cayley graph \({\mathcal {PC}}(2k)=({\mathbb {Z}}_2^{2k}, \{e_1, e_2,\) \(\ldots ,e_{2k}, J\})\) where the \(e_i\)’s are the standard basis vectors of \({\mathbb {Z}}_2^d\) and J is the all 1 vector. Noting that \({\mathcal {PC}}(2k)\) itself is of odd-girth \(2k+1\), in this work we show that if the conjecture is true, then \({\mathcal {PC}}(2k)\) is an optimal such graph both with respect to the number of vertices and the number of edges. The result is obtained using the notion of walk-power of graphs and their clique numbers. An analogous result is proved for signed bipartite planar graphs of unbalanced-girth 2k. The work is presented in the uniform framework of planar consistent signed graphs.     

Compact right multipliers on a Banach algebra related to locally compact semigroups

For a locally compact semigroup \({\mathcal{S}}\), let \(L_{0}^{\infty}({\mathcal{S}},M_{a}({\mathcal{S}}))\) be the Banach space of all μ-measurable (\(\mu\in M_{a}({\mathcal{S}})\)) functions vanishing at infinity, where \(M_{a}({\mathcal{S}})\) denotes the algebra of all measures in the measure algebra \(M({\mathcal{S}})\) of \({\mathcal{S}}\) with continuous translations. Here, we study right compact multipliers on the Banach algebra \(L_{0}^{\infty}({\mathcal{S}},M_{a}({\mathcal{S}}))^{*}\) equipped with an Arens product.     

The positive solutions to a quasi-linear problem of fractional <Emphasis Type="Italic">p</Emphasis>-Laplacian type without the Ambrosetti–Rabinowitz condition

In this paper, we study the existence of nontrivial solution to a quasi-linear problem

Open image in new window

where \( (-\Delta )_{p}^{s} u(x)=2\lim \nolimits _{\epsilon \rightarrow 0}\int _{\mathbb {R}^N \backslash B_{\varepsilon }(X)} \frac{|u(x)-u(y)|^{p-2} (u(x)-u(y))}{| x-y | ^{N+sp}}dy, \) \( x\in \mathbb {R}^N\) is a nonlocal and nonlinear operator and \( p\in (1,\infty )\), \( s \in (0,1) \), \( \lambda \in \mathbb {R} \), \( \Omega \subset \mathbb {R}^N (N\ge 2)\) is a bounded domain which smooth boundary \(\partial \Omega \). Using the variational methods based on the critical points theory, together with truncation and comparison techniques, we show that there exists a critical value \(\lambda _{*}>0\) of the parameter, such that if \(\lambda >\lambda _{*}\), the problem \((P)_{\lambda }\) has at least two positive solutions, if \(\lambda =\lambda _{*}\), the problem \((P)_{\lambda }\) has at least one positive solution and it has no positive solution if \(\lambda \in (0,\lambda _{*})\). Finally, we show that for all \(\lambda \ge \lambda _{*}\), the problem \((P)_{\lambda }\) has a smallest positive solution.

     

Symbolic Computation Applied to the Study of the Kernel of a Singular Integral Operator with Non-Carleman Shift and Conjugation

On the Hilbert space \(\widetilde{L}_{2}(\mathbb {T})\) the singular integral operator with non-Carleman shift and conjugation \(K=P_{+}+(aI+AC)P_{-}\) is considered, where \(P_{\pm }\) are the Cauchy projectors, \(A=\sum \nolimits _{j=0}^{m}a_{j}U^{j}\), \(a,a_{j}\), \(j=\overline{1,m}\), are continuous functions on the unit circle \(\mathbb {T}\), U is the shift operator and C is the operator of complex conjugation. We show how the symbolic computation capabilities of the computer algebra system Mathematica can be used to explore the dimension of the kernel of the operator K. The analytical algorithm [ADimKer-NonCarleman] is presented; several nontrivial examples are given.     

Left annihilator of generalized derivations on Lie ideals in prime rings

Let \(R\) be a prime ring, \(L\) a noncentral Lie ideal of \(R\), \(F\) a generalized derivation with associated nonzero derivation \(d\) of \(R\). If \(a\in R\) such that \(a(d(u)^{l_1} F(u)^{l_2} d(u)^{l_3} F(u)^{l_4} \ldots F(u)^{l_k})^{n}=0\) for all \(u\in L\), where \(l_1,l_2,\ldots ,l_k\) are fixed non negative integers not all are zero and \(n\) is a fixed integer, then either \(a=0\) or \(R\) satisfies \(s_4\), the standard identity in four variables.     

The solution gap of the Brezis–Nirenberg problem on the hyperbolic space

We consider the positive solutions of the nonlinear eigenvalue problem \(-\Delta _{\mathbb {H}^n} u = \lambda u + u^p, \) with \(p=\frac{n+2}{n-2}\) and \(u \in H_0^1(\Omega ),\) where \(\Omega \) is a geodesic ball of radius \(\theta _1\) on \(\mathbb {H}^n.\) For radial solutions, this equation can be written as an ordinary differential equation having n as a parameter. In this setting, the problem can be extended to consider real values of n. We show that if \(2<n<4\) this problem has a unique positive solution if and only if \(\lambda \in \left( n(n-2)/4 +L^*\,,\, \lambda _1\right) .\) Here \(L^*\) is the first positive value of \(L = -\ell (\ell +1)\) for which a suitably defined associated Legendre function \(P_{\ell }^{-\alpha }(\cosh \theta ) >0\) if \(0 < \theta <\theta _1\) and \(P_{\ell }^{-\alpha }(\cosh \theta _1)=0,\) with \(\alpha = (2-n)/2\).     

New lower bounds for the Shannon capacity of odd cycles

The Shannon capacity of a graph G is defined as \(c(G)=\sup _{d\ge 1}(\alpha (G^d))^{\frac{1}{d}},\) where \(\alpha (G)\) is the independence number of G. The Shannon capacity of the cycle \(C_5\) on 5 vertices was determined by Lovász in 1979, but the Shannon capacity of a cycle \(C_p\) for general odd p remains one of the most notorious open problems in information theory. By prescribing stabilizers for the independent sets in \(C_p^d\) and using stochastic search methods, we show that \(\alpha (C_7^5)\ge 350\), \(\alpha (C_{11}^4)\ge 748\), \(\alpha (C_{13}^4)\ge 1534\), and \(\alpha (C_{15}^3)\ge 381\). This leads to improved lower bounds on the Shannon capacity of \(C_7\) and \(C_{15}\): \(c(C_7)\ge 350^{\frac{1}{5}}> 3.2271\) and \(c(C_{15})\ge 381^{\frac{1}{3}}> 7.2495\).     

On the Dilation of Truncated Toeplitz Operators

An operator \(S_{\varphi ,\psi }^{u}\in \mathcal {L}(L^2)\) is called the dilation of a truncated Toeplitz operator if for two symbols \(\varphi ,\psi \in L^{\infty }\) and an inner function u,

$$\begin{aligned} S_{\varphi ,\psi }^{u}f=\varphi P_uf+\psi Q_uf \end{aligned}$$

holds for \(f\in {L}^{2}\) where \(P_{u}\) denotes the orthogonal projection of \(L^2\) onto the model space \(\mathcal { K}_{u}^2=H^2{\ominus }{{u}H^2}\) and \(Q_u=I-P_u.\) In this paper, we study properties of the dilation of truncated Toeplitz operators on \(L^{2}\). In particular, we provide conditions for the dilation of truncated Toeplitz operators to be normal. As some applications, we give several examples of such operators.

     

On $$L^p$$-Boundedness of Pseudo-Differential Operators of Sjöstrand’s Class

We extended the known result that symbols from modulation spaces \(M^{\infty ,1}(\mathbb {R}^{2n})\), also known as the Sjöstrand’s class, produce bounded operators in \(L^2(\mathbb {R}^n)\), to general \(L^p\) boundedness at the cost of loss of derivatives. Indeed, we showed that pseudo-differential operators acting from \(L^p\)-Sobolev spaces \(L^p_s(\mathbb {R}^n)\) to \(L^p(\mathbb {R}^n)\) spaces with symbols from the modulation space \(M^{\infty ,1}(\mathbb {R}^{2n})\) are bounded, whenever \(s\ge n|1/p-1/2|.\) This estimate is sharp for all \(1< p<\infty \).     

Small Littlewood–Richardson coefficients

We develop structural insights into the Littlewood–Richardson graph, whose number of vertices equals the Littlewood–Richardson coefficient \(c_{\lambda ,\mu }^{\nu }\) for given partitions \(\lambda \), \(\mu \), and \(\nu \). This graph was first introduced in Bürgisser and Ikenmeyer (SIAM J Discrete Math 27(4):1639–1681, 2013), where its connectedness was proved. Our insights are useful for the design of algorithms for computing the Littlewood–Richardson coefficient: We design an algorithm for the exact computation of \(c_{\lambda ,\mu }^{\nu }\) with running time \(\mathcal {O}\big ((c_{\lambda ,\mu }^{\nu })^2 \cdot {\textsf {poly}}(n)\big )\), where \(\lambda \), \(\mu \), and \(\nu \) are partitions of length at most n. Moreover, we introduce an algorithm for deciding whether \(c_{\lambda ,\mu }^{\nu } \ge t\) whose running time is \(\mathcal {O}\big (t^2 \cdot {\textsf {poly}}(n)\big )\). Even the existence of a polynomial-time algorithm for deciding whether \(c_{\lambda ,\mu }^{\nu } \ge 2\) is a nontrivial new result on its own. Our insights also lead to the proof of a conjecture by King et al. (Symmetry in physics. American Mathematical Society, Providence, 2004), stating that \(c_{\lambda ,\mu }^{\nu }=2\) implies \(c_{M\lambda ,M\mu }^{M\nu } = M+1\) for all \(M \in \mathbb {N}\). Here, the stretching of partitions is defined componentwise.