On minimal p-degrees in 2-transitive permutation groups

Suppose G is a transitive permutation group on a finite set W\mit\Omega of n points and let p be a prime divisor of |G||G|. The smallest number of points moved by a non-identity p-element is called the minimal p-degree of G and is denoted m_p (G). ¶ In the article the minimal p-degrees of various 2-transitive permutation groups are calculated. Using the classification of finite 2-transitive permutation groups these results yield the main theorem, that m_p(G) 3 [(p-1)/(p+1)] ·|W|m_{p}(G) \geq {{p-1} \over {p+1}} \cdot |\mit\Omega | holds, if Alt(W) \nleqq G {\rm Alt}(\mit\Omega ) \nleqq G .¶Also all groups G (and prime divisors p of |G||G|) for which m_p(G) ￡ [(p-1)/(p)] ·|W|m_{p}(G)\le {{p-1}\over{p}} \cdot |\mit\Omega | are identified.     

On the class number of p-th cyclotomic field

Let h^[-(p)h^-(p) be the relative class number of the p-th cyclotomic field. We show that logh^-(p) = [(p+3)/4] logp - [(p)/2] log2p+ log(1-b) + O(log₂² p)\log h^-(p) = {{p+3} \over {4}} \log p - {{p} \over {2}} \log 2\pi + \log (1-\beta ) + O(\log _2^2 p), where b\beta denotes a Siegel zero, if such a zero exists and p o -1 mod 4p\equiv -1\pmod {4}. Otherwise this term does not appear.     

Inequalities of Hlawka type for matrices

A generalized Hlawka's inequality says that for any n (\geqq 2) (\geqq 2) complex numbers¶ x₁, x₂, ..., x_n,¶¶ ?_i=1ⁿ|x_i - ?_j=1ⁿx_j| \leqq ?_i=1ⁿ|x_i| + (n - 2)|?_j=1ⁿx_j|. \sum_{i=1}^n\Bigg|x_i - \sum_{j=1}^{n}x_j\Bigg| \leqq \sum_{i=1}^{n}|x_i| + (n - 2)\Bigg|\sum_{j=1}^{n}x_j\Bigg|. ¶¶ We generalize this inequality to the trace norm and the trace of an n x n matrix A as¶¶ ||A - Tr A ||₁ \leqq ||A||₁ + (n - 2)| Tr A|. ||A - {\rm Tr} A ||_1\ \leqq ||A||_1 + (n - 2)| {\rm Tr} A|. ¶¶ We consider also the related inequalities for p-norms (1 \leqq p \leqq ￥) (1 \leqq p \leqq \infty) on matrices.     

Simple Explicit Formulas for the Frame-Stewart Numbers

Several different approaches to the multi-peg Tower of Hanoi problem are equivalent. One of them is Stewart's recursive formula ¶¶ S (n, p) = min {2S (n₁, p) + S (n-n₁, p-1) | n₁, n-n₁ ? \mathbbZ⁺}. S (n, p) = min \{2S (n_1, p) + S (n-n_1, p-1)\mid n_1, n-n_1 \in \mathbb{Z}^+\}. ¶¶In the present paper we significantly simplify the explicit calculation of the Frame-Stewart's numbers S(n, p) and give a short proof of the domain theorem that describes the set of all pairs (n, n₁), such that the above minima are achieved at n₁.     

On a question of Erdös and Graham

We prove that for any $ \varepsilon > 0 $ \varepsilon > 0 there is k (e) k (\varepsilon) such that for any prime p and any integer c there exist k \leqq k(e) k \leqq k(\varepsilon) pairwise distinct integers x_i with 1 \leqq x_i \leqq p^e, i = 1, ?, k 1 \leqq x_{i} \leqq p^{\varepsilon}, i = 1, \ldots, k , and such that¶¶?_i=1^k [1/(x_i)] o c    (mod p). \sum\limits_{i=1}^k {{1}\over{x_i}} \equiv c\quad (\mathrm{mod}\, p). ¶¶ This gives a positive answer to a question of Erdös and Graham.     

Moser's second one-dimensional inequality for a class of integral operators

Suppose that $1 < p < \infty $1 < p < \infty , q=p/(p-1)q=p/(p-1), and for non-negative f ? L^p(-￥ ,￥)f\in L^p(-\infty\! ,\infty ) and any real x we let F(x)-F(0)=ò₀^xf(t) dtF(x)-F(0)=\int _0^xf(t)\ dt; suppose in addition that ò_-￥^￥ F(t)exp(-|t|) dt=0\int\limits _{-\infty }^\infty F(t)\exp (-|t|)\ dt=0. Moser's second one-dimensional inequality states that there is a constant C_pC_p, such that ò_-￥^￥ exp[a |F(x)|^q-|x|]  dx ￡ C_p\int\limits _{-\infty }^\infty \exp [a |F(x)|^q-|x|] \ dx\le C_p for each f with ||f||_p ￡ 1||f||_p\le 1 and every a ￡ 1a\le 1. Moreover the value a = 1 is sharp. We replace the operation connecting f with F by a more general integral operation; specifically we consider non-negative kernels K(t,x) with the property that xK(t,x) is homogeneous of degree 0 in t, x. We state an analogue of the inequality above for this situation, discuss some applications and consider the sharpness of the constant which replaces a.     

White noise eliminates instability

Let x₁,..., x_n be points in the d-dimensional Euclidean space E^d with || x_i-x_j|| ￡ 1\| x_{i}-x_{j}\| \le 1 for all 1 \leqq i,j \leqq n1 \leqq i,j \leqq n, where || .||\| .\| denotes the Euclidean norm. We ask for the maximum M(d,n) of \mathop?_i, j=1ⁿ|| x_i-x_j|| ²\textstyle\mathop\sum\limits _{i,\,j=1}^{n}\| x_{i}-x_{j}\| ^{2} (see [4]). This paper deals with the case d = 2. We calculate M(2, n) and show that the value M(2, n) is attained if and only if the points are distributed as evenly as possible among the vertices of a regular triangle of edge-length 1. Moreover we give an upper bound for the value \mathop?_i, j=1ⁿ|| x_i-x_j|| \textstyle\mathop\sum\limits _{i,\,j=1}^{n}\| x_{i}-x_{j}\| , where the points x₁,...,x_n are chosen under the same constraints as above.     

The character values of the irreducible constituents of a transitive permutation representation

In this article we determine the irreducible ordinary characters c_r \chi_r of a finite group G occurring in a transitive permutation representation (1_M )^G of a given subgroup M of G, and their multiplicities m_r = ((1_M)^G, c_r) 1 0 m_r = ((1_{M})^G, \chi_r) \neq 0 by means of a new explicit formula calculating the coefficients a_rk of the central idempotents e_r = ?_k=1^d a_rk D_k e_r = \sum\limits_{k=1}^{d} a_{rk} D_k in the intersection algebra B \cal B of (1_M )^G generated by the intersection matrices D_k corresponding to the double coset decomposition G = è_k=1^d Mx_k M G = \bigcup\limits_{k=1}^{d} Mx_{k} M .¶Furthermore, an explicit formula is given for the calculation of the character values c_r(x) \chi_{r}(x) of each element x ? G x \in G . Using this character formula we obtain a new practical algorithm for the calculation of a substantial part of the character table of G.     

Packing dimension and Ahlfors regularity of porous sets in metric spaces

Let X be a metric measure space with an s-regular measure μ. We prove that if A ì X{A\subset X} is r{\varrho} -porous, then dim_p(A) ￡ s-cr^s{{\rm {dim}_p}(A)\le s-c\varrho^s} where dim_p is the packing dimension and c is a positive constant which depends on s and the structure constants of μ. This is an analogue of a well known asymptotically sharp result in Euclidean spaces. We illustrate by an example that the corresponding result is not valid if μ is a doubling measure. However, in the doubling case we find a fixed N ì X{N\subset X} with μ(N) = 0 such that dim_p(A) ￡ dim_p(X)-c(log\tfrac1r)^-1r^t{{\rm {dim}_p}(A)\le{\rm {dim}_p}(X)-c(\log \tfrac1\varrho)^{-1}\varrho^t} for all r{\varrho} -porous sets A ì X\ N{A \subset X{\setminus} N} . Here c and t are constants which depend on the structure constant of μ. Finally, we characterize uniformly porous sets in complete s-regular metric spaces in terms of regular sets by verifying that A is uniformly porous if and only if there is t < s and a t-regular set F such that A ì F{A\subset F} .     

On the existence of certain measures appearing in distance geometry

Abstract. We prove the following result: Let X be a compact connected Hausdorff space and f be a continuous function on X x X. There exists some regular Borel probability measure m\mu on X such that the value of¶¶ ò\limit _X f(x,y)dm(y)\int\limit _X f(x,y)d\mu (y) is independent of the choice of x in X if and only if the following assertion holds: For each positive integer n and for all (not necessarily distinct) x₁,x₂,...,x_n,y₁,y₂,...,y_n in X, there exists an x in X such that¶¶ ?_i=1ⁿ f(x_i,x)=?_i=1ⁿ f(y_i,x).\sum\limits _{i=1}^n f(x_i,x)=\sum\limits _{i=1}^n f(y_i,x).     

Interpolation of Banach Lattices and Factorization of p-Convex and q-Concave Operators

We extend a result of ?estakov to compare the complex interpolation method [X ₀, X ₁]_θ with Calderón-Lozanovskii’s construction ${{{{X^{1-\theta}_{0}X^{\theta}_{1}}}}}We extend a result of Šestakov to compare the complex interpolation method [X ₀, X ₁]_θ with Calderón-Lozanovskii’s construction X^1-q₀X^q₁{{{{X^{1-\theta}_{0}X^{\theta}_{1}}}}}, in the context of abstract Banach lattices. This allows us to prove that an operator between Banach lattices T : E → F which is p-convex and q-concave, factors, for any q ? (0, 1){{{{\theta \in (0, 1)}}}}, as T =  T ₂ T ₁, where T ₂ is ( (\fracpq+ (1 - q)p ){{\left({\frac{p}{{\theta + (1 - \theta)p}}} \right)}}-convex and T ₁ is (\fracq1 - q ){{\left({\frac{q}{{1 - \theta }}} \right)}}-concave.     

Rational surfaces and moduli spaces of vector bundles on rational surfaces

Let X be a smooth algebraic surface, L ? Pic(X) L \in \textrm{Pic}(X) and H an ample divisor on X. Set M_X,H(2; L, c₂) the moduli space of rank 2, H-stable vector bundles F on X with det(F) = L and c₂(F) = c₂. In this paper, we show that the geometry of X and of M_X,H(2; L, c₂) are closely related. More precisely, we prove that for any ample divisor H on X and any L ? Pic(X) L \in \textrm{Pic}(X) , there exists n₀ ? \mathbbZ n_0 \in \mathbb{Z} such that for all n₀ \leqq c₂ ? \mathbbZ n_0 \leqq c_2 \in \mathbb{Z} , M_X,H(2; L, c₂) is rational if and only if X is rational.     

Sharp bounds for the Bernoulli numbers

We determine the best possible real constants a\alpha and b\beta such that the inequalities [(2(2n)!)/((2p)²ⁿ)] [1/(1-2^a-2n)] \leqq |B_2n| \leqq [(2(2n)!)/((2p)²ⁿ)] [1/(1-2^b-2n)]{2(2n)! \over(2\pi)^{2n}} {1 \over 1-2^{\alpha -2n}} \leqq |B_{2n}| \leqq {2(2n)! \over (2\pi )^{2n}}\, {1 \over 1-2^{\beta -2n}}hold for all integers n\geqq 1n\geqq 1. Here, B₂, B₄, B₆,... are Bernoulli numbers.     

Equality of two variable weighted means: reduction to differential equations

Summary. Let F, Y \Phi, \Psi be strictly monotonic continuous functions, F,G be positive functions on an interval I and let n ? \Bbb N \{1} n \in {\Bbb N} \setminus \{1\} . The functional equation¶¶F^-1 ([(?_i=1ⁿF(x_i)F(x_i))/(?_i=1ⁿ F(x_i)]) Y^-1 ([(?_i=1ⁿY(x_i)G(x_i))/(?_i=1ⁿ G(x_i))])  (x₁,?,x_n ? I) \Phi^{-1}\,\left({\sum\limits_{i=1}^{n}\Phi(x_{i})F(x_{i})\over\sum\limits_{i=1}^{n} F(x_{i}}\right) \Psi^{-1}\,\left({\sum\limits_{i=1}^{n}\Psi(x_{i})G(x_{i})\over\sum\limits_{i=1}^{n} G(x_{i})}\right)\,\,(x_{1},\ldots,x_{n} \in I) ¶was solved by Bajraktarevi' [3] for a fixed n 3 3 n\ge 3 . Assuming that the functions involved are twice differentiable he proved that the above functional equation holds if and only if¶¶Y(x) = [(aF(x) + b)/(cF(x) + d)],       G(x) = kF(x)(cF(x) + d) \Psi(x) = {a\Phi(x)\,+\,b\over c\Phi(x)\,+\,d},\qquad G(x) = kF(x)(c\Phi(x) + d) ¶where a,b,c,d,k are arbitrary constants with k(c²+d²)(ad-bc) 1 0 k(c^2+d^2)(ad-bc)\ne 0 . Supposing the functional equation for all n = 2,3,... n = 2,3,\dots Aczél and Daróczy [2] obtained the same result without differentiability conditions.¶The case of fixed n = 2 is, as in many similar problems, much more difficult and allows considerably more solutions. Here we assume only that the same functional equation is satisfied for n = 2 and solve it under the supposition that the functions involved are six times differentiable. Our main tool is the deduction of a sixth order differential equation for the function j = F°Y^-1 \varphi = \Phi\circ\Psi^{-1} . We get 32 new families of solutions.     

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.     

On conjugacy of some systems of functions

Summary. We investigate the bounded solutions j:[0,1]? X \varphi:[0,1]\to X of the system of functional equations¶¶j(f_k(x))=F_k(j(x)),    k=0,?,n-1,x ? [0,1] \varphi(f_k(x))=F_k(\varphi(x)),\;\;k=0,\ldots,n-1,x\in[0,1] ,(*)¶where X is a complete metric space, f₀,?,f_n-1:[0,1]?[0,1] f_0,\ldots,f_{n-1}:[0,1]\to[0,1] and F₀,...,F_n-1:X? X F_0,...,F_{n-1}:X\to X are continuous functions fulfilling the boundary conditions f₀(0) = 0, f_n-1(1) = 1, f_k+1(0) = f_k(1), F₀(a) = a,F_n-1(b) = b,F_k+1(a) = F_k(b), k = 0,?,n-2 f_{0}(0) = 0, f_{n-1}(1) = 1, f_{k+1}(0) = f_{k}(1), F_{0}(a) = a,F_{n-1}(b) = b,F_{k+1}(a) = F_{k}(b),\,k = 0,\ldots,n-2 , for some a,b ? X a,b\in X . We give assumptions on the functions f_k and F_k which imply the existence, uniqueness and continuity of bounded solutions of the system (*). In the case X = \Bbb C X= \Bbb C we consider some particular systems (*) of which the solutions determine some peculiar curves generating some fractals. If X is a closed interval we give a collection of conditions which imply respectively the existence of homeomorphic solutions, singular solutions and a.e. nondifferentiable solutions of (*).     

Product of nilpotent subgroups

We will say that a subgroup X of G satisfies property C in G if C_G(X?X^g)\leqq X?X^g{\rm C}_{G}(X\cap X^{{g}})\leqq X\cap X^{{g}} for all g ? G{g}\in G. We obtain that if X is a nilpotent subgroup satisfying property C in G, then XF(G) is nilpotent. As consequence it follows that if N\triangleleft GN\triangleleft G is nilpotent and X is a nilpotent subgroup of G then C_G(N?X)\leqq XC_G(N\cap X)\leqq X implies that NX is nilpotent.¶We investigate the relationship between the maximal nilpotent subgroups satisfying property C and the nilpotent injectors in a finite group.     

Odd order groups with the rewriting property Q3

Let n be an integer greater than 1, and let G be a group. A subset {x₁, x₂, ..., x_n} of n elements of G is said to be rewritable if there are distinct permutations p \pi and s \sigma of {1, 2, ..., n} such that¶¶x_p(1)x_p(2) ?x_p(n) = x_s(1)x_s(2) ?x_s(n). x_{\pi(1)}x_{\pi(2)} \ldots x_{\pi(n)} = x_{\sigma(1)}x_{\sigma(2)} \ldots x_{\sigma(n)}. ¶¶A group is said to have the rewriting property Q_n if every subset of n elements of the group is rewritable. In this paper we prove that a finite group of odd order has the property Q₃ if and only if its derived subgroup has order not exceeding 5.     

Duality results for perturbation classes of semi-Fredholm operators

The perturbation classes problem for semi-Fredholm operators asks when the equalities SS(X,Y)=PF₊(X,Y){\mathcal{SS}(X,Y)=P\Phi_+(X,Y)} and SC(X,Y)=PF_-(X,Y){\mathcal{SC}(X,Y)=P\Phi_-(X,Y)} are satisfied, where SS{\mathcal{SS}} and SC{\mathcal{SC}} denote the strictly singular and the strictly cosingular operators, and PΦ₊ and PΦ₋ denote the perturbation classes for upper semi-Fredholm and lower semi-Fredholm operators. We show that, when Y is a reflexive Banach space, SS(Y^*,X^*)=PF₊(Y^*,X^*){\mathcal{SS}(Y^*,X^*)=P\Phi_+(Y^*,X^*)} if and only if SC(X,Y)=PF_-(X,Y),{\mathcal{SC}(X,Y)=P\Phi_-(X,Y),} and SC(Y^*,X^*)=PF_-(Y^*,X^*){\mathcal{SC}(Y^*,X^*)=P\Phi_-(Y^*,X^*)} if and only if SS(X,Y)=PF₊(X,Y){\mathcal{SS}(X,Y)=P\Phi_+(X,Y)}. Moreover we give examples showing that both direct implications fail in general.