title: Reasoning about modular datatypes with Mendler induction

abstract: In functional programming, datatypes a la carte provide a convenient modular representation of recursive datatypes, based on their initial algebra semantics. Unfortunately it is highly challenging to implement this technique in proof assistants that are based on type theory, like Coq. The reason is that it involves type definitions, such as those of type-level fixpoint operators, that are not strictly positive. The known work-around of impredicative encodings is problematic, insofar as it impedes conventional inductive reasoning. Weak induction principles can be used instead, but they considerably complicate proofs. This paper proposes a novel and simpler technique to reason inductively about impredicative encodings, based on Mendler-style induction. This technique involves dispensing with dependent induction, ensuring that datatypes can be lifted to predicates and relying on relational formulations. A case study on proving subject reduction for structural operational semantics illustrates that the approach enables modular proofs, and that these proofs are essentially similar to conventional ones.


title: Shape Evolution of Sandwitched Droplet in Microconfined Shear Flow

abstract: Droplets confined in a microfluidic channel often exhibit intriguing shapes, primarily attributable to complex hydrodynamic interactions over small scales. We show that effect of varied substrate wettability conditions may further complicate these interactions remarkably, and often non-trivially. Our studies reveal that the combined influence of substrate wettability and fluidic confinement eventually culminates towards influencing the droplet transients, distortion of the local shear flow field, as well as drop stabilization against breakup or detachment, allowing one to develop different regimes of shapes evolution that are fascinatingly distinct from the ones reported in earlier studies on drop breakup in micro-confined shear flows. We further demonstrate that combined consequences of wall effects and interfacial wettability characteristics can be exploited to pattern microfluidic substrates with pre-designed patches, bearing far-ranging scientific and technological consequences in several scientific and technological applications of contemporary relevance.


title: Diffeological vector pseudo-bundles

abstract: We consider a diffeological counterpart of the notion of a vector bundle (we call this counterpart a pseudo-bundle, although in the other works it is called differently; among the existing terms there are a "regular vector bundle" of Vincent and "diffeological vector space over X" of Christensen-Wu). The main difference of the diffeological version is that (for reasons stemming from the independent appearance of this concept elsewhere), diffeological vector pseudo-bundles may easily not be locally trivial (and we provide various examples of such, including those where the underlying topological bundle is even trivial). Since this precludes using local trivializations to carry out many typical constructions done with vector bundles (but not the existence of constructions themselves), we consider the notion of diffeological gluing of pseudo-bundles, which, albeit with various limitations that we indicate, provides when applicable a substitute for said local trivializations. We quickly discuss the interactions between the operation of gluing and typical operations on vector bundles (direct sum, tensor product, taking duals) and then consider the notion of a pseudo-metric on a diffeological vector pseudo-bundle.


title: Optimizing intermittent water supply in urban pipe distribution networks

abstract: In many urban areas of the developing world, piped water is supplied only intermittently, as valves direct water to different parts of the water distribution system at different times. The flow is transient, and may transition between free-surface and pressurized, resulting in complex dynamical features with important consequences for water suppliers and users. Here, we develop a computational model of transition, transient pipe flow in a network, accounting for a wide variety of realistic boundary conditions. We validate the model against several published data sets, and demonstrate its use on a real pipe network. The model is extended to consider several optimization problems motivated by realistic scenarios. We demonstrate how to infer water flow in a small pipe network from a single pressure sensor, and show how to control water inflow to minimize damaging pressure gradients.


title: Fast low-rank estimation by projected gradient descent: General statistical and algorithmic guarantees

abstract: Optimization problems with rank constraints arise in many applications, including matrix regression, structured PCA, matrix completion and matrix decomposition problems. An attractive heuristic for solving such problems is to factorize the low-rank matrix, and to run projected gradient descent on the nonconvex factorized optimization problem. The goal of this problem is to provide a general theoretical framework for understanding when such methods work well, and to characterize the nature of the resulting fixed point. We provide a simple set of conditions under which projected gradient descent, when given a suitable initialization, converges geometrically to a statistically useful solution. Our results are applicable even when the initial solution is outside any region of local convexity, and even when the problem is globally concave. Working in a non-asymptotic framework, we show that our conditions are satisfied for a wide range of concrete models, including matrix regression, structured PCA, matrix completion with real and quantized observations, matrix decomposition, and graph clustering problems. Simulation results show excellent agreement with the theoretical predictions.


title: Storia: Summarizing Social Media Content based on Narrative Theory using Crowdsourcing

abstract: People from all over the world use social media to share thoughts and opinions about events, and understanding what people say through these channels has been of increasing interest to researchers, journalists, and marketers alike. However, while automatically generated summaries enable people to consume large amounts of data efficiently, they do not provide the context needed for a viewer to fully understand an event. Narrative structure can provide templates for the order and manner in which this data is presented to create stories that are oriented around narrative elements rather than summaries made up of facts. In this paper, we use narrative theory as a framework for identifying the links between social media content. To do this, we designed crowdsourcing tasks to generate summaries of events based on commonly used narrative templates. In a controlled study, for certain types of events, people were more emotionally engaged with stories created with narrative structure and were also more likely to recommend them to others compared to summaries created without narrative structure.


title: Testing the homogeneity of the Universe using gamma-ray bursts

abstract: In this paper, we study the homogeneity of the GRB distribution using a subsample of the Greiner GRB catalogue, which contains 314 objects with redshift $0<z<2.5$ (244 of them discovered by the Swift GRB Mission). We try to reconcile the dilemma between the new observations and the current theory of structure formation and growth. To test the results against the possible biases in redshift determination and the incompleteness of the Greiner sample, we also apply our analysis to the 244 GRBs discovered by Swift and the subsample presented by the Swift Gamma-Ray Burst Host Galaxy Legacy Survey (SHOALS). The real space two-point correlation function (2PCF) of GRBs, $\xi(r),$ is calculated using a Landy-Szalay estimator. We perform a standard least-$\chi^2$ fit to the measured 2PCFs of GRBs. We use the best-fit 2PCF to deduce a recently defined homogeneity scale. The homogeneity scale, $R_H$, is defined as the comoving radius of the sphere inside which the number of GRBs $N(<r)$ is proportional to $r^3$ within $1\%$, or equivalently above which the correlation dimension of the sample $D_2$ is within $1\%$ of $D_2=3$. For the Swift subsample of 244 GRBs, the correlation length and slope are $r_0= 387.51 \pm 132.75~h^{-1}$Mpc and $\gamma = 1.57\pm 0.65$ (at $1\sigma$ confidence level). The corresponding scale for a homogeneous distribution of GRBs is $r\geq 7,700~h^{-1}$Mpc. The results help to alleviate the tension between the new discovery of the excess clustering of GRBs and the cosmological principle of large-scale homogeneity. It implies that very massive structures in the relatively local Universe do not necessarily violate the cosmological principle and could conceivably be present.


title: Pentaquarks and strange tetraquark mesons

abstract: We consider the interplay of the pentaquark states and strange tetraquark states in the decay $\Lambda^0_b\to K^-J/\psi p$. Possible existence of ($cs\bar c\bar u$)-states is taken up and their manifestation in the $K^-J/\psi $-channel is discussed. It is emphasised that these exotic mesons can imitate broad bumps in the in the $pJ/\psi $-channel.


title: Individual Gap Measures from Generalized Zeckendorf Decompositions

abstract: Zeckendorf's theorem states that every positive integer can be uniquely decomposed as a sum of nonconsecutive Fibonacci numbers. The distribution of the number of summands converges to a Gaussian, and the individual measures on gaps between summands for $m \in [F_n, F_{n+1})$ converge to geometric decay for almost all $m$ as $n\to\infty$. While similar results are known for many other recurrences, previous work focused on proving Gaussianity for the number of summands or the average gap measure. We derive general conditions which are easily checked yield geometric decay in the individual gap measures of generalized Zeckendorf decompositions attached to many linear recurrence relations.


title: Identification of a New $\gamma$-ray-emitting narrow-line Seyfert 1 Galaxy, at Redshift $\sim1$

abstract: We report on the identification of a new $\gamma$-ray-emitting narrow-line Seyfert 1 (NLS1) galaxy, SDSS J122222.55+041315.7, which increases the number of known objects of this remarkable but rare type of active galactic nuclei (AGN) to seven. Its optical spectrum, obtained in the Sloan Digital Sky Survey-Baryon Oscillation Spectroscopic Survey, reveals a broad H $\beta$ emission line with a width (FWHM) of 1734$\pm$104 km s$^{-1}$. This, along with strong optical Fe II multiplets [$R_{4570}=0.9$] and a weak [O III] $\lambda 5007$ emission line, makes the object a typical NLS1. On the other hand, the source exhibits a high radio brightness temperature, rapid infrared variability, and a flat X-ray spectrum extending up to $\sim$200 keV. It is associated with a luminous $\gamma$-ray source detected significantly with {\it Fermi}/LAT. Correlated variability with other wavebands has not yet been tested. The spectral energy distribution can be well modelled by a one-zone leptonic jet model. This new member is by far the most distant $\gamma$-ray-emitting NLS1, at a redshift of $z=0.966$.


title: Once again on the Gribov horizon

abstract: The gauge dependence problem existing in the original Gribov-Zwanziger theory is discussed.


title: Spectro-temporal shaping of seeded free-electron laser pulses

abstract: We demonstrate the ability to control and shape the spectro-temporal content of extreme-ultraviolet (XUV) pulses produced by a seeded free-electron laser (FEL). The control over the spectro-temporal properties of XUV light was achieved by precisely manipulating the linear frequency chirp of the seed laser. Our results agree with existing theory, which allows retrieving the temporal properties (amplitude and phase) of the FEL pulse from measurements of the spectra as a function of the FEL operating parameters. Furthermore, we show the first direct evidence of the full temporal coherence of FEL light and generate Fourier limited pulses by fine-tuning the FEL temporal phase. The possibility to tailor the spectro-temporal content of intense short-wavelength pulses represents the first step towards efficient nonlinear optics in the XUV to X-ray spectral region and will enable precise manipulation of core-electron excitations using the methods of coherent quantum control.


title: Using a Multi-Cathode Counter (MCC) in the Search for Hidden Photon CDM

