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.     

Weak type (1, 1) of some operators for the Laplacian with drift

Let \(v = (v_1, \ldots , v_n)\) be a vector in \(\mathbb {R}^n {\setminus } \{ 0 \}\). Consider the Laplacian on \(\mathbb {R}^n\) with drift \(\Delta _{v} = \sum _{i = 1}^n \Big ( \frac{\partial ^2}{\partial x_i^2} + 2 v_i \frac{\partial }{\partial x_i} \Big )\) and the measure \(d\mu (x) = e^{2 \langle v, x \rangle } dx\), with respect to which \(\Delta _{v}\) is self-adjoint. Let d and \(\nabla \) denote the Euclidean distance and the gradient operator on \(\mathbb {R}^n\). Consider the space \((\mathbb {R}^n, d, d\mu )\), which has the property of exponential volume growth. We obtain weak type (1, 1) for the Riesz transform \(\nabla (- \Delta _{v} )^{-\frac{1}{2}}\) and for the heat maximal operator, with respect to \(d\mu \). Further, we prove that the uncentered Hardy–Littlewood maximal operator is bounded on \(L^p\) for \(1 < p \le +\infty \) but not of weak type (1, 1) if \(n \ge 2\).     

Eichler’s commutation relation and some other invariant subspaces of Hecke operators

Let k be an odd positive integer, L a lattice on a regular positive definite k-dimensional quadratic space over \(\mathbb {Q}\), \(N_L\) the level of L, and \(\mathscr {M}(L)\)  be the linear space of \(\theta \)-series attached to the distinct classes in the genus of L. We prove that, for an odd prime \(p|N_L\), if \(L_p=L_{p,1}\,\bot \, L_{p,2}\), where \(L_{p,1}\) is unimodular, \(L_{p,2}\) is (p)-modular, and \(\mathbb {Q}_pL_{p,2}\) is anisotropic, then \(\mathscr {M}(L;p):=\) \(\mathscr {M}(L)\) \(+T_{p^2}.\) \(\mathscr {M}(L)\)  is stable under the Hecke operator \(T_{p^2}\). If \(L_2\) is isometric to \(\left( \begin{array}{ll}0&{}\frac{1}{2}\\ \frac{1}{2}&{}0\end{array}\right) ^{\kappa }\,\bot \, \langle \varepsilon \rangle \) or \(\left( \begin{array}{ll}0&{}\frac{1}{2}\\ \frac{1}{2}&{}0\end{array}\right) ^{\kappa }\,\bot \, \langle 2\varepsilon \rangle \) or \(\left( \begin{array}{ll}0&{}1\\ 1&{}0\end{array}\right) ^{\kappa }\,\bot \, \langle \varepsilon \rangle \) with \(\varepsilon \in \mathbb {Z}_2^{\times }\) and \(\kappa :=\frac{k-1}{2}\), then \(\mathscr {M}(L;2):=T_{2^2}.\mathscr {M}(L)+T_{2^2}^2.\,\mathscr {M}(L)\) is stable under the Hecke operator \(T_{2^2}\). Furthermore, we determine some invariant subspaces of the cusp forms for the Hecke operators.     

Existence of positive solution for nonlocal singular fourth order Kirchhoff equation with Hardy potential

This paper is concerned with the existence of positive solution to a class of singular fourth order elliptic equation of Kirchhoff type

$$\begin{aligned} \triangle ^2 u-\lambda M(\Vert \nabla u\Vert ^2)\triangle u-\frac{\mu }{\vert x\vert ^4}u=\frac{h(x)}{u^\gamma }+k(x)u^\alpha , \end{aligned}$$

