title: Exploring Flavor-Dependent Long-Range Forces in Long-Baseline Neutrino Oscillation Experiments

abstract: The Standard Model gauge group can be extended with minimal matter content by introducing anomaly free U(1) symmetry, such as $L_e-L_{\mu}$ or $L_e-L_{\tau}$. If the neutral gauge boson corresponding to this abelian symmetry is ultra-light, then it will give rise to flavor-dependent long-range leptonic force, which can have significant impact on neutrino oscillations. For an instance, the electrons inside the Sun can generate a flavor-dependent long-range potential at the Earth surface, which can suppress the $\nu_{\mu} \to \nu_e$ appearance probability in terrestrial experiments. The sign of this potential is opposite for anti-neutrinos, and affects the oscillations of (anti-)neutrinos in different fashion. This feature invokes fake CP-asymmetry like the SM matter effect and can severely affect the leptonic CP-violation searches in long-baseline experiments. In this paper, we study in detail the possible impacts of these long-range flavor-diagonal neutral current interactions due to $L_e-L_{\mu}$ symmetry, when (anti-)neutrinos travel from Fermilab to Homestake (1300 km) and CERN to Pyh\"asalmi (2290 km) in the context of future high-precision superbeam facilities, DUNE and LBNO respectively. If there is no signal of long-range force, DUNE (LBNO) can place stringent constraint on the effective gauge coupling $\alpha_{e\mu} < 1.9 \times 10^{-53}~(7.8 \times 10^{-54})$ at 90% C.L., which is almost 30 (70) times better than the existing bound from the Super-Kamiokande experiment. We also observe that if $\alpha_{e\mu} \geq 2 \times 10^{-52}$, the CP-violation discovery reach of these future facilities vanishes completely. The mass hierarchy measurement remains robust in DUNE (LBNO) if $\alpha_{e\mu} < 5 \times 10^{-52}~(10^{-52})$.


title: Post-AGB stars in the Magellanic Clouds and neutron-capture processes in AGB stars

abstract: We explore modifications to the current scenario for the slow neutron capture process in asymptotic giant branch (AGB) stars to account for the Pb deficiency observed in post-AGB stars of low metallicity ([Fe/H] ~ -1.2) and low initial mass (~ 1 - 1.5 Msun) in the Large and Small Magellanic Clouds. We calculated the stellar evolution and nucleosynthesis for a 1.3 Msun star with [Fe/H]=-1.3 and tested different amounts and distributions of protons leading to the production of the main neutron source within the 13C-pocket and proton ingestion scenarios. No s-process models can fully reproduce the abundance patterns observed in the post-AGB stars. When the Pb production is lowered the abundances of the elements between Eu and Pb, such as Er, Yb, W, and Hf, are also lowered to below those observed. Neutron-capture processes with neutron densities intermediate between the s and the rapid neutron-capture processes may provide a solution to this problem and be a common occurrence in low-mass, low-metallicity AGB stars.


title: Local lattice distortions vs. structural phase transition in NdFeAsO1-xFx

abstract: The lattice properties at low temperatures of two samples of NdFeAsO1-xFx (x=0.05 and 0.25) have been examined in order to investigate possible structural phase transition that may occur in the optimally doped superconducting sample with respect to the non-superconducting low-F concentration compound. In order to detect small modifications in the ion displacements with temperature micro-Raman and high resolution synchrotron powder diffraction measurements were carried out. No increase of the width of the (220) or (322) tetragonal diffraction peaks and microstrains could be found in the superconducting sample from synchrotron XRD measurements. On the other hand, the atomic displacement parameters deviate from the expected behavior, in agreement with modifications in the phonon width, as obtained by Raman scattering. These deviations occur around 150 K for both F dopings, with distinct differences among the two compounds, i.e., they decrease at low doping and increase for the superconducting sample. The data do not support a hidden phase transition to an orthorhombic phase in the superconducting compound, but point to an isostructural lattice deformation. Based on the absence of magnetic effects in this temperature range for the superconducting sample, we attribute the observed lattice anomalies to the formation of local lattice distortions that, being screened by the carriers, can only acquire long-range coherence by means of a structural phase transition at low doping levels.


title: Finite degrees of freedom for the refined blow-up profile of the semilinear heat equation

abstract: We refine the asymptotic behavior of solutions to the semilinear heat equation with Sobolev subcritical power nonlinearity which blow up in some finite time at a blow-up point where the (supposed to be generic) profile holds. In order to obtain this refinement, we have to abandon the explicit profile function as a first order approximation, and take a non explicit function as a first order description of the singular behavior. This non explicit function is in fact a special solution which we construct, obeying some refined prescribed behavior. The construction relies on the reduction of the problem to a finite dimensional one and the use of a topological argument based on index theory to conclude. Surprisingly, the new non explicit profiles which we construct make a family with finite degrees of freedom, namely $\frac{(N+1)N}{2}$ if $N$ is the dimension of the space.


title: Similarity-based semi-local estimation of EMOS models

abstract: Weather forecasts are typically given in the form of forecast ensembles obtained from multiple runs of numerical weather prediction models with varying initial conditions and physics parameterizations. Such ensemble predictions tend to be biased and underdispersive and thus require statistical postprocessing. In the ensemble model output statistics (EMOS) approach, a probabilistic forecast is given by a single parametric distribution with parameters depending on the ensemble members. This article proposes two semi-local methods for estimating the EMOS coefficients where the training data for a specific observation station are augmented with corresponding forecast cases from stations with similar characteristics. Similarities between stations are determined using either distance functions or clustering based on various features of the climatology, forecast errors, ensemble predictions and locations of the observation stations. In a case study on wind speed over Europe with forecasts from the Grand Limited Area Model Ensemble Prediction System, the proposed similarity-based semi-local models show significant improvement in predictive performance compared to standard regional and local estimation methods. They further allow for estimating complex models without numerical stability issues and are computationally more efficient than local parameter estimation.


title: Evidence for the Galactic contribution to the IceCube astrophysical neutrino flux

abstract: We show that the Galactic latitude distribution of IceCube astrophysical neutrino events with energies above 100~TeV is inconsistent with the isotropic model of the astrophysical neutrino flux. Namely, the Galactic latitude distribution of the events shows an excess at low latitudes |b|<10 degrees and a deficit at high Galactic latitude |b|> 50 degrees. We use Monte-Carlo simulations to show that the inconsistency of the isotropic signal model with the data is at > 3 sigma level, after the account of trial factors related to the choice of the low-energy threshold and Galactic latitude binning in our analysis.


title: A discontinuous Galerkin multiscale method for convection-diffusion problems

abstract: We propose an discontinuous Galerkin local orthogonal decomposition multiscale method for convection-diffusion problems with rough, heterogeneous, and highly varying coefficients. The properties of the multiscale method and the discontinuous Galerkin method allows us to better cope with multiscale features as well as interior/boundary layers in the solution. In the proposed method the trail and test spaces are spanned by a corrected basis computed on localized patches of size $\mathcal{O}(H\log(H^{-1}))$, where $H$ is the mesh size. We prove convergence rates independent of the variation in the coefficients and present numerical experiments which verify the analytical findings.


title: Detecting Relic Gravitational Waves by Pulsar Timing Arrays: Effects of Cosmic Phase Transitions and Relativistic Free-Streaming Gases

abstract: Relic gravitational waves (RGWs) generated in the early Universe form a stochastic GW background, which can be directly probed by measuring the timing residuals of millisecond pulsars. In this paper, we investigate the constraints on the RGWs and on the inflationary parameters by the observations of current and potential future pulsar timing arrays. In particular, we focus on effects of various cosmic phase transitions (e.g. $e^{+}e^{-}$ annihilation, QCD transition and SUSY breaking) and relativistic free-streaming gases (neutrinos and dark fluids) in the general scenario of the early Universe, which have been neglected in the previous works. We find that the phase transitions can significantly damp the RGWs in the sensitive frequency range of pulsar timing arrays, and the upper limits of tensor-to-scalar ratio $r$ increase by a factor $\sim 2$ for both current and future observations. However, the effects of free-steaming neutrinos and dark fluids are all too small to be detected. Meanwhile, we find that, if the effective equation of state $w$ in the early Universe is larger than $1/3$, i.e. deviating from the standard hot big bang scenario, the detection of RGWs by pulsar timing arrays becomes much more promising.


title: Construction of van der Waals magnetic tunnel junction using ferromagnetic layered dichalcogenide

abstract: We investigate the micromechanical exfoliation and van der Waals (vdW) assembly of ferromagnetic layered dichalcogenide Fe0.25TaS2. The vdW interlayer coupling at the Fe-intercalated plane of Fe0.25TaS2 allows exfoliation of flakes. A vdW junction between the cleaved crystal surfaces is constructed by dry transfer method. We observe tunnel magnetoresistance in the resulting junction under an external magnetic field applied perpendicular to the plane, demonstrating spin-polarized tunneling between the ferromagnetic layered material through the vdW junction.


title: Longitudinal double spin asymmetries in single hadron quasi-real photoproduction at high $p_T$

abstract: We measured the longitudinal double spin asymmetries $A_{LL}$ for single hadron muo-production off protons and deuterons at photon virtuality $Q^2$ < 1(GeV/$\it c$)$^2$ for transverse hadron momenta $p_T$ in the range 0.7 GeV/$\it c$ to 4 GeV/$\it c$ . They were determined using COMPASS data taken with a polarised muon beam of 160 GeV/$\it c$ or 200 GeV/$\it c$ impinging on polarised $\mathrm{{}^6LiD}$ or $\mathrm{NH_3}$ targets. The experimental asymmetries are compared to next-to-leading order pQCD calculations, and are sensitive to the gluon polarisation $\Delta G$ inside the nucleon in the range of the nucleon momentum fraction carried by gluons $0.05 < x_g < 0.2$.


title: Sharing HOL4 and HOL Light proof knowledge

