title: Hydrodynamic instability in eccentric astrophysical discs

abstract: Eccentric Keplerian discs are believed to be unstable to three-dimensional hydrodynamical instabilities driven by the time-dependence of fluid properties around an orbit. These instabilities could lead to small-scale turbulence, and ultimately modify the global disc properties. We use a local model of an eccentric disc, derived in a companion paper, to compute the nonlinear vertical ("breathing mode") oscillations of the disc. We then analyse their linear stability to locally axisymmetric disturbances for any disc eccentricity and eccentricity gradient using a numerical Floquet method. In the limit of small departures from a circular reference orbit, the instability of an isothermal disc is explained analytically. We also study analytically the small-scale instability of an eccentric neutrally stratified polytropic disc with any polytropic index using a WKB approximation. We find that eccentric discs are generically unstable to the parametric excitation of small-scale inertial waves. The nonlinear evolution of these instabilities should be studied in numerical simulations, where we expect them to lead to a decay of the disc eccentricity and eccentricity gradient as well as to induce additional transport and mixing. Our results highlight that it is essential to consider the three-dimensional structure of eccentric discs, and their resulting vertical oscillatory flows, in order to correctly capture their evolution.


title: On terminating improvement in two-player games

abstract: A real-valued game has the finite improvement property (FIP), if starting from an arbitrary strategy profile and letting the players change strategies to increase their individual payoffs in a sequential but non-deterministic order always reaches a Nash equilibrium. E.g., potential games have the FIP. Many of them have the FIP by chance nonetheless, since modifying even a single payoff may ruin the property. This article characterises (in quadratic time) the class of the finite games where FIP not only holds but is also preserved when modifying all the occurrences of an arbitrary payoff. The characterisation relies on a pattern-matching sufficient condition for games (finite or infinite) to enjoy the FIP, and is followed by an inductive description of this class. A real-valued game is weakly acyclic if the improvement described above can reach a Nash equilibrium. This article characterises the finite such games using Markov chains and almost sure convergence to equilibrium. It also gives an inductive description of the two-player such games.


title: Observational constraints on spinning, relativistic Bose-Einstein condensate stars

abstract: Bose-Einstein condensates (BECs) have been proposed as candidate states of matter for the interior of neutron stars. Specifically, Chavanis and Harko obtained the mass-radius relation for a BEC star and proposed that the recently discovered neutron stars with masses around 2$M_\odot$ are BEC stars. They employed a barotropic equation of state (EOS), with one free parameter, that was first found by Colpi, Wasserman, and Shapiro (CSW), to describe them and derive stable equilibrium configurations of spinning BEC stars in General Relativity. In this work we show that while it is true that BECs allow for compact object masses as heavy as the heaviest observed ones, such stars cannot simultaneously have radii that are small enough to be consistent with the latest observations, in spite of the flexibility available in the EOS in the form of the free parameter. In fact, our conclusion applies to any spinning relativistic boson star that obeys the CSW EOS.


title: A strategy for the design of skyrmion racetrack memories

abstract: Magnetic storage based on racetrack memory is very promising for the design of ultra-dense, low-cost and low-power storage technology. Information can be coded in a magnetic region between two domain walls or, as predicted recently, in topological magnetic objects known as skyrmions. Here, we show the technological advantages and limitations of using Bloch and Neel skyrmions manipulated by spin current generated within the ferromagnet or via the spin-Hall effect arising from a non-magnetic heavy metal underlayer. We found that the Neel skyrmion moved by the spin-Hall effect is a very promising strategy for technological implementation of the next generation of skyrmion racetrack memories (zero field, high thermal stability, and ultra-dense storage). We employed micromagnetics reinforced with an analytical formulation of skyrmion dynamics that we developed from the Thiele equation. We identified that the excitation, at high currents, of a breathing mode of the skyrmion limits the maximal velocity of the memory.


title: Irreducible recurrence, ergodicity, and extremality of invariant measures for resolvents

abstract: We analyze the transience, recurrence, and irreducibility properties of general sub- Markovian resolvents of kernels and their duals, with respect to a fixed sub-invariant measure $m$. We give a unifying characterization of the invariant functions, revealing the fact that an $L^p$-integrable function is harmonic if and only if it is harmonic with respect to the weak dual resolvent. Our approach is based on potential theoretical techniques for resolvents in weak duality. We prove the equivalence between the $m$-irreducible recurrence of the resolvent and the extremality of $m$ in the set of all invariant measures, and we apply this result to the extremality of Gibbs states. We also show that our results can be applied to non-symmetric Dirichlet forms, in general and in concrete situations. A second application is the extension of the so called Fukushima ergodic theorem for symmetric Dirichlet forms to the case of sub-Markovian resolvents of kernels.


title: The viscoelastic properties of chromatin and the nucleoplasm revealed by scale-dependent protein mobility

abstract: The eukaryotic cell nucleus harbors the DNA genome that is organized in a dynamic chromatin network and embedded in a viscous crowded fluid. This environment directly affects enzymatic reactions and target search processes that access the DNA sequence information. However, its physical properties as a reaction medium are poorly understood. Here, we exploit mobility measurements of differently sized inert green fluorescent tracer proteins to characterize the viscoelastic properties of the nuclear interior of a living human cell. We find that it resembles a viscous fluid on small and large scales, but appears viscoelastic on intermediate scales that change with protein size. Our results are consistent with simulations of diffusion through polymers and suggest that chromatin forms a random obstacle network rather than a self-similar structure with fixed fractal dimension. By calculating how long molecules remember their previous position in dependence on their size, we evaluate how the nuclear environment affects search processes of chromatin targets.


title: Transverse ratchet effect and superconducting vortices: Simulation and experiment

abstract: A transverse ratchet effect has been measured in magnetic/superconducting hybrid films fabricated by electron beam lithography and magnetron sputtering techniques. The samples are Nb films grown on top of an array of Ni nanotriangles. Injecting an ac current parallel to the triangle reflection symmetry axis yields an output dc voltage perpendicular to the current, due to a net motion of flux vortices in the superconductor. The effect is reproduced by numerical simulations of vortices as Langevin particles with realistic parameters. Simulations provide an intuitive picture of the ratchet mechanism, revealing the fundamental role played by the random intrinsic pinning of the superconductor.


title: A central limit theorem for general orthogonal array based space-filling designs

abstract: Orthogonal array based space-filling designs (Owen [Statist. Sinica 2 (1992a) 439-452]; Tang [J. Amer. Statist. Assoc. 88 (1993) 1392-1397]) have become popular in computer experiments, numerical integration, stochastic optimization and uncertainty quantification. As improvements of ordinary Latin hypercube designs, these designs achieve stratification in multi-dimensions. If the underlying orthogonal array has strength $t$, such designs achieve uniformity up to $t$ dimensions. Existing central limit theorems are limited to these designs with only two-dimensional stratification based on strength two orthogonal arrays. We develop a new central limit theorem for these designs that possess stratification in arbitrary multi-dimensions associated with orthogonal arrays of general strength. This result is useful for building confidence statements for such designs in various statistical applications.


title: Preconditioning the prior to overcome saturation in Bayesian inverse problems

abstract: We study Bayesian inference in statistical linear inverse problems with Gaussian noise and priors in Hilbert space. We focus our interest on the posterior contraction rate in the small noise limit. Existing results suffer from a certain saturation phenomenon, when the data generating element is too smooth compared to the smoothness inherent in the prior. We show how to overcome this saturation in an empirical Bayesian framework by using a non-centered data-dependent prior. The center is obtained from a preconditioning regularization step, which provides us with additional information to be used in the Bayesian framework. We use general techniques known from regularization theory. To highlight the significance of the findings we provide several examples. In particular, our approach allows to obtain and, using preconditioning improve after saturation, minimax rates of contraction established in previous studies. We also establish minimax contraction rates in cases which have not been considered so far.


title: Optimal sequence for Parrondo games

abstract: An algorithm based on backward induction is devised in order to compute the optimal sequence of games to be played in Parrondo games. The algorithm can be used to find the optimal sequence for any finite number of turns or in the steady state, showing that ABABB... is the sequence with the highest steady state average gain. The algorithm can also be generalised to find the optimal adaptive strategy in a multi-player version of the games, where a finite number of players may choose, at every turn, the game the whole ensemble should play.


title: Unified Heat Kernel Regression for Diffusion, Kernel Smoothing and Wavelets on Manifolds and Its Application to Mandible Growth Modeling in CT Images

abstract: We present a novel kernel regression framework for smoothing scalar surface data using the Laplace-Beltrami eigenfunctions. Starting with the heat kernel constructed from the eigenfunctions, we formulate a new bivariate kernel regression framework as a weighted eigenfunction expansion with the heat kernel as the weights. The new kernel regression is mathematically equivalent to isotropic heat diffusion, kernel smoothing and recently popular diffusion wavelets. Unlike many previous partial differential equation based approaches involving diffusion, our approach represents the solution of diffusion analytically, reducing numerical inaccuracy and slow convergence. The numerical implementation is validated on a unit sphere using spherical harmonics. As an illustration, we have applied the method in characterizing the localized growth pattern of mandible surfaces obtained in CT images from subjects between ages 0 and 20 years by regressing the length of displacement vectors with respect to the template surface.


title: MoS2 Transistors Operating at Gigahertz Frequencies

abstract: The presence of a direct band gap and an ultrathin form factor has caused a considerable interest in two-dimensional (2D) semiconductors from the transition metal dichalcogenides (TMD) family with molybdenum disulphide (MoS2) being the most studied representative of this family of materials. While diverse electronic elements, logic circuits and optoelectronic devices have been demonstrated using ultrathin MoS2, very little is known about their performance at high frequencies where commercial devices are expected to function. Here, we report on top-gated MoS2 transistors operating in the gigahertz range of frequencies. Our devices show cutoff frequencies reaching 6 GHz. The presence of a band gap also gives rise to current saturation, allowing power and voltage gain, all in the gigahertz range. This shows that MoS2 could be an interesting material for realizing high-speed amplifiers and logic circuits with device scaling expected to result in further improvement of performance. Our work represents the first step in the realization of high-frequency analog and digital circuits based on two-dimensional semiconductors.


