A general Trotter-Kato formula for a class of evolution operators

In this article we prove new results concerning the existence and various properties of an evolution system U(A+B)(t, s)0 <= s <= t <= T generated by the sum -(A(t) + B(t)) of two linear, time-dependent, and generally unbounded operators defined on time-dependent domains in a complex and separable Banach space B. In particular, writing L(B) for the algebra of all linear bounded operators on B, we can express U(A+B)(t, s)0 <= s <= t <= T as the strong limit in C(8) of a product of the holomorphic contraction semigroups generated by -A (t) and - B(t), respectively, thereby proving a product formula of the Trotter-Kato type under very general conditions which allow the domain D(A(t) + B(t)) to evolve with time provided there exists a fixed set D subset of boolean AND(t is an element of)[0,T] D(A(t) + B(t)) everywhere dense in B. We obtain a special case of our formula when B(t) = 0, which, in effect, allows us to reconstruct U(A)(t, s)0 <=(s)<=(t)<=(T) very simply in terms of the semigroup generated by -A(t). We then illustrate our results by considering various examples of nonautonomous parabolic initial-boundary value problems, including one related to the theory of timedependent singular perturbations of self-adjoint operators. We finally mention what we think remains an open problem for the corresponding equations of Schrodinger type in quantum mechanics.

A Trotter-Kato product formula for a class of non-autonomous evolution equations

In this article dedicated to Professor V. Lakshmikantham on the occasion of the celebration of his 84th birthday, we announce new results concerning the existence and various properties of an evolution system UA+B(t, s)(0 <= s <= t <= T) generated by the sum -(A(t)+B(t)) of two linear, time-dependent and generally unbounded operators defined on time-dependent domains in a complex and separable Banach space B. In particular, writing G(B) for the algebra of all linear bounded operators on B, we can express UA+B(t, s)(0 <= s <= t <= T) as the strong limit in L(B) of a product of the holomorphic contraction semigroups generated by -A(t) and -B(t), thereby getting a product formula of the Trotter-Kato type under very general conditions which allow the domain D(A(t)+B(t)) to evolve with time provided there exists a fixed set D subset of boolean AND D-t epsilon[0,D-T](A(t)+B(t)) everywhere dense in B. We then mention several possible applications of our product formula to various classes of non-autonomous parabolic initial-boundary value problems, as well as to evolution problems of Schrodinger type related to the theory of time-dependent singular perturbations of self-adjoint operators in quantum mechanics. We defer all the proofs and all the details of the applications to a separate publication. (C) 2008 Elsevier Ltd. All rights reserved.

How complex a dynamical network can be?

Positive Lyapunov exponents measure the asymptotic exponential divergence of nearby trajectories of a dynamical system. Not only they quantify how chaotic a dynamical system is, but since their sum is an upper bound for the rate of information production, they also provide a convenient way to quantify the complexity of a dynamical network. We conjecture based on numerical evidences that for a large class of dynamical networks composed by equal nodes, the sum of the positive Lyapunov exponents is bounded by the sum of all the positive Lyapunov exponents of both the synchronization manifold and its transversal directions, the last quantity being in principle easier to compute than the latter. As applications of our conjecture we: (i) show that a dynamical network composed of equal nodes and whose nodes are fully linearly connected produces more information than similar networks but whose nodes are connected with any other possible connecting topology; (ii) show how one can calculate upper bounds for the information production of realistic networks whose nodes have parameter mismatches, randomly chosen: (iii) discuss how to predict the behavior of a large dynamical network by knowing the information provided by a system composed of only two coupled nodes. (C) 2011 Elsevier B.V. All rights reserved.

Ab initio study of SO2 molecules interacting with pristine and transition metal covered fullerenes as a possible route for nanofilters

In this work, a systematic study of SO2 molecules interacting with pristine and transition metal (TM) covered C-60 is presented by means of first principles calculations. It is observed that the SO2 molecule interacts weakly with the pristine C-60 fullerene, although the resulting interaction is largely increased when the C-60 structure is covered with Fe, Mn, or Ti atoms and the SO2 Molecules are bounded through the TM atoms. The number of bounded SO2 molecules per TM atoms, in addition to the elevated binding energies per molecules, allows us to conclude that such composites can be used as a template for efficient devices to remove SO2 molecules or, alternatively, as SO2 gas sensor.