abstract: New proof assistant developments often involve concepts similar to already formalized ones. When proving their properties, a human can often take inspiration from the existing formalized proofs available in other provers or libraries. In this paper we propose and evaluate a number of methods, which strengthen proof automation by learning from proof libraries of different provers. Certain conjectures can be proved directly from the dependencies induced by similar proofs in the other library. Even if exact correspondences are not found, learning-reasoning systems can make use of the association between proved theorems and their characteristics to predict the relevant premises. Such external help can be further combined with internal advice. We evaluate the proposed knowledge-sharing methods by reproving the HOL Light and HOL4 standard libraries. The learning-reasoning system HOL(y)Hammer, whose single best strategy could automatically find proofs for 30% of the HOL Light problems, can prove 40% with the knowledge from HOL4.


title: Conservation of polymer winding states: a combinatoric approach

abstract: The work in this article is inspired by a classical problem: the statistical physical properties of a closed polymer loop that is wound around a rod. Historically the preserved topology of this system has been addressed through identification of similarities with magnetic systems. We treat the topological invariance in terms of a set of rules that describe all augmentations by additional arcs of some fundamental basic loop of a given winding number. These augmentations satisfy the Reidemeister move relevant for the polymer with respect to the rod. The topologically constrained polymer partition function is now constructed using the combinatorics of allowed arc additions and their appropriate statistical weights. We illustrate how, for winding number 1, we can formally derive expressions for lower and upper bounds on the partition function. Using the lower bound approximation we investigate a flexible polymer loop wound between two slits, calculating the force on the slit as well as the average numbers of arc types in dependence of slit width and separation. Results may be extended to higher winding numbers. The intuitive nature of this combinatoric scheme allows the development of a variety of approximations and generalisations.


title: On a limit behavior of a sequence of Markov processes perturbed in a neighborhood of a singular point

abstract: We study a limit behavior of a sequence of Markov processes (or Markov chains) such that their distributions outside of any neighborhood of a "singular" point attract to some probability law. In any neighborhood of this point the behavior may be irregular. As an example of the general result we consider a symmetric random walk with the unit jump that is perturbed in a neighborhood of 0. The invariance principle is obtained under standard scaling of time and space. The limit process turns out to be a skew Brownian motion.


title: A comparative analysis of progressive multiple sequence alignment approaches using UPGMA and neighbor joining based guide trees

abstract: Multiple sequence alignment is increasingly important to bioinformatics, with several applications ranging from phylogenetic analyses to domain identification. There are several ways to perform multiple sequence alignment, an important way of which is the progressive alignment approach studied in this work. Progressive alignment involves three steps: find the distance between each pair of sequences; construct a guide tree based on the distance matrix; finally based on the guide tree align sequences using the concept of aligned profiles. Our contribution is in comparing two main methods of guide tree construction in terms of both efficiency and accuracy of the overall alignment: UPGMA and Neighbor Join methods. Our experimental results indicate that the Neighbor Join method is both more efficient in terms of performance and more accurate in terms of overall cost minimization.


title: Towards Detecting Compromised Accounts on Social Networks

abstract: Compromising social network accounts has become a profitable course of action for cybercriminals. By hijacking control of a popular media or business account, attackers can distribute their malicious messages or disseminate fake information to a large user base. The impacts of these incidents range from a tarnished reputation to multi-billion dollar monetary losses on financial markets. In our previous work, we demonstrated how we can detect large-scale compromises (i.e., so-called campaigns) of regular online social network users. In this work, we show how we can use similar techniques to identify compromises of individual high-profile accounts. High-profile accounts frequently have one characteristic that makes this detection reliable -- they show consistent behavior over time. We show that our system, were it deployed, would have been able to detect and prevent three real-world attacks against popular companies and news agencies. Furthermore, our system, in contrast to popular media, would not have fallen for a staged compromise instigated by a US restaurant chain for publicity reasons.


title: Weights and conservativity

abstract: The purpose of this article is to study conservativity in the context of triangulated categories equipped with a weight structure. As application, we establish (weight) conservativity for the restriction of the (generic) l-adic realization to the category of motives of Abelian type of characteristic zero.


title: Quantum osp(1|2n) knot invariants are the same as quantum so(2n+1) knot invariants

abstract: We show that the quantum covering group associated to osp(1|2n) has an associated colored quantum knot invariant \`a la Reshetikhin-Turaev, which specializes to a quantum knot invariant for osp(1|2n), and to the usual quantum knot invariant for so(1+2n). We then show that these knot invariants are the same, up to a change of variables and a constant factor depending on the knot and weight.


title: Premise Selection and External Provers for HOL4

abstract: Learning-assisted automated reasoning has recently gained popularity among the users of Isabelle/HOL, HOL Light, and Mizar. In this paper, we present an add-on to the HOL4 proof assistant and an adaptation of the HOLyHammer system that provides machine learning-based premise selection and automated reasoning also for HOL4. We efficiently record the HOL4 dependencies and extract features from the theorem statements, which form a basis for premise selection. HOLyHammer transforms the HOL4 statements in the various TPTP-ATP proof formats, which are then processed by the ATPs. We discuss the different evaluation settings: ATPs, accessible lemmas, and premise numbers. We measure the performance of HOLyHammer on the HOL4 standard library. The results are combined accordingly and compared with the HOL Light experiments, showing a comparably high quality of predictions. The system directly benefits HOL4 users by automatically finding proofs dependencies that can be reconstructed by Metis.


title: Steady-state analysis of shortest expected delay routing

abstract: We consider a queueing system consisting of two non-identical exponential servers, where each server has its own dedicated queue and serves the customers in that queue FCFS. Customers arrive according to a Poisson process and join the queue promising the shortest expected delay, which is a natural and near-optimal policy for systems with non-identical servers. This system can be modeled as an inhomogeneous random walk in the quadrant. By stretching the boundaries of the compensation approach we prove that the equilibrium distribution of this random walk can be expressed as a series of product-forms that can be determined recursively. The resulting series expression is directly amenable for numerical calculations and it also provides insight in the asymptotic behavior of the equilibrium probabilities as one of the state coordinates tends to infinity.


title: Rank 2 sheaves on toric 3-folds: classical and virtual counts

abstract: Let $\mathcal{M}$ be the moduli space of rank 2 stable torsion free sheaves with Chern classes $c_i$ on a smooth 3-fold $X$. When $X$ is toric with torus $T$, we describe the $T$-fixed locus of the moduli space. Connected components of $\mathcal{M}^T$ with constant reflexive hulls are isomorphic to products of $\mathbb{P}^1$. We mainly consider such connected components, which typically arise for any $c_1$, "low values" of $c_2$, and arbitrary $c_3$. In the classical part of the paper, we introduce a new type of combinatorics called double box configurations, which can be used to compute the generating function $\mathsf{Z}(q)$ of topological Euler characteristics of $\mathcal{M}$ (summing over all $c_3$). The combinatorics is solved using the double dimer model in a companion paper. This leads to explicit formulae for $\mathsf{Z}(q)$ involving the MacMahon function. In the virtual part of the paper, we define Donaldson-Thomas type invariants of toric Calabi-Yau 3-folds by virtual localization. The contribution to the invariant of an individual connected component of the $T$-fixed locus is in general not equal to its signed Euler characteristic due to $T$-fixed obstructions. Nevertheless, the generating function of all invariants is given by $\mathsf{Z}(q)$ up to signs.


title: Multiplexed on-demand storage of polarization qubits in a crystal

abstract: A long-lived and multimode quantum memory is a key component needed for the development of quantum communication. Here we present temporally multiplexed storage of 5 photonic polarization qubits encoded onto weak coherent states in a rare-earth-ion doped crystal. Using spin refocusing techniques we can preserve the qubits for more than half a millisecond. The temporal multiplexing allows us to increase the effective rate of the experiment by a factor of 5, which emphasizes the importance of multimode storage for quantum communication. The fidelity upon retrieval is higher than the maximum classical fidelity achievable with qubits encoded onto single photons and we show that the memory fidelity is mainly limited by the memory signal-to-noise ratio. These results show the viability and versatility of long-lived, multimode quantum memories based on rare-earth-ion doped crystals.


title: Three-point functions in c <= 1 Liouville theory and conformal loop ensembles

abstract: The possibility of extending the Liouville Conformal Field Theory from values of the central charge $c \geq 25$ to $c \leq 1$ has been debated for many years in condensed matter physics as well as in string theory. It was only recently proven that such an extension -- involving a real spectrum of critical exponents as well as an analytic continuation of the DOZZ formula for three-point couplings -- does give rise to a consistent theory. We show in this Letter that this theory can be interpreted in terms of microscopic loop models. We introduce in particular a family of geometrical operators, and, using an efficient algorithm to compute three-point functions from the lattice, we show that their operator algebra corresponds exactly to that of vertex operators $V_{\hat{\alpha}}$ in $c \leq 1$ Liouville. We interpret geometrically the limit $\hat{\alpha} \to 0$ of $V_{\hat{\alpha}}$ and explain why it is not the identity operator (despite having conformal weight $\Delta=0$).


title: Analytic connections on Riemann surfaces and orbifolds

abstract: We give a differentially closed description of the uniformizing representation to the analytical apparatus on Riemann surfaces and orbifolds of finite analytic type. Apart from well-known automorphic functions and Abelian differentials it involves construction of the connection objects. Like functions and differentials, the connection, being also the fundamental object, is described by algorithmically derivable ODEs. Automorphic properties of all of the objects are associated to different discrete groups, among which are excessive ones. We show, in an example of the hyperelliptic curves, how can the connection be explicitly constructed. We study also a relation between classical/traditional `linearly differential' viewpoint (principal Fuchsian equation) and uniformizing $\tau$-representation of the theory. The latter is shown to be supplemented with the second (to the principal) Fuchsian equation.


title: Large-scale confinement and small-scale clustering of floating particles in stratified turbulence

abstract: We study the motion of small inertial particles in stratified turbulence. We derive a simplified model, valid within the Boussinesq approximation, for the dynamics of small particles in presence of a mean linear density profile. By means of extensive direct numerical simulations, we investigate the statistical distribution of particles as a function of the two dimensionless parameters of the problem. We find that vertical confinement of particles is mainly ruled by the degree of stratification, with a weak dependency on the particle properties. Conversely, small scale fractal clustering, typical of inertial particles in turbulence, depends on the particle relaxation time and is almost independent on the flow stratification. The implications of our findings for the formation of thin phytoplankton layers are discussed.


