title: Picosecond strain dynamics in Ge$_{2}$Sb$_{2}$Te$_{5}$ monitored by time-resolved x-ray diffraction

abstract: Coherent phonons (CP) generated by laser pulses on the femtosecond scale have been proposed as a means to achieve ultrafast, non-thermal switching in phase-change materials such as Ge$_{2}$Sb$_{2}$Te$_{5}$(GST). Here we use ultrafast optical pump pulses to induce coherent acoustic phonons and stroboscopically measure the corresponding lattice distortions in GST using 100 ps x-ray pulses from the ESRF storage ring. A linear-chain model provides a good description of the observed changes in the diffraction signal, however, the magnitudes of the measured shifts are too large to be explained by thermal effects alone implying the presence of transient non-equilibrium electron heating in addition to temperature driven expansion. The information on the movement of atoms during the excitation process can lead to greater insight into the possibilities of using CP-induced phase-transitions in GST.


title: Inflation in a modified radiative seesaw model

abstract: The existence of the inflationary era in the early Universe seems to be strongly supported by recent CMB observations. However, only a few realistic inflation scenarios which have close relation to particle physics seem to have been known unfortunately. The radiative neutrino mass model with inert doublet dark matter is a promising model for the present experimental issues which cannot be explained within the standard model. In order to make the model include inflation, we extend it by a complex scalar field with a specific potential. This scalar could be closely related to the neutrino mass generation at a TeV scale as well as inflation. We show that the inflation favored by the CMB observations could be realized even if inflaton takes sub-Planck values during inflation.


title: Supersolutions to degenerated logistic equation type

abstract: In this work we provide a method for building up a strictly positive supersolution for the steady state of a degenerated logistic equation type, i.e., when the weight function vanishes on the boundary of the domain. This degenerated system is related in obtaining the so-called large solutions. Previously, this problem was handled as the limit case of non degenerated approaching problems. Our method can be adapted straightforwardly to degenerated boundary value problems.


title: A geometric framework for mixed quantum states based on a K\"{a}hler structure

abstract: In this paper we introduce a geometric framework for mixed quantum states based on a K\"ahler structure. The geometric framework includes a symplectic form, an almost complex structure, and a Riemannian metric that characterize the space of mixed quantum states. We argue that the almost complex structure is integrable. We also in detail discuss a visualizing application of this geometric framework by deriving a geometric uncertainty relation for mixed quantum states. The framework is computationally effective and it provides us with a better understanding of general quantum mechanical systems.


title: Modeling and predicting the shape of the far-infrared to submillimeter emission in ultra-compact HII regions and cold clumps

abstract: Dust properties are very likely affected by the environment in which dust grains evolve. For instance, some analyses of cold clumps (7 K- 17 K) indicate that the aggregation process is favored in dense environments. However, studying warm (30 K-40 K) dust emission at long wavelength ($\lambda$$>$300 $\mu$m) has been limited because it is difficult to combine far infared-to-millimeter (FIR-to-mm) spectral coverage and high angular resolution for observations of warm dust grains. Using Herschel data from 70 to 500 $\mu$m, which are part of the Herschel infrared Galactic (Hi-GAL) survey combined with 1.1 mm data from the Bolocam Galactic Plane Survey (BGPS), we compared emission in two types of environments: ultra-compact HII (UCHII) regions, and cold molecular clumps (denoted as cold clumps). With this comparison we tested dust emission models in the FIR-to-mm domain that reproduce emission in the diffuse medium, in these two environments (UCHII regions and cold clumps). We also investigated their ability to predict the dust emission in our Galaxy. We determined the emission spectra in twelve UCHII regions and twelve cold clumps, and derived the dust temperature (T) using the recent two-level system (TLS) model with three sets of parameters and the so-called T-$\beta$ (temperature-dust emissvity index) phenomenological models, with $\beta$ set to 1.5, 2 and 2.5. We tested the applicability of the TLS model in warm regions for the first time. This analysis indicates distinct trends in the dust emission between cold and warm environments that are visible through changes in the dust emissivity index. However, with the use of standard parameters, the TLS model is able to reproduce the spectral behavior observed in cold and warm regions, from the change of the dust temperature alone, whereas a T-$\beta$ model requires $\beta$ to be known.


title: Positive Definite Operator Functions and Sesquilinear Forms

abstract: Due to the fundamental works of T. Ando, W. Szyma\'nski, F. H. Szafraniec, and many others it is well known that sesquilinear forms play an important role in dilation theory. The crucial fact is that every positive definite operator function induces a sesquilinear form in a natural way. The purpose of this survey-like paper is to apply some recent results of Z. Sebesty\'en, Zs. Tarcsay, and the author for such functions. While most of the results are not new, the paper's main contribution is the unified discussion from the viewpoint of sesquilinear forms.


title: Noether's Theorem and the Willmore Functional

abstract: Noether's theorem and the invariances of the Willmore functional are used to derive conservation laws that are satisfied by the critical points of the Willmore energy subject to generic constraints. We recover in particular previous results independently obtained by R. Capovilla and J. Guven, and by T. Riviere. Several examples are considered in details.


title: The entropic basis of collective behaviour

abstract: In this paper, we identify a radically new viewpoint on the collective behaviour of groups of intelligent agents. We first develop a highly general abstract model for the possible future lives that these agents may encounter as a result of their decisions. In the context of these possible futures, we show that the causal entropic principle, whereby agents follow behavioural rules that maximise their entropy over all paths through the future, predicts many of the observed features of social interactions between individuals in both human and animal groups. Our results indicate that agents are often able to maximise their future path entropy by remaining cohesive as a group, and that this cohesion leads to collectively intelligent outcomes that depend strongly on the distribution of the number of future paths that are possible. We derive social interaction rules that are consistent with maximum-entropy group behaviour for both discrete and continuous decision spaces. Our analysis further predicts that social interactions are likely to be fundamentally based on Weber's law of response to proportional stimuli, supporting many studies that find a neurological basis for this stimulus-response mechanism, and providing a novel basis for the common assumption of linearly additive 'social forces' in simulation studies of collective behaviour.


title: Logistic function as solution of many nonlinear differential equations

abstract: The logistic function is shown to be solution of the Riccati equation, some second-order nonlinear ordinary differential equations and many third-order nonlinear ordinary differential equations. The list of the differential equations having solution in the form of the logistic function is presented. The simple method of finding exact solutions of nonlinear partial differential equations (PDEs) is introduced. The essence of the method is based on comparison of nonlinear differential equations obtained from PDEs with standard differential equations having solution in the form of the logistic function. The wide application of the logistic function for finding exact solutions of nonlinear differential equations is demonstrated.


title: Understanding spin Hall effect in two-dimensional fermionic systems with generic spin-orbit interaction

