L^p -uniqueness for Dirichlet operators with singular potentials

We study the problem of strong uniqueness in L^p for the Dirichlet operator perturbed by a singular complex-valued potential. First we construct the generator -H_p of a C₀-semigroup in L^p, with H_p extending the restriction of the perturbed Dirichlet operator to the set of smooth functions. The corresponding sesquilinear form in L² is not assumed to be sectorial. Then we reveal sufficient conditions on the logarithmic derivative # of the measure rdx \rho dx and the potential q which ensure that -H_p is the only extension of D+b·?-q \upharpoonright_C0^￥ \Delta +\beta \cdot \nabla -q \upharpoonright_{C_0^{\infty}} which generates a C₀-semigroup on L^p. The method of a priori estimates of solutions to corresponding differential equations is employed.     

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.     

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.     

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

On groups acting freely on a tree

Suppose we are given a group G\mit\Gamma and a tree X on which G\mit\Gamma acts. Let d be the distance in the tree. Then we are interested in the asymptotic behavior of the numbers a_d: = # {w ? vertX : w=gv, g ? G , d(v₀,w)=d }a_d:= \# \{w\in {\rm {vert}}X : w=\gamma {v}, \gamma \in {\mit\Gamma} , d({v}_0,w)=d \} if d? ￥d\rightarrow \infty , where v, v_o are some fixed vertices in X.¶ In this paper we consider the case where G\mit\Gamma is a finitely generated group acting freely on a tree X. The growth function ?a_d x^d\textstyle\sum\limits a_d x^d is a rational function [3], which we describe explicitely. From this we get estimates for the radius of convergence of the series. For the cases where G\mit\Gamma is generated by one or two elements, we look a little bit closer at the denominator of this rational function. At the end we give one concrete example.     

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.     

Helly-type theorems for appropriate colorings of visibility sets

Summary. For positive integers q and n, think of P as the vertex set of a (qn + r)-gon, 0 ￡ r ￡ q - 1 0 \leq r \leq q - 1 . For 1 ￡ i ￡ qn + r 1 \leq i \leq qn + r , define V(i) to be a set of q consecutive points of P, starting at p(i), and let S be a subset of {V(i) : 1 ￡ i ￡ qn + r } \lbrace V(i) : 1 \leq i \leq qn + r \rbrace . A q-coloring of P = P(q) such that each member of S contains all q colors is called appropriate for S, and when 1 ￡ j ￡ q 1 \leq j \leq q , the definition may be extended to suitable subsets P(j) of P. If for every 1 ￡ j ￡ q 1 \leq j \leq q and every corresponding P(j), P(j) has a j-coloring appropriate for S, then we say P = P(q) has all colorings appropriate for S. With this terminology, the following Helly-type result is established: Set P = P(q) has all colorings appropriate for S if and only if for every (2n + 1)-member subset T of S, P has all colorings appropriate for T. The number 2n + 1 is best possible for every r 3 1 r \geq 1 . Intermediate results for q-colorings are obtained as well.     

A strong convergence theorem for asymptotically nonexpansive mappings in Banach spaces

Let C be a closed, convex subset of a uniformly convex Banach space whose norm is uniformly Gâteaux differentiable and let T be an asymptotically nonexpansive mapping from C into itself such that the set F (T) of fixed points of T is nonempty. Let {a_n} be a sequence of real numbers with 0 ￡ a_n ￡ 10 \leq a_n \leq 1, and let x and x₀ be elements of C. In this paper, we study the convergence of the sequence {x_n} defined by¶¶x_n+1=a_n x + (1-a_n) [1/(n+1)] ?_j=0ⁿ T^j x_n   x_{n+1}=a_n x + (1-a_n) {1\over n+1} \sum\limits_{j=0}^n T^j x_n\quad for n=0,1,2,...  . n=0,1,2,\dots \,.     

Reducibility of polynomials a0(x) + a1 (x)y + a2 (x) y2 modulo p