title: Magnetoelectro-elastic control of magnetism in an artificial multiferroic

abstract: We study the coexistence of strain- and charge-mediated magnetoelectric coupling in a cobalt (0-7 nm) wedge on ferroelectric [Pb(Mg$_{1/3}$/Nb$_{2/3}$)O$_{3}$]$_{0.68}$-[PbTiO$_{3}$]$_{0.32}$ (011) using surface-sensitive x-ray magnetic circular dichroism spectroscopy at the Co L$_{3,2}$ edges. Three distinct electric field driven remanent magnetization states can be set in the Co film at room temperature. Ab-initio density functional theory calculations unravel the relative contributions of both strain and charge to the observed magnetic anisotropy changes illustrating magnetoelectro-elastic coupling at artificial multiferroic interfaces.


title: Fingerprint Recognition Using Translation Invariant Scattering Network

abstract: Fingerprint recognition has drawn a lot of attention during last decades. Different features and algorithms have been used for fingerprint recognition in the past. In this paper, a powerful image representation called scattering transform/network, is used for recognition. Scattering network is a convolutional network where its architecture and filters are predefined wavelet transforms. The first layer of scattering representation is similar to sift descriptors and the higher layers capture higher frequency content of the signal. After extraction of scattering features, their dimensionality is reduced by applying principal component analysis (PCA). At the end, multi-class SVM is used to perform template matching for the recognition task. The proposed scheme is tested on a well-known fingerprint database and has shown promising results with the best accuracy rate of 98\%.


title: The complexity of counting locally maximal satisfying assignments of Boolean CSPs

abstract: We investigate the computational complexity of the problem of counting the maximal satisfying assignments of a Constraint Satisfaction Problem (CSP) over the Boolean domain {0,1}. A satisfying assignment is maximal if any new assignment which is obtained from it by changing a 0 to a 1 is unsatisfying. For each constraint language Gamma, #MaximalCSP(Gamma) denotes the problem of counting the maximal satisfying assignments, given an input CSP with constraints in Gamma. We give a complexity dichotomy for the problem of exactly counting the maximal satisfying assignments and a complexity trichotomy for the problem of approximately counting them. Relative to the problem #CSP(Gamma), which is the problem of counting all satisfying assignments, the maximal version can sometimes be easier but never harder. This finding contrasts with the recent discovery that approximately counting maximal independent sets in a bipartite graph is harder (under the usual complexity-theoretic assumptions) than counting all independent sets.


title: Exploiting the time of arrival of Cherenkov photons at the 28 m H.E.S.S. telescope for background rejection: Methods and performance

abstract: In 2012, the High Energy Stereoscopic System (H.E.S.S.) was expanded by a fifth telescope (CT5). With an effective mirror diameter of 28m, CT5 is able to detect the Cherenkov light of very faint gamma-ray air showers, thereby significantly lowering the energy threshold of this telescope compared to the other four telescopes. Extracting as much information as possible from the recorded shower image is crucial for background rejection and to reach an energy threshold of a few tens of GeV. The camera of CT5 is conceived to register the time of the charge pulse maximum with respect to the beginning of the 16 ns integration window of each pixel. This information can be utilised to improve the event reconstruction. It also helps to reduce the background contamination at low energies. We present new techniques for background rejection based on CT5 timing information and evaluate their performance.


title: Constraining photon dispersion relations from observations of the Vela pulsar with H.E.S.S

abstract: Some approaches to Quantum Gravity (QG) predict a modification of photon dispersion relations due to a breaking of Lorentz invariance. The effect is expected to affect photons near an effective QG energy scale. This scale has been constrained by observing gamma rays emitted from variable astrophysical sources such as gamma-ray bursts and flaring active galactic nuclei. Pulsars exhibit a periodic emission of possibly ms time scale. In 2014, the H.E.S.S. experiment reported the detection down to 20 GeV of gamma rays from the Vela pulsar having a periodicity of 89 ms. Using a likelihood analysis, calibrated with a dedicated Monte-Carlo procedure, we obtain the first limit on QG energy scale with the Vela pulsar. In this paper, the method and calibration procedure in use will be described and the results will be discussed.


title: Regularity properties of the cubic nonlinear Schr\"odinger equation on the half line

abstract: In this paper we study the local and global regularity properties of the cubic nonlinear Schr\"odinger equation (NLS) on the half line with rough initial data. These properties include local and global wellposedness results, local and global smoothing results and the behavior of higher order Sobolev norms of the solutions. In particular, we prove that the nonlinear part of the cubic NLS on the half line is smoother than the initial data. The gain in regularity coincides with the gain that was observed for the periodic cubic NLS \cite{et2} and the cubic NLS on the line \cite{erin}. We also prove that in the defocusing case the norm of the solution grows at most polynomially-in-time while in the focusing case it grows exponentially-in-time. As a byproduct of our analysis we provide a different proof of an almost sharp local wellposedness in $H^s(\R^+)$. Sharp $L^2$ local wellposedness was obtained in \cite{holmer} and \cite{bonaetal}. Our methods simplify some ideas in the wellposedness theory of initial and boundary value problems that were developed in \cite{collianderkenig, holmer,holmer1,bonaetal}.


title: Improved Strength Four Covering Arrays with Three Symbols

abstract: A covering array $t$-$CA(n,k,g)$, of size $n$, strength $t$, degree $k$, and order $g$, is a $k\times n$ array on $g$ symbols such that every $t\times n$ sub-array contains every $t\times 1$ column on $g$ symbols at least once. Covering arrays have been studied for their applications to software testing, hardware testing, drug screening, and in areas where interactions of multiple parameters are to be tested. In this paper, we present an algebraic construction that improves many of the best known upper bounds on $n$ for covering arrays 4-$CA(n,k,g)$ with $g=3$. The $coverage$ $measure$ $\mu_t(A)$ of a testing array $A$ is defined by the ratio between the number of distinct $t$-tuples contained in the column vectors of $A$ and the total number of $t$-tuples. A covering array is a testing array with full coverage. The $covering$ $arrays$ $with$ $budget$ $constraints$ $problem$ is the problem of constructing a testing array of size at most $n$ having largest possible coverage measure, given values of $k,g$ and $n$. This paper presents several strength four testing arrays with high coverage. The construction here is a generalisation of the construction methods used by Chateauneuf, Colbourn and Kreher, and Meagher and Stevens.


title: MiXiM, PAWiS, and STEAM-Sim Integration - Combining Channel Models, Energy Awareness, and Real-life Application Code

abstract: After a decade of research in the field of wireless sensor networks (WSNs) there are still open issues. WSNs impose several severe requirements regarding energy consumption, processing capabilities, mobility, and robustness of wireless transmissions. Simulation has shown to be the most cost-efficient approach for evaluation of WSNs, thus a number of simulators are available. Unfortunately, these simulation environments typically consider WSNs from a special point of view. In this work we present the integration of three such specialized frameworks, namely MiXiM, PAWiS, and STEAM-Sim. This integration combines the strengths of the single frameworks such as realistic channel models, mobility patterns, accurate energy models, and inclusion of real-life application code. The result is a new simulation environment which enables a more general consideration of WSNs. We implemented and verified our proposed concept by means of static and mobile scenarios. As the presented results show, the combined framework gives the same results regarding the functionality and energy consumption as our "golden model". Therefore the system integration was successful and the framework is ready to be used by the community.


title: Changing gears: Isospectrality via eigenderivative transplantation

abstract: We introduce a new method for constructing isospectral quantum graphs that is based on transplanting derivatives of eigenfunctions. We also present simple digraphs with the same reversing zeta function, which generalizes the Bartholdi zeta function to digraphs.


title: Skip This Paper - RINASim: Your Recursive InterNetwork Architecture Simulator

abstract: Recursive InterNetwork Architecture is a clean-slate approach to how to deal with the current issues of the Internet based on the traditional TCP/IP networking stack. Instead of using a fixed number of layers with dedicated functionality, RINA proposes a single generic layer with programmable functionality that may be recursively stacked. We introduce a brand new framework for modeling and simulation of RINA that is intended for OMNeT++.


title: Energy transport in one-dimensional disordered granular solids

abstract: We investigate the energy transport in one-dimensional disordered granular solids by extensive numerical simulations. In particular, we consider the case of a polydisperse granular chain composed of spherical beads of the same material and with radii taken from a random distribution. We start by examining the linear case, in which it is known that the energy transport strongly depends on the type of initial conditions. Thus, we consider two sets of initial conditions: i) an initial displacement and ii) an initial momentum excitation of a single bead. After establishing the regime of sufficiently strong disorder, we focus our studies on the role of nonlinearity for both sets of initial conditions. By increasing the initial excitation amplitudes we are able to identify three distinct dynamical regimes with different energy transport properties: a near linear, a weakly nonlinear and a highly nonlinear regime. Although energy spreading is found to be increasing for higher nonlinearities, in the weakly nonlinear regime no clear asymptotic behavior of the spreading is found. In this regime, we additionally find that energy, initially trapped in a localized region, can be eventually detrapped and this has a direct influence on the fluctuations of the energy spreading. We also demonstrate that in the highly nonlinear regime, the differences in energy transport between the two sets of initial conditions vanish. Actually, in this regime the energy is almost ballistically transported through shock-like excitations.


title: Quaternionic structures, supertwistors and fundamental superspaces

abstract: Superspace is considered as space of parameters of the supercoherent states defining the basis for oscillator-like unitary irreducible representations of the generalized superconformal group SU(2m,2n/2N) in the field of quaternions H. The specific construction contains naturally the supertwistor one of the previous work by Litov and Pervushin [1] and it is shown that in the case of extended supersymmetry such an approach leads to the separation of a class of superspaces and and its groups of motion. We briefly discuss this particular extension to the domain of quaternionic superspaces as nonlinear realization of some kind of the affine and the superconformal groups with the final end to include also the gravitational field[6] (this last possibility to include gravitation, can be realized on the basis of the reference[12] where the coset ((Sp(8))/(SL(4R)))~((SU(2,2))/(SL(2C)))was used in the non supersymmetric case). It is shown that this quaternionic construction avoid some unconsistencies appearing at the level of the generators of the superalgebras (for specific values of p and q; p+q=N) in the twistor one.


