Showing 1–19 of 19 results for author: Kaufmann, D

A causal evaluation of Bogota's cable car illustrates the transformative potential of mobile phone data for policy analysis

Authors: Elena Lutz, Sam Heroy, David Kaufmann, Neave O'Clery

Abstract: Transport infrastructure is vital to the functioning of cities. However, assessing the impact of transport policies on urban mobility and behaviour is often costly and time-consuming, particularly in low-data environments. We demonstrate how GPS location data derived from smartphones, available at high spatial granularity and in near real time, can be used to conduct causal impact evaluation, capt… ▽ More Transport infrastructure is vital to the functioning of cities. However, assessing the impact of transport policies on urban mobility and behaviour is often costly and time-consuming, particularly in low-data environments. We demonstrate how GPS location data derived from smartphones, available at high spatial granularity and in near real time, can be used to conduct causal impact evaluation, capturing broad mobility and interaction patterns beyond the scope of traditional sources such as surveys or administrative data. We illustrate this approach by assessing the impact of a 2018 cable car system connecting a peripheral low-income neighbourhood in Bogota to the bus rapid transit (BRT) system. Using a difference-in-differences event study design, we compare people living near the new cable car line to people living in similar areas near planned stations of a future line. We find that the cable car increased mobility by approximately 6.5 trips per person per month, with most trips within the local neighbourhood and to the city centre. However, we find limited evidence of increased encounters between the low income cable car residents and other socioeconomic groups, suggesting that while the cable car improved access to urban amenities and quality of life, its impact on everyday socioeconomic mixing was more modest. Our study highlights the potential of mobile phone data to capture previously hard-to-measure outcomes of transport policies, such as socioeconomic mixing. △ Less

Submitted 10 June, 2025; originally announced June 2025.

Participatory Assessment of Large Language Model Applications in an Academic Medical Center

Authors: Giorgia Carra, Bogdan Kulynych, François Bastardot, Daniel E. Kaufmann, Noémie Boillat-Blanco, Jean Louis Raisaro

Abstract: Although Large Language Models (LLMs) have shown promising performance in healthcare-related applications, their deployment in the medical domain poses unique challenges of ethical, regulatory, and technical nature. In this study, we employ a systematic participatory approach to investigate the needs and expectations regarding clinical applications of LLMs at Lausanne University Hospital, an acade… ▽ More Although Large Language Models (LLMs) have shown promising performance in healthcare-related applications, their deployment in the medical domain poses unique challenges of ethical, regulatory, and technical nature. In this study, we employ a systematic participatory approach to investigate the needs and expectations regarding clinical applications of LLMs at Lausanne University Hospital, an academic medical center in Switzerland. Having identified potential LLM use-cases in collaboration with thirty stakeholders, including clinical staff across 11 departments as well nursing and patient representatives, we assess the current feasibility of these use-cases taking into account the regulatory frameworks, data protection regulation, bias, hallucinations, and deployment constraints. This study provides a framework for a participatory approach to identifying institutional needs with respect to introducing advanced technologies into healthcare practice, and a realistic analysis of the technology readiness level of LLMs for medical applications, highlighting the issues that would need to be overcome LLMs in healthcare to be ethical, and regulatory compliant. △ Less

Submitted 9 December, 2024; originally announced January 2025.

Comments: MeurIPS GenAI for Health Workshop

Extracting Linear Relations from Gröbner Bases for Formal Verification of And-Inverter Graphs

Authors: Daniela Kaufmann, Jérémy Berthomieu