under Navier boundary conditions, \(u=\triangle u=0\). Here \(\varOmega \subset {\mathbf {R}}^N\), \(N\ge 1\) is a bounded \(C^4\)-domain, \(0\in \varOmega \), h(x) and k(x) are positive continuous functions, \(\gamma \in (0,1)\), \(\alpha \in (0,1)\) and \(M:{\mathbf {R}}^+\rightarrow {\mathbf {R}}^+\) is a continuous function. By using Galerkin method and sharp angle lemma, we will show that this problem has a positive solution for \(\lambda > \frac{\mu }{\mu ^*m_0}\) and \(0<\mu <\mu ^*\). Here \(\mu ^*=\Big (\frac{N(N-4)}{4}\Big )^2\) is the best constant in the Hardy inequality. Besides, if \(\mu =0\), \(\lambda >0\) and h, k are Lipschitz functions, we show that this problem has a positive smooth solution. If \(h,k\in C^{2,\,\theta _0}(\overline{\varOmega })\) for some \(\theta _0\in (0,1)\), then this problem has a positive classical solution.

     

Some Estimates of Higher Order Riesz Transform Related to Schrödinger Type Operators

In this paper we consider the Schrödinger type operators \(H_2=(-\Delta)^2 +V^2\), where the nonnegative potential V belongs to the reverse Hölder class \(B_{q_{_1}}\) for \(q_{_1}\geq \frac{n}{2}, n\geq 5\). The L ^p and weak type (1, 1) estimates of higher order Riesz transform \(\nabla^2H^{-\frac{1}{2}}_2 \) related to Schrödinger type operators H ₂ are obtained. In particular, \(\nabla^2H^{-\frac{1}{2}}_2 \) is a Calderón-Zygmund operator if V?∈?B _2n or \(V\in B_\frac{n}{2}\) and there exists a constant C such that V(x)?≤?Cm(x,V)².     

Blow-up solutions for Hardy–Sobolev equations on compact Riemannian manifolds

Let (M, g) be a smooth compact Riemannian manifold of dimension \(n\ge 6\), \(\xi _0\in M\), and we are concerned with the following Hardy–Sobolev elliptic equations:

$$\begin{aligned} -\Delta _gu+h(x)u=\frac{u^{2^{*}(s)-1-\epsilon }}{d_{g}(x,\xi _0)^s},\ \ \ \ u>0\ \ \mathrm{in} \ \ M, \end{aligned}$$

(0.1)

where \(\Delta _g\,=\,\mathrm{div}_g(\nabla )\) is the Laplace–Beltrami operator on M, h(x) is a \(C^1\) function on M, \(\epsilon \) is a sufficiently small real parameter, \(2^{*}(s):=\frac{2(n-s)}{n-2}\) is the critical Hardy–Sobolev exponent with \(s\in (0,2)\), and \(d_{g}\) is the Riemannian distance on M. Performing the Lyapunov–Schmidt reduction procedure, we obtain the existence of blow-up families of positive solutions of problem (0.1).

     

Quasilinear equations with natural growth in the gradients in spaces of Sobolev multipliers

We study the existence problem for a class of nonlinear elliptic equations whose prototype is of the form \(-\Delta _p u = |\nabla u|^p + \sigma \) in a bounded domain \(\Omega \subset \mathbb {R}^n\). Here \(\Delta _p\), \(p>1\), is the standard p-Laplacian operator defined by \(\Delta _p u=\mathrm{div}\, (|\nabla u|^{p-2}\nabla u)\), and the datum \(\sigma \) is a signed distribution in \(\Omega \). The class of solutions that we are interested in consists of functions \(u\in W^{1,p}_0(\Omega )\) such that \(|\nabla u|\in M(W^{1,p}(\Omega )\rightarrow L^p(\Omega ))\), a space pointwise Sobolev multipliers consisting of functions \(f\in L^{p}(\Omega )\) such that

$$\begin{aligned} \int _{\Omega } |f|^{p} |\varphi |^p dx \le C \int _{\Omega } (|\nabla \varphi |^p + |\varphi |^p) dx \quad \forall \varphi \in C^\infty (\Omega ), \end{aligned}$$

