
Numerical simulations are playing an increasingly important role in modern
science. In this work it is suggested to use a numerical study of the famous
perihelion motion of the planet Mercury (one of the prime observables
supporting Einsteins General Relativity) as a test case to teach numerical
simulations to high school students. The paper includes details about the
development of the code as well as a discussion of the visualization of the
results. In addition a method is discussed that allows one to estimate the size
of the effect as well as the uncertainty of the approach a priori. At the same
time this enables the students to double check the results found numerically.
The course is structured into a basic block and two further refinements which
aim at more advanced students.

The TREX is a recently introduced approach to sparse linear regression. In
contrast to most wellknown approaches to penalized regression, the TREX can be
formulated without the use of tuning parameters. In this paper, we establish
the first known prediction error bounds for the TREX. Additionally, we
introduce extensions of the TREX to a more general class of penalties, and we
provide a bound on the prediction error in this generalized setting. These
results deepen the understanding of TREX from a theoretical perspective and
provide new insights into penalized regression in general.

We consider the automatic verification of information flow security policies
of webbased workflows, such as conference submission systems like EasyChair.
Our workflow description language allows for loops, nondeterministic choice,
and an unbounded number of participating agents. The information flow policies
are specified in a temporal logic for hyperproperties. We show that the
verification problem can be reduced to the satisfiability of a formula of
firstorder lineartime temporal logic, and provide decidability results for
relevant classes of workflows and specifications. We report on experimental
results obtained with an implementation of our approach on a series of
benchmarks.

Leadhalide perovskites are promising materials for optoelectronic
applications. Recent reports indicated that their mechanical and electronic
properties are strongly affected by the lattice vibrations. Herein we report
farinfrared spectroscopy measurements of CH$_{3}$NH$_{3}$Pb(I/Br/Cl)$_{3}$
thin films and single crystals at room temperature and a detailed quantitative
analysis of the spectra. We find strong broadening and anharmonicity of the
lattice vibrations for all three halide perovskites, which indicates dynamic
disorder of the leadhalide cage at room temperature. We determine the
frequencies of the transversal and longitudinal optical phonons, and use them
to calculate, via appropriate models, the static dielectric constants, polaron
masses, electronphonon coupling constants, and upper limits for the
phononscattering limited charge carrier mobilities. Within the limitations of
the model used, we can place an upper limit of 200$\,$cm$^{2}$V$^{1}$s$^{1}$
for the room temperature charge carrier mobility in MAPbI$_{3}$ single
crystals. Our findings are important for the basic understanding of charge
transport processes and mechanical properties in metal halide perovskites.

The TREX is a recently introduced method for performing sparse
highdimensional regression. Despite its statistical promise as an alternative
to the lasso, squareroot lasso, and scaled lasso, the TREX is computationally
challenging in that it requires solving a nonconvex optimization problem. This
paper shows a remarkable result: despite the nonconvexity of the TREX problem,
there exists a polynomialtime algorithm that is guaranteed to find the global
minimum. This result adds the TREX to a very short list of nonconvex
optimization problems that can be globally optimized (principal components
analysis being a famous example). After deriving and developing this new
approach, we demonstrate that (i) the ability of the preexisting TREX heuristic
to reach the global minimum is strongly dependent on the difficulty of the
underlying statistical problem, (ii) the new polynomialtime algorithm for TREX
permits a novel variable ranking and selection scheme, (iii) this scheme can be
incorporated into a rule that controls the false discovery rate (FDR) of
included features in the model. To achieve this last aim, we provide an
extension of the results of Barber & Candes (2015) to establish that the
knockoff filter framework can be applied to the TREX. This investigation thus
provides both a rare case study of a heuristic for nonconvex optimization and
a novel way of exploiting nonconvexity for statistical inference.

We introduce an innovative threedimensional spectral approach (three band
parameter space with polyhedrons) that can be used for both qualitative and
quantitative analyses improving the characterization of surface heterogeneity
of (4) Vesta. It is an advanced and more robust methodology compared to the
standard twodimensional spectral approach (two band parameter space). The Dawn
Framing Camera (FC) color data obtained during High Altitude Mapping Orbit
(resolution ~ 60 m/pixel) is used. The main focus is on the
howarditeeucritediogenite (HED) lithologies containing carbonaceous
chondritic material, olivine, and impactmelt. The archived spectra of HEDs and
their mixtures, from RELAB, HOSERLab and USGS databases as well as our
laboratorymeasured spectra are used for this study. Threedimensional convex
polyhedrons are defined using computed band parameter values of laboratory
spectra. Polyhedrons based on the parameters of Band Tilt
(R0.92{\mu}m/R0.96{\mu}m), Mid Ratio
((R0.75{\mu}m/R0.83{\mu}m)/(R0.83{\mu}m/R0.92{\mu}m)) and reflectance at 0.55
{\mu}m (R0.55{\mu}m) are chosen for the present analysis. An algorithm in IDL
programming language is employed to assign FC data points to the respective
polyhedrons. The Arruntia region in the northern hemisphere of Vesta is
selected for a case study because of its geological and mineralogical
importance. We observe that this region is eucritedominated howarditic in
composition. The extent of olivinerich exposures within an area of 2.5 crater
radii is ~ 12% larger than the previous finding (Thangjam et al., 2014).
Lithologies of nearly pure CM2chondrite, olivine, glass, and diogenite are not
found in this region. Our spectral approach can be extended to the entire
Vestan surface to study the heterogeneous surface composition and its geology.