title: Noncrossing partitions, fully commutative elements and bases of the Temperley-Lieb algebra

abstract: We introduce a new basis of the Temperley-Lieb algebra. It is defined using a bijection between noncrossing partitions and fully commutative elements together with a basis introduced by Zinno, which is obtained by mapping the simple elements of the Birman-Ko-Lee braid monoid to the Temperley-Lieb algebra. The combinatorics of the new basis involve the Bruhat order restricted to noncrossing partitions. As an application we can derive properties of the coefficients of the base change matrix between Zinno's basis and the well-known diagram or Kazhdan-Lusztig basis of the Temperley-Lieb algebra. In particular, we give closed formulas for some of the coefficients of the expansion of an element of the diagram basis in the Zinno basis.


title: Plasmonic Meta-Surface for Efficient Ultra-Short Pulse Laser-Driven Particle Acceleration

abstract: A laser-driven particle accelerator based on plasmonic nano-antennas is proposed and analyzed. The concept utilizes the enhancement and localization of the electric field by nano-antennas to maximize the acceleration gradient and to overcome potential metallic losses. The structure is optimized for accelerating relativistic particles using a femto-second laser source operating at 800nm, and is shown to support the bandwidth of ultra-short laser pulses (up to 16fsec) while providing a high acceleration gradient potentially reaching 11.6GV/m.


title: The Making of Cloud Applications An Empirical Study on Software Development for the Cloud

abstract: Cloud computing is gaining more and more traction as a deployment and provisioning model for software. While a large body of research already covers how to optimally operate a cloud system, we still lack insights into how professional software engineers actually use clouds, and how the cloud impacts development practices. This paper reports on the first systematic study on how software developers build applications in the cloud. We conducted a mixed-method study, consisting of qualitative interviews of 25 professional developers and a quantitative survey with 294 responses. Our results show that adopting the cloud has a profound impact throughout the software development process, as well as on how developers utilize tools and data in their daily work. Among other things, we found that (1) developers need better means to anticipate runtime problems and rigorously define metrics for improved fault localization and (2) the cloud offers an abundance of operational data, however, developers still often rely on their experience and intuition rather than utilizing metrics. From our findings, we extracted a set of guidelines for cloud development and identified challenges for researchers and tool vendors.


title: Network cluster detecting in associated bi-graph view

abstract: We find there is relationship between the associated bigraph and the cluster (or community) detecting on network. By imbedding the associated bigraph of some network (suppose it has cluster structures) into some space, we can identify the clusters on this network, which is a new method for network cluster detecting. And this method, of which the physical meaning is clear and the time complexity is acceptable, may provide us a new point to understand the structure and character of networks. In this paper, We test the methods on serval computer-generated networks and real networks. A computer-generated network with 128 vertexes and the Zachary Network, which presents the structure of a karate club, can be partitioned correctly by these methods. And the Dolphin Network, which presents the relationship between 62 dolphins on the coast of New Zealand, is partitioned reasonably.


title: Colours of black holes: infrared flares from the hot accretion disc in XTE J1550-564

abstract: Outbursts of the black hole (BH) X-ray binaries are dramatic events occurring in our Galaxy approximately once a year. They are detected by the X-ray telescopes and often monitored at longer wavelengths. We analyse the X-ray and optical/infrared (OIR) light curves of the BH binary XTE J1550-564 during the 2000 outburst. By using the observed extreme colours as well as the characteristic decay time-scales of the OIR and X-ray light curves, we put strong constraints on the extinction towards the source. We accurately separate the contributions to the OIR flux of the irradiated accretion disc and a non-thermal component. We show that the OIR non-thermal component appears during the X-ray state transitions both during the rising and the decaying part of the outburst at nearly the same X-ray hardness but at luminosities differing by a factor of 3. The line marking the quenching/recovery of the non-thermal component at the X-ray hardness-flux diagram seems to coincide with the "jet line" that marks the presence of the compact radio jet. The inferred spectral shape and the evolution of the non-thermal component during the outburst, however, are not consistent with the jet origin, but are naturally explained in terms of the hybrid hot flow scenario, where non-thermal electrons emit synchrotron radiation in the OIR band. This implies a close, possibly causal connection between the presence of the hot flow and the compact jet. We find that the non-thermal component is hardening during the hard state at the decaying stage of the outburst, which indicates that the acceleration efficiency is a steep function of radius at low accretion rate.


title: Efficient Algorithms for the Consensus Decision Problem

abstract: We address the problem of determining if a discrete time switched consensus system converges for any switching sequence and that of determining if it converges for at least one switching sequence. For these two problems, we provide necessary and sufficient conditions that can be checked in singly exponential time. As a side result, we prove the existence of a polynomial time algorithm for the first problem when the system switches between only two subsystems whose corresponding graphs are undirected, a problem that had been suggested to be NP-hard by Blondel and Olshevsky.


title: Density of quasismooth hypersurfaces in simplicial toric varieties

abstract: This paper investigates the density of hypersurfaces in a projective normal simplicial toric variety over a finite field having a quasismooth intersection with a given quasismooth subscheme. The result generalizes the formula found by B. Poonen for smooth projective varieties. As an application, we further analyze the density of hypersurfaces with bounds on their number of singularities and on the length of their singular schemes.


title: Uniformizing higher-spin equations

abstract: Vasiliev's higher-spin theories in various dimensions are uniformly represented as a simple system of equations. These equations and their gauge invariances are based on two superalgebras and have a transparent algebraic meaning. For a given higher-spin theory these algebras can be inferred from the vacuum higher-spin symmetries. The proposed system of equations admits a concise AKSZ formulation. We also discuss novel higher-spin systems including partially-massless and massive fields in AdS, as well as conformal and massless off-shell fields.


title: Weak Scale From the Maximum Entropy Principle

abstract: The theory of multiverse and wormholes suggests that the parameters of the Standard Model are fixed in such a way that the radiation of the $S^{3}$ universe at the final stage $S_{rad}$ becomes maximum, which we call the maximum entropy principle. Although it is difficult to confirm this principle generally, for a few parameters of the Standard Model, we can check whether $S_{rad}$ actually becomes maximum at the observed values. In this paper, we regard $S_{rad}$ at the final stage as a function of the weak scale ( the Higgs expectation value ) $v_{h}$, and show that it becomes maximum around $v_{h}={\cal{O}}(300\text{GeV})$ when the dimensionless couplings in the Standard Model, that is, the Higgs self coupling, the gauge couplings, and the Yukawa couplings are fixed. Roughly speaking, we find that the weak scale is given by \begin{equation} v_{h}\sim\frac{T_{BBN}^{2}}{M_{pl}y_{e}^{5}},\nonumber\end{equation} where $y_{e}$ is the Yukawa coupling of electron, $T_{BBN}$ is the temperature where the Big Bang Nucleosynthesis starts and $M_{pl}$ is the Planck mass.


title: All-optical routing of single photons with multiple input and output ports by interferences

abstract: We propose a waveguide-cavity coupled system to achieve the routing of photons by the phases of other photons. Our router has four input ports and four output ports. The transport of the coherent-state photons injected through any input port can be controlled by the phases of the coherent-state photons injected through other input ports. This control can be achieved when the mean numbers of the routed and control photons are small enough and require no additional control fields. Therefore, the all-optical routing of photons can be achieved at the single-photon level.


title: Linearizable special cases of the QAP

abstract: We consider special cases of the quadratic assignment problem (QAP) that are linearizable in the sense of Bookhold. We provide combinatorial characterizations of the linearizable instances of the weighted feedback arc set QAP, and of the linearizable instances of the traveling salesman QAP. As a by-product, this yields a new well-solvable special case of the weighted feedback arc set problem.


title: Stable NLS solitons in a cubic-quintic medium with a delta-function potential

abstract: We study the one-dimensional nonlinear Schr\"odinger equation with the cubic-quintic combination of attractive and repulsive nonlinearities, and a trapping potential represented by a delta-function. We determine all bound states with a positive soliton profile through explicit formulas and, using bifurcation theory, we describe their behavior with respect to the propagation constant. This information is used to prove their stability by means of the rigorous theory of orbital stability of Hamiltonian systems. The presence of the trapping potential gives rise to a regime where two stable bound states coexist, with different powers and same propagation constant.


title: Learning to Match for Multi-criteria Document Relevance

abstract: In light of the tremendous amount of data produced by social media, a large body of research have revisited the relevance estimation of the users' generated content. Most of the studies have stressed the multidimensional nature of relevance and proved the effectiveness of combining the different criteria that it embodies. Traditional relevance estimates combination methods are often based on linear combination schemes. However, despite being effective, those aggregation mechanisms are not effective in real-life applications since they heavily rely on the non-realistic independence property of the relevance dimensions. In this paper, we propose to tackle this issue through the design of a novel fuzzy-based document ranking model. We also propose an automated methodology to capture the importance of relevance dimensions, as well as information about their interaction. This model, based on the Choquet Integral, allows to optimize the aggregated documents relevance scores using any target information retrieval relevance metric. Experiments within the TREC Microblog task and a social personalized information retrieval task highlighted that our model significantly outperforms a wide range of state-of-the-art aggregation operators, as well as a representative learning to rank methods.


title: Einstein energy-momentum complex for a phantom black hole metric

abstract: In this paper we calculate the energy distribution E(r) associated with a static spherically symmetric non-singular phantom black hole metric in Einstein's prescription in general relativity. As required for Einstein energy-momentum complex, we perform calculations in quasi-Cartesian coordinates. We also calculate momentum components and get zero values as expected from the geometry of the metric.


title: $\beta$-electron spectrum: static screened Coulomb field and exchange effects

abstract: We consider the energy spectrum of emitted electrons in $\beta$-decay. Exact Coulomb Dirac wave functions describing the $\beta$-electron in the Coulomb field of the daughter nucleus are used. Further, the improved wave functions which include the screening of the Coulomb field due to the atomic electron cloud are also used. Thus, the interaction between the $\beta$-electron and the field due to the daughter atom is treated within a nonperturbative approach. Are shown the modifications due to the screening on the $\beta$ spectra and shown that those effects are very important. In addition, are addressed the contributions to the $\beta$ spectra due to the exchange terms and shown that the corresponding effects can be substantial. Higher orders arising from the multipole expansion are considered. A comparison of the theoretical results obtained in this work has been made with recent experimental data and a very good agreement was observed.


title: Magnitude-range brightness variations of overactive K giants

abstract: We study three representative, overactive spotted K giants (IL Hya, XX Tri, and DM UMa) known to exhibit V-band light variations between 0.65-1.05 mags. Our aim is to find the origin of their large brightness variation. We employ long-term phase-resolved multicolor photometry, mostly from automatic telescopes, covering 42 yr for IL Hya, 28 yr for XX Tri, and 34 yr for DM UMa. For one target, IL Hya, we present a new Doppler image from NSO data taken in late 1996. Effective temperatures for our targets are determined from all well-sampled observing epochs and are based on a V-I_C color-index calibration. The effective temperature change between the extrema of the rotational modulation for IL Hya and XX Tri is in the range 50-200 K. The bolometric flux during maximum of the rotational modulation, i.e., the least spotted states, varied by up to 39% in IL Hya and up to 54% in XX Tri over the course of our observations. We emphasize that for IL Hya this is just about half of the total luminosity variation that can be explained by the photospheric temperature (spots/faculae) changes, while for XX Tri it is even about one third. The long-term, 0.6 mag V-band variation of DM UMa is more difficult to explain because little or no B-V color index change is observed on the same timescale. Placing the three stars with their light and color variations into H-R diagrams, we find that their overall luminosities are generally too low compared to predictions from current evolutionary tracks. A change in the stellar radius due to strong and variable magnetic fields during activity cycles likely plays a role in explaining the anomalous brightness and luminosity of our three targets. At least for IL Hya, a radius change of about 9% is suggested from m_bol and T_eff, and is supported by independent vsin(i) measurements.


title: Quantum correlations and non-classicality in a system of two coupled vertical external cavity surface emitting lasers

abstract: Here we demonstrate that photocurrent noise reduction below the standard quantum limit and modal anticorrelation can arise in two mode coupled two-VECSEL system with common pump. This effect occurs due to correlated loss of laser modes. It is possible to suppress noise below the standard quantum limit even for Poissonian coherent pumping, whereas the regularity of the pump can be harmful for non-classicality.


title: Electroweak chiral Lagrangians and the Higgs properties at the one-loop level

abstract: In these proceedings we explore the use of (non-linear) electroweak chiral Lagrangians for the description of possible beyond the Standard Model strong dynamics in the electroweak sector. Experimentally one observes an approximate electroweak symmetry breaking pattern $SU(2)_L\times SU(2)_R/SU(2)_{L+R}$. Quantum Chromodynamics shows a similar chiral structure and, in spite of the differences (in the electroweak theory $SU(2)_L\times U(1)_Y$ is gauged), it has served for years as a guide for this type of studies. Examples of one-loop computations in the low-energy effective theory and the theory including the first vector and axial-vector resonances are provided, yielding, respectively, predictions for $\gamma\gamma\to Z_LZ_L,W^+_LW^-_L$ and the oblique parameters $S$ and $T$.


title: Scattering properties of the $2e^-2e^+$ polyelectronic system

abstract: We study the $2e^-2e^+$ equal-mass charge-neutral four-body system in the adiabatic hyperspherical framework. The lowest few adiabatic potentials are calculated for zero orbital angular momentum, positive parity, and charge conjugation symmetries. Propagating the R-matrix, the low-energy $s$-wave scattering lengths of the singlet-singlet and triplet-triplet spin configurations are calculated. Lastly, we calculate the S-matrix for energies above the ionic threshold to estimate the transition rates between the single ionic fragmentation channel and the lowest few dimer-dimer fragmentation channels.


title: Hyperspherical asymptotics of a system of four charged particles

abstract: We present a detailed analysis of the charged four-body system in hyperspherical coordinates in the large hyperradial limit. In powers of $R^{-1}$ for any masses and charges, the adiabatic Hamiltonian is expanded to third order in the dimer-dimer limit and to first order in the particle-trimer limit.


title: Transport distances and geodesic convexity for systems of degenerate diffusion equations

abstract: We introduce Wasserstein-like dynamical transport distances between vector-valued densities on the real line. The mobility function from the scalar theory is replaced by a mobility matrix, that is subject to positivity and concavity conditions. Our primary motivation is to cast certain systems of nonlinear parabolic evolution equations into the variational framework of gradient flows. In the first part of the paper, we investigate the structural properties of the new class of distances like geodesic completeness. The second part is devoted to the identification of $\lambda$-geodesically convex functionals and their $\lambda$-contractive gradient flows. One of our results is a generalized McCann condition for geodesic convexity of the internal energy. In the third part, the existence of weak solutions to a certain class of degenerate diffusion systems with drift is shown. Even if the underlying energy function is not geodesically convex w.r.t. our new distance, the construction of a weak solution is still possible using de Giorgi's minimizing movement scheme.


title: Influence of Hyperfine Interaction on the Entanglement of Photons Generated by Biexciton Recombination

abstract: The quantum state of the emitted light from the cascade recombination of a biexciton in a quantum dot is theoretically investigated including exciton fine structure splitting (FSS) and electron-nuclear spin hyperfine interactions. In an ideal situation, the emitted photons are entangled in polarization making the biexciton recombination process a candidate source of entangled photons necessary for the growing field of quantum communication and computation. The coherence of the exciton states in real quantum dots is affected by a finite FSS and the hyperfine interactions via the effective magnetic field known as the Overhauser field. We investigate the influence of both sources of decoherence and find that although the FSS combined with a stochastic exciton lifetime is responsible for the main loss of entanglement, the two effects cannot be minimized independently of each other. Furthermore, we examine the possibility of reducing the decoherence from the Overhauser field by partially polarizing the nuclear spins and applying an external magnetic field. We find that an increase in entanglement depends on the degree as well as the direction of the nuclear spin polarization.


title: The MOSDEF Survey: Optical AGN Diagnostics at z~2.3

abstract: We present results from the MOSFIRE Deep Evolution Field (MOSDEF) survey on rest-frame optical AGN identification and completeness at z~2.3. With our sample of 50 galaxies and 10 X-ray and IR-selected AGN with measured H-beta, [OIII], H-alpha, and [NII] emission lines, we investigate the location of AGN in the BPT, MEx (mass-excitation), and CEx (color-excitation) diagrams. We find that the BPT diagram works well to identify AGN at z~2.3 and that the z~0 AGN/star-forming galaxy classifications do not need to shift substantially at z~2.3 to robustly separate these populations. However, the MEx diagram fails to identify all of the AGN identified in the BPT diagram, and the CEx diagram is substantially contaminated at high redshift. We further show that AGN samples selected using the BPT diagram have selection biases in terms of both host stellar mass and stellar population, in that AGN in low mass and/or high specific star formation rate galaxies are difficult to identify using the BPT diagram. These selection biases become increasingly severe at high redshift, such that optically-selected AGN samples at high redshift will necessarily be incomplete. We also find that the gas in the narrow-line region appears to be more enriched than gas in the host galaxy for at least some MOSDEF AGN. However, AGN at z~2 are generally less enriched than local AGN with the same host stellar mass.


title: Reprocessing model for the optical quasi-periodic oscillations in black hole binaries

abstract: A number of black hole X-ray transients show quasi-periodic oscillations (QPOs) in the optical (ultraviolet) and X-ray bands at the same frequency, which challenge models for production of radiation at these wavelengths. We propose a model where the optical radiation is modulated by the oscillating X-ray flux resulting in varying irradiation of the outer parts of the accretion disc. The proposed QPO mechanism inevitably takes place in the systems with sufficiently small ratio of the outer disc radius to the QPO period. We show that, unlike in the case of the aperiodic variability, it is not possible to obtain the optical QPO profiles from those observed in the X-rays through the transfer function, because of different X-ray signals seen by the disc and by the observer. We demonstrate that with the increasing QPO frequency, occurring at the rising phase of the X-ray outburst, the rms should be constant for sufficiently low frequencies, then to increase reaching the peak and finally to drop substantially when the QPO period becomes comparable to the light-crossing time to the outer disc. We predict that the QPO rms in this model should increase towards shorter wavelengths and this fact can be used to distinguish it from other QPO mechanisms.


title: $C_0$-semigroups for hyperbolic partial differential equations on a one-dimensional spatial domain

abstract: Hyperbolic partial differential equations on a one-dimensional spatial domain are studied. This class of systems includes models of beams and waves as well as the transport equation and networks of non-homogeneous transmission lines. The main result of this paper is a simple test for $C_0$-semigroup generation in terms of the boundary conditions. The result is illustrated with several examples.


title: The 1/k-Eulerian polynomials and k-Stirling permutations

abstract: In this paper, we establish a connection between the 1/k-Eulerian polynomials introduced by Savage and Viswanathan (Electron. J. Combin. 19(2012), P9) and k-Stirling permutations. We also introduce the dual set of Stirling permutations.


title: Anatomy of the Internet Peering Disputes

abstract: Internet peering disputes have had an impact on the Internet AS-graph. As a result, the customers of the ASes often suffer because they cannot reach to the all of the Internet. There is a lack of study of the disputes that have taken place so far, even though each dispute is individually well understood. In this paper, we collect data on 26 disputes from from various resources, categorise them in a systemic manner to understand them from geographical and temporal point of views. There are some ASes that are more involved in disputes than others. In the end, we conclude we need to collect more data as it would be more interesting to have data on the Internet peering disputes around the world.


title: On Mertens-Ces\`aro Theorem for Number Fields

abstract: Let $K$ be a number field with ring of integers $\mathcal O$. After introducing a suitable notion of density for subsets of $\mathcal O$, generalizing that of natural density for subsets of $\mathbb Z$, we show that the density of the set of coprime $m$-tuples of algebraic integers is ${1/\zeta_K(m)}$, where $\zeta_K$ is the Dedekind zeta function of $K$.


title: Towards a more realistic sink particle algorithm for the RAMSES code

abstract: We present a new sink particle algorithm developed for the Adaptive Mesh Refinement code RAMSES. Our main addition is the use of a clump finder to identify density peaks and their associated regions (the peak patches). This allows us to unambiguously define a discrete set of dense molecular cores as potential sites for sink particle formation. Furthermore, we develop a new scheme to decide if the gas in which a sink could potentially form, is indeed gravitationally bound and rapidly collapsing. This is achieved using a general integral form of the virial theorem, where we use the curvature in the gravitational potential to correctly account for the background potential. We detail all the necessary steps to follow the evolution of sink particles in turbulent molecular cloud simulations, such as sink production, their trajectory integration, sink merging and finally the gas accretion rate onto an existing sink. We compare our new recipe for sink formation to other popular implementations. Statistical properties such as the sink mass function, the average sink mass and the sink multiplicity function are used to evaluate the impact that our new scheme has on accurately predicting fundamental quantities such as the stellar initial mass function or the stellar multiplicity function.


title: Hyperbolic capture of compact binaries

abstract: Hyperbolic encounters of compact objects are common interactions in dense environments. During this process a significant amount of gravitational radiation is emitted depending on the parameters of the system. Here we give a parametric description of the radial motion valid for general binary orbits and the radiative energy and angular momentum losses for binaries with spinning components.


title: Tensors, BICEP2, prior dependence, and dust

abstract: We investigate the prior dependence on the inferred spectrum of primordial tensor perturbations, in light of recent results from BICEP2 and taking into account a possible dust contribution to polarized anisotropies. We highlight an optimized parameterization of the tensor power spectrum, and adoption of a logarithmic prior on its amplitude $A_T$, leading to results that transform more evenly under change of pivot scale. In the absence of foregrounds the tension between the results of BICEP2 and Planck drives the tensor spectral index $n_T$ to be blue-tilted in a joint analysis, which would be in contradiction to the standard inflation prediction ($n_T<0$). When foregrounds are accounted for, the BICEP2 results no longer require non-standard inflationary parameter regions. We present limits on primordial $A_T$ and $n_T$, adopting foreground scenarios put forward by Mortonson & Seljak and motivated by Planck 353 GHz observations, and assess what dust contribution leaves a detectable cosmological signal. We find that if there is sufficient dust for the signal to be compatible with standard inflation, then the primordial signal is too weak to be robustly detected by BICEP2 if Planck+WMAP upper limits from temperature and E-mode polarization are correct.


title: A cavity approach to optimization and inverse dynamical problems

abstract: In these two lectures we shall discuss how the cavity approach can be used efficiently to study optimization problems with global (topological) constraints and how the same techniques can be generalized to study inverse problems in irreversible dynamical processes. These two classes of problems are formally very similar: they both require an efficient procedure to trace over all trajectories of either auxiliary variables which enforce global constraints, or directly dynamical variables defining the inverse dynamical problems. We will mention three basic examples, namely the Minimum Steiner Tree problem, the inverse threshold linear dynamical problem, and the patient-zero problem in epidemic cascades. All these examples are root problems in optimization and inference over networks. They appear in many modern applications and in a variety of different contexts. Credit for these results should be shared with A. Braunstein, A. Ramezanpour, F. Altarelli, L. Dall'Asta, I. Biazzo and A. Lage-Castellanos.


title: Guidelines for understanding cubic manganese-rich Heusler compounds

abstract: Manganese-rich Heusler compounds are attracting much interest in the context of spin transfer torque and rare-earth free hard magnets. Here we give a comprehensive overview of the magnetic properties of non-centrosymmetric cubic Mn$_2$-based Heusler materials, which are characterized by an antiparallel coupling of magnetic moments on Mn atoms. Such a ferrimagnetic order leads to the emergence of new properties that are absent in ferromagnetic centrosymmetric Heusler structures. In terms of the band structure calculations, we explain the formation of this magnetic order and the Curie temperatures. This overview is intended to establish guidelines for a basic understanding of magnetism in Mn2 -based Heusler compounds.


title: Level raising for p-adic Hilbert modular forms

abstract: This paper generalises previous work of the author to the setting of overconvergent $p$-adic automorphic forms for a definite quaternion algebra over a totally real field. We prove results which are analogues of classical `level raising' results in the theory of mod $p$ modular forms. Roughly speaking, we show that an overconvergent eigenform whose associated local Galois representation at some auxiliary prime $\l$ is (a twist of) a direct sum of trivial and cyclotomic characters lies in a family of eigenforms whose local Galois representation at $\l$ is generically (a twist of) a ramified extension of trivial by cyclotomic. We give some explicit examples of $p$-adic automorphic forms to which our results apply, and give a general family of examples whose existence would follow from counterexamples to the Leopoldt conjecture for totally real fields. These results also play a technical role in other work of the author on the problem of local--global compatibility at Steinberg places for Hilbert modular forms of partial weight one.


title: Towards ab initio thermodynamics of the electron gas at strong degeneracy

abstract: Recently a number of theoretical studies of the uniform electron gas (UEG) at finite temperature have appeared that are of relevance for dense plasmas, warm dense matter and laser excited solids and thermodynamic density functional theory simulations. In particular, restricted path integral Monte Carlo (RPIMC) results became available which, however, due to the Fermion sign problem, are confined to moderate quantum degeneracy, i.e. low to moderate densities. We have recently developed an alternative approach---configuration PIMC [T. Schoof {\em et al.}, Contrib. Plasma Phys. {\bf 51}, 687 (2011)] that allows one to study the so far not accessible high degeneracy regime. Here we present the first step towards UEG simulations using CPIMC by studying implementation and performance of the method for the model case of $N=4$ particles. We also provide benchmark data for the total energy.


title: Towards local-global compatibility for Hilbert modular forms of low weight

abstract: We prove some new cases of local--global compatibility for the Galois representations associated to Hilbert modular forms of low weight (that is, partial weight one).


title: Superconductivity and its mechanism in an ab initio model for electron-doped LaFeAsO

abstract: Two families of high temperature superconductors whose critical temperatures are higher than 50K are known. One is the copper oxides and the other is the iron-based superconductors. Comparisons of mechanisms between these two in terms of common ground as well as distinctions will greatly help in searching for higher Tc superconductors. However, studies on mechanisms for the iron family based on first principles calculations are few. Here we first show that the superconductivity emerges in the state-of-the-art numerical calculations for an ab initio multi-orbital model of an electron-doped iron-based superconductor LaFeAsO, in accordance with experimental observations. Then the mechanism of the superconductivity is identified as enhanced uniform density fluctuations by one-to-one correspondence with the instability toward inhomogeneity driven by first-order antiferromagnetic and nematic transitions. Despite many differences, certain common features with the copper oxides are also figured out in terms of the underlying orbital selective Mottness found in the iron family.


title: On h-basis

abstract: A set A of positive integers is called a h-bais of [0,n] if each integer in [0,n]is a sum of no more than h members of A. In this paper, we will give a new construction for h-basis.


title: Random matrix ensembles with column/row constraints: part I

abstract: We analyze statistical properties of the complex system with conditions which manifests through specific constraints on the column/row sum of the matrix elements. The presence of additional constraints besides symmetry leads to new correlations among eigenfunctions, hinders their complete delocalization and affects the eigenvalues too. Our results reveal a rich behavior hidden beneath the spectral statistics and also indicate the presence of a new universality class analogous to that of a Brownian ensemble appearing between Poisson and Gaussian orthogonal ensemble.


title: Matrix Models for Deconfinement and Their Perturbative Corrections

abstract: Matrix models for the deconfining phase transition in $SU(N)$ gauge theories have been developed in recent years. With a few parameters, these models are able to reproduce the lattice results of the thermodynamic quantities in the semi-quark gluon plasma(QGP) region. They are also used to compute the behavior of the 't Hooft loop and study the exceptional group $G(2)$. In this paper, we review the basic ideas of the construction of these models and propose a new form of the non-ideal corrections in the matrix model. In the semi-QGP region, our new model is in good agreement with the lattice simulations as the previous ones, while in higher temperature region, it reproduces the upward trend of the rescaled trace anomaly as found in lattice which, however, can not be obtained from the previous models. In addition, we discuss the perturbative corrections to the thermal effective potential which could be used to systematically improve the matrix models at high temperatures. In particular, we provide, for the first time, an analytical proof of the relation between the one- and two-loop effective potential: two-loop correction is proportional to the one-loop result, independent of the eigenvalues of the Polyakov loop. This is a very general result, we prove it for all classic groups, including $SU(N)$, $SO(2N+1)$, $SO(2N)$ and $Sp(2N)$.


title: Compositional inverses, complete mappings, orthogonal Latin squares and bent functions

abstract: We study compositional inverses of permutation polynomials, complete mappings, mutually orthogonal Latin squares, and bent vectorial functions. Recently it was obtained in [33] the compositional inverses of linearized permutation binomials over finite fields. It was also noted in [29] that computing inverses of bijections of subspaces have applications in determining the compositional inverses of certain permutation classes related to linearized polynomials. In this paper we obtain compositional inverses of a class of linearized binomials permuting the kernel of the trace map. As an application of this result, we give the compositional inverse of a class of complete mappings. This complete mapping class improves upon a recent construction given in [34]. We also construct recursively a class of complete mappings involving multi-trace functions. Finally we use these complete mappings to derive a set of mutually orthogonal Latin squares, and to construct a class of $p$-ary bent vectorial functions from the Maiorana-McFarland class.


title: Symmetry effects on spin switching of adatoms

abstract: Highly symmetric magnetic environments have been suggested to stabilize the magnetic information stored in magnetic adatoms on a surface. Utilized as memory devices such systems are subjected to electron tunneling and external magnetic fields. We analyze theoretically how such perturbations affect the switching probability of a single quantum spin for two characteristic symmetries encountered in recent experiments and suggest a third one that exhibits robust protection against surface induced spin flips. Further we illuminate how the switching of an adatom spin exhibits characteristic behavior with respect to low energy excitations from which the symmetry of the system can be inferred.


title: Metriplectic Algebra for Dissipative Fluids in Lagrangian Formulation

abstract: It is known that the dynamics of dissipative fluids in Eulerian variables can be derived from an algebra of Leibniz brackets of observables, the metriplectic algebra, that extends the Poisson algebra of the zero viscosity limit via a symmetric, semidefinite component. This metric bracket generates dissipative forces. The metriplectic algebra includes the conserved total Hamiltonian $H$, generating the non-dissipative part of dynamics, and the entropy $S$ of those microscopic degrees of freedom draining energy irreversibly, that generates dissipation. This $S$ is a Casimir of the Poisson algebra to which the metriplectic algebra reduces in the frictionless limit. In the present paper, the metriplectic framework for viscous fluids is re-written in the Lagrangian Formulation, where the system is described through material variables: this is a way to describe the continuum much closer to the discrete system dynamics than the Eulerian fields. Accordingly, the full metriplectic algebra is constructed in material variables, and this will render it possible to apply it in all those cases in which the Lagrangian Formulation is preferred. The role of the entropy $S$ of a metriplectic system is as paramount as that of the Hamiltonian $H$, but this fact may be underestimated in the Eulerian formulation because $S$ is not the only Casimir of the symplectic non-canonical part of the algebra. Instead, when the dynamics of the non-ideal fluid is written through the parcel variables of the Lagrangian formulation, the fact that entropy is symplectically invariant appears to be more clearly related to its dependence on the microscopic degrees of freedom of the fluid, that do not participate at all to the symplectic canonical part of the algebra (which, indeed, involves and evolves only the macroscopic degrees of freedom of the fluid parcel).


title: The Good, the Bad and the Ugly: Statistical quality assessment of SZ detections

abstract: We examine three approaches to the problem of source classification in catalogues. Our goal is to determine the confidence with which the elements in these catalogues can be distinguished in populations on the basis of their spectral energy distribution (SED). Our analysis is based on the projection of the measurements onto a comprehensive SED model of the main signals in the considered range of frequencies. We first first consider likelihood analysis, which half way between supervised and unsupervised methods. Next, we investigate an unsupervised clustering technique. Finally, we consider a supervised classifier based on Artificial Neural Networks. We illustrate the approach and results using catalogues from various surveys. i.e., X-Rays (MCXC), optical (SDSS) and millimetric (Planck Sunyaev-Zeldovich (SZ)). We show that the results from the statistical classifications of the three methods are in very good agreement with each others, although the supervised neural network-based classification shows better performances allowing the best separation into populations of reliable and unreliable sources in catalogues. The latest method was applied to the SZ sources detected by the Planck satellite. It led to a classification assessing and thereby agreeing with the reliability assessment published in the Planck SZ catalogue. Our method could easily be applied to catalogues from future large survey such as SRG/eROSITA and Euclid.


title: Magnetically Controlled Outflows from Planets

abstract: Hot Jupiters can experience mass loss driven by heating from UV radiation from their host stars, and this flow is often controlled by magnetic fields. More specifically, near the planetry surface, the magnetic pressure dominates the ram pressure of the outflow by several orders of magnitude. After leaving the vicinity of the planet, the flow must connect onto the background environment provided by the stellar wind and the stellar magnetic field. This contribution considers magnetically controlled planetary outflows and extends previous work by comparing two different geometries for the background magnetic field provided by the star. In the first case, stellar field is assumed to retain the form of a dipole, which is anti-aligned with the dipole field of the planet. In the second case, the stellar outflow opens up the stellar magnetic field structure so that the background field at the location of the planet is perpendicular to the planetary dipole. Using numerical simulations, we consider the launch of the planetary wind with these field configurations.


title: Exploring the origin of a large cavity in Abell 1795 using deep Chandra observations

abstract: We examine deep stacked Chandra observations of the galaxy cluster Abell 1795 (over 700ks) to study in depth a large (34 kpc radius) cavity in the X-ray emission. Curiously, despite the large energy required to form this cavity (4PV=4x10^60 erg), there is no obvious counterpart to the cavity on the opposite side of the cluster, which would be expected if it has formed due to jets from the central AGN inflating bubbles. There is also no radio emission associated with the cavity, and no metal enhancement or filaments between it and the BCG, which are normally found for bubbles inflated by AGN which have risen from the core. One possibility is that this is an old ghost cavity, and that gas sloshing has dominated the distribution of metals around the core. Projection effects, particularly the long X-ray bright filament to the south east, may prevent us from seeing the companion bubble on the opposite side of the cluster core. We calculate that such a companion bubble would easily have been able to uplift the gas in the southern filament from the core. Interestingly, it has recently been found that inside the cavity is a highly variable X-ray point source coincident with a small dwarf galaxy. Given the remarkable spatial correlation of this point source and the X-ray cavity, we explore the possibility that an outburst from this dwarf galaxy in the past could have led to the formation of the cavity, but find this to be an unlikely scenario.


title: Rare Top-quark Decays to Higgs boson in MSSM

abstract: In full one-loop generality and in next-to-leading order in QCD, we study rare top to Higgs boson flavour changing decay processes $t\to q h$ with $q=u,c$ quarks, in the general MSSM with R-parity conservation. Our primary goal is to search for enhanced effects on $Br(t\to q h)$ that could be visible at current and high luminosity LHC running. To this end, we perform an analytical expansion of the amplitude in terms of flavour changing squark mass insertions that treats both cases of hierarchical and degenerate squark masses in a unified way. We identify two enhanced effects allowed by various constraints: one from holomorphic trilinear soft SUSY breaking terms and/or right handed up squark mass insertions and another from non-holomorphic trilinear soft SUSY breaking terms and light Higgs boson masses. Interestingly, even with $\mathcal{O}(1)$ flavour violating effects in the, presently unconstrained, up-squark sector, SUSY effects on $Br(t\to q h)$ come out to be unobservable at LHC mainly due to leading order cancellations between penguin and self energy diagrams and the constraints from charge- and colour-breaking minima (CCB) of the MSSM vacuum. An exception to this conclusion may be effects arising from non-holomorphic soft SUSY breaking terms in the region where the CP-odd Higgs mass is smaller than the top-quark mass but this scenario is disfavoured by recent LHC searches. Our calculations for $t\to q h$ decay are made available in SUSY_FLAVOR numerical library.


title: XMM-Newton study of 30 Dor C and a newly identified MCSNR J0536-6913 in the Large Magellanic Cloud

abstract: Aims: We present a study of the superbubble (SB) 30 Dor C and the newly identified MCSNR J0536-6913 in the LMC. Methods: All available XMM-Newton data (exposure times of 420 ks EPIC-pn, 556 ks EPIC-MOS1, 614 ks EPIC-MOS2) were used to characterise the thermal X-ray emission in the region. An analysis of the non-thermal X-rays is also presented and discussed in the context of emission mechanisms previously suggested in the literature. These data are supplemented by X-ray data from Chandra, optical data from the MCELS, and radio data from ATCA and MOST. Results: The brightest thermal emission was found to be associated with a new supernova remnant, MCSNR J0536-6913. X-ray spectral analysis of MCSNR J0536-6913 suggested an ejecta-dominated remnant with lines of O, Ne, Mg, and Si, and a total 0.3-10 keV luminosity of ~8E+34 erg/s. Based on derived ejecta abundance ratios, we determined the mass of the stellar progenitor to be either ~18 M_sun or as high as >40 M_sun, though the spectral fits were subject to assumptions (e.g., uniform temperature and well-mixed ejecta). The thermal emission from the SB exhibited enrichment by alpha-process elements, evidence for a recent core-collapse SNR interaction with the SB shell. We detected non-thermal X-ray emission throughout 30 Dor C, with the brightest regions being highly correlated with the H-alpha and radio shells. We created a non-thermal spectral energy distribution for the north-eastern shell of 30 Dor C which was best-fit with an exponentially cut-off synchrotron model. Conclusions: Thermal X-ray emission from 30 Dor C is very complex, consisting of a large scale SB emission at the eastern shell wall with the brightest emission due to MCSNR J0536-6913. The fact that the non-thermal spectral energy distribution of the SB shell was observed to roll-off is further evidence that the non-thermal X-rays from 30 Dor C are synchrotron in origin.


title: Scalable Density-Based Distributed Clustering

abstract: Clustering has become an increasingly important task in analysing huge amounts of data. Traditional applications require that all data has to be located at the site where it is scrutinized. Nowadays, large amounts of heterogeneous, complex data reside on different, independently working computers which are connected to each other via local or wide area networks. In this paper, we propose a scalable density-based distributed clustering algorithm which allows a user-defined trade-off between clustering quality and the number of transmitted objects from the different local sites to a global server site. Our approach consists of the following steps: First, we order all objects located at a local site according to a quality criterion reflecting their suitability to serve as local representatives. Then we send the best of these representatives to a server site where they are clustered with a slightly enhanced density-based clustering algorithm. This approach is very efficient, because the local detemination of suitable representatives can be carried out quickly and independently from each other. Furthermore, based on the scalable number of the most suitable local representatives, the global clustering can be done very effectively and efficiently. In our experimental evaluation, we will show that our new scalable density-based distributed clustering approach results in high quality clusterings with scalable transmission cost.


title: A Relativistic view on large scale N-body simulations

abstract: We discuss the relation between the output of Newtonian N-body simulations on scales that approach or exceed the particle horizon to the description of General Relativity. At leading order, the Zeldovich approximation is correct on large scales, coinciding with the General Relativistic result. At second order in the initial metric potential, the trajectories of particles deviate from the second order Newtonian result and hence the validity of 2LPT initial conditions should be reassessed when used in very large simulations. We also advocate using the expression for the synchronous gauge density as a well behaved measure of density fluctuations on such scales.


title: Observation of self-amplifying Hawking radiation in an analog black hole laser

abstract: It has been proposed that a black hole horizon should generate Hawking radiation. In order to test this theory, we have created a narrow, low density, very low temperature atomic Bose-Einstein condensate, containing an analog black hole horizon and an inner horizon, as in a charged black hole. We observe Hawking radiation emitted by the black hole. This is the output of the black hole laser. We also observe the exponential growth of a standing wave between the horizons. The latter results from interference between the negative energy partners of the Hawking radiation and the negative energy particles reflected from the inner horizon. We thus observe self-amplifying Hawking radiation.


title: Network Design Problems with Bounded Distances via Shallow-Light Steiner Trees

abstract: In a directed graph $G$ with non-correlated edge lengths and costs, the \emph{network design problem with bounded distances} asks for a cost-minimal spanning subgraph subject to a length bound for all node pairs. We give a bi-criteria $(2+\varepsilon,O(n^{0.5+\varepsilon}))$-approximation for this problem. This improves on the currently best known linear approximation bound, at the cost of violating the distance bound by a factor of at most~$2+\varepsilon$. In the course of proving this result, the related problem of \emph{directed shallow-light Steiner trees} arises as a subproblem. In the context of directed graphs, approximations to this problem have been elusive. We present the first non-trivial result by proposing a $(1+\varepsilon,O(|R|^{\varepsilon}))$-ap\-proxi\-ma\-tion, where $R$ are the terminals. Finally, we show how to apply our results to obtain an $(\alpha+\varepsilon,O(n^{0.5+\varepsilon}))$-approximation for \emph{light-weight directed $\alpha$-spanners}. For this, no non-trivial approximation algorithm has been known before. All running times depends on $n$ and $\varepsilon$ and are polynomial in $n$ for any fixed $\varepsilon>0$.


title: Quantitative study of valence and configuration interaction parameters of the Kondo semiconductors CeM2Al10 (M = Ru, Os and Fe) by means of bulk-sensitive hard x-ray photoelectron spectroscopy

abstract: The occupancy of the 4f^n contributions in the Kondo semiconductors CeM2Al10(M = Ru, Os and Fe) has been quantitatively determined by means of bulk-sensitive hard x-ray photoelectron spectroscopy (HAXPES) on the Ce 3d core levels. Combining a configuration interaction scheme with full multiplet calculations allowed to accurately describe the HAXPES data despite the presence of strong plasmon excitations in the spectra. The configuration interaction parameters obtained from this analysis -- in particular the hybridization strength V_eff and the effective f binding energy Delta_f -- indicate a slightly stronger exchange interaction in CeOs2Al10 compared to CeRu2Al10, and a significant increase in CeFe2Al10. This verifies the coexistence of a substantial amount of Kondo screening with magnetic order and places the entire CeM2Al10 family in the region of strong exchange interactions.


title: Exploring the Anomalous Higgs-top Couplings

abstract: Top quark with its large Yukawa coupling is crucially important to explore TeV scale physics. Therefore, the study of Higgs-top sector is highly motivated to look for any deviations from the standard model predictions. The most general lowest order Lagrangian for the Higgs-top Yukawa coupling has scalar ($\kappa$) and pseudoscalar ($\tilde{\kappa}$) components. Currently, these couplings are constrained indirectly using the present experimental limits on the Higgs-$\gamma$-$\gamma$ and Higgs-gluon-gluon couplings. Furthermore, stronger bounds on $\kappa$ and $\tilde{\kappa}$ are obtained using the limits on the electric dipole moments (EDM). In this work, we propose an asymmetry-like observable $O_{\phi}$ in $t\bar{t}H$ production at the LHC to probe the Higgs-top coupling and to distinguish between the scalar and pseudoscalar components. We also show that the presence of the pseudoscalar component in the Higgs-top Yukawa coupling leads to a sizeable value for the top quark EDM. It is shown that a limit of $10^{-19}$ e.cm, which is achievable by the future $e^{-}e^{+}$ collider, allows us to exclude a significant region in the $(\kappa,\tilde{\kappa})$ plane.


title: A Single-Processor Approach to Speech Processing Pipeline of Bilateral Cochlear Implants

abstract: This dissertation covers a single-processor approach to the speech processing pipeline of bilateral Cochlear Implants (CIs). The use of only a single processor to provide binaural stimulation signals overcomes the synchronization problem, which is an existing challenging problem in the deployment of bilateral CI devices. The developed single-processor speech processing pipeline provides CI users with a sense of directionality. Its non-synchronization feature as well as low computational and memory requirements make it a suitable solution for actual deployment. A speech enhancement framework is developed that incorporates different non-Euclidean speech distortion criteria and different noise environments. This framework not only allows the design of environment-optimized parameters but also enables a user-specific solution where the anthropometric measurements of an individual user are incorporated into the training process to obtain individualized bilateral parameters. The developed techniques are primarily meant for bilateral CIs, however, they are general purpose in the sense that they are also applicable to binaural hearing aids, bimodal devices having hearing aid in one ear and cochlear implant in the other ear as well as dual-channel speech enhancement applications. Extensive experiments have shown the effectiveness of the developed solution in six commonly encountered noise environments compared to a similar one-channel pipeline when using two separate processors or when using independent sequential processing.


title: Curvature calculations for the level-set method

abstract: The present work illustrates a difficulty with the level-set method to accurately capture the curvature of interfaces in regions that are of equal distance to two or more interfaces. Such regions are characterized by kinks in the level-set function where the derivative is discontinuous. Thus the standard discretization scheme is not suitable. Three discretization schemes are outlined that are shown to perform better than the standard discretization on two selected test cases.


title: Adversary Model: Adaptive Chosen Ciphertext Attack with Timing Attack

abstract: We have introduced a novel adversary model in Chosen-Ciphertext Attack with Timing Attack (CCA2-TA) and it was a practical model because the model incorporates the timing attack. This paper is an extended paper for 'A Secure TFTP Protocol with Security Proofs'. Keywords - Timing Attack, Random Oracle Model, Indistinguishabilit, Chosen Plaintext Attack, CPA, Chosen Ciphertext Attack, IND-CCA1, Adaptive Chosen Ciphertext Attack, IND-CCA2, Trivial File Transfer Protocol, TFTP, Security, Trust, Privacy, Trusted Computing, UBOOT, AES, IOT, Lightweight, Asymmetric, Symmetric, Raspberry Pi, ARM.


title: Concept of spinsonde for multi-cycle measurement of vertical wind profile of tropical cyclones

abstract: Tropical cyclones and cyclogenesis are active areas of research. Chute-operated dropsondes jointly developed by NASA and NCAR are capable of acquiring high resolution vertical wind profile of tropical cyclones. This paper proposes a chute-free vertical retardation technique (termed as spinsonde) that can accurately measure vertical wind profile. Unlike the expendable dropsondes, the spinsonde allows multi-cycle measurement to be performed within a single flight. Proof of principle is demonstrated using a simulation software and results indicate that the GPS ground speed correlates with the wind speeds to within +/-5 km/h. This technique reduces flying weight and increases payload capacity by eliminating bulky chutes. Maximum cruising speed (Vh) achieved by the spinsonde UAV is 372 km/h.


title: Quantum quench in long-range field theories

abstract: We study equilibration properties of observables in long-range field theories after the mass quench in $d=1,2$ and $3$ dimensions. We classify the regimes where we expect equilibration or its absence in different dimensions. In addition we study the effect of the initial state in the equilibration properties of our system. In the case of free field theories we show that whenever we have equilibration the long-time limit of correlations can be described by the Generalized Gibbs Ensemble. We prove that all integrals of motions in our system are non-local.


title: E-Business Experiences with Online Auctions

abstract: Online auctions are among the most influential e-business applications. Their impact on trading for businesses, as well as consumers, is both remarkable and inevitable. There have been considerable efforts in setting up market places, but, with respects to market volume, online trading is still in its early stages. This chapter discusses the benefits of the concept of Internet marketplaces, with the highest impact on pricing strategies, namely, the conduction of online business auctions. We discuss their benefits, problems and possible solutions. In addition, we sketch actions for suppliers to achieve a better strategic position in the upcoming Internet market places.


title: Exact Coupling Threshold for Structural Transition in Interconnected Networks

abstract: Interconnected networks are mathematical representation of systems where two or more simple networks are coupled to each other. Depending on the coupling weight between the two components, the interconnected network can function in two regimes: one where the two networks are structurally distinguishable, and one where they are not. The coupling threshold--denoting this structural transition--is one of the most crucial concepts in interconnected networks. Yet, current information about the coupling threshold is limited. This letter presents an analytical expression for the exact value of the coupling threshold and outlines network interrelation implications.


title: Observation of localized multi-spatial-mode quadrature squeezing in four-wave mixing

abstract: Quantum states of light can improve imaging whenever the image quality and resolution are limited by the quantum noise of the illumination. In the case of a bright illumination, quantum enhancement is obtained for a light field composed of many squeezed transverse modes. A possible realization of such a multi-spatial-mode squeezed state is a field which contains a transverse plane in which the local electric field displays reduced quantum fluctuations at all locations, on any one quadrature. Using nondegenerate four-wave mixing in a hot vapor, we have generated a bichromatic multi-spatial-mode squeezed state and showed that it exhibits localised quadrature squeezing at any point of its transverse profile, in regions much smaller than its size. We observe 75 independently squeezed regions. This confirms the potential of this technique for producing illumination suitable for practical quantum imaging.


title: Diagnosing holographic dark energy models with statefinder hierarchy

abstract: We apply a series of null diagnostics based on the statefinder hierarchy to diagnose different holographic dark energy models including the original holographic dark energy, the new holographic dark energy, the new agegraphic dark energy, and the Ricci dark energy models. We plot the curves of statefinders $S^{(1)}_3$ and $S^{(1)}_4$ versus redshift $z$ and the evolutionary trajectories of $\{S^{(1)}_3, \epsilon\}$ and $\{S^{(1)}_4, \epsilon\}$ for these models, where $\epsilon$ is the fractional growth parameter. Combining the evolution curves with the current values of $S^{(1)}_3$, $S^{(1)}_4$, and $\epsilon$, we find that the statefinder $S^{(1)}_4$ performs better than $S^{(1)}_3$ for diagnosing the holographic dark energy models. In addition, the conjunction of the statefinder hierarchy and the fractional growth parameter is proven to be a useful method to diagnose the holographic dark energy models, especially for breaking the degeneracy of the new agegraphic dark energy model with different parameter values.


title: Topological States with Broken Translational and Time-Reversal Symmetries in a Honeycomb-Triangular Lattice

abstract: We study fermions in a lattice, with on-site and nearest neighbor attractive interactions between two spin species. We consider two geometries: both spins in a triangular lattice, and a mixed geometry with up-spins in honeycomb and down-spins in triangular lattices. We focus on the interplay between spin-population imbalance, on-site and valence bond pairing, and order parameter symmetry. The mixed geometry leads to a rich phase diagram of topologically non-trivial phases. In both geometries, we predict order parameters with simultaneous time-reversal and translational symmetry breaking.


title: Polariton $\mathbb{Z}$ Topological Insulator

abstract: Recent search for optical analogues of topological phenomena mainly focuses on mimicking the key feature of quantum Hall and quantum spin Hall effects (QHE and QSHE): edge currents protected from disorder. QHE relies on time-reversal symmetry breaking, which can be realised in photonic gyromagnetic crystals. In the optical range, the weak magneto-optical activity may be replaced with helical design of coupled waveguides, converting light propagation into a time-dependent perturbation. Finally, optical QHE due to artificial gauge fields was predicted in microcavity lattices. Here, we consider honeycomb arrays of microcavity pillars as an alternative optical-frequency 2D topological insulator. We show that the interplay between the photonic spin-orbit coupling natively present in this system and the Zeeman splitting of exciton-polaritons in external magnetic fields leads to the opening of a non-trivial gap characterised by $C=\pm 2$ set of band Chern numbers and to the formation of topologically protected one-way edge states.


title: The origin of complex organic molecules in prestellar cores

abstract: Complex organic molecules (COMs) have been detected in a variety of environments, including cold prestellar cores. Given the low temperature of these objects, these last detections challenge existing models. We report here new observations towards the prestellar core L1544. They are based on an unbiased spectral survey of the 3mm band at the IRAM-30m telescope, as part of the Large Program ASAI. The observations allow us to provide the full census of the oxygen bearing COMs in this source. We detected tricarbon monoxide, methanol, acetaldehyde, formic acid, ketene, and propyne with abundances varying from 5e-11 to 6e-9. The non-LTE analysis of the methanol lines shows that they are likely emitted at the border of the core, at a radius of ~8000 AU where T~10 K and nH2~2e4 cm-3. Previous works have shown that water vapour is enhanced in the same region because of the photodesorption of water ices. We propose that a non-thermal desorption mechanism is also responsible for the observed emission of methanol and COMs from the same layer. The desorbed oxygen and a tiny amount of desorbed methanol and ethene are enough to reproduce the abundances of tricarbon monoxide, methanol, acetaldehyde and ketene measured in L1544. These new findings open the possibility that COMs in prestellar cores originate in a similar outer layer rather than in the dense inner cores, as previously assumed, and that their formation is driven by the non-thermally desorbed species.


title: Hyperbolicit\'e du graphe des rayons et quasi-morphismes sur un gros groupe modulaire

abstract: The mapping class group $\Gamma$ of the complement of a Cantor set in the plane arises naturally in dynamics. We show that the ray graph, which is the analog of the complex of curves for this surface of infinite type, has infinite diameter and is hyperbolic. We use the action of $\Gamma$ on this graph to find an explicit non trivial quasimorphism on $\Gamma$ and to show that this group has infinite dimensional second bounded cohomology. Finally we give an example of a hyperbolic element of $\Gamma$ with vanishing stable commutator length. This carries out a program proposed by Danny Calegari.


title: Creation of 2-5 keV and 5-10 keV sky maps using XMM-Newton data

abstract: Sky maps are powerful visualisation tools for quicklook analysis of extended sources. The latest sky map in soft X-rays (0.1-2.4 keV) has been created in 90ies using ROSAT data. By analyzing publically available data from XMM-Newton X-ray mission we constructed new sky maps in two energy bands -- 2-5 keV and 5-10 keV, complementary to ROSAT data, covering about 1% of all sky, and included them to our web-based tool http://skyview.virgoua.org.


title: Generalised tensor fluctuations and inflation

abstract: Using an effective field theory approach to inflation, we examine novel properties of the spectrum of inflationary tensor fluctuations, that arise when breaking some of the symmetries or requirements usually imposed on the dynamics of perturbations. During single-clock inflation, time-reparameterization invariance is broken by a time-dependent cosmological background. In order to explore more general scenarios, we consider the possibility that spatial diffeomorphism invariance is also broken by effective mass terms or by derivative operators for the metric fluctuations in the Lagrangian. We investigate the cosmological consequences of the breaking of spatial diffeomorphisms, focussing on operators that affect the power spectrum of fluctuations. We identify the operators for tensor fluctuations that can provide a blue spectrum without violating the null energy condition, and operators for scalar fluctuations that lead to non-conservation of the comoving curvature perturbation on superhorizon scales even in single-clock inflation. In the last part of our work, we also examine the consequences of operators containing more than two spatial derivatives, discussing how they affect the sound speed of tensor fluctuations, and showing that they can mimic some of the interesting effects of symmetry breaking operators, even in scenarios that preserve spatial diffeomorphism invariance.


title: Cohomology of flat bundles and a Chern-Simons functional

abstract: We show that a flat principal bundle with compact connected structure group and its adjoint bundles of Lie groups have the same cohomology as the trivial bundle, which is done by proving they satisfy the condition for the Leray-Hirsch theorem. This information has been used to construct a cohomology class of the adjoint bundle of a flat bundle whose restriction to each fiber is the class of the Maurer-Cartan 3-form. Then we use this result to define an invariant of a gauge transformation of a flat bundle which describes the effect of the gauge transformation on a Chern-Simons functional.


title: Simulating the symmetron: domain walls and symmetry-restoring impurities

abstract: In this paper we study the dynamics of relativistic domain walls in the presence of static symmetry-restoring impurities. The field theory is precisely the same as what is known to cosmologists as the "symmetron model", whereby the usual $\mathbb{Z}_2$ symmetry breaking potential is appended with a space-varying mass-term (the space-variation is set by the profile of the impurity, which we take to be a "tanh"-function). After presenting the outcomes of a suite of different numerical experiments we have three main results: (1) domain walls pin to impurities, (2) domain wall necklaces can be energetically preferred configurations, and (3) impurities significantly modifies the usual ${N}_{\rm dw}\propto t^{-1}$ scaling law for random networks of domain walls.


title: ARPES insights on the metallic states of YbB6(001): E(k) dispersion, temporal changes and spatial variation

abstract: We report high resolution Angle Resolved PhotoElectron Spectroscopy (ARPES) results on the (001) cleavage surface of YbB$_{6}$, a rare-earth compound which has been recently predicted to host surface electronic states with topological character. We observe two types of well-resolved metallic states, whose Fermi contours encircle the time-reversal invariant momenta of the YbB$_{6}$(001) surface Brillouin zone, and whose full (E,$k$)-dispersion relation can be measured wholly unmasked by states from the rest of the electronic structure. Although the two-dimensional character of these metallic states is confirmed by their lack of out-of-plane dispersion, two new aspects are revealed in these experiments. Firstly, these states do not resemble two branches of opposite, linear velocity that cross at a Dirac point, but rather straightforward parabolas which terminate to high binding energy with a clear band bottom. Secondly, these states are sensitive to time-dependent changes of the YbB$_{6}$ surface under ultrahigh vacuum conditions. Adding the fact that these data from cleaved YbB$_{6}$ surfaces also display spatial variations in the electronic structure, it appears there is little in common between the theoretical expectations for an idealized YbB$_{6}$(001) crystal truncation on the one hand, and these ARPES data from real cleavage surfaces on the other.


title: Ion-trap measurements of electric-field noise near surfaces

abstract: Electric-field noise near surfaces is a common problem in diverse areas of physics, and a limiting factor for many precision measurements. There are multiple mechanisms by which such noise is generated, many of which are poorly understood. Laser-cooled, trapped ions provide one of the most sensitive systems to probe electric-field noise at MHz frequencies and over a distance range 30 - 3000 $\mu$m from the surface. Over recent years numerous experiments have reported spectral densities of electric-field noise inferred from ion heating-rate measurements and several different theoretical explanations for the observed noise characteristics have been proposed. This paper provides an extensive summary and critical review of electric-field noise measurements in ion traps, and compares these experimental findings with known and conjectured mechanisms for the origin of this noise. This reveals that the presence of multiple noise sources, as well as the different scalings added by geometrical considerations, complicate the interpretation of these results. It is thus the purpose of this review to assess which conclusions can be reasonably drawn from the existing data, and which important questions are still open. In so doing it provides a framework for future investigations of surface-noise processes.


title: Metamorphosis of Images in Reproducing Kernel Hilbert Spaces

abstract: Metamorphosis is a method for diffeomorphic matching of shapes, with many potential applications for anatomical shape comparison in medical imagery, a problem which is central to the field of computational anatomy. An important tool for the practical application of metamorphosis is a numerical method based on shooting from the initial momentum, as this would enable the use of statistical methods based on this momentum, as well as the estimation of templates from hyper-templates using morphing. In this paper we introduce a shooting method, in the particular case of morphing images that lie in a reproducing kernel Hilbert space (RKHS). We derive the relevant shooting equations from a Lagrangian frame of reference, present the details of the numerical approach, and illustrate the method through morphing of some simple images.


title: Transverse momentum asymmetry of the extracted electron in field ionization of a Hydrogen Atom with angular momentum

abstract: The tunneling ionization of a hydrogen atom excited in the presence of a static electric field is investigated for the case where, before being extracted, the electron has an orbital angular momentum L perpendicular to the field E. The escaping electron has a nonzero mean transverse velocity <vT> in the direction of E cross <L>. This asymmetry is similar to the Collins effect in the fragmentation into hadrons of a transversely polarized quark. In addition, the linear Stark effect make <L> and <vT> oscillate in time. The degree of asymmetry is calculated at leading order in E for an initial state of maximum transverse <L>. The conditions for the observation of this asymmetry are discussed.


title: Many-body Majorana operators and the equivalence of parity sectors

abstract: The one-dimensional p-wave topological superconductor model with open-boundary conditions is examined in its topological phase. Using the eigenbasis of the non-interacting system I show that, provided the interactions are local and do not result in a closing of the gap, then even and odd parity sectors are unitarily equivalent. Following on from this, it is possible to define two many-body operators that connect each state in one sector with a degenerate counterpart in the sector with opposite parity. This result applies to all states in the system and therefore establishes, for a long enough wire, that all even-odd eigenpairs remain essentially degenerate in the presence of local interactions. Building on this observation I then set out a full definition of the related many-body Majorana operators and point out that their structure cannot be fully revealed using cross-correlation data obtained from the ground state manifold alone. Although all results are formulated in the context of the 1-dimensional p-wave model, I argue why they should also apply to more realistic realisations (e.g. the multi-channel p-wave wire and proximity coupled models) of topological superconductivity.


title: Systematics of intermediate-energy single-nucleon removal cross sections

abstract: There is now a large and increasing body of experimental data and theoretical analyses for reactions that remove a single nucleon from an intermediate-energy beam of neutron- or proton-rich nuclei. In each such measurement, one obtains the inclusive cross section for the population of all bound final states of the mass A-1 reaction residue. These data, from different regions of the nuclear chart, and that involve weakly- and strongly-bound nucleons, are compared with theoretical expectations. These calculations include an approximate treatment of the reaction dynamics and shell-model descriptions of the projectile initial state, the bound final states of the residues, and the single-particle strengths computed from their overlap functions. The results are discussed in the light of recent data, more exclusive tests of the eikonal dynamical description, and calculations that take input from more microscopic nuclear structure models.


title: Observation of $e^+e^-\to \pi^0\pi^0 h_c$ and a neutral charmoniumlike structure $Z_c(4020)^0$

abstract: Using data collected with the BESIII detector operating at the Beijing Electron Positron Collider at center-of-mass energies of $\sqrt{s}=4.23$, 4.26, and 4.36~GeV, we observe $\EE\to \pphc$ for the first time. The Born cross sections are measured and found to be about half of those of $\EE\to \pi^+\pi^-h_c$ within less than 2$\sigma$. In the $\pi^0h_c$ mass spectrum, a structure at 4.02~GeV/$c^2$ is found. It is most likely to be the neutral isospin partner of the $\zcp^{\pm}$ observed in the process of $\EE\to \pi^+\pi^-h_c$ is found. A fit to the $\pi^0 h_c$ invariant mass spectrum, with the width of the $\zcpn$ fixed to that of its charged isospin partner and possible interferences with non-$\zcpn$ amplitudes neglected, gives a mass of ($4023.9\pm 2.2 \pm 3.8$)~MeV/$c^2$ for the $\zcpn$, where the first error is statistical and the second systematic.


title: MontiArc - Architectural Modeling of Interactive Distributed and Cyber-Physical Systems

abstract: This report presents MontiArc, a modeling language for the description of Component & Connector architectures. A component is a unit executing computations and/or storing data. Information flow between components is modeled via unidirectional connectors connecting typed, directed ports of the interfaces of components. Language features of the ADL MontiArc include hierarchical decomposition of components, subtyping by structural inheritance, component type definitions and reference declarations for reuse, generic component types and configurable components, syntactic sugar for connectors, and controlled implicit creation of connections and subcomponent declarations. This technical report gives an overview of the MontiArc language and is a reference for the MontiArc grammar intended to enable reuse and extension of MontiArc and MontiArc related tools. MontiArc is implemented using the DSL framework MontiCore. Available tools include an editor with syntax highlighting and code completion as well as a simulation framework with a Java code generator.


title: Engineering Autonomous Driving Software

abstract: A larger number of people with heterogeneous knowledge and skills running a project together needs an adaptable, target, and skill-specific engineering process. This especially holds for a project to develop a highly innovative, autonomously driving vehicle to participate in the 2007 DARPA Urban Challenge. In this contribution, we present essential elements of a software and systems engineering process to develop a so-called artificial intelligence capable of driving autonomously in complex urban situations. The process itself includes agile concepts, like a test first approach, continuous integration of all software modules, and a reliable release and configuration management assisted by software tools in integrated development environments. However, one of the most important elements for an efficient and stringent development is the ability to efficiently test the behavior of the developed system in a flexible and modular system simulation for urban situations both interactively and unattendedly. We call this the simulate first approach.


title: Modeling Language Variability

abstract: A systematic way of defining variants of a modeling language is useful for adapting the language to domain or project specific needs. Variants can be obtained by adapting the syntax or semantics of the language. In this paper, we take a formal approach to define modeling language variability and show how this helps to reason about language variants, models, and their semantics formally. We introduce the notion of semantic language refinement meaning that one semantics variant is implied by another. Leaving open all variation points that a modeling language offers yields the notion of the inner semantics of that language. Properties of the modeling language which do not depend on the selection of specific variants are called invariant language properties with respect to a variation point. These properties consequently follow from the inner semantics of a model or language.


title: Product Line Metrics for Legacy Software in Practice

abstract: Nowadays, customer products like vehicles do not only contain mechanical parts but also a highly complex software and their manufacturers have to offer many variants of technically very similar systems with sometimes only small differences in their behavior. The proper reuse of software artifacts which realize this behavior using a software product line is discussed in recent literature and appropriate methods and techniques for their management are proposed. However, establishing a software product line for integrating already existing legacy software to reuse valuable resources for future similar products is very company-specific. In this paper, a method is outlined for evaluating objectively a legacy software's potential to create a software product line. This method is applied to several development projects at Volkswagen AG Business Unit Braunschweig to evaluate the software product line potential for steering systems.


title: Modeling Language Variability

abstract: A systematic way of defining variants of a modeling language is useful for adopting the language to domain or project specific needs. Variants can be obtained by adopting the syntax or semantics of the language. In this paper, we take a formal approach to define modeling language variability and show how this helps to reason about language variants, models, and their semantics formally. We introduce the notion of semantic language refinement meaning that one semantics variant is implied by another.


title: Measuring the Ability to Form a Product Line from Existing Products

abstract: A product line approach can save valuable resources by reusing artifacts. Especially for software artifacts, the reuse of existing components is highly desirable. In recent literature, the creation of software product lines is mainly proposed from a top-down point of view regarding features which are visible by customers. In practice, however, the design for a product line often arises from one or few existing products that descend from a very first product starting with copy-paste and evolving individually. In this contribution, we propose the theoretical basis to derive a set of metrics for evaluating similar software products in an objective manner. These metrics are used to evaluate the set of product's ability to form a product line.


title: Caroline: An Autonomously Driving Vehicle for Urban Environments

abstract: The 2007 DARPA Urban Challenge afforded the golden opportunity for the Technische Universit\"at Braunschweig to demonstrate its abilities to develop an autonomously driving vehicle to compete with the world's best competitors. After several stages of qualification, our team CarOLO qualified early for the DARPA Urban Challenge Final Event and was among only eleven teams from initially 89 competitors to compete in the final. We had the ability to work together in a large group of experts, each contributing his expertise in his discipline, and significant organisational, financial and technical support by local sponsors who helped us to become the best non-US team. In this report, we describe the 2007 DARPA Urban Challenge, our contribution "Caroline", the technology and algorithms along with her performance in the DARPA Urban Challenge Final Event on November 3, 2007.


title: Variability within Modeling Language Definitions

abstract: We present a taxonomy of the variability mechanisms offered by modeling languages. The definition of a formal language encompasses a syntax and a semantic domain as well as the mapping that relates them, thus language variabilities are classified according to which of those three pillars they address. This work furthermore proposes a framework to explicitly document and manage the variation points and their corresponding variants of a variable modeling language. The framework enables the systematic study of various kinds of variabilities and their interdependencies. Moreover, it allows a methodical customization of a language, for example, to a given application domain. The taxonomy of variability is explicitly of interest for the UML to provide a more precise understanding of its variation points.


title: Scaling-Up Model-Based-Development for Large Heterogeneous Systems with Compositional Modeling

abstract: Model-based development and in particular MDA [1], [2] have promised to be especially suited for the development of complex, heterogeneous, and large software systems. However, so far MDA has failed to fulfill this promise to a larger extent because of tool support being inadequate and clumsy and methodologies not being appropriate for an effective development. This article discusses what went wrong in current MDA approaches and what needs to be done to make MDA suited for ultra-large, distributed systems.