abstract: We delve into spin Hall effect in generic spin-orbit coupled two-dimensional fermionic systems. We derive analytically the spin-orbit force responsible for the spin Hall effect, and find that it has `Lorentz force'-like form. We also derive the pseudo magnetic field responsible for this force. We establish the relation between the spin Hall conductivity, flux quanta and this pseudo magnetic field, similar to the one between charge Hall conductivity, flux quanta and the external field. We also present an exact closed-form expression of the spin Hall conductivity in a generic spin-orbit coupled system. Depending on the dimensionality of the spin-orbit interactions, the spin Hall conductivity depends on different combinations of Rashba parameter and fermion density.


title: Direct magnetocaloric effect measurement technique in alternating magnetic fields

abstract: A method for direct measurement of the magnetocaloric effect (MCE) in alternating magnetic fields is offered. Main advantages of the method compared to a classical direct one are the high temperature sensitivity (better than 10-3 K); the ability of measuring of MCE in weak magnetic fields (by several tens oersteds and higher); the ability of measuring of MCE on small-sized samples (1x1x 0.01 mm3 and larger); the ability of measuring of MCE in alternating magnetic fields up to 50 Hz of frequency. The results on measurement of MCE on Gd and Ni-Mn-In Heusler alloy are reported.


title: Introductory course on $\ell$-adic sheaves and their ramification theory on curves

abstract: These are the notes accompanying 13 lectures given by the authors at the Clay Mathematics Institute Summer School 2014 in Madrid. The notes give an introduction into the theory of $\ell$-adic sheaves with emphasis on their ramification theory on curves.


title: Dissipationless Multiferroic Magnonics

abstract: We propose that the magnetoelectric effect in multiferroic insulators with coplanar antiferromagnetic spiral order, such as BiFeO$_{3}$, enables electrically controlled dissipationless magnonics. Applying an oscillating electric field in these materials with frequency as low as household frequency can activate Goldstone modes that manifests fast planar rotations of spins, whose motion is not obstructed by crystalline anisotropy. Combining with spin ejection mechanisms, such a fast planar rotation can deliver electricity at room temperature over a distance of the magnetic domain, which is free from the energy loss due to Gilbert damping.


title: Embedded minimal surfaces in $\mathbb{R}^n$

abstract: In this paper, we prove that every confomal minimal immersion of an open Riemann surface into $\mathbb{R}^n$ for $n\ge 5$ can be approximated uniformly on compacts by conformal minimal embeddings. Furthermore, we show that every open Riemann surface carries a proper conformal minimal embedding into $\mathbb{R}^5$. One of our main tools is a Mergelyan approximation theorem for conformal minimal immersions to $\mathbb{R}^n$ for any $n\ge 3$ which is also proved in the paper.


title: Sign-Compute-Resolve for Random Access

abstract: We present an approach to random access that is based on three elements: physical-layer network coding, signature codes and tree splitting. Upon occurrence of a collision, physical-layer network coding enables the receiver to decode the sum of the information that was transmitted by the individual users. For each user this information consists of the data that the user wants to communicate as well as the user's signature. As long as no more than $K$ users collide, their identities can be recovered from the sum of their signatures. A splitting protocol is used to deal with the case that more than $K$ users collide. We measure the performance of the proposed method in terms of user resolution rate as well as overall throughput of the system. The results show that our approach significantly increases the performance of the system even compared to coded random access, where collisions are not wasted, but are reused in successive interference cancellation.


title: Analytical properties and exact solutions of the Lotka--Volterra competition system

abstract: The Lotka--Volterra competition system with diffusion is considered. The Painlev\'e property of this system is investigated. Exact traveling wave solutions of the Lotka--Volterra competition system are found. Periodic solutions expressed in terms of the Weierstrass elliptic function are also given.


title: Optimal control of the bidomain system (IV): Corrected proofs of the stability and regularity theorems

abstract: In a series of papers on optimal control problems for the monodomain as well as for the bidomain equations of cardiac electrophysiology, the authors studied existence of minimizers and derived first-order necessary optimality conditions. The analysis of these control problems is based on a regularity discussion for weak solutions, resulting in a stability estimate and a uniqueness theorem for the monodomain and bidomain system, respectively. Unfortunately, the authors recognized a serious error within the proof of these theorems. However, the present investigation shows that the assertions from [Kunisch/Wagner 12] and [Kunisch/Wagner 13a] can be maintained (with minor changes only) while the proofs must be subjected to considerable alterations. As a consequence, the optimization theorems from [Kunisch/Wagner 13b] allow for substantial improvements. Therefore, in the present paper we provide a refined regularity discussion of the bidomain system together with corrected proofs.


title: Unitary transformations of a family of two-dimensional anharmonic oscillators

abstract: In this paper we analyze a recent application of perturbation theory by the moment method to a family of two-dimensional anharmonic oscillators. By means of straightforward unitary transformations we show that two of the models studied by the authors are separable. Other is unbounded from below and therefore cannot be successfully treated by perturbation theory unless a complex harmonic frequency is introduced in the renormalization process. We calculate the lowest resonance by means of complex-coordinate rotation and compare its real part with the eigenvalue estimated by the authors. A pair of the remaining oscillators are equivalent as they can be transformed into one another by unitary transformations.


title: Minimal hulls of compact sets in $\mathbb R^3$

abstract: The main result of this paper is a characterization of the minimal surface hull of a compact set $K$ in $\mathbb R^3$ by sequences of conformal minimal discs whose boundaries converge to $K$ in the measure theoretic sense, and also by $2$-dimensional minimal currents which are limits of Green currents supported by conformal minimal discs. Analogous results are obtained for the null hull of a compact subset of $\mathbb C^3$. We also prove a null hull analogue of the Alexander-Stolzenberg-Wermer theorem on polynomial hulls of compact sets of finite linear measure, and a polynomial hull version of classical Bochner's tube theorem.


title: Ultrasonic investigations of spin-ices Dy$_2$Ti$_2$O$_7$ and Ho$_2$Ti$_2$O$_7$ in and out of equilibrium

abstract: We report ultrasound studies of spin-lattice and single-ion effects in the spin-ice materials Dy$_2$Ti$_2$O$_7$ (DTO) and Ho$_2$Ti$_2$O$_7$ (HTO) across a broad field range up to 60 T, covering phase transformations, interactions with low-energy magnetic excitations, as well as single-ion effects. In particular, a sharp dip observed in the sound attenuation in DTO at the gas-liquid transition of the magnetic monopoles is explained based on an approach involving negative relaxation processes. Furthermore, quasi-periodic peaks in the acoustic properties of DTO due to non-equilibrium processes are found to be strongly affected by {\em macroscopic} thermal-coupling conditions: the thermal runaway observed in previous studies in DTO can be suppressed altogether by immersing the sample in liquid helium. Crystal-electric-field effects having higher energy scale lead to a renormalization of the sound velocity and sound attenuation at very high magnetic fields. We analyze our observations using an approach based on an analysis of exchange-striction couplings and single-ion effects.


title: A new definition of Kuranishi space

abstract: 'Kuranishi spaces' were introduced in the work of Fukaya, Oh, Ohta and Ono in symplectic geometry (see e.g. arXiv:1106.4882), as the geometric structure on moduli spaces of $J$-holomorphic curves. An alternative to Kuranishi spaces is the 'polyfolds' of Hofer, Wysocki and Zehnder (see e.g. arXiv:1407.3185). Finding a satisfactory definition of Kuranishi space has been the subject of recent debate (see e.g. arXiv:1208.1340, arXiv:1209.4410, arXiv:1510.06849). We propose three new definitions of Kuranishi space: a simple 'manifold' version, '$\mu$-Kuranishi spaces', which form an ordinary category $\boldsymbol\mu\bf Kur$; a more complicated 'manifold' version, 'm-Kuranishi spaces', which form a weak 2-category $\bf mKur$; and an 'orbifold' version, 'Kuranishi spaces', which form a weak 2-category $\bf Kur$. These are related by an equivalence of categories $\boldsymbol\mu{\bf Kur}\simeq{\rm Ho}({\bf mKur})$, where ${\rm Ho}({\bf mKur})$ is the homotopy category of $\bf mKur$, and by a full and faithful embedding ${\bf mKur}\hookrightarrow\bf Kur$. We also define ($\mu$-, m-)Kuranishi spaces with boundary, and with corners. We hope our definitions will become accepted as final, replacing previous definitions. Any Fukaya-Oh-Ohta-Ono Kuranishi space $\bf X$ can be made into a compact Kuranishi space $\bf X'$ uniquely up to equivalence in $\bf Kur$ (that is, up to isomorphism in ${\rm Ho}({\bf Kur})$). The same holds for topological spaces with Fukaya-Oh-Ohta-Ono 'good coordinate systems', and for McDuff and Wehrheim's 'Kuranishi atlases' in arXiv:1508.01556. A compact topological space $\bf X$ with a 'polyfold Fredholm structure' in the sense of Hofer, Wysocki and Zehnder can be made into a Kuranishi space $\bf X$ uniquely up to equivalence in $\bf Kur$. This book is surveyed in arXiv:1510.07444.


title: Rigorous approximation of diffusion coefficients for expanding maps

abstract: We use Ulam's method to provide rigorous approximation of diffusion coefficients for uniformly expanding maps. An algorithm is provided and its implementation is illustrated using Lanford's map.


title: The Solar Oxygen Abundance from an Empirical Three-Dimensional Model

abstract: The Oxygen abundance in the solar photosphere, and consequently the solar metallicity itself, is still a controversial issue with far-reaching implications in many areas of Astrophysics. This paper presents a new determination obtained by fitting the forbidden OI line at 6300 A with an observational 3D model. The approach presented here is novel because previous determinations were based either on 1D empirical stratifications or on 3D theoretical models. The resulting best-fit abundances are lg E(O)=8.90 and lg E(Ni)=6.15. Nevertheless, introducing minor tweaks in the model and the procedure, it is possible to retrieve very different values, even down to lg E(O)=8.70. This extreme sensitivity of the abundance to possible systematic effects is not something specific to this particular work but probably reflects the real uncertainty inherent to all abundance determinations based on a prescribed model atmosphere.


title: Do More Dropouts in Pool5 Feature Maps for Better Object Detection

abstract: Deep Convolutional Neural Networks (CNNs) have gained great success in image classification and object detection. In these fields, the outputs of all layers of CNNs are usually considered as a high dimensional feature vector extracted from an input image and the correspondence between finer level feature vectors and concepts that the input image contains is all-important. However, fewer studies focus on this deserving issue. On considering the correspondence, we propose a novel approach which generates an edited version for each original CNN feature vector by applying the maximum entropy principle to abandon particular vectors. These selected vectors correspond to the unfriendly concepts in each image category. The classifier trained from merged feature sets can significantly improve model generalization of individual categories when training data is limited. The experimental results for classification-based object detection on canonical datasets including VOC 2007 (60.1%), 2010 (56.4%) and 2012 (56.3%) show obvious improvement in mean average precision (mAP) with simple linear support vector machines.


title: Tuning the polarized quantum phonon transmission in graphene nanoribbons

abstract: We propose systems that allow a tuning of the phonon transmission function T($\omega$) in graphene nanoribbons by using C$^{13}$ isotope barriers, antidot structures, and distinct boundary conditions. Phonon modes are obtained by an interatomic fifth-nearest neighbor force-constant model (5NNFCM) and T($\omega$) is calculated using the non-equilibrium Green's function formalism. We show that by imposing partial fixed boundary conditions it is possible to restrict contributions of the in-plane phonon modes to T($\omega$) at low energy. On the contrary, the transmission functions of out-of-plane phonon modes can be diminished by proper antidot or isotope arrangements. In particular, we show that a periodic array of them leads to sharp dips in the transmission function at certain frequencies $\omega_{\nu}$ which can be pre-defined as desired by controlling their relative distance and size. With this, we demonstrated that by adequate engineering it is possible to govern the magnitude of the ballistic transmission functions T$(\omega)$ in graphene nanoribbons. We discuss the implications of these results in the design of controlled thermal transport at the nanoscale as well as in the enhancement of thermo-electric features of graphene-based materials.


title: Generating a Quadratic Forms from a Given Genus

abstract: Given a non-empty genus in $n$ dimensions with determinant $d$, we give a randomized algorithm that outputs a quadratic form from this genus. The time complexity of the algorithm is poly$(n,\log d)$; assuming Generalized Riemann Hypothesis (GRH).


title: Gauge Field Optics with Anisotropic Media

abstract: By considering gauge transformations on the macroscopic Maxwell's equations, a two dimensional gauge field, with its pseudo magnetic field in the real space, is identified as tilted anisotropy in the constitutive parameters. We show that optical spin Hall effect and one-way edge states become possible simply by using anisotropic media with broadband response. The proposed gauge field also allows us to design an optical isolator based on the Aharonov-Bohm effect. Our approach will be useful in spoof magneto-optics with arbitrary magnetic fields mimicked by metamaterials with subwavelength unit cells. It also serves as a generic way to design polarization-dependent devices.


title: UML-F: A Modeling Language for Object-Oriented Frameworks

abstract: The paper presents the essential features of a new member of the UML language family that supports working with object-oriented frameworks. This UML extension, called UML-F, allows the explicit representation of framework variation points. The paper discusses some of the relevant aspects of UML-F, which is based on standard UML extension mechanisms. A case study shows how it can be used to assist framework development. A discussion of additional tools for automating framework implementation and instantiation rounds out the paper.


title: Defining UML Family Members Using Prefaces

abstract: The Unified Modeling Language is extensible, and so can be regarded as a family of languages. Implicitly or explicitly, any particular UML model should be accompanied by a definition of the particular UML family member used for the model. The definition should cover syntactic and semantic issues. This paper proposes a mechanism for associating models with such definitions. Any particular definition would form what we call a preface. The name is intended to suggest that the definition of a particular UML family member must conceptually come before any model built using that family member. A preface would be large, and should be organised using packages. This would allow large amounts of sharing between different prefaces. The paper proposes that prefaces should have an axiomatic style of semantics, through not necessarily fully formal, and it offers a general approach to semantics that would reduce problems of inconsistency within a large preface, based on the idea of general cases and special cases


title: Meta-Modeling Semantics of UML

abstract: The Unified Modelling Language is emerging as a de-facto standard for modelling object-oriented systems. However, the semantics document that a part of the standard definition primarily provides a description of the language's syntax and well-formedness rules. The meaning of the language, which is mainly described in English, is too informal and unstructured to provide a foundation for developing formal analysis and development techniques. This paper outlines a formalisation strategy for making precise the core semantics of UML. This is achieved by strengthening the denotational semantics of the existing UML metamodel. To illustrate the approach, the semantics of generalization/specialization are made precise.


title: The Hard X-Ray Luminosity Function of High-Redshift ($3<z\lesssim 5$) Active Galactic Nuclei

abstract: We present the hard-band ($2-10\,\mathrm{keV}$) X-ray luminosity function (HXLF) of $0.5-2\,\mathrm{keV}$ band selected AGN at high redshift. We have assembled a sample of 141 AGN at $3<z\lesssim5$ from X-ray surveys of different size and depth, in order to sample different regions in the $ L_X - z$ plane. The HXLF is fitted in the range $\mathrm{logL_X\sim43-45}$ with standard analytical evolutionary models through a maximum likelihood procedure. The evolution of the HXLF is well described by a pure density evolution, with the AGN space density declining by a factor of $\sim10$ from $z=3$ to 5. A luminosity-dependent density evolution model which, normally, best represents the HXLF evolution at lower redshift, is also consistent with the data, but a larger sample of low-luminosity ($\mathrm{logL_X}<44$), high-redshift AGN is necessary to constrain this model. We also estimated the intrinsic fraction of AGN obscured by a column density $\mathrm{logN_H}\geq23$ to be $0.54\pm0.05$, with no strong dependence on luminosity. This fraction is higher than the value in the Local Universe, suggesting an evolution of the luminous ($\mathrm{L_X>10^{44}\mathrm{erg\,s^{-1}}}$) obscured AGN fraction from $z=0$ to $z>3$.


title: The UML as a Formal Modeling Notation

abstract: The Unified Modeling Language (UML) is rapidly emerging as a de-facto standard for modelling OO systems. Given this role, it is imperative that the UML needs a well-defined, fully explored semantics. Such semantics is required in order to ensure that UML concepts are precisely stated and defined. In this paper we motivate an approach to formalizing UML in which formal specification techniques are used to gain insight into the semantics of UML notations and diagrams and describe a roadmap for this approach. The authors initiated the Precise UML (PUML) group in order to develop a precise semantic model for UML diagrams. The semantic model is to be used as the basis for a set of diagrammatical transformation rules, which enable formal deductions to be made about UML diagrams. A small example shows how these rules can be used to verify whether one class diagram is a valid deduction of another. Because these rules are presented at the diagrammatical level, it will be argued that UML can be successfully used as a formal modelling tool without the notational complexities that are commonly found in textual specification techniques.


title: Mass of Decaying Wino from AMS-02 2014

abstract: We revisit the decaying wino dark matter scenario in the light of the updated positron fraction, electron and positron fluxes in cosmic ray recently reported by the AMS-02 collaboration. We show the AMS-02 results favor the mass of the wino dark matter at around a few TeV, which is consistent with the prediction on the wino mass in the pure gravity mediation model.


title: Improved algorithms for colorings of simple hypergraphs and applications

abstract: The paper deals with extremal problems concerning colorings of hypergraphs. By using a random recoloring algorithm we show that any $n$-uniform simple (i.e. every two distinct edges share at most one vertex) hypergraph $H$ with maximum edge degree at most \[ \Delta(H)\leq c\cdot nr^{n-1}, \] is $r$-colorable, where $c>0$ is an absolute constant. %We prove also that similar result holds for $b$-simple hypergraphs. As an application of our proof technique we establish a new lower bound for Van der Waerden number $W(n,r)$, the minimum $N$ such that in any $r$-coloring of the set $\{1,...,N\}$ there exists a monochromatic arithmetic progression of length $n$. We show that \[ W(n,r)>c\cdot r^{n-1}, \] for some absolute constant $c>0$.


title: Statistical simulation of pattern formation on plane target surfaces by ion beam sputtering

abstract: Numerical simulation of pattern formation on plane target surfaces undergoing ion-beam sputtering is carried out. Base of the mathematical model of target ion-sputtering is nonlinear evolutionary equation in which the erosion velocity dependence on ion flux is evaluated by means of a Monte Carlo method. This approach needs much computational resources, but allows to investigate the influence of ion flux parameters on surface topography. Deviation of the findings from the pattern formation predicted by the continuum model is discussed.


title: Second ECOOP Workshop on Precise Behavioral Semantics (with an Emphasis on OO Business Specifications)

abstract: Business specifications are essential to describe and understand businesses (and, in particular, business rules) independently of any computing systems used for their possible automation. They have to express this understanding in a clear, precise, and explicit way, in order to act as a common ground between business domain experts and software developers. They also provide the basis for reuse of concepts and constructs ("patterns") common to all - from finance to telecommunications -, or a large number of, businesses, and in doing so save intellectual effort, time and money. Moreover, these patterns substantially ease the elicitation and validation of business specifications during walkthroughs with business customers, and support separation of concerns using viewpoints.


title: Modeling Dynamic Component Interfaces

abstract: We adopt a component model based on object-oriented systems, introducing the concepts of components and their structure. A component consists of a dynamically changing set of connected objects. Only some of these objects are interface objects, and are thus accessible from the environment. During the component lifetime not only the number of objects, but also that of interface objects, and their connections change. To describe this situation, we introduce component interface diagrams (CIDs)-an adaption of UML diagrams-as a notation to characterize interfaces of components, their structure, and their navigability. We show how CIDs can be used to describe the in-house developed Open Editor Framework (OEF). Finally, we give guidelines that allow to map components described with CIDs directly to several component technologies, like ActiveX, CORBA, or Java Beans


title: A Note on Selling Optimally Two Uniformly Distributed Goods

abstract: We provide a new, much simplified and straightforward proof to a result of Pavlov [2011] regarding the revenue maximizing mechanism for selling two goods with uniformly i.i.d. valuations over intervals $[c,c+1]$, to an additive buyer. This is done by explicitly defining optimal dual solutions to a relaxed version of the problem, where the convexity requirement for the bidder's utility has been dropped. Their optimality comes directly from their structure, through the use of exact complementarity. For $c=0$ and $c\geq 0.092$ it turns out that the corresponding optimal primal solution is a feasible selling mechanism, thus the initial relaxation comes without a loss, and revenue maximality follows. However, for $0<c<0.092$ that's not the case, providing the first clear example where relaxing convexity provably does not come for free, even in a two-item regularly i.i.d. setting.


title: A Note on Semantics (with an Emphasis on UML)

abstract: This note clarifies the concept of syntax and semantics and their relationships. Today, a lot of confusion arises from the fact that the word "semantics" is used in different meanings. We discuss a general approach at defining semantics that is feasible for both textual and diagrammatic notations and discuss this approach using an example formalization. The formalization of hierarchical Mealy automata and their semantics definition using input/output behaviors allows us to define a specification, as well as an implementation semantics. Finally, a classification of different approaches that fit in this framework is given. This classification may also serve as guideline when defining a semantics for a new language.


title: Cooling Techniques for Trapped Ions

abstract: This book chapter gives an introduction to, and an overview of, methods for cooling trapped ions. The main addressees are researchers entering the field. It is not intended as a comprehensive survey and historical account of the extensive literature on this topic. We present the physical ideas behind several cooling schemes, outline their mathematical description, and point to relevant literature useful for a more in-depth study of this topic.


title: Developing the UML as a Formal Modelling Notation

abstract: The Unified Modeling Language (UML) is rapidly emerging as a de-facto standard for modelling OO systems. Given this role, it is imperative that the UML have a well- defined, fully explored semantics. Such semantics is required in order to ensure that UML concepts are precisely stated and defined. In this paper we describe and motivate an approach to formalizing UML in which formal specification techniques are used to gain insight into the semantics of UML notations and diagrams. We present work carried out by the Precise UML (PUML) group on the development of a precise semantic model for UML class diagrams. The semantic model is used as the basis for a set of diagrammatical transformation rules, which enable formal deductions to be made about UML class diagrams. It is also shown how these rules can be used to verify whether one class diagram is a valid refinement (design) of another. Because these rules are presented at the diagrammatical level, it will be argued that UML can be successfully used as a formal modelling tool without the notational complexities that are commonly found in formal specification techniques.


title: A software package for Mori dream spaces

abstract: Mori dream spaces form a large example class of algebraic varieties, comprising the well known toric varieties. We provide a first software package for the explicit treatment of Mori dream spaces and demonstrate its use by presenting basic sample computations. The software package is accompanied by a Cox ring database which delivers defining data for Cox rings and Mori dream spaces in a suitable format. As an application of the package, we determine the common Cox ring for the symplectic resolutions of a certain quotient singularity investigated by Bellamy/Schedler and Donten-Bury/Wi\'sniewski.


title: Towards a Precise Semantics for Object-Oriented Modeling Techniques

abstract: In this paper we present a possible way how a precise semantics of object oriented modeling techniques can be achieved and what the possible benefits are .We outline the main modeling techniques used in the SysLab project sketch how a precise semantics can be given and how this semantics can be used during the development process.


title: BMW-ROOM An Object-Oriented Method for ASCET

abstract: This paper presents an object-oriented method customized for a tool-assisted development of car software components. Tough market conditions motivate smart software development. ASCET SD is a tool to generate target code from graphic specifications, avoiding costly programming in C. But ASCET lacks guidelines on what to do, how to do it, in what order, like a fully equipped kitchen without a cooking book. Plans to employ the tool for BMW vehicle software sparked off demand for an adequate, object-oriented real-time methodology. We show how to scan the methodology market in order to adopt an already existing method for this purpose. The result of the adaptation of a chosen method to ASCET SD is a pragmatic version of ROOM, which we call BROOM. We present a modeling guidebook that includes process recommendations not only for the automotive sector, but for real-time software development in general. The method suggests to produce early prototypes that are validated and refined to completion. BROOM offers phase-independent, harmonic guidelines. Product requirements, in form of scenarios, are transformed through several activities into operational models. BROOM takes advantage of ASCET's rich experimentation- and code generation features. These allow to validate emerging models on button press. The factual development of a simplified heating/cooling system at BMW serves as a running example throughout the paper.


title: Refinement of Information Flow Architectures

abstract: A calculus is presented for the stepwise refinement of abstract information flow architectures. We give a mathematical model for information flow components based on relations between input and output communication histories, and describe system architectures using two views: the glass box view is a network of basic components, while the black box view regards the network itself as a component. This allows us to hierarchically compose systems. The calculus consists of basic rules to add or remove components and channels, and to replace components by subnetworks and vice versa. The correctness of the rules is justified by the refinement relation on the black box view of architectures.


title: Gravitational self-force corrections to two-body tidal interactions and the effective one-body formalism

abstract: Tidal interactions have a significant influence on the late dynamics of compact binary systems, which constitute the prime targets of the upcoming network of gravitational-wave detectors. We refine the theoretical description of tidal interactions (hitherto known only to the second post-Newtonian level) by extending our recently developed analytic self-force formalism, for extreme mass-ratio binary systems, to the computation of several tidal invariants. Specifically, we compute, to linear order in the mass ratio and to the 7.5$^{\rm th}$ post-Newtonian order, the following tidal invariants: the square and the cube of the gravitoelectric quadrupolar tidal tensor, the square of the gravitomagnetic quadrupolar tidal tensor, and the square of the gravitoelectric octupolar tidal tensor. Our high-accuracy analytic results are compared to recent numerical self-force tidal data by Dolan et al. \cite{Dolan:2014pja}, and, notably, provide an analytic understanding of the light ring asymptotic behavior found by them. We transcribe our kinematical tidal-invariant results in the more dynamically significant effective one-body description of the tidal interaction energy. By combining, in a synergetic manner, analytical and numerical results, we provide simple, accurate analytic representations of the global, strong-field behavior of the gravitoelectric quadrupolar tidal factor. A striking finding is that the linear-in-mass-ratio piece in the latter tidal factor changes sign in the strong-field domain, to become negative (while its previously known second post-Newtonian approximant was always positive). We, however, argue that this will be more than compensated by a probable fast growth, in the strong-field domain, of the nonlinear-in-mass-ratio contributions in the tidal factor.


title: Self-crumpling elastomers: bending induced by the drying stimulus of a nanoparticle suspension

abstract: We report an experimental study of the drying-induced peeling of a bilayer, consisting of an elastomeric disk coated with a suspension of nanoparticles. We show that although capillary forces associated with the scale of the droplet can not compete with the adhesion of the elastomer on a surface, nevertheless large tensile stresses develop in the coating, which results in a moment bending the bilayer. We attribute this stress to the nano-menisci in the pores of the colloidal material and we propose a model that describes successfully the early stage curvature of the bilayer. Thus, we show that the peeling can be conveniently controlled by the particle size and the coating thickness.


title: Pairwise thermal entanglement in Ising-XYZ diamond chain structure in an external magnetic field

abstract: Quantum entanglement is one of the most fascinating types of correlation that can be shared only among quantum systems. The Heisenberg chain is one of the simplest quantum chains which exhibits a reach entanglement feature, due to the Heisenberg interaction is quantum coupling in the spin system. The two particles were coupled trough XYZ coupling or simply called as two-qubit XYZ spin, which are the responsible for the emergence of thermal entanglement. These two-qubit operators are bonded to two nodal Ising spins, and this process is repeated infinitely resulting in a diamond chain structure. We will discuss two-qubit thermal entanglement effect on Ising-XYZ diamond chain structure. The concurrence could be obtained straightforwardly in terms of two-qubit density operator elements, using this result, we study the thermal entanglement, as well as the threshold temperature where entangled state vanishes. The present model displays a quite unusual concurrence behavior, such as, the boundary of two entangled regions becomes a disentangled region, this is intrinsically related to the XY-anisotropy in the Heisenberg coupling. Despite a similar property had been found for only two-qubit, here we show in the case of a diamond chain structure, which reasonably represents real materials.


title: Another construction of the braided $T$-category

abstract: This paper introduces group-cograded monoidal Hom-Hopf algebras, and shows that this kind of group-cograded monoidal Hom-Hopf algebras are monoidal Hom-Hopf algebras in the Turaev category $\mathcal{J}_{k}$ introduced by Canepeel and De Lombaerde. Then we define the $p$-Yetter-Drinfeld category over a group-cograded monoidal Hom-Hopf algebra, and construct a new kind of braided $T$-categories.


title: Cyclotomic Gaudin models: construction and Bethe ansatz

abstract: To any simple Lie algebra $\mathfrak g$ and automorphism $\sigma:\mathfrak g\to \mathfrak g$ we associate a cyclotomic Gaudin algebra. This is a large commutative subalgebra of $U(\mathfrak g)^{\otimes N}$ generated by a hierarchy of cyclotomic Gaudin Hamiltonians. It reduces to the Gaudin algebra in the special case $\sigma = \text{id}$. We go on to construct joint eigenvectors and their eigenvalues for this hierarchy of cyclotomic Gaudin Hamiltonians, in the case of a spin chain consisting of a tensor product of Verma modules. To do so we generalize an approach to the Bethe ansatz due to Feigin, Frenkel and Reshetikhin involving vertex algebras and the Wakimoto construction. As part of this construction, we make use of a theorem concerning cyclotomic coinvariants, which we prove in a companion paper. As a byproduct, we obtain a cyclotomic generalization of the Schechtman-Varchenko formula for the weight function.


title: Scaling Laplacian Pyramids

abstract: Laplacian pyramid based Laurent polynomial (LP$^2$) matrices are generated by Laurent polynomial column vectors and have long been studied in connection with Laplacian pyramidal algorithms in Signal Processing. In this paper, we investigate when such matrices are scalable, that is when right multiplication by Laurent polynomial diagonal matrices results in paraunitary matrices. The notion of scalability has recently been introduced in the context of finite frame theory and can be considered as a preconditioning method for frames. This paper significantly extends the current research on scalable frames to the setting of polyphase representations of filter banks. Furthermore, as applications of our main results we propose new construction methods for tight wavelet filter banks and tight wavelet frames.


title: Two-component feedback loops and deformed mechanics

abstract: It is shown that a general two-component feedback loop can be viewed as a deformed Hamiltonian system. Some of the implications of using ideas from theoretical physics to study biological processes are discussed.


title: Non-Implementability of Arrow-Debreu Equilibria by Continuous Trading under Knightian Uncertainty

abstract: Under risk, Arrow-Debreu equilibria can be implemented as Radner equilibria by continuous trading of few long-lived securities. We show that this result generically fails if there is Knightian uncertainty in the volatility. Implementation is only possible if all discounted net trades of the equilibrium allocation are mean ambiguity-free.


title: Individual risk in mean-field control models for decentralized control, with application to automated demand response

abstract: Flexibility of energy consumption can be harnessed for the purposes of ancillary services in a large power grid. In prior work by the authors a randomized control architecture is introduced for individual loads for this purpose. In examples it is shown that the control architecture can be designed so that control of the loads is easy at the grid level: Tracking of a balancing authority reference signal is possible, while ensuring that the quality of service (QoS) for each load is acceptable on average. The analysis was based on a mean field limit (as the number of loads approaches infinity), combined with an LTI-system approximation of the aggregate nonlinear model. This paper examines in depth the issue of individual risk in these systems. The main contributions of the paper are of two kinds: Risk is modeled and quantified: (i) The average performance is not an adequate measure of success. It is found empirically that a histogram of QoS is approximately Gaussian, and consequently each load will eventually receive poor service. (ii) The variance can be estimated from a refinement of the LTI model that includes a white-noise disturbance; variance is a function of the randomized policy, as well as the power spectral density of the reference signal. Additional local control can eliminate risk: (iii) The histogram of QoS is truncated through this local control, so that strict bounds on service quality are guaranteed. (iv) This has insignificant impact on the grid-level performance, beyond a modest reduction in capacity of ancillary service.


title: The modulated antiferromagnetic structures in multiferroic FeVO4: a 57Fe M\"ossbauer spectroscopy investigation

abstract: We present a 57Fe M\"ossbauer spectroscopy study of the two incommensurate magnetic phases in the multiferroic material FeVO4. We devise lineshapes appropriate for planar elliptical and collinear modulated magnetic structures and show that they reproduce very well the M\"ossbauer spectra in FeVO4, in full qualitative agreement with a previous neutron diffraction study. Quantitatively, our spectra provide precise determinations of the characteristics of the elliptical and modulated structures which are in good agreement with the neutron diffraction results. We find that the hyperfine field elliptical modulation persists as T goes to 0, which we attribute to an anisotropy of the hyperfine interaction since a moment modulation is forbidden at T=0 for a spin only ion like Fe3+.


title: Koszul duality between $E_n$-algebras and coalgebras in a filtered category

abstract: We study the Koszul duality between augmented $E_n$-algebras and augmented $E_n$-coalgebras in a symmetric monoidal stable infinity $1$-category equipped with a filtration in a suitable sense. We obtain that the Koszul duality constructions restrict to an equivalence between augmented algebras and coalgebras which have some positivity and completeness with respect to the filtration. We also obtain that the Koszul duality construction is functorial between carefully constructed generalized Morita categories consisting of those algebras/coalgebras in each dimension.


title: Descent properties of the topological chiral homology

abstract: We study descent properties of Jacob Lurie's topological chiral homology. We prove that this homology theory satisfies descent for a factorizing cover, as defined by Kevin Costello and Owen Gwilliam. We also obtain a generalization of Lurie's approach to this homology theory, which leads to a product formula for the infinity $1$-category of factorization algebras, and its twisted generalization.


title: Koszul duality for locally constant factorization algebras

abstract: Generalising Jacob Lurie's idea on the relation between the Verdier duality and the iterated loop space theory, we study the Koszul duality for locally constant factorisation algebras. We formulate an analogue of Lurie's "nonabelian Poincare duality" theorem (which is closely related to earlier results of Graeme Segal, of Dusa McDuff, and of Paolo Salvatore) in a symmetric monoidal stable infinity category carefully, using John Francis' notion of excision. Its proof depends on our earlier study of the Koszul duality for E_n-algebras. As a consequence, we obtain a Verdier type equivalence for factorisation algebras by a Koszul duality construction.


title: Sticky Particles and Stochastic Flows

abstract: Gaw\c{e}dzki and Horvai have studied a model for the motion of particles carried in a turbulent fluid and shown that in a limiting regime with low levels of viscosity and molecular diffusivity, pairs of particles exhibit the phenomena of stickiness when they meet. In this paper we characterise the motion of an arbitrary number of particles in a simplified version of their model.


title: On the Area Expansion of Magnetic Flux-Tubes in Solar Active Regions

abstract: We calculated the 3D distribution of the area expansion factors in a potential magnetic field extrapolated from the high-resolution \textit{Hinode}/SOT magnetogram of a quiescent active region NOAA 11482. Retaining only closed loops within the computational box, we show that the distribution of area expansion factors show significant structure. Loop-like structures characterized by locally lower values of the expansion factor are embedded in a smooth background. These loop-like flux-tubes have squashed cross-sections and expand with height. The distribution of the expansion factors show overall increase with height, allowing an active region core characterized by low values of the expansion factor to be distinguished. The area expansion factors obtained from extrapolation of the SOT magnetogram are compared to those obtained from an approximation of the observed magnetogram by a series of 134 submerged charges. This approximation retains the general flux distribution in the observed magnetogram, but removes the small-scale structure in both the approximated magnetogram and the 3D distribution of the area expansion factors. We argue that the structuring of the expansion factor can be a significant ingredient in producing the observed structuring of the solar corona. However, due to the potential approximation used, these results may not be applicable to loops exhibiting twist neither to active regions producing significant flares.


title: Parallelized event chain algorithm for dense hard sphere and polymer systems

abstract: We combine parallelization and cluster Monte Carlo for hard sphere systems and present a parallelized event chain algorithm for the hard disk system in two dimensions. For parallelization we use a spatial partitioning approach into simulation cells. We find that it is crucial for correctness to ensure detailed balance on the level of Monte Carlo sweeps by drawing the starting sphere of event chains within each simulation cell with replacement. We analyze the performance gains for the parallelized event chain and find a criterion for an optimal degree of parallelization. Because of the cluster nature of event chain moves massive parallelization will not be optimal. Finally, we discuss first applications of the event chain algorithm to dense polymer systems, i.e., bundle-forming solutions of attractive semiflexible polymers.


title: Some New Results in the Alcuin Number of Graphs

abstract: We prove some results concerning Alcuin number of graphs. First, we classify graphs which have unique minimum vertex cover. Then we present two necessary conditions for a graph to be of class two and show why one of them (condition on common neighbors) is sufficient as well. By using this classification theorem, we prove some results about class one and class two graphs such as cartesian product of graphs and classification of regular graphs.


title: Routine calculation of ab initio melting curves: application to aluminum

abstract: We present a simple, fast, and reliable method to compute the melting curves of materials with ab initio molecular dynamics. It is based on the two-phase thermodynamic model of [Lin et al., J. Chem. Phys. 119, 11792 (2003)] and its improved version given by [Desjarlais, Phys. Rev. E, 88, 062145 (2013)]. In this model, the velocity autocorrelation function is utilized to calculate the contribution of the nuclei motion to the entropy of the solid and liquid phases. It is then possible to find the thermodynamic conditions of equal Gibbs free energy between these phases, defining the melting curve. The first benchmark on the face-centered cubic melting curve of aluminum from 0 to 300 GPa demonstrates how to obtain an accuracy of 5-10%, comparable to the most sophisticated methods, for a much lower computational cost.


title: On divergence of expectations of the Feynman-Kac type with singular potentials

abstract: Motivated by the work of Baras-Goldstein (1984), we discuss when expectations of the Feynman-Kac type with singular potentials are divergent. Underlying processes are Brownian motion and $\alpha$-stable process. In connection with the work of Ishige-Ishiwata (2012) concerned with the heat equation in the half-space with a singular potential on the boundary, we also discuss the same problem in the half-space for the case of Brownian motion.


title: A 0.821-ratio purely combinatorial algorithm for maximum $k$-vertex cover in bipartite graphs

abstract: Our goal in this paper is to propose a \textit{combinatorial algorithm} that beats the only such algorithm known previously, the greedy one. We study the polynomial approximation of the Maximum Vertex Cover Problem in bipartite graphs by a purely combinatorial algorithm and present a computer assisted analysis of it, that finds the worst case approximation guarantee that is bounded below by~0.821.


title: Quasipinning and selection rules for excitations in atoms and molecules

abstract: Postulated by Pauli to explain the electronic structure of atoms and molecules, the exclusion principle establishes an upper bound of 1 for the fermionic natural occupation numbers $\{n_i\}$. A recent analysis of the pure $N$-representability problem provides a wide set of inequalities for the $\{n_i\}$, leading to constraints on these numbers. This has a strong potential impact on reduced density matrix functional theory as we know it. In this work we continue our study the nature of these inequalities for some atomic and molecular systems. The results indicate that (quasi)saturation of some of them leads to selection rules for the dominant configurations in configuration interaction expansions, in favorable cases providing means for significantly reducing their computational requirements.

categories: quant-ph cond-mat.str-el physics.atm-clus physics.chem-ph


title: Compact x-ray source based on burst-mode inverse Compton scattering at 100 kHz

abstract: A design for a compact x-ray light source (CXLS) with flux and brilliance orders of magnitude beyond existing laboratory scale sources is presented. The source is based on inverse Compton scattering of a high brightness electron bunch on a picosecond laser pulse. The accelerator is a novel high-efficiency standing-wave linac and RF photoinjector powered by a single ultrastable RF transmitter at x-band RF frequency. The high efficiency permits operation at repetition rates up to 1 kHz, which is further boosted to 100 kHz by operating with trains of 100 bunches of 100 pC charge, each separated by 5 ns. The entire accelerator is approximately 1 meter long and produces hard x-rays tunable over a wide range of photon energies. The colliding laser is a Yb:YAG solid-state amplifier producing 1030 nm, 100 mJ pulses at the same 1 kHz repetition rate as the accelerator. The laser pulse is frequency-doubled and stored for many passes in a ringdown cavity to match the linac pulse structure. At a photon energy of 12.4 keV, the predicted x-ray flux is $5 \times 10^{11}$ photons/second in a 5% bandwidth and the brilliance is $2 \times 10^{12}\mathrm{photons/(sec\ mm^2\ mrad^2\ 0.1\%)}$ in pulses with RMS pulse length of 490 fs. The nominal electron beam parameters are 18 MeV kinetic energy, 10 microamp average current, 0.5 microsecond macropulse length, resulting in average electron beam power of 180 W. Optimization of the x-ray output is presented along with design of the accelerator, laser, and x-ray optic components that are specific to the particular characteristics of the Compton scattered x-ray pulses.


title: Three-dimensional magnetic and abundance mapping of the cool Ap star HD 24712 II. Two-dimensional Magnetic Doppler Imaging in all four Stokes parameters

abstract: Aims: We present a magnetic Doppler imaging study from all Stokes parameters of the cool, chemically peculiar star HD 24712. This is the very first such analysis performed at a resolving power exceeding 10^5. Methods: The analysis is performed on the basis of phase-resolved observations of line profiles in all four Stokes parameters obtained with the HARPSpol instrument attached at the 3.6-m ESO telescope. We use the magnetic Doppler imaging code, INVERS10, which allows us to derive the magnetic field geometry and surface chemical abundance distributions simultaneously. Results: We report magnetic maps of HD 24712 recovered from a selection of FeI, FeII, NdIII, and NaI lines with strong polarization signals in all Stokes parameters. Our magnetic maps successfully reproduce most of the details available from our observation data. We used these magnetic field maps to produce abundance distribution map of Ca. This new analysis shows that the surface magnetic field of HD 24712 has a dominant dipolar component with a weak contribution from higher-order harmonics. The surface abundance distributions of Fe and Ca show enhancements near the magnetic equator with an underabundant patch at the visible (positive) magnetic pole; Nd is highly abundant around the positive magnetic pole. The Na abundance map shows a high overabundance around the negative magnetic pole. Conclusions: Based on our investigation and similar recent four Stokes parameter magnetic mapping studies, we present a tentative evidence for the hypothesis that Ap stars with dipole-like fields are older than stars with magnetic fields that have more small-scale structures. We find that our abundance maps are inconsistent with recent theoretical calculations of atomic diffusion in presence of magnetic fields.


title: A Method to Simulate the Observed Surface Properties of Proton Irradiated Silicon Strip Sensors

abstract: During the scheduled high luminosity upgrade of LHC, the world's largest particle physics accelerator at CERN, the position sensitive silicon detectors installed in the vertex and tracking part of the CMS experiment will face more intense radiation environment than the present system was designed for. To upgrade the tracker to required performance level, extensive measurements and simulations studies have already been carried out. A defect model of Synopsys Sentaurus TCAD simulation package for the bulk properties of proton irradiated devices has been producing simulations closely matching with measurements of silicon strip detectors. However, the model does not provide expected behavior due to the fluence increased surface damage. The solution requires an approach that does not affect the accurate bulk properties produced by the proton model, but only adds to it the required radiation induced properties close to the surface. These include the observed position dependency of the strip detector's charge collection efficiency (CCE). In this paper a procedure to find a defect model that reproduces the correct CCE loss, along with other surface properties of a strip detector up to a fluence $1.5\times10^{15}$ 1 MeV n$_{\textrm{eq}}$ cm$^{-2}$, will be presented. When applied with CCE loss measurements at different fluences, this method may provide means for the parametrization of the accumulation of oxide charge at the SiO2/Si interface as a function of dose.


title: 3D maps of the local interstellar medium: searching for the imprints of past events

abstract: Inversion of interstellar gas or dust columns measured along the path to stars distributed in distance and direction allows reconstructing the distribution of interstellar matter (ISM) in 3D. A low resolution IS dust map based on the reddening of 23,000 stars illustrates the potential of future maps. It reveals the location of the main IS clouds within $\sim$1kpc and, owing to biases towards weakly reddened targets, regions devoid of IS matter. It traces the Local Bubble and neighboring cavities, including a giant, $\geq$1000 pc long cavity located beyond the so-called $\beta$CMa tunnel, bordered by the main constituents of the Gould belt (GB), the rotating and expanding ring of clouds and young stars, inclined by $\sim$ 20$^{\circ}$ to the galactic plane. From comparison with diffuse X-ray background and absorption data it appears that the giant cavity is filled with warm, ionized and dust-poor gas in addition to million K gas. This set of structures must reflect the main events that occurred in the past. It has been suggested that the Cretaceus-Tertiary mass extinction may be due to a gamma-ray burst (GRB) in the massive globular cluster (GC) 47 Tuc during its close encounter with the Sun $\sim$70 Myrs ago. Given the mass, speed and size of 47 Tuc, wherever it crossed the Galactic plane it must have produced at the crossing site significant dynamical effects on the disk stars and IS clouds, and triggered star formation. Interestingly, first-order estimates suggest that the GB dynamics and age could match the consequences of the cluster crossing. Additionally, the giant ionized, dust-free cavity could be related to an intense flux of hard radiation, and dust-gas decoupling after the burst could explain the high variability and pattern of the D/H ratio in the nearby gaseous ISM. Future Gaia data should confirm or dismiss this hypothesis.


title: Damping of tensor mode in spatially closed cosmology

abstract: We derive an integro-differential equation for propagation of cosmological gravitation waves in spatially closed cosmology whereas the traceless transverse tensor part of the anisotropic stress tensor is free streaming neutrinos (including antineutrinos), which have been traveling essentially without collision since temperature dropped below about $ 10^{10} K$. We studied the short wavelengths and long wavelengths of gravitational waves (GWs) that enter the horizon in closed spacetime. The solution shows that the anisotropic stress reduces the squared amplitude by 76% for wavelengths that enter the horizon during radiation-dominated phase and this reduction is less for the wavelength that enter the horizon at later times. At the end we compare the results to the


title: NNLL momentum-space threshold resummation in direct top quark production at the LHC

abstract: We update the theoretical precision of the total cross section for direct top quark production at the LHC by extending the threshold resummation to the next-to-next-to-leading logarithmic accuracy.


title: Direction problems in affine spaces

abstract: This paper is a survey paper on old and recent results on direction problems in finite dimensional affine spaces over a finite field.


title: On the number of $N$-free elements with prescribed trace

abstract: In this paper we derive a formula for the number of $N$-free elements over a finite field $\mathbb{F}_q$ with prescribed trace, in particular trace zero, in terms of Gaussian periods. As a consequence, we derive a simple explicit formula for the number of primitive elements, in quartic extensions of Mersenne prime fields, having absolute trace zero. We also give a simple formula in the case when $Q = (q^m-1)/(q-1)$ is prime. More generally, for a positive integer $N$ whose prime factors divide $Q$ and satisfy the so called semi-primitive condition, we give an explicit formula for the number of $N$-free elements with arbitrary trace. In addition we show that if all the prime factors of $q-1$ divide $m$, then the number of primitive elements in $\mathbb{F}_{q^m}$, with prescribed non-zero trace, is uniformly distributed. Finally we explore the related number, $P_{q, m, N}(c)$, of elements in $\mathbb{F}_{q^m}$ with multiplicative order $N$ and having trace $c \in \mathbb{F}_q$. Let $N \mid q^m-1$ such that $L_Q \mid N$, where $L_Q$ is the largest factor of $q^m-1$ with the same radical as that of $Q$. We show there exists an element in $\mathbb{F}_{q^m}^*$ of (large) order $N$ with trace $0$ if and only if $m \neq 2$ and $(q,m) \neq (4,3)$. Moreover we derive an explicit formula for the number of elements in $\mathbb{F}_{p^4}$ with the corresponding large order $L_Q = 2(p+1)(p^2+1)$ and having absolute trace zero, where $p$ is a Mersenne prime.


title: Top Partner Discovery in the $T\to tZ$ channel at the LHC

abstract: In this paper we study the discovery potential of the LHC run II for heavy vector-like top quarks in the decay channel to a top and a $Z$ boson. Despite the usually smaller branching ratio compared to charged-current decays, this channel is rather clean and allows for a complete mass reconstruction of the heavy top. The latter is achieved in the leptonic decay channel of the $Z$ boson and in the fully hadronic top channel using boosted jet and jet substructure techniques. To be as model-independent as possible, a simplified model approach with only two free parameters has been applied. The results are presented in terms of parameter space regions for $3\sigma$ evidence or $5\sigma$ discovery for such new states in that channel.


title: $B$-mixing in and beyond the Standard model

abstract: We review the status of mixing of neutral $B$-mesons, including a discussion of the current precision of Standard Model (SM) predictions as well as the space that is left for effects of new physics. In that respect we present several observables, which are particularly sensitive to the remaining new physics (NP) parameter space. $B$-mixing can also be used to test the fundaments of quantum mechanics, here we suggest a new measurement of the ratio of like-sign dilepton events to opposite-sign dilepton events. Finally we summarise briefly the status of lifetimes of heavy hadrons. The corresponding theory predictions rely on the same tool - the Heavy Quark Expansion (HQE) - as some of the mixing quantities. New experimental data has recently proven the validity of the HQE to a high accuracy. However, the theoretical precision of lifetime predictions is strongly limited by a lack of non-perturbative evaluations of matrix elements of dimension-six operators.


title: Knowledge discovery via multidimensional science maps: the case of the Species Problem

abstract: Science mapping (SM), the study of the organization and development of science and technology, is a rapidly developing field within information science. The volume of available data allows this methodology to empirically address such issues as the historical development of topics, discourses, fields or the entire science system. Based on the pool of related methods, we are proposing an integration of various maps to obtain a novel kind of science map we call multidimensional. The basic idea behind is to combine the most informative relations available from various maps based on different bibliometric indicators, in order to produce a rich structrue for the study of knowledge dynamics, with special emphasis on causal-historical connections. As a proof of concept, we deploy the proposed framework in an extensive case study on a historical topic from the life sciences, namely, the debate on the species concept in biosystematics.


title: Unifying X-ray Scaling Relations from Galaxies to Clusters

abstract: We examine a sample of $\sim 250 000$ "locally brightest galaxies" selected from the Sloan Digital Sky Survey to be central galaxies within their dark matter halos. These were previously stacked by the Planck Collaboration to measure the Sunyaev-Zel'dovich signal as a function of central galaxy stellar mass. Here, we stack the X-ray emission from these halos using data from the ROSAT All-Sky Survey. We detect emission across almost our entire sample, including emission which we attribute to hot gas around galaxies spanning a range of 1.2 dex in stellar mass (corresponding to nearly two orders of magnitude in halo mass) down to $M* = 10^{10.8} M_{\odot}$ ($M_{500} \approx 10^{12.6} M_{\odot}$). Over this range, the X-ray luminosity can be fit by a power-law, either of stellar mass or of halo mass. A single unified scaling relation between mass and $L_X$ applies for galaxies, groups, and clusters. This relation has a steeper slope than expected for self-similarity, in contrast to the $Y_{SZ}$-$M_{500}$ relation, showing the importance of non-gravitational heating. If this heating is predominantly due to AGN feedback, the lack of a break in our relation suggests that AGN feedback is tightly self-regulated and fairly gentle, in agreement with recent high-resolution simulations. Our results are consistent with earlier measurements of the $L_X$-$L_K$ relation for elliptical galaxies and of the $L_X$-$M_{500}$ relation for optically-selected galaxy clusters. However, our $L_X$-$M_{500}$ relation lies more than a factor of two below most previous relations based on X-ray-selected cluster samples. We argue that optical selection offers a less biased view of the $L_X$-$M_{500}$ relation.


title: Pumping single-file colloids: Absence of current reversal

abstract: We consider the single-file motion of colloidal particles interacting via short-ranged repulsion and placed in a traveling wave potential, that varies periodically in time and space. Under suitable driving conditions, a directed time-averaged flow of colloids is generated. We obtain analytic results for the model using a perturbative approach to solve the Fokker-Planck equations. The predictions show good agreement with numerical simulations. We find peaks in the time-averaged directed current as a function of driving frequency, wavelength and particle density and discuss possible experimental realizations. Surprisingly, unlike a closely related exclusion dynamics on a lattice, the directed current in the present model does not show current reversal with density. A linear response formula relating current response to equilibrium correlations is also proposed.


title: Symmetric Submodular Clustering with Actionable Constraint

abstract: Clustering with submodular functions has been of interest over the last few years. Symmetric submodular functions are of particular interest as minimizing them is significantly more efficient and they include many commonly used functions in practice viz. graph cuts, mutual information. In this paper, we propose a novel constraint to make clustering actionable which is motivated by applications across multiple domains, and pose the problem of performing symmetric submodular clustering subject to this constraint. We see that obtaining a $k$ partition with approximation guarantees is a non-trivial task requiring further work.


title: Energy Harvesting By Optimized Piezo Transduction Mechanism

abstract: We report generation of electrical energy from nonlinear mechanical noises available in the ambient environment using optimized piezo transduction mechanisms. Obtaining energy from an ambient vibration has been attractive for remotely installed standalone microsystems and devices. The mechanical noises in the ambient environment can be converted to electrical energy by a piezo strip based on the principle of piezoelectric effect. In this work, we have designed and developed a standalone energy harvesting module based on piezo transduction mechanisms. Using this designed module we harvested noise energy and stored electrical energy in a capacitor. Using NI-PXI workstation with a LabVIEW programming, the output voltage of the piezo strip and voltage of the capacitor were measured and monitored. In this paper we discuss about the design, development, implementation, performance and characteristics of the energy harvesting module.


title: Upper limit on the cross section for reactor antineutrinos changing 22Na decay rates

abstract: In this paper we present results of a long-term observation of the decay of 22Na in the presence of a nuclear fission reactor. The measurements were made outside the containment wall of and underneath the Koeberg nuclear power plant near Cape Town, South Africa. Antineutrino fluxes ranged from ~5*10^11 to 1.6*10^13 cm^-2 s^-1 during this period. We show that the coincidence summing technique provides a sensitive tool to measure a change in the total decay constant as well as the branching ratio between EC and beta+ decay of 22Na to the first excited state in 22Ne. We observe a relative change in count rate between reactor-ON and reactor-OFF equal to (-0.51+/-0.11)*10^-4. After evaluating possible systematic uncertainties we conclude that the effect is either due to a hidden instrumental cause or due to an interaction between antineutrinos and the 22Na nucleus. An upper limit of ~0.03 barn has been deduced for observing any change in the decay rate of 22Na due to antineutrino interactions.


title: Tests of Lorentz and CPT Violation in the Medium Baseline Reactor Antineutrino Experiment

abstract: Tests of Lorentz and CPT violation in the medium baseline reactor antineutrino experiment are presented in the framework of the Standard Model Extension (SME). Both the spectral distortion and sidereal variation are employed to derive the limits of Lorentz violation (LV) coefficients. We do the numerical analysis of the sensitivity of LV coefficients by taking the Jiangmen Underground Neutrino Observatory (JUNO) as an illustration, which can improve the sensitivity by more than two orders of magnitude compared with the current limits from reactor antineutrino experiments.


title: Scaling laws for the bifurcation-escape rate in a nanomechanical resonator

abstract: We report on experimental and theoretical studies of the fluctuation-induced escape time from a metastable state of a nanomechanical Duffing resonator in cryogenic environment. By tuning in situ the non-linear coefficient $\gamma$ we could explore a wide range of the parameter space around the bifurcation point, where the metastable state becomes unstable. We measured in a relaxation process the distribution of the escape times. We have been able to verify its exponential distribution and extract the escape rate $\Gamma$. We investigated the scaling of $\Gamma$ with respect to the distance to the bifurcation point and $\gamma$, finding an unprecedented quantitative agreement with the theoretical description of the stochastic problem. Simple power scaling laws turn out to hold in a large region of the parameter's space, as anticipated by recent theoretical predictions. These unique findings, implemented in a model dynamical system, are relevant to all systems experiencing under-damped saddle-node bifurcation.


title: Spin-orbit physics of j=1/2 Mott insulators on the triangular lattice

abstract: The Heisenberg-Kitaev (HK) model on the triangular lattice is conceptually interesting for its interplay of geometric and exchange frustration. HK models are also thought to capture the essential physics of the spin-orbital entanglement in effective $j=1/2$ Mott insulators studied in the context of various 5d transition metal oxides. Here we argue that the recently synthesized Ba$_3$IrTi$_2$O$_9$ is a prime candidate for a microscopic realization of the triangular HK model. We establish that an infinitesimal Kitaev exchange destabilizes the 120$^\circ$ order of the quantum Heisenberg model and results in the formation of an extended $\mathbb{Z}_2$-vortex crystal phase in the parameter regime most likely relevant to the real material. Using a combination of analytical and numerical techniques we map out the entire phase diagram of the model, which further includes various ordered phases as well as an extended nematic phase around the antiferromagnetic Kitaev point.


title: State diagram for continuous quasi-one dimensional systems in optical lattices

abstract: We studied the appearance of Mott insulator domains of hard sphere bosons on quasi one-dimensional optical lattices when an harmonic trap was superimposed along the main axis of the system. Instead of the standard approximation represented by the Bose-Hubbard model, we described those arrangements by continuous Hamiltonians that depended on the same parameters as the experimental setups. We found that for a given trap the optical potential depth, $V_0$, needed to create a single connected Mott domain decreased with the number of atoms loaded on the lattice. If the confinement was large enough, it reached a minimum when, in absence of any optical lattice, the atom density at the center of the trap was the equivalent of one particle per optical well. For larger densities, the creation of that single domain proceeded via an intermediate shell structure in which Mott domains alternated with superfluid ones.


title: The Archimedes project: a feasibility study for weighing the vacuum energy

abstract: Archimedes is a feasibility study to a future experiment to ascertain the interaction of vacuum fluctuations with gravity. The future experiment should measure the force that the Earth's gravitational field exerts on a Casimir cavity by using a balance as the small force detector. The Archimedes experiment analyses the important parameters in view of the final measurement and experimentally explores solutions to the most critical problems.


title: Kepler detection of a new extreme planetary system orbiting the subdwarf-B pulsator KIC10001893

abstract: KIC10001893 is one out of 19 subdwarf-B (sdB) pulsators observed by the Kepler spacecraft in its primary mission. In addition to tens of pulsation frequencies in the g-mode domain, its Fourier spectrum shows three weak peaks at very low frequencies, which is too low to be explained in terms of g modes. The most convincing explanation is that we are seeing the orbital modulation of three Earth-size planets (or planetary remnants) in very tight orbits, which are illuminated by the strong stellar radiation. The orbital periods are P1=5.273, P2=7.807, and P3=19.48 hours, and the period ratios P2/P1=1.481 and P3/P2=2.495 are very close to the 3:2 and 5:2 resonances, respectively. One of the main pulsation modes of the star at 210.68 {\mu}Hz corresponds to the third harmonic of the orbital frequency of the inner planet, suggesting that we see, for the first time in an sdB star, g-mode pulsations tidally excited by a planetary companion. The extreme planetary system that emerges from the Kepler data is very similar to the recent discovery of two Earth-size planets orbiting the sdB pulsator KIC05807616 (Charpinet et al. 2011a).


title: Time-stepping discontinuous Galerkin methods for fractional diffusion problems

abstract: Time-stepping $hp$-versions discontinuous Galerkin (DG) methods for the numerical solution of fractional subdiffusion problems of order $-\alpha$ with $-1<\alpha<0$ will be proposed and analyzed. Generic $hp$-version error estimates are derived after proving the stability of the approximate solution. For $h$-version DG approximations on appropriate graded meshes near$t=0$, we prove that the error is of order$O(k^{\max\{2,p\}+\frac{\alpha}{2}})$, where $k$ is the maximum time-step size and $p\ge 1$ is the uniform degree of the DG solution. For $hp$-version DG approximations, by employing geometrically refined time-steps and linearly increasing approximation orders, exponential rates of convergence in the number of temporal degrees of freedom are shown. Finally, some numerical tests are given.


title: On the information carried by programs about the objects they compute

abstract: In computability theory and computable analysis, finite programs can compute infinite objects. Presenting a computable object via any program for it, provides at least as much information as presenting the object itself, written on an infinite tape. What additional information do programs provide? We characterize this additional information to be any upper bound on the Kolmogorov complexity of the object. Hence we identify the exact relationship between Markov-computability and Type-2-computability. We then use this relationship to obtain several results characterizing the computational and topological structure of Markov-semidecidable sets.


title: Boson Stars with Nontrivial Topology

abstract: We construct boson star solutions in the presence of a phantom field, allowing for a nontrivial topology of the solutions. The wormholes residing at the core of the configurations lead to a number of qualitative changes of the boson star solutions. In particular, the typical spiraling dependence of the mass and the particle number on the frequency of the boson stars is lost. Instead, the boson stars with nontrivial topology approach a singular configuration in the limit of vanishing frequency. Depending on the value of the coupling constant, the wormhole geometry changes from a single throat configuration to a double throat configuration, featuring a belly inbetween the two throats. Depending on the mass of the boson field and its self-interaction, the mass and the size of these objects cover many orders of magnitude, making them amenable to various astrophysical observations. A stability analysis reveals, that the unstable mode of the Ellis wormhole is retained in the presence of the bosonic matter. However, the negative eigenvalue can get very close to zero, by tuning the parameters of the self-interaction potential appropriately.


title: Cosmic Strings in Hidden Sectors: 2. Cosmological and Astrophysical Signatures

abstract: Cosmic strings can arise in hidden sector models with a spontaneously broken Abelian symmetry group. We have studied the couplings of the Standard Model fields to these so-called dark strings in the companion paper. Here we survey the cosmological and astrophysical observables that could be associated with the presence of dark strings in our universe with an emphasis on low-scale models, perhaps TeV. Specifically, we consider constraints from nucleosynthesis and CMB spectral distortions, and we calculate the predicted fluxes of diffuse gamma ray cascade photons and cosmic rays. For strings as light as TeV, we find that the predicted level of these signatures is well below the sensitivity of the current experiments, and therefore low scale cosmic strings in hidden sectors remain unconstrained. Heavier strings with a mass scale in the range 10^(13) GeV to 10^(15) GeV are at tension with nucleosynthesis constraints.


title: Shadowing for differential equations with grow-up

abstract: We consider the problem of shadowing for differential equations with grow-up. We introduce so-called nonuniform shadowing properties (in which size of the error depends on the point of the phase space) and prove for them analogs of shadowing lemma. Besides, we prove a theorem about weighted shadowing for flows. We compactify the system (using Poincare compactification, for example), apply the results about nonuniform or weighted shadowing to the compactified system, and then transfer the results back to the initial system using the decompactification procedure.


title: Unsupervised learning of regression mixture models with unknown number of components

abstract: Regression mixture models are widely studied in statistics, machine learning and data analysis. Fitting regression mixtures is challenging and is usually performed by maximum likelihood by using the expectation-maximization (EM) algorithm. However, it is well-known that the initialization is crucial for EM. If the initialization is inappropriately performed, the EM algorithm may lead to unsatisfactory results. The EM algorithm also requires the number of clusters to be given a priori; the problem of selecting the number of mixture components requires using model selection criteria to choose one from a set of pre-estimated candidate models. We propose a new fully unsupervised algorithm to learn regression mixture models with unknown number of components. The developed unsupervised learning approach consists in a penalized maximum likelihood estimation carried out by a robust expectation-maximization (EM) algorithm for fitting polynomial, spline and B-spline regressions mixtures. The proposed learning approach is fully unsupervised: 1) it simultaneously infers the model parameters and the optimal number of the regression mixture components from the data as the learning proceeds, rather than in a two-fold scheme as in standard model-based clustering using afterward model selection criteria, and 2) it does not require accurate initialization unlike the standard EM for regression mixtures. The developed approach is applied to curve clustering problems. Numerical experiments on simulated data show that the proposed robust EM algorithm performs well and provides accurate results in terms of robustness with regard initialization and retrieving the optimal partition with the actual number of clusters. An application to real data in the framework of functional data clustering, confirms the benefit of the proposed approach for practical applications.


title: Astronomical orientation analysis of three proto-historical sites in Friuli - Italy

abstract: In this paper we present the results of an archaeoastronomical survey of three proto-historical sites located in the high Friulian plain (Galleriano, Gradisca and Savalons), dating from the end of the Early Bronze Age (1900 B.C.) to the end of the Late Bronze Age (950 B.C.). These structures, commonly indicated as castellieri, are earthworks of quadrangular shape, with sides ranging from 140 to 250 m. At present the perimetrical earthen embankments reach a maximum base width of 18 m and an elevation of more than 5 m the surrounding plain in their best preserved parts. These three sites were often reported in the literature to have the corners aligned to the cardinal directions. Aveni and Romano (1986) included two of them (Galleriano and Gradisca) in their study of earthworks in Veneto and Friuli (Italy), tentatively proposing astronomically relevant alignments for some sides and diagonals. Inspired by this pioneering work and by the renovated archaeological interest for these sites, we obtained digital elevation models of the earthworks and re-analyzed their orientation. Our study does not confirm the presence of systematic and statistically significant solar or lunar alignments for these sites.


title: Pseudo-Anosov stretch factors and homology of mapping tori

abstract: We consider the pseudo-Anosov elements of the mapping class group of a surface of genus g that fix a rank k subgroup of the first homology of the surface. We show that the smallest entropy among these is comparable to (k+1)/g. This interpolates between results of Penner and of Farb and the second and third authors, who treated the cases of k=0 and k=2g, respectively, and answers a question of Ellenberg. We also show that the number of conjugacy classes of pseudo-Anosov mapping classes as above grows (as a function of g) like a polynomial of degree k.


title: Modeling resonant trojan motion in planetary systems

abstract: We consider the dynamics of a small trojan companion of a hypothetical giant exoplanet under the secular perturbations of additional planets. By a suitable choice of action-angle variables, the problem is amenable to the study of the slow modulation, induced by secular perturbations, to the dynamics of an otherwise called `basic' Hamiltonian model of two degrees of freedom (planar case). We present this Hamiltonian decomposition, which implies that the slow chaotic diffusion at resonances is best described by the paradigm of modulational diffusion.