Lasso is a seminal contribution to highdimensional statistics, but it hinges
on a tuning parameter that is difficult to calibrate in practice. A partial
remedy for this problem is SquareRoot Lasso, because it inherently calibrates
to the noise variance. However, SquareRoot Lasso still requires the
calibration of a tuning parameter to all other aspects of the model. In this
study, we introduce TREX, an alternative to Lasso with an inherent calibration
to all aspects of the model. This adaptation to the entire model renders TREX
an estimator that does not require any calibration of tuning parameters. We
show that TREX can outperform crossvalidated Lasso in terms of variable
selection and computational efficiency. We also introduce a bootstrapped
version of TREX that can further improve variable selection. We illustrate the
promising performance of TREX both on synthetic data and on a recent
highdimensional biological data set that considers riboflavin production in B.
subtilis.

Side channels remain a challenge to information flow control and security in
modern computing platforms. Resource partitioning techniques that minimise the
number of shared resources among processes are often used to address this
challenge. In this work, we focus on multicore platforms and we demonstrate
that even seemingly strong isolation techniques based on dedicated cores and
memory can be circumvented through the use of thermal side channels.
Specifically, we show that the processor core temperature can be used both as a
side channel as well as a covert communication channel even when the system
implements strong spatial and temporal partitioning. Our experiments on an
x86based platform demonstrate covert thermal channels that achieve up to 12.5
bps and a weak side channel that can detect processes executed on neighbouring
cores. This work therefore shows a limitation in the isolation that can be
achieved on existing multicore systems.

We introduce Graphical TREX (GTREX), a novel method for graph estimation in
highdimensional Gaussian graphical models. By conducting neighborhood
selection with TREX, GTREX avoids tuning parameters and is adaptive to the
graph topology. We compare GTREX with standard methods on a new simulation
setup that is designed to assess accurately the strengths and shortcomings of
different methods. These simulations show that a neighborhood selection scheme
based on Lasso and an optimal (in practice unknown) tuning parameter
outperforms other standard methods over a large spectrum of scenarios.
Moreover, we show that GTREX can rival this scheme and, therefore, can provide
competitive graph estimation without the need for tuning parameter calibration.

Raman spectra of thin solid electrolyte films obtained by sputtering a
lithium sulfate target in nitrogen plasma are measured and compared to ab
initio electronic structure calculations for clusters composed of 28 atoms.
Agreement between measured and calculated spectra is obtained when oxygen atoms
are replaced by nitrogen atoms and when the nitrogen atoms form bonds with each
other. This suggests that the incorporation of nitrogen during the sputtering
process leads to structures in the film, which prevent crystallization of these
thin film salt glasses.

Using exact diagonalization we examine the response of several most prominent
fractional quantum Hall states to a single local impurity. The 2/3 singlet
state is found to be more inert than the polarized one in spite of its smaller
incompressibility gap. Based on its spinspin correlation functions we
interpret it as a liquid of electron pairs with opposite spin. A comparison of
different types of impurities, nonmagnetic and magnetic, is presented.

Based on molecular dynamics simulations of a lithium metasilicate glass we
study the potential of bond valence sum calculations to identify sites and
diffusion pathways of mobile Li ions in a glassy silicate network. We find that
the bond valence method is not well suitable to locate the sites, but allows
one to estimate the number of sites. Spatial regions of the glass determined as
accessible for the Li ions by the bond valence method can capture up to 90% of
the diffusion path. These regions however entail a significant fraction that
does not belong to the diffusion path. Because of this low specificity, care
must be taken to determine the diffusive motion of particles in amorphous
systems based on the bond valence method. The best identification of the
diffusion path is achieved by using a modified valence mismatch in the BV
analysis that takes into account that a Li ion favors equal partial valences to
the neighboring oxygen ions. Using this modified valence mismatch it is
possible to replace hard geometric constraints formerly applied in the BV
method. Further investigations are necessary to better understand the relation
between the complex structure of the host network and the ionic diffusion
paths.