A parallel projection method for overdetermined nonlinear systems of equations

We consider overdetermined nonlinear systems of equationsF(x)=0, whereF: ^{n m} ,mn. For this type of systems we define weighted least square distance (WLSD) solutions, which represent an alternative to classical least squares solutions and to other solutions based on residual normas. We introduce a generalization of the classical method of Cimmino for linear systems and we prove local convergence results. We introduce a practical strategy for improving the global convergence properties of the method. Finally, numerical experiments are presented.Work supported by FAPESP (Grant 90/3724/6), FINEP, CNPq and FAEP-UNICAMP.     

Nonordered quantum logic and its YES-NO representation

It is shown that an orthomodular lattice is an ortholattice in which aunique operation of bi-implication corresponds to the equality relation and that the ordering relation in the binary formulation of quantum logic as well as the operation of implication (conditional) in quantum logic are completely irrelevant for their axiomatization. The soundness and completeness theorems for the corresponding algebraic unified quantum logic are proved. A proper semantics, i.e., a representation of quantum logic, is given by means of a new YES-NO relation which might enable a proof of the finite model property and the decidability of quantum logic. A statistical YES-NO physical interpretation of the quantum logical propositions is provided.     

Labelings of two classes of plane graphs

The paper describes magic labelings of type (1,1,1) for two classes of graphs, which are obtained by a combination of vertex, edge and face labelings.     

Asymptotic expansions in the integral and local limit theorems in banach spaces with applications to ω-statistics

LetB be a real separable Banach space and letX,X ₁,X ₂,...∈B denote a sequence of independent identically distributed random variables taking values inB. DenoteS _n =n ^?1/2(X ₁+...X _n ). Let π:B→R be a polynomial. We consider (truncated) Edgeworth expansions and other asymptotic expansions for the distribution function of the r.v. π(S _n ) with uniform and nonuniform bounds for the remainder terms. Expansions for the density of π(S _n ) and its higher order derivatives are derived as well. As an application of the general results we get expansions in the integral and local limit theorems for ω-statistics $$\omega _n^p (q)\mathop { = n^{{p \mathord{\left/ {\vphantom {p 2}} \right. \kern-\nulldelimiterspace} 2}} }\limits^\Delta \smallint _{(0,1)} \{ F_n (x) - x\} ^p q(x)dx$$ and investigate smoothness properties of their distribution functions. Herep≥2 is an even number,q: [0, 1]→[0, ∞] is a measurable weight function, andF _n denotes the empirical distribution function. Roughly speaking, we show that in order to get an asymptotic expansion with remainder termO(n ^?α), α<p/2, for the distribution function of the ω-statistic, it is sufficient thatq is nontrivial, i.e., mes{t∈(0, 1):q(t)≠0}>0. Expansions of arbitrary length are available provided the weight functionq is absolutely continuous and positive on an nonempty subinterval of (0, 1). Similar results hold for the density of the distribution function and its derivatives providedq satisfies certain very mild smoothness condition and is bounded away from zero. The last condition is essential since the distribution function of the ω-statistic has no density whenq is vanishing on an nonempty subinterval of (0, 1).     

Spectral properties of random Schrödinger operators with unbounded potentials

We investigate spectral properties of random Schrödinger operators H = - + _n()(1 + |n|) acting onl ²(Z ^d), where _n are independent random variables uniformly distributed on [0, 1].Research partially supported by a Sloan Doctoral Dissertation Fellowship and NSERC under grant OGP-0007901Research partially supported by NSF grant DMS-9101716     

Sturmian functions for nonlocal interactions

The problem of calculation of Sturmian functions (positive energy Weinberg states) for nonlocal (exchange) interactions is considered. It is shown that the method of continued fractions proposed by Horáek and Sasakawa makes the calculation of Sturmian eigenfunctions and eigenvalues feasible even for complicated nonlocal interactions. As an example Sturmian functions and Sturmian eigenvalues for the low energy electron-hydrogen scattering in the static exchange approximation are calculated. In addition a very general proof of convergence of the method of continued fractions is presented.Dedicated to the memory of Professor Jozef Kvasnica.     

A model of solidification under microgravity conditions

The influence of the microgravity environment on solidification processes is discussed. A simple model of the solidification of a binary-alloy is presented with the chemical diffusion influenced by the gravitational field. Using the results of Mullins and Sekerka, we employ the linear theory of hydrodynamic stability to investigate the interfacial instability driving the pattern-forming processes in solidification. As a result, we estimate the characteristic size of the elements of the emerging pattern. We show that, in spite of good agreement of our result with the size of cellulae observed in experiments, the model cannot explain the changes in the patterns occurring in space environment. In conclusion we shortly discuss the possibility of adding realism to our simple model by including the effect of convection.