Third-order nonlinearity of Er(3+)-doped lead phosphate glass

The third-order optical susceptibility and dispersion of the linear refractive index of Er(3+)-doped lead phosphate glass were measured in the wavelength range between 400 and 1940 nm by using the spectrally resolved femtosecond Maker fringes technique. The nonlinear refractive index obtained from the third-order susceptibility was found to be five times higher than that of silica, indicating that Er(3+)-doped lead phosphate glass is a potential candidate to be used as the base component for the fabrication of photonic devices. For comparison purposes, the Z-scan technique was also employed to obtain the values of the nonlinear refractive index of Er(3+)-doped lead phosphate glass at several wavelengths, and the values obtained using the two techniques agree to within 15%.

The Cariris Velhos tectonic event in Northeast Brazil

The Borborema Province in northeastern South America is a typical Brasiliano-Pan-African branching system of Neoproterozoic orogens that forms part of the Western Gondwana assembly. The province is positioned between the Sao Luis-West Africa craton to the north and the Sao Francisco (Congo-Kasai) craton to the south. For this province the main characteristics are (a) its subdivision into five major tectonic domains, bounded mostly by long shear zones, as follows: Medio Coreau, Ceara Central, Rio Grande do Norte, Transversal, and Southern; (b) the alternation of supracrustal belts with reworked basement inliers (Archean nuclei + Paleoproterozoic belts); and (c) the diversity of granitic plutonism, from Neoproterozoic to Early Cambrian ages, that affect supracrustal rocks as well as basement inliers. Recently, orogenic rock assemblages of early Tonian (1000-920 Ma) orogenic evolution have been recognized, which are restricted to the Transversal and Southern domains of the Province. Within the Transversal Zone, the Alto Pajeu terrane locally includes some remnants of oceanic crust along with island arc and continental arc rock assemblages, but the dominant supracrustal rocks are mature and immature pelitic metasedimentary and metavolcaniclastic rocks. Contiguous and parallel to the Alto Pajeu terrane, the Riacho Gravata subterrane consists mainly of low-grade metamorphic successions of metarhythmites, some of which are clearly turbiditic in origin, metaconglomerates, and sporadic marbles, along with interbedded metarhyolitic and metadacitic volcanic or metavolcaniclastic rocks. Both terrane and subterrane are cut by syn-contractional intrusive sheets of dominantly peraluminous high-K calc-alkaline, granititic to granodioritic metaplutonic rocks. The geochemical patterns of both supracrustal and intrusive rocks show similarities with associations of mature continental arc volcano-sedimentary sequences, but some subordinate intra-plate characteristics are also found. In both the Alto Pajeu and Riacho Gravata terranes, TIMS and SHRIMP U-Pb isotopic data from zircons from both metavolcanic and metaplutonic rocks yield ages between 1.0 and 0.92 Ga, which define the time span for an event of orogenic character, the Cariris Velhos event. Less extensive occurrences of rocks of Cariris Velhos age are recognized mainly in the southernmost domains of the Province, as for example in the Polo Redondo-Maranco terrane, where arc-affinity migmatite-granitic and meta-volcano-sedimentary rocks show U-Pb ages (SHRIMP data) around 0.98-0.97 Ga. For all these domains, Sm-Nd data exhibit Tom model ages between 1.9 and 1.1 Ga with corresponding slightly negative to slightly positive epsilon(Nd)(t) values. These domains, along with the Borborema Province as a whole, were significantly affected by tectonic and magmatic events of the Brasiliano Cycle (0.7-0.5 Ga), so that it is possible that there are some other early Tonian rock assemblages which were completely masked and hidden by these later Brasiliano events. Cariris Velhos processes are younger than the majority of orogenic systems at the end of Mesoproterozoic Era and beginning of Neoproterozoic throughout the world, e.g. Irumide belt, Kibaride belt and Namaqua-Natal belt, and considerably younger than those of the youngest orogenic process (Ottawan) in the Grenvillian System. Therefore, they were probably not associated with the proposed assembly of Rodinia. We suggest, instead, that Cariris Velhos magmatism and tectonism could have been related to a continental margin magmatic arc, with possible back-arc associations, and that this margin may have been a short-lived (<100 m.y.) leading edge of the newly assembled Rodinia supercontinent. (C) 2009 Elsevier Ltd. All rights reserved.