abstract: We report on a new technique of a Multi-Cathode Counter (MCC) developed to search for hidden photon (HP) cold dark matter (CDM) with a mass from 5 to 10 eV. The method suggested in the assumption that hidden photons of the mass greater than a work function of the metal, the cathode of the counter is fabricated induce emission of single electrons from a cathode. Three configurations of the same counter are used to measure the count rates R1, R2 and R3 of the single electron events sequentially each week, where the difference R1- R2 measures the effect from HP and R3 is used as a reference sequence to monitor the counting process. At present the work is aimed to refine the procedure of data treatment and to look for long term variations which should be accounted for in the final analysis of data.


title: Observation of $B^{0} \rightarrow p\bar{\Lambda} D^{(*)-}$

abstract: We report the first observation of the decays $B^0 \rightarrow p\bar{\Lambda} D^{(*)-}$. The data sample of $711$ fb$^{-1}$ used in this analysis corresponds to $772$ million $B\bar{B}$ pairs, collected at the $\Upsilon(4S)$ resonance by the Belle detector at the KEKB asymmetric-energy $e^{+}e^{-}$ collider. We observe $19.8\sigma$ and $10.8\sigma$ excesses of events for the two decay modes and measure the branching fractions of $B^0 \rightarrow p\bar{\Lambda} D^{-}$ and $B^0 \rightarrow p\bar{\Lambda} D^{*-}$ to be $(25.1\pm2.6\pm3.5)\times10^{-6}$ and $(33.6\pm6.3\pm4.4)\times10^{-6}$, respectively, where the first uncertainties are statistical and the second are systematic. These results are not compatible with the predictions based on the generalized factorization approach. In addition, a threshold enhancement in the di-baryon ($p\bar{\Lambda}$) system is observed, consistent with that observed in similar $B$ decays.


title: The H.E.S.S. multi-messenger program

abstract: Based on fundamental particle physics processes like the production and subsequent decay of pions in interactions of high-energy particles, close connections exist between the acceleration sites of high-energy cosmic rays and the emission of high-energy gamma rays and high-energy neutrinos. In most cases these connections provide both spatial and temporal correlations of the different emitted particles. The combination of the complementary information provided by these messengers allows to lift ambiguities in the interpretation of the data and enables novel and highly sensitive analyses. In this contribution the H.E.S.S. multi-messenger program is introduced and described. The current core of this newly installed program is the combination of high-energy neutrinos and high-energy gamma rays. The search for gamma-ray emission following gravitational wave triggers is also discussed. Furthermore, the existing program for following triggers in the electromagnetic regime was extended by the search for gamma-ray emission from Fast Radio Bursts (FRBs). An overview over current and planned analyses is given and recent results are presented.


title: Using Back-Scattering to Enhance Efficiency in Neutron Detectors

abstract: The principle of using strongly scattering materials to recover efficiency in neutron detectors, via back-scattering of unconverted thermal neutrons, is discussed in general. Feasibility of the method is illustrated through Geant4-based simulations of a specific setup involving a moderator-like material placed behind a single layered boron-10 thin film gaseous detector.


title: The $\pi$ Berry Phase and Topological Excitation in Interacting Boson-Fermion Mixtures

abstract: The topological property of boson-fermion mixture in a one-dimensional optical superlattice is studied and the topological insulating phase of interacting boson-fermion mixture characterized by a nontrivial Berry phase is identified. The single-particle and boson-fermion exchanging excitation spectrums are calculated and we identify the boson-fermion exchanging excitation as the gapless topological excitation in the topological phase of the mixture. The different kinds of excitations are explained explicitly from the competition among the bulk gap, the on-site boson-boson and boson-fermion interactions. The Hamiltonian studied has been partly realized in the state-of-art cold atom experiments, and the results are very relevant to the experiments.


title: Quantum radiation produced by a uniformly accelerating charged particle in thermal random motion

abstract: We investigate the properties of quantum radiation produced by a uniformly accelerating charged particle undergoing thermal random motions, which originates from the coupling to the vacuum fluctuations of the electromagnetic field. Because the thermal random motions are regarded to result from the Unruh effect, this quantum radiation is termed Unruh radiation. The energy flux of Unruh radiation is negative and smaller than that of Larmor radiation by one order in a/m, where a is the constant acceleration and m is the mass of the particle. Thus, the Unruh radiation appears to be a suppression of the classical Larmor radiation. The quantum interference effect plays an important role in this unique signature. The results is consistent with the predictions of a model consisting of a particle coupled to a massless scalar field as well as those of the previous studies on the quantum effect on the Larmor radiation.


title: Simultaneous H.E.S.S. and RXTE observations of the microquasars GRS 1915+105, Circinus X-1 and V4641 Sgr

abstract: Microquasars, Galactic binary systems showing extended and variable radio emission, are potential gamma-ray emitters. Indications of gamma-ray transient episodes have been reported in at least two systems, Cyg X-1 and Cyg X-3. The identification of additional gamma-ray emitting microquasars is key for a better understanding of these systems. Very-high-energy gamma-ray emission from microquasars has been predicted to happen during periods of transient outbursts potentially connected with the formation of a jet-like outflow. Contemporaneous observations using the H.E.S.S. telescope array and the RXTE satellite were obtained on three microquasars: GRS 1915+105, Circinus X-1 and V4641 Sgr with the aim of detecting a broadband flaring event in the very-high-energy gamma-ray and X-ray bands. We report here on the analysis of these data for each system, including a detailed X-ray analysis assessing the location of the sources in a hardness-intensity diagram during the observations. Finally we discuss the derived upper limits on their very-high-energy gamma-ray flux.


title: Testing particle trapping in transition disks with ALMA

abstract: We present new Atacama Large Millimeter/submillimeter Array (ALMA) continuum observations at 336GHz of two transition disks, SR21 and HD135344B. In combination with previous ALMA observations from Cycle 0 at 689GHz, we compare the visibility profiles at the two frequencies and calculate the spectral index ($\alpha_{\rm{mm}}$). The observations of SR21 show a clear shift in the visibility nulls, indicating radial variations of the inner edge of the cavity at the two wavelengths. Notable radial variations of the spectral index are also detected for SR21 with values of $\alpha_{\rm{mm}}{\sim}3.8-4.2$ in the inner region ($r<35$ AU) and $\alpha_{\rm{mm}}{\sim}2.6-3.0$ outside. An axisymmetric ring (which we call the ring model) or a ring with the addition of an azimuthal Gaussian profile, for mimicking a vortex structure (which we call the vortex model), is assumed for fitting the disk morphology. For SR21, the ring model better fits the emission at 336GHz, conversely the vortex model better fits the 689GHz emission. For HD135344B, neither a significant shift in the null of the visibilities nor radial variations of $\alpha_{\rm{mm}}$ are detected. Furthermore, for HD135344B, the vortex model fits both frequencies better than the ring model. However, the azimuthal extent of the vortex increases with wavelength, contrary to model predictions for particle trapping by anticyclonic vortices. For both disks, the azimuthal variations of $\alpha_{\rm{mm}}$ remain uncertain to confirm azimuthal trapping. The comparison of the current data with a generic model of dust evolution that includes planet-disk interaction suggests that particles in the outer disk of SR21 have grown to millimetre sizes and have accumulated in a radial pressure bump, whereas with the current resolution there is not clear evidence of radial trapping in HD135344B, although it cannot be excluded either.


title: A criterion for integrability of matrix coefficients with respect to a symmetric space

abstract: Let $G$ be a reductive group and $\theta$ an involution on $G$, both defined over a $p$-adic field. We provide a criterion for $G^\theta$-integrability of matrix coefficients of representations of $G$ in terms of their exponents along $\theta$-stable parabolic subgroups. The group case reduces to Casselman's square-integrability criterion. As a consequence we assert that certain families of symmetric spaces are strongly tempered in the sense of Sakellaridis and Venkatesh. For some other families our result implies that matrix coefficients of all irreducible, discrete series representations are $G^\theta$-integrable.


title: Apparent cross-field superslow propagation of magnetohydrodynamic waves in solar plasmas

abstract: In this paper we show that the phase mixing of continuum Alfv\'{e}n waves and/or continuum slow waves in magnetic structures of the solar atmosphere as, e.g., coronal arcades, can create the illusion of wave propagation across the magnetic field. This phenomenon could be erroneously interpreted as fast magnetosonic waves. The cross-field propagation due to phase mixing of continuum waves is apparent because there is no real propagation of energy across the magnetic surfaces. We investigate the continuous Alfv\'{e}n and slow spectra in 2D Cartesian equilibrium models with a purely poloidal magnetic field. We show that apparent superslow propagation across the magnetic surfaces in solar coronal structures is a consequence of the existence of continuum Alfv\'{e}n waves and continuum slow waves that naturally live on those structures and phase mix as time evolves. The apparent cross-field phase velocity is related to the spatial variation of the local Alfv\'{e}n/slow frequency across the magnetic surfaces and is slower than the Alfv\'{e}n/sound velocities for typical coronal conditions. Understanding the nature of the apparent cross-field propagation is important for the correct analysis of numerical simulations and the correct interpretation of observations.


title: Nanostructuring Graphene by Dense Electronic Excitation

abstract: The ability to manufacture tailored graphene nanostructures is a key factor to fully exploit its enormous technological potential. We have investigated nanostructures created in graphene by swift heavy ion induced folding. For our experiments, single layers of graphene exfoliated on various substrates and freestanding graphene have been irradiated and analyzed by atomic force and high resolution transmission electron microscopy as well as Raman spectroscopy. We show that the dense electronic excitation in the wake of the traversing ion yields characteristic nanostructures each of which may be fabricated by choosing the proper irradiation conditions. These nanostructures include unique morphologies such as closed bilayer edges with a given chirality or nanopores within supported as well as freestanding graphene. The length and orientation of the nanopore, and thus of the associated closed bilayer edge, may be simply controlled by the direction of the incoming ion beam. In freestanding graphene, swift heavy ion irradiation induces extremely small openings, offering the possibility to perforate graphene membranes in a controlled way.


title: Recurrent Reinforcement Learning: A Hybrid Approach

