Adrian Balint
Institute of Theoretical Computer Science
Ulm University

Andreas Fröhlich
Institute of Theoretical Computer Science
Ulm University

The propositional satisfiability problem (SAT) is one of the most studied NP-complete problems in computer science. One reason for that is the wide range of SAT's practical applications ranging from hardware verification to planning and scheduling. Given a propositional formula in conjunctive normal form (CNF) with variables x1,...,xN the SAT-problem consists in finding an assignment for the variables so that all clauses are satisfied. In this work we focus on SLS-solvers for SAT and describe how their performance can be improved with a new probability distribution. We implemented a new algorithm called Sparrow and compared it with the state of art solvers on a wide range of problems from the SAT Competition benchmark. All experiments were conducted on the BWGrid. Our results show the superior performance of Sparrow over all its competitors.

• Improving Stochastic Local Search for SAT with a New Probability Distribution in the proceedings of SAT2010 Springer LNCS 6175 p.10

Adrian Balint
Institute of Theoretical Computer Science
Universität Ulm

Michael Henn
Institute of Theoretical Computer Science
Universität Ulm

Oliver Gableske
Institute of Theoretical Computer Science
Universität Ulm

We developed a hybrid SAT solver (using SLS and DPLL mechanics) to attack the satisfiability problem. With the help of the BWgrid, we were able to provide empirical results, that such a hybrid solver is superior on satisfiable formulas.

• Adrian Balint, Michael Henn, Oliver Gableske: "A novel approach to combine a SLS- and a DPLL-solver for the satisfiability problem". In Oliver Kullmann (Ed.). Theory and Applications of Satisfiability Testing - SAT 2009, LNCS 5584, pp. 284-297, Springer 2009.

Dr Paola Quaino
Institute of Theoretical Chemistry
Ulm University

German Soldano
Institute of Theoretical Chemistry
Ulm University

Dr Elisbeth Santos
Institute of Theoretical Chemistry
Ulm University

Dr Wolfgang Schmickler
Institute of Theoretical Chemistry
Ulm University

The stability of coinage and noble metal graphite-supported nanowires, is treated here with a simple model based on density functional theory. In particular, we study the stability of gold and platinum wires and compare their chemical properties with surfaces and bare wires. A substantially stronger bond with graphite was found for platinum wires due to unfilled antibondig states which are occupied in the case of gold. This difference has direct consequences in the adsorption of hydrogen. The reaction can occur on the wire or directly on graphite steps. In the case of gold, the reaction is favoured on steps, while on platinum wires, it has no thermodinamical preferences. Our results suggest that, in early stages of nucleation, hydrogen could desorb gold from graphite, which may not be the case for platinum.

• Stability of gold and platinum nanowires on graphite edges. G. Soldano, P. Quaino, E. Santos, W. Schmickler. Submitted.
• Hydrogen evolution on nanostructures. W. Schmickler, Electrocatalysis at the Nanoscale - Theory and Modeling, Workshop. (october 2009) Reisensburg, Germany.
• (26/07/2009 - 31/07/2009) Poster presentation in the 11th International Fischer-Symposium on Microscopy in Electrochemistry (Benedikbeuern, Germany). Topic: Chemical Adsorption at Nanowires. Authors:G. Soldano, P. Quaino, E. Santos and W. Schmickler.

Dr Paola Quaino
Institute of Theoretical Chemistry
Ulm University

German Soldano
Institute of Theoretical Chemistry
Ulm University

Dr Elisbeth Santos
Institute of Theoretical Chemistry
Ulm University

Dr Wolfgang Schmickler
Institute of Theoretical Chemistry
Ulm University

The physical and electronic properties of several platinum nanostructures have been investigated by density functional calculations. Particular attention has been paid to the structure of the d band. Our preliminary results predict, that nanowires and small platinum clusters supported on Au(111) should be excellent catalysts for the hydrogen evolution reaction; a monolayer of platinum on Au(111) should also be better than pure platinum.