Quaternary tectonics in a passive margin: Marajo Island, northern Brazil

Marajo Island is located in a passive continental margin that evolved from rifting associated with the opening of the Equatorial South Atlantic Ocean in the Late Jurassic/Early Cretaceous period. This study, based on remote sensing integrated with sedimentology, as well as subsurface and seismographic data available from the literature, allows discussion of the significance of tectonics during the Quaternary history of marginal basins. Results show that eastern Marajo Island contains channels with evidence of tectonic control. Mapping of straight channels defined four main groups of lineaments (i.e. NNE-SSW, NE-SW, NW-SE and E-W) that parallel main normal and strike-slip fault zones recorded for the Amazon region. Additionally, sedimentological studies of late Quaternary and Holocene deposits indicate numerous ductile and brittle structures within stratigraphic horizons bounded by undeformed strata, related to seismogenic deformation during or shortly after sediment deposition. This conclusion is consistent with subsurface Bouguer mapping suggestive of eastern Marajo Island being still part of the Marajo graben system, where important fault reactivation is recorded up to the Quaternary. Together with the recognition of several phases of fault reactivation, these data suggest that faults developed in association with rift basins might remain active in passive margins, imposing important control on development of depositional systems. Copyright (C) 2007 John Wiley & Sons, Ltd.

Three-dimensional packings with rotations

We present approximation algorithms for the three-dimensional strip packing problem, and the three-dimensional bin packing problem. We consider orthogonal packings where 90 degrees rotations are allowed. The algorithms we show for these problems have asymptotic performance bounds 2.64, and 4.89, respectively. These algorithms are for the more general case in which the bounded dimensions of the bin given in the input are not necessarily equal (that is, we consider bins for which the length. the width and the height are not necessarily equal). Moreover, we show that these problems-in the general version-are as hard to approximate as the corresponding oriented version. (C) 2009 Elsevier Ltd. All rights reserved.

Efficient solutions to factored MDPs with imprecise transition probabilities

When modeling real-world decision-theoretic planning problems in the Markov Decision Process (MDP) framework, it is often impossible to obtain a completely accurate estimate of transition probabilities. For example, natural uncertainty arises in the transition specification due to elicitation of MOP transition models from an expert or estimation from data, or non-stationary transition distributions arising from insufficient state knowledge. In the interest of obtaining the most robust policy under transition uncertainty, the Markov Decision Process with Imprecise Transition Probabilities (MDP-IPs) has been introduced to model such scenarios. Unfortunately, while various solution algorithms exist for MDP-IPs, they often require external calls to optimization routines and thus can be extremely time-consuming in practice. To address this deficiency, we introduce the factored MDP-IP and propose efficient dynamic programming methods to exploit its structure. Noting that the key computational bottleneck in the solution of factored MDP-IPs is the need to repeatedly solve nonlinear constrained optimization problems, we show how to target approximation techniques to drastically reduce the computational overhead of the nonlinear solver while producing bounded, approximately optimal solutions. Our results show up to two orders of magnitude speedup in comparison to traditional ""flat"" dynamic programming approaches and up to an order of magnitude speedup over the extension of factored MDP approximate value iteration techniques to MDP-IPs while producing the lowest error of any approximation algorithm evaluated. (C) 2011 Elsevier B.V. All rights reserved.

Billiards in a General Domain with Random Reflections

We study stochastic billiards on general tables: a particle moves according to its constant velocity inside some domain D R(d) until it hits the boundary and bounces randomly inside, according to some reflection law. We assume that the boundary of the domain is locally Lipschitz and almost everywhere continuously differentiable. The angle of the outgoing velocity with the inner normal vector has a specified, absolutely continuous density. We construct the discrete time and the continuous time processes recording the sequence of hitting points on the boundary and the pair location/velocity. We mainly focus on the case of bounded domains. Then, we prove exponential ergodicity of these two Markov processes, we study their invariant distribution and their normal (Gaussian) fluctuations. Of particular interest is the case of the cosine reflection law: the stationary distributions for the two processes are uniform in this case, the discrete time chain is reversible though the continuous time process is quasi-reversible. Also in this case, we give a natural construction of a chord ""picked at random"" in D, and we study the angle of intersection of the process with a (d - 1) -dimensional manifold contained in D.

