Search

A classical result of K. L. Chung and W. Feller deals with the partial sums S k S_k arising in a fair coin-tossing game. If N n N_n is the number of “positive” terms among S 1 S_1 , S 2 S_2 , …, S n S_n then the quantity P ( N 2 n = 2 r ) P(N_{2n} = 2r) takes an elegant form. We lift the restriction on an even number of tosses and give a simple expression for P ( N 2 n + 1 = r ) P(N_{2n+1} = r) , r = 0 r = 0 , 1 1 , 2 2 , …, 2 n + 1 2n+1 . We get to this ansatz by adaptating the Feynman–Kac methodology.

We show that a relative entropy condition recently shown by Leger and Vasseur to imply uniqueness and stable $L^2$ dependence on initial data of Lax 1- or $n$-shock solutions of an $n\times n$ system of hyperbolic conservation laws with convex entropy implies Lopatinski stability in the sense of Majda. This means in particular that Leger and Vasseur's relative entropy condition represents a considerable improvement over the standard entropy condition of decreasing shock strength and increasing entropy along forward Hugoniot curves, which, in a recent example exhibited by Barker, Freist\"uhler and Zumbrun, was shown to fail to imply Lopatinski stability, even for systems with convex entropy. This observation bears also on the parallel question of existence, at least for small $BV$ or $H^s$ perturbations, Comment: to appear in Proceedings of the AMS

Kolmogorov-Arnold-Moser (or KAM) theory was developed for conservative dynamical systems that are nearly integrable. Integrable systems in their phase space usually contain lots of invariant tori, and KAM theory establishes persistence results for such tori, which carry quasi-periodic motions. We sketch this theory, which begins with Kolmogorov's pioneering work.

In a recent paper, Chao-Ping Chen and Feng Qi (2005) established sharp upper and lower bounds for the sequence P n := 1.3 … ( 2 n − 1 ) 2.4 … 2 n P_{n}:=\frac {1.3\ldots (2n-1)}{2.4\ldots 2n} . We show that their result follows easily from a theorem of G. N Watson published in 1959. We also show that the main result of Chen and Qi’s paper is a special case of a more general inequality which admits a very short proof.

Concerns have been voiced about the correctness of certain technical points in DiPerna’s paper (Comm. Math. Phys. 91 (1983), 1–30) related to the vacuum state. In this note, we provide clarifications. Our conclusion is that these concerns mainly arise from the statement of a lemma for constructing the viscous approximate solutions and some typos; however, the gap can be either fixed by correcting the statement of the lemma and the typos or bypassed by employing the finite difference methods. In [Di], DiPerna found a global entropy solution of the isentropic Euler equations for the following exponents in the equation of state for the pressure: γ = 1 + 2/(2m+ 1), m ≥ 2 integer. (1) He divided his arguments into the following two steps. 1. Compactness framework Assume that a sequence of approximate solutions (ρ (x, t),m (x, t)), 0 ≤ t ≤ T , satisfies: (i). There exists a constant C(T ) > 0, independent of > 0, such that 0 ≤ ρ (x, t) ≤ C, |m (x, t)/ρ (x, t)| ≤ C; (ii). For all weak entropy pairs (η, q) of the isentropic Euler equations, the measure sequence η(ρ ,m )t + q(ρ ,m )x is contained in a compact subset of H −1 loc (R× [0, T ]). If γ satisfies (1), then the sequence (ρ (x, t),m (x, t)) is compact in Lloc(R× [0, T ]). The reason for the restriction on the number γ is that, in such a case, any weak entropy function is a polynomial function of the Riemann invariants (w, z). This is the key step in DiPerna’s arguments and is also his main contribution to the compensated compactness method in this aspect. Received by the editors May 16, 1996. 1991 Mathematics Subject Classification. Primary 35K55, 35L65; Secondary 76N15, 35L60, 65M06.

This paper considers the existence of global weak solutions for the Navier-Stokes equations in the infinite cylinder R n × R + {{\mathbf {R}}^n} \times {{\mathbf {R}}_ + } with initial data in L r {L^r} , n ≥ 3 n \geq 3 , 1 > r > ∞ 1 > r > \infty . An imbedding theorem as well as related initial value problems are also studied, thus completing results in [2].

We give a simplified proof of an imbedding theorem by C. Fefferman [3].

Here we give a result on the postulation (i.e. the 2-normality) of nonlinearly normal embeddings of Abelian varieties. This result improves some of the results proved in a recent paper by Ch. Birkenhake.

A class of functions K(r) and the corresponding solutions are produced in the case of the differential equation d 2 u/dr 2 +1 du/r dr+K(r)e 2u(r) =1. The behavior of these solutions at an isolated singularity is also investigated

We observe that a strictly singular operator is not necessarily condensing, so that the invariant subspace problem for strictly singular operators remains open.

I regret to announce that there is a serious error in my paper in these Transactions, volume 84, pp. 430-443. The error was discovered by Louis Kokoris who found that on line 8 of page 434 the expression given as 4[g(bz)](az) should have been 4[g(az)](bz). As a consequence the computation of P(z, g, az, b) yields nothing, the proof of formula (30) is not valid, and the important Lemma 9 is not proved. Thus the paper does not give a proof of its major result stated as Theorem 1. Nevertheless, the theorems of the paper are all correct and we shall provide a revision of the proof here. This revised proof has been checked by Louis Kokoris to whom the author wishes to express his great thanks. We observe first that the equation

Introduction. In a recent paper [2] R. H. Bruck has introduced the concept of right neoring and discussed some properties of these systems. In particular, he has considered analogues of certain properties of the ring of integers. This paper is essentially a commentary on Bruck's paper and we generalize some of his results as follows. The construction of the universal right neoring in [2] is applied to the free monogenic $3-loop in any subvariety $3 of the variety of loops and a complete analogue of Theorem 4.1 of [2] is obtained for any one of these subvarieties. Then, using a result similar to those obtained in [5], it is shown that this construction yields uncountably many right neorings with an identity which generates the additive loop of the right neoring. Conversely, every right neoring with an identity which generates its additive loop can be obtained from a free monogenic $3-loop by the above construction. Each of these right neorings has some properties resembling those of the ring of integers. One possible answer is given to the question raised by Bruck concerning the existence of universal right neorings with free additive loop of arbitrary rank. A brief proof is given, using the results of [4; 5], of the cancellation properties of the monogenic universal right neoring. Finally, we discuss briefly the relationship between right neorings and the logarithmetics of Etherington.