Abstract: Formal verification techniques based on computer algebra have proven highly effective for circuit verification. The circuit, given as an and-inverter graph, is encoded as a set of polynomials that automatically generates a Gröbner basis with respect to a lexicographic term ordering. Correctness of the circuit can be derived by computing the polynomial remainder of the specification. However, the m… ▽ More Formal verification techniques based on computer algebra have proven highly effective for circuit verification. The circuit, given as an and-inverter graph, is encoded as a set of polynomials that automatically generates a Gröbner basis with respect to a lexicographic term ordering. Correctness of the circuit can be derived by computing the polynomial remainder of the specification. However, the main obstacle is the monomial blow-up during the rewriting of the specification, which leads to the development of dedicated heuristics to overcome this issue. In this paper, we investigate an orthogonal approach and focus the computational effort on rewriting the Gröbner basis itself. Our goal is to ensure the basis contains linear polynomials that can be effectively used to rewrite the linearized specification. We first prove the soundness and completeness of this technique and then demonstrate its practical application. Our implementation of this method shows promising results on benchmarks related to multiplier verification. △ Less

Submitted 20 January, 2025; v1 submitted 25 November, 2024; originally announced November 2024.

Comments: Accepted at 31st International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS) 2025

PolySAT: Word-level Bit-vector Reasoning in Z3

Authors: Jakob Rath, Clemens Eisenhofer, Daniela Kaufmann, Nikolaj Bjørner, Laura Kovács

Abstract: PolySAT is a word-level decision procedure supporting bit-precise SMT reasoning over polynomial arithmetic with large bit-vector operations. The PolySAT calculus extends conflict-driven clause learning modulo theories with two key components: (i) a bit-vector plugin to the equality graph, and (ii) a theory solver for bit-vector arithmetic with non-linear polynomials. PolySAT implements dedicated p… ▽ More PolySAT is a word-level decision procedure supporting bit-precise SMT reasoning over polynomial arithmetic with large bit-vector operations. The PolySAT calculus extends conflict-driven clause learning modulo theories with two key components: (i) a bit-vector plugin to the equality graph, and (ii) a theory solver for bit-vector arithmetic with non-linear polynomials. PolySAT implements dedicated procedures to extract bit-vector intervals from polynomial inequalities. For the purpose of conflict analysis and resolution, PolySAT comes with on-demand lemma generation over non-linear bit-vector arithmetic. PolySAT is integrated into the SMT solver Z3 and has potential applications in model checking and smart contract verification where bit-blasting techniques on multipliers/divisions do not scale. △ Less

Submitted 7 June, 2024; originally announced June 2024.

Comments: Submitted to FMCAD 2024, https://fmcad.org/FMCAD24/

MCSat-based Finite Field Reasoning in the Yices2 SMT Solver

Authors: Thomas Hader, Daniela Kaufmann, Ahmed Irfan, Stéphane Graham-Lengrand, Laura Kovács

Abstract: This system description introduces an enhancement to the Yices2 SMT solver, enabling it to reason over non-linear polynomial systems over finite fields. Our reasoning approach fits into the model-constructing satisfiability (MCSat) framework and is based on zero decomposition techniques, which find finite basis explanations for theory conflicts over finite fields. As the MCSat solver within Yices2… ▽ More This system description introduces an enhancement to the Yices2 SMT solver, enabling it to reason over non-linear polynomial systems over finite fields. Our reasoning approach fits into the model-constructing satisfiability (MCSat) framework and is based on zero decomposition techniques, which find finite basis explanations for theory conflicts over finite fields. As the MCSat solver within Yices2 can support (and combine) several theories via theory plugins, we implemented our reasoning approach as a new plugin for finite fields and extended Yices2's frontend to parse finite field problems, making our implementation the first MCSat-based reasoning engine for finite fields. We present its evaluation on finite field benchmarks, comparing it against cvc5. Additionally, our work leverages the modular architecture of the MCSat solver in Yices2 to provide a foundation for the rapid implementation of further reasoning techniques for this theory. △ Less

Submitted 29 April, 2024; v1 submitted 27 February, 2024; originally announced February 2024.

Life span of SAT techniques

Authors: Mathias Fleury, Daniela Kaufmann