title: Gaussian-Moment Relaxation Closures for Verifiable Numerical Simulation of Fast Magnetic Reconnection in Plasma

abstract: The motivating question for this dissertation was to identify the minimal requirements for fluid models of plasma to allow converged simulations that agree well with converged kinetic simulations of fast magnetic reconnection. We show that truncation closure for the deviatoric pressure or for the heat flux results in singularities. Due to the strong pressure anisotropies that arise, we study magnetic reconnection with a Gaussian-moment two-fluid MHD with isotropization of the pressure tensor. For the GEM magnetic reconnection challenge problem, our deviatoric pressure tensor agrees well with published kinetic simulations at the time of peak reconnection, but sometime thereafter the numerical solution becomes unpredictable and develops near-singularities that crash the simulation unless positivity limiters are applied. To explain these difficulties, we show that steady reconnection requires heat flux. Specifically, for two-dimensional problems invariant under 180-degree rotation about the X-point, entropy production in the vicinity of the X-point is necessary for reconnection and causes solutions to become singular for conservative models that lack heat flux. This prompts the need for a 10-moment gyrotropic heat flux closure. Using a Chapman-Enskog expansion with a Gaussian-BGK collision operator yields a heat flux closure for a magnetized 10-moment charged gas which generalizes the closure of McDonald and Groth.