• Some properties of electrochemical nanostructures. E. Santos, G. Soldano, P. Quaino, W. Schmickler. J. Chem. Sciences (India), special issue to honour the late Prof. S.K. Rangarajan, (2009), in press.
• Hydrogen adsorption and fractional conductance of electrochemical nanowires. E. Santos, G. Soldano, P. Quaino, W. Schmickler. Electrochem. Comm., 11 (2009) 1764.
• On the electrocatalysis of nanostructures: monolayers of a foreign atom (Pd) on different susbtrates M(111). E. Santos, P. Quaino, W. Schmickler. Electrochim. Acta., in press.
• (26/07/2009 - 31/07/2009) Poster presentation in the 11th International Fischer-Symposium on Microscopy in Electrochemistry (Benedikbeuern, Germany). Topic: Chemical Adsorption at Nanowires. Authors:G. Soldano, P. Quaino, E. Santos and W. Schmickler.

Dr Paola Quaino
Institute of Theoretical Chemistry
Ulm University

Dr Elisbeth Santos
Institute of Theoretical Chemistry
Ulm University

Dr Wolfgang Schmickler
Institute of Theoretical Chemistry
Ulm University

Electrochemical nanostructures have gained a great interest in the last decade because of the large variation of their reactivity in comparison with bulk material. A number of groups worldwide investigate diverse nanostructures in order to improve the electrocatalytic properties of electrode materials for several technological applications such as energy conversion. An interesting aspect is the possibility to design at the nanoscale materials with specific properties. Particularly in surface science, for reactions at the gas / solid interface, an enormous amount of research, both experimental and theoretical, has been carried out. However, the implementation of these nano-materials is difficult because of the lack of understanding of the fundamental aspects and mechanisms which determine their stability, reactivity and dynamics. Analysis of the present level of studies suggests that although many interesting achievements have been accomplished, most of them concern empirical correlations between the geometry at the nano-scale, such as the density of defects and width of the terraces, with thermodynamic properties, such as the work function, potential of zero charge, adsorption enthalpy.

In these project, we have applied our theory of electrocatalysis to investigate the reactivity of various nanostructures. Particularly in this contribution, we shall show the results obtained for monolayers of Pd on different substrates. A good agreement with experimental results has been obtained for the systems under study. Although the strain induced by the mismatch in the lattice constants of substrate and adsorbate is observed; we show that it is not the only effect for changing the electrocatalytic properties; also the specific chemical interaction between the monolayer and the substrate plays an important role. The catalytic properties of the nanostructures can be different for oxidation and reduction reactions.=q