abstract: Successful applications of reinforcement learning in real-world problems often require dealing with partially observable states. It is in general very challenging to construct and infer hidden states as they often depend on the agent's entire interaction history and may require substantial domain knowledge. In this work, we investigate a deep-learning approach to learning the representation of states in partially observable tasks, with minimal prior knowledge of the domain. In particular, we propose a new family of hybrid models that combines the strength of both supervised learning (SL) and reinforcement learning (RL), trained in a joint fashion: The SL component can be a recurrent neural networks (RNN) or its long short-term memory (LSTM) version, which is equipped with the desired property of being able to capture long-term dependency on history, thus providing an effective way of learning the representation of hidden states. The RL component is a deep Q-network (DQN) that learns to optimize the control for maximizing long-term rewards. Extensive experiments in a direct mailing campaign problem demonstrate the effectiveness and advantages of the proposed approach, which performs the best among a set of previous state-of-the-art methods.


title: Empirical Big Data Research: A Systematic Literature Mapping

abstract: Background: Big Data is a relatively new field of research and technology, and literature reports a wide variety of concepts labeled with Big Data. The maturity of a research field can be measured in the number of publications containing empirical results. In this paper we present the current status of empirical research in Big Data. Method: We employed a systematic mapping method with which we mapped the collected research according to the labels Variety, Volume and Velocity. In addition, we addressed the application areas of Big Data. Results: We found that 151 of the assessed 1778 contributions contain a form of empirical result and can be mapped to one or more of the 3 V's and 59 address an application area. Conclusions: The share of publications containing empirical results is well below the average compared to computer science research as a whole. In order to mature the research on Big Data, we recommend applying empirical methods to strengthen the confidence in the reported results. Based on our trend analysis we consider Volume and Variety to be the most promising uncharted area in Big Data.


title: Explicit Bounds for Nondeterministically Testable Hypergraph Parameters

abstract: In this note we give a new effective proof method for the equivalence of the notions of testability and nondeterministic testability for uniform hypergraph parameters. We provide the first effective upper bound on the sample complexity of any nondeterministically testable $r$-uniform hypergraph parameter as a function of the sample complexity of its witness parameter for arbitrary $r$. The dependence is of the form of an exponential tower function with the height linear in $r$. Our argument depends crucially on the new upper bounds for the $r$-cut norm of sampled $r$-uniform hypergraphs. We employ also our approach for some other restricted classes of hypergraph parameters, and present some applications.


title: On Generalized Sierpi\'{n}ski Graphs

abstract: In this paper we obtain closed formulae for several parameters of generalized Sierpi\'{n}ski graphs $S(G,t)$ in terms of parameters of the base graph $G$. In particular, we focus on the chromatic, vertex cover, clique and domination numbers.


title: Consistency of circuit evaluation, extended resolution and total NP search problems

abstract: We consider sets $\Gamma(n,s,k)$ of narrow clauses expressing that no definition of a size $s$ circuit with $n$ inputs is refutable in resolution R in $k$ steps. We show that every CNF shortly refutable in Extended R, ER, can be easily reduced to an instance of $\Gamma(0,s,k)$ (with $s,k$ depending on the size of the ER-refutation) and, in particular, that $\Gamma(0,s,k)$ when interpreted as a relativized NP search problem is complete among all such problems provably total in bounded arithmetic theory $V^1_1$. We use the ideas of implicit proofs to define from $\Gamma(0,s,k)$ a non-relativized NP search problem $i\Gamma$ and we show that it is complete among all such problems provably total in bounded arithmetic theory $V^1_2$. The reductions are definable in $S^1_2$. We indicate how similar results can be proved for some other propositional proof systems and bounded arithmetic theories and how the construction can be used to define specific random unsatisfiable formulas, and we formulate two open problems about them.


title: Finding Wolf-Rayet Stars in the Milky Way: Inputs to Star Formation and Stellar Evolution

abstract: The total population of Wolf-Rayet (WR) stars in the Galaxy is predicted by models to be as many as $\sim$6000 stars, and yet the number of catalogued WR stars as a result of optical surveys was far lower than this ($\sim$200) at the turn of this century. When beginning our WR searches using infrared techniques it was not clear whether WR number predictions were too optimistic or whether there was more hidden behind interstellar and circumstellar extinction. During the last decade we pioneered a technique of exploiting the near- and mid-infrared continuum colours for individual point sources provided by large-format surveys of the Galaxy, including 2MASS and Spitzer/GLIMPSE, to pierce through the dust and reveal newly discovered WR stars throughout the Galactic Plane. The key item to the colour discrimination is via the characteristic infrared spectral index produced by the strong winds of the WR stars, combined with dust extinction, which place WR stars in a relatively depopulated area of infrared colour-colour diagrams. The use of the Spitzer/GLIMPSE 8$\mu$m and, more recently, WISE 22$\mu$m fluxes together with cross-referencing with X-ray measurements in selected Galactic regions have enabled improved candidate lists that increased our confirmation success rate, achieved via follow-up infrared and optical spectroscopy. To date a total of 102 new WR stars have been found with many more candidates still available for follow-up. This constitutes an addition of $\sim$16\% to the current inventory of 642 Galactic WR stars. In this talk we review our methods and provide some new results and a preliminary review of their stellar and interstellar medium environments. We provide a roadmap for the future of this search, including statistical modeling, and what we can add to star formation and high mass star evolution studies.


title: Fold singularities on spacelike CMC surfaces in Lorentz-Minkowski space

abstract: Fold singular points play important roles in the theory of maximal surfaces. For example, if a maximal surface admits fold singular points, it can be extended to a timelike minimal surface analytically. Moreover, there is a duality between conelike singular points and folds. In this paper, we investigate fold singular points on spacelike surfaces with non-zero constant mean curvature (spacelike CMC surfaces). We prove that spacelike CMC surfaces do not admit fold singular points. Moreover, we show that the singular point set of any conjugate CMC surface of a spacelike Delaunay surface with conelike singular points consists of (2,5)-cuspidal edges.


title: Fidelity approach to quantum phase transitions in quantum Ising model

abstract: Fidelity approach to quantum phase transitions uses the overlap between ground states of the system to gain some information about its quantum phases. Such an overlap is called fidelity. We illustrate how this approach works in the one dimensional quantum Ising model in the transverse field. Several closed-form analytical expressions for fidelity are discussed. An example of what insights fidelity provides into the dynamics of quantum phase transitions is carefully described. The role of fidelity in central spin systems is pointed out.


title: Update of the MCSANC Monte Carlo Integrator, v.1.20

abstract: This article presents new features of the MCSANC v.1.20 program, a Monte Carlo tool for calculation of the next-to-leading order electroweak and QCD corrections to various Standard Model processes. The extensions concern implementation of Drell--Yan-like processes and include a systematic treatment of the photon-induced contribution in proton--proton collisions and electroweak corrections beyond NLO approximation. There are also technical improvements such as calculation of the forward-backward asymmetry for the neutral current Drell--Yan process. The updated code is suitable for studies of the effects due to EW and QCD radiative corrections to Drell--Yan (and several other) processes at the LHC and for forthcoming high energy proton--proton colliders.


title: On uniquely 3-colorable plane graphs without prescribed adjacent faces

abstract: A graph $G$ is \emph{uniquely k-colorable} if the chromatic number of $G$ is $k$ and $G$ has only one $k$-coloring up to permutation of the colors. For a plane graph $G$, two faces $f_1$ and $f_2$ of $G$ are \emph{adjacent $(i,j)$-faces} if $d(f_1)=i$, $d(f_2)=j$ and $f_1$ and $f_2$ have a common edge, where $d(f)$ is the degree of a face $f$. In this paper, we prove that every uniquely 3-colorable plane graph has adjacent $(3,k)$-faces, where $k\leq 5$. The bound 5 for $k$ is best possible. Furthermore, we prove that there exist a class of uniquely 3-colorable plane graphs having neither adjacent $(3,i)$-faces nor adjacent $(3,j)$-faces, where $i,j\in \{3,4,5\}$ and $i \neq j$. One of our constructions implies that there exist an infinite family of edge-critical uniquely 3-colorable plane graphs with $n$ vertices and $\frac{7}{3}n-\frac{14}{3}$ edges, where $n(\geq 11)$ is odd and $n\equiv 2\pmod{3}$.


title: Mathematical Contributions to the Dynamics of the Josephson Junctions: State of the Art and Open Problems

abstract: Mathematical models related to some Josephson junctions are pointed out and attention is drawn to the solutions of certain initial boundary problems and to some of their estimates. In addition, results of rigorous analysis of the behaviour of these solutions when the time tends to infinity and when the small parameter tends to zero are cited. These analyses lead us to mention some of the open problems.


title: Ecological fallacy and covariates: new insights based on multilevel modelling of individual data

abstract: This paper deals with the issue of ecological bias in ecological inference. We provide an explicit formulation of the conditions required for the ordinary ecological regression to produce unbiased estimates and argue that, when these conditions are violated, any method of ecological inference is going to produce biased estimates. These findings are clarified and supported by empirical evidence provided by comparing the results of three main ecological inference methods with those of multilevel logistic regression applied to a unique set of individual data on voting behaviour. The main findings of our study have two important implications that apply to all situations where the conditions for no ecological bias are violated: (i) only ecological inference methods that allow to model the effect of covariates have a chance to produce unbiased estimates; (ii) the set of covariates to be included in the model to remove bias is limited to the marginal proportions. Finally, our results suggest that, when the association between two ecological variables is very weak, it is not possible to obtain unbiased estimates even by an appropriate model that accounts for the effect of relevant covariates.


title: A Conversation with Professor Tadeusz Cali\'{n}ski