title: A new deformed Schioberg-type potential and ro-vibrational energies for some diatomic molecules

abstract: We suggest a new deformed Schioberg-type potential for diatomic molecules. We show that it is equivalent to Tietz-Hua oscillator potential. We discuss how to relate our deformed Schi\"oberg potential to Morse, to Deng-Fan , to the improved Manning-Rosen, and to the deformed modified Rosen-Morse potential models. We transform our potential into a proper form and use the supersymmetric quantization to find a closed form analytical solution for the ro-vibrational energy levels that are highly accurate over a wide range of vibrational and rotational quantum numbers. We discuss our results using 4-diatomic molecules NO, O2, O2+, and N2. Our results turn out to compare excellently with those from a generalized pseudospectral numerical method.


title: Josephson relation for disordered superfluids

abstract: The Josephson sum rule relates the superfluid density to the condensate order parameter, via the infrared residue of the single-particle Green's function. We establish an effective Josephson relation for disordered condensates valid upon ensemble averaging. This relation has the merit to show explicitly how superfluidity links to the coherent density, i.e., the density of particles with zero momentum. Detailed agreement is reached with perturbation theory for weak disorder.


title: A uniqueness criterion for unbounded solutions to the Vlasov-Poisson system

abstract: We prove uniqueness for the Vlasov-Poisson system in two and three dimensions under the condition that the $L^p$ norms of the macroscopic density growth at most linearly with respect to $p$. This allows for solutions with logarithmic singularities. We provide explicit examples of initial data that fulfill the uniqueness condition and that exhibit a logarithmic blow-up. In the gravitational two-dimensional case, such states are intimately related to radially symmetric steady solutions of the system. Our method relies on the Lagrangian formulation for the solutions, exploiting the second-order structure of the corresponding ODE.