Let f=a₀(x)+a₁(x)y+a₂(x)y² ? \Bbb Z[x,y]f=a_0(x)+a_1(x)y+a_2(x)y^2\in {\Bbb Z}[x,y] be an absolutely irreducible polynomial of degree m in x. We show that the reduction f mod p will also be absolutely irreducible if p 3 c_m·H(f)^e_mp\ge c_m\cdot H(f)^{e_m} where H (f) is the height of f and e₁ = 4,e₂ = 6, e₃ = 6 [2/3]{2}\over{3} and e_m = 2 m for m S 4. We also show that the exponents e_m are best possible for m 1 3m\ne 3 if a plausible number theoretic conjecture is true.     

On matrix near-rings

Let R be a right near-ring with identity and M_n(R) be the near-ring of n 2 n matrices over R in the sense of Meldrum and Van der Walt. In this paper, M_n(R) is said to be s\sigma-generated if every n 2 n matrix A over R can be expressed as a sum of elements of X_n(R), where X_n(R)={f_ij^r | 1\leqq i, j\leqq n, r ? R}X_n(R)=\{f_{ij}^r\,|\,1\leqq i, j\leqq n, r\in R\}, is the generating set of M_n(R). We say that R is s\sigma-generated if M_n(R) is s\sigma-generated for every natural number n. The class of s\sigma-generated near-rings contains distributively generated and abstract affine near-rings. It is shown that this class admits homomorphic images. For abelian near-rings R, we prove that the zerosymmetric part of R is a ring, so the class of zerosymmetric abelian s\sigma-generated near-rings coincides with the class of rings. Further, for every n, there is a bijection between the two-sided subgroups of R and those of M_n(R).     

The Łojasiewicz exponent of an analytic function at an isolated zero

Let f be a real analytic function defined in a neighborhood of 0 ? \Bbb Rⁿ 0 \in {\Bbb R}^n such that f^-1(0)={0} f^{-1}(0)=\{0\} . We describe the smallest possible exponents !, #, / for which we have the following estimates: |f(x)| 3 c|x|^a |f(x)|\geq c|x|^{\alpha} , |grad f(x)| 3 c|x|^b |{\rm grad}\,f(x)|\geq c|x|^{\beta} , |grad f(x)| 3 c|f(x)|^q |{\rm grad}\,f(x)|\geq c|f(x)|^{\theta} for x near zero with c > 0 c > 0 . We prove that a = b+1 \alpha=\beta+1, q = b/a\theta=\beta/\alpha . Moreover b = N+a/b \beta=N+a/b where $ 0 h a < b h N^{n-1} $ 0 h a < b h N^{n-1} . If f is a polynomial then |f(x)| 3 c|x|^(degf-1)n+1 |f(x)|\geq c|x|^{(\deg f-1)^n+1} in a small neighborhood of zero.     

A note on a conjecture of Borwein and Choi

A polynomial P(X) with coefficients {ǃ} of odd degree N - 1 is cyclotomic if and only if¶¶P(X) = ±F_p1 (±X)F_p2(±X^p1) ?F_pr(±X^{p1 p2 ?p_r-1}) P(X) = \pm \Phi_{p1} (\pm X)\Phi_{p2}(\pm X^{p1}) \cdots \Phi_{p_r}(\pm X^{p1 p2 \cdots p_r-1}) ¶where N = p₁ p₂ · · · p_r and the p_i are primes, not necessarily distinct, and where F_p(X) : = (X^p - 1) / (X - 1) \Phi_{p}(X) := (X^{p} - 1) / (X - 1) is the p-th cyclotomic polynomial. This is a conjecture of Borwein and Choi [1]. We prove this conjecture for a class of polynomials of degree N - 1 = 2^r p^l - 1 N - 1 = 2^{r} p^{\ell} - 1 for any odd prime p and for integers r, l\geqq 1 r, \ell \geqq 1 .     

Integration of the lifting formulas and the cyclic homology of the algebras of differential operators