abstract: Tadeusz Cali\'{n}ski was born in Pozna\'{n}, Poland in 1928. Despite the absence of formal secondary eduction for Poles during the Second World War, he entered the University of Pozna\'{n} in 1948, initially studying agronomy and in later years mathematics. From 1953 to 1988 he taught statistics, biometry and experimental design at the Agricultural University of Pozna\'{n}. During this period he founded and developed the Pozna\'{n} inter-university school of mathematical statistics and biometry, which has become one of the most important schools of this type in Poland and beyond. He has supervised 24 Ph.D. students, many of whom are currently professors at a variety of universities. He is now Professor Emeritus. Among many awards, in 1995 Professor Cali\'{n}ski received the Order of Polonia Restituta for his outstanding achievements in the fields of Education and Science. In 2012 the Polish Statistical Society awarded him The Jerzy Sp{\l}awa-Neyman Medal for his contribution to the development of research in statistics in Poland. Professor Cali\'{n}ski in addition has Doctoral Degrees honoris causa from the Agricultural University of Pozna\'{n} and the Warsaw University of Life Sciences. His research interests include mathematical statistics and biometry, with applications to agriculture, natural sciences, biology and genetics. He has published over 140 articles in scientific journals as well as, with Sanpei Kageyama, two important books on the randomization approach to the design and analysis of experiments. He has been extremely active and successful in initiating and contributing to fruitful international research cooperation between Polish statisticians and biometricians and their colleagues in various countries, particularly in the Netherlands, France, Italy, Great Britain, Germany, Japan and Portugal. The conversations in addition cover the history of biometry and experimental design in Poland and the early influence of British statisticians.


title: The World of Combinatorial Fuzzy Problems and the Efficiency of Fuzzy Approximation Algorithms

abstract: We re-examine a practical aspect of combinatorial fuzzy problems of various types, including search, counting, optimization, and decision problems. We are focused only on those fuzzy problems that take series of fuzzy input objects and produce fuzzy values. To solve such problems efficiently, we design fast fuzzy algorithms, which are modeled by polynomial-time deterministic fuzzy Turing machines equipped with read-only auxiliary tapes and write-only output tapes and also modeled by polynomial-size fuzzy circuits composed of fuzzy gates. We also introduce fuzzy proof verification systems to model the fuzzification of nondeterminism. Those models help us identify four complexity classes: Fuzzy-FPA of fuzzy functions, Fuzzy-PA and Fuzzy-NPA of fuzzy decision problems, and Fuzzy-NPAO of fuzzy optimization problems. Based on a relative approximation scheme targeting fuzzy membership degree, we formulate two notions of "reducibility" in order to compare the computational complexity of two fuzzy problems. These reducibility notions make it possible to locate the most difficult fuzzy problems in Fuzzy-NPA and in Fuzzy-NPAO.


title: Variation after full projection with triaxially deformed nuclear mean field

abstract: We implemented a variation after projection (VAP) algorithm based on a triaxially deformed Hartree-Fock-Bogoliubov vacuum state. This is the first projected mean field study that includes all the quantum numbers (except parity), i.e., spin ($J$), isospin ($T$) and mass number ($A$). Systematic VAP calculations with $JTA$-projection have been performed for the even-even $sd$-shell nuclei with the USDB Hamiltonian. All the VAP ground state energies are within 500 keV above the exact shell model values. Our VAP calculations show that the spin projection has two important effects: (1) the spin projection is crucial in achieving good approximation of the full shell model calculation. (2) the intrinsic shapes of the VAP wavefunctions with spin projection are always triaxial, while the Hartree-Fock-Bogoliubov methods likely provide axial intrinsic shapes. Finally, our analysis suggests that one may not be possible to associate an intrinsic shape to an exact shell model wave function.


title: Some structure theorems for algebraic groups

abstract: These are extended notes of a course given at Tulane University for the 2015 Clifford Lectures. Their aim is to present structure results for group schemes of finite type over a field, with applications to Picard varieties and automorphism groups.


title: Connection formulas for thermal density functional theory

abstract: The adiabatic connection formula of ground-state density functional theory relates the correlation energy to a coupling-constant integral over a purely potential contribution, and is widely used to understand and improve approximations. The corresponding formula for thermal density functional theory is cast as an integral over temperatures instead, ranging upward from the system's physical temperature. We also show how to relate different different correlation components to each other, either in terms of temperature- or coupling-constant integrations. We illustrate our results on the uniform electron gas.


title: Stochastic modeling and performance monitoring of wind farm power production

abstract: We present a new stochastic approach to describe and remodel the conversion process of a wind farm at a sampling frequency of 1Hz. When conditioning on various wind direction sectors, the dynamics of the conversion process appear as a fluctuating trajectory around an average IEC-like power curve, see section II. Our approach is to consider the wind farm as a dynamical system that can be described as a stochastic drift/diffusion model, where a drift coefficient describes the attraction towards the power curve and a diffusion coefficient quantifies additional turbulent fluctuations. These stochastic coefficients are inserted into a Langevin equation that, once properly adapted to our particular system, models a synthetic signal of power output for any given wind speed/direction signals, see section III. When combined with a pre-model for turbulent wind fluctuations, the stochastic approach models the power output of the wind farm at a sampling frequency of 1Hz using only ten-minute average values of wind speed and directions. The stochastic signals generated are compared to the measured signal, and show a good statistical agreement, including a proper reproduction of the intermittent, gusty features measured. In parallel, a second application for performance monitoring is introduced in section IV. The drift coefficient can be used as a sensitive measure of the global wind farm performance. When monitoring the wind farm as a whole, the drift coefficient registers some significant deviation from normal operation if one of twelve wind turbines is shut down during less than 4% of the time. Also, intermittent anomalies can be detected more rapidly than when using ten-minute averaging methods. Finally, a probabilistic description of the conversion process is proposed and modeled in appendix A, that can in turn be used to further improve the estimation of the stochastic coefficients.


title: The two obstacle problem for the parabolic biharmonic equation

abstract: We consider a two obstacle problem for the parabolic biharmonic equation in a bounded domain. We prove long time existence of solutions via an implicit time discretization scheme, and we investigate the regularity properties of solutions.


title: Path Integral Methods in Index Theorems

abstract: This paper provides a pedagogical introduction to the quantum mechanical path integral and its use in proving index theorems in geometry, specifically the Gauss-Bonnet-Chern theorem and Lefschetz fixed point theorem. It also touches on some other important concepts in mathematical physics, such as that of stationary phase, supersymmetry and localization. It is aimed at advanced undergraduates and beginning graduates, with no previous knowledge beyond undergraduate quantum mechanics assumed. The necessary mathematical background in differential geometry is reviewed, though a familiarity with this material is undoubtedly helpful.


title: High-resolution birefringence cartography of a vertical cavity semiconductor laser

abstract: We couple a double-channel imaging technique, allowing for the simultaneous acquisition of high-quality and high-resolution intensity and peak emission wavelength profiles [T. Wang and G.L. Lippi, Rev. Sci. Instr. 86, 063111 (2015)], to the polarization-resolved analysis of the optical emission of a multimode VCSEL. Detailed information on the local wavelength shifts between the two polarized components and on the wavelength gradients can be easily gathered. A polarization- and position-resolved energy balance can be constructed for each wavelength component, allowing in a simple way for a direct analysis of the collected light. Applications to samples, other than VCSELs, are suggested.


title: High-power pulse trains excited by modulated continuous waves

abstract: Pulse trains growing from modulated continuous waves (CWs) are considered, using solutions of the Hirota equation for solitons on a finite background. The results demonstrate that pulses extracted from the maximally compressed trains can propagate preserving their shape and forming robust arrays. The dynamics of double high-power pulse trains produced by modulated CWs in a model of optical fibers, including the Raman effect and other higher-order terms, is considered in detail too. It is demonstrated that the double trains propagate in a robust form, with frequencies shifted by the Raman effect.


title: Modelling DNA Origami Self-Assembly at the Domain Level

abstract: We present a modelling framework, and basic model parameterization, for the study of DNA origami folding at the level of DNA domains. Our approach is explicitly kinetic and does not assume a specific folding pathway. The binding of each staple is associated with a free-energy change that depends on staple sequence, the possibility of coaxial stacking with neighbouring domains, and the entropic cost of constraining the scaffold by inserting staple crossovers. A rigorous thermodynamic model is difficult to implement as a result of the complex, multiply connected geometry of the scaffold: we present a solution to this problem for planar origami. Coaxial stacking and entropic terms, particularly when loop closure exponents are taken to be larger than those for ideal chains, introduce interactions between staples. These cooperative interactions lead to the prediction of sharp assembly transitions with notable hysteresis that are consistent with experimental observations. We show that the model reproduces the experimentally observed consequences of reducing staple concentration, accelerated cooling and absent staples. We also present a simpler methodology that gives consistent results and can be used to study a wider range of systems including non-planar origami.


title: OMNeT++ and mosaik: Enabling Simulation of Smart Grid Communications

abstract: This paper presents a preliminary system architecture of integrating OMNeT++ into the mosaik co-simulation framework. This will enable realistic simulation of communication network protocols and services for smart grid scenarios and on the other side, further development of communication protocols for smart grid applications. Thus, by integrating OMNeT++ and mosaik, both communities will be able to leverage each others's sophisticated simulation models and expertise. The main challenges identified are the external management of the OMNeT++ simulation kernel and performance issues when federating various simulators, including OMNeT++ into the mosaik framework. The purpose of this paper is to bring these challenges up and to gather relevant experience and expertise from the OMNeT++ community. We especially encourage collaboration among all OMNeT++ developers and users.


title: A Conversation with Alan Gelfand

abstract: Alan E. Gelfand was born April 17, 1945, in the Bronx, New York. He attended public grade schools and did his undergraduate work at what was then called City College of New York (CCNY, now CUNY), excelling at mathematics. He then surprised and saddened his mother by going all the way across the country to Stanford to graduate school, where he completed his dissertation in 1969 under the direction of Professor Herbert Solomon, making him an academic grandson of Herman Rubin and Harold Hotelling. Alan then accepted a faculty position at the University of Connecticut (UConn) where he was promoted to tenured associate professor in 1975 and to full professor in 1980. A few years later he became interested in decision theory, then empirical Bayes, which eventually led to the publication of Gelfand and Smith [J. Amer. Statist. Assoc. 85 (1990) 398-409], the paper that introduced the Gibbs sampler to most statisticians and revolutionized Bayesian computing. In the mid-1990s, Alan's interests turned strongly to spatial statistics, leading to fundamental contributions in spatially-varying coefficient models, coregionalization, and spatial boundary analysis (wombling). He spent 33 years on the faculty at UConn, retiring in 2002 to become the James B. Duke Professor of Statistics and Decision Sciences at Duke University, serving as chair from 2007-2012. At Duke, he has continued his work in spatial methodology while increasing his impact in the environmental sciences. To date, he has published over 260 papers and 6 books; he has also supervised 36 Ph.D. dissertations and 10 postdocs. This interview was done just prior to a conference of his family, academic descendants, and colleagues to celebrate his 70th birthday and his contributions to statistics which took place on April 19-22, 2015 at Duke University.