title: Implementation of a Wake-up Radio Cross-Layer Protocol in OMNeT++ / MiXiM

abstract: This paper presents the DoRa protocol, which is a new cross-layer protocol for handling the double radio of nodes in wake-up radio scenario. The implementation details in OMNET++/MiXiM are also given, with a focus on the implemented MAC layers. The main goal of the DoRa protocol is to reduce energy consumption in wireless sensor network, by taking full advantage of the passive wake-up scheme. The performance of the DoRa protocol is then evaluated and results are compared with B-MAC and IEEE 802.15.4 protocols.


title: Vacuum stability and the scaling behaviour of the Higgs-curvature coupling

abstract: Stability of the Higgs vacuum during early universe inflation is dependent on how the Higgs couples to the spacetime curvature. Limits on the curvature coupling parameter at the electroweak scale $\xi_{EW}$ are shown to be consistent only when quantum gravity effects are included and a covariant quantisation procedure, such as Vilkovisky-DeWitt, is adopted. Stability requires $\xi_{EW}>-0.03$ for a top quark mass $M_t=173.34\,{\rm GeV}$.


title: Double riches: asteroseismology in eclipsing binaries

abstract: The study of eclipsing binaries is our primary source of measured properties of normal stars, achieved through analysis of light and radial velocity curves of eclipsing systems. The study of oscillations and pulsations is increasingly vital for determining the properties of single stars, and investigating the physical phenomena active in their interiors. Combining the two methods holds the promise of establishing stringent tests of stellar evolutionary theory, and of calibrating model-dependent asteroseismology with empirically measured stellar properties. I review recent advances and outline future work.


title: Teaching Python programming with automatic assessment and feedback provision

abstract: We describe a method of automatic feedback provision for students learning programming and computational methods in Python. We have implemented, used and refined this system since 2009 for growing student numbers, and summarise the design and experience of using it. The core idea is to use a unit testing framework: the teacher creates a set of unit tests, and the student code is tested by running these tests. With our implementation, students typically submit work for assessment, and receive feedback by email within a few minutes after submission. The choice of tests and the reporting back to the student is chosen to optimise the educational value for the students. The system very significantly reduces the staff time required to establish whether a student's solution is correct, and shifts the emphasis of computing laboratory student contact time from assessing correctness to providing guidance. The self-paced nature of the automatic feedback provision supports a student-centred learning approach. Students can re-submit their work repeatedly and iteratively improve their solution, and enjoy using the system. We include an evaluation of the system and data from using it in a class of 425 students.


title: Estimating Absolute-Phase Maps Using ESPIRiT and Virtual Conjugate Coils

abstract: Purpose: To develop an ESPIRiT-based method to estimate coil sensitivities with image phase as a building block for efficient and robust image reconstruction with phase constraints. Theory and Methods: ESPIRiT is a new framework for calibration of the coil sensitivities and reconstruction in parallel Magnetic Resonance Imaging (MRI). Applying ESPIRiT to a combined set of physical and virtual conjugate coils (VCC-ESPIRiT) implicitly exploits conjugate symmetry in k-space similar to VCC-GRAPPA. Based on this method, a new post-processing step is proposed for the explicit computation of coil sensitivities that include the absolute phase of the image. The accuracy of the computed maps is directly validated using a test based on projection onto fully sampled coil images and also indirectly in phase-constrained parallel-imaging reconstructions. Results: The proposed method can estimate accurate sensitivities which include low-resolution image phase. In case of high-frequency phase variations VCC-ESPIRiT yields an additional set of maps that indicates the existence of a high-frequency phase component. Taking this additional set of maps into account can improve the robustness of phase-constrained parallel imaging. Conclusion: The extended VCC-ESPIRiT is a useful tool for phase-constrained imaging.


title: Looking into Hardware-in-the-Loop Coupling of OMNeT++ and RoSeNet

abstract: Network emulation using real sensor node hardware is used to increase the accuracy of pure network simulations. Coupling OMNeT++ with network emulation platforms and tools introduces new application possibilities for both sides. This work-in-progress report covers our experiences of using OMNeT++ as a test driver for RoSeNet, a network emulation and test platform for low-power wireless technologies like IEEE 802.15.4. OMNeT++ and RoSeNet were interconnected to enable a co-simulation of real sensor networks with a MAC layer simulation model. Experiences and insights on this Hardware-in-the-Loop (HIL) simulation together with ideas to extend OMNeT++ and to provide a generic interconnection API complete the report.


title: Implementation of PFC and RCM for RoCEv2 Simulation in OMNeT++

abstract: As traffic patterns and network topologies become more and more complicated in current enterprise data centers and TOP500 supercomputers, the probability of network congestion increases. If no countermeasures are taken, network congestion causes long communication delays and degrades network performance. A congestion control mechanism is often provided to reduce the consequences of congestion. However, it is usually difficult to configure and activate a congestion control mechanism in production clusters and supercomputers due to concerns that it may negatively impact jobs if the mechanism is not appropriately configured. Therefore, simulations for these situations are necessary to identify congestion points and sources, and more importantly, to determine optimal settings that can be utilized to reduce congestion in those complicated networks. In this paper, we use OMNeT++ to implement the IEEE 802.1Qbb Priority-based Flow Control (PFC) and RoCEv2 Congestion Management (RCM) in order to simulate clusters with RoCEv2 interconnects.


title: Orbital signatures of Fano-Kondo line shapes in STM adatom spectroscopy

abstract: We investigate the orbital origin of the Fano-Kondo line shapes measured in STM spectroscopy of magnetic adatoms on metal substrates. To this end we calculate the low-bias tunnel spectra of a Co adatom on the (001) and (111) Cu surfaces with our density functional theory-based ab initio transport scheme augmented by local correlations. In order to associate different $d$-orbitals with different Fano line shapes we only correlate individual $3d$-orbitals instead of the full Co $3d$-shell. We find that Kondo peaks arising in different $d$-levels indeed give rise to different Fano features in the conductance spectra. Hence the shape of measured Fano features allows to draw some conclusions about the orbital responsible for the Kondo resonance, although the actual shape is also influenced by temperature, effective interaction and charge fluctuations. Comparison with a simplified model shows that line shapes are mostly the result of interference between tunneling paths through the correlated $d$-orbital and the $sp$-type orbitals on the Co atom. Very importantly, the amplitudes of the Fano features vary strongly among orbitals, with the $3z^2$-orbital featuring by far the largest amplitude due to its strong direct coupling to the $s$-type conduction electrons.


title: Regain Control of Growing Dependencies in OMNeT++ Simulations

abstract: When designing simulation models, it is favourable to reuse existing models as far as possible to reduce the effort from the first idea to simulation results. Thanks to the OMNeT++ community, there are several toolboxes available covering a wide range of network communication protocols. However, it can be quite a daunting task to handle the build process when multiple existing simulation models need to be combined with custom sources. Project references provided by the OMNeT++ Integrated Development Environment (IDE) are just partly up to the task because it can be barely automated. For this reason, a new approach is presented to build complex simulation models with the help of CMake, which is a wide-spread build tool for C and C++ projects. The resulting toolchain allows to handle dependencies conveniently without need for any changes in upstream projects and also takes special care of OMNeT++-specific aspects.


title: Optimization in the Loop: Implementing and Testing Scheduling Algorithms with SimuLTE

abstract: One of the main purposes of discrete event simulators such as OMNeT++ is to test new algorithms or protocols in realistic environments. These often need to be benchmarked against optimal/theoretical results obtained by running commercial optimization solvers. The usual way to do this is to have the simulator run in a standalone mode and generate (few) snapshots, which are then fed to the optimization solvers. This allows one to compare the optimal and suboptimal solutions in the snapshots, but does not allow to assess how the system being studied would evolve over time if the optimal solution was enforced every time. This requires optimization software to run directly in the loop of the simulation, exchanging information with the latter. The goal of this tutorial is to show how to integrate a commercial solver (CPLEX) into the simulation loop of the OMNeT++ environment. For this purpose, we propose two methods: a first one that uses a solver as an external program, and a second one that exploits a C-written API for CPLEX known as Callable Library. We then exemplify how to apply these two methods to SimuLTE, a simulation model for LTE cellular networks, implementing and testing a simple solution to a well-known resource-scheduling problem.


title: New opacity measurement principle for LMJ-PETAL laser facility

abstract: Stellar seismology reveals some interior properties of thousands of solar-type stars but the solar seismic sound speed stays puzzling since a decade as it disagrees with the Standard Solar Model (SSM) prediction. One of the explanations of this disagreement may be found in the treatment of the transport of radiation from the solar core to the surface. As the same framework is used for other stars, it is important to check precisely the reliability of the interacting cross sections of photons with each species in order to ensure the energy transport for temperature T > 2 - 10$^6$ K and density $\rho$ > 0.2 g/cm$^3$. In this paper, we propose a new technique to reach the domain of temperature and density found in the solar radiative interior. This technique called the Double Ablation Front (DAF) is based on a high conversion of the laser energy into X-rays thanks to moderated Z material irradiated by laser intensity between 1.5 $\times$ 10$^{15}$ W/cm$^2$ and 4 $\times$ 10$^{15}$ W/cm$^2$. This high conversion creates, in addition to the electronic front a second ablation front in the moderated Z material. Between the two fronts there is a plateau of density and temperature that we exploit to heat a sample of iron or of oxide. The first simulations realized with the hydrodynamic code CHIC show that this technique allows to reach conditions equivalent to half the radiative zone of the Sun with high stability both in time and space. We examine the possibility to measure both iron and oxygen absorption spectra.


title: Lazy Factored Inference for Functional Probabilistic Programming

abstract: Probabilistic programming provides the means to represent and reason about complex probabilistic models using programming language constructs. Even simple probabilistic programs can produce models with infinitely many variables. Factored inference algorithms are widely used for probabilistic graphical models, but cannot be applied to these programs because all the variables and factors have to be enumerated. In this paper, we present a new inference framework, lazy factored inference (LFI), that enables factored algorithms to be used for models with infinitely many variables. LFI expands the model to a bounded depth and uses the structure of the program to precisely quantify the effect of the unexpanded part of the model, producing lower and upper bounds to the probability of the query.