It is shown that the rings under the title admit an order-theoretical characterization as in the commutative case studied by Abian. Introduction. Let R be an associative ring equipped with the binary relation (^) defined by xay if and only if xy = x2 in R. In this paper, it is shown that ( ^ ) is an order relation on R if and only if, R has no nilpotent elements i9*0). Conditions on the binary relation (g) in order that R split into a direct product of division rings are then studied in the light of Abian's result (l, Theorem l). Using similar argumentation and using certain subdirect representation of rings with no nilpotent elements, one obtains a complete similarity with the commutative case (yet, no extra complication in the computa- tions). Conventions. R is an associative ring which is, unless otherwise stated, with no nilpotent elements (other than 0). As a result of (2), R can be embedded into a direct product of skewdomains, R—* YLiei £i (that is to say, rings R, having no one-sided divisors of zero). The former embedding is fixed throughout the paper. It is therefore legiti- mate to identify any element x in R with the family consisting of all its projections (xj.e/. Finally, all definitions in (l) are extended (verbatim) to the present case (of a noncommutative ring R) and are freely used throughout.

The reading of Ayres' interesting paper suggested to me the following remarks: 1. The order of a subset of a set S in a point p4 cannot surpass the order of S in p. Hence if S2 denotes the set of all points of S of order 2, then S2 has in each point of S the order 2, the order 1, or the order 0, where the terms "order 0" and "0-dimensional" are used synonymously. SI(M), S2(1), S" may denote the set of all points of S in which S2 has the order 0, 1, 2, respectively. The points of order 2 of S are also called the ordinary points of S, and the set S2 of all ordinarv points of S may be called the ordinary part of S. The set S" of all ordinary points of the ordinary part of S may be designated the ordinary kernel of S. WVe have

Recently Cameron and Storvick introduced and studied an operator valued function space integral related to the Feynman integral. The main theorems of their study establish the existence of the function space integral as a weak operator limit of operators defined at the first stage by finite-dimensional integrals. This paper provides a substantial strengthening of their existence theorem giving the function space integrals as strong operator limits rather than as weak operator limits.

The purpose of this note is to present a new proof of a generalized form of Day's fixed point theorem. The proof we give is suggested by the work of T. Mitchell in his paper, Function algebras, means, and fixed points, [2]. The version of Day's theorem which we present here has not appeared explicitly in the literature before, and seems especially well suited for application to questions concerning fixed point properties of topological semigroups. 1. Preliminaries. We adopt the terminology and notation of [2] except where otherwise specified. New terminology will be introduced as needed. Let y be a convex compactum (compact convex set in a real locally convex linear topological space E), and let A( Y) denote the Banach space of all (real) continuous affine functions on Y under the supremum norm. Observe that A(Y) contains every function of the form h=f\Y + r where fe E* and r is real; thus A(Y) separates points of Y.

We establish the relationship between certain invariant extension properties for linear functional of K. Fan when a semigroup S acts on a locally convex topological vector space and the existence of a left-invariant mean on the space of almost periodic and weakly almost periodic functions on S.

A subset A A of a topological space is said to be semi-open if there exists an open set U U such that U ⊆ A ⊆ Cl ⁡ ( U ) U \subseteq A \subseteq \operatorname {Cl} (U) where Cl ⁡ ( U ) \operatorname {Cl} (U) denotes the closure of U U . The class of semi-open sets of a given topological space ( X , T ) (X,\mathcal {T}) is denoted S .O . ( X , T ) {\text {S}}{\text {.O}}{\text {.}}(X,\mathcal {T}) . In the paper Semi-open sets and semi-continuity in topological spaces, Amer. Math. Monthly 70 (1963), 36-41, Norman Levine states in Theorem 10 that if T \mathcal {T} and T ∗ {\mathcal {T}^ \ast } are two topologies for a set X X such that S .O . ( X , T ) ⊆ S .O . ( X , T ∗ ) {\text {S}}{\text {.O}}{\text {.}}(X,\mathcal {T}) \subseteq {\text {S}}{\text {.O}}{\text {.}}(X,{\mathcal {T}^ \ast }) , then T ⊆ T ∗ \mathcal {T} \subseteq {\mathcal {T}^ \ast } . In a corollary to this theorem, Levine states that if S .O . ( X , T ) = S .O . ( X , T ∗ ) {\text {S}}{\text {.O}}{\text {.}}(X,\mathcal {T}) = {\text {S}}{\text {.O}}{\text {.}}(X,{\mathcal {T}^ \ast }) , then T = T ∗ \mathcal {T} = {\mathcal {T}^ \ast } . An example is given which shows the above-mentioned theorem and its corollary are false. This paper shows how different topologies on a set which determine the same class of semi-open subsets can arise from functions, and points out some of the implications of two topologies being related in this manner.