title: Federating OMNeT++ Simulations with Testbed Environments

abstract: We are in the process of developing a system architecture for opportunistic and information centric communications. This architecture (called Keetchi), meant for the Internet of Things (IoT) is focussed on enabling applications to perform distributed and decentralised communications among smart devices. To realise and evaluate this architecture, we follow a 3-step approach. Our first approach of evaluation is the development of a testbed with smart devices (mainly smart phones and tablets) deployed with this architecture including the applications. The second step is where the architecture is evaluated in large scale scenarios with the OMNeT++ simulation environment. The third step is where the OMNeT++ simulation environment is fed with traces of data collected from experiments done using the testbed. In realising these environments, we develop the functionality of this architecture as a common code base that is able to operate in the OMNeT++ environment as well as in the smart devices of the testbed (e.g., Android, iOS, Contiki, etc.). This paper presents the details of the "Write once, compile anywhere" (WOCA) code base architecture of Keetchi.


title: Kagome chiral spin liquid as a gauged U(1) symmetry protected topological phase

abstract: While the existence of a chiral spin liquid (CSL) on a class of spin-1/2 kagome antiferromagnets is by now well-established numerically, a controlled theoretical path from the lattice model leading to a low energy topological field theory is still lacking. This we provide via an explicit construction, starting from reformulating a microscopic model for a CSL as a lattice gauge theory, and deriving the low-energy form of its continuum limit. A crucial ingredient is the realisation that the bosonic spinons of the gauge theory exhibit a $U(1)$ symmetry-protected topological (SPT) phase, which upon promoting its $U(1)$ global symmetry to a local gauge structure ("gauging") yields the CSL. We suggest that such an explicit lattice-based construction involving gauging of an SPT phase can be applied more generally to understand topological spin liquids.


title: Thermal density functional theory: Time-dependent linear response and approximate functionals from the fluctuation-dissipation theorem

abstract: The van Leeuwen proof of linear-response time-dependent density functional theory (TDDFT) is generalized to thermal ensembles. This allows generalization to finite temperatures of the Gross-Kohn relation, the exchange-correlation kernel of TDDFT, and fluctuation dissipation theorem for DFT. This produces a natural method for generating new thermal exchange-correlation (XC) approximations.


title: Regular Graphs with Forbidden Subgraphs of $K_n$ with $k$ Edges

abstract: In this paper we raise a variant of a classic problem in extremal graph theory, which is motivated by a design of fractional repetition codes, a model in distributed storage systems. For any feasible positive integers $d\geq 3$, $n \geq 3$, and $k$, where $n-1 \leq k \leq \binom{n}{2}$, what is the minimum possible number of vertices in a $d$-regular undirected graph whose subgraphs with $n$ vertices contain at most $k$ edges? The goal of this paper is to give the exact number of vertices for each instance of the problem and also to provide some bounds for general values of $n$, $d$, and $k$. A few general bounds with some exact values, for this Tur\'an-type problem, are given. We present an almost complete solution for $3 \leq n \leq 5$.


title: Renormalizing a Viscous Fluid Model for Large Scale Structure Formation

abstract: Using the Stochastic Adhesion Model (SAM) as a simple toy model for cosmic structure formation, we study renormalization and the removal of the cutoff dependence from loop integrals in perturbative calculations. SAM shares the same symmetry with the full system of continuity+Euler equations and includes a viscosity term and a stochastic noise term, similar to the effective theories recently put forward to model CDM clustering. We show in this context that if the viscosity and noise terms are treated as perturbative corrections to the standard eulerian perturbation theory, they are necessarily non-local in time. To ensure Galilean Invariance higher order vertices related to the viscosity and the noise must then be added and we explicitly show at one-loop that these terms act as counter terms for vertex diagrams. The Ward Identities ensure that the non-local-in-time theory can be renormalized consistently. Another possibility is to include the viscosity in the linear propagator, resulting in exponential damping at high wavenumber. The resulting local-in-time theory is then renormalizable to one loop, requiring less free parameters for its renormalization.


title: A Medium Sized Schwarzschild-Couder Cherenkov Telescope Mechanical Design Proposed for the Cherenkov Telescope Array

abstract: The Cherenkov Telescope Array (CTA) is an international next-generation ground-based gamma-ray observatory. CTA will be implemented as southern and northern hemisphere arrays of tens of small, medium and large-sized imaging Cherenkov telescopes with the goal of improving the sensitivity over the current-generation experiments by an order of magnitude. CTA will provide energy coverage from ~20 GeV to more than 300 TeV. The Schwarzschild-Couder (SC) medium size (9.5m) telescopes will feature a novel aplanatic two-mirror optical design capable of accommodating a wide field-of-view with significantly improved angular resolution as compared to the traditional Davies-Cotton optical design. A full-scale prototype SC medium size telescope structure has been designed and will be constructed at the Fred Lawrence Whipple Observatory in southern Arizona during the fall of 2015. concentrate on the novel features of the design.


title: Modeling Dense Urban Wireless Networks with 3D Stochastic Geometry

abstract: Over the past decade, many works on the modeling of wireless networks using stochastic geometry have been proposed. Results about probability of coverage, throughput or mean interference, have been provided for a wide variety of networks (cellular, ad-hoc, cognitive, sensors, etc). These results notably allow to tune network protocol parameters. Nevertheless, in their vast majority, these works assume that the wireless network deployment is flat: nodes are placed on the Euclidean plane. However, this assumption is disproved in dense urban environments where many nodes are deployed in high buildings. In this letter, we derive the exact form of the probability of coverage for the cases where the interferers form a 3D Poisson Point Process (PPP) and a 3D Modified Matern Process (MMP), and compare the results with the 2D case. The main goal of this letter is to show that the 2D model, although being the most common, can lead either to an optimistic or a pessimistic evaluation of the probability of coverage depending on the parameters of the model.


title: Soft self-assembled nanoparticles with temperature-dependent properties

abstract: The fabrication of versatile building blocks that are reliably self-assemble into desired ordered and disordered phases is amongst the hottest topics in contemporary material science. To this end, microscopic units of varying complexity, aimed at assembling the target phases, have been thought, designed, investigated and built. Such a path usually requires laborious fabrication techniques, especially when a specific funcionalisation of the building blocks is required. Telechelic star polymers, i.e., star polymers made of a number $f$ of di-block copolymers consisting of solvophobic and solvophilic monomers grafted on a central anchoring point, spontaneously self-assemble into soft patchy particles featuring attractive spots (patches) on the surface. Here we show that the tunability of such a system can be widely extended by controlling the physical and chemical parameters of the solution. Indeed, at fixed external conditions the self-assembly behaviour depends only on the number of arms and/or on the ratio of solvophobic to solvophilic monomers. However, changes in temperature and/or solvent quality makes it possible to reliably change the number and size of the attractive patches. This allows to steer the mesoscopic self-assembly behaviour without modifying the microscopic constituents. Interestingly, we also demonstrate that diverse combinations of the parameters can generate stars with the same number of patches but different radial and angular stiffness. This mechanism could provide a neat way of further fine-tuning the elastic properties of the supramolecular network without changing its topology.


title: Large-N QCD and the Veneziano Amplitude

abstract: We consider four scalar mesons scattering in large-Nc QCD. Using the worldline formalism we show that the scattering amplitude can be written as a formal sum over Wilson loops. The AdS/CFT correspondence maps this sum into a sum over string worldsheets in a confining background. We then argue that for well separated mesons the sum is dominated by flat space configurations. Under additional assumptions about the dual string path integral we obtain the Veneziano amplitude.


title: Charm and bottom quark masses on the lattice

abstract: Lattice determinations of quark mass have made significant progress in the last few years. I will review recent advances in calculations of charm and bottom mass, which are near to achieving percent-level precision and with fully controlled systematics. Precise knowledge of these parameters is of particular interest for precision Higgs studies at future accelerators.


title: Analysis of a combined NC1-C2 method for elliptic problem

abstract: It is shown in this paper that non-conforming finite elements on the triangle using $P^{1}$-nonconforming polynomials and $P^{2}$ -conforming polynomials can be easily built and used.They appear as an 'enriched' version of the standard piecewise quadratic six-node element.This work is divided into two parts.In the first we present the basic- property of the element,namely how it can be built and basic error estimates.We have observed that this new element behaves like $P^{1}$ non-conforming element.In the second part we have applied our element to the elliptic problem and the theoretical estimate has been guaranteed by numerical result.


title: Strain-dependent damping in nanomechanical resonators from thin $\mathrm{MoS_2}$ crystals

abstract: We investigate the effect of mechanical strain on the dynamics of thin $\mathrm{MoS_2}$ nanodrum resonators. Using a piezoelectric crystal, compressive and tensile biaxial strain is induced in initially flat and buckled devices. In the flat device, we observe a remarkable strain-dependence of the resonance line width, while the change in the resonance frequency is relatively small. In the buckled device, the strain-dependence of the damping is less pronounced, and a clear hysteresis is observed. The experiment suggests that geometric imperfections, such as microscopic wrinkles, could play a role in the strong dissipation observed in nanoresonators fabricated from 2-D materials.


title: Three dimensional nonlinear magnetic AdS solutions through topological defects

abstract: Inspired by large applications of topological defects in describing different phenomena in physics, and considering the importance of three dimensional solutions in AdS/CFT correspondence, in this paper we obtain magnetic anti-de Sitter solutions of nonlinear electromagnetic fields. We take into account three classes of nonlinear electrodynamic models; first two classes are the well-known BornInfeld like models including logarithmic and exponential forms and third class is known as the power Maxwell invariant nonlinear electrodynamics. We investigate the effects of these nonlinear sources on three dimensional magnetic solutions. We show that these asymptotical AdS solutions do not have any curvature singularity and horizon. We also generalize the static metric to the case of rotating solutions and find that the value of the electric charge depends on the rotation parameter. Finally, we consider the quadratic Maxwell invariant as a correction of Maxwell theory and in other words, we investigate the effects of nonlinearity as a correction. We study the behavior of the deficit angle in presence of these theories of nonlinearity and compare them with each other. We also show that some cases with negative deficit angle exists which are representing objects with different geometrical structure. We also show that in case of the static only magnetic field exists whereas by boosting the metric to rotating one, electric field appear too.