title: A Tutorial of the Mobile Multimedia Wireless Sensor Network OMNeT++ Framework

abstract: In this work, we will give a detailed tutorial instruction about how to use the Mobile Multi-Media Wireless Sensor Networks (M3WSN) simulation framework. The M3WSN framework has been published as a scientific paper in the 6th International Workshop on OMNeT++ (2013). M3WSN framework enables the multimedia transmission of real video sequence. Therefore, a set of multimedia algorithms, protocols, and services can be evaluated by using QoE metrics. Moreover, key video-related information, such as frame types, GoP length and intra-frame dependency can be used for creating new assessment and optimization solutions. To support mobility, M3WSN utilizes different mobility traces to enable the understanding of how the network behaves under mobile situations. This tutorial will cover how to install and configure the M3WSN framework, setting and running the experiments, creating mobility and video traces, and how to evaluate the performance of different protocols. The tutorial will be given in an environment of Ubuntu 12.04 LTS and OMNeT++ 4.2.


title: Counter-flow Induced Decoupling in Super-Fluid Turbulence

abstract: In mechanically driven superfluid turbulence the mean velocities of the normal- and superfluid components are known to coincide: $\mathbf U_{\text{n}} =\mathbf U_{\text{s}}$. Numerous laboratory, numerical and analytical studies showed that under these conditions the mutual friction between the normal- and superfluid velocity components couples also their fluctuations: $\mathbf u'_{\text{n}}(\mathbf r,t) \approx \mathbf u'_{\text{s}}(\mathbf r,t)$ almost at all scales. In this paper we show that this is not the case in thermally driven superfluid turbulence; here the counterflow velocity $\mathbf U_{\text{ns}}\equiv \mathbf U_{\text{n}} -\mathbf U_{\text{s}}\ne 0$. We suggest a simple analytic model for the cross correlation function $\left\langle \mathbf u'_{\text{n}}(\mathbf r,t) \cdot \mathbf u'_{\text{s}}(\mathbf r',t)\right \rangle$ and its dependence on $U_{\text{ns}}$. We demonstrate that $\mathbf u'_{\text{n}}(\mathbf r,t)$ and $ \mathbf u'_{\text{s}}(\mathbf r,t)$ are decoupled almost in the entire range of separations $|\mathbf r-\mathbf r'|$ between the energy containing scale and intervortex distance.


title: Production of strange and charmed baryons in pion induced reactions

abstract: We study the strangeness and charm productions induced by the pion beam, i.e. the $\pi^-$p $\rightarrow$ $K^{*0}\Lambda$ and $\pi^-$p $\rightarrow$ $D^{*-}\Lambda_c^+$ reactions, based on two different theoretical frameworks: an effective Lagrangian method and a Regge approach. In order to estimate the magnitude of the charm production relative to that of the strangeness production, we assume that the coupling constants for the charmed meson and baryon vertices are the same as those for the strangeness channel. We found that the total cross section for the charm production was about $10^3 - 10^6$ times smaller than that for the strangeness production, depending on theoretical approaches and kinematical regions. We also discuss each contribution to observables for both reactions. In general, the Regge approach explains the experimental data very well over the whole energy region.


title: Connectivity and giant component in random distance graphs

abstract: Various different random graph models have been proposed in which the vertices of the graph are seen as members of a metric space, and edges between vertices are determined as a function of the distance between the corresponding metric space elements. We here propose a model $G=G(X, f)$, in which $(X, d)$ is a metric space, $V(G)=X$, and $\mathbb{P}(u\sim v) = f(d(u, v))$, where $f$ is a decreasing function on the set of possible distances in $X$. We consider the case that $X$ is the $n\times n \times \dots\times n$ integer lattice in dimension $r$, with $d$ the $\ell_1$ metric, and $f(d) = \frac{1}{n^\beta d}$, and determine a threshold for the emergence of the giant component and connectivity in this model. We compare this model with a traditional Waxman graph. Further, we discuss expected degrees of nodes in detail for dimension 2.


title: Non-Perturbative Gauge-Higgs Unification in Five Dimensions

abstract: We study the phase diagram and mass spectrum of an $SU(2)$ Gauge-Higgs Unification scenario on a five-dimensional orbifold.We observe spontaneous symmetry breaking within the Higgs phase of the theory and, in the vicinity of a newly discovered phase, we find that the ratio of Higgs to gauge boson masses takes a Standard Model-like value. Precisely in this region of the phase diagram, we observe dimensional reduction via localisation.


title: Invited Abstract: Issues with State-based Energy Consumption Modelling

abstract: Energy consumption modelling by state based approaches often assume constant energy consumption values in each state. However, it happens in certain situations that during state transitions or even during a state the energy consumption is not constant and does fluctuate. This paper discusses those issues by presenting some examples from wireless sensor and wireless local area networks for such cases and possible solutions.


title: Counting Anosov graphs

abstract: In recent work by Dani and Mainkar, a family of finite simple graphs was used to construct nilmanifolds admitting Anosov diffeomorphisms. Our main object of study is this particular set of graphs, which we call Anosov graphs. Moreover, Dani and Mainkar give a lower bound on the number of Anosov graphs in terms of the number of vertices and number of edges. In this work, we improve this lower bound in terms of vertices and edges, and we give lower and upper bounds solely in terms of the number of vertices.


title: Emergent geometry from random multitrace matrix models

abstract: A novel scenario for the emergence of geometry in random multitrace matrix models of a single hermitian matrix $M$ with unitary $U(N) $ invariance, i.e. without a kinetic term, is presented. In particular, the dimension of the emergent geometry is determined from the critical exponents of the disorder-to-uniform-ordered transition whereas the metric is determined from the Wigner semicircle law behavior of the eigenvalues distribution of the matrix $M$. If the uniform ordered phase is not sustained in the phase diagram then there is no emergent geometry in the multitrace matrix model.


title: Invited Abstract: A Simulation Package for Energy Consumption of Content Delivery Networks (CDNs)

abstract: Content Delivery Networks (CDNs) are becoming an integral part of the future generation Internet. Traditionally, these networks have been designed with the goals of traffic offload and the improvement of users' quality of experience (QoE), but the energy consumption is also becoming an indispensable design factor for CDNs to be a sustainable solution. To study and improve the CDN architectures using this new design metric, we are planning to develop a generic and flexible simulation package in OMNet++. This package is aimed to render a holistic view about the CDN energy consumption behaviour by incorporating the state-of-the-art energy consumption models proposed for the individual elements of CDNs (e.g. servers, routers, wired and wireless links, wireless devices, etc.) and for the various Internet contents (web pages, files, streaming video, etc.).


title: On extremal trees with respect to the $F$-index

abstract: In a study on the structure--dependency of the total $\pi$-electron energy from 1972, Trinajsti\'c and one of the present authors have shown that it depends on the sums $\sum_{v\in V}d(v)^2$ and $\sum_{v\in V}d(v)^3$, where $d(v)$ is the degree of a vertex $v$ of the underling molecular graph $G$. The first sum was later named {\it first Zagreb index} and over the years became one of the most investigated graph--based molecular structure descriptors. On the other hand, the second sum, except in very few works on the general first Zagreb index and the zeroth--order general Randi\'c index, has been almost completely neglected. Recently, this second sum was named {\em forgotten index}, or shortly the $F$-{\em index}, and shown to have an exceptional applicative potential. In this paper we examine the trees extremal with respect to the $F$-index.


title: FPGA Implementation of High Speed Baugh-Wooley Multiplier using Decomposition Logic

abstract: The Baugh-Wooley algorithm is a well-known iterative algorithm for performing multiplication in digital signal processing applications. Decomposition logic is used with Baugh-Wooley algorithm to enhance the speed and to reduce the critical path delay. In this paper a high speed multiplier is designed and implemented using decomposition logic and Baugh-Wooley algorithm. The result is compared with booth multiplier. FPGA based architecture is presented and design has been implemented using Xilinx 12.3 device.


title: Coherence susceptibility as a probe of quantum phase transitions

abstract: We introduce a coherence susceptibility method, based on the fact that it signals quantum fluctuations, for identifying quantum phase transitions, which are induced by quantum fluctuations. This method requires no prior knowledge of order parameter, and there is no need for careful considerations concerning the choice of a bipartition of the system. It can identify different types of quantum phase transition points exactly. At finite temperatures, where quantum criticality is influenced by thermal fluctuations, our method can pinpoint the temperature frame of quantum criticality, which perfectly coincides with recent experiments.


title: A Hedged Monte Carlo Approach to Real Option Pricing

abstract: In this work we are concerned with valuing optionalities associated to invest or to delay investment in a project when the available information provided to the manager comes from simulated data of cash flows under historical (or subjective) measure in a possibly incomplete market. Our approach is suitable also to incorporating subjective views from management or market experts and to stochastic investment costs. It is based on the Hedged Monte Carlo strategy proposed by Potters et al (2001) where options are priced simultaneously with the determination of the corresponding hedging. The approach is particularly well-suited to the evaluation of commodity related projects whereby the availability of pricing formulae is very rare, the scenario simulations are usually available only in the historical measure, and the cash flows can be highly nonlinear functions of the prices.


title: Double resonant wideband Purcell effect in a polaritonic wire medium

abstract: In this paper, we theoretically show that a broadband resonant enhancement of emission may occur for infrared sources located in a polaritonic wire medium. The reason of this enhancement is overlapping of two topological transitions of the wave dispersion in the medium. The first topological transition has been recently revealed as an effect inherent to polaritonic wire media. The second one was theoretically uncovered in another material. In this work we reveal it for wire media and prove the possibility to combine both these transitions with the purpose to obtain the broadband resonant Purcell factor. We compare the results obtained for two orientations of a subwavelength electric dipole embedded into wire medium -- that along the optical axis and that perpendicular to it -- and report on the resonant isotropic radiation enhancement. Also, we reveal the enhancement of radiation to free space from a finite sample of the wire medium.


title: Study of Charmonium Production in Asymmetric Nuclear Collisions by the PHENIX Experiment at RHIC

abstract: The measurement of quarkonia production in relativistic heavy ion collisions provides a powerful tool for studying the properties of the hot and dense matter created in these collisions. To be really useful, however, such measurements must cover a wide range of quarkonia states and colliding species. The PHENIX experiment at RHIC has successfully measured J/psi, psi-prime, chi_c and Upsilon production in different colliding systems at various energies. In this talk I will present recent results from the PHENIX collaboration on charmonium production in d+Au, Cu+Au and U+U collisions at 200 GeV/c.


title: Discovering governing equations from data: Sparse identification of nonlinear dynamical systems

abstract: The ability to discover physical laws and governing equations from data is one of humankind's greatest intellectual achievements. A quantitative understanding of dynamic constraints and balances in nature has facilitated rapid development of knowledge and enabled advanced technological achievements, including aircraft, combustion engines, satellites, and electrical power. In this work, we combine sparsity-promoting techniques and machine learning with nonlinear dynamical systems to discover governing physical equations from measurement data. The only assumption about the structure of the model is that there are only a few important terms that govern the dynamics, so that the equations are sparse in the space of possible functions; this assumption holds for many physical systems. In particular, we use sparse regression to determine the fewest terms in the dynamic governing equations required to accurately represent the data. The resulting models are parsimonious, balancing model complexity with descriptive ability while avoiding overfitting. We demonstrate the algorithm on a wide range of problems, from simple canonical systems, including linear and nonlinear oscillators and the chaotic Lorenz system, to the fluid vortex shedding behind an obstacle. The fluid example illustrates the ability of this method to discover the underlying dynamics of a system that took experts in the community nearly 30 years to resolve. We also show that this method generalizes to parameterized, time-varying, or externally forced systems.


title: Finite temperature magnetism of FeRh compounds

abstract: The temperature dependent stability of the magnetic phases of FeRh were investigated by means of total energy calculations with magnetic disorder treated within the uncompensated disordered local moment (uDLM) approach. In addition, Monte Carlo simulations based on the extended Heisenberg model have been performed, using exchange coupling parameters obtained rom first principles. The crucial role and interplay of two factors in the metamagnetic transition in FeRh has been revealed, namely the dependence of the Fe-Fe exchange coupling parameters on the temperature-governed degree of magnetic disorder in the system and the stabilizing nature of the induced magnetic moment on Rh-sites. An important observation is the temperature dependence of these two competing factors.


title: Dynamics of phase slips in systems with time-periodic modulation

abstract: The Adler equation with time-periodic frequency modulation is studied. A series of resonances between the period of the frequency modulation and the time scale for the generation of a phase slip is identified. The resulting parameter space structure is determined using a combination of numerical continuation, time simulations and asymptotic methods. Regions with an integer number of phase slips per period are separated by regions with noninteger numbers of phase slips, and include canard trajectories that drift along unstable equilibria. Both high and low frequency modulation is considered. An adiabatic description of the low frequency modulation regime is found to be accurate over a large range of modulation periods.


title: Mirror Cosmological Relaxation of the Electroweak Scale

abstract: The cosmological relaxation mechanism proposed in [1] allows for a dynamically generated large separation between the weak scale and a theory cutoff, using a sharp change of theory behaviour upon crossing the limit between unbroken and broken symmetry phases. In this note we present a variation of this scenario, in which stabilization of the electroweak scale in the right place is ensured by the $Z_2$ symmetry exchanging the Standard Model (SM) with its mirror copy. We sketch the possible ways to produce viable thermal evolution of the Universe and discuss experimental accessibility of the new physics effects. We show that in this scenario the mirror SM can either have sizeable couplings with the ordinary one, or, conversely, can interact with it with a negligible strength. The overall cutoff allowed by such a construction can reach $10^9$ GeV.


title: Highly faithful actions and dense free subgroups in full groups

abstract: In this paper, we show that every measure-preserving ergodic equivalence relation of cost less than m comes from a "rich" faithful invariant random subgroup of the free group on m generators, strengthening a result of Bowen which had been obtained by a Baire category argument. Our proof is completely explicit: we use our previous construction of topological generators for full groups and observe that these generators induce a totally non free action. We then twist this construction so that the action is moreover amenable onto almost every orbit and highly faithful.


title: Some Supplementaries to The Counting Semantics for Abstract Argumentation

abstract: Dung's abstract argumentation framework consists of a set of interacting arguments and a series of semantics for evaluating them. Those semantics partition the powerset of the set of arguments into two classes: extensions and non-extensions. In order to reason with a specific semantics, one needs to take a credulous or skeptical approach, i.e. an argument is eventually accepted, if it is accepted in one or all extensions, respectively. In our previous work \cite{ref-pu2015counting}, we have proposed a novel semantics, called \emph{counting semantics}, which allows for a more fine-grained assessment to arguments by counting the number of their respective attackers and defenders based on argument graph and argument game. In this paper, we continue our previous work by presenting some supplementaries about how to choose the damaging factor for the counting semantics, and what relationships with some existing approaches, such as Dung's classical semantics, generic gradual valuations. Lastly, an axiomatic perspective on the ranking semantics induced by our counting semantics are presented.


title: Chemical Tagging of FGK Stars: Testing Membership to Young Stellar Kinematics Groups

abstract: In this contribution talk we summarize the results of our ongoing project of detailed analysis of the chemical content (chemical tagging) as a promising powerful method to provide clear constraints on the membership of FGK kinematic candidates to stellar kinematic groups of different ages that can be used as an alternative or complementary to the methods that use kinematics, photometry or age indicators. This membership information is very important to better understand the star formation history in the solar neighborhood discerning between field-like stars (associated with dynamical resonances (bar) or spiral structure) and real physical structures of coeval stars with a common origin (debris of star-forming aggregates in the disk). We have already applied the chemical tagging method to constrain the membership of FGK candidate stars to the Hyades supercluster and the Ursa Major moving group and in this contribution we present the preliminary results of our study of the Castor moving group.


title: Hyperons in Neutron Stars

abstract: In this work I briefly review some of the effects of hyperons on the properties of neutron and proto-neutron stars. In particular, I revise the problem of the strong softening of the EoS, and the consequent reduction of the maximum mass, induced by the presence of hyperons, a puzzle which has become more intringuing and difficult to solve due the recent measurements of the unusually high masses of the millisecond pulsars PSR J1903+0327 ($1.667\pm 0.021 M_\odot$), PSR J1614-2230 ($1.97 \pm 0.04 M_\odot$), and PSR J0348+0432 ($2.01 \pm 0.04 M_\odot$). Some of the solutions proposed to tackle this problem are discussed. Finally, I re-examine also the role of hyperons on the cooling properties of newly born neutron stars and on the so-called r-mode instability.


title: Multipolar phases and magnetically hidden order: Review of the heavy-fermion compound Ce(1-x)La(x)B6

abstract: Cerium hexaboride is a cubic f-electron heavy-fermion compound that displays a rich array of low-temperature magnetic ordering phenomena which have been the subject of investigation for more than 50 years. Its complex behaviour is the result of competing interactions, with both itinerant and local electrons playing important roles. Investigating this material has proven to be a substantial challenge, in particular because of the appearance of a "magnetically hidden order" phase, which remained elusive to neutron-scattering investigations for many years. It was not until the development of modern x-ray scattering techniques that the long suspected multipolar origin of this phase was confirmed. Doping with non-magnetic lanthanum dilutes the magnetic cerium sublattice and reduces the f-electron count, bringing about substantial changes to the ground state with the emergence of new phases and quantum critical phenomena. To this day, Ce(1-x)La(x)B6 and its related compounds remain a subject of intense interest. Despite the substantial progress in understanding their behaviour, they continue to reveal new and unexplained physical phenomena. Here we present a review of the accumulated body of knowledge on this family of materials in order to provide a firm standpoint for future investigations.


title: Inhomogeneous self-similar sets with overlaps

abstract: It is known that if the underlying iterated function system satisfies the open set condition, then the upper box dimension of an inhomogeneous self-similar set is the maximum of the upper box dimensions of the homogeneous counterpart and the condensation set. First, we prove that this `expected formula' does not hold in general if there are overlaps in the construction. We demonstrate this via two different types of counterexample: the first is a family of overlapping inhomogeneous self-similar sets based upon Bernoulli convolutions; and the second applies in higher dimensions and makes use of a spectral gap property that holds for certain subgroups of $SO(d)$ for $d\geq 3$. We also obtain new upper bounds for the upper box dimension of an inhomogeneous self-similar set which hold in general. Moreover, our counterexamples demonstrate that these bounds are optimal. In the final section we show that if the \emph{weak separation property} is satisfied, ie. the overlaps are controllable, then the `expected formula' does hold.


title: Deterministic global optimization using space-filling curves and multiple estimates of Lipschitz and Holder constants

abstract: In this paper, the global optimization problem $\min_{y\in S} F(y)$ with $S$ being a hyperinterval in $\Re^N$ and $F(y)$ satisfying the Lipschitz condition with an unknown Lipschitz constant is considered. It is supposed that the function $F(y)$ can be multiextremal, non-differentiable, and given as a `black-box'. To attack the problem, a new global optimization algorithm based on the following two ideas is proposed and studied both theoretically and numerically. First, the new algorithm uses numerical approximations to space-filling curves to reduce the original Lipschitz multi-dimensional problem to a univariate one satisfying the H\"{o}lder condition. Second, the algorithm at each iteration applies a new geometric technique working with a number of possible H\"{o}lder constants chosen from a set of values varying from zero to infinity showing so that ideas introduced in a popular DIRECT method can be used in the H\"{o}lder global optimization. Convergence conditions of the resulting deterministic global optimization method are established. Numerical experiments carried out on several hundreds of test functions show quite a promising performance of the new algorithm in comparison with its direct competitors.


title: High Performance Computer Acoustic Data Accelerator: A New System for Exploring Marine Mammal Acoustics for Big Data Applications

abstract: This paper presents a new software model designed for distributed sonic signal detection runtime using machine learning algorithms called DeLMA. A new algorithm--Acoustic Data-mining Accelerator (ADA)--is also presented. ADA is a robust yet scalable solution for efficiently processing big sound archives using distributing computing technologies. Together, DeLMA and the ADA algorithm provide a powerful tool currently being used by the Bioacoustics Research Program (BRP) at the Cornell Lab of Ornithology, Cornell University. This paper provides a high level technical overview of the system, and discusses various aspects of the design. Basic runtime performance and project summary are presented. The DeLMA-ADA baseline performance comparing desktop serial configuration to a 64 core distributed HPC system shows as much as a 44 times faster increase in runtime execution. Performance tests using 48 cores on the HPC shows a 9x to 12x efficiency over a 4 core desktop solution. Project summary results for 19 east coast deployments show that the DeLMA-ADA solution has processed over three million channel hours of sound to date.


title: Inverse Strichartz estimates for 1d Schr\"odinger operators with potentials of quadratic growth

abstract: We prove inverse Strichartz theorems at $L^2$ regularity for a family of Schr\"{o}dinger evolutions in one space dimension. Prior results rely on spacetime Fourier analysis and are limited to the translation-invariant equation $i\partial_t u = -\tfrac{1}{2} \Delta u$. Motivated by applications to the mass-critical Schr\"odinger equation with external potentials (such as the harmonic oscillator) we use a physical space approach.


title: Configurable Electrostatically Doped High Performance Bilayer Graphene Tunnel FET

abstract: A bilayer graphene based electrostatically doped tunnel field-effect transistor (BED-TFET) is proposed in this work. Unlike graphene nanoribbon TFETs in which the edge states deteriorate the OFF-state performance, BED-TFETs operate based on different bandgaps induced by vertical electric fields in the source, channel, and drain regions without any chemical doping. The performance of the transistor is evaluated by self-consistent quantum transport simulations. This device has several advantages: 1) ultra-low power (VDD=0.1V), 2) high performance (ION/IOFF>104), 3) steep subthreshold swing (SS<10mv/dec), and 4) electrically configurable between N-TFET and P-TFET post fabrication. Here, the operation principle of the BED-TFET and its performance sensitivity to the device design parameters are studied.


title: A goldstino at the bottom of the cascade

abstract: Working within a five-dimensional consistent truncation of type IIB supergravity dimensionally reduced on $T^{1,1}$, we consider supersymmetry breaking solutions with the asymptotics of the supersymmetric Klebanov-Strassler background. There exists a two-parameter family of such solutions. Within this family, we show that those (and only those) solutions related to antiD-branes at the tip of the conifold correspond to dual field theory vacua where a goldstino mode is present and supercurrent Ward identities hold. Our findings do not depend on the IR singularity of the dual backgrounds, nor on its resolution. As such, they constitute an independent, necessary check for the existence of supersymmetry breaking vacua in the conifold cascading gauge theory. Our analysis relies on a holographic derivation of the Ward identities which has a wider applicability, beyond the specific system and symmetries considered here.


title: Gompertz - Power Series Distributions

abstract: In this paper, we introduce the Gompertz power series class of distributions which is obtained by compounding Gompertz and power series distributions. This distribution contains several lifetime models such as Gompertz-geometric, Gompertz-Poisson, Gompertz-binomial, and Gompertz-logarithmic distributions as special cases. Sub-models of the GPS distribution are studied in details. The hazard rate function of the GPS distribution can be increasing, decreasing, and bathtub-shaped. We obtain several properties of the GPS distribution such as its probability density function, and failure rate function, Shannon entropy, mean residual life function, quantiles and moments. The maximum likelihood estimation procedure via a EM-algorithm is presented, and simulation studies are performed for evaluation of this estimation for complete data, and the MLE of parameters for censored data. At the end, a real example is given.


title: A generalized fidelity amplitude for open systems

abstract: We consider a central system which is coupled via dephasing to an open system, i.e. an intermediate system which in turn is coupled to another environment. Considering intermediate and far environment as one composite system, the coherences in the central system are given in the form of fidelity amplitudes for a certain perturbed echo dynamics in the composite environment. On the basis of the Born-Markov approximation, we derive a master equation for the reduction of that dynamics to the intermediate system alone. In distinction to an earlier paper [arXiv: 1502.04143 (2015)] where we discussed the stabilizing effect of the far environment on the decoherence in the central system, we focus here on the possibility to use the measurable coherences in the central system for probing the open quantum dynamics in the intermediate system. We illustrate our results for the case of chaotic dynamics in the near environment, where we compare random matrix simulations with our analytical result.


title: New Results on the Existence of Open Loop Nash Equilibria in Discrete Time Dynamic Games

abstract: We address the problem of finding conditions which guarantee the existence of open-loop Nash equilibria in discrete time dynamic games (DTDGs). The classical approach to DTDGs involves analyzing the problem using optimal control theory which yields results mainly limited to linear-quadratic games. We show the existence of equilibria for a class of DTDGs where the cost function of players admits a quasi-potential function which leads to new results and, in some cases, a generalization of similar results from linear-quadratic games. Our results are obtained by introducing a new formulation for analysing DTDGs using the concept of a conjectured state by the players. In this formulation, the state of the game is modelled as dependent on players. Using this formulation we show that there is an optimisation problem such that the solution of this problem gives an equilibrium of the DTDG. To extend the result for more general games, we modify the DTDG with an additional constraint of consistency of the conjectured state. Any equilibrium of the original game is also an equilibrium of this modified game with consistent conjectures. In the modified game, we show the existence of equilibria for DTDGs where the cost function of players admits a potential function. We end with conditions under which an equilibrium of the game with consistent conjectures is an $\epsilon$-Nash equilibria of the original game.


title: Stable integrated hyper-parametric oscillator based on coupled optical microcavities

abstract: We propose a flexible scheme based on three coupled optical microcavities which permits to achieve stable oscillations in the microwave range, the frequency of which depends only on the cavity coupling rates. We find the different dynamical regimes (soft and hard excitation) to affect the oscillation intensity but not their period. This configuration may permit to implement compact hyper-parametric sources on an integrated optical circuit, with interesting applications in communications, sensing and metrology.


title: Quantum state engineering in hybrid open quantum systems

abstract: We investigate a possibility to generate non-classical states in light-matter coupled noisy quantum systems, namely the anisotropic Rabi and Dicke models. In these hybrid quantum systems a competing influence of coherent internal dynamics and environment induced dissipation drives the system into non-equilibrium steady states (NESSs). Explicitly, for the anisotropic Rabi model the steady state is given by an incoherent mixture of two states of opposite parities, but as each parity state displays light-matter entanglement we also find that the full state is entangled. Furthermore, as a natural extension of the anisotropic Rabi model to an infinite spin subsystem, we next explored the NESS of the anisotropic Dicke model. The NESS of this linearized Dicke model is also an inseparable state of light and matter. With an aim to enrich the dynamics beyond the sustainable entanglement found for the NESS of these hybrid quantum systems, we also propose to combine an all-optical feedback strategy for quantum state protection and for establishing quantum control in these systems. Our present work further elucidates the relevance of such hybrid open quantum systems for potential applications in quantum architectures.


title: Hardness of Online Sleeping Combinatorial Optimization Problems

abstract: We show that several online combinatorial optimization problems that admit efficient no-regret algorithms become computationally hard in the sleeping setting where a subset of actions becomes unavailable in each round. Specifically, we show that the sleeping versions of these problems are at least as hard as PAC learning DNF expressions, a long standing open problem. We show hardness for the sleeping versions of Online Shortest Paths, Online Minimum Spanning Tree, Online $k$-Subsets, Online $k$-Truncated Permutations, Online Minimum Cut, and Online Bipartite Matching. The hardness result for the sleeping version of the Online Shortest Paths problem resolves an open problem presented at COLT 2015 (Koolen et al., 2015).


title: Thermal generation of spin current in epitaxial CoFe2O4 thin films

abstract: The longitudinal spin Seebeck effect (LSSE) has been investigated in high-quality epitaxial CoFe2O4 (CFO) thin films. The thermally excited spin currents in the CFO films are electrically detected in adjacent Pt layers due to the inverse spin Hall effect (ISHE). The LSSE signal exhibits a linear increase with increasing temperature gradient, yielding a LSSE coefficient of ~100 nV/K at room temperature. The temperature dependence of the LSSE is investigated from room temperature down to 30 K, showing a significant reduction at low temperatures, revealing that the total amount of thermally generated magnons decreases. Furthermore, we demonstrate that the spin Seebeck effect is an effective tool to study the magnetic anisotropy induced by epitaxial strain, especially in ultrathin films with low magnetic moments.


title: DeepSat - A Learning framework for Satellite Imagery

abstract: Satellite image classification is a challenging problem that lies at the crossroads of remote sensing, computer vision, and machine learning. Due to the high variability inherent in satellite data, most of the current object classification approaches are not suitable for handling satellite datasets. The progress of satellite image analytics has also been inhibited by the lack of a single labeled high-resolution dataset with multiple class labels. The contributions of this paper are twofold - (1) first, we present two new satellite datasets called SAT-4 and SAT-6, and (2) then, we propose a classification framework that extracts features from an input image, normalizes them and feeds the normalized feature vectors to a Deep Belief Network for classification. On the SAT-4 dataset, our best network produces a classification accuracy of 97.95% and outperforms three state-of-the-art object recognition algorithms, namely - Deep Belief Networks, Convolutional Neural Networks and Stacked Denoising Autoencoders by ~11%. On SAT-6, it produces a classification accuracy of 93.9% and outperforms the other algorithms by ~15%. Comparative studies with a Random Forest classifier show the advantage of an unsupervised learning approach over traditional supervised learning techniques. A statistical analysis based on Distribution Separability Criterion and Intrinsic Dimensionality Estimation substantiates the effectiveness of our approach in learning better representations for satellite imagery.


title: Green Energy Aware Avatar Migration Strategy in Green Cloudlet Networks

abstract: We propose a Green Cloudlet Network (\emph{GCN}) architecture to provide seamless Mobile Cloud Computing (\emph{MCC}) services to User Equipments (\emph{UE}s) with low latency in which each cloudlet is powered by both green and brown energy. Fully utilizing green energy can significantly reduce the operational cost of cloudlet providers. However, owing to the spatial dynamics of energy demand and green energy generation, the energy gap among different cloudlets in the network is unbalanced, i.e., some cloudlets' energy demands can be fully provided by green energy but others need to utilize on-grid energy (i.e., brown energy) to satisfy their energy demands. We propose a Green-energy awarE Avatar migRation (\emph{GEAR}) strategy to minimize the on-grid energy consumption in GCN by redistributing the energy demands via Avatar migration among cloudlets according to cloudlets' green energy generation. Furthermore, GEAR ensures the Service Level Agreement (\emph{SLA}) in terms of the maximum Avatar propagation delay by avoiding Avatars hosted in the remote cloudlets. We formulate the GEAR strategy as a mixed integer linear programming problem, which is NP-hard, and thus apply the Branch and Bound search to find its sub-optimal solution. Simulation results demonstrate that GEAR can save on-grid energy consumption significantly as compared to the Follow me AvataR (\emph{FAR}) migration strategy, which aims to minimize the propagation delay between an UE and its Avatar.


title: Fundamental concepts in the Cyclus nuclear fuel cycle simulation framework

abstract: As nuclear power expands, technical, economic, political, and environmental analyses of nuclear fuel cycles by simulators increase in importance. To date, however, current tools are often fleet-based rather than discrete and restrictively licensed rather than open source. Each of these choices presents a challenge to modeling fidelity, generality, efficiency, robustness, and scientific transparency. The Cyclus nuclear fuel cycle simulator framework and its modeling ecosystem incorporate modern insights from simulation science and software architecture to solve these problems so that challenges in nuclear fuel cycle analysis can be better addressed. A summary of the Cyclus fuel cycle simulator framework and its modeling ecosystem are presented. Additionally, the implementation of each is discussed in the context of motivating challenges in nuclear fuel cycle simulation. Finally, the current capabilities of Cyclus are demonstrated for both open and closed fuel cycles.


title: Wilson RG of Noncommutative $\Phi_{4}^4$

abstract: We present a study of phi-four theory on noncommutative spaces using a combination of the Wilson renormalization group recursion formula and the solution to the zero dimensional vector/matrix models at large $N$. Three fixed points are identified. The matrix model $\theta=\infty$ fixed point which describes the disordered-to-non-uniform-ordered transition. The Wilson-Fisher fixed point at $\theta=0$ which describes the disordered-to-uniform-ordered transition, and a noncommutative Wilson-Fisher fixed point at a maximum value of $\theta$ which is associated with the transition between non-uniform-order and uniform-order phases.


title: Stability and transitions of the second grade Poiseuille flow

abstract: In this study we consider the stability and transitions for the Poiseuille flow of a second grade fluid which is a model for non-Newtonian fluids. We restrict our attention to flows in an infinite pipe with circular cross section that are independent of the axial coordinate. We show that unlike the Newtonian ($\epsilon=0$) case, in the second grade model ($\epsilon \neq 0$ case), the time independent base flow exhibits transitions as the Reynolds number $R$ exceeds the critical threshold $R_c \approx 4.124 \epsilon^{-1/4}$ where $\epsilon$ is a material constant measuring the relative strength of second order viscous effects compared to inertial effects. At $R=R_c$, we find that generically the transition is either continuous or catastrophic and a small amplitude, time periodic flow with 3-fold azimuthal symmetry bifurcates. The time period of the bifurcated solution tends to infinity as $R$ tends to $R_c$. Our numerical calculations suggest that for low $\epsilon$ values, the system prefers a catastrophic transition where the bifurcation is subcritical. We also find that there is a Reynolds number $R_E$ with $R_E < R_c$ such that for $R<R_E$, the base flow is globally stable and attracts any initial disturbance with at least exponential speed. We show that $R_E \approx 12.87$ at $\epsilon=0$ and $R_E$ approaches $R_c$ quickly as $\epsilon$ increases.


title: The Resonance Overlap and Hill Stability Criteria Revisited

abstract: We review the orbital stability of the planar circular restricted three-body problem, in the case of massless particles initially located between both massive bodies. We present new estimates of the resonance overlap criterion and the Hill stability limit, and compare their predictions with detailed dynamical maps constructed with N-body simulations. We show that the boundary between (Hill) stable and unstable orbits is not smooth but characterized by a rich structure generated by the superposition of different mean-motion resonances which does not allow for a simple global expression for stability. We propose that, for a given perturbing mass $m_1$ and initial eccentricity $e$, there are actually two critical values of the semimajor axis. All values $a < a_{\rm Hill}$ are Hill-stable, while all values $a > a_{\rm unstable}$ are unstable in the Hill sense. The first limit is given by the Hill-stability criterion and is a function of the eccentricity. The second limit is virtually insensitive to the initial eccentricity, and closely resembles a new resonance overlap condition (for circular orbits) developed in terms of the intersection between first and second-order mean-motion resonances.


title: Modular interpretation of a non-reductive Chow quotient

abstract: The space of n distinct points and a disjoint parameterized hyperplane in projective d-space up to projectivity---equivalently, configurations of n distinct points in affine d-space up to translation and homothety---has a beautiful compactification introduced by Chen-Gibney-Krashen. This variety, constructed inductively using the apparatus of Fulton-MacPherson configuration spaces, is a parameter space of certain pointed rational varieties whose dual intersection complex is a rooted tree. This generalizes $\overline{M}_{0,n}$ and shares many properties with it. In this paper, we prove that the normalization of the Chow quotient of $(\mathbb{P}^d)^n$ by the diagonal action of the subgroup of projectivities fixing a hyperplane, pointwise, is isomorphic to this Chen-Gibney-Krashen space $T_{d,n}$. This is a non-reductive analogue of Kapranov's famous quotient construction of $\overline{M}_{0,n}$, and indeed as a special case we show that $\overline{M}_{0,n}$ is the Chow quotient of $(\mathbb{P}^1)^{n-1}$ by an action of a semidirect product of the additive and multiplicative group.


title: Lasry-Lions, Lax-Oleinik and Generalized characteristics

abstract: In the recent works \cite{Cannarsa-Chen-Cheng} and \cite{Cannarsa-Cheng3}, an intrinsic approach of the propagation of singularities along the generalized characteristics was obtained, even in global case, by a procedure of sup-convolution with the kernel the fundamental solutions of the associated Hamilton-Jacobi equations. In the present paper, we exploit the relations among Lasry-Lions regularization, Lax-Oleinik operators (or inf/sup-convolution) and generalized characteristics, which are discussed in the context of the variational setting of Tonelli Hamiltonian dynamics, such as Mather theory and weak KAM theory.


title: Equation of State of Ultracold Fermions in the 2D BEC-BCS Crossover Region

abstract: We report the experimental measurement of the equation of state of a two-dimensional Fermi gas with attractive s-wave interactions throughout the crossover from a weakly coupled Fermi gas to a Bose gas of tightly bound dimers as the interaction strength is varied. We demonstrate that interactions lead to a renormalization of the density of the Fermi gas by several orders of magnitude. We compare our data near the ground state and at finite temperature to predictions for both fermions and bosons from Quantum Monte Carlo simulations and Luttinger-Ward theory. Our results serve as input for investigations of close-to-equilibrium dynamics and transport in the two-dimensional system.


title: A Parallel Corpus of Translationese

abstract: We describe a set of bilingual English--French and English--German parallel corpora in which the direction of translation is accurately and reliably annotated. The corpora are diverse, consisting of parliamentary proceedings, literary works, transcriptions of TED talks and political commentary. They will be instrumental for research of translationese and its applications to (human and machine) translation; specifically, they can be used for the task of translationese identification, a research direction that enjoys a growing interest in recent years. To validate the quality and reliability of the corpora, we replicated previous results of supervised and unsupervised identification of translationese, and further extended the experiments to additional datasets and languages.


title: Looking for a bulk point

abstract: We consider Lorentzian correlators of local operators. In perturbation theory, singularities occur when we can draw a position-space Landau diagram with null lines. In theories with gravity duals, we can also draw Landau diagrams in the bulk. We argue that certain singularities can arise only from bulk diagrams, not from boundary diagrams. As has been previously observed, these singularities are a clear diagnostic of bulk locality. We analyze some properties of these perturbative singularities and discuss their relation to the OPE and the dimensions of double-trace operators. In the exact nonperturbative theory, we expect no singularity at these locations. We prove this statement in 1+1 dimensions by CFT methods.


title: New probes for bino dark matter with coannihilation at the LHC

abstract: It has been widely known that bino-like dark matter in supersymmetric theories suffers from over-production. The situation can be improved if the gluino or wino has a mass of O(10) GeV heavier than the bino, sufficiently reducing the bino abundance through co-annihilation. In this scenario, the gluino decays to the bino via squark exchange, and the wino decays to the bino via higgsino exchange. In split SUSY models favoured after the Higgs discovery, the intermediate particles in these decays would be much heavier than gauginos, suppressing the decay of the gluino and wino. This, in addition to the small mass differences, results in long lifetimes for the gluino and wino. We show that searches performed at the LHC for long-lived particles with displaced vertices offer a powerful method to test this scenario.


title: Morpheus: Safe and Flexible Dynamic Updates for SDNs

abstract: SDN controllers must be periodically modified to add features, improve performance, and fix bugs, but current techniques for implementing dynamic updates are inadequate. Simply halting old controllers and bringing up new ones can cause state to be lost, which often leads to incorrect behavior-e.g., if the state represents hosts blacklisted by a firewall, then traffic that should be blocked may be allowed to pass through. Techniques based on record and replay can reconstruct state automatically, but they are expensive to deploy and can lead to incorrect behavior. Problematic scenarios are especially likely to arise in distributed controllers and with semantics-altering updates. This paper presents a new approach to implementing dynamic controller updates based on explicit state transfer. Instead of attempting to infer state changes automatically-an approach that is expensive and fundamentally incomplete-our framework gives programmers effective tools for implementing correct updates that avoid major disruptions. We develop primitives that enable programmers to directly (and easily, in most cases) initialize the new controller's state as a function of old state and we design protocols that ensure consistent behavior during the transition. We also present a prototype implementation called Morpheus, and evaluate its effectiveness on representative case studies.