title: Biallelic Mutation-Drift Diffusion in the Limit of Small Scaled Mutation Rates

abstract: The evolution of the allelic proportion $x$ of a biallelic locus subject to the forces of mutation and drift is investigated in a diffusion model, assuming small scaled mutation rates. The overall scaled mutation rate is parametrized with $\theta=(\mu_1+\mu_0)N$ and the ratio of mutation rates with $\alpha=\mu_1/(\mu_1+\mu_0)=1-\beta$. The equilibrium density of this process is beta with parameters $\alpha\theta$ and $\beta\theta$. Away from equilibrium, the transition density can be expanded into a series of modified Jacobi polynomials. If the scaled mutation rates are small, i.e., $\theta \ll 1$, it may be assumed that polymorphism derives from mutations at the boundaries. A model, where the interior dynamics conform to the pure drift diffusion model and the mutations are entering from the boundaries is derived. In equilibrium, the density of the proportion of polymorphic alleles, \ie\ $x$ within the polymorphic region $[1/N,1-1/N]$, is $\alpha\beta\theta(\tfrac1x+\tfrac1{1-x})=\tfrac{\alpha\beta\theta}{x(1-x)}$, while the mutation bias $\alpha$ influences the proportion of monomorphic alleles at 0 and 1. Analogous to the expansion with modified Jacobi polynomials, a series expansion of the transition density is derived, which is connected to Kimura's well known solution of the pure drift model using Gegenbauer polynomials. Two temporal and two spatial regions are separated. The eigenvectors representing the spatial component within the polymorphic region depend neither on the on the scaled mutation rate $\theta$ nor on the mutation bias $\alpha$. Therefore parameter changes, e.g., growing or shrinking populations or changes in the mutation bias, can be modeled relatively easily, without the change of the eigenfunctions necessary for the series expansion with Jacobi polynomials.


title: Electronic structure in one-Fe Brillouin zone of iron-pnictide superconductor CsFe$_2$As$_2$

abstract: The multiband nature of iron-pnictide superconductors is one of the keys to the understanding of their intriguing behavior. The electronic and magnetic properties heavily rely on the multiband interactions between different electron and hole pockets near the Fermi level. At the fundamental level, though many theoretical models were constructed on the basis of the so-called 1-Fe Brillouin zone (BZ) with an emphasis of the basic square lattice of iron atoms, most electronic structure measurements were interpreted in the 2-Fe BZ. Whether the 1-Fe BZ is valid in a real system is still an open question. Using angle-resolved photoemission spectroscopy (ARPES), here we show in an extremely hole-doped iron-pnictide superconductor CsFe$_2$As$_2$ that the distribution of electronic spectral weight follows the 1-Fe BZ, and that the emerging band structure bears some features qualitatively different from theoretical band structures of the 1-Fe BZ. Our analysis suggests that the interlayer separation is an important tuning factor for the physics of FeAs layers, the increase of which can reduce the coupling between Fe and As and lead to the emergence of the electronic structure in accord with the 1-Fe symmetry of the Fe square lattice. Our finding puts strong constraints on the theoretical models constructed on the basis of the 1-Fe BZ.


title: Long-range states in excited ultracold 3He*-4He* dimers

abstract: Long-range bound states of the excited heteronuclear 3He*--4He* system that dissociate to either 3He(1s2s 3S_1) + 4He(1s2p 3P_j) or 3He(1s2p 3P_j) + 4He(1s2s 3S_1), where j=0, 1, 2, are investigated using both single-channel and multichannel calculations in order to analyse the effects of Coriolis and non-adiabatic couplings. The multichannel calculations predict two groups of resonances above the lowest asymptotic energy. One of these groups dissociates to an atomic pair with the 2p excitation on the fermionic atom and the other dissociates to two asymptotes which correspond to the 2p excitation on either atom. Many of these resonances could be identified with levels in the single-channel calculation although the differences in energies were large. The total parity was found to have a significant influence on the ability to make these identifications. No purely bound states were found, although several resonances with line widths smaller than 1 MHz were obtained.


title: Melting of an Ising Quadrant

abstract: We consider an Ising ferromagnet endowed with zero-temperature spin-flip dynamics and examine the evolution of the Ising quadrant, namely the spin configuration when the minority phase initially occupies a quadrant while the majority phase occupies three remaining quadrants. The two phases are then always separated by a single interface which generically recedes into the minority phase in a self-similar diffusive manner. The area of the invaded region grows (on average) linearly with time and exhibits non-trivial fluctuations. We map the interface separating the two phases onto the one-dimensional symmetric simple exclusion process and utilize this isomorphism to compute basic cumulants of the area. First, we determine the variance via an exact microscopic analysis (the Bethe ansatz). Then we turn to a continuum treatment by recasting the underlying exclusion process into the framework of the macroscopic fluctuation theory. This provides a systematic way of analyzing the statistics of the invaded area and allows us to determine the asymptotic behaviors of the first four cumulants of the area.


title: Compressed Sensing Performance Analysis via Replica Method using Bayesian framework

abstract: Compressive sensing (CS) is a new methodology to capture signals at lower rate than the Nyquist sampling rate when the signals are sparse or sparse in some domain. The performance of CS estimators is analyzed in this paper using tools from statistical mechanics, especially called replica method. This method has been used to analyze communication systems like Code Division Multiple Access (CDMA) and multiple input multi- ple output (MIMO) systems with large size. Replica analysis, now days rigorously proved, is an efficient tool to analyze large systems in general. Specifically, we analyze the performance of some of the estimators used in CS like LASSO (the Least Absolute Shrinkage and Selection Operator) estimator and Zero-Norm regularizing estimator as a special case of maximum a posteriori (MAP) estimator by using Bayesian framework to connect the CS estimators and replica method. We use both replica symmetric (RS) ansatz and one-step replica symmetry breaking (1RSB) ansatz, clamming the latter is efficient when the problem is not convex. This work is more analytical in its form. It is deferred for next step to focus on the numerical results.


title: On Demand Data Analysis and Filtering for Inaccurate Flight Trajectories

abstract: This paper reports on work performed in the context of the COMPASS SESAR-JU WP-E project, on developing an approach for identifying and filtering inaccurate trajectories (ghost flights) in historical data originating from the EUROCONTROL-operated Demand Data Repository (DDR).


title: New Insights into the Compressibility and High-Pressure Stability of Ni(CN)2 from Neutron Diffraction, Raman Spectroscopy and Inelastic Neutron Scattering

abstract: The layered structure of tetragonal Ni(CN)2, consisting of square-planar Ni(CN)4 units linked in the a-b plane, with no true periodicity along the c-axis, is expected to show anisotropic compression on the application of pressure. High-pressure neutron diffraction (elastic) and inelastic neutron scattering experiments have been performed on polycrystalline Ni(CN)2 to investigate its compressibility and stability. The intralayer a lattice parameter does not show any appreciable variation with increase of pressure up to 2.7 kbar. Above this pressure value, a decrease in a is observed. The c lattice parameter decreases slowly up to 1 kbar, then decreases sharply up to 20 kbar. It does not show any significant variation with further pressure increase up to 50 kbar. The response of the lattice parameters to the applied pressure is strongly anisotropic as the interlayer spacing (along the c-axis) shows a significantly larger contraction than the a-b plane. The experimental pressure dependence of the volume data is fitted to a bulk modulus, B0, of 1050 (20) kbar over the pressure range 0-1 kbar, and to 154 (2) kbar in the range 1-50 kbar. The change in the slope of the lattice parameters at 1 kbar is also supported by high-pressure Raman measurements, which indicate a phase transition at 1 kbar. Probably arising from a change in the CN ordering within the Ni(CN)2 layers. Raman measurements, performed up to 200 kbar, highlight the possible existence of a second phase transition taking place at about 70 kbar. Our neutron inelastic scattering measurements of the pressure dependence of the phonon spectra performed up to 2.7 kbar, also support the occurrence of a phase transition at low pressure.


title: State-Based Modeling of Buildings and Facilities

abstract: Research on energy efficiency of today's buildings focuses on the monitoring of a building's behavior while in operation. But without a formalized description of the data measured, including their correlations and in particular the expected measurements, the full potential of the collected data can not necessarily be exploited. Who knows if a measured value is good or bad? This problem becomes more virulent as smart control systems sometimes exhibit intelligent, but unexpected behavior (e.g. starting heating at unconventional times). Therefore we defined a methodology starting already at the design of the building leading to a formalized specification of the implementation of a building's management system, which seamlessly integrates to an intelligent monitoring. DIN EN ISO 16484 proposes a method to describe functional requirements in an easy to understand way. We extended its use of state machines to our proposed concept of state based modeling. This proved to be a wholesome approach to easily model buildings and facilities according to the DIN EN ISO 16484 while providing the possibility to apply sophisticated and meaningful analysis methods during monitoring.


title: Summarizing Semantic Model Differences

abstract: Fundamental building blocks for managing and understanding software evolution in the context of model-driven engineering are differencing operators one can use for model comparisons. Semantic model differencing deals with the definition and computation of semantic diff operators for model comparison, operators whose input consists of two models and whose output is a set of diff witnesses, instances of one model that are not instances of the other. However, in many cases the complete set of diff witnesses is too large to be efficiently computed and effectively presented. Moreover, many of the witnesses are very similar and hence not interesting. Thus, an important challenge of semantic differencing relates to witness selection and presentation. In this paper we propose to address this challenge using a summarization technique, based on a notion of equivalence that partitions the set of diff witnesses. The result of the computation is a summary set, consisting of a single representative witness from each equivalence class. We demonstrate our ideas using two concrete diff operators, for class diagrams and for activity diagrams, where the computation of the summary set is efficient and does not require the enumeration of all witnesses.


title: The q-theory of finite semigroups: history and mathematics

abstract: This paper is a historical and mathematical review of the book, "The q-theory of Finite Semigroups" by John Rhodes and Benjamin Steinberg.


