A result about determinantal divisors

Let Rbe a principal ideal ringR_n the ring of n× nmatrices over R, and d_k (A) the kth determinantal divisor of Afor 1 ? k? n, where Ais any element of R_n , It is shown that if A,BεR_n , det(A) det(B:) ≠ 0, then d_k (AB) ≡ 0 mod d_k (A) d_k (B). If in addition (det(A), det(B)) = 1, then it is also shown that d_k (AB) = d_k (A) d_k (B). This provides a new proof of the multiplicativity of the Smith normal form for matrices with relatively prime determinants.     

Nearly flat almost monotone measures are big pieces of lipschitz graphs

A concentrated (ξ, m) almost monotone measure inR ⁿ is a Radon measure Φ satisfying the two following conditions: (1) Θ ^m (Φ,x)≥1 for every x ∈spt (Φ) and (2) for everyx ∈R ⁿ the ratioexp [ξ(r)]r^−mΦ(B(x,r)) is increasing as a function of r>0. Here ξ is an increasing function such thatlim _r→0-ξ(r)=0. We prove that there is a relatively open dense setReg (Φ) ∋spt (Φ) such that at each x∈Reg(Φ) the support of Φ has the following regularity property: given ε>0 and λ>0 there is an m dimensional spaceW ⊂R ⁿ and a λ-Lipschitz function f from x+W into x+W^‖ so that (100-ε)% ofspt(Φ) ∩B (x, r) coincides with the graph of f, at some scale r>0 depending on x, ε, and λ.     

Gorenstein injective modules and Auslander categories

In this paper, we study Gorenstein injective modules over a local Noetherian ring R. For an R-module M, we show that M is Gorenstein injective if and only if Hom _R (Ȓ,M) belongs to Auslander category B(Ȓ), M is cotorsion and Ext ⁱ _R (E,M) = 0 for all injective R-modules E and all i > 0. Received: 24 August 2006 Revised: 30 October 2006     

Almost linear upper bounds on the length of general davenport—schinzel sequences

Davenport—Schinzel sequences are sequences that do not contain forbidden subsequences of alternating symbols. They arise in the computation of the envelope of a set of functions. We obtain almost linear upper bounds on the length λ_s(n) of Davenport—Schinzel sequences composed ofn symbols in which no alternating subsequence is of length greater thans+1. These bounds are of the formO(nα(n)^O(α(n)5-3)), and they generalize and extend the tight bound Θ(nα(n)) obtained by Hart and Sharir for the special cases=3 (α(n) is the functional inverse of Ackermann’s function), and also improve the upper boundO(n log*n) due to Szemerédi. Work on this paper has been supported in part by a grant from the U.S. — Israeli Binational Science Foundation.     

On a function associated with the Bessel functions

Summary Defining the function Δn, 1,k;x(J) asΔn, 1,k;x(J)=J _n+1(x)−J _n(x)J _n+k+1(x) associated with the Bessel functionJ _n(x), we derive a series of products of Bessel functions for Δ_{n, f, k, x} (J). Whenk=1,k;x (J) becomes Turàn expression for Bessel functions. Some consequences have been pointed out.

---

Riassunto Definita la Δ_{n, f, k, x} (J) come Δ_{n, f, k, x}, (J)=J _n+1(x)J _n+k(x)-J _n(_n+k+1)(x) associata alla funzioneJ _n(x) di Bessel, si ricava una serie di prodotti di funzioni di Bessel per Δ_{n, f, k, x}, (J). 3 Quandok=1, Δ_{n, f, k, x}, (J) diventa una espressione di Turàn per le funzioni di 2 Bessel, vengono inoltre indicate alcune altre conseguenze.

     

Sopra l'esistenza dell'estremo assoluto per problemi variazionali di ordinen anche con riferimento a una nuova definizione di intorno

