首页 | 本学科首页   官方微博 | 高级检索  
相似文献
 共查询到20条相似文献,搜索用时 31 毫秒
1.
Let n and s be integers such that \(1\le s<\frac{n}{2}\), and let \(M_n(\mathbb {K})\) be the ring of all \(n\times n\) matrices over a field \(\mathbb {K}\). Denote by \([\frac{n}{s}]\) the least integer m with \(m\ge \frac{n}{s}\). In this short note, it is proved that if \(g:M_n(\mathbb {K})\rightarrow M_n(\mathbb {K})\) is a map such that \(g\left( \sum _{i=1}^{[\frac{n}{s}]}A_i\right) =\sum _{i=1}^{[\frac{n}{s}]}g(A_i)\) holds for any \([\frac{n}{s}]\) rank-s matrices \(A_1,\ldots ,A_{[\frac{n}{s}]}\in M_n(\mathbb {K})\), then \(g(x)=f(x)+g(0)\), \(x\in M_n(\mathbb {K})\), for some additive map \(f:M_n(\mathbb {K})\rightarrow M_n(\mathbb {K})\). Particularly, g is additive if \(char\mathbb {K}\not \mid \left( [\frac{n}{s}]-1\right) \).  相似文献   

2.
Let \(\pi :{\mathbb {P}}({\mathcal {O}}(0)\oplus {\mathcal {O}}(k))\rightarrow {\mathbb {P}}^{n-1}\) be a projective bundle over \({\mathbb {P}}^{n-1}\) with \(1\le k \le n-1\). We denote \({\mathbb {P}}({\mathcal {O}}(0)\oplus {\mathcal {O}}(k))\) by \(N_{k}^{n}\) and endow it with the U(n)-invariant gradient shrinking Kähler Ricci soliton structure constructed by Cao (Elliptic and parabolic methods in geometry (Minneapolis, MN, 1994), A K Peters, Wellesley, 1996) and Koiso (Recent topics in differential and analytic geometry. Advanced studies in pure mathematics, Boston, 1990). In this paper, we show that lens space \(L(k\, ;1)(r)\) with radius r embedded in \(N_{k}^{n}\) is a self-similar solution. We also prove that there exists a pair of critical radii \(r_{1}<r_{2}\), which satisfies the following. The lens space \(L(k\, ;1)(r)\) is a self-shrinker if \(r<r_{2}\) and self-expander if \(r_{2}<r\), and the Ricci-mean curvature flow emanating from \(L(k\, ;1)(r)\) collapses to the 0-section of \(\pi \) if \(r<r_{1}\) and to the \(\infty \)-section of \(\pi \) if \(r_{1}<r\). This paper gives explicit examples of Ricci-mean curvature flows.  相似文献   

3.
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.  相似文献   

4.
Let D be a subset of a finite commutative ring R with identity. Let \(f(x)\in R[x]\) be a polynomial of degree d. For a nonnegative integer k, we study the number \(N_f(D,k,b)\) of k-subsets S in D such that
$$\begin{aligned} \sum _{x\in S} f(x)=b. \end{aligned}$$
In this paper, we establish several bounds for the difference between \(N_f(D,k, b)\) and the expected main term \(\frac{1}{|R|}{|D|\atopwithdelims ()k}\), depending on the nature of the finite ring R and f. For \(R=\mathbb {Z}_n\), let \(p=p(n)\) be the smallest prime divisor of n, \(|D|=n-c \ge C_dn p^{-\frac{1}{d}}\,+\,c\) and \(f(x)=a_dx^d +\cdots +a_0\in \mathbb {Z}[x]\) with \((a_d, \ldots , a_1, n)=1\). Then
$$\begin{aligned} \left| N_f(D, k, b)-\frac{1}{n}{n-c \atopwithdelims ()k}\right| \le {\delta (n)(n-c)+(1-\delta (n))\left( C_dnp^{-\frac{1}{d}}+c\right) +k-1\atopwithdelims ()k}, \end{aligned}$$
answering an open question raised by Stanley (Enumerative combinatorics, 1997) in a general setting, where \(\delta (n)=\sum _{i\mid n, \mu (i)=-1}\frac{1}{i}\) and \(C_d=e^{1.85d}\). Furthermore, if n is a prime power, then \(\delta (n) =1/p\) and one can take \(C_d=4.41\). Similar and stronger bounds are given for two more cases. The first one is when \(R=\mathbb {F}_q\), a q-element finite field of characteristic p and f(x) is general. The second one is essentially the well-known subset sum problem over an arbitrary finite abelian group. These bounds extend several previous results.
  相似文献   