The object of this note is to point out and correct an error in the paper [21 of Fox, purporting to prove Fenchel's conjecture that a finitely generated. infinite Fuchsian group has a torsion-free normal subgroup of finite index. Fox divided the proof of the main result in his paper into four cases and an error occurs in the proofs of Cases (III) and (IV). A direct proof of Case (III) was given. While a direct proof of Case (IV) can be given, the author shows that it also follows indirectly from the result in the paper [1] of Burns and Solitar. Given any three integers a > 1, b > 1 and c > 1, there exist permutations A of order a and B of order b, such that AB has order c. Fox divided the proof of this lemma into the four cases: (I) ab 0 (mod 2) and max{a, b} ? c < a + b, (II) ab 0 (mod 2) and c : a + b, (III) a b c 1 (mod 2), (IV) a b 1 and c 0 (mod 2), and subcases. In the subcase m(a + b 2) + 2 ? c < (m + l)(b + 1) 1 of Case (III) where m is the largest integer not exceeding (c l)/(b + 1), and it is assumed that a ? b < c, the number of distinct symbols in the permutations [2, p. 64] nl~~~W B ( Wv-sI .. WI2 I7 (vWb B = (vl * *t*v W_ ***W P2) * (V W2 .. * ]Pi+]1)'

1. In a recent paper [2] Reich has made the observation that an example of Koebe given in 1918 [1] does not fulfill its asserted purpose. This example was to show that vanishing measure of the complement did not assure that a slit domain was minimal. Reich proceeded to fill the gap by carrying out the following somewhat more general construction. Let A be a compact perfect nowhere dense set on the x-axis in the z-plane (z=x+iy). Then there exists a compact set S in the z-plane with the properties: (i) A is the projection of S on the x-axis, (ii) S is composed of segments symmetric with respect to the x-axis and points on the x-axis, at least one segment being present, (iii) any point in S, not on the x-axis and not at the end of a segment in S, is the limit, both from the left and right, of points of S. Once this construction is performed the desired examples are easily given [2, ?4]. The object of the present paper is to give an alternative construction which is very explicit and direct.

The paper consists of two parts. In the first part a short proof of the main theorem due to A. Aziz on the location of zeros of composite polynomials is given. In the second part some properties of a fixed length continuation of a polynomial are deduced.

In [4], Phelps showed that in certain function algebras the unit ball is the closed convex hull of its extreme points. The algebra, C(X), of complex valued continuous functions on a compact Hausdorff space, will always have this property. The class of logmodular algebras which have a Gleason part which is total also was shown to have the property. In this paper we give an elementary proof of the first result (a proof which is, in theory at least, constructive). The simplest nontrivial example of a logmodular algebra with a total part is the disk algebra (i.e. the functions continuous on the closed disk and analytic in the interior). For this algebra we show that the extreme points (in fact the exposed points) of the unit ball form a dense subset of the boundary of the unit ball. Let U be the unit ball of C(X). It is well known that q in U is an extreme point of U if I q(x) I = 1 for all x in X. Now if f in U never vanishes, then f is in the closed convex hull of the extreme points; in factf is between two uniquely determined extreme points. We need only observe that for each x in X,f(x) is halfway between two uniquely determined extreme points of the disk and that these points vary continuously with x. Now it is not necessarily the case that each function in U can be approximated by a nonvanishing function. For a counterexample we need only look at h(z) = z in the algebra of continuous functions on the disk. (If If(z)-zj 1/e. Letfi, i = 1, *, N be the retract maps obtained from these rotations. Then I 1/N Efi(z)-z

where the oi are the usual generators of Bn. (See [1; 4].) A textile manufacturer asked the following question: Can one decide whether or not a braid in An is also in Qn? (It is possible to "weave" a braid in Qn while keeping its ends "tied together.") Shepperd [6] solved the above decision problem using the generators and relations of the braid group and subgroups. In this paper we give another distinct solution working in terms of automorphisms of free groups. In particular, we use formulas developed in [3; 4]. The author wishes to thank his teacher, and friend, Professor Wilhelm Magnus who has contributed more than anyone else towards the author's knowledge of mathematics.

Among other results, it is proved that if a sequence { μ n } \{ {\mu _n}\} of regular measures on a Hausdorff space, with values in a normed group, is convergent to zero for all σ \sigma -compact sets or all open sets, then there exists a maximal open set U such that μ ˙ n ( U ) → 0 , { μ ˙ n } {\dot \mu _n}(U) \to 0,\{ {\dot \mu _n}\} being the associated submeasures.

We give a simplified proof to the following theorem due to D. Quillen: if A is a commutative noetherian ring of global dimension ⩽ 1 \leqslant 1 , then finitely generated projective modules over A [ T 1 , … , T n ] A[{T_1}, \ldots ,{T_n}] are extended from A. We prove also that if A is a commutative noetherian ring of global dimension d, then finitely generated projective modules of rank > d > d over A [ T 1 , … , T n ] A[{T_1}, \ldots ,{T_n}] are extended from A.

This note deals with the correction of a small flaw in the proof of a theorem (and a lemma) in [2]. Also a simpler proof of the theorem in question is given. In the proof of Theorem 2.3 in [2], the statement "that distinct L's cannot belong to a common pure subgroup HL follows immediately from the fact that no two L's generate with G [p] the same subgroup of G" is false as it stands. One has to exercise a little more care in the selection of HL. For example, since the union [xa, Xa]aEA of all the L's (in Lemma 2.1 in [2]) is still linearly independent, there exists according to [1] a pure subgroup H of G supported by S such that HDL for each L. Hence one could choose HL=H for each L. However, all goes well if HL is chosen such that HLn [Xa, XTg aEA =L, as can easily be done. Similar remarks hold for Lemma 3.8 in [2]. A short alternate proof of Theorem 2.3 in [2] is given. In what follows let c be the cardinality of the continuum and Q be the first ordinal whose cardinality is c. The notation and terminology will be the same as that in [2].

M. Rosenblum in [2] presented a most ingenious proof of the Fuglede and Putnam Theorems by means of entire vector valued functions [1, p. 59]. We will demonstrate that some curious properties of bounded Hilbert space operators can be derived from Rosenblum's argument and similar arguments. Throughout this text we mean by an "operator" a bounded linear transformation of a Hilbert space into itself. Given an operator A we mean by "exp A " the uniform limit of the series I+A +A 2/2 1 +A3/3! +A4/4! + * * * . We let A * denote the adjoint of the operator A, and let z* denote the complex conjugate of the complex number z. A "normal" operator is an operator which commutes with its adjoint. A critical fact in the Rosenblum proof is that given a normal operator A and any complex number z, exp (izA) exp (iz*A *) exp (izA +iz*A *) = exp (iz*A *) exp (izA), and this operator is unitary because i(zA +z*A *) is skew hermitian. Our first result states, among other things, that the converse is true; if the above equations hold for a fixed operator A and all complex numbers z, then A is normal.

F(k) ={xkj x F}; F,=F; Fk= (Fk_l,F). Let (u, v, 0)=u, (u, v, 1)=(u, v), (u, v, n)=((u, v, n-1), v). Then Sanov [3] proved that (1. 1) (u, v, apa _1) p-a E F(p#)Fapa+?, /3 a = 1, 2, where p is a prime. In this paper, (1.1) is proved for the cases a= 1, 2; 3 arbitrary. A slight generalization of these results is also proved. Sanov's proof involved an investigation of ideals in a Lie Ring. In this paper, Hall's Collection Process will be used. The method also yields other formulas, e.g. (1.2) (u, v, p2 1)P' (E F2p2_pF(p) (1.3) (u, v, pa+l 1)p~l C F2pa+l paF(pl), a = 1 2, and can be used to produce numerous formulas of a similar nature. The author hopes that some of these formulas and/or the method may be of use in solving other group-theoretic problems. The author was unable to use the method to prove (1.1) for a =3. Note that for a=f = 1, (1. 1) becomes (1.4) (U, v, p 1) E F(p)Fv+1. (1.4) plays an important role in the theory of the Restricted Burnside Problem.

J. L. Palacios claimed [2] that the author’s paper [1] contained errors. This note refutes those claims by showing that Palacios misunderstood [1] and adopted assumptions different from those of [1].

If BP denotes the space of smooth alternating p-forms on the C' manifold M, we are interested in finding the spaces of R-linear maps from iPP to be that commute with the diffeomorphisms of M. For a compact manifold M these spaces were found by R. S. Palais. In this note we find them for noncompact M. Let V, W be the spaces of sections of two tensor bundles over a connected Coo manifold M of dimension n. In a paper [3] appearing in Trans. Amer. Math. Soc. 92 (1959), R. S. Palais studied a number of the spaces 4 (V, W) of the R-linear maps V->W natural with respect to the action on V and W of the group G of diffeomorphisms on M. We sketch the definition of this action: If g-G we define R,:F(TM) -4F(TM) to be the differential of g, and Rg:r(T*M)-->F(T*M) to be the dual of the differential of g-1. For the other spaces of tensor fields Rg is defined as the obvious tensor product of these two R-linear isomorphisms. A map c: V->W is then called natural if cRg =R,c for all g G. Palais was particularly interested in the case when V and W are the space IP of p-forms and the space bq of q-forms respectively, 0 < p, q

There is a mistake in each of [3] and [4]. The purpose of this note is to correct the error in [3] and to salvage what can be saved in [4]. In each case the notation will be that of the paper under discussion. Professor Homer Bechtell has kindly informed me of an error in the proof of the Theorem of [3] which occurs in the case MG1c G. The theorem is true however by altering the proof at this point. Assume that Mc: MG1=M1lc:G. M1 is an invariant subgroup of G, and since G1c: Soc(G), G1 is a direct sum of minimal invariant subgroups of G. By Clifford's theorem (p. 70 of [1]), each minimal invariant subgroup of G is either M1-central or M1-hypereccentric, and hence

The first part of the theorem of the above paper states that if ois a closed convex set in real X1 ... Xn-space which is invariant under permutations of coordinates, and if C(o-) denotes the set of real symmetric nXn matrices whose eigenvalues X1, X. form the coordinates of points in a, then C(o) is convex. I am obliged to Professor R. T. Rockafellar for pointing out that this statement is essentially contained in a theorem of Chandler Davis.2 The statement also follows from an earlier result of V. B. Lidskii,3 which was not known to me at the time of publication.

C. Hobby and C. R. B. Wright [2] have just published the following Theorem A. However, their proof seems to contain an error.2 The notation of [2] is used except that G. is not reserved for the nth term of the lower central series of G: +/(G) denotes the Frattini subgroup of G; (G, H) means the group generated by the commutators g-lh-1gh where gEG, hEH; (A1, A2, * * *, A.+,) is defined inductively as ((A1, A2, . , A.), A.+,); HCG means that H is properly included in G.

Let A8 be the domain in the s-plane (s =o+it) defined by -gl(a) -Ah. The proofs of Theorems 1, I1, and III are the same, with the new function S(oI5.

PROOF. By a theorem of Rudin a function gEH' in U whose boundary values are real a.e. on I can be analytically continued to D [3, p. 59]. The lemma follows on applying Rudin's result to gi= (1/2) (fl+f2) and g2=(i/2) (fi-f2). PROOF OF THEOREM 1. By a well-known decomposition theorem [2, p. 87], f(z)=B(z)F2(Z), where B(z) is a Blaschke product and F(z) EH1. Since the boundary values of B (z) have absolute value one a.e. on K, we have a.e. on I, f(ei0)= |f(eio)I, or B(ei0)F2(ei0) = F2(ei0) |, and hence

In this short paper, we prove a Hitchin-Thorpe type inequality for closed 4-manifolds with non-positive Yamabe invariant, and admitting long time solutions of the normalized Ricci flow equation with bounded scalar curvature.

In this short paper we prove that, for3≤N≤93 \le N \le 9, the problem−Δu=eu-\Delta u = e^uon the entire Euclidean spaceRN\mathbb {R}^Ndoes not admit any solution stable outside a compact set ofRN\mathbb {R}^N. This result is obtained without making any assumption about the boundedness of solutions. Furthermore, as a consequence of our analysis, we also prove the non-existence of finite Morse Index solutions for the considered problem. We then use our results to give some applications to bounded domain problems.

In this short paper, we will give a simple and transcendental proof for Mok's theorem of the generalized Frankel conjecture. This work is based on the maximum principle proposed by Brendle and Schoen.

In this short paper we prove that every sufficiently large odd integer can be written as a sum of one prime, two squares of primes and 83 83 powers of 2 2 .

Wahl recently proved that the homology of the non-orientable mapping class group stabilizes as the genus increases. In this short paper we analyse the situation where the underlying non-orientable surfaces have marked points.

In this short paper we establish a (non-trivial) lower bound on the degree two entry h 2 of a Gorenstein h-vector of any given socle degree e and any codimension r. In particular, when e = 4, that is, for Gorenstein h-vectors of the form h = (1, r, h 2 , r, 1), our lower bound allows us to prove a conjecture of Stanley on the order of magnitude of the minimum value, say f(r), that h 2 may assume. In fact, we show that limr→∞ f(r) r 2/3 =6 2/3 . In general, we wonder whether our lower bound is sharp for all integers e > 4 and r > 2.

Submitted by Vitor Silverio Rodrigues (vitorsrodrigues@reitoria.unesp.br) on 2014-05-27T11:25:28Z No. of bitstreams: 0Bitstream added on 2014-05-27T14:41:41Z : No. of bitstreams: 1 2-s2.0-79951846250.pdf: 494002 bytes, checksum: 56b6ee8beddda3e7dae971355d44a19f (MD5) Made available in DSpace on 2014-05-27T11:25:28Z (GMT). No. of bitstreams: 0 Previous issue date: 2011-03-01 Item merged in doublecheck by Felipe Arakaki (arakaki@reitoria.unesp.br) on 2015-12-11T17:28:11Z Item was identical to item(s): 71803, 21370 at handle(s): http://hdl.handle.net/11449/72321, http://hdl.handle.net/11449/21804 Fundação de Amparo à Pesquisa do Estado de São Paulo (FAPESP) Conselho Nacional de Desenvolvimento Científico e Tecnológico (CNPq) Coordenação de Aperfeiçoamento de Pessoal de Nível Superior (CAPES) The simplest necessary conditions for an entire function ψ(x) =∞ ∑ k=0 γk xk/k! to be in the Laguerre-Pólya class are the Turán inequalities γ2 k- γk+1γk-1 ≥ 0. These are in fact necessary and sufficient conditions for the second degree generalized Jensen polynomials associated with ψ to be hyperbolic. The higher order Turán inequalities 4(γ2 n - γn-1γn+1)(γ2n +1 - γnγn+2) - (γnγn+1 - γn-1γn+2) 2 ≥ 0 are also necessary conditions for a function of the above form to belong to the Laguerre-Pólya class. In fact, these two sets of inequalities guarantee that the third degree generalized Jensen polynomials are hyperbolic. Pólya conjectured in 1927 and Csordas, Norfolk and Varga proved in 1986 that the Turán inequalities hold for the coefficients of the Riemann ψ-function. In this short paper, we prove that the higher order Turán inequalities also hold for the ψ-function, establishing the hyperbolicity of the associated generalized Jensen polynomials of degree three. © 2010 American Mathematical Society. Departamento de Ciências de Computação e Estatística IBILCE, Universidade Estadual Paulista, 15054-000 São José do Rio Preto, SP Departamento de matemática Aplicada IMECC UNICAMP, 13083-859 Campinas, SP Departamento de Ciências de Computação e Estatística IBILCE, Universidade Estadual Paulista, 15054-000 São José do Rio Preto, SP FAPESP: 03/01874-2 FAPESP: 06/60420-0 CNPq: 305622/2009-9 CAPES: DGU-160

Let G be a finite, freely acting group of homeomorphisms of the odd-dimensional sphere S 2n−1 . John Oprea has proven that the Gottlieb group of S 2n−1 /G equals Z(G), the centre of G. The purpose of this short paper is to give a considerably shorter, more geometric proof of Oprea's theorem in the important case where G is a linear group

Let p p be an odd prime. h 1 ( p ) {h_1}(p) is the first factor of the class number of field Q ( ζ p ) Q({\zeta _p}) . We proved that \[ h 1 ( p ) ⩽ { 2 p ( p − 1 8 ( 2 l / 2 + 1 ) 4 / l ) ( p − 1 ) / 4 , if l is even, 2 p ( p − 1 8 ( 2 l − 1 ) 2 / l ) ( p − 1 ) / 4 , if l is odd . {h_1}(p) \leqslant \left \{ \begin {gathered} 2p{\left ( {\frac {{p - 1}} {{8{{({2^{l/2}} + 1)}^{4/l}}}}} \right )^{(p - 1)/4}},\quad {\text {if }}l\;{\text {is even,}} \hfill \\ 2p{\left ( {\frac {{p - 1}} {{8{{({2^l} - 1)}^{2/l}}}}} \right )^{(p - 1)/4}},\quad {\text {if }}l\;{\text {is odd}}{\text {.}} \hfill \\ \end {gathered} \right . \] From that we obtain h 1 ( p ) ⩽ 2 p ( ( p − 1 ) / 31.997158 … ) ( p − 1 ) / 4 {h_1}(p) \leqslant 2p{((p - 1)/31.997158 \ldots )^{(p - 1)/4}} which is better than Carlitz’s and Metsänkyla’s results. For the fields Q ( ζ 2 n ) Q({\zeta _{{2^n}}}) and Q ( ζ p n ) ( n ⩾ 2 ) Q({\zeta _{{p^n}}})(n \geqslant 2) , we get the similar results.

Part of the work was done while the authors were visiting the South China University of Science and Technology (SUSTech), Shenzhen, in 2018, and we are grateful (in particular to Professor Cai Heng Li) for the hospitality that we received.The authors would like to thank the Isaac Newton Institute for Mathematical Sciences, Cambridge, for support and hospitality during the programme Groups, representations and applications: new perspectives (supported by EPSRC grant no.EP/R014604/1), where further work on this paper was undertaken. In particular we acknowledge a Simons Fellowship (Cameron) and a Kirk Distinguished Visiting Fellowship (Praeger) during this programme. Schneider thanks the Centre for the Mathematics of Symmetry and Computation of The University of Western Australia and Australian Research Council Discovery Grant DP160102323 for hosting his visit in 2017 and acknowledges the support of the CNPq projects Produtividade em Pesquisa (project no.: 308212/2019-3) and Universal (project no.:421624/2018-3). Diagonal groups are one of the classes of finite primitive permutation groups occurring in the conclusion of the O'Nan-Scott theorem. Several of the other classes have been described as the automorphism groups of geometric or combinatorial structures such as affine spaces or Cartesian decompositions, but such structures for diagonal groups have not been studied in general. The main purpose of this paper is to describe and characterise such structures, which we call diagonal semilattices. Unlike the diagonal groups in the O'Nan-Scott theorem, which are defined over finite characteristically simple groups, our construction works over arbitrary groups, finite or infinite. A diagonal semilattice depends on a dimension m and a group T. For m=2, it is a Latin square, the Cayley table of T, though in fact any Latin square satisfies our combinatorial axioms. However, for m≥3, the group T emerges naturally and uniquely from the axioms. (The situation somewhat resembles projective geometry, where projective planes exist in great profusion but higher-dimensional structures are coordinatised by an algebraic object, a division ring.) A diagonal semilattice is contained in the partition lattice on a set Ω, and we provide an introduction to the calculus of partitions. Many of the concepts and constructions come from experimental design in statistics. We also determine when a diagonal group can be primitive, or quasiprimitive (these conditions turn out to be equivalent for diagonal groups). Associated with the diagonal semilattice is a graph, the diagonal graph, which has the same automorphism group as the diagonal semilattice except in four small cases with m

The paper is devoted to coverings by translative homothets and illuminations of convex bodies. For a given positive number $\alpha$ and a convex body $B$, $g_{\alpha}(B)$ is the infimum of $\alpha$-powers of finitely many homothety coefficients less than 1 such that there is a covering of $B$ by translative homothets with these coefficients. $h_{\alpha}(B)$ is the minimal number of directions such that the boundary of $B$ can be illuminated by this number of directions except for a subset whose Hausdorff dimension is less than $\alpha$. In this paper, we prove that $g_{\alpha}(B)\leq h_{\alpha}(B)$, find upper and lower bounds for both numbers, and discuss several general conjectures. In particular, we show that $h_{\alpha} (B) > 2^{d-\alpha}$ for almost all $\alpha$ and $d$ when $B$ is the $d$-dimensional cube, thus disproving the conjecture from Research Problems in Discrete Geometry by Brass, Moser, and Pach.

We give a decomposition of the equivariant Kasparov category for discrete quantum group with torsions. As an outcome, we show that the crossed product by a discrete quantum group in a certain class preserves the UCT. We then show that quasidiagonality of a reduced C*-algebra of a countable discrete quantum group $\Gamma$ implies that $\Gamma$ is amenable, and deduce from the work of Tikuisis, White and Winter, and the results in the first part of the paper, the converse (i.e. the quantum Rosenberg Conjecture) for a large class of countable discrete unimodular quantum groups. We also note that the unimodularity is a necessary condition., Comment: 15 pages, v2 corrects a few minor points. The final version of the paper will appear in the Proceedings of the American Mathematical Society

In this paper the authors introduce an analogue of the nilpotent cone, N {\mathcal N} , for a classical Lie superalgebra, g {\mathfrak g} , that generalizes the definition for the nilpotent cone for semisimple Lie algebras. For a classical simple Lie superalgebra, g = g 0 ¯ ⊕ g 1 ¯ {\mathfrak g}={\mathfrak g}_{\bar 0}\oplus {\mathfrak g}_{\bar 1} with Lie G 0 ¯ = g 0 ¯ \text {Lie }G_{\bar 0}={\mathfrak g}_{\bar 0} , it is shown that there are finitely many G 0 ¯ G_{\bar 0} -orbits on N {\mathcal N} . Later the authors prove that the Duflo-Serganova commuting variety, X {\mathcal X} , is contained in N {\mathcal N} for any classical simple Lie superalgebra. Consequently, our finiteness result generalizes and extends the work of Duflo-Serganova on the commuting variety. Further applications are given at the end of the paper.

We continue our exploration of various approaches to integration of representations from a Lie algebra $\mbox{Lie} (G)$ to an algebraic group $G$ in positive characteristic. In the present paper we concentrate on an approach exploiting exponentials. This approach works well for over-restricted representations, introduced in this paper, and takes no note of $G$-stability., Accepted by Transactions of the AMS. This paper is split off the earlier versions (1, 2 and 3) of arXiv:1708.06620. Some of the statements in these versions of arXiv:1708.06620 contain mistakes corrected here. Version 2 of this paper: close to the accepted version by the journal, minor improvements, compared to Version 1

In this paper, we study a problem posed by Furstenberg on intersections between × 2 , × 3 \times 2, \times 3 invariant sets. We present here a direct geometrical counting argument to revisit a theorem of Wu and Shmerkin. This argument can be used to obtain further improvements. For example, we show that if A 2 , A 3 ⊂ [ 0 , 1 ] A_2,A_3\subset [0,1] are closed and × 2 , × 3 \times 2, \times 3 invariant respectively, assuming that dim ⁡ A 2 + dim ⁡ A 3 > 1 \dim A_2+\dim A_3>1 then A 2 ∩ ( u A 3 + v ) A_2\cap (uA_3+v) is sparse (defined in this paper) and has box dimension zero uniformly with respect to the real parameters u , v u,v such that u u and u − 1 u^{-1} are both bounded away from 0 0 .

This is the first of two papers in which we investigate the properties of the displacement functions of automorphisms of free groups (more generally, free products) on Culler-Vogtmann Outer space and its simplicial bordification - the free splitting complex - with respect to the Lipschitz metric. The theory for irreducible automorphisms being well-developed, we concentrate on the reducible case. Since we deal with the bordification, we develop all the needed tools in the more general setting of deformation spaces, and their associated free splitting complexes. In the present paper we study the local properties of the displacement function. In particular, we study its convexity properties and the behaviour at bordification points, by geometrically characterising its continuity-points. We prove that the global-simplex-displacement spectrum of $Aut(F_n)$ is a well-ordered subset of $\mathbb R$, this being helpful for algorithmic purposes. We introduce a weaker notion of train tracks, which we call {\em partial train tracks} (which coincides with the usual one for irreducible automorphisms) and we prove that, for any automorphism, points of minimal displacement - minpoints - coincide with the marked metric graphs that support partial train tracks. We show that any automorphism, reducible or not, has a partial train track (hence a minpoint) either in the outer space or its bordification. We show that, given an automorphism, any of its invariant free factors is seen in a partial train track map. In a subsequent paper we will prove that level sets of the displacement functions are connected, and we will apply that result to solve certain decision problems., 50 pages. Originally part of arXiv:1703.09945 . We decided to split that paper following the recommendations of a referee. Updated subsequent to acceptance by Transactions of the American Mathematical Society

Star configurations of points are configurations with known (and conjectured) extremal behaviors among all configurations of points in $\mathbb P_k^n$; additional interest come from their rich structure, which allows them to be studied using tools from algebraic geometry, combinatorics, commutative algebra and representation theory. In the present paper we investigate the more general problem of determining the structure of symbolic powers of a wide generalization of star configurations of points (introduced by Geramita, Harbourne, Migliore and Nagel) called star configurations of hypersurfaces in $\mathbb P_k^n$. Here (1) we provide explicit minimal generating sets of the symbolic powers $I^{(m)}$ of these ideals $I$, (2) we introduce a notion of $\delta$-c.i. quotients, which generalize ideals with linear quotients, and show that $I^{(m)}$ have $\delta$-c.i. quotients, (3) we show that the shape of the Betti tables of these symbolic powers is determined by certain "Koszul" strands and we prove that a little bit more than the bottom half of the Betti table has a regular, almost hypnotic, pattern, and (4) we provide a closed formula for all the graded Betti numbers in these strands. As a special case of (2) we deduce that symbolic powers of ideals of star configurations of points have linear quotients. We also improve and extend results by Galetto, Geramita, Shin and Van Tuyl, and provide explicit new general formulas for the minimal number of generators and the symbolic defects of star configurations. Finally, inspired by Young tableaux, we introduce a technical tool which may be of independent interest: it is a "canonical" way of writing any monomial in any given set of polynomials. Our methods are characteristic--free., Comment: Final revision (original paper was accepted for publication in Trans. Amer. Math. Soc.)

A misuse of terminology has occurred in the statement and proof of Theorem 4.1 in our paper [Proc. Amer. Math. Soc. 143 (2015), pp. 1981–1989] which caused some justifiable misinterpretation of this result. To recover this result we provide a new definition and give the statement of our result in terms of this definition. The proof of the new version is an improvement of the old proof. The effect of the new definition on further relevant results in our paper has been adopted in a remark.

A Cohen-Macaulay local ring $R$ satisfies trivial vanishing if $\operatorname{Tor}_i^R(M,N)=0$ for all large $i$ implies $M$ or $N$ has finite projective dimension. If $R$ satisfies trivial vanishing then we also have that $\operatorname{Ext}^i_R(M,N)=0$ for all large $i$ implies $M$ has finite projective dimension or $N$ has finite injective dimension. In this paper, we establish obstructions for the failure of trivial vanishing in terms of the asymptotic growth of the Betti and Bass numbers of the modules involved. These, together with a result of Gasharov and Peeva, provide sufficient conditions for $R$ to satisfy trivial vanishing; we provide sharpened conditions when $R$ is generalized Golod. Our methods allow us to settle the Auslander-Reiten conjecture in several new cases. In the last part of the paper, we provide criteria for the Gorenstein property based on consecutive vanishing of Ext. The latter results improve similar statements due to Ulrich, Hanes-Huneke, and Jorgensen-Leuschke., to appear in Trans. Amer. Math. Soc

We correct a mistake that appeared in the first section of the original article, which appeared in Tran. Amer. Math. Soc. 370 (2018), 99–130. Namely, Corollary 1.16 was false as stated and was subsequently used in later proofs in the paper. In this note it is argued that all the relevant statements after Corollary 1.16 can be saved with at most minor modifications. In particular, all the main results of the original paper remain valid as stated, but some intermediate claims are slightly modified or proved more directly without Corollary 1.16.

We are concerned with the study of the Lane-Emden equation with variable exponent and Dirichlet boundary condition. The feature of this paper is that the analysis that we develop does not assume any subcritical hypotheses and the reaction can fulfill a mixed regime (subcritical, critical and supercritical). We consider the radial and the nonradial cases, as well as a singular setting. The proofs combine variational and analytic methods with a version of the Palais principle of symmetric criticality., The final version this paper will be published in Proc. AMS

In this paper we are concerned with the study of a long-standing open problem posed by Lau in 1976. This problem is about whether the left amenability property of the space of left uniformly continuous functions of a semitopological semigroup is equivalent to the existence of a common fixed point for every jointly weak* continuous norm nonexpansive action on a nonempty weak* compact convex subset of a dual Banach space. We establish in this paper a positive answer.

In this paper, a G-shift of finite type (G-SFT) is a shift of finite type together with a free continuous shift-commuting action by a finite group G. We reduce the classification of G-SFTs up to equivariant flow equivalence to an algebraic classification of a class of poset-blocked matrices over the integral group ring of G. For a special case of two irreducible components with G$=\mathbb Z_2$, we compute explicit complete invariants. We relate our matrix structures to the Adler-Kitchens-Marcus group actions approach. We give examples of G-SFT applications, including a new connection to involutions of cellular automata., The paper has been augmented considerably and the second version is now 81 pages long. This version has been accepted for publication in Transactions of the American Mathematical Society

In this paper we study the b b -ary expansions of the square roots of the function defined by the recurrence f b ( n ) = b f b ( n − 1 ) + n f_b(n)=b f_b(n-1)+n with initial value f ( 0 ) = 0 f(0)=0 taken at odd positive integers n n , of which the special case b = 10 b=10 is often referred to as the “schizophrenic” or “mock-rational” numbers. Defined by Darling in 2004 2004 and studied in more detail by Brown in 2009 2009 , these irrational numbers have the peculiarity of containing long strings of repeating digits within their decimal expansion. The main contribution of this paper is the extension of schizophrenic numbers to all integer bases b ≥ 2 b\geq 2 by formally defining the schizophrenic pattern present in the b b -ary expansion of these numbers and the study of the lengths of the non-repeating and repeating digit sequences that appear within.

In this paper we show how to explicitly write down equations of hyperelliptic curves over Q such that for all odd primes l the image of the mod l Galois representation is the general symplectic group. The proof relies on understanding the action of inertia groups on the l-torsion of the Jacobian, including at primes where the Jacobian has non-semistable reduction. We also give a framework for systematically dealing with primitivity of symplectic mod l Galois representations. The main result of the paper is the following. Suppose n=2g+2 is an even integer that can be written as a sum of two primes in two different ways, with none of the primes being the largest primes less than n (this hypothesis appears to hold for all g different from 0,1,2,3,4,5,7 and 13). Then there is an explicit integer N and an explicit monic polynomial $f_0(x)\in \mathbb{Z}[x]$ of degree n, such that the Jacobian $J$ of every curve of the form $y^2=f(x)$ has $Gal(\mathbb{Q}(J[l])/\mathbb{Q})\cong GSp_{2g}(\mathbb{F}_l)$ for all odd primes l and $Gal(\mathbb{Q}(J[2])/\mathbb{Q})\cong S_{2g+2}$, whenever $f(x)\in\mathbb{Z}[x]$ is monic with $f(x)\equiv f_0(x) \bmod{N}$ and with no roots of multiplicity greater than $2$ in $\overline{\mathbb{F}}_p$ for any p not dividing N., Comment: 24 pages, minor corrections

Let $L$ be a fixed branch -- that is, an irreducible germ of curve -- on a normal surface singularity $X$. If $A,B$ are two other branches, define $u_L(A,B) := \dfrac{(L \cdot A) \: (L \cdot B)}{A \cdot B}$, where $A \cdot B$ denotes the intersection number of $A$ and $B$. Call $X$ arborescent if all the dual graphs of its resolutions are trees. In a previous paper, the first three authors extended a 1985 theorem of P{\l}oski by proving that whenever $X$ is arborescent, the function $u_L$ is an ultrametric on the set of branches on $X$ different from $L$. In the present paper we prove that, conversely, if $u_L$ is an ultrametric, then $X$ is arborescent. We also show that for any normal surface singularity, one may find arbitrarily large sets of branches on $X$, characterized uniquely in terms of the topology of the resolutions of their sum, in restriction to which $u_L$ is still an ultrametric. Moreover, we describe the associated tree in terms of the dual graphs of such resolutions. Then we extend our setting by allowing $L$ to be an arbitrary semivaluation on $X$ and by defining $u_L$ on a suitable space of semivaluations. We prove that any such function is again an ultrametric if and only if $X$ is arborescent, and without any restriction on $X$ we exhibit special subspaces of the space of semivaluations in restriction to which $u_L$ is still an ultrametric., Comment: 50 pages, 14 figures. Final version

For a finite involutive non-degenerate solution $(X,r)$ of the Yang--Baxter equation it is known that the structure monoid $M(X,r)$ is a monoid of I-type, and the structure algebra $K[M(X,r)]$ over a field $K$ share many properties with commutative polynomial algebras, in particular, it is a Noetherian PI-domain that has finite Gelfand--Kirillov dimension. In this paper we deal with arbitrary finite (left) non-degenerate solutions. Although the structure of both the monoid $M(X,r)$ and the algebra $K[M(X,r)]$ is much more complicated than in the involutive case, we provide some deep insights. In this general context, using a realization of Lebed and Vendramin of $M(X,r)$ as a regular submonoid in the semidirect product $A(X,r)\rtimes\mathrm{Sym}(X)$, where $A(X,r)$ is the structure monoid of the rack solution associated to $(X,r)$, we prove that $K[M(X,r)]$ is a module finite normal extension of a commutative affine subalgebra. In particular, $K[M(X,r)]$ is a Noetherian PI-algebra of finite Gelfand--Kirillov dimension bounded by $|X|$. We also characterize, in ring-theoretical terms of $K[M(X,r)]$, when $(X,r)$ is an involutive solution. This characterization provides, in particular, a positive answer to the Gateva-Ivanova conjecture concerning cancellativity of $M(X,r)$. These results allow us to control the prime spectrum of the algebra $K[M(X,r)]$ and to describe the Jacobson radical and prime radical of $K[M(X,r)]$. Finally, we give a matrix-type representation of the algebra $K[M(X,r)]/P$ for each prime ideal $P$ of $K[M(X,r)]$. As a consequence, we show that if $K[M(X,r)]$ is semiprime then there exist finitely many finitely generated abelian-by-finite groups, $G_1,\dotsc,G_m$, each being the group of quotients of a cancellative subsemigroup of $M(X,r)$ such that the algebra $K[M(X,r)]$ embeds into $\mathrm{M}_{v_1}(K[G_1])\times\dotsb\times \mathrm{M}_{v_m}(K[G_m])$., A subtle mistake in the proof of Theorem 4.4 has been corrected (will appear in a corrigendum et addendum, TAMS). In the latter paper we also strengthen some of the results by removing the "square free'' condition in Section 5 and in this paper we also prove new homological equivalences in Theorem 4.4

In the present paper, we define a notion of good coverings of Alexandrov spaces with curvature bounded below, and prove that every Alexandrov space admits such a good covering and that it has the same homotopy type as the nerve of the good covering. We also prove the stability of the isomorphism classes of the nerves of good coverings in the non-collapsing case. In the proof, we need a version of Perelman's fibration theorem, which is also proved in this paper., Minor change basically on the proof of Theorem 1.2 in Section 5

We derive a Ray–Knight type theorem for the local time process (in the space variable) of a skew Brownian motion up to an independent exponential time. It is known that the local time seen as a density of the occupation measure and taken with respect to the Lebesgue measure has a discontinuity at the skew point (in our case at zero), but the local time taken with respect to the speed measure is continuous. In this paper we discuss this discrepancy by characterizing the dynamics of the local time process in both of these cases. The Ray–Knight type theorem is applied to study integral functionals of the local time process of the skew Brownian motion. In particular, we determine the distribution of the maximum of the local time process up to a fixed time, which can be seen as the main new result of the paper.