title: Characteristic Sign Renewals of Kardar-Parisi-Zhang Fluctuations

abstract: Tracking the sign of fluctuations governed by the $(1+1)$-dimensional Kardar-Parisi-Zhang (KPZ) universality class, we show, both experimentally and numerically, that its evolution has an unexpected link to a simple stochastic model called the renewal process, studied in the context of aging and ergodicity breaking. Although KPZ and the renewal process are fundamentally different in many aspects, we find remarkable agreement in some of the time correlation properties, such as the recurrence time distributions and the persistence probability, while the two systems can be different in other properties. Moreover, we find inequivalence between long-time and ensemble averages in the fraction of time occupied by a specific sign of the KPZ-class fluctuations. The distribution of its long-time average converges to nontrivial broad functions, which are found to differ significantly from that of the renewal process, but instead be characteristic of KPZ. Thus, we obtain a new type of ergodicity breaking for such systems with many-body interactions. Our analysis also detects qualitative differences in time-correlation properties of circular and flat KPZ-class interfaces, which were suggested from previous experiments and simulations but still remain theoretically unexplained.


title: Highly Deformed Non-uniform Black Strings in Six Dimensions

abstract: We construct numerically static non-uniform black string solutions in six dimensions by using pseudo-spectral methods. An appropriately designed adaptation of the methods in regard of the specific behaviour of the field quantities in the vicinity of our numerical boundaries provides us with extremely accurate results, that allows us to get solutions with an unprecedented deformation of the black string horizon. Consequently, we are able to investigate in detail a critical regime within a suitable parameter diagram. In particular, we observe a clearly pronounced maximum in the mass curve, which is in accordance with the results of Kleihaus, Kunz and Radu from 2006. Interestingly, by looking at extremely distorted black strings, we find two further turning points of the mass, resulting in a spiral curve in the black string's phase diagram.


title: On Local Description of Two-Dimensional Geodesic Flows with a Polynomial First Integral

abstract: In this paper we construct multiparametric families of two dimensional metrics with polynomial first integral. Such integrable geodesic flows are described by solutions of some semi-Hamiltonian hydrodynamic type system. We find infinitely many conservation laws and commuting flows for this system. This procedure allows us to present infinitely many particular metrics by the generalized hodograph method.


title: Interactive Schemes for the AWGN Channel with Noisy Feedback

abstract: We study the problem of communication over an additive white Gaussian noise (AWGN) channel with an AWGN feedback channel. When the feedback channel is noiseless, the classic Schalkwijk-Kailath (S-K) scheme is known to achieve capacity in a simple sequential fashion, while attaining reliability superior to non-feedback schemes. In this work, we show how simplicity and reliability can be attained even when the feedback is noisy, provided that the feedback channel is sufficiently better than the feedforward channel. Specifically, we introduce a low-complexity low-delay interactive scheme that operates close to capacity for a fixed bit error probability (e.g. $10^{-6}$). We then build on this scheme to provide two asymptotic constructions, one based on high dimensional lattices, and the other based on concatenated coding, that admit an error exponent significantly exceeding the best possible non-feedback exponent. Our approach is based on the interpretation of feedback transmission as a side-information problem, and employs an interactive modulo-lattice solution.


title: Nodal ground state solution to a biharmonic equation via dual method