Sunto. Nel presente lavoro viene ripreso in esame il problema dell'esistenza dell'estremo assoluto per una classe di integrali curvilinei dello spazio in forma parametrica dipendenti da elementi differenziali fino all'ordine n (n>3) e invarianti rispetto al parametro. Tale problema viene trattato, oltre che con riferimento alla definizione di intorno (ϱ)ⁿ di una curva ordinaria C ₀ ⁽ⁿ⁾ , considerata in precedenti ricerche dall'A., anche in base a una nuova definizione di intorno {ϱ}ⁿ di una curva ordinaria C ₀ ⁽ⁿ⁾ introdotta recentemente dall'A. Si perviene dapprima a un teorema di esistenza valido con riguardo sia all'una che all'altra delle citate definizioni. In seguito, invece, il problema stesso viene trattato separatamente nei due casi in cui si fa riferimento o all'una o all'altra delle definizioni sopra indicate, e si perviene a teoremi di esistenza dell'estremo assoluto la cui validità è assicurata in classi di curve ordinarie C⁽ⁿ⁾ che sono complete rispettivamente di ordine n-(I) o di ordine n-(II). I risultati ottenuti, alcuni dei quali sono nuovi anche per n=3, vengono illustrati con vari opportuni esempi. Entrata in Redazione il 22 dicembre 1976. Lavoro eseguito nell'ambito del G.N.A.F.A. (C.N.R.).     

Random k-dimensional orders: Width and number of linear extensions

We consider the width W _k (n) and number L _k (n) of linear extensions of a random k-dimensional order P _k (n). We show that, for each fixed k, almost surely W _k (n) lies between (k/2–C)n _1–1/k and 4kn ^1-1/k , for some constant C, and L _k (n) lies between (e ^-2 n ^1-1/k ) ⁿ and (2kn ^1-1/k ) ⁿ . The bounds given also apply to the expectations of the corresponding random variables. We also show that W _k (n) and log L _k (n) are sharply concentrated about their means.     

Relationship between the Jung constant and acertain projection constant in Banach spaces

Summary For a Banach spaceX the parameter λ₁(X) is the infimum of the numbers a with the following property: for everyZ )X with dimZ/X=1 there exists a projectionP:Z→X with |P|≤a. We give an upper bound for λ₁(X) in terms of the Jung constantJ(X). Some known and some new results are then deduced. A characteristic property ofJ ₁-spaces is also proved.

---

Riassunto Scopo di questa nota è mostrare la stretta relazione che intercorre tra la costante di JungJ(X) di uno spazio di BanachX e la costante λ₁(X). Si stabilisce una limitazione superiore di λ₁, come funzione diJ, dalla quale si possono dedurre alcuni nuovi risultati e altri conosciuti. è inoltre dimostrata una caratterizzazione deiJ ₁-spazi.

     

On the Number of Bases of Bicircular Matroids

Let t(G) be the number of spanning trees of a connected graph G, and let b(G) be the number of bases of the bicircular matroid B(G). In this paper we obtain bounds relating b(G) and t(G), and study in detail the case where G is a complete graph K_n or a complete bipartite graph K_n,m.Received April 25, 2003     

Convergence to type I distribution of the extremes of sequences defined by random difference equation

We study the extremes of a sequence of random variables (R_n) defined by the recurrence R_n=M_nR_n−1+q, n≥1, where R₀ is arbitrary, (M_n) are iid copies of a non-degenerate random variable M, 0≤M≤1, and q>0 is a constant. We show that under mild and natural conditions on M the suitably normalized extremes of (R_n) converge in distribution to a double-exponential random variable. This partially complements a result of de Haan, Resnick, Rootzén, and de Vries who considered extremes of the sequence (R_n) under the assumption that P(M>1)>0.     

Pseudo Riemannian manifolds whose generalized Jacobi operator has constant characteristic polynomial