Abstract: In this paper we take 4 different features of the SAT solver CaDiCaL, blocked clause elimination, vivification, on-the-fly self subsumption, and increasing the bound of variable elimination over the SAT Competitions benchmarks between 2009 and 2022. We study these features by both activating them one-by-one and deactivating them one-by-one. We have three hypothesis regarding the experiments: (i) d… ▽ More In this paper we take 4 different features of the SAT solver CaDiCaL, blocked clause elimination, vivification, on-the-fly self subsumption, and increasing the bound of variable elimination over the SAT Competitions benchmarks between 2009 and 2022. We study these features by both activating them one-by-one and deactivating them one-by-one. We have three hypothesis regarding the experiments: (i) disabling features is always harmful; (ii) the life span of the techniques is limited; and (iii) features simulate each other. Our experiments cannot confirm any of the hypothesis. △ Less

Submitted 2 February, 2024; originally announced February 2024.

SMT Solving over Finite Field Arithmetic

Authors: Thomas Hader, Daniela Kaufmann, Laura Kovács

Abstract: Non-linear polynomial systems over finite fields are used to model functional behavior of cryptosystems, with applications in system security, computer cryptography, and post-quantum cryptography. Solving polynomial systems is also one of the most difficult problems in mathematics. In this paper, we propose an automated reasoning procedure for deciding the satisfiability of a system of non-linear… ▽ More Non-linear polynomial systems over finite fields are used to model functional behavior of cryptosystems, with applications in system security, computer cryptography, and post-quantum cryptography. Solving polynomial systems is also one of the most difficult problems in mathematics. In this paper, we propose an automated reasoning procedure for deciding the satisfiability of a system of non-linear equations over finite fields. We introduce zero decomposition techniques to prove that polynomial constraints over finite fields yield finite basis explanation functions. We use these explanation functions in model constructing satisfiability solving, allowing us to equip a CDCL-style search procedure with tailored theory reasoning in SMT solving over finite fields. We implemented our approach and provide a novel and effective reasoning prototype for non-linear arithmetic over finite fields. △ Less

Submitted 15 May, 2023; v1 submitted 24 April, 2023; originally announced May 2023.

A Statistical Review of Light Curves and the Prevalence of Contact Binaries in the Kuiper Belt

Authors: Mark R. Showalter, Susan D. Benecchi, Marc W. Buie, William M. Grundy, James T. Keane, Carey M. Lisse, Cathy B. Olkin, Simon B. Porter, Stuart J. Robbins, Kelsi N. Singer, Anne J. Verbiscer, Harold A. Weaver, Amanda M. Zangari, Douglas P. Hamilton, David E. Kaufmann, Tod R. Lauer, D. S. Mehoke, T. S. Mehoke, J. R. Spencer, H. B. Throop, J. W. Parker, S. Alan Stern

Abstract: We investigate what can be learned about a population of distant KBOs by studying the statistical properties of their light curves. Whereas others have successfully inferred the properties of individual, highly variable KBOs, we show that the fraction of KBOs with low amplitudes also provides fundamental information about a population. Each light curve is primarily the result of two factors: shape… ▽ More We investigate what can be learned about a population of distant KBOs by studying the statistical properties of their light curves. Whereas others have successfully inferred the properties of individual, highly variable KBOs, we show that the fraction of KBOs with low amplitudes also provides fundamental information about a population. Each light curve is primarily the result of two factors: shape and orientation. We consider contact binaries and ellipsoidal shapes, with and without flattening. After developing the mathematical framework, we apply it to the existing body of KBO light curve data. Principal conclusions are as follows. (1) When using absolute magnitude H as a proxy for size, it is more accurate to use the maximum of the light curve rather than the mean. (2) Previous investigators have noted that smaller KBOs have higher-amplitude light curves, and have interpreted this as evidence that they are systematically more irregular in shape than larger KBOs; we show that a population of flattened bodies with uniform proportions could also explain this result. (3) Our analysis indicates that prior assessments of the fraction of contact binaries in the Kuiper Belt may be artificially low. (4) The pole orientations of some KBOs can be inferred from observed changes in their light curves; however, these KBOs constitute a biased sample, whose pole orientations are not representative of the population overall. (5) Although surface topography, albedo patterns, limb darkening, and other surface properties can affect individual light curves, they do not have a strong influence on the statistics overall. (6) Photometry from the OSSOS survey is incompatible with previous results and its statistical properties defy easy interpretation. We also discuss the promise of this approach for the analysis of future, much larger data sets such as the one anticipated from the Rubin Observatory. △ Less