5.
Let\(B_{2}^{n}\) denote the Euclidean ball in\({\mathbb R}^n\), and, given closed star-shaped body\(K \subset {\mathbb R}^{n}, M_{K}\) denote the average of the gauge of K on the Euclidean sphere. Let\(p \in (0,1)\) and let\(K \subset {\mathbb R}^{n}\) be a p-convex body. In [17] we proved that for every\(\lambda \in (0,1)\) there exists an orthogonal projection P of rank\((1 - \lambda)n\) such that
$\frac{f(\lambda)}{M_K} PB^{n}_{2} \subset PK,$
where\(f(\lambda)=c_p\lambda^{1+1/p}\) for some positive constant c p depending on p only. In this note we prove that\(f(\lambda)\) can be taken equal to\(C_p\lambda^{1/p-1/2}\). In terms of Kolmogorov numbers it means that for every\(k \leq n\)
$d_k (\hbox{Id}:\ell^{n}_{2} \to ({\mathbb R}^{n},\|\cdot\|_{K})) \leq C_p \frac{n^{1/p-1}}{k^{1/p-1/2}} \ell(\hbox{ID}: \ell^{n}_{2} \to ({\mathbb R}^{n}, \|\cdot\|_{K})),$
where\(\ell(\hbox{Id})={\bf E}\|\sum\limits^{n}_{i=1}g_i e_i\|_K\) for the independent standard Gaussian random variables\(\{g_i\}\) and the canonical basis\(\{e_i\}\) of\({\mathbb R}^n\). All results do not require the symmetry of K.
  相似文献   

6.
Let \(\ell \) be a prime and let \(L/ \mathbb {Q}\) be a Galois number field with Galois group isomorphic to \( \mathbb {Z}/\ell \mathbb {Z}\). We show that the shape of L, see Definition 1.2, is either \(\frac{1}{2}\mathbb {A}_{\ell -1}\) or a fixed sub-lattice depending only on \(\ell \); such a dichotomy in the value of the shape only depends on the type of ramification of L. This work is motivated by a result of Bhargava and Shnidman, and a previous work of the first named author, on the shape of \( \mathbb {Z}/3 \mathbb {Z}\) number fields.  相似文献   

7.
Let \(\mathcal {F}_{0}=\{f_{i}\}_{i\in \mathbb {I}_{n_{0}}}\) be a finite sequence of vectors in \(\mathbb {C}^{d}\) and let \(\mathbf {a}=(a_{i})_{i\in \mathbb {I}_{k}}\) be a finite sequence of positive numbers, where \(\mathbb {I}_{n}=\{1,\ldots , n\}\) for \(n\in \mathbb {N}\). We consider the completions of \(\mathcal {F}_{0}\) of the form \(\mathcal {F}=(\mathcal {F}_{0},\mathcal {G})\) obtained by appending a sequence \(\mathcal {G}=\{g_{i}\}_{i\in \mathbb {I}_{k}}\) of vectors in \(\mathbb {C}^{d}\) such that ∥g i 2 = a i for \(i\in \mathbb {I}_{k}\), and endow the set of completions with the metric \(d(\mathcal {F},\tilde {\mathcal {F}}) =\max \{ \,\|g_{i}-\tilde {g}_{i}\|: \ i\in \mathbb {I}_{k}\}\) where \(\tilde {\mathcal {F}}=(\mathcal {F}_{0},\,\tilde {\mathcal {G}})\). In this context we show that local minimizers on the set of completions of a convex potential P φ , induced by a strictly convex function φ, are also global minimizers. In case that φ(x) = x 2 then P φ is the so-called frame potential introduced by Benedetto and Fickus, and our work generalizes several well known results for this potential. We show that there is an intimate connection between frame completion problems with prescribed norms and frame operator distance (FOD) problems. We use this connection and our results to settle in the affirmative a generalized version of Strawn’s conjecture on the FOD.  相似文献   

