A Verified Optimization Technique to Locate Chaotic Regions of Hénon Systems

We present a new verified optimization method to find regions for Hénon systems where the conditions of chaotic behaviour hold. The present paper provides a methodology to verify chaos for certain mappings and regions. We discuss first how to check the set theoretical conditions of a respective theorem in a reliable way by computer programs. Then we introduce optimization problems that provide a model to locate chaotic regions. We prove the correctness of the underlying checking algorithms and the optimization model. We have verified an earlier published chaotic region, and we also give new chaotic places located by the new technique.     

Electronic properties of model quantum-dot structures in zero and finite magnetic fields

We have computed electronic structures and total energies of circularly confined two-dimensional quantum dots and their lateral dimers in zero and finite uniform external magnetic fields using different theoretical schemes: the spin-density-functional theory (SDFT), the current-and-spin-density-functional theory (CSDFT), and the variational quantum Monte Carlo (VMC) method. The SDFT and CSDFT calculations employ a recently-developed, symmetry-unrestricted real-space algorithm allowing solutions which break the spin symmetry. Results obtained for a six-electron dot in the weak confinement limit and in zero magnetic field as well as in a moderate confinement and in finite magnetic fields enable us to draw conclusions about the reliability of the more approximative SDFT and CSDFT schemes in comparison with the VMC method. The same is true for results obtained for the two-electron quantum dot dimer as a function of inter-dot distance. The structure and role of the symmetry-breaking solutions appearing in the SDFT and CSDFT calculations for the above systems are discussed. Received 16 October 2001 and Received in final form 17 January 2002     

Prediction problem in quantum mechanics is intractable (NP-Hard)

It is proved that both the prediction problem and the problem of reconstructing the state from the observations in quantum mechanics are NP-hard.     

Orderings of uniquely colorable hypergraphs

For a mixed hypergraph H=(X,C,D), where C and D are set systems over the vertex set X, a coloring is a partition of X into ‘color classes’ such that every C∈C meets some class in more than one vertex, and every D∈D has a nonempty intersection with at least two classes. A vertex-orderx₁,x₂,…,x_n on X (n=|X|) is uniquely colorable if the subhypergraph induced by {x_j:1?j?i} has precisely one coloring, for each i (1?i?n). We prove that it is NP-complete to decide whether a mixed hypergraph admits a uniquely colorable vertex-order, even if the input is restricted to have just one coloring. On the other hand, via a characterization theorem it can be decided in linear time whether a given color-sequence belongs to a mixed hypergraph in which the uniquely colorable vertex-order is unique.     

Optical properties of in situ doped and undoped titania nanocatalysts and doped titania sol-gel nanofilms

In this paper we present spectroscopic properties of doped and undoped titanium dioxide (TiO₂) as nanofilms prepared by the sol-gel process with rhodamine 6G doping and studied by photoacoustic absorption, excitation and emission spectroscopy. The absorption spectra of TiO₂ thin films doped with rhodamine 6G at very low concentration during their preparation show two absorption bands, one at 2.3 eV attributed to molecular dimmer formation, which is responsible for the fluorescence quenching of the sample and the other at 3.0 eV attributed to TiO₂ absorption, which subsequently yields a strong emission band at 600 nm. The electronic band structure and optical properties of the rutile phase of TiO₂ are calculated employing a fully relativistic, full-potential, linearized, augmented plane-wave (FPLAPW) method within the local density approximation (LDA). Comparison of this calculation with experimental data for TiO₂ films prepared for undoped sol-gels and by sputtering is performed.     

Synthesis of cyclic mono- and bis-disulfides and their selective conversion to mono- and bis-thiosulfinates

Twelve-membered ring pseudopeptidic cyclic disulfides have been prepared by iodine oxidation of the parent dithiols. However, oxidation of N,N′-(1,2-phenylene)bis(2-mercapto-2-methylpropanamide) afforded a 25/75 mixture of cyclic mono- and bis-disulfides that were separated by selective precipitation in CHCl₃. The cyclic bis-disulfide was selectively prepared by iodine oxidation of the Ni complex of this dithiol and crystallized. Its crystal structure was solved by X-ray diffraction. All these cyclic mono- or bis-disulfides were selectively converted to cyclic mono- and bis-thiosulfinates upon stoichiometric oxidation with dimethyldioxirane at low temperature. ¹H NMR of the cyclic bis-thiosulfinate revealed the presence of four isomers, two couples of stereoisomers, as expected from the insertion of two oxygen atoms in this compound, one on each disulfide bond. The two couples of cis/trans isomers were separated by preparative TLC and identified after alkaline cleavage of the two S(O)-S bonds and metalation with Ni(II). As HO⁻ attack is selective for the sulfinyl sulfur, the nature of the Ni complexes obtained is a signature of each couple of stereoisomers.     

Some new topological cardinal inequalities

In this paper we make use of the Pol-Šapirovski?'s technique to prove several cardinal inequalities, which generalize other well-known inequalities.     

On energy densities reached in heavy-ion collisions at the CERN SPS

We present a few estimates of energy densities reached in heavy-ion collisions at the CERN SPS. The estimates are based on data and models of proton-nucleus and nucleus-nucleus interactions. In all of these estimates the maximum energy density in central Pb+Pb interactions is larger than the critical energy density GeV/fm³ following from lattice gauge theory computations. In estimates which we consider as realistic the maximum energy density is about . In this way our analysis gives some support to claims that deconfined matter has been produced at the CERN SPS. Any definite statement requires a deeper understanding of formation times of partons and hadrons in nuclear collisions. We also compare our results with implicit energy estimates contained in earlier models of anomalous suppression in nuclear collisions. Received: 3 February 2003 / Revised version: 5 March 2003 / Published online: 5 May 2003     

A Multidimensional Branch-and-Prune Method for Interval Global Optimization

In this paper a new multidimensional extension of the recently developed one-dimensional enclosure method called kite is given for interval global optimization. A more sophisticated version of the pruning technique based on the kite method is introduced. By the new componentwise approach all the one-dimensional theoretical results and procedures can be used in the higher-dimensional case. The possibilities in the implementation of the new algorithm together with numerical results on 40 standard test problems are presented.