Letg be a non-degenerate innerproduct of signature (p,q) onR ^m . LetGr _r,s (g) be the Grassmanian of planes so the restriction of g to is non-degenerate and has signature (r, s). IfR is an algebraic curvature tensor onR ^m , we define a generalized Jacobi operator onGr _r,s (g) and study when the characteristic polynomial of this operator is constant.Dedicated to Professor Helmut Karzel on his 70th birthdayResearch partially supported by the NSF (USA).Research partially supported by the NFSI (Bulgaria).     

Resolvent Estimates for Operators Belonging to Exponential Classes

For a, α > 0 let E(a, α) be the set of all compact operators A on a separable Hilbert space such that s _n (A) = O(exp(-an^α)), where s _n (A) denotes the n-th singular number of A. We provide upper bounds for the norm of the resolvent (zI − A)⁻¹ of A in terms of a quantity describing the departure from normality of A and the distance of z to the spectrum of A. As a consequence we obtain upper bounds for the Hausdorff distance of the spectra of two operators in E(a, α).      

Sulla rappresentazione delle soluzioni delle equazioni quasi-ellittiche in una regione angolosa

Sunto Un dominio limitato per il quale si possa assegnare un problema corretto di valori al contorno per una equazione quasi-ellittica ma non ellittica presenta sempre dei punti angolosi; un intorno, sulla frontiera, di uno di questi punti si può suddividere in porzioni e almeno in due di queste i dati differiscono anche numericamente. D'altra parte non è possibile ottenere uno spianamento di tale intorno senza alterare il tipo dell'equazione. In questioni di regolarizzazione è perciò utile possedere una rappresentazione in {(x_i, ..., x_n) ε Rⁿ; x_k ≥0 per k =1, 2, ..., n}, nel caso di n variabili, di una soluzione dell'equazione ottenuta dalla data considerando solo la parte principale con coefficienti costanti. Nella presente Nota trattiamo questo problema in un caso particolare. Entrata in Redazione il 3 dicembre 1968.     

On the index of elliptic partial differential operators inR n

Summary Let A= be an elliptic differential operator inR _u, If, for |α|=l, the coefficients a_α are ? nearly constant ? and, for |α|<l, they tend to zero at infinity with a certain swiftness, it is proved that A is a Fredholm operator with index_x(A)=0 between a suitable weighted Sobolev space M contained in W^l,p (R n) and L^p(R ⁿ, (1+|x|)^lp)== . It is shown, by counterexamples, that the above result, holds only if n>l, p>n/(n−l) and that isomorphism results can be obtained, in general only if the coefficients a_α(|α|<l) are assumed to be ? sufficiently small ? also on compact sets. Then a Sturm-Liouville type problem is studied and a class of negative and falling off at infinity potentials V(x) is constructed in such a way that the Schr?dinger operator H=−Δ+V(x), in L²(R ⁿ), has a zero eigenvalue.

---

Sunto Sia un operatore differenziale ellittico inR ⁿ. Se, per |α|=l, i coefficienti a_α sono ? quasi costanti ? e, per |α|<l, tendono a zero all'infinito con una certa rapidità, si dimostra che A è un operatore di Fredholm con indice_X(A)=0 tra un opportuno spazio di Sobolev con peso M contenuto in W^l,p(R ⁿ) ed L^p(R ⁿ, (1+|x|)^lp)== . Si prova, mediante controesempi, che tale risultato è valido solo se n>l, p>n/(n−l) e che teoremi di isomorfismo si possono ottenere, in generale, solo se si assume che i coefficienti a_α (|α|<l) sono ? sufficientemente piccoli ? anche su insiemi compatti. Si studia quindi un problema del tipo Sturm-Liouville e si costruisce una classe di potenziali V(x) negativi e convergenti a zero all'infinito, tali che l'operatore di Schr?dinger H=−δ+V(x) in L²(R ⁿ) abbia un autovalore nullo.

---

---

Entrata in Redazione il 10 agosto 1977.

---

Work supported by C.N.R. (G.N.A.F.A.).     