Homeomorphisms of the annulus with a transitive lift

Let f be a homeomorphism of the closed annulus A that preserves the orientation, the boundary components and that has a lift (f) over tilde to the infinite strip (A) over tilde which is transitive. We show that, if the rotation numbers of both boundary components of A are strictly positive, then there exists a closed nonempty unbounded set B(-) subset of (A) over tilde such that B(-) is bounded to the right, the projection of B to A is dense, B - (1, 0) subset of B and (f) over tilde (B) subset of B. Moreover, if p(1) is the projection on the first coordinate of (A) over tilde, then there exists d > 0 such that, for any (z) over tilde is an element of B(-), lim sup (n ->infinity) p1((f) over tilde (n)((z) over tilde)) - p(1) ((z) over tilde)/n < - d. In particular, using a result of Franks, we show that the rotation set of any homeomorphism of the annulus that preserves orientation, boundary components, which has a transitive lift without fixed points in the boundary is an interval with 0 in its interior.

On the Derived Categories and Quasitilted Algebras

In this paper, we present some results on the bounded derived category of Artin algebras, and in particular on the indecomposable objects in these categories, using homological properties. Given a complex X*, we consider the set J(X*) = {i is an element of Z vertical bar H(i)(X*) not equal 0} and we define the application l(X*) = maxJ(X*) - minJ(X*) + 1. We give relationships between some homological properties of an algebra and the respective application l. On the other hand, using homological properties again, we determine two subcategories of the bounded derived category of an algebra, which turn out to be the bounded derived categories of quasi-tilted algebras. As a consequence of these results we obtain new characterizations of quasi-tilted and quasi-tilted gentle algebras.

Finite-dimensional non-associative algebras and codimension growth

Let A be a (non-necessarily associative) finite-dimensional algebra over a field of characteristic zero. A quantitative estimate of the polynomial identities satisfied by A is achieved through the study of the asymptotics of the sequence of codimensions of A. It is well known that for such an algebra this sequence is exponentially bounded. Here we capture the exponential rate of growth of the sequence of codimensions for several classes of algebras including simple algebras with a special non-degenerate form, finite-dimensional Jordan or alternative algebras and many more. In all cases such rate of growth is integer and is explicitly related to the dimension of a subalgebra of A. One of the main tools of independent interest is the construction in the free non-associative algebra of multialternating polynomials satisfying special properties. (C) 2010 Elsevier Inc. All rights reserved.

The Gauss-Kronecker curvature of minimal hypersurfaces in four-dimensional space forms

LetQ(4)( c) be a four-dimensional space form of constant curvature c. In this paper we show that the infimum of the absolute value of the Gauss-Kronecker curvature of a complete minimal hypersurface in Q(4)(c), c <= 0, whose Ricci curvature is bounded from below, is equal to zero. Further, we study the connected minimal hypersurfaces M(3) of a space form Q(4)( c) with constant Gauss-Kronecker curvature K. For the case c <= 0, we prove, by a local argument, that if K is constant, then K must be equal to zero. We also present a classification of complete minimal hypersurfaces of Q(4)( c) with K constant.

On a formula for the spectral flow and its applications

We consider a continuous path of bounded symmetric Fredholm bilinear forms with arbitrary endpoints on a real Hilbert space, and we prove a formula that gives the spectral flow of the path in terms of the spectral flow of the restriction to a finite codimensional closed subspace. We also discuss the case of restrictions to a continuous path of finite codimensional closed subspaces. As an application of the formula, we introduce the notion of spectral flow for a periodic semi-Riemannian geodesic, and we compute its value in terms of the Maslov index. (C) 2010 WILEY-VCH Verlag GmbH & Co. KGaA, Weinheim