abstract: Using dual method we establish the existence of nodal ground state solution for the following class of problems $$ \left\{ \begin{array}{l} \Delta^2 u = f(u), \quad \mbox{in} \quad \Omega, \\ u =Bu=0,\quad\mbox{on} \quad \partial \Omega \end{array} \right. $$ where $\Delta^2$ is the biharmonic operator, $B=\Delta$ or $B=\dfrac{\partial}{\partial \nu}$ and $f$ is a $C^1$-function having subcritical growth.


title: Role of hexagonal boron nitride in protecting ferromagnetic nanostructures from oxidation

abstract: Ferromagnetic contacts are widely used to inject spin polarized currents into non-magnetic materials such as semiconductors or 2-dimensional materials like graphene. In these systems, oxidation of the ferromagnetic materials poses an intrinsic limitation on device performance. Here we investigate the role of ex-situ transferred chemical vapour deposited hexagonal boron nitride (hBN) as an oxidation barrier for nanostructured cobalt and permalloy electrodes. The chemical state of the ferromagnets was investigated using X-ray photoemission electron microscopy owing to its high sensitivity and lateral resolution. We have compared the oxide thickness formed on ferromagnetic nanostructures covered by hBN to uncovered reference structures. Our results show that hBN reduces the oxidation rate of ferromagnetic nanostructures suggesting that it could be used as an ultra-thin protection layer in future spintronic devices.


title: On $Q$-Tensors

abstract: One of the central problems in the theory of linear complementarity problems (LCPs) is to study the class of $Q$-matrices since it characterizes the solvability of LCP. Recently, the concept of $Q$-matrix has been extended to the case of tensor, called $Q$-tensor, which characterizes the solvability of the corresponding tensor complementarity problem -- a generalization of LCP; and some basic results related to $Q$-tensors have been obtained in the literature. In this paper, we extend two famous results related to $Q$-matrices to the tensor space, i.e., we show that within the class of strong $P_0$-tensors or nonnegative tensors, four classes of tensors, i.e., $R_0$-tensors, $R$-tensors, $ER$-tensors and $Q$-tensors, are all equivalent. We also construct several examples to show that three famous results related to $Q$-matrices cannot be extended to the tensor space; and one of which gives a negative answer to a question raised recently by Song and Qi.


title: Strong Couplings of Charmed Mesons and Quarkonia

abstract: We extract the strong coupling constants of three mesons, each of which is composed of either two charm quarks or one charm quark and one light (i.e., $u$, $d$, or $s$) quark, from the matrix elements for the transitions of two of these mesons induced by appropriate quark currents within the framework of a relativistic dispersion approach to the constituent-quark picture of mesons. Among others, we also analyse the impact of the violation of the SU(3) flavour symmetry by the quark masses. In the case of mesons containing one light quark, we observe, in two respects, discrepancies between our findings and the predictions of QCD sum rules: our strong couplings exceed considerably the ones emerging from QCD sum rules, and, in our approach, the replacement of a light quark by a strange quark entails, in contrast to QCD sum rules, a reduction of the magnitudes of the strong couplings.


title: H.E.S.S. observations of PSR B1259-63 during its 2014 periastron passage

abstract: An extended observation campaign of the gamma-ray binary system PSR B1259$-$63 has been conducted with the H.E.S.S. (High Energy Stereoscopic System) II 5-telescope array during the system's periastron passage in 2014. We report on the outcome of this campaign, which consists of more than 85 h of data covering both pre- and post-periastron orbital phases. The lower energy threshold of the H.E.S.S. II array allows very-high-energy (VHE; $E \gtrsim 100$ GeV) gamma-ray emission from PSR B1259$-$63 to be studied for the first time down to 200 GeV. The new dataset partly overlaps with and extends in phase previous H.E.S.S. campaigns on this source in 2004, 2007 and 2011, allowing for a detailed long-term characterisation of the flux level at VHEs. In addition, the 2014 campaign reported here includes VHE observations during the exact periastron time, $t_{\rm per}$, as well as data taken simultaneously to the gamma-ray flare detected with the Fermi-LAT. Our results will be discussed in a multiwavelength context, thanks to the dense broad-band monitoring campaign conducted on the system during this last periastron passage.


title: Modeling Quantum Optical Components, Pulses and Fiber Channels Using OMNeT++

abstract: Quantum Key Distribution (QKD) is an innovative technology which exploits the laws of quantum mechanics to generate and distribute unconditionally secure cryptographic keys. While QKD offers the promise of unconditionally secure key distribution, real world systems are built from non-ideal components which necessitates the need to model and understand the impact these non-idealities have on system performance and security. OMNeT++ has been used as a basis to develop a simulation framework to support this endeavor. This framework, referred to as "qkdX" extends OMNeT++'s module and message abstractions to efficiently model optical components, optical pulses, operating protocols and processes. This paper presents the design of this framework including how OMNeT++'s abstractions have been utilized to model quantum optical components, optical pulses, fiber and free space channels. Furthermore, from our toolbox of created components, we present various notional and real QKD systems, which have been studied and analyzed.


title: On edge-decomposition of cubic graphs into copies of the double-star with four edges

abstract: A tree containing exactly two non-pendant vertices is called a double-star. Let $k_1$ and $k_2$ be two positive integers. The double-star with degree sequence $(k_1+1, k_2+1, 1, \ldots, 1)$ is denoted by $S_{k_1, k_2}$. If $G$ is a cubic graph and has an $S$-decomposition, for a double-star $S$, then $S$ is isomorphic to $S_{1,1}$, $S_{1,2}$ or $S_{2,2}$. It is known that a cubic graph has an $S_{1,1}$-decomposition if and only if it contains a perfect matching. In this paper we study the $S_{1,2}$-decomposition of cubic graphs. First, we present some necessary conditions for the existence of an $S_{1,2}$-decomposition in cubic graphs. Then we prove that every $\{C_3, C_5, C_7\}$-free cubic graph of order $n$ with $\alpha(G)= \frac{3n}{8}$ has an $S_{1,2}$-decomposition, where $\alpha(G)$ denotes the independence number of $G$. Finally, we obtain some results on the $S_{1,r-1}$-decomposition of $r$-regular graphs.


title: Computing quasisolutions of nonlinear inverse problems via efficient minimization of trust region problems

abstract: In this paper we present a method for the regularized solution of nonlinear inverse problems, based on Ivanov regularization (also called method of quasi solutions or constrained least squares regularization). This leads to the minimization of a non-convex cost function under a norm constraint, where non-convexity is caused by nonlinearity of the inverse problem. Minimization is done by iterative approximation, using (non-convex) quadratic Taylor expansions of the cost function. This leads to repeated solution of quadratic trust region subproblems with possibly indefinite Hessian. Thus the key step of the method consists in application of an efficient method for solving such quadratic subproblems, developed by Rendl and Wolkowicz [10]. We here present a convergence analysis of the overall method as well as numerical experiments.


title: The Clusters AgeS Experiment (CASE). Variable stars in the field of the globular cluster M12

abstract: The field of the globular cluster M12 (NGC 6218) was monitored between 1995 and 2009 in a search for variable stars. $BV$ light curves were obtained for 36 periodic or likely periodic variables. Thirty-four of these are new detections. Among the latter we identified 20 proper-motion members of the cluster: six detached or semi-detached eclipsing binaries, five contact binaries, five SX~Phe pulsators, and three yellow stragglers. Two of the eclipsing binaries are located in the turnoff region, one on the lower main sequence and the remaining three among the blue stragglers. Two contact systems are blue stragglers, and the remaining three reside in the turnoff region. In the blue straggler region a total of 103 objects were found, of which 42 are proper motion members of M12, and another four are field stars. Forty-five of the remaining objects are located within two core radii from the center of the cluster, and as such they are likely genuine blue stragglers. We also report the discoveries of a radial color gradient of M12, and the shortest period among contact systems in globular clusters in general


title: Causal Space-Times on a Null Lattice

abstract: I investigate a discrete model of quantum gravity on a causal null-lattice with \SLC structure group. The description is geometric and foliates in a causal and physically transparent manner. The general observables of this model are constructed from local Lorentz symmetry considerations only. For smooth configurations, the local lattice actions reduce to the Hilbert-Palatini action, a cosmological term and the three topological terms of dimension four of Pontyagin, Euler and Nieh-Yan. Consistency conditions for a topologically hypercubic complex with null 4-simplexes are derived and a topological lattice theory that enforces these non-local constraints is constructed. The lattice integration measure is derived from an \SLC-invariant integration measure by localization of the non-local structure group. This measure is unique up to a density that depends on the local 4-volume. It can be expressed in terms of manifestly coordinate invariant geometrical quantities. The density provides an invariant regularization of the lattice integration measure that suppresses configurations with small local 4-volumes. Amplitudes conditioned on geodesic distances between local observables have a physical interpretation and may have a smooth ultraviolet limit. Numerical studies on small lattices in the unphysical strong coupling regime of large imaginary cosmological constant suggest that this model of triangulated causal manifolds is finite. Two topologically different triangulations of space-time are discussed: a single, causally connected universe and a duoverse with two causally disjoint connected components. In the duoverse, two hypercubic sublattices are causally disjoint but the local curvature depends on fields of both sublattices. This may simulate effects of dark matter in the continuum limit.


title: Dynamic relaxation oscillations in a nonlinearly driven quartz crystal

abstract: We demonstrate thermo-mechanical relaxation oscillations in a strongly driven quartz crystal. Dynamic bifurcation leads to two stable oscillation states with a distinct electrical impedance. Slow Joule-heating, which shifts the susceptibility of the crystal, provides a feedback that leads to thermally-induced oscillations, in which the amplitude of the crystal is modulated by a relaxation cycle. The frequency of the relaxation cycle is roughly a million times lower than the resonance frequency of the crystal, and it can be adjusted by the detuning from the critical point for dynamic bifurcation. The experimental observations are reproduced by a simple model that takes into account the slow dynamics of the system.


title: Exact thermal density functional theory for a model system: Correlation components and accuracy of the zero-temperature exchange-correlation approximation

abstract: Thermal density functional theory calculations often use the Mermin-Kohn-Sham scheme, but employ ground-state approximations to the exchange-correlation (XC) free energy. In the simplest solvable nontrivial model, an asymmetric Hubbard dimer, we calculate the exact many-body energies and the exact Mermin-Kohn-Sham functionals for this system and extract the exact XC free energy. For moderate temperatures and weak correlation, we find this approximation to be excellent. We extract various exact free-energy correlation components and the exact adiabatic connection formula.


title: The extremal process of critical points of the pure $p$-spin spherical spin glass model

abstract: Recently, sharp results concerning the critical points of the Hamiltonian of the $p$-spin spherical spin glass model have been obtained by means of moments computations. In particular, these moments computations allow for the evaluation of the leading term of the ground-state, i.e., of the global minimum. In this paper, we study the extremal point process of critical points - that is, the point process associated to all critical values in the vicinity of the ground-state. We show that the latter converges in distribution to a Poisson point process of exponential intensity. In particular, we identify the correct centering of the ground-state and prove the convergence in distribution of the centered minimum to a (minus) Gumbel variable. These results are identical to what one obtains for a sequence of i.i.d variables, correctly normalized; namely, we show that the model is in the universality class of REM.


title: Limits on optical polarization during the prompt phase of GRB 140430A

abstract: Gamma-ray burst GRB 140430A was detected by the Swift satellite and observed promptly with the imaging polarimeter RINGO3 mounted on the Liverpool Telescope, with observations beginning while the prompt $\gamma$-ray emission was still ongoing. In this paper, we present densely sampled (10-second temporal resolution) early optical light curves in 3 optical bands and limits to the degree of optical polarization. We compare optical, X-ray and gamma-ray properties and present an analysis of the optical emission during a period of high-energy flaring. The complex optical light curve cannot be explained merely with a combination of forward and reverse shock emission from a standard external shock, implying additional contribution of emission from internal shock dissipation. We estimate an upper limit for time averaged optical polarization during the prompt phase to be as low as P < 12% (1$\sigma$). This suggests that the optical flares and early afterglow emission in this GRB are not highly polarized. Alternatively, time averaging could mask the presence of otherwise polarized components of distinct origin at different polarization position angles.


title: Skewness and Kurtosis as Indicators of Non-Gaussianity in Galactic Foreground Maps

abstract: Observational cosmology is entering an era in which high precision will be required in both measurement and data analysis. Accuracy, however, can only be achieved with a thorough understanding of potential sources of contamination from foreground effects. Our primary focus will be on non- Gaussian effects in foregrounds. This issue will be crucial for coming experiments to determine B-mode polarization. We propose a novel method for investigating a data set in terms of skewness and kurtosis in locally defined regions that collectively cover the entire sky. The method is demonstrated on two sky maps: (i) the SMICA map of Cosmic Microwave Background fluctuations provided by the Planck Collaboration and (ii) a version of the Haslam map at 408 MHz that describes synchrotron radiation. We find that skewness and kurtosis can be evaluated in combination to reveal local physical information. In the present case, we demonstrate that the local properties of both maps are predominantly Gaussian. This result was expected for the SMICA map; that it also applies for the Haslam map is surprising. The approach described here has a generality and flexibility that should make it useful in a variety of astrophysical and cosmological contexts.


title: uIP Support for the Network Simulation Cradle

abstract: This paper introduces the ongoing integration of Contiki's uIP stack into the OMNeT++ port of the Network Simulation Cradle (NSC). The NSC utilizes code from real world stack implementations and allows for an accurate simulation and comparison of different TCP/IP stacks. uIP(v6) provides resource-constrained devices with an RFC-compliant TCP/IP stack and promotes the use of IPv6 in the vastly growing field of Internet of Things scenarios. This work-in-progress report discusses our motivation to integrate uIP into the NSC, our chosen approach and possible use cases for the simulation of uIP in OMNeT++.


title: The electronic structure formation of CuxTiSe2 in a wide range (0.04 < x < 0.8) of copper concentration

abstract: An experimental study of the electronic structure of copper intercalated titanium dichalcogenides in a wide range of copper concentrations (x = 0.05 - 0.6) using the x-rays photoemission spectroscopy, resonant photoemission and x-rays absorption spectroscopy has been performed. Negative energy shifts of the Ti 2p and Se 3d core levels spectra and a corresponding decrease of the photon energy in Ti 2p absorption spectra with increasing concentration of copper have been found. Such sign-anomalous shifts may be explained by the shielding effect of the corresponding atomic shells as a result of the dynamic charge transfer during the formation of a covalent chemical bond between the copper atoms and the TiSe2 matrix.


title: Dynamic Index NAT as a Mobility Solution in OMNeT++

abstract: Mobility in wireless networks causes a major issue from the IP-addressing perspective. When a Mobile Node (MN) moves to another subnet, it will probably get assigned a new IP address. This causes a routing problem since the MN will not be reachable with its previous IP address known to the other communication party. Real time applications might suffer from connection drops, which is recognized as inconvenience in the currently used service, unless some solution is provided. An approach to maintain session continuity while traversing heterogeneous networks of different subnet addresses is proposed. Here, a cross-layer module is implemented in OMNeT++ with NAT functionality to provide a seamless handover. A proof of concept is also shown with analogy to the Mobile IPv6 protocol provided in INET.


title: Long term variability of the blazar PKS 2155-304

abstract: Time variability of the photon flux is a known feature of active galactic nuclei (AGN) and in particular of blazars. The high frequency peaked BL Lac (HBL) object PKS 2155-304 is one of the brightest sources in the TeV band and has been monitored regularly with different instruments and in particular with the H.E.S.S. experiment above 200 GeV for more than 11 years. These data together with the observations of other instruments and monitoring programs like SMARTS (optical), Swift-XRT/RXTE/XMM-Newton (X-ray) and Fermi-LAT (100 MeV < E < 300 GeV) are used to characterize the variability of this object in the quiescent state over a wide energy range. Variability studies are made by looking at the lognormality of the light curves and at the fractional root mean square (rms) variability Fvar in several energy bands. Lognormality is found in every energy range and the evolution of Fvar with the energy shows a similar increase both in X-rays and in TeV bands.


title: Improvements in OMNeT++/INET Real-Time Scheduler for Emulation Mode

abstract: In this paper the performance of INET's emulation mode is evaluated. In particular, the focus of the study is on the precision of the delay emulation. It is shown, that this precision is low in INET 2.6 (respectively a later version provided in the integration branch that fixed the crashes of 2.6 in emulation mode). Two errors in the implementation are identified and an alternative configuration for packet capturing is proposed. The performance tests are re-run with such a modified version of the real-time scheduler (which is now included in the recent INET 3.0 release) and it is shown that the responsiveness of the emulation mode and the precision of delay emulation are improved significantly. Finally, the negative impact of the modified capturing configuration is briefly analyzed. Packet loss in the capturing process has deteriorated but in fact is has already plagued the emulation mode of previous implementations and this topic clearly demands for further studies.


title: Controlling photon emission from silicon for photonic applications

abstract: The importance of a photon source that would be compatible with silicon circuitry is crucial for data communication networks. A photon source with energies ranging from UV to near infrared can be activated in Si as originationg from defects related to dislocations, vacancies, strain induced band edge transitions and quantum confinement effects. Using an etching method developed in this work, one can also enhance selectively the UV-VIS, band edge emission and emissions at telecom wavelengths, which are tunable depending on surface treatment. Deuterium D2O etching favors near infrared emission with a characteristic single peak at 1320 nm at room temperature. The result offers an exciting solution to advanced microelectronics The method involves the treatment of Si surface by deuterium Deuterium containing acid vapor, resulting in a layer that emits at 1320 nm. Etching without deuterium, a strong band edge emission can be induced at 1150 nm or an emission at 1550 nm can be created depending on the engineered surface structure of silicon. Schottky diodes fabricated on treated surfaces exhibit a strong rectifying characteristics in both cases.


title: Highly Efficient siRNA Delivery from Core-Shell Mesoporous Silica Nanoparticles with Multifunctional Polymer Caps

abstract: A new general route for siRNA delivery is presented combining porous core-shell silica nanocarriers with a modularly designed multifunctional block copolymer. Specifically, the internal storage and release of siRNA from mesoporous silica nanoparticles (MSN) with orthogonal core-shell surface chemistry was investigated as a function of pore-size, pore morphology, surface properties and pH. Very high siRNA loading capacities of up to 380 microg/mg MSN were obtained with charge-matched amino-functionalized mesoporous cores, and release profiles show up to 80% siRNA elution after 24 h. We demonstrate that adsorption and desorption of siRNA is mainly driven by electrostatic interactions, which allow for high loading capacities even in medium-sized mesopores with pore diameters down to 4 nm in a stellate pore morphology. The negatively charged MSN shell enabled the association with a block copolymer containing positively charged artificial amino acids and oleic acid blocks, which acts simultaneously as capping function and endosomal release agent. The potential of this multifunctional delivery platform is demonstrated by highly effective cell transfection and siRNA delivery into KB-cells. A luciferase reporter gene knock-down of up to 90% was possible using extremely low cell exposures with only 2.5 microg MSN containing 32 pM siRNA per 100 microL well.


title: A Closer Look at Testing the "No-Treatment-Effect" Hypothesis in a Comparative Experiment

abstract: Standard tests of the "no-treatment-effect" hypothesis for a comparative experiment include permutation tests, the Wilcoxon rank sum test, two-sample $t$ tests, and Fisher-type randomization tests. Practitioners are aware that these procedures test different no-effect hypotheses and are based on different modeling assumptions. However, this awareness is not always, or even usually, accompanied by a clear understanding or appreciation of these differences. Borrowing from the rich literatures on causality and finite-population sampling theory, this paper develops a modeling framework that affords answers to several important questions, including: exactly what hypothesis is being tested, what model assumptions are being made, and are there other, perhaps better, approaches to testing a no-effect hypothesis? The framework lends itself to clear descriptions of three main inference approaches: process-based, randomization-based, and selection-based. It also promotes careful consideration of model assumptions and targets of inference, and highlights the importance of randomization. Along the way, Fisher-type randomization tests are compared to permutation tests and a less well-known Neyman-type randomization test. A simulation study compares the operating characteristics of the Neyman-type randomization test to those of the other more familiar tests.


title: Domain-Specific Modeling and Code Generation for Cross-Platform Multi-Device Mobile Apps

abstract: Nowadays, mobile devices constitute the most common computing device. This new computing model has brought intense competition among hardware and software providers who are continuously introducing increasingly powerful mobile devices and innovative OSs into the market. In consequence, cross-platform and multi-device development has become a priority for software companies that want to reach the widest possible audience. However, developing an application for several platforms implies high costs and technical complexity. Currently, there are several frameworks that allow cross-platform application development. However, these approaches still require manual programming. My research proposes to face the challenge of the mobile revolution by exploiting abstraction, modeling and code generation, in the spirit of the modern paradigm of Model Driven Engineering.


title: A `Water Spout' Maser Jet in S235AB-MIR

abstract: We report on annual parallax and proper motion observations of H2O masers in S235AB-MIR, which is a massive young stellar object in the Perseus Arm. Using multi-epoch VLBI astrometry we measured a parallax of pi = 0.63 +- 0.03 mas, corresponding to a trigonometric distance of D = 1.56+-0.09 kpc, and source proper motion of ( u alpha cos d , u d) = (0.79 +- 0.12, -2.41 +- 0.14) mas/yr. Water masers trace a jet of diameter 15 au which exhibits a definite radial velocity gradient perpendicular to its axis. 3D maser kinematics were well modelled by a rotating cylinder with physical parameters: v_out = 45+-2 km/s, v_rot = 22+-3 km/s, i = 12+-2 degrees, which are the outflow velocity, tangential rotation velocity and line-of-sight inclination, respectively. One maser feature exhibited steady acceleration which may be related to the jet rotation. During our 15 month VLBI programme there were three `maser burst' events caught `in the act' which were caused by the overlapping of masers along the line of sight.


title: Integration of RTMFP in the OMNeT++ Simulation Environment

abstract: This paper introduces the new Real-Time Media Flow Protocol (RTMFP) simulation model for the INET framework for the OMNeT++ simulation environment. RTMFP is a message orientated protocol with a focus on real time peer-to-peer communication. After Adobe Inc. released the specifications, we were able to implement the protocol in INET and compare its performance to the similar Stream Control Transmission Protocol (SCTP) with a focus on congestion control and flow control mechanisms.


title: The Relation between the Perturbative QCD Scale $\Lambda_s$ and Hadronic Masses from Light-Front Holography

abstract: QCD is well understood at short distances where perturbative calculations are feasible. Establishing an explicit analytic connection between the short-distance regime and the large-distance physics of quark confinement has been a long-sought goal. A major challenge is to relate the scale $\Lambda_{s}$ underlying the evolution of the QCD coupling in the perturbative regime to the masses of hadrons. We show here how new theoretical insights into the behavior of QCD at large distances leads to such a relation. The resulting prediction for $\Lambda_{s}$ in the $\overline{MS}$ scheme agrees well with experimental measurements. Conversely, the relation can be used to predict the masses of hadrons composed of light quarks with the measured value of $\Lambda_{s}$ as the sole parameter. We also use "light-front holography" to determine the analytic form of $\alpha_s(Q^2)$ at small $Q^2$.


title: An atlas of coronal electron density at 5Rs I: Data processing and calibration

abstract: Tomography of the solar corona can provide cruicial constraints for models of the low corona, unique information on changes in coronal structure and rotation rates, and a valuable boundary condition for models of the heliospheric solar wind. This is the first of a series of three papers which aim to create a set of maps of the coronal density over an extended period (1996-present). The papers will describe the data processing and calibration (this paper), the tomography method (\paperii) and resulting atlas of coronal electron density at a height of 5\Rs\ between years 1996-2014 (\paperiii). This first paper presents a detailed description of data processing and calibration for the Large-Angle and Spectrometric Coronagraph (LASCO) C2 instrument onboard the Solar and Heliospheric Observatory (SOHO) and the COR2 instruments of the Sun Earth Connection Coronal and Heliospheric Investigation (SECCHI) package aboard the Solar Terrestial Relations Observatory (STEREO) A \& B spacecraft. The methodology includes noise suppression, background subtraction, separation of large dynamic events, conversion of total brightness to K-coronal brightness and simple functions for crosscalibration between C2/LASCO and COR2/SECCHI. Comparison of the brightness of stars between LASCO C2 total and polarized brightness (\pB) observations provide in-flight calibration factors for the \pB\ observations, resulting in considerable improved agreement between C2 and COR2 A, and elimination of curious artifacts in the C2 \pB\ images. The crosscalibration between LASCO C2 and the STEREO coronagraphs allows, for the first time, the potential use of multi-spacecraft coronagraph data for tomography and for CME analysis.


title: Efficiency of a Multi-Reference Coupled Cluster method

abstract: The multi-reference Coupled Cluster method first proposed by Meller et al (J. Chem. Phys. 1996) has been implemented and tested. Guess values of the amplitudes of the single and double excitations (the ${\hat T}$ operator) on the top of the references are extracted from the knowledge of the coefficients of the Multi Reference Singles and Doubles Configuration Interaction (MRSDCI) matrix. The multiple parentage problem is solved by scaling these amplitudes on the interaction between the references and the Singles and Doubles. Then one proceeds to a dressing of the MRSDCI matrix under the effect of the Triples and Quadruples, the coefficients of which are estimated from the action of ${\hat T}^2$. This dressing follows the logics of the intermediate effective Hamiltonian formalism. The dressed MRSDCI matrix is diagonalized and the process is iterated to convergence. The method is tested on a series of benchmark systems from Complete Active Spaces (CAS) involving 2 or 4 active electrons up to bond breakings. The comparison with Full Configuration Interaction (FCI) results shows that the errors are of the order of a few milli-hartree, five times smaller than those of the CASSDCI. The method is totally uncontracted, parallelizable, and extremely flexible since it may be applied to selected MR and/or selected SDCI. Some potential generalizations are briefly discussed.


title: Hard Diffraction in Pythia 8

abstract: We present an overview of the options for diffraction implemented in the general--purpose event generator Pythia 8. We review the existing model for low-- and high--mass soft diffraction and present a new model for hard diffraction in pp and ppbar collisions. Both models uses the Pomeron approach pioneered by Ingelman and Schlein, factorising the single diffractive cross section into a Pomeron flux and a Pomeron PDF. The model for hard diffraction is implemented as a part of the multiparton interactions framework, thereby introducing a dynamical rapidity gap survival probability that explicitly breaks factorisation.