title: A Domain Specific Transformation Language

abstract: Domain specific languages (DSLs) allow domain experts to model parts of the system under development in a problem-oriented notation that is well-known in the respective domain. The introduction of a DSL is often accompanied the desire to transform its instances. Although the modeling language is domain specific, the transformation language used to describe modifications, such as model evolution or refactoring operations, on the underlying model, usually is a rather domain independent language nowadays. Most transformation languages use a generic notation of model patterns that is closely related to typed and attributed graphs or to object diagrams (the abstract syntax). A notation that reflects the transformed elements of the original DSL in its own concrete syntax would be strongly preferable, because it would be more comprehensible and easier to learn for domain experts. In this paper we present a transformation language that reuses the concrete syntax of a textual modeling language for hierarchical automata, which allows domain experts to describe models as well as modifications of models in a convenient, yet precise manner. As an outlook, we illustrate a scenario where we generate transformation languages from existing textual languages.


title: MontiArcAutomaton: Modeling Architecture and Behavior of Robotic Systems

abstract: Robotics poses a challenge for software engineering as the vast numbers of different robot platforms impose different requirements on robot control architectures. The platform dependent development of robotic applications impedes reusability and portability. The lack of reusability hampers broad propagation of robotics applications. The MontiArcAutomaton architecture and behavior modeling framework provides an integrated, platform independent structure and behavior modeling language with an extensible code generation framework. MontiArcAutomaton's central concept is encapsulation and decomposition known from Component & Connector Architecture Description Languages. This concept is extended from the modeling language to the code generation and target runtime framework to bridge the gap of platform specific and independent implementations along well designed interfaces. This facilitates the reuse of robot applications and makes their development more efficient.


title: Evolving Delta-oriented Software Product Line Architectures

abstract: Diversity is prevalent in modern software systems. Several system variants exist at the same time in order to adapt to changing user requirements. Additionally, software systems evolve over time in order to adjust to unanticipated changes in their application environment. In modern software development, software architecture modeling is an important means to deal with system complexity by architectural decomposition. This leads to the need of architectural description languages that can represent spatial and temporal variability. In this paper, we present delta modeling of software architectures as a uniform modeling formalism for architectural variability in space and in time. In order to avoid degeneration of the product line model under system evolution, we present refactoring techniques to maintain and improve the quality of the variability model. Using a running example from the automotive domain, we evaluate our approach by carrying out a case study that compares delta modeling with annotative variability modeling.


title: Tau-REx I: A next generation retrieval code for exoplanetary atmospheres

abstract: Spectroscopy of exoplanetary atmospheres has become a well established method for the characterisation of extrasolar planets. We here present a novel inverse retrieval code for exoplanetary atmospheres. TauRex (Tau Retrieval for Exoplanets) is a line-by-line radiative transfer fully Bayesian retrieval framework. TauRex includes the following features: 1) the optimised use of molecular line-lists from the Exomol project; 2) an unbiased atmospheric composition prior selection, through custom built pattern recognition software; 3) the use of two independent algorithms to fully sample the Bayesian likelihood space: nested sampling as well as a more classical Markov Chain Monte Carlo approach; 4) iterative Bayesian parameter and model selection using the full Bayesian Evidence as well as the Savage-Dickey Ratio for nested models, and 5) the ability to fully map very large parameter spaces through optimal code parallelisation and scalability to cluster computing. In this publication we outline the TauRex framework and demonstrate, using a theoretical hot-Jupiter transmission spectrum, the parameter retrieval and model selection. We investigate the impact of Signal-to-Noise and spectral resolution on the retrievability of individual model parameters, both in terms of error bars on the temperature and molecular mixing ratios as well as its effect on the model's global Bayesian evidence.


title: Semantically Configurable Consistency Analysis for Class and Object Diagrams

abstract: Checking consistency between an object diagram (OD) and a class diagram (CD) is an important analysis problem. However, several variations in the semantics of CDs and ODs, as used in different contexts and for different purposes, create a challenge for analysis tools. To address this challenge in this paper we investigate semantically configurable model analysis. We formalize the variability in the languages semantics using a feature model: each configuration that the model permits induces a different semantics. Moreover, we develop a parametrized analysis that can be instantiated to comply with every legal configuration of the feature model. Thus, the analysis is semantically congured and its results change according to the semantics induced by the selected feature configuration. The ideas are implemented using a parametrized transformation to Alloy. The work can be viewed as a case study example for a formal and automated approach to handling semantic variability in modeling languages.


title: CD2Alloy: Class Diagrams Analysis Using Alloy Revisited

abstract: We present CD2Alloy, a novel, powerful translation of UML class diagrams (CDs) to Alloy. Unlike existing translations, which are based on a shallow embedding strategy, and are thus limited to checking consistency and generating conforming object models of a single CD, and support a limited set of CD language features, CD2Alloy uses a deeper embedding strategy. Rather than mapping each CD construct to a semantically equivalent Alloy construct, CD2Alloy defines (some) CD constructs as new concepts within Alloy. This enables solving several analysis problems that involve more than one CD and could not be solved by earlier works, and supporting an extended list of CD language features. The ideas are implemented in a prototype Eclipse plug-in. The work advances the state-of-the-art in CD analysis, and can also be viewed as an interesting case study for the different possible translations of one modeling language to another, their strengths and weaknesses.


title: Towards a Family-based Analysis of Applicability Conditions in Architectural Delta Models

abstract: Modeling variability in software architectures is a fundamental part of software product line development. ?-MontiArc allows describing architectural variability in a modular way by a designated core architecture and a set of architectural delta models modifying the core architecture to realize other architecture variants. Delta models have to satisfy a set of applicability conditions for the definedness of the architectural variants. The applicability conditions can in principle be checked by generating all possible architecture variants, which requires considering the same intermediate architectures repeatedly. In order to reuse previously computed architecture variants, we propose a family-based analysis of the applicability conditions using the concept of inverse deltas.


title: Algebraic metrology: Pretty good states and bounds

abstract: We investigate quantum metrology using a Lie algebraic approach for a class of Hamiltonians, including local and nearest-neighbor interaction Hamiltonians. Using this Lie algebraic formulation, we identify and construct highly symmetric states that admit Heisenberg scaling in precision in the absence of noise, and investigate their performance in the presence of noise. To this aim we perform a numerical scaling analysis, and derive upper bounds on the quantum Fisher information.


title: Delta-oriented Architectural Variability Using MontiCore

abstract: Modeling of software architectures is a fundamental part of software development processes. Reuse of software components and early analysis of software topologies allow the reduction of development costs and increases software quality. Integrating variability modeling concepts into architecture description languages (ADLs) is essential for the development of diverse software systems with high demands on software quality. In this paper, we present the integration of delta modeling into the existing ADL MontiArc. Delta modeling is a language-independent variability modeling approach supporting proactive, reactive and extractive product line development. We show how ?-MontiArc, a language for explicit modeling of architectural variability based on delta modeling, is implemented as domain-specific language (DSL) using the DSL development framework MontiCore. We also demonstrate how MontiCore's language reuse mechanisms provide efficient means to derive an implementation of ?-MontiArc tool implementation. We evaluate ?-Monti-Arc by comparing it with annotative variability modeling.


title: Hierarchical Variability Modeling for Software Architectures

abstract: Hierarchically decomposed component-based system development reduces design complexity by supporting distribution of work and component reuse. For product line development, the variability of the components to be deployed in different products has to be represented by appropriate means. In this paper, we propose hierarchical variability modeling which allows specifying component variability integrated with the component hierarchy and locally to the components. Components can contain variation points determining where components may vary. Associated variants define how this variability can be realized in different component configurations. We present a meta model for hierarchical variability modeling to formalize the conceptual ideas. In order to obtain an implementation of the proposed approach together with tool support, we extend the existing architectural description language MontiArc with hierarchical variability modeling. We illustrate the presented approach using an example from the automotive systems domain.


title: Graded annihilators and uniformly $F$-compatible ideals

abstract: Let $R$ be a commutative (Noetherian) local ring of prime characteristic $p$ that is $F$-pure. This paper is concerned with comparison of three finite sets of radical ideals of $R$, one of which is only defined in the case when $R$ is $F$-finite (that is, is finitely generated when viewed as a module over itself via the Frobenius homomorphism). Two of the afore-mentioned three sets have links to tight closure, via test ideals. Among the aims of the paper are a proof that two of the sets are equal, and a proposal for a generalization of I. M. Aberbach's and F. Enescu's splitting prime.


title: Improved estimate of the singular set of Dir-minimizing Q-valued functions via an abstract regularity result

abstract: In this note we prove an abstract version of a recent quantitative stratifcation priciple introduced by Cheeger and Naber (Invent. Math., 191 (2013), no. 2, 321-339; Comm. Pure Appl. Math., 66 (2013), no. 6, 965-990). Using this general regularity result paired with an $\varepsilon$-regularity theorem we provide a new estimate of the Minkowski dimension of the set of higher multiplicity points of a Dir-minimizing Q-valued function. The abstract priciple is applicable to several other problems: we recover recent results in the literature and we obtain also some improvements in more classical contexts.


title: Correlation functions and momentum distribution of one-dimensional hard-core anyons in optical lattices

abstract: We address the problem of calculating the correlation functions in a system of one-dimensional hard-core anyons that can be experimentally realized in optical lattices. Using the summation of form factors we have obtained Fredholm determinant representations for the time-, space-, and temperature-dependent Green's functions which are particularly suited to numerical investigations. In the static case we have also derived the large distance asymptotic behavior of the correlators and computed the momentum distribution function at zero and finite temperature. We present extensive numerical results highlighting the characteristic features of one-dimensional systems with fractional statistics.


title: The Brans-Dicke-Rastall theory