title: Electrowetting on liquid-infused film (EWOLF): Complete reversibility and controlled droplet oscillation suppression for fast optical imaging

abstract: Electrowetting on dielectric (EWOD) has emerged as a powerful tool to electrically manipulate tiny individual droplets in a controlled manner. Despite tremendous progress over the past two decades, current EWOD operating in ambient conditions has limited functionalities posing challenges for its applications, including electronic display, energy generation, and microfluidic systems. Here, we demonstrate a new paradigm of electrowetting on liquid-infused film (EWOLF) that allows for complete reversibility and tunable transient response simultaneously. We determine that these functionalities in EWOLF are attributed to its novel configuration, which allows for the formation of viscous liquid-liquid interfaces as well as additional wetting ridges, thereby suppressing the contact line pinning and severe droplet oscillation encountered in the conventional EWOD. Finally, by harnessing these functionalities demonstrated in EWOLF, we also explore its application as liquid lens for fast optical focusing.


title: Transverse distinguishability of entangled photons with arbitrarily shaped spatial near- and far-field distributions

abstract: Entangled photons generated by spontaneous parametric down conversion inside a nonlinear crystal exhibit a complex spatial photon count distribution. A quantitative description of this distribution helps with the interpretation of experiments that depend on this structure. We developed a theoretical model and an accompanying numerical calculation that includes the effects of phase matching and the crystal properties to describe a wide range of spatial effects in two-photon experiments. The numerical calculation was tested against selected analytical approximations. We furthermore performed a double-slit experiment where we measured the visibility V and the distinguishability D and obtained $D^2 + V^2 = 1.43$. The numerical model accurately predicts these experimental results.