8.
Let a, b, r be nonnegative integers with \(1\leq{a}\leq{b}\) and \(r\geq2\). Let G be a graph of order n with \(n >\frac{(a+2b)(r(a+b)-2)}{b}\). In this paper, we prove that G is fractional ID-[a, b]-factor-critical if \(\delta(G)\geq\frac{bn}{a+2b}+a(r-1)\) and \(\mid N_{G}(x_{1}) \cup N_{G}(x_{2}) \cup \cdotp \cdotp \cdotp \cup N_{G}(x_{r})\mid\geq\frac{(a+b)n}{a+2b}\) for any independent subset {x1, x2, · · ·, xr} in G. It is a generalization of Zhou et al.’s previous result [Discussiones Mathematicae Graph Theory, 36: 409–418 (2016)] in which r = 2 is discussed. Furthermore, we show that this result is best possible in some sense.  相似文献   

9.
Let \(n \ge r \ge s \ge 0\) be integers and \(\mathcal {F}\) a family of r-subsets of [n]. Let \(W_{r,s}^{\mathcal {F}}\) be the higher inclusion matrix of the subsets in \({{\mathcal {F}}}\) vs. the s-subsets of [n]. When \(\mathcal {F}\) consists of all r-subsets of [n], we shall simply write \(W_{r,s}\) in place of \(W_{r,s}^{\mathcal {F}}\). In this paper we prove that the rank of the higher inclusion matrix \(W_{r,s}\) over an arbitrary field K is resilient. That is, if the size of \(\mathcal {F}\) is “close” to \({n \atopwithdelims ()r}\) then \({{\mathrm{rank}}}_{K}( W_{r,s}^{\mathcal {F}}) = {{\mathrm{rank}}}_{K}(W_{r,s})\), where K is an arbitrary field. Furthermore, we prove that the rank (over a field K) of the higher inclusion matrix of r-subspaces vs. s-subspaces of an n-dimensional vector space over \({\mathbb {F}}_q\) is also resilient if \(\mathrm{char}(K)\) is coprime to q.  相似文献   

10.
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.  相似文献   

11.
In this paper, a complete classification is achieved of all the regular covers of the complete bipartite graphs \(K_{n,n}\) with cyclic covering transformation group, whose fibre-preserving automorphism group acts 2-arc-transitively. All these covers consist of one threefold covers of \(K_{6,6}\), one twofold cover of \(K_{12, 12}\) and one infinite family X(rp) of p-fold covers of \(K_{p^r,p^r}\) with p a prime and r an integer such that \(p^r\ge 3\). This infinite family X(rp) can be derived by a very simple and nice voltage assignment f as follows: \(X(r, p)=K_{p^r, p^r}\times _f \mathbb {Z}_p\), where \(K_{p^r, p^r}\) is a complete bipartite graph with the bipartition \(V=\{ \alpha \bigm |\alpha \in V(r,p)\}\cup \{ \alpha '\bigm |\alpha \in V(r,p)\}\) for the r-dimensional vector space V(rp) over the field of order p and \(f_{\alpha ,\beta '}=\sum _{i=1}^ra_ib_i,\,\, \mathrm{for\,\,all}\,\,\alpha =(a_i)_r, \beta =(b_i)_r\in V(r,p)\).  相似文献   