abstract: We formulate a theory combining the principles of a scalar-tensor gravity and Rastall's proposal of a violation of the usual conservation laws. We obtain a scalar-tensor theory with two parameters $\omega$ and $\lambda$, the latter quantifying the violation of the usual conservation laws. The only exact spherically symmetric solution is that of Robinson-Bertotti besides Schwarzschild solution. A PPN analysis reveals that General Relativity results are reproduced when $\lambda = 0$. The cosmological case displays a possibility of deceleration/acceleration or acceleration/deceleration transitions during the matter dominated phase depending on the values of the free parameters.


title: Nitrogen backbone oligomers

abstract: In contrast to carbon, which forms long polymeric chains, all-nitrogen chains are very unstable. Here we found that nitrogen and hydrogen directly react at room temperature and pressures of about 35 GPa forming a mixture of nitrogen backbone oligomers - chains of single-bonded nitrogen atom with the rest of the bonds terminated with hydrogen atoms - as identified by IR absorption, Raman, X-ray diffraction experiments and theoretical calculations. The pressure required for the synthesis strongly decreases with temperature to about 20 GPa at 550 K. At releasing pressures below about 10 GPa, the product transforms into hydrazine. Our findings might open a way for the practical synthesis of these extremely high energetic materials as the formation of nitrogen-hydrogen compounds is favorable already at pressures above 2 GPa according to the calculations.


title: Distributed PID Control for Consensus of Homogeneous and Heterogeneous Networks

abstract: We investigate the use of distributed PID actions to achieve consensus in networks of homogeneous and heterogeneous linear systems. Convergence of the strategy is proved for both cases using appropriate state transformations and Lyapunov functions. The effectiveness of the theoretical results is illustrated via its application to a representative power grid model recently presented in the literature.


title: Cox rings of rational surfaces and flag varieties of ADE-types

abstract: The Cox rings of del Pezzo surfaces are closely related to the Lie groups E_n. In this paper, we generalize the definition of Cox rings to G- surfaces defined by us earlier, where the Lie groups G=A_n, D_n or E_n. We show that the Cox ring of a G-surface S is almost determined by an irreducible representation V of G, and is generated by degree one elements. The Proj of this ring is a sub-variety of the orbit of the highest weight vector in V, and both are closed sub-varieties of the projective space P(V) defined by quadratic equations.


title: On the exact formulation of multi-configuration density-functional theory: electron density versus orbitals occupation

abstract: The exact formulation of multi-configuration density-functional theory (DFT) is discussed in this work. As an alternative to range-separated methods, where electron correlation effects are split in the coordinate space, the combination of Configuration Interaction methods with orbital occupation functionals is explored at the formal level through the separation of correlation effects in the orbital space. When applied to model Hamiltonians, this approach leads to an exact Site-Occupation Embedding Theory (SOET). An adiabatic connection expression is derived for the complementary bath functional and a comparison with Density Matrix Embedding Theory (DMET) is made. Illustrative results are given for the simple two-site Hubbard model. SOET is then applied to a quantum chemical Hamiltonian, thus leading to an exact Complete Active Space Site-Occupation Functional Theory (CASSOFT) where active electrons are correlated explicitly within the CAS and the remaining contributions to the correlation energy are described with an orbital occupation functional. The computational implementation of SOET and CASSOFT as well as the development of approximate functionals are left for future work.


title: Exponential Relaxation to Equilibrium for a One-Dimensional Focusing Non-Linear Schr\"odinger Equation with Noise

abstract: We construct generalized grand-canonical- and canonical Gibbs measures for a Hamiltonian system described in terms of a complex scalar field that is defined on a circle and satisfies a nonlinear Schr\"odinger equation with a focusing nonlinearity of order $p<6$. Key properties of these Gibbs measures, in particular absence of "phase transitions" and regularity properties of field samples, are established. We then study a time evolution of this system given by the Hamiltonian evolution perturbed by a stochastic noise term that mimics effects of coupling the system to a heat bath at some fixed temperature. The noise is of Ornstein-Uhlenbeck type for the Fourier modes of the field, with the strength of the noise decaying to zero, as the frequency of the mode tends to $\infty$. We prove exponential approach of the state of the system to a grand-canonical Gibbs measure at a temperature and "chemical potential" determined by the stochastic noise term.


title: Eigenvalue statistics for random Schrodinger operators with non rank one perturbations

abstract: We prove that certain natural random variables associated with the local eigenvalue statistics for generalized lattice Anderson models constructed with finite-rank perturbations are compound Poisson distributed. This distribution is characterized by the fact that the Levy measure is supported on at most a finite set determined by the rank. The proof relies on a Minami-type estimate for finite-rank perturbations. For Anderson-type continuum models on $\R^d$, we prove a similar result for certain natural random variables associated with the local eigenvalue statistics. We prove that the compound Poisson distribution associated with these random variables has a Levy measure whose support is at most the set of positive integers.


title: Recurrent Neural Network Regularization

abstract: We present a simple regularization technique for Recurrent Neural Networks (RNNs) with Long Short-Term Memory (LSTM) units. Dropout, the most successful technique for regularizing neural networks, does not work well with RNNs and LSTMs. In this paper, we show how to correctly apply dropout to LSTMs, and show that it substantially reduces overfitting on a variety of tasks. These tasks include language modeling, speech recognition, image caption generation, and machine translation.


title: Ordinal Indices of small subspaces of $L_p$

abstract: We calculate ordinal $L_p$ index defined in "An ordinal L_p index for Banach spaces with an application to complemented subspaces of L_p" authored by J. Bourgain, H. P. Rosenthal and G. Schechtman, for Rosenthal's space $X_p$, $\ell_p$ and $\ell_2$. We show a subspace of $L_p$ $(2 < p < \infty)$ non isomorphic to $\ell_2$ embeds in $\ell_p$ if and only if its ordinal index is minimum possible. We also give a sufficient condition for a $\mathcal{L}_p$ subspace of $\ell_p\oplus\ell_2$ to be isomorphic to $X_p$.


title: Stochastic synchronization of genetic oscillators induced by miRNA

abstract: We study two important roles of miRNA as stress inducer and synchronizing agent in regulating diffusively coupled genetic oscillators within stochastic formalism and competition between them. We identify optimal value of coupling constant at which the rate of synchronization is strongest, below this value sychronizing activity dominates stress activity, and above it stress activity destroys synchronizing pattern. The concentration of miRNA maintained in individual oscillator modulates the synchronization activity achieved by diffusing miRNA.


title: Partially Independent Control Scheme for Spacecraft Rendezvous in Near-Circular Orbits

abstract: Due to the complexity and inconstancy of the space environment, accurate mathematical models for spacecraft rendezvous are difficult to obtain, which consequently complicates the control tasks. In this paper, a linearized time-variant plant model with external perturbations is adopted to approximate the real circumstance. To realize the robust stability with optimal performance cost, a partially independent control scheme is proposed, which consists of a robust anti-windup controller for the in-plane motion and a ${{H}_{\infty}}$ controller for the out-of-plane motion. Finally, a rendezvous simulation is given to corroborate the practicality and advantages of the partially independent control scheme over a coupled control scheme.


title: On the number of nodal domains of the 2D isotropic quantum harmonic oscillator -- an extension of results of A. Stern --

abstract: In the case of the sphere and the square, Antonie Stern (1925) claimed in her PhD thesis the existence of an infinite sequence of eigenvalues whose corresponding eigenspaces contain an eigenfunction with two nodal domains. These two statements were given complete proofs respectively by Hans Lewy in 1977, and the authors in 2014 (see also Gauthier-Shalom--Przybytkowski (2006)). The aim of this paper is to obtain a similar result in the case of the isotropic quantum harmonic oscillator in the two dimensional case.


title: Harmonic functions on multiplicative graphs and inverse Pitman transform on infinite random paths

abstract: We introduce and characterize central probability distributions on Littelmann paths. Next we establish a law of large numbers and a central limit theorem for the generalized Pitmann transform. We then study harmonic functions on multiplicative graphs defined from the tensor powers of finite-dimensional Lie algebras representations. Finally, we show there exists an inverse of the generalized Pitman transform defined almost surely on the set of infinite paths remaining in the Weyl chamber and explain how it can be computed.


title: Inflation without Selfreproduction

abstract: We find a rather unique extension of inflationary scenario which avoids selfreproduction and thus resolves the problems of multiverse, predictability and initial conditions. In this theory the amplitude of the cosmological perturbations is expressed entirely in terms of the total duration of inflation.


title: Some open questions in hydrodynamics

abstract: When speaking of unsolved problems in physics, this is surprising at first glance to discuss the case of fluid mechanics. However, there are many deep open questions that come with the theory of fluid mechanics. In this paper, we discuss some of them that we classify in two categories, the long term behavior of solutions of equations of hydrodynamics and the definition of initial (boundary) conditions. The first set of questions come with the non-relativistic theory based on the Navier-Stokes equations. Starting from smooth initial conditions, the purpose is to understand if solutions of Navier-Stokes equations remain smooth with the time evolution. Existence for just a finite time would imply the evolution of finite time singularities, which would have a major influence on the development of turbulent phenomena. The second set of questions come with the relativistic theory of hydrodynamics. There is an accumulating evidence that this theory may be relevant for the description of the medium created in high energy heavy-ion collisions. However, this is not clear that the fundamental hypotheses of hydrodynamics are valid in this context. Also, the determination of initial conditions remains questionable. The purpose of this paper is to explore some ideas related to these questions, both in the non-relativistic and relativistic limits of fluid mechanics. We believe that these ideas do not concern only the theory side but can also be useful for interpreting results from experimental measurements.


title: Electroweak production of $Z$jj and $W^{\pm}W^{\pm}$jj states at the LHC