• Trends in the Electrocatalytic Activity of Nanostructures of Pd on Au(111). K. Pötting, P. Quaino, E. Santos, W. Schmickler. 7th Spring Meeting of the International Society of Electrochemistry (ISE), Szczyrk (Poland), march 2009. Poster presentation
• On the electrocatalysis of nanostructures. E. Santos, P. Quaino, W. Schmickler. 2nd International Symposium on Surface Imaging/Spectroscopy at the Solid/Liquid Interface Krakow (Poland), june 2009. Oral Presentation
• Electrocat´alisis de nanoestructuras. E. Santos, P. Quaino, W. Schmickler. FYQS-IV-2009, La Plata (Argentina), october 2009, Poster Presentation.
• On the electrocatalysis of nanostructures: monolayers of a foreign atom (Pd) on different susbtrates M(111). E. Santos, P. Quaino, W. Schmickler. Electrochim. Acta., in press.{

Dr Paola Quaino
Institute of Theoretical Chemistry
Ulm University

Dr Angelica Lundin
Institute of Theoretical Chemistry
Ulm University

Dr Kay Pötting
Institute of Theoretical Chemistry
Ulm University

Dr Elisbeth Santos
Institute of Theoretical Chemistry
Ulm University

Dr Wolfgang Schmickler
Institute of Theoretical Chemistry
Ulm University

Hydrogen evolution is the best investigated electrochemical reaction, and is considered as a prototype for electrocatalysis. However, in spite of decades of efforts, there was no real understanding of hydrogen electrocatalysis, or of any other electrochemical reaction, until few years ago. All that existed were a few correlations, the volcano plot between the reaction rate and the energy of hydrogen adsorption being the best known.

A proper understanding cannot be based on correlations, nor can it be obtained by performing DFT calculation for a large number of cases - it requires a theory. Therefore, we have linked a theory for electrocatalysis proposed by Santos and Schmckler with DFT calculations and applied it to the hydrogen evolution reaction, focusing on the adsorption of the proton and the adsorbed hydrogen atom, separated by a saddle point, from which we determined the energy of activation. Explicit calculations have been performed for five metals: Pt, Au, Ag, Cu and Cd. In accord with experimental findings we find a high activation energy for Cd, medium values for the coin metals, and on Pt the transfer occurs with little activation. These results are explained in terms of the position of the d band of these metals and their interaction with the hydrogen 1s orbital as the latter passes the Fermi level in the presence of the solvent.

• Hydrogen oxidation and evolution on platinum. P.M. Quaino, Electrocatalysis at the Nanoscale - Theory and Modeling, Workshop. (october 2009) Reisensburg, Germany. Oral Presentation
• A theory for the electrocatalysis of hydrogen evolution. E. Santos, A. Lundin, K. Pötting, P. Quaino, W. Schmickler. Phys. Rev. B, 79 (2009) 235436.
• Hydrogen Electrode Reaction: Electrocatalytic Activity of Metal Surfaces. P. Quaino, K. Pötting, E. Santos, W. Schmickler. 7th Spring Meeting of the International Society of Electrochemistry (ISE), Szczyrk (Poland), march 2009. Oral presentation
• Reaccion del electrodo de hidrogeno: actividad electrocatalitica de superficies metalicas. E. Santos, P. Quaino, W. Schmickler. FYQS-IV-2009, La Plata (Argentina), october 2009.
• Hydrogen evolution and oxidation- a prototype for a electrocatalytic reaction. E. Santos, A. Lundin, K. Pötting, P. Quaino, W. Schmickler. J. Solid State Electrochem. 13 (2009) 1101.
• Hydrogen Electrode Reaction (HER) on different metals: Evaluation of the Electrocatalytic Activity. P. Quaino, K. Pötting, E. Santos, W. Schmickler. Gesellschaft Deutscher Chemiker (GDCh), Electrochemistry: Crossing boundaries, Giessen (Alemania), octubre de 2008.Poster Presentation
• Electrocatalysis@nanoscale: techniques and applications. Lorentz Center - International Center for workshops in the Sciences. Netherlands. November 2008.
• Theory of Hydrogen reaction on metals. P. Quaino. Seminar. Institute of Theoretical Chemistry. Ulm University.

Dr Paola Quaino
Institute of Theoretical Chemistry
Ulm University

Dr Angelica Lundin
Institute of Theoretical Chemistry
Ulm University

Dr Kay Pötting
Institute of Theoretical Chemistry
Ulm University

Dr Elisbeth Santos
Institute of Theoretical Chemistry
Ulm University

Dr Wolfgang Schmickler
Institute of Theoretical Chemistry
Ulm University

Hydrogen evolution on single crystal copper and silver has been investigated by a combination of density functional theory and a theory developed in our own group by Santos and Schmickler. At short times, the reaction rate is determined by the transfer of the first proton to the electrode surface. In accord with experiment, we find for both metals that this reaction proceeds faster on the (111) surfaces than on the (100). The main cause is the lower, i.e. more favourable, adsorption energy on the former surfaces. On both silver surfaces, the second step is electrochemical desorption. The same mechanism is likely to operate on copper.

• Hydrogen evolution on single crystal copper and silver - a theoretical study. E. Santos, A. Lundin, K. Pötting P. Quaino, W. Schmickler. Phys. Chem. Chem. Phys., submitted.
• Hydrogen Electrode Reaction on Cu and Silver electrodes. P. Quaino. Seminar. Programa de Electroquimica Aplicada e Ingenieria Electroquimica - Universidad Nacional del Litoral.

Dr, Payam Kaghazchi
Institute of Electrochemistry
Ulm University

Jochen Bandlow
Institute of Electrochemistry
Ulm University

Fedir Strygunov
Institute of Electrochemistry
Ulm University

PD Dr. Timo Jacob
Institute of Electrochemistry
Ulm University

Surface faceting can be understood as a morphology change from a flat bulk-truncated surface to a hill-and-valley structure. While clean surfaces rarely facet, adsorbate-induced faceting of surfaces, driven by the anisotropy of surface free energy, is a general phenomenon observed in many systems. Since high-index clean metal surfaces typically have lower surface atom densities and higher surface free energies compared to the close-packed surfaces of the same metal they can be used as the basis for surface reconstruction and facet formation studies. Furthermore, it allows us to deepen the understanding of the stability of surfaces in contact with a reactive gas environment, which is essential for selecting and controlling a desired surface morphology. Faceted surfaces have also been used as model systems to study structural sensitivity in catalytic reactions.

So far experimental studies of adsorbate-induced faceting of metal surfaces focused mainly on body-centered cubic or face-centered cubic metals, such as W(111), Mo(111), Ni(210), Pt(210), Ir(210), Rh(553), and vicinal Cu surfaces. Although the enhancement of the anisotropy in surface free energy is the thermodynamic driving force for facet formation, in most cases this process is hindered by kinetic limitations. Therefore not only a critical adsorbate coverage is required but also a minimum annealing temperature allowing the system to overcome all kinetic barriers in the process of facet formation.

With this project we aim to understand the driving force behind the faceting by means of density functional theory and thermodynamic considerations. In our theoretical method we assumed the size of the facets to be large enough such that the overall contributions of step edges, kinks and strain to the formation energy are rather small. In this case we can restrict ourselves to the thermodynamic (Herring-)condition for facet formation, where the Gibbs-energy of facet formation can be expressed by the surface contributions only.

Since in our case facets showing different faces are formed on the initially planar surface after adsorption of oxygen, the faceting conditions is fulfilled in case the overall surface energy of the faceted surface is lower than this of the planar unfaceted surface orientation. The presence of the oxygen environment and its influence on the surface stabilities can then be treated by the ab initio atomistic thermodynamics approach (similar for nitrogen atmosphere).

In order to understand the oxygen-induced faceting of Ir(210) we performed DFT calculations on clean and oxygen-covered surfaces of Ir(210), Ir(311) and Ir(110), which are involved in facet formation. Using these DFT calculations together with thermodynamics consideration (explained above) we were able to generate the corresponding O/Ir(210)-surface phase diagram and found that three-sided pyramids with (311) and (110) faces are indeed stabilized under temperature and pressure conditions applied in typical experiments.

• W. Chen, A. L. Stottlemyer, J. G. Chen, P. Kaghazchi, T. Jacob, T. E. Madey, R. A. Bartynski, Adsorption and Decomposition of NO on O-covered Planar and Faceted Ir(210), Surf. Sci., 603, 3136 (2009).
• T. Jacob, Electrochemical Surface Faceting of Re(11-21), Electrochim. Acta (special issue), 54, 5023 (2009).
• P. Kaghazchi, W. Chen, H. Wang, I. Ermanoski, T. E. Madey, T. Jacob, First Principle Studies on Oxygen-Induced Faceting of Ir(210), ACS Nano, 2, 1280 (2008).

Donato Fantauzzi
Institute of Electrochemistry
Ulm University

Dr. John A. Keith
Institute of Electrochemistry
Ulm University

Dr. Josef Anton
Institute of Electrochemistry
Ulm University

PD Dr. Timo Jacob
Institute of Electrochemistry
Ulm University

Platinum-based catalysts supported on carbon still serve as the most used electrocatalyst for the oxygen reduction reaction (ORR), which is one of the most important reactions in basic electrochemistry but also in various applications such as low-temperature polymer electrolyte fuel cells. In order to find a more active catalyst than pure Pt, in the past years various platinum alloys such as PtNi, PtCo, etc. with different atom ratios were synthesized and investigated. Since Pt is limited and rather expensive, these multi-metallic catalysts are not only saving precious metal but also show enhanced reactivity and selectivity.

Nanoparticles of these alloys even showed a higher tolerance against impurities. For example, the increased tolerance against methanol that could be of use in the polymer electrolyte membrane fuel cell (PEMFC) with methanol as hydrogen source.

Since not only the morphology and composition of nanoparticle catalysts but also their reactivity are strongly correlated to their size and shape, comparing Pt-based alloys with pure platinum catalysts requires a careful analysis of the aforementioned parameters: particle size, shape, and surface or bulk composition, respectively. These factors are directly correlated to the electronic and magnetic properties of each individual catalyst particle and are therefore determining their reactivity, selectivity, etc.

The present work is motivated by recent experiments on bi-metallic nanoparticles Pt-M (M= Ni, Co) supported on carbon XC-72. The catalyst particles, whose composition was varied from 1:1 over 2:1 to 3:1, were synthesized by a carbonyl chemical route. High dispersion of the catalyst particles was shown by transmission electron microscopy (TEM). The nanoparticles mostly had an average size of about 2.40±1.00nm with a Gauss-type size distribution. The bulk composition of the different particles was characterized by energy dispersive X-ray spectroscopy (EDX), while the corresponding surface composition was analyzed electrochemically using cyclic voltammetry and comparing the hydrogen adsorption behavior of the catalyst to that of pure platinum.

In this project we investigated the bulk and surface structure as well as the segregation behavior of these alloy nanoparticles using molecular dynamics (MD) with a self-optimized reactive forcefield. By applying subsequent simulated annealing cycles to particles of variable size and bulk composition direct comparison to the experimental results was possible.

• E. Favry, D. Wang, D. S. Su, N. Alonso-Vante, D. Fantauzzi, T. Jacob, in preparation.

Dr. Josef Anton
Institute of Electrochemistry
Ulm University

PD Dr. Timo Jacob
Institute of Electrochemistry
Ulm University

Dr. Valeria Pershina
GSI Helmholtzzentrum Darmstadt

Investigations of the chemical properties of the heaviest elements are among the most fundamental. They seek to probe the uppermost reaches of the Periodic Table of the elements, where the nuclei become extremely unstable and relativistic effects on electron shells are rather significant. Due to developments in experimental techniques, elements as heavy as 108 and 112 have been studied, while experiments on elements beyond 112 are planned.

In this context, the aim of this project is to evaluate the properties as well as the adsorption behavior of these superheavy elements on the detector surface. Due to the weakness of these interactions, predictions of physisorption of molecular species still remain a challenge for theoretical chemistry. Using our fully relativistic (four-component) density functional theory (4c-DFT) program in combination with adsorption models, we aim to predict adsorption energies Hads and temperatures Tads of group 4-8 halides and oxyhalides of the heaviest elements.

For instance, with calculated properties and the model of physisorption, we recently could determine adsorption enthalpies of different MO₄ (M=Ru, Os, and Hs) tetra-oxides on quartz. The obtained value for the adsorption of HsO₄ of -H_ads(HsO₄)=45.1 kJ/mol is in excellent agreement with experimental measurements (at the GSI in Darmstadt) of 46 kJ/mol. Furthermore, we find the following trend in the volatility of the group 8 tetroxides: RuO₄ < OsO₄ > HsO₄. This inversion in the trend was also observed for other properties, which is also in agreement with corresponding experimental results.

• V. Pershina, J. Anton, T. Jacob, Theoretical Predictions of Adsorption Behavior of Elements 112 and 114 and their Homologs Hg and Pb, J. Chem. Phys., 131, 084713 (2009).
• V. Pershina, J. Anton, T. Jacob, Electronic Structures and Properties of MAu and MOH, where M=Tl and Element 113, Chem. Phys. Lett., 480, 157 (2009).