12.
Let \(x \in \mathbb {R}^{d}\), d ≥ 3, and \(f: \mathbb {R}^{d} \rightarrow \mathbb {R}\) be a twice differentiable function with all second partial derivatives being continuous. For 1 ≤ i, jd, let \(a_{ij} : \mathbb {R}^{d} \rightarrow \mathbb {R}\) be a differentiable function with all partial derivatives being continuous and bounded. We shall consider the Schrödinger operator associated to
$$\mathcal{L}f(x) = \frac12 \sum\limits_{i=1}^{d} \sum\limits_{j=1}^{d} \frac{\partial}{\partial x_{i}} \left( a_{ij}(\cdot) \frac{\partial f}{\partial x_{j}}\right)(x) + {\int}_{\mathbb{R}^{d}\setminus{\{0\}}} [f(y) - f(x) ]J(x,y)dy $$
where \(J: \mathbb {R}^{d} \times \mathbb {R}^{d} \rightarrow \mathbb {R}\) is a symmetric measurable function. Let \(q: \mathbb {R}^{d} \rightarrow \mathbb {R}.\) We specify assumptions on a, q, and J so that non-negative bounded solutions to
$$\mathcal{L}f + qf = 0 $$
satisfy a Harnack inequality. As tools we also prove a Carleson estimate, a uniform Boundary Harnack Principle and a 3G inequality for solutions to \(\mathcal {L}f = 0.\)
  相似文献   

13.
Let \(k\in \mathbb {N}^*\) be even. We consider two trigonometric series \( F_k(x)= \sum _{n=1}^\infty \frac{\sigma _{k-1}(n)}{n^{k+1}} \sin (2\pi n x)\) and \(G_k(x)= \sum _{n=1}^\infty \frac{\sigma _{k-1}(n)}{n^{k+1}} \cos (2\pi n x),\) where \(\sigma _{k-1}\) is the divisor function. They converge on \(\mathbb {R}\) to continuous functions. In this paper, we examine the differentiability of \(F_k\) and \(G_k\). These functions are related to Eisenstein series, and their (quasi-)modular properties allow us to apply the method proposed by Itatsu in 1981 in the study of the Riemann series. We focus on the case \(k=2\) and we show that the sine series exhibits a different behaviour with respect to differentiability than the cosine series. We prove that the differentiability of \(F_2\) at an irrational x is related to the continued fraction expansion of x. We estimate the modulus of continuity of \(F_2\). We formulate a conjecture concerning differentiability of \(F_k\) and \(G_k\) for any k even.  相似文献   

14.
We show that if a modular cuspidal eigenform f of weight 2k is 2-adically close to an elliptic curve \(E/\mathbb {Q}\), which has a cyclic rational 4-isogeny, then n-th Fourier coefficient of f is non-zero in the short interval \((X, X + cX^{\frac{1}{4}})\) for all \(X \gg 0\) and for some \(c > 0\). We use this fact to produce non-CM cuspidal eigenforms f of level \(N>1\) and weight \(k > 2\) such that \(i_f(n) \ll n^{\frac{1}{4}}\) for all \(n \gg 0\).  相似文献   

15.
Let \((G,+)\) be an Abelian topological group, which is also a \(T_{0}\)-space and a Baire space simultaneously, D be an open connected subset of G and \(\alpha : D-D \rightarrow {\mathbb R}\) be a function continuous at zero and such that \(\alpha (0)=0\). We show that if \((f_n)\) is a sequence of continuous functions \(f_n : D \rightarrow {\mathbb R}\) such that \(f_n(z) \le \frac{1}{2} f_n(x)+\frac{1}{2}f(y)+\alpha (x-y)\) for \(n\in {\mathbb N}\) and \(x,y,z\in D\) such that \(2z=x+y\) and if \((f_n)\) is pointwise convergent [bounded] then it is convergent uniformly on compact subsets of D [in the case when G is additionally a separable space, it contains a subsequence which is convergent on compact subsets of D].  相似文献   