abstract: Measurements of fiducial cross sections for the electroweak production of two jets in association with a $Z$ boson and in association with a pair of same-electric-charge $W$ bosons are presented. The measurements are performed using $20.3~$fb$^{-1}$ of proton-proton collision data collected at a center-of-mass energy of $\sqrt{s}=8$~TeV by the ATLAS experiment at the Large Hadron Collider. The measured fiducial cross sections are in agreement with the Standard Model predictions. Limits at 95\% confidence level are set on anomalous triple and quartic gauge couplings.


title: Green Algae as Model Organisms for Biological Fluid Dynamics

abstract: In the past decade the volvocine green algae, spanning from the unicellular $Chlamydomonas$ to multicellular $Volvox$, have emerged as model organisms for a number of problems in biological fluid dynamics. These include flagellar propulsion, nutrient uptake by swimming organisms, hydrodynamic interactions mediated by walls, collective dynamics and transport within suspensions of microswimmers, the mechanism of phototaxis, and the stochastic dynamics of flagellar synchronization. Green algae are well suited to the study of such problems because of their range of sizes (from 10 $\mu$m to several millimetres), their geometric regularity, the ease with which they can be cultured and the availability of many mutants that allow for connections between molecular details and organism-level behavior. This review summarizes these recent developments and highlights promising future directions in the study of biological fluid dynamics, especially in the context of evolutionary biology, that can take advantage of these remarkable organisms.

categories: cond-mat.soft nlin.AO physics.bio-ph q-bio.CB


title: Networks, Random Graphs and Percolation

abstract: The theory of random graphs goes back to the late 1950s when Paul Erd\H{o}s and Alfr\'ed R\'enyi introduced the Erd\H{o}s-R\'enyi random graph. Since then many models have been developed, and the study of random graph models has become popular for real-life network modelling such as social networks and financial networks. The aim of this overview is to review relevant random graph models for real-life network modelling. Therefore, we analyse their properties in terms of stylised facts of real-life networks.


title: Self-similar solutions of the one-dimensional Landau-Lifshitz-Gilbert equation

abstract: We consider the one-dimensional Landau-Lifshitz-Gilbert (LLG) equation, a model describing the dynamics for the spin in ferromagnetic materials. Our main aim is the analytical study of the bi-parametric family of self-similar solutions of this model. In the presence of damping, our construction provides a family of global solutions of the LLG equation which are associated to a discontinuous initial data of infinite (total) energy, and which are smooth and have finite energy for all positive times. Special emphasis will be given to the behaviour of this family of solutions with respect to the Gilbert damping parameter. We would like to emphasize that our analysis also includes the study of self-similar solutions of the Schr\"odinger map and the heat flow for harmonic maps into the 2-sphere as special cases. In particular, the results presented here recover some of the previously known results in the setting of the 1d-Schr\"odinger map equation.


title: Strain induced edge magnetism at zigzag edge in graphene quantum dot

abstract: We study the temperature dependent magnetic susceptibility of a strained graphene quantum dot by using the determinant quantum Monte Carlo method. Within the Hubbard model on a honeycomb lattice, our unbiased numerical results show that a relative small interaction $U$ may lead to a edge ferromagnetic like behavior in the strained graphene quantum dot, and a possible room temperature transition is suggested. Around half filling, the ferromagnetic fluctuations at the zigzag edge is strengthened both markedly by the on-site Coulomb interaction and the strain, especially in low temperature region. The resultant strongly enhanced ferromagnetic like behavior may be important for the development of many applications.


title: Improving MLMC for SDEs with application to the Langevin equation

abstract: This paper applies several well-known tricks from the numerical treatment of deterministic differential equations to improve the efficiency of the Multilevel Monte Carlo (MLMC) method for stochastic differential equations (SDEs) and especially the Langevin equation. We use modified equations analysis to circumvent the need for a strong-approximation theory for the integrator, and we apply this to introduce MLMC for Langevin-type equations with integrators based on operator splitting. We combine this with extrapolation and investigate the use of discrete random variables in place of the Gaussian increments, which is a well-known technique for the weak approximation of SDEs. We show that, for small-noise problems, discrete random variables can lead to an increase in efficiency of almost two orders of magnitude for practical levels of accuracy.


title: Revisiting the sensitivity studies for leptonic CP violation and mass hierarchy with T2K, NOvA and LBNE experiments

abstract: Precision measurement of the neutrino mixing parameters and the determination of mass hierarchy are the primary goals of the present and upcoming neutrino experiments. In this work, we study the sensitivity of T2K,NO$\nu$A and LBNE experiments to discover leptonic CP violation and the determination of neutrino mass hierarchy. We obtain the correlation between the CP violating phase $\delta_{CP}$ and the mixing angles $\theta_{13}$, $\theta_{23}$ and the sensitivity to determine the octant of atmospheric mixing angle $\theta_{23}$. The entire analysis is done for a total 10 years (5$\nu$+ 5$\bar \nu$) of running of T2K, NO$\nu$A and LBNE experiments. Furthermore, we also consider the impact of cross section uncertainties on the CP violation sensitivity of LBNE experiment.


title: A nonparametric two-sample hypothesis testing problem for random dot product graphs

abstract: We consider the problem of testing whether two finite-dimensional random dot product graphs have generating latent positions that are independently drawn from the same distribution, or distributions that are related via scaling or projection. We propose a test statistic that is a kernel-based function of the adjacency spectral embedding for each graph. We obtain a limiting distribution for our test statistic under the null and we show that our test procedure is consistent across a broad range of alternatives.


title: KIC7668647: a 14 day beaming sdB+WD binary with a pulsating subdwarf

abstract: The recently discovered subdwarf B (sdB) pulsator KIC7668647 is one of the 18 pulsating sdB stars detected in the Kepler field. It features a rich g-mode frequency spectrum, with a few low-amplitude p-modes at short periods. We use new ground-based low-resolution spectroscopy, and the near-continuous 2.88 year Kepler lightcurve, to reveal that KIC7668647 consists of a subdwarf B star with an unseen white-dwarf companion with an orbital period of 14.2d. An orbit with a radial-velocity amplitude of 39km/s is consistently determined from the spectra, from the orbital Doppler beaming seen by Kepler at 163ppm, and from measuring the orbital light-travel delay of 27 by timing of the many pulsations seen in the Kepler lightcurve. The white dwarf has a minimum mass of 0.40 M_sun. We use our high signal-to-noise average spectra to study the atmospheric parameters of the sdB star, and find that nitrogen and iron have abundances close to solar values, while helium, carbon, oxygen and silicon are underabundant relative to the solar mixture. We use the full Kepler Q06--Q17 lightcurve to extract 132 significant pulsation frequencies. Period-spacing relations and multiplet splittings allow us to identify the modal degree L for the majority of the modes. Using the g-mode multiplet splittings we constrain the internal rotation period at the base of the envelope to 46-48d as a first seismic result for this star. The few p-mode splittings may point at a slightly longer rotation period further out in the envelope of the star. From mode-visibility considerations we derive that the inclination of the rotation axis of the sdB in KIC7668647 must be around ~60 degrees. Furthermore, we find strong evidence for a few multiplets indicative of degree 3 <= L <= 8, which is another novelty in sdB-star observations made possible by Kepler.


title: Emulation of lossless exciton-polariton condensates by dual-core optical waveguides: Stability, collective modes, and dark solitons

abstract: We propose a possibility to simulate the exciton-polariton (EP) system in the lossless limit, which is not currently available in semiconductor microcavities, by means of a simple optical dual-core waveguide, with one core carrying the nonlinearity and operating close to the zero-group-velocity-dispersion (GVD) point, and the other core being linear and dispersive. Both 2D and 1D EP systems may be emulated by means of this optical setting. In the framework of this system, we find that, while the uniform state corresponding to the lower branch of the nonlinear dispersion relation is stable against small perturbations, the upper branch is always subject to the modulational instability (MI). The stability and instability are verified by direct simulations too. We analyze collective excitations on top of the stable lower-branch state, which include a Bogoliubov-like gapless mode and a gapped one. Analytical results are obtained for the corresponding sound velocity and energy gap. The effect of a uniform phase gradient (superflow) on the stability is considered too, with a conclusion that the lower-branch state becomes unstable above a critical wavenumber of the flux. Finally, we demonstrate that the stable 1D state may carry robust dark solitons.


title: Charge Recombination in Undoped Cuprates

abstract: We theoretically analyse the process of charge recombination in the planar Mott-Hubbard insulators with the aim to explain short picosecond-range lifetime of photoexcited carriers, experimentally studied via pump-probe experiments on the undoped cuprates. The recombination mechanism consists of two essential ingredients: the formation of a metastable s-type bound holon-doublon pair, i.e. the Mott exciton, and the decay of such an excitonic state via the multimagnon emission. In spite of the large gap that requires many bosons to be emitted, latter process is fast due to large exchange scale and strong charge-spin coupling in planar systems. As the starting microscopic model we consider the single-band Hubbard model, and then more realistic three-band model for cuprates, both leading to the same minimal one. The decay rate of the exciton is evaluated numerically via the Fermi golden rule, having consistency also with the direct time-evolution calculation. The decay rate reveals exponential dependence on the ratio of the Mott-Hubbard gap and the exchange coupling - the result qualitatively reproduced also within a toy exciton-boson model.


title: Chemical tagging of the Ursa Major moving group: A northern selection of FGK stars