for some \(C>0\). This is a natural class of solutions at least when the distribution \(\sigma \) is nonnegative and compactly supported in \(\Omega \). We show essentially that, with only a gap in the smallness constants, the above equation has a solution in this class if and only if one can write \(\sigma =\mathrm{div}\, F\) for a vector field F such that \(|F|^{\frac{1}{p-1}}\in M(W^{1,p}(\Omega )\rightarrow L^p(\Omega ))\). As an important application, via the exponential transformation \(u\mapsto v=e^{\frac{u}{p-1}}\), we obtain an existence result for the quasilinear equation of Schrödinger type \(-\Delta _p v = \sigma \, v^{p-1}\), \(v\ge 0\) in \(\Omega \), and \(v=1\) on \(\partial \Omega \), which is interesting in its own right.

     

Random Walks in the Hyperbolic Plane and the Minkowski Question Mark Function

Consider \(G=SL_2(\mathbb {Z})/\{\pm I\}\) acting on the complex upper half plane H by \(h_M(z)=\frac{az\,+\,b}{cz\,+\,d}\) for \(M \in G\). Let \(D=\{z \in H: |z|\ge 1, |\mathfrak {R}(z)|\le 1/2\}\). We consider the set \({\mathcal {E}} \subset G\) with the nine elements M, different from the identity, such that \(\mathrm{tr\,}(MM^T)\le 3\). We equip the tiling of H defined by \(\mathbb {D}=\{h_M(D){:}\, M \in G\}\) with a graph structure where the neighbours are defined by \(h_M(D) \cap h_{M'}(D) \ne \emptyset \), equivalently \(M^{-1}M' \in {\mathcal {E}}\). The present paper studies several Markov chains related to the above structure. We show that the simple random walk on the above graph converges a.s. to a point X of the real line with the same distribution of \(S_2 W^{S_1}\), where \(S_1,S_2,W\) are independent with \(\Pr (S_i=\pm 1)=1/2\) and where W is valued in (0, 1) with distribution \(\Pr (W<w)=\mathbf ? (w)\). Here \(\mathbf ? \) is the Minkowski function. If \(K_1, K_2, \ldots \) are i.i.d with distribution \(\Pr (K_i=n)= 1/2^n\) for \(n=1,2,\ldots \), then \(W= \frac{1}{K_1+\frac{1}{K_2+\ldots }}\): this known result (Isola in Appl Math 5:1067–1090, 2014) is derived again here.     

Anderson Polymer in a Fractional Brownian Environment: Asymptotic Behavior of the Partition Function

We consider the Anderson polymer partition function

$$\begin{aligned} u(t):=\mathbb {E}^X\left[ e^{\int _0^t \mathrm {d}B^{X(s)}_s}\right] \,, \end{aligned}$$

where \(\{B^{x}_t\,;\, t\ge 0\}_{x\in \mathbb {Z}^d}\) is a family of independent fractional Brownian motions all with Hurst parameter \(H\in (0,1)\), and \(\{X(t)\}_{t\in \mathbb {R}^{\ge 0}}\) is a continuous-time simple symmetric random walk on \(\mathbb {Z}^d\) with jump rate \(\kappa \) and started from the origin. \(\mathbb {E}^X\) is the expectation with respect to this random walk. We prove that when \(H\le 1/2\), the function u(t) almost surely grows asymptotically like \(e^{\lambda t}\), where \(\lambda >0\) is a deterministic number. More precisely, we show that as t approaches \(+\infty \), the expression \(\{\frac{1}{t}\log u(t)\}_{t\in \mathbb {R}^{>0}}\) converges both almost surely and in the \(\hbox {L}^1\) sense to some positive deterministic number \(\lambda \). For \(H>1/2\), we first show that \(\lim _{t\rightarrow \infty } \frac{1}{t}\log u(t)\) exists both almost surely and in the \(\hbox {L}^1\) sense and equals a strictly positive deterministic number (possibly \(+\infty \)); hence, almost surely u(t) grows asymptotically at least like \(e^{\alpha t}\) for some deterministic constant \(\alpha >0\). On the other hand, we also show that almost surely and in the \(\hbox {L}^1\) sense, \(\limsup _{t\rightarrow \infty } \frac{1}{t\sqrt{\log t}}\log u(t)\) is a deterministic finite real number (possibly zero), hence proving that almost surely u(t) grows asymptotically at most like \(e^{\beta t\sqrt{\log t}}\) for some deterministic positive constant \(\beta \). Finally, for \(H>1/2\) when \(\mathbb {Z}^d\) is replaced by a circle endowed with a Hölder continuous covariance function, we show that \(\limsup _{t\rightarrow \infty } \frac{1}{t}\log u(t)\) is a deterministic finite positive real number, hence proving that almost surely u(t) grows asymptotically at most like \(e^{c t}\) for some deterministic positive constant c.

     

Spectral density estimates with partial symmetries and an application to Bahri–Lions-type results

We are concerned with the existence of infinitely many solutions for the problem \(-\Delta u=|u|^{p-2}u+f\) in \(\Omega \), \(u=u_0\) on \(\partial \Omega \), where \(\Omega \) is a bounded domain in \(\mathbb {R}^N\), \(N\ge 3\). This can be seen as a perturbation of the problem with \(f=0\) and \(u_0=0\), which is odd in u. If \(\Omega \) is invariant with respect to a closed strict subgroup of O(N), then we prove infinite existence for all functions f and \(u_0\) in certain spaces of invariant functions for a larger range of exponents p than known before. In order to achieve this, we prove Lieb–Cwikel–Rosenbljum-type bounds for invariant potentials on \(\Omega \), employing improved Sobolev embeddings for spaces of invariant functions.     

The log-behavior of $$\root n \of {p(n)}$$ and $$\root n \of {p(n)/n}$$p(n)/nn

Let p(n) denote the partition function and let \(\Delta \) be the difference operator with respect to n. In this paper, we obtain a lower bound for \(\Delta ^2\log \root n-1 \of {p(n-1)/(n-1)}\), leading to a proof of a conjecture of Sun on the log-convexity of \(\{\root n \of {p(n)/n}\}_{n\ge 60}\). Using the same argument, it can be shown that for any real number \(\alpha \), there exists an integer \(n(\alpha )\) such that the sequence \(\{\root n \of {p(n)/n^{\alpha }}\}_{n\ge n(\alpha )}\) is log-convex. Moreover, we show that \(\lim \limits _{n \rightarrow +\infty }n^{\frac{5}{2}}\Delta ^2\log \root n \of {p(n)}=3\pi /\sqrt{24}\). Finally, by finding an upper bound for \(\Delta ^2 \log \root n-1 \of {p(n-1)}\), we establish an inequality on the ratio \(\frac{\root n-1 \of {p(n-1)}}{\root n \of {p(n)}}\).     

Congruences modulo 11 for broken 5-diamond partitions

The notion of broken k-diamond partitions was introduced by Andrews and Paule in 2007. For a fixed positive integer k, let \(\Delta _k(n)\) denote the number of broken k-diamond partitions of n. Recently, Paule and Radu conjectured two relations on \(\Delta _5(n)\) which were proved by Xiong and Jameson, respectively. In this paper, employing these relations, we prove that, for any prime p with \(p\equiv 1\ (\mathrm{mod}\ 4)\), there exists an integer \(\lambda (p)\in \{2,\ 3,\ 5,\ 6,\ 11\}\) such that, for \(n, \alpha \ge 0\), if \(p\not \mid (2n+1)\), then

$$\begin{aligned} \Delta _5\left( 11p^{\lambda (p)(\alpha +1)-1} n+\frac{11p^{\lambda (p)(\alpha +1)-1}+1}{2}\right) \equiv 0\ (\mathrm{mod}\ 11). \end{aligned}$$

Moreover, some non-standard congruences modulo 11 for \(\Delta _5(n)\) are deduced. For example, we prove that, for \(\alpha \ge 0\), \(\Delta _5\left( \frac{11\times 5^{5\alpha }+1}{2}\right) \equiv 7\ (\mathrm{mod}\ 11)\).

     

On a conjecture of Stein

Stein (Pac J Math 59:567–575, 1975) proposed the following conjecture: if the edge set of \(K_{n,n}\) is partitioned into n sets, each of size n, then there is a partial rainbow matching of size \(n-1\). He proved that there is a partial rainbow matching of size \(n(1-\frac{D_n}{n!})\), where \(D_n\) is the number of derangements of [n]. This means that there is a partial rainbow matching of size about \((1- \frac{1}{e})n\). Using a topological version of Hall’s theorem we improve this bound to \(\frac{2}{3}n\).     

Partial permutation decoding for binary linear and $$Z_4$$-linear Hadamard codes

In this paper, s-\({\text {PD}}\)-sets of minimum size \(s+1\) for partial permutation decoding for the binary linear Hadamard code \(H_m\) of length \(2^m\), for all \(m\ge 4\) and \(2 \le s \le \lfloor {\frac{2^m}{1+m}}\rfloor -1\), are constructed. Moreover, recursive constructions to obtain s-\({\text {PD}}\)-sets of size \(l\ge s+1\) for \(H_{m+1}\) of length \(2^{m+1}\), from an s-\({\text {PD}}\)-set of the same size for \(H_m\), are also described. These results are generalized to find s-\({\text {PD}}\)-sets for the \({\mathbb {Z}}_4\)-linear Hadamard codes \(H_{\gamma , \delta }\) of length \(2^m\), \(m=\gamma +2\delta -1\), which are binary Hadamard codes (not necessarily linear) obtained as the Gray map image of quaternary linear codes of type \(2^\gamma 4^\delta \). Specifically, s-PD-sets of minimum size \(s+1\) for \(H_{\gamma , \delta }\), for all \(\delta \ge 3\) and \(2\le s \le \lfloor {\frac{2^{2\delta -2}}{\delta }}\rfloor -1\), are constructed and recursive constructions are described.     

Existence of Positive Solutions for a Class of Critical Fractional Schrödinger Equations with Potential Vanishing at Infinity

In this paper, we investigate the following critical fractional Schrödinger equation

$$\begin{aligned} (-\Delta )^su+V(x)u=|u|^{2_s^*-2}u+\lambda K(x)f(u), \ x \in \mathbb {R}^N, \end{aligned}$$

where \(\lambda >0\), \(0<s<1\), \((-\Delta )^s\) denotes the fractional Laplacian of order s, \(V, \ K\) are nonnegative continuous functions satisfying some conditions and f is a continuous function, \(N>2s\) and \(2_s^*=\frac{2N}{N-2s}\). We prove that the equation has a positive solution for large \(\lambda \) by the variational method.

     

Parity check matrices and product representations of squares

Let \(N_{\mathbb{F}} \)(n,k,r) denote the maximum number of columns in an n-row matrix with entries in a finite field \(\mathbb{F}\) in which each column has at most r nonzero entries and every k columns are linearly independent over \(\mathbb{F}\). We obtain near-optimal upper bounds for \(N_{\mathbb{F}} \)(n,k,r) in the case k > r. Namely, we show that \(N_\mathbb{F} (n,k,r) \ll n^{\frac{r}{2} + \frac{{cr}}{k}} \) where \(c \approx \frac{4}{3}\) for large k. Our method is based on a novel reduction of the problem to the extremal problem for cycles in graphs, and yields a fast algorithm for finding short linear dependencies. We present additional applications of this method to a problem on hypergraphs and a problem in combinatorial number theory.     

On the eigenvalues and spectral radius of starlike trees

Let \(k\ge 1\) and \(n_1,\ldots ,n_k\ge 1\) be some integers. Let \(S(n_1,\ldots ,n_k)\) be a tree T such that T has a vertex v of degree k and \(T{\setminus } v\) is the disjoint union of the paths \(P_{n_1},\ldots ,P_{n_k}\), that is \(T{\setminus } v\cong P_{n_1}\cup \cdots \cup P_{n_k}\) so that every neighbor of v in T has degree one or two. The tree \(S(n_1,\ldots ,n_k)\) is called starlike tree, a tree with exactly one vertex of degree greater than two, if \(k\ge 3\). In this paper we obtain the eigenvalues of starlike trees. We find some bounds for the largest eigenvalue (for the spectral radius) of starlike trees. In particular we prove that if \(k\ge 4\) and \(n_1,\ldots ,n_k\ge 2\), then \(\frac{k-1}{\sqrt{k-2}}<\lambda _1(S(n_1,\ldots ,n_k))<\frac{k}{\sqrt{k-1}}\), where \(\lambda _1(T)\) is the largest eigenvalue of T. Finally we characterize all starlike trees that all of whose eigenvalues are in the interval \((-2,2)\).     

Lengths of words in transformation semigroups generated by digraphs

Given a simple digraph D on n vertices (with \(n\ge 2\)), there is a natural construction of a semigroup of transformations \(\langle D\rangle \). For any edge (a, b) of D, let \(a\rightarrow b\) be the idempotent of rank \(n-1\) mapping a to b and fixing all vertices other than a; then, define \(\langle D\rangle \) to be the semigroup generated by \(a \rightarrow b\) for all \((a,b) \in E(D)\). For \(\alpha \in \langle D\rangle \), let \(\ell (D,\alpha )\) be the minimal length of a word in E(D) expressing \(\alpha \). It is well known that the semigroup \(\mathrm {Sing}_n\) of all transformations of rank at most \(n-1\) is generated by its idempotents of rank \(n-1\). When \(D=K_n\) is the complete undirected graph, Howie and Iwahori, independently, obtained a formula to calculate \(\ell (K_n,\alpha )\), for any \(\alpha \in \langle K_n\rangle = \mathrm {Sing}_n\); however, no analogous non-trivial results are known when \(D \ne K_n\). In this paper, we characterise all simple digraphs D such that either \(\ell (D,\alpha )\) is equal to Howie–Iwahori’s formula for all \(\alpha \in \langle D\rangle \), or \(\ell (D,\alpha ) = n - \mathrm {fix}(\alpha )\) for all \(\alpha \in \langle D\rangle \), or \(\ell (D,\alpha ) = n - \mathrm {rk}(\alpha )\) for all \(\alpha \in \langle D\rangle \). We also obtain bounds for \(\ell (D,\alpha )\) when D is an acyclic digraph or a strong tournament (the latter case corresponds to a smallest generating set of idempotents of rank \(n-1\) of \(\mathrm {Sing}_n\)). We finish the paper with a list of conjectures and open problems.     

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\).     