title: An Extended Small-Gain Theorem

abstract: We extend the results of the general small-gain theorem proposed by Z.P Jiang. The significance of this extension is two fold. First, it allows one to use general vector norm to characterize the input-to-output property of two interconnected subsystems. Second, the gain from input signals to output of each sub-system is provided, which offers one more flexibility in control design.


title: First sensitivity limits of the ALPS TES detector

abstract: The Any Light Particle Search II (ALPS II) requires a sensitive detection of 1064 nm photons. Thus, a low dark count rate (DC) and a high detection efficiency (DE) is needed. ALPS has set up a transition-edge sensor (TES) detector system, namely the ALPS TES detector. It is found that thermal photons from room temperature surfaces are the main contribution of dark counts for 1064 nm photon signals. Furthermore, the current setup of the ALPS TES detector shows an improvement compared to using the ALPS I detector.


title: Casimir-Polder interaction for gently curved surfaces

abstract: We use a derivative expansion for gently curved surfaces to compute the leading and the next-to-leading curvature corrections to the Casimir-Polder interaction between a polarizable small particle and a non-planar surface. While our methods apply to any homogeneous and isotropic surface, explicit results are presented here for perfect conductors. We show that the derivative expansion of the Casimir-Polder potential follows from a resummation of its perturbative series, for small in-plane momenta. We consider the retarded, non-retarded and classical high temperature limits.


title: Bayesian complementary clustering, MCMC and Anglo-Saxon placenames

abstract: Common cluster models for multi-type point processes model the aggregation of points of the same type. In complete contrast, in the study of Anglo-Saxon settlements it is hypothesized that administrative clusters involving complementary names tend to appear. We investigate the evidence for such an hypothesis by developing a Bayesian Random Partition Model based on clusters formed by points of different types (complementary clustering). As a result we obtain an intractable posterior distribution on the space of matchings contained in a k-partite hypergraph. We apply the Metropolis-Hastings (MH) algorithm to sample from this posterior. We consider the problem of choosing an efficient MH proposal distribution and we obtain consistent mixing improvements compared to the choices found in the literature. Simulated Tempering techniques can be used to overcome multimodality and a multiple proposal scheme is developed to allow for parallel programming. Finally, we discuss results arising from the careful use of convergence diagnostic techniques. This allows us to study a dataset including locations and placenames of 1316 Anglo-Saxon settlements dated approximately around 750-850 AD. Without strong prior knowledge, the model allows for explicit estimation of the number of clusters, the average intra-cluster dispersion and the level of interaction among placenames. The results support the hypothesis of organization of settlements into administrative clusters based on complementary names.