abstract: Stellar kinematic groups are kinematical coherent groups of stars which might share a common origin.These groups spread through the Galaxy over time due to tidal effects caused by Galactic rotation and disc heating.However, the chemical information survives these processes. The information provided by the analysis of chemical elements can reveal the origin of these kinematic groups. Here we investigate the origin of the stars that belong to the Ursa Major Moving Group. We present high-resolution spectroscopic observations obtained from three different spectrographs of kinematically selected FGK stars of the Ursa Major moving group. Stellar atmospheric parameters (Teff, log(g), xi, and [Fe/H]) were determined using our own automatic code (StePar) which makes use of the sensitivity of iron equivalent widths measured in the spectra. We critically compare the StePar results with other methods (Teff values derived using the infrared flux method and log(g) values based on Hipparcos parallaxes). We derived the chemical abundances of 20 elements, and their [X/Fe] ratios of all stars in the sample. We perform a differential abundance analysis with respect to a reference star of the UMa MG (HD115043). We have also carried out a systematic comparison of the abundance pattern of the Ursa Major MG and the Hyades SC with the thin disc stellar abundances. Our chemical tagging analysis indicates that the Ursa Major MG is less affected by field star contamination than other moving groups (such as the Hyades SC). We find a roughly solar iron composition for the finally selected stars, whereas the [X/Fe] ratios are roughly sub-solar except for super-solar Barium abundance.We conclude that 29 out of 44 (i.e. 66 %) candidate stars share a similar chemical composition. In addition, we find that the abundance pattern of the Ursa Major MG might be marginally different from that of the Hyades SC.


title: Gravitational-wave observations of binary black holes: Effect of non-quadrupole modes

abstract: We study the effect of non-quadrupolar modes in the detection and parameter estimation of gravitational waves (GWs) from non-spinning black-hole binaries. We evaluate the loss of signal-to-noise ratio and the systematic errors in the estimated parameters when one uses a quadrupole-mode template family to detect GW signals with all the relevant modes, for target signals with total masses $20 M_\odot \leq M \leq 250 M_\odot$ and mass ratios $1 \leq q \leq 18$. Target signals are constructed by matching numerical-relativity simulations describing the late inspiral, merger and ringdown of the binary with post-Newtonian/effective-one-body waveforms describing the early inspiral. We find that waveform templates modeling only the quadrupolar modes of the GW signal are sufficient (loss of detection rate $< 10\%$) for the detection of GWs with mass ratios $q\leq4$ using advanced GW observatories. Neglecting the effect of non-quadrupole modes will introduce systematic errors in the estimated parameters. The systematic errors are larger than the expected $1\,\sigma$ statistical errors for binaries with large, unequal masses ($q\gtrsim4, M \gtrsim 150 M_\odot$), for sky-averaged signal-to-noise ratios larger than $8$. We provide a summary of the regions in the parameter space where neglecting non-quadrupole modes will cause unacceptable loss of detection rates and unacceptably large systematic biases in the estimated parameters.


title: Two-stage magneto-optical trapping and narrow-line cooling of $^6$Li atoms to high phase-space density

abstract: We report an experimental study of peak and phase-space density of a two-stage magneto-optical trap (MOT) of 6-Li atoms, which exploits the narrower $2S_{1/2}\rightarrow 3P_{3/2}$ ultra-violet (UV) transition at 323 nm following trapping and cooling on the more common D2 transition at 671 nm. The UV MOT is loaded from a red MOT and is compressed to give a high phase-space density up to $3\times 10^{-4}$. Temperatures as low as 33 $\mu$K are achieved on the UV transition. We study the density limiting factors and in particular find a value for the light-assisted collisional loss coefficient of $1.3 \pm0.4\times10^{-10}\,\textrm{cm}^3/\textrm{s}$ for low repumping intensity.


title: Exact solutions for classical Yang-Mills fields

abstract: We provide a set of exact solutions of the classical Yang-Mills equations. They have the property to satisfy a massive dispersion relation and hold in all gauges. These solutions can be used to describe the vacuum of the quantum Yang-Mills theory and so, they provide a general framework to build a quantum field theory. The components of the field become separated on a generic gauge but are all equal just in the Lorenz (Landau) gauge.


title: ADDiff: Semantic Differencing for Activity Diagrams

abstract: Activity diagrams (ADs) have recently become widely used in the modeling of workflows, business processes, and web-services, where they serve various purposes, from documentation, requirement definitions, and test case specifications, to simulation and code generation. As models, programs, and systems evolve over time, understanding changes and their impact is an important challenge, which has attracted much research efforts in recent years. In this paper we present addiff, a semantic differencing operator for ADs. Unlike most existing approaches to model comparison, which compare the concrete or the abstract syntax of two given diagrams and output a list of syntactical changes or edit operations, addiff considers the Semantics of the diagrams at hand and outputs a set of diff witnesses, each of which is an execution trace that is possible in the first AD and is not possible in the second. We motivate the use of addiff, formally define it, and show two algorithms to compute it, a concrete forward-search algorithm and a symbolic xpoint algorithm, implemented using BDDs and integrated into the Eclipse IDE. Empirical results and examples demonstrate the feasibility and unique contribution of addiff to the state-of-the-art in version comparison and evolution analysis.


title: Modal Object Diagrams

abstract: While object diagrams (ODs) are widely used as a means to document object-oriented systems, they are expressively weak, as they are limited to describe specific possible snapshots of the system at hand. In this paper we introduce modal object diagrams (MODs), which extend the classical OD language with positive/negative and example/invariant modalities. The extended language allows the designer to specify not only positive example models but also negative examples, ones that the system should not allow, positive invariants, ones that all system's snapshots should include, and negative invariants, ones that no system snapshot is allowed to include. Moreover, as a primary application of the extended language we provide a formal verification technique that decides whether a given class diagram satisfies (i.e., models) a multi-modal object diagrams specification. In case of a negative answer, the technique outputs relevant counterexample object models, as applicable. The verification is based on a reduction to Alloy. The ideas are implemented in a prototype Eclipse plug-in. Examples show the usefulness of the extended language in specifying structural requirements of object-oriented systems in an intuitive yet expressive way.


title: Constructions of words rich in palindromes and pseudopalindromes

abstract: A narrow connection between infinite binary words rich in classical palindromes and infinite binary words rich simultaneously in palindromes and pseudopalindromes (the so-called $H$-rich words) is demonstrated. The correspondence between rich and $H$-rich words is based on the operation $S$ acting over words over the alphabet $\{0,1\}$ and defined by $S(u_0u_1u_2\ldots) = v_1v_2v_3\ldots$, where $v_i= u_{i-1} + u_i \mod 2$. The operation $S$ enables us to construct a new class of rich words and a new class of $H$-rich words. Finally, the operation $S$ is considered on the multiliteral alphabet $\mathbb{Z}_m$ as well and applied to the generalized Thue--Morse words. As a byproduct, new binary rich and $H$-rich words are obtained by application of $S$ on the generalized Thue--Morse words over the alphabet $\mathbb{Z}_4$.


title: CDDiff: Semantic Differencing for Class Diagrams

abstract: Class diagrams (CDs), which specify classes and the relationships between them, are widely used for modeling the structure of object-oriented systems. As models, programs, and systems evolve over time, during the development lifecycle and beyond it, effective change management is a major challenge in software development, which has attracted much research efforts in recent years. In this paper we present cddiff, a semantic diff operator for CDs. Unlike most existing approaches to model comparison, which compare the concrete or the abstract syntax of two given diagrams and output a list of syntactical changes or edit operations, cddiff considers the semantics of the diagrams at hand and outputs a set of diff witnesses, each of which is an object model that is possible in the first CD and is not possible in the second. We motivate the use of cddiff, formally define it, and show how it is computed. The computation is based on a reduction to Alloy. The work is implemented in a prototype Eclipse plug-in. Examples show the unique contribution of our approach to the state-of-the-art in version comparison and evolution analysis.


title: An Operational Semantics for Activity Diagrams using SMV

abstract: This document defines an operational semantics for activity diagrams (ADs) using a translation to SMV. The translation is inspired by the work of Eshuis [Esh06] and extends it with support for data. Each execution step of the SMV module obtained from an AD represents an executed action of this AD with interleaved execution of concurrent branches. An implementation of the given translation was used in the context of semantic differencing for ADs [MRR11]. We define the translation and give two examples, showing ADs and their complete representation in SMV.


title: From Hodge Index Theorem to the number of points of curves over finite fields

abstract: We push further the classical proof of Weil upper bound for the number of rational points of an absolutely irreducible smooth projective curve $X$ over a finite field in term of euclidean relationships between the Neron Severi classes in $X\times X$ of the graphs of iterations of the Frobenius morphism. This allows us to recover Ihara's bound, which can be seen as a {\em second order} Weil upper bound, to establish a new {\em third order} Weil upper bound, and using {\tt magma} to produce numerical tables for {\em higher order} Weil upper bounds. We also give some interpretation for the defect of exact recursive towers, and give several new bounds for points of curves in relative situation $X \rightarrow Y$.


title: Delta Modeling for Software Architectures

abstract: Architectural modeling is an integral part of modern software development. In particular, diverse systems benefit from precise architectural models since similar components can often be reused between different system variants. However, during all phases of diverse system development, system variability has to be considered and modeled by appropriate means. Delta modeling is a language-independent approach for modeling system variability. A set of diverse systems is represented by a core system and a set of deltas specifying modifications to the core system. In this paper, we give a first sketch of how to apply delta modeling in MontiArc, an existing architecture description language, in order to obtain an integrated modeling language for architectural variability. The developed language, MontiArc, allows the modular modeling of variable software architectures and supports proactive as well as extractive product line development.


title: Metamodelling: State of the Art and Research Challenges

abstract: This chapter discusses the current state of the art, and emerging research challenges, for metamodelling. In the state-of-the-art review on metamodelling, we review approaches, abstractions, and tools for metamodelling, evaluate them with respect to their expressivity, investigate what role(s) metamodels may play at run-time and how semantics can be assigned to metamodels and the domain specific modeling languages they could define. In the emerging challenges section on metamodelling we highlight research issues regarding the management of complexity, consistency, and evolution of metamodels, and how the semantics of metamodels impacts each of these.


title: A summation formula for the Rankin-Selberg monoid and a nonabelian trace formula