Submitted 7 May, 2021; originally announced May 2021.

Journal ref: Icarus 356, id. 114098 (2021)

Initial results from the New Horizons exploration of 2014 MU69, a small Kuiper Belt Object

Authors: S. A. Stern, H. A. Weaver, J. R. Spencer, C. B. Olkin, G. R. Gladstone, W. M. Grundy, J. M. Moore, D. P. Cruikshank, H. A. Elliott, W. B. McKinnon, J. Wm. Parker, A. J. Verbiscer, L. A. Young, D. A. Aguilar, J. M. Albers, T. Andert, J. P. Andrews, F. Bagenal, M. E. Banks, B. A. Bauer, J. A. Bauman, K. E. Bechtold, C. B. Beddingfield, N. Behrooz, K. B. Beisser , et al. (180 additional authors not shown)

Abstract: The Kuiper Belt is a distant region of the Solar System. On 1 January 2019, the New Horizons spacecraft flew close to (486958) 2014 MU69, a Cold Classical Kuiper Belt Object, a class of objects that have never been heated by the Sun and are therefore well preserved since their formation. Here we describe initial results from these encounter observations. MU69 is a bi-lobed contact binary with a fl… ▽ More The Kuiper Belt is a distant region of the Solar System. On 1 January 2019, the New Horizons spacecraft flew close to (486958) 2014 MU69, a Cold Classical Kuiper Belt Object, a class of objects that have never been heated by the Sun and are therefore well preserved since their formation. Here we describe initial results from these encounter observations. MU69 is a bi-lobed contact binary with a flattened shape, discrete geological units, and noticeable albedo heterogeneity. However, there is little surface color and compositional heterogeneity. No evidence for satellites, ring or dust structures, gas coma, or solar wind interactions was detected. By origin MU69 appears consistent with pebble cloud collapse followed by a low velocity merger of its two lobes. △ Less

Submitted 2 April, 2020; originally announced April 2020.

Comments: 43 pages, 8 figure

Journal ref: Science 364, eaaw9771 (2019)

The Geology and Geophysics of Kuiper Belt Object (486958) Arrokoth

Authors: J. R. Spencer, S. A. Stern, J. M. Moore, H. A. Weaver, K. N. Singer, C. B. Olkin, A. J. Verbiscer, W. B. McKinnon, J. Wm. Parker, R. A. Beyer, J. T. Keane, T. R. Lauer, S. B. Porter, O. L. White, B. J. Buratti, M. R. El-Maarry, C. M. Lisse, A. H. Parker, H. B. Throop, S. J. Robbins, O. M. Umurhan, R. P. Binzel, D. T. Britt, M. W. Buie, A. F. Cheng , et al. (53 additional authors not shown)