Power-normed spaces

To each power-norm \(((E^n, \Vert \cdot \Vert _n):n\in {\mathbb N})\) based on a given Banach space E, we associate two maximal symmetric sequence spaces \(L_\Phi ^E\) and \(L_\Psi ^E\) whose norms \(\Vert (z_k)\Vert _{L_\Phi ^E}\) and \(\Vert (z_k)\Vert _{L_\Psi ^E}\) are defined by \(\sup \{ \Vert (z_1x,\ldots ,z_nx)\Vert _n: \Vert x\Vert =1, n\in {\mathbb N}\}\) and \(\sup \{ \Vert \sum _{k=1}^n z_kx_k\Vert : \Vert (x_1,\ldots ,x_n)\Vert _n=1, n\in {\mathbb N}\}\) respectively. For each \(1\le p\le \infty \), we introduce and study the p-power-norms as those power-norms for which \(L_\Phi ^E=\ell ^p\) and \(L_\Psi ^E=\ell ^{p'}\), where \(1/p+1/p'=1\). As a special cases of p-power-norms we introduce certain smaller class, to be called the class of \(\ell ^p\)-power-norms, which is shown to contain the p-multi-norms defined in (Dales et al., Multi-norms and Banach lattices, 2016), and to coincide with the multi-norms and dual-multi-norms defined in (Dales and Polyakov, Diss Math 488, 2012) in the cases \(p=\infty \) and \(p=1\) respectively. We give several procedures to construct examples of such p-power and \(\ell ^p\)-power-norms and show that the natural formulations of the (p, q)-summing, (p, q)-concave, Rademacher power norms, t-standard power norms among others are examples in these classes. In particular, for instance the Rademacher power norm is a 2-power norm and the (p, q)-summing power-norm is a \(\ell ^r\)-power-norm for \(p>q\) with \(\frac{1}{r}=\frac{1}{q}-\frac{1}{p}\).