abstract: Let $F$ be a number field and let $\mathbb{A}_F$ be its ring of adeles. Let $B$ be a quaternion algebra over $F$ and let $\nu:B \to F$ be the reduced norm. Consider the reductive monoid $M$ over $F$ whose points in an $F$-algebra $R$ are given by \begin{align*} M(R):=\{(\gamma_1,\gamma_2) \in (B \otimes_F R)^{2}:\nu (\gamma_1)=\nu(\gamma_2)\}. \end{align*} Motivated by an influential conjecture of Braverman and Kazhdan we prove a summation formula analogous to the Poisson summation formula for certain spaces of functions on the monoid. As an application, we define new zeta integrals for the Rankin-Selberg $L$-function and prove their basic properties. We also use the formula to prove a nonabelian twisted trace formula, that is, a trace formula whose spectral side is given in terms of automorphic representations of the unit group of $M$ that are isomorphic (up to a twist by a character) to their conjugates under a simple nonabelian Galois group.


title: Model Evolution and Management

abstract: As complex software and systems development projects need models as an important planning, structuring and development technique, models now face issues resolved for software earlier: models need to be versioned, differences captured, syntactic and semantic correctness checked as early as possible, documented, presented in easily accessible forms, etc. Quality management needs to be established for models as well as their relationship to other models, to code and to requirement documents precisely clarified and tracked. Business and product requirements, product technologies as well as development tools evolve. This also means we need evolutionary technologies both for models within a language and if the language evolves also for an upgrade of the models. This chapter discusses the state of the art in model management and evolution and sketches what is still necessary for models to become as usable and used as software.


title: On the pathwise approximation of stochastic differential equations

abstract: We consider one-step methods for integrating stochastic differential equations and prove pathwise convergence using ideas from rough path theory. In contrast to alternative theories of pathwise convergence, no knowledge is required of convergence in pth mean and the analysis starts from a pathwise bound on the sum of the truncation errors. We show how the theory is applied to the Euler-Maruyama method with fixed and adaptive time-stepping strategies. The assumption on the truncation errors suggests an error-control strategy and we implement this as an adaptive time-stepping Euler-Maruyama method using bounded diffusions. We prove the adaptive method converges and show some computational experiments.


title: The introductory astronomy course at the University of Cape Town: probing student perspectives

abstract: We report on research carried out to improve teaching and student engagement in the introductory astronomy course at the University of Cape Town. This course is taken by a diverse range of students, including many from educationally disadvantaged backgrounds. We describe the development of an instrument, the Introductory Astronomy Questionnaire (IAQ), which we administered as pre- and post-tests to students enrolled in the course. The instrument comprised a small number of questions which probed three areas of interest: student motivation and expectations, astronomy content, and worldview. Amongst our findings were that learning gains were made in several conceptual areas, and that students appeared to develop a more nuanced view of the nature of astronomy. There was some evidence that the course had a positive impact on students' worldviews, particularly their attitudes towards science. We also identified a promising predictor of course success that could in future be used to identify students requiring special teaching intervention.


title: The Energy Navigator - A Web based Platform for functional Quality Mangement in Buildings

abstract: Energy efficient buildings require high quality standards for all their technical equipment to enable their efficient and successful operation and management. Building simulations enable engineers to design integrated HVAC systems with complex building automation systems to control all their technical functions. Numerous studies show that especially these supposedly innovative buildings often do not reach their energy efficiency targets when in operation. Key reasons for the suboptimal performance are imprecise functional descriptions and a lack of commissioning and monitoring of the technical systems that leave suboptimal operation undetected. In the research project "Energy Navigator" we create a web-based platform that enables engineers to create a comprehensive and precise functional description for the buildings services. The system reuses this functional description - written in an appropriate domain specific language - to control the building operation, to signal malfunctions or faults, and in particular to measure energy efficiency over time. The innovative approach of the platform is the combination of design and control within one artifact linking the phases of design and operation and improving the cost effectiveness for both services. The paper will describe the concept of the platform, the technical innovation and first application examples of the research project.


title: Investigation of Partition Cells as a Structural Basis Suitable for Assessments of Individual Scientists

abstract: Individual, excellent scientists have become increasingly important in the research funding landscape. Accurate bibliometric measures of an individual's performance could help identify excellent scientists, but still present a challenge. One crucial aspect in this respect is an adequate delineation of the sets of publications that determine the reference values to which a scientist's publication record and its citation impact should be compared. The structure of partition cells formed by intersecting fixed subject categories in a database has been proposed to approximate a scientist's specialty more closely than can be done with the broader subject categories. This paper investigates this cell structure's suitability as an underlying basis for methodologies to assess individual scientists, from two perspectives: (1) Proximity to the actual structure of publication records of individual scientists: The distribution and concentration of publications over the highly fragmented structure of partition cells are examined for a sample of ERC grantees; (2) Proximity to customary levels of accuracy: Differences in commonly used reference values (mean expected number of citations per publication, and threshold number of citations for highly cited publications) between adjacent partition cells are compared to differences in two other dimensions: successive publication years and successive citation window lengths. Findings from both perspectives are in support of partition cells rather than the larger subject categories as a journal based structure on which to construct and apply methodologies for the assessment of highly specialized publication records such as those of individual scientists.


title: Towards a Semantics of Activity Diagrams with Semantic Variation Points

abstract: UML activity diagrams have become an established notation to model control and data ow on various levels of abstraction, ranging from fine-grained descriptions of algorithms to high-level workflow models in business applications. A formal semantics has to capture the flexibility of the interpretation of activity diagrams in real systems, which makes it inappropriate to define a fixed formal semantics. In this paper, we define a semantics with semantic variation points that allow for a customizable, application-specific interpretation of activity diagrams. We examine concrete variants of the activity diagram semantics which may also entail variants of the syntax re ecting the intended use at hand.


title: MontiCore: a Framework for Compositional Development of Domain Specific Languages

abstract: Domain specific languages (DSLs) are increasingly used today. Coping with complex language definitions, evolving them in a structured way, and ensuring their error freeness are the main challenges of DSL design and implementation. The use of modular language definitions and composition operators are therefore inevitable in the independent development of language components. In this article, we discuss these arising issues by describing a framework for the compositional development of textual DSLs and their supporting tools. We use a redundance-free definition of a readable concrete syntax and a comprehensible abstract syntax as both representations significantly overlap in their structure. For enhancing the usability of the abstract syntax, we added concepts like associations and inheritance to a grammar- based definition in order to build up arbitrary graphs (as known from metamodeling). Two modularity concepts, grammar inheritance and embedding, are discussed. They permit compositional language definition and thus simplify the extension of languages based on already existing ones. We demonstrate that compositional engineering of new languages is a useful concept when project-individual DSLs with appropriate tool support are defined.


title: Generative Software Development

abstract: Generation of software from modeling languages such as UML and domain specific languages (DSLs) has become an important paradigm in software engineering. In this contribution, we present some positions on software development in a model based, generative manner based on home grown DSLs as well as the UML. This includes development of DSLs as well as development of models in these languages in order to generate executable code, test cases or models in different languages. Development of formal DSLs contains concepts of meta-models or grammars (syntax), context conditions (static analysis and quality assurance) as well as possibilities to define the semantics of a language. The growing number and complexity of DSLs is addressed by concepts for the modular and compositional development of languages and their tools. Moreover, we introduce approaches to code generation and model transformation. Finally, we give an overview of the relevance of DSLs for various steps of software development processes.


title: Thermodynamics of Black Holes in Massive Gravity

abstract: We present a class of charged black hole solutions in an ($n+2)$-dimensional massive gravity with a negative cosmological constant, and study thermodynamics and phase structure of the black hole solutions both in grand canonical ensemble and canonical ensemble. The black hole horizon can have a positive, zero or negative constant curvature characterized by constant $k$. By using Hamiltonian approach, we obtain conserved charges of the solutions and find black hole entropy still obeys the area formula and the gravitational field equation at the black hole horizon can be cast into the first law form of black hole thermodynamics. In grand canonical ensemble, we find that thermodynamics and phase structure depends on the combination $k -\mu^2/4 +c_2 m^2$ in the four dimensional case, where $\mu$ is the chemical potential and $c_2m^2$ is the coefficient of the second term in the potential associated with graviton mass. When it is positive, the Hawking-Page phase transition can happen, while as it is negative, the black hole is always thermodynamically stable with a positive capacity. In canonical ensemble, the combination turns out to be $k+c_2m^2$ in the four dimensional case. When it is positive, a first order phase transition can happen between small and large black holes if the charge is less than its critical one. In higher dimensional ($n+2 \ge 5$) case, even when the charge is absent, the small/large black hole phase transition can also appear, the coefficients for the third ($c_3m^2$) and/or the fourth ($c_4m^2$) terms in the potential associated with graviton mass in the massive gravity can play the same role as the charge does in the four dimensional case.


title: On the Capacity Region of the Two-user Interference Channel with a Cognitive Relay

abstract: This paper considers a variation of the classical two-user interference channel where the communication of two interfering source-destination pairs is aided by an additional node that has a priori knowledge of the messages to be transmitted, which is referred to as the it cognitive relay. For this Interference Channel with a Cognitive Relay (ICCR) In particular, for the class of injective semi-deterministic ICCRs, a sum-rate upper bound is derived for the general memoryless ICCR and further tightened for the Linear Deterministic Approximation (LDA) of the Gaussian noise channel at high SNR, which disregards the noise and focuses on the interaction among the users' signals. The capacity region of the symmetric LDA is completely characterized except for the regime of moderately weak interference and weak links from the CR to the destinations. The insights gained from the analysis of the LDA are then translated back to the symmetric Gaussian noise channel (GICCR). For the symmetric GICCR, an approximate characterization (to within a constant gap) of the capacity region is provided for a parameter regime where capacity was previously unknown. The approximately optimal scheme suggests that message cognition at a relay is beneficial for interference management as it enables simultaneous over the air neutralization of the interference at both destinations.


title: Collapsing spherical stars in f(R) gravity