Abstract: The Cold Classical Kuiper Belt, a class of small bodies in undisturbed orbits beyond Neptune, are primitive objects preserving information about Solar System formation. The New Horizons spacecraft flew past one of these objects, the 36 km long contact binary (486958) Arrokoth (2014 MU69), in January 2019. Images from the flyby show that Arrokoth has no detectable rings, and no satellites (larger t… ▽ More The Cold Classical Kuiper Belt, a class of small bodies in undisturbed orbits beyond Neptune, are primitive objects preserving information about Solar System formation. The New Horizons spacecraft flew past one of these objects, the 36 km long contact binary (486958) Arrokoth (2014 MU69), in January 2019. Images from the flyby show that Arrokoth has no detectable rings, and no satellites (larger than 180 meters diameter) within a radius of 8000 km, and has a lightly-cratered smooth surface with complex geological features, unlike those on previously visited Solar System bodies. The density of impact craters indicates the surface dates from the formation of the Solar System. The two lobes of the contact binary have closely aligned poles and equators, constraining their accretion mechanism. △ Less

Submitted 1 April, 2020; originally announced April 2020.

Journal ref: Science, 367, aay3999 (2020)

High-Fidelity Preservation of Quantum Information During Trapped-Ion Transport

Authors: Peter Kaufmann, Timm F. Gloger, Delia Kaufmann, Michael Johanning, Christof Wunderlich

Abstract: A promising scheme for building scalable quantum simulators and computers is the synthesis of a scalable system using interconnected subsystems. A prerequisite for this approach is the ability to faithfully transfer quantum information between subsystems. With trapped atomic ions, this can be realized by transporting ions with quantum information encoded into their internal states. Here, we measur… ▽ More A promising scheme for building scalable quantum simulators and computers is the synthesis of a scalable system using interconnected subsystems. A prerequisite for this approach is the ability to faithfully transfer quantum information between subsystems. With trapped atomic ions, this can be realized by transporting ions with quantum information encoded into their internal states. Here, we measure with high precision the fidelity of quantum information encoded into hyperfine states of a 171Yb+ ion during ion transport in a microstructured Paul trap. Ramsey spectroscopy of the ion's internal state is interleaved with up to 4000 transport operations over a distance of 280 μm each taking 12.8 μs. We obtain a state fidelity of 99.9994(+6/-7)per ion transport. △ Less

Submitted 22 January, 2018; v1 submitted 7 April, 2017; originally announced April 2017.

Comments: Supplemental Material included on page 6ff

Journal ref: Phys. Rev. Lett. 120, 010501 (2018)

The Small Satellites of Pluto as Observed by New Horizons

Authors: H. A. Weaver, M. W. Buie, B. J. Buratti, W. M. Grundy, T. R. Lauer, C. B. Olkin, A. H. Parker, S. B. Porter, M. R. Showalter, J. R. Spencer, S. A. Stern, A. J. Verbiscer, W. B. McKinnon, J. M. Moore, S. J. Robbins, P. Schenk, K. N. Singer, O. S. Barnouin, A. F. Cheng, C. M. Ernst, C. M. Lisse, D. E. Jennings, A. W. Lunsford, D. C. Reuter, D. P. Hamilton , et al. (26 additional authors not shown)

Abstract: The New Horizons mission has provided resolved measurements of Pluto's moons Styx, Nix, Kerberos, and Hydra. All four are small, with equivalent spherical diameters of $\approx$40 km for Nix and Hydra and ~10 km for Styx and Kerberos. They are also highly elongated, with maximum to minimum axis ratios of $\approx$2. All four moons have high albedos ( $\approx$50-90 %) suggestive of a water-ice sur… ▽ More The New Horizons mission has provided resolved measurements of Pluto's moons Styx, Nix, Kerberos, and Hydra. All four are small, with equivalent spherical diameters of $\approx$40 km for Nix and Hydra and ~10 km for Styx and Kerberos. They are also highly elongated, with maximum to minimum axis ratios of $\approx$2. All four moons have high albedos ( $\approx$50-90 %) suggestive of a water-ice surface composition. Crater densities on Nix and Hydra imply surface ages $\gtrsim$ 4 Ga. The small moons rotate much faster than synchronous, with rotational poles clustered nearly orthogonal to the common pole directions of Pluto and Charon. These results reinforce the hypothesis that the small moons formed in the aftermath of a collision that produced the Pluto-Charon binary. △ Less

Submitted 18 April, 2016; originally announced April 2016.

Comments: in Science 351, aae0030 (2016)

The Pluto system: Initial results from its exploration by New Horizons

Authors: S. A. Stern, F. Bagenal, K. Ennico, G. R. Gladstone, W. M. Grundy, W. B. McKinnon, J. M. Moore, C. B. Olkin, J. R. Spencer, H. A. Weaver, L. A. Young, T. Andert, J. Andrews, M. Banks, B. Bauer, J. Bauman, O. S. Barnouin, P. Bedini, K. Beisser, R. A. Beyer, S. Bhaskaran, R. P. Binzel, E. Birath, M. Bird, D. J. Bogan , et al. (126 additional authors not shown)

Abstract: The Pluto system was recently explored by NASA's New Horizons spacecraft, making closest approach on 14 July 2015. Pluto's surface displays diverse landforms, terrain ages, albedos, colors, and composition gradients. Evidence is found for a water-ice crust, geologically young surface units, surface ice convection, wind streaks, volatile transport, and glacial flow. Pluto's atmosphere is highly ext… ▽ More The Pluto system was recently explored by NASA's New Horizons spacecraft, making closest approach on 14 July 2015. Pluto's surface displays diverse landforms, terrain ages, albedos, colors, and composition gradients. Evidence is found for a water-ice crust, geologically young surface units, surface ice convection, wind streaks, volatile transport, and glacial flow. Pluto's atmosphere is highly extended, with trace hydrocarbons, a global haze layer, and a surface pressure near 10 microbars. Pluto's diverse surface geology and long-term activity raise fundamental questions about how small planets remain active many billions of years after formation. Pluto's large moon Charon displays tectonics and evidence for a heterogeneous crustal composition, its north pole displays puzzling dark terrain. Small satellites Hydra and Nix have higher albedos than expected. △ Less

Submitted 26 October, 2015; originally announced October 2015.

Comments: 8 pages - Initial Science paper from NASA's New Horizons Pluto Encounter

Journal ref: Science, vol 350, 292, 2015

Bayesian Markov Blanket Estimation

Authors: Dinu Kaufmann, Sonali Parbhoo, Aleksander Wieczorek, Sebastian Keller, David Adametz, Volker Roth

Abstract: This paper considers a Bayesian view for estimating a sub-network in a Markov random field. The sub-network corresponds to the Markov blanket of a set of query variables, where the set of potential neighbours here is big. We factorize the posterior such that the Markov blanket is conditionally independent of the network of the potential neighbours. By exploiting this blockwise decoupling, we deriv… ▽ More This paper considers a Bayesian view for estimating a sub-network in a Markov random field. The sub-network corresponds to the Markov blanket of a set of query variables, where the set of potential neighbours here is big. We factorize the posterior such that the Markov blanket is conditionally independent of the network of the potential neighbours. By exploiting this blockwise decoupling, we derive analytic expressions for posterior conditionals. Subsequently, we develop an inference scheme which makes use of the factorization. As a result, estimation of a sub-network is possible without inferring an entire network. Since the resulting Gibbs sampler scales linearly with the number of variables, it can handle relatively large neighbourhoods. The proposed scheme results in faster convergence and superior mixing of the Markov chain than existing Bayesian network estimation techniques. △ Less

Submitted 6 October, 2015; originally announced October 2015.

Comments: 16 pages, 5 figures

Ion trajectory analysis for micromotion minimization and the measurement of small forces

Authors: Timm F. Gloger, Peter Kaufmann, Delia Kaufmann, M. Tanveer Baig, Thomas Collath, Michael Johanning, Christof Wunderlich

Abstract: For experiments with ions confined in a Paul trap, minimization of micromotion is often essential. In order to diagnose and compensate micromotion we have implemented a method that allows for finding the position of the radio-frequency (RF) null reliably and efficiently, in principle, without any variation of direct current (DC) voltages. We apply a trap modulation technique and focus-scanning ima… ▽ More For experiments with ions confined in a Paul trap, minimization of micromotion is often essential. In order to diagnose and compensate micromotion we have implemented a method that allows for finding the position of the radio-frequency (RF) null reliably and efficiently, in principle, without any variation of direct current (DC) voltages. We apply a trap modulation technique and focus-scanning imaging to extract 3d ion positions for various RF drive powers and analyze the power dependence of the equilibrium position of the trapped ion. In contrast to commonly used methods, the search algorithm directly makes use of a physical effect as opposed to efficient numerical minimization in a high-dimensional parameter space. Using this method we achieve a compensation of the residual electric field that causes excess micromotion in the radial plane of a linear Paul trap down to 0.09V/m. Additionally, the precise position determination of a single harmonically trapped ion employed here can also be utilized for the detection of small forces. This is demonstrated by determining light pressure forces with a precision of 135yN. As the method is based on imaging only, it can be applied to several ions simultaneously and is independent of laser direction and thus well-suited to be used with, for example, surface-electrode traps. △ Less

Submitted 4 November, 2015; v1 submitted 24 March, 2015; originally announced March 2015.

Comments: 22 pages, 9 figures

Journal ref: Phys. Rev. A 92, 043421 (2015)

Temporal Variability of Lunar Exospheric Helium During January 2012 from LRO/LAMP

Authors: Paul D. Feldman, Dana M. Hurley, Kurt D. Retherford, G. Randall Gladstone, S. Alan Stern, Wayne Pryor, Joel Wm. Parker, David E. Kaufmann, Michael W. Davis, Maarten Versteeg, LAMP team

Abstract: We report observations of the lunar helium exosphere made between December 29, 2011, and January 26, 2012, with the Lyman Alpha Mapping Project (LAMP) ultraviolet spectrograph on NASA's Lunar Reconnaissance Orbiter Mission (LRO). The observations were made of resonantly scattered He I 584 from illuminated atmosphere against the dark lunar surface on the dawn side of the terminator. We find no or l… ▽ More We report observations of the lunar helium exosphere made between December 29, 2011, and January 26, 2012, with the Lyman Alpha Mapping Project (LAMP) ultraviolet spectrograph on NASA's Lunar Reconnaissance Orbiter Mission (LRO). The observations were made of resonantly scattered He I 584 from illuminated atmosphere against the dark lunar surface on the dawn side of the terminator. We find no or little variation of the derived surface He density with latitude but day-to-day variations that likely reflect variations in the solar wind alpha flux. The 5-day passage of the Moon through the Earth's magnetotail results in a factor of two decrease in surface density, which is well explained by model simulations. △ Less

Submitted 14 September, 2012; originally announced September 2012.

Comments: 21 pages, 5 figures, 3 supplementary figures, accepted for publication in Icarus

Thick-film technology for ultra high vacuum interfaces of micro-structured traps

Authors: Delia Kaufmann, Thomas Collath, M. Tanveer Baig, Peter Kaufmann, Eman Asenwar, Michael Johanning, Christof Wunderlich

Abstract: We adopt thick-film technology to produce ultra high vacuum compatible interfaces for electrical signals. These interfaces permit voltages of hundreds of Volts and currents of several Amperes and allow for very compact vacuum setups, useful in quantum optics in general, and especially for quantum information and quantum simulations using miniaturized traps for ions or neutral atoms. Such printed c… ▽ More We adopt thick-film technology to produce ultra high vacuum compatible interfaces for electrical signals. These interfaces permit voltages of hundreds of Volts and currents of several Amperes and allow for very compact vacuum setups, useful in quantum optics in general, and especially for quantum information and quantum simulations using miniaturized traps for ions or neutral atoms. Such printed circuits can also be useful as pure in-vacuum devices. We demonstrate a specific interface, which provides eleven current feedthroughs, more than 70 dc feedthroughs and a feedthrough for radio frequencies. We achieve a pressure in the low 1e-11mbar range and demonstrate the full functionality of the interface by trapping chains of cold ytterbium ions, which requires all of the signals mentioned above being present. In addition, a versatile multi-channel device for supplying precise time-dependent voltages has been developed. △ Less

Submitted 26 January, 2012; v1 submitted 20 July, 2011; originally announced July 2011.

Comments: 8 pages, 7 figures added references to recent literature about microwave anipulated ions and fast shuttling

Journal ref: Applied Physics B 107 (2012) 935-943

Intrinsic and non-local Gilbert damping in polycrystalline nickel studied by Ti:Sapphire laser fs spectroscopy

Authors: J. Walowski, M. Djordjevic Kaufmann, B. Lenk, C. Hamann, J. McCord, M. Münzenberg

Abstract: The use of femtosecond laser pulses generated by a Ti:Sapphire laser system allows us to gain an insight into the magnetization dynamics on time scales from sub-picosecond up to 1 ns directly in the time domain. This experimental technique is used to excite a polycrystalline nickel (Ni) film optically and probe the dynamics afterwards. Different spin wave modes (the Kittel mode, perpendicular st… ▽ More The use of femtosecond laser pulses generated by a Ti:Sapphire laser system allows us to gain an insight into the magnetization dynamics on time scales from sub-picosecond up to 1 ns directly in the time domain. This experimental technique is used to excite a polycrystalline nickel (Ni) film optically and probe the dynamics afterwards. Different spin wave modes (the Kittel mode, perpendicular standing spin-wave modes (PSSW) and dipolar spin-wave modes (Damon-Eshbach modes)) are identified as the Ni thickness is increased. The Kittel mode allows determination of the Gilbert damping parameter alpha extracted from the magnetization relaxation time tau_alpha. The non-local damping by spin currents emitted into a non-magnetic metallic layer of vanadium (V), palladium (Pd) and the rare earth dysprosium (Dy) are studied for wedge-shaped Ni films 1 nm-30 nm. The damping parameter increases from alpha=0.045 intrinsic for nickel to alpha>0.10 for the heavy materials, such as Pd and Dy, for the thinnest Ni films below 10 nm thickness. Also, for the thinnest reference Ni film thickness, an increased magnetic damping below 4 nm is observed. The origin of this increase is discussed within the framework of line broadening by locally different precessional frequencies within the laser spot region. △ Less

Submitted 22 May, 2008; originally announced May 2008.

Elastic Properties of Nematic Liquid Crystals Formed by Living and Migrating Cells

Authors: Ralf Kemkemer, Dieter Kling, Dieter Kaufmann, Hans Gruler

Abstract: In culture migrating and interacting amoeboid cells can form nematic liquid crystal phases. A polar nematic liquid crystal is formed if the interaction has a polar symmetry. One type of white blood cells (granulocytes) form clusters where the cells are oriented towards the center. The core of such an orientational defect (disclination) is either a granulocyte forced to be in an isotropic state o… ▽ More In culture migrating and interacting amoeboid cells can form nematic liquid crystal phases. A polar nematic liquid crystal is formed if the interaction has a polar symmetry. One type of white blood cells (granulocytes) form clusters where the cells are oriented towards the center. The core of such an orientational defect (disclination) is either a granulocyte forced to be in an isotropic state or another cell type like a monocyte. An apolar nematic liquid crystal is formed if the interaction has an apolar symmetry. Different cell types like human melanocytes (=pigment cells of the skin), human fibroblasts (=connective tissue cells), human osteoblasts (=bone cells), human adipocytes (= fat cells) etc., form an apolar nematic liquid crystal. The orientational elastic energy is derived and the orientational defects (disclination) of nematic liquid crystals are investigated. The existence of half-numbered disclinations show that the nematic phase has an apolar symmetry. The density- and order parameter dependence of the orientational elastic constants and their absolute values are estimated. From the defect structure, one finds that the splay elastic constant is smaller than the bend elastic constant (melanocytes). The core of a disclination is either a cell free space or occupied by non oriented cells (isotropic phase) or occupied by a cell with a different symmetry or occupied by another cell type. △ Less

Submitted 25 November, 1998; originally announced November 1998.