We integrate the Lifting cocycles Y_2n+1, Y_2n+3, Y_2n+5,? ([Sh1,2]) \Psi_{2n+1}, \Psi_{2n+3}, \Psi_{2n+5},\ldots\,([\rm Sh1,2]) on the Lie algebra Dif_n of holomorphic differential operators on an n-dimensional complex vector space to the cocycles on the Lie algebra of holomorphic differential operators on a holomorphic line bundle l \lambda on an n-dimensional complex manifold M in the sense of Gelfand--Fuks cohomology [GF] (more precisely, we integrate the cocycles on the sheaves of the Lie algebras of finite matrices over the corresponding associative algebras). The main result is the following explicit form of the Feigin--Tsygan theorem [FT1]:¶¶ H^·_Lie(\frak g\frak l^fin_￥(Dif_n);\Bbb C) = ù^·(Y_2n+1, Y_2n+3, Y_2n+5,? ) H^\bullet_{\rm Lie}({\frak g}{\frak l}^{\rm fin}_\infty({\rm Dif}_n);{\Bbb C}) = \wedge^\bullet(\Psi_{2n+1}, \Psi_{2n+3}, \Psi_{2n+5},\ldots\,) .     

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.     

Pressure in Classical Statistical Mechanics and Interacting Brownian Particles in Multi-dimensions

. Let P(u) denote the pressure at the density u defined in the Gibbs statistical mechanics determined by a 2 body potential U (_qi - _qj). The function U(x) is supposed rotationally invariant and of finite range but may be unbounded about the origin. We establish a representation of P(u) by means of the law of large numbers for the virial ?_i,j q_i ·? U(q_i-q_j)\sum_{i,j} q_i \cdot {\nabla} U(q_i-q_j), whether or not there occur phase transitions. This result on P(u) is motivated by a study of the hydrodynamic behavior of a system of a large number of interacting Brownian particles moving on a d-dimensional torus (d = 1, 2, ...) in which the interaction is given by binary potential forces of potential U. Employing our representation of P(u), we also show that in the hydrodynamic limit of such a system there arises a non linear evolution equation of the form u_t = ¹/₂ DP(u)u_t = {1\over2} \Delta P(u) under a certain hypothetical postulate concerning concentration of particles.     

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.     

A combinatorial condition on a certain variety of groups

Let n be an integer and B_n \mathcal B_n be the variety defined by the law [xⁿ,y][x,yⁿ]^-1 = 1.¶ Let B_n^* \mathcal B_n^* be the class of groups in which for any infinite subsets X, Y there exist x ? X x \in X and y ? Y y \in Y such that [xⁿ,y][x,yⁿ]^-1 = 1. For $ n \in {\pm 2, 3\} $ n \in {\pm 2, 3\} we prove that¶ B_n^* = B_n èF \mathcal B_n^* = \mathcal B_n \cup \mathcal F , F \mathcal F being the class of finite groups. Also for $ n \in {- 3, 4\} $ n \in {- 3, 4\} and an infinite group G which has finitely many elements of order 2 or 3 we prove that G ? B_n^* G \in \mathcal B_n^* if and only if G ? B_n G \in \mathcal B_n .     

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.     

(2, 3, k)-generated groups of large rank

For any fixed k 3 7k \geq 7 there exist integers n_k and a_k such that if the ring R is generated by a set of m elements t₁,...,t_m, where 2t₁-t₁²2t_1-t_1^2 is a unit of finite multiplicative order, and n 3 n_k+ma_kn \geq n_k+ma_k, then the group E_n(R) generated by elementary transvections is an epimorphic image of the triangle group D(2,3,k).\Delta (2,3,k).     

How Tight Is the Bollobás-Komlós Conjecture?

The bipartite case of the Bollobás and Komlós conjecture states that for every j₀, %>0 there is an !=!(j₀, %) >0 such that the following statement holds: If G is any graph with minimum degree at least n$\displaystyle {n \over 2}+%n then G contains as subgraphs all n vertex bipartite graphs, H, satisfying¶H)hj₀ \quad {\rm and} \quad b(H)h!n.$j (H)hj₀ \quad {\rm and} \quad b(H)h!n.¶Here b(H), the bandwidth of H, is the smallest b such that the vertices of H can be ordered as v₁, …, v_n such that v_i~_Hv_j implies |imj|hb.¶ This conjecture has been proved in [1]. Answering a question of E. Szemerédi [6] we show that this conjecture is tight in the sense that as %̂ then !̂. More precisely, we show that for any 0 such that that !(j₀, %)Д %.