16.
We establish an asymptotic formula with arbitrary power saving for the first moment of the symmetric square L-functions \(L(s,\mathrm{sym}^2f)\) at \(s=\frac{1}{2}\) for \(f\in \mathcal {H}_k\) as even \(k\rightarrow \infty \), where \(\mathcal {H}_k\) is an orthogonal basis of weight-k Hecke eigen cusp forms for \(SL(2,\mathbb {Z})\). The approach taken allows us to extract two secondary main terms from the best-known error term \(O(k^{-\frac{1}{2}})\). Moreover, our result exhibits a connection between the symmetric square L-functions and quadratic fields, which is the main theme of Zagier’s work Modular forms whose coefficients involve zeta-functions of quadratic fields in 1977.  相似文献   

17.
Let \(\mathbb {F}_{p^m}\) be a finite field of cardinality \(p^m\), where p is a prime, and kN be any positive integers. We denote \(R_k=F_{p^m}[u]/\langle u^k\rangle =F_{p^m}+uF_{p^m}+\cdots +u^{k-1}F_{p^m}\) (\(u^k=0\)) and \(\lambda =a_0+a_1u+\cdots +a_{k-1}u^{k-1}\) where \(a_0, a_1,\ldots , a_{k-1}\in F_{p^m}\) satisfying \(a_0\ne 0\) and \(a_1=1\). Let r be a positive integer satisfying \(p^{r-1}+1\le k\le p^r\). First we define a Gray map from \(R_k\) to \(F_{p^m}^{p^r}\), then prove that the Gray image of any linear \(\lambda \)-constacyclic code over \(R_k\) of length N is a distance preserving linear \(a_0^{p^r}\)-constacyclic code over \(F_{p^m}\) of length \(p^rN\). Furthermore, the generator polynomials for each linear \(\lambda \)-constacyclic code over \(R_k\) of length N and its Gray image are given respectively. Finally, some optimal constacyclic codes over \(F_{3}\) and \(F_{5}\) are constructed.  相似文献   

18.
Each saturated (resp., Arf) numerical semigroup S has the property that each of its fractions \(\frac{S}{k}\) is saturated (resp., Arf), but the property of being of maximal embedding dimension (MED) is not stable under formation of fractions. If S is a numerical semigroup, then S is MED (resp., Arf; resp., saturated) if and only if, for each 2≤k∈?, \(S = \frac{T}{k}\) for infinitely many MED (resp., Arf; resp., saturated) numerical semigroups T. Let \(\mathcal{A}\) (resp., \(\mathcal{F}\)) be the class of Arf numerical semigroups (resp., of numerical semigroups each of whose fractions is of maximal embedding dimension). Then there exists an infinite strictly ascending chain \(\mathcal{A} =\mathcal{C}_{1} \subset\mathcal{C}_{2} \subset\mathcal{C}_{3}\subset \,\cdots\, \subset\mathcal{F}\), where, like \(\mathcal{A}\) and \(\mathcal{F}\), each \(\mathcal{C}_{n}\) is stable under the formation of fractions.  相似文献   

19.
Let p be an odd prime number and \(\ell \) an odd prime number dividing \(p-1\). We denote by \(F=F_{p,\ell }\) the real abelian field of conductor p and degree \(\ell \), and by \(h_F\) the class number of F. For a prime number \(r \ne p,\,\ell \), let \(F_{\infty }\) be the cyclotomic \(\mathbb {Z}_r\)-extension over F, and \(M_{\infty }/F_{\infty }\) the maximal pro-r abelian extension unramified outside r. We prove that \(M_{\infty }\) coincides with \(F_{\infty }\) and consequently \(h_F\) is not divisible by r when r is a primitive root modulo \(\ell \) and r is smaller than an explicit constant depending on p.  相似文献   

20.
Let S be a semigroup, and \(\mathbb {F}\) a field of characteristic \(\ne 2\). If the pair \(f,g:S \rightarrow \mathbb {F}\) is a solution of Wilson’s \(\mu \)-functional equation such that \(f \ne 0\), then g satisfies d’Alembert’s \(\mu \)-functional equation.  相似文献   

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

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