abstract: We perform a careful investigation of the problem of physically realistic gravitational collapse of massive stars in f(R)-gravity. We show that the extra matching conditions that arise in the modified gravity imposes strong constraints on the stellar structure and thermodynamic properties. In our opinion these constraints are unphysical. We prove that no homogeneous stars with non-constant Ricci scalar can be matched smoothly with a static exterior for any nonlinear function f(R). Therefore, these extra constraints make classes of physically realistic collapse scenarios in general relativity, non-admissible in these theories. We also find an exact solution for an inhomogeneous collapsing star in the Starobinski model that obeys all the energy and matching conditions. However, we argue that such solutions are fine-tuned and unstable to matter perturbations. Possible consequences on black hole physics and the cosmic censorship conjecture are also discussed.


title: Estimated constraints on t-channel Leptoquark exchange from LHC contact interaction searches

abstract: The t-channel exchange of a first generation leptoquark could contribute to the cross-section for q q-bar to e+e-. The leptoquark is off-shell, so this process can be sensitive to leptoquarks beyond the mass reach of pair production searches at the LHC (currently m_{LQ}> 830 GeV). We attempt to analytically translate ATLAS bounds on $ (\bar{q} \gamma ^\mu q) (\bar{e} \gamma _\mu e) $ contact interactions to the various scalar leptoquarks, and obtain a bound on their quark-lepton coupling of order $\lambda^2 \leq (m_{LQ}/2$ TeV)$^2$. The greatest difficulty in this translation is that the leptoquarks do not induce the contact interaction studied by ATLAS, so the interference with the Standard Model is different. If bounds were quoted on the functional dependance of the cross-section on s-hat, rather than on particular contact interaction models, this difficulty in applying experimental bounds to theoretical models could be circumvented.


title: Rapid Integration and Calibration of New Sensors Using the Berkeley Aachen Robotics Toolkit (BART)

abstract: After the three DARPA Grand Challenge contests many groups around the world have continued to actively research and work toward an autonomous vehicle capable of accomplishing a mission in a given context (e.g. desert, city) while following a set of prescribed rules, but none has been completely successful in uncontrolled environments, a task that many people trivially fulfill every day. We believe that, together with improving the sensors used in cars and the artificial intelligence algorithms used to process the information, the community should focus on the systems engineering aspects of the problem, i.e. the limitations of the car (in terms of space, power, or heat dissipation) and the limitations of the software development cycle. This paper explores these issues and our experiences overcoming them.


title: Electromagnetic normal modes and Casimir effects in layered structures

abstract: We derive a general procedure for finding the electromagnetic normal modes in layered structures. We apply this procedure to planar, spherical and cylindrical structures. These normal modes are important in a variety of applications. They are the only input needed in calculations of Casimir interactions. We present explicit expression for the condition for modes and Casimir energy for a large number of specific geometries. The layers are allowed to be two-dimensional so graphene and graphene-like sheets as well as two-dimensional electron gases can be handled within the formalism. Also forces on atoms in layered structures are obtained. One side-result is the van der Waals and Casimir-Polder interaction between two atoms.


title: Towards Architectural Programming of Embedded Systems

abstract: Integrating architectural elements with a modern programming language is essential to ensure a smooth combination of architectural design and programming. In this position statement, we motivate a combination of architectural description for distributed, asynchronously communicating systems and Java as an example for such an integration. The result is an ordinary programming language, that exhibits architecture, data structure and behavior within one view. Mappings or tracing between different views is unnecessary. A prototypical implementation of a compiler demonstrates the possibilities and challenges of architectural programming.


title: Extensible Validation Framework for DSLs using MontiCore on the Example of Coding Guidelines

abstract: Unit test environments are today's state of the art for many programming languages to keep the software's quality above a certain level. However, the software's syntactic quality necessary for the developers themselves is not covered by the aforementioned frameworks. This paper presents a tool realized using the DSL framework MontiCore for automatically validating easily extensible coding guidelines for any domain specific language or even general purpose languages like C++ and its application in an automotive R&D project where a German OEM and several suppliers were involved. Moreover, it was exemplary applied on UML/P-based sequence charts as well.


title: ProcDSL + ProcEd - a Web-based Editing Solution for Domain Specific Process-Engineering

abstract: In a high-tech country products are becoming rapidly more complex. To manage the development process as well as to encounter unforeseen challenges, the understanding and thus the explicit modeling of organizational workflows is more important than ever. However, available tools to support this work, in most cases force a new notation upon the company or cannot be adapted to a given publication layout in a reasonable amount of time. Additionally, collaboration among colleagues as well as different business units is complicated and less supported. Since it is of vital importance for a company to be able to change its processes fast and adapt itself to new market situations, the need for tools supporting this evolution is equally crucial. In this paper we present a domain specific language (DSL) developed for modeling a company's workflows. Furthermore, the DSL is embedded in a web-based editor providing transparent access using modern web 2.0 technologies. Results of the DSL's as well as the editor's application to document, model, and improve selected workflows of a German automotive manufacturer are presented.


title: Design Guidelines for Domain Specific Languages

abstract: Designing a new domain specific language is as any other complex task sometimes error-prone and usually time consuming, especially if the language shall be of high-quality and comfortably usable. Existing tool support focuses on the simplification of technical aspects but lacks support for an enforcement of principles for a good language design. In this paper we investigate guidelines that are useful for designing domain specific languages, largely based on our experience in developing languages as well as relying on existing guidelines on general purpose (GPLs) and modeling languages. We defined guidelines to support a DSL developer to achieve better quality of the language design and a better acceptance among its users.


title: Fluctuations, structure factor and polytetrahedra in random packings of sticky hard spheres

abstract: Sequentially-built random sphere-packings have been numerically studied in the packing fraction interval $0.329 < \gamma < 0.586$. For that purpose fast running geometrical algorithms have been designed in order to build about 300 aggregates, containing $10^6$ spheres each one, which allowed a careful study of the local fluctuations and an improved accuracy in the calculations of the pair distribution $P(r)$ and structure factors $S(Q)$ of the aggregates. Among various parameters (Voronoi tessellation, contact coordination number distribution,...), fluctuations were quantitatively evaluated by the direct evaluation of the fluctuations of the local sphere number density, which appears to follow a power law. The FWHM of the Voronoi cells volume shows a regular variation over the whole packing fraction range. Dirac peaks appear on the pair correlation function as the packing fraction of the aggregates decreases, indicating the growth of larger and larger polytetrahedra, which manifest in two ways on the structure factor, at low and large $Q$values. These low PF aggregates have a composite structure made of regular polytetrahedra embedded in a more disordered matrix. Incidentally, the irregularity index of the building tetrahedron appears as a better parameter than the packing fraction to describe various features of the aggregates structure.


title: MontiWeb - Modular Development of Web Information Systems

abstract: The development process of web information systems is often tedious, error prone and usually involves redundant steps of work. Therefore, it is rather e_x000E_fficient to employ a modeldriven approach for the systematic aspects that comprise such a system. This involves models for the data structure that shall be handled by the system (here: class diagrams), various editable and read-only presentations (views) on combinations and extractions of the underlying data (here: a special view language) and ways to connect these views and define data flow between them (here: activity diagrams). In this paper, we present the MontiWeb approach to model and generate these aspects in a modular manner by incorperating the MontiCore framework. Therefor we shortly introduce the infrastructure that helps to develop modular systems. This involves the whole development process from defining the modeling languages to final code generation as well as all steps in between. We present the text-based class and activity diagram languages as well as a view language that are used to model our system.


title: On the propagation of regularities in solutions of the Benjamin-Ono equation

abstract: We shall deduce some special regularity properties of solutions to the IVP associated to the Benjamin-Ono equation. Mainly, for datum $u_0\in H^{3/2}(\mathbb R)$ whose restriction belongs to $H^m((b,\infty))$ for some $m\in\mathbb Z^+,\,m\geq 2,$ and $b\in \mathbb R$ we shall prove that the restriction of the corresponding solution $u(\cdot,t)$ belongs to $H^m((\beta,\infty))$ for any $\beta\in \mathbb R$ and any $t>0$. Therefore, this type of regularity of the datum travels with infinite speed to its left as time evolves.


title: Microwave Experiments Simulating Quantum Search and Directed Transport in Artificial Graphene

abstract: A series of quantum search algorithms have been proposed recently providing an algebraic speedup compared to classical search algorithms from $N$ to $\sqrt{N}$, where $N$ is the number of items in the search space. In particular, devising searches on regular lattices has become popular in extending Grover's original algorithm to spatial searching. Working in a tight-binding setup, it could be demonstrated, theoretically, that a search is possible in the physically relevant dimensions 2 and 3 if the lattice spectrum possesses Dirac points. We present here a proof of principle experiment implementing wave search algorithms and directed wave transport in a graphene lattice arrangement. The idea is based on bringing localized search states into resonance with an extended lattice state in an energy region of low spectral density---namely, at or near the Dirac point. The experiment is implemented using classical waves in a microwave setup containing weakly coupled dielectric resonators placed in a honeycomb arrangement, i.e., artificial graphene. Furthermore, we investigate the scaling behavior experimentally using linear chains.


title: Parallel Algorithms for Constrained Tensor Factorization via the Alternating Direction Method of Multipliers

abstract: Tensor factorization has proven useful in a wide range of applications, from sensor array processing to communications, speech and audio signal processing, and machine learning. With few recent exceptions, all tensor factorization algorithms were originally developed for centralized, in-memory computation on a single machine; and the few that break away from this mold do not easily incorporate practically important constraints, such as nonnegativity. A new constrained tensor factorization framework is proposed in this paper, building upon the Alternating Direction method of Multipliers (ADMoM). It is shown that this simplifies computations, bypassing the need to solve constrained optimization problems in each iteration; and it naturally leads to distributed algorithms suitable for parallel implementation on regular high-performance computing (e.g., mesh) architectures. This opens the door for many emerging big data-enabled applications. The methodology is exemplified using nonnegativity as a baseline constraint, but the proposed framework can more-or-less readily incorporate many other types of constraints. Numerical experiments are very encouraging, indicating that the ADMoM-based nonnegative tensor factorization (NTF) has high potential as an alternative to state-of-the-art approaches.


title: Visible optical beats at the hertz level

abstract: We present a lecture demonstration which produces a visible, beating interference pattern that is the optical analog of demonstrations which produce audible, beating sound-wave interference. The setup is a compact, portable Mach-Zehnder interferometer made of optical components commonly found in laser physics labs. This apparatus may also be built and used in advanced laboratory courses to illustrate concepts in interferometry and laser light modulation.


title: Symplectic embeddings of 4-dimensional ellipsoids into polydiscs

abstract: McDuff and Schlenk have recently determined exactly when a four-dimensional symplectic ellipsoid symplectically embeds into a symplectic ball. Similarly, Frenkel and M\"uller have recently determined exactly when a symplectic ellipsoid symplectically embeds into a symplectic cube. Symplectic embeddings of more complicated structures, however, remain mostly unexplored. We study when a symplectic ellipsoid $E(a,b)$ symplectically embeds into a polydisc $P(c,d)$. We prove that there exists a constant $C$ depending only on $d/c$ (here, $d$ is assumed greater than $c$) such that if $b/a$ is greater than $C$, then the only obstruction to symplectically embedding $E(a,b)$ into $P(c,d)$ is the volume obstruction. We also conjecture exactly when an ellipsoid embeds into a scaling of $P(1,b)$ for $b$ greater than or equal to $6$, and conjecture about the set of $(a,b)$ such that the only obstruction to embedding $E(1,a)$ into a scaling of $P(1,b)$ is the classical volume. Finally, we verify our conjecture for $b = \frac{13}{2}$.


title: Ideas in transverse spin physics

abstract: Three simple ideas about transverse spin observables are presented for the purpose of stimulating discussion. The manuscript is based on a presentation at the "Transversity 2014" workshop in Torre Chia, Sardinia, Italy on June 9-13, 2014 where approximately sixty experts on transverse spin physics had gathered to share recent results in an atmosphere of sun-drenched intensity.


title: Quasistationary distributions for one-dimensional diffusions with singular boundary points

abstract: In the present work we characterize the existence of quasistationary distributions for diffusions on $(0,\infty)$ allowing singular behavior at $0$ and $\infty$. If absorption at 0 is certain, we show that there exists a quasistationary distribution as soon as the spectrum of the generator is strictly positive. This complements results of Collet et al. (Ann. Probab. 2009) and Kolb and Steinsaltz (Ann. Probab. 2012) for $0$ being a regular boundary point and extends results by Collet et al. (Ann. Probab. 2009) on singular diffusions.


title: Black-box Integration of Heterogeneous Modeling Languages for Cyber-Physical Systems

abstract: Robots belong to a class of Cyber-Physical Systems where complex software as a mobile device has to full tasks in a complex environment. Modeling robotics applications for analysis and code generation requires modeling languages for the logical software architecture and the system behavior. The MontiArcAutomaton modeling framework integrates six independently developed modeling languages to model robotics applications: a component & connector architecture description language, automata, I/O tables, class diagrams, OCL, and a Java DSL. We describe how we integrated these languages into MontiArcAutomaton a-posteriori in a black-box integration fashion.


title: Adaptation is Unnecessary in L1-"Adaptive" Control

abstract: We show in the paper that the, so--called, "new architecture of L_1-Adaptive Control" is, indeed, different from classical model reference adaptive control. Alas, it is not new, since it exactly coincides with a full--state feedback, linear time--invariant proportional plus integral controller (with a decaying additive disturbance).


title: Symbolic regression of generative network models

abstract: Networks are a powerful abstraction with applicability to a variety of scientific fields. Models explaining their morphology and growth processes permit a wide range of phenomena to be more systematically analysed and understood. At the same time, creating such models is often challenging and requires insights that may be counter-intuitive. Yet there currently exists no general method to arrive at better models. We have developed an approach to automatically detect realistic decentralised network growth models from empirical data, employing a machine learning technique inspired by natural selection and defining a unified formalism to describe such models as computer programs. As the proposed method is completely general and does not assume any pre-existing models, it can be applied "out of the box" to any given network. To validate our approach empirically, we systematically rediscover pre-defined growth laws underlying several canonical network generation models and credible laws for diverse real-world networks. We were able to find programs that are simple enough to lead to an actual understanding of the mechanisms proposed, namely for a simple brain and a social network.


title: Sketching Cuts in Graphs and Hypergraphs

abstract: Sketching and streaming algorithms are in the forefront of current research directions for cut problems in graphs. In the streaming model, we show that $(1-\epsilon)$-approximation for Max-Cut must use $n^{1-O(\epsilon)}$ space; moreover, beating $4/5$-approximation requires polynomial space. For the sketching model, we show that $r$-uniform hypergraphs admit a $(1+\epsilon)$-cut-sparsifier (i.e., a weighted subhypergraph that approximately preserves all the cuts) with $O(\epsilon^{-2} n (r+\log n))$ edges. We also make first steps towards sketching general CSPs (Constraint Satisfaction Problems).


title: Anisotropy of spin-orbit induced electron spin relaxation in [001] and [111] grown GaAs quantum dots

abstract: We report a systematic study of the spin relaxation anisotropy between single electron Zeeman sublevels in cuboidal GaAs quantum dots (QDs). The QDs are subject to an in-plane magnetic field. As the field orientation varies, the relaxation rate oscillates periodically, showing ``magic'' angles where the relaxation rate is suppressed by several orders of magnitude. This behavior is found in QDs with different shapes, heights, crystallographic orientations and external fields. The origin of these angles can be traced back to the symmetries of the spin admixing terms of the Hamiltonian. In [001] grown QDs, the suppression angles are different for Rashba and Dresselhaus spin-orbit terms. By contrast, in [111] grown QDs they are the same, which should facilitate a thorough suppression of spin-orbit induced relaxation. Our results evidence that cubic Dresselhaus terms play a critical role in determining the spin relaxation anisotropy even in quasi-2D QDs.


title: Plasma turbulence simulations with X-points using the flux-coordinate independent approach

abstract: In this work, the Flux-Coordinate Independent (FCI) approach to plasma turbulence simulations is formulated for the case of generic, static magnetic fields, including those possessing stochastic field lines. It is then demonstrated that FCI is applicable to nonlinear turbulent problems with and without X-point geometry. In particular, by means of simulations with the FENICIA code, it is shown that the standard features of ITG modes are recovered with reduced toroidal resolution. Finally, ITG turbulence under the influence of a static island is studied on the transport timescale with ITER-like parameters, showing the wide range of applicability of the method.


title: D.C. Josephson transport by quartets and other Andreev resonances in superconducting bijunctions

abstract: Bijunctions are three-terminal Josephson junctions where three superconductors are connected by a single weak link made of a metallic region or of quantum dots. Biasing two of the superconductors with commensurate voltages yields Andreev resonances that produce d.c. Josephson currents made of correlated Cooper pairs. For instance with applied voltages (0, V,-V), quartets formed by two entangled Cooper pairs are emitted by one reservoir towards the two others. Theory involving non-equilibrium Green's functions reveal the microsopic mechanism at play, e.g. multiple coherent Andreev reflections that provide an energy-conserving and fully coherent channel. Recent experiments on diffusive Aluminum-Copper bijunctions show transport anomalies that are interpreted in terms of quartet resonances.


title: Anisotropy and Size Effects on the Optical Spectra of Polycyclic Aromatic Hydrocarbons

abstract: The electronic and optical properties of polycyclic aromatic hydrocarbons (PAHs) present a strong dependence on their size and geometry. We tackle this issue by analyzing the spectral features of two prototypical classes of PAHs, belonging to D6h and D2h symmetry point groups and related to coronene as multifunctional seed. While the size variation induces an overall red shift of the spectra and a redistribution of the oscillator strength between the main peaks, a lower molecular symmetry is responsible for the appearance of new optical features. Along with broken molecular orbital degeneracies, optical peaks split and dark states are activated in the low-energy part of the spectrum. Supported by a systematic analysis of the composition and the character of the optical transitions, our results contribute in shedding light to the mechanisms responsible for spectral modifications in the visible and near UV absorption bands of medium-size PAHs.


title: Characterization of a class of embeddings for function spaces with Muckenhoupt weights

abstract: For function spaces equipped with Muckenhoupt weights, the validity of continuous Sobolev embeddings in case $p_0\leq p_1$ is characterized. Extensions to Jawerth-Franke embeddings, vector-valued spaces and examples involving some prominent weights are also provided.


title: Nature Itself in a Mirror Space-Time

abstract: The unity of the structure of matter fields with flavor symmetry laws involves that the left-handed neutrino in the field of emission can be converted into a right-handed one and vice versa. These transitions together with classical solutions of the Dirac equation testify in favor of the unidenticality of masses, energies, and momenta of neutrinos of the different components. If we recognize such a difference in masses, energies, and momenta, accepting its ideas about that the left-handed neutrino and the right-handed antineutrino refer to long-lived leptons, and the right-handed neutrino and the left-handed antineutrino are short-lived fermions, we would follow the mathematical logic of the Dirac equation in the presence of the flavor symmetrical mass, energy, and momentum matrices. From their point of view, nature itself separates Minkowski space into left and right spaces concerning a certain middle dynamical line. Thereby, it characterizes any Dirac particle both by left and by right space-time coordinates. It is not excluded therefore that whatever the main purposes each of earlier experiments about sterile neutrinos, namely, about right-handed short-lived neutrinos may serve as the source of facts confirming the existence of a mirror Minkowski space-time.