Circle grids and bipartite graphs of distances

Fort fixed,n+t pointsA ₁,A ₂,...,A _n andB ₁,B ₂,...,B _t are constructed in the plane withO(n) distinct distancesd(A _i B _j ) As a by-product we show that the graph of thek largest distances can contain a complete subgraphK _{t, n} withn=(k ²), which settles a problem of Erds, Lovász and Vesztergombi.Research partially supported by the Hungarian National Science Fund (OTKA) # 2117.     

Discrete characterization of the Paley-Wiener space with several variables

In this paper, we obtain a characterization of the Paley-Wiener space with several variables, which is denoted byB _{π, p} (R ⁿ ), 1≤p<∞, i.e., for 1<p<∞,B _{π, p} (R ⁿ ) is isomorphic tol _p (Z ⁿ ), and forp=1,B _{π, 1} (R ⁿ ) is isomorphic to the discrete Hardy space with several variables, which is denoted byH(Z ⁿ ). This project is supported by the National Natural Science Foundation of China (19671012) and Doctoral Programme Institution of Higher Education Foundation of Chinese Educational Committee and supported by Youth Foundation of Sichuan.     

On the number of homogeneous subgraphs of a graph

Let us defineG(n) to be the maximum numberm such that every graph onn vertices contains at leastm homogeneous (i.e. complete or independent) subgraphs. Our main result is exp (0.7214 log² n) ≧G(n) ≧ exp (0.2275 log² n), the main tool is a Ramsey—Turán type theorem. We formulate a conjecture what supports Thomason’s conjecture R(k, k)^1/k = 2.     

On orthogonal systems of matrix algebras

In this work it is shown that certain interesting types of orthogonal system of subalgebras (whose existence cannot be ruled out by the trivial necessary conditions) cannot exist. In particular, it is proved that there is no orthogonal decomposition of M_n(C)⊗M_n(C)≡M_n²(C) into a number of maximal abelian subalgebras and factors isomorphic to M_n(C) in which the number of factors would be 1 or 3.In addition, some new tools are introduced, too: for example, a quantity c(A,B), which measures “how close” the subalgebras A,B⊂M_n(C) are to being orthogonal. It is shown that in the main cases of interest, c(A^′,B^′) - where A^′ and B^′ are the commutants of A and B, respectively - can be determined by c(A,B) and the dimensions of A and B. The corresponding formula is used to find some further obstructions regarding orthogonal systems.     

Costruzione di una soluzione fondamentale per operatori differenziali ( p n )-ipoellittici,p=1, …, n

Riassunto è costruita una soluzione fondamentale per un operatore differenziale ( _p ⁿ )-ipoellittico,p=1, …,n, con coefficienti costanti. Tale soluzione fondamentale soddisfa a condizioni di Gevrey nei due semi-spazi {x _n <0}, {x _n >0}.

---

Summary A constructive procedure of a fundamental solution to a linear ( _p ⁿ )-hypoelliptic,p=1, …,n, differential operator inR ⁿ with constant coefficients is exhibited. Such a fundamental solution satisfies Gevrey conditions in the two half-spaces {x _n >0}, {x _n <0}.

---

---

Lavoro eseguito nell’ambito dell’attività del Gruppo Nazionale per l’Analisi Funzionale e le sue Applicazioni.     

A characterization of Chebyshev curves inR n

Given a totally ordered setT containing at leastn+1 elements (say a subset ofR ¹), the graph of the functiona:TR ⁿ is called a Chebyshev curve (inR ⁿ) if the determinant of the matrix (a(t ₁),a(t ₂), ...,a(t _n)) is either positive whenevert ₁<t ₂<...<t _n or negative whenevert ₁<t ₂<...<t _n. For finiteT a characterization of these curves (sequences) has been given by the author.In this paper the result is extended to non-finiteT. The characterization proved here is an improved (reformulated) version of that given by the author for infiniteT.