title: Controlling Laser Parameters by Electrical Polarization of Solid State Gain Media

abstract: The electrical polarization of the laser crystal by external electrical field can change significantly the output laser parameters such as wavelength of excitation and generation, spectral bandwidth, excitation and emission cross-sections, efficiency and so on. That can give new possibilities for wide control of these parameters, increase their range for existing lasers and create a new line of the laser devices. In this paper the direct impact of external electrical fields on the laser solid state gain media was estimated using as an example Ti:Sapphire crystal. It was demonstrated that metal-ligands distances displacement in this crystal under external electrical field of 20kV/cm can be comparable to that caused by mechanical pressure of 150 kbar, which was previously measured in experiments. The consequences of these displacements on the excitation and luminescence properties of the crystal are also discussed.


title: Some uniqueness theorems for a conical Radon transform

abstract: The conical Radon transform, which assigns to a given function $f$ on $\mathbb R^3$ its integrals over conical surfaces, arises in several imaging techniques, e.g. in astronomy and homeland security, especially when the so-called Compton cameras are involved. In many practical situations we know this transform only on a subset of its domain. In these situations, it is a natural question what we can say about $f$ from partial information. In this paper, we investigate some uniqueness theorems regarding a conical Radon transform.


title: Explicit description of all deflators for market models under random horizon with applications to NFLVR

abstract: This paper considers an initial market model, specified by its underlying assets $S$ and its flow of information $\mathbb F$, and an arbitrary random time $\tau$ which might not be an $\mathbb F$-stopping time. As the death time and the default time (that $\tau$ might represent) can be seen when they occur only, the progressive enlargement of $\mathbb F$ with $\tau$ sounds tailor-fit for modelling the new flow of information $\mathbb G$ that incorporates both $\mathbb F$ and $\tau$. In this setting of informational market, the first principal goal resides in describing as explicitly as possible the set of all deflators for $(S^{\tau}, \mathbb G)$, while the second principal goal lies in addressing the No-Free-Lunch-with-Vanishing-Risk concept (NFLVR hereafter) for $(S^{\tau}, \mathbb G)$. Besides this direct application to NFLVR, the set of all deflators constitutes the dual set of all "admissible" wealth processes for the stopped model $(S^{\tau},\mathbb G)$, and hence it is vital in many hedging and pricing related optimization problems. Thanks to the results of Choulli et al. [7], on martingales classification and representation for progressive enlarged filtration, our two main goals are fully achieved in different versions, when the survival probability never vanishes. The results are illustrated on the two particular cases when $(S,\mathbb F)$ follows the jump-diffusion model and the discrete-time model.


title: Teichm\"uller dynamics, dilation tori and piecewise affine circle homeomorphisms

abstract: We study the coarse geometry of the moduli space of dilation tori with two singularities and the dynamical properties of the action of the Teichmuller flow on this moduli space. This leads to a proof that the vertical foliation of a dilation torus is almost always Morse-Smale. As a corollary, we get that the generic piecewise affine circle homeomorphism with two break points -with respect to the Lebesgue measure- is Morse-Smale.


title: Blinded and unblinded sample size re-estimation in crossover trials balanced for period

abstract: The determination of the sample size required by a crossover trial typically depends on the specification of one or more variance components. Uncertainty about the value of these parameters at the design stage means that there is often a risk a trial may be under- or over-powered. For many study designs, this problem has been addressed by considering adaptive design methodology that allows for the re-estimation of the required sample size during a trial. Here, we propose and compare several approaches for this in multi-treatment crossover trials. Specifically, regulators favour re-estimation procedures to maintain the blinding of the treatment allocations. We therefore develop blinded estimators for the within and between person variances, following simple or block randomisation. We demonstrate that, provided an equal number of patients are allocated to sequences that are balanced for period, the proposed estimators following block randomisation are unbiased. We further provide a formula for the bias of the estimators following simple randomisation. The performance of these procedures, along with that of an unblinded approach, is then examined utilising three motivating examples, including one based on a recently completed four-treatment four-period crossover trial. Simulation results show that the performance of the proposed blinded procedures is in many cases similar to that of the unblinded approach, and thus they are an attractive alternative.


title: The algebra of predicting agents

abstract: The category of open games, which provides a strongly compositional foundation of economic game theory, is intermediate between symmetric monoidal and compact closed. More precisely it has counits with no corresponding units, and a partially defined duality. There exist open games with the same types as unit maps, given by agents with the strategic goal of predicting a future value. Such agents appear in earlier work on selection functions. We explore the algebraic properties of these agents via the symmetric monoidal bicategory whose 2-cells are morphisms between open games, and show how the resulting structure approximates a compact closed category with a family of lax commutative bialgebras.


title: Investigating Generative Adversarial Networks based Speech Dereverberation for Robust Speech Recognition

abstract: We investigate the use of generative adversarial networks (GANs) in speech dereverberation for robust speech recognition. GANs have been recently studied for speech enhancement to remove additive noises, but there still lacks of a work to examine their ability in speech dereverberation and the advantages of using GANs have not been fully established. In this paper, we provide deep investigations in the use of GAN-based dereverberation front-end in ASR. First, we study the effectiveness of different dereverberation networks (the generator in GAN) and find that LSTM leads a significant improvement as compared with feed-forward DNN and CNN in our dataset. Second, further adding residual connections in the deep LSTMs can boost the performance as well. Finally, we find that, for the success of GAN, it is important to update the generator and the discriminator using the same mini-batch data during training. Moreover, using reverberant spectrogram as a condition to discriminator, as suggested in previous studies, may degrade the performance. In summary, our GAN-based dereverberation front-end achieves 14%-19% relative CER reduction as compared to the baseline DNN dereverberation network when tested on a strong multi-condition training acoustic model.


title: You are your Metadata: Identification and Obfuscation of Social Media Users using Metadata Information

abstract: Metadata are associated to most of the information we produce in our daily interactions and communication in the digital world. Yet, surprisingly, metadata are often still catergorized as non-sensitive. Indeed, in the past, researchers and practitioners have mainly focused on the problem of the identification of a user from the content of a message. In this paper, we use Twitter as a case study to quantify the uniqueness of the association between metadata and user identity and to understand the effectiveness of potential obfuscation strategies. More specifically, we analyze atomic fields in the metadata and systematically combine them in an effort to classify new tweets as belonging to an account using different machine learning algorithms of increasing complexity. We demonstrate that through the application of a supervised learning algorithm, we are able to identify any user in a group of 10,000 with approximately 96.7% accuracy. Moreover, if we broaden the scope of our search and consider the 10 most likely candidates we increase the accuracy of the model to 99.22%. We also found that data obfuscation is hard and ineffective for this type of data: even after perturbing 60% of the training data, it is still possible to classify users with an accuracy higher than 95%. These results have strong implications in terms of the design of metadata obfuscation strategies, for example for data set release, not only for Twitter, but, more generally, for most social media platforms.


title: Anderson transition for elastic waves in three dimensions

abstract: We use two different fully vectorial microscopic models featuring nonresonant and resonant scattering, respectively, to demonstrate the Anderson localization transition for elastic waves in three-dimensional (3D) disordered solids. Critical parameters of the transition determined by finite-time and finite-size scaling analyses suggest that the transition belongs to the 3D orthogonal universality class. Similarities and differences between the elastic-wave and light scattering in strongly disordered media are discussed.


title: Planck Observations of M33

abstract: We have performed a comprehensive investigation of the global integrated flux density of M33 from radio to ultraviolet wavelengths, finding that the data between $\sim$100 GHz and 3 THz are accurately described by a single modified blackbody curve with a dust temperature of $T_\mathrm{dust}$ = 21.67$\pm$0.30 K and an effective dust emissivity index of $\beta_\mathrm{eff}$ = 1.35$\pm$0.10, with no indication of an excess of emission at millimeter/sub-millimeter wavelengths. However, sub-dividing M33 into three radial annuli, we found that the global emission curve is highly degenerate with the constituent curves representing the sub-regions of M33. We also found gradients in $T_\mathrm{dust}$ and $\beta_\mathrm{eff}$ across the disk of M33, with both quantities decreasing with increasing radius. Comparing the M33 dust emissivity with that of other Local Group members, we find that M33 resembles the Magellanic Clouds rather than the larger galaxies, i.e., the Milky Way and M31. In the Local Group sample, we find a clear correlation between global dust emissivity and metallicity, with dust emissivity increasing with metallicity. A major aspect of this analysis is the investigation into the impact of fluctuations in the Cosmic Microwave Background (CMB) on the integrated flux density spectrum of M33. We found that failing to account for these CMB fluctuations would result in a significant over-estimate of $T_\mathrm{dust}$ by $\sim$5 K and an under-estimate of $\beta_\mathrm{eff}$ by $\sim$0.4.


title: Comprehending Real Numbers: Development of Bengali Real Number Speech Corpus

abstract: Speech recognition has received a less attention in Bengali literature due to the lack of a comprehensive dataset. In this paper, we describe the development process of the first comprehensive Bengali speech dataset on real numbers. It comprehends all the possible words that may arise in uttering any Bengali real number. The corpus has ten speakers from the different regions of Bengali native people. It comprises of more than two thousands of speech samples in a total duration of closed to four hours. We also provide a deep analysis of our corpus, highlight some of the notable features of it, and finally evaluate the performances of two of the notable Bengali speech recognizers on it.


title: Kinetic theory of driven granular fluids

abstract: Granular matter under rapid flow conditions can be modeled as a granular gas, namely, a gas of hard spheres dissipating part of their kinetic energy during binary collisions (inelastic hard spheres, IHS). On the other hand, given that collisions are inelastic one has to inject energy into the system to compensate for the inelastic cooling and maintain it in rapid conditions. Although in real experiments the external energy is supplied to the system by the boundaries, it is quite usual in computer simulations to heat the system by the action of an external driving force or thermostat. Despite thermostats have been widely employed in the past, their influence on the dynamic properties of the system (for elastic and granular fluids) is not yet completely understood. In this work, we determine the transport properties of driven granular systems by using two independent and complementary routes, one of them being analytic (Chapman-Enskog method, BGK solution and Grad's moments method) and the other one being computational (Monte Carlo simulations).


title: Orbital angular momentum states enabling fiber-based high-dimensional quantum communication

abstract: Quantum networks are the ultimate target in quantum communication, where many connected users can share information carried by quantum systems. The keystones of such structures are the reliable generation, transmission and manipulation of quantum states. Two-dimensional quantum states, qubits, are steadily adopted as information units. However, high-dimensional quantum states, qudits, constitute a richer resource for future quantum networks, exceeding the limitations imposed by the ubiquitous qubits. The generation and manipulation of such $D$-level systems have been improved over the last ten years, but their reliable transmission between remote locations remains the main challenge. Here, we show how a recent air-core fiber supporting orbital angular momentum (OAM) modes can be exploited to faithfully transmit $D$-dimensional states. Four OAM quantum states and their superpositions are created, propagated in a 1.2 km long fiber and detected with high fidelities. In addition, three quantum key distribution (QKD) protocols are implemented as concrete applications to assert the practicality of our results. This experiment enhances the distribution of high-dimensional quantum states, attesting the orbital angular momentum as vessel for the future quantum network.


title: Distributed chaos in the Hamiltonian dynamical systems and isotropic homogeneous turbulence

abstract: It is shown that the distributed chaos in the simple Hamiltonian (conservative) dynamical systems, such as the Nose-Hoover oscillator and double oscillator, can mimic the distributed chaos in the isotropic homogeneous turbulence. Direct numerical simulations with the classic Toda lattice and with the nonlinear Schr\"{o}dinger equation (soliton turbulence) under random initial conditions have been also discussed in this context. These properties of the distributed chaos have been related to analytical properties of the Hamiltonian systems. Decrease of the smoothness results in the power-law spectra instead of the stretched exponential ones characteristic to the distributed chaos, both for the dynamical systems and for turbulence.


title: Bringing global gyrokinetic turbulence simulations to the transport timescale using a multiscale approach

abstract: The vast separation dividing the characteristic times of energy confinement and turbulence in the core of toroidal plasmas makes first-principles prediction on long timescales extremely challenging. Here we report the demonstration of a multiple-timescale method that enables coupling global gyrokinetic simulations with a transport solver to calculate the evolution of the self-consistent temperature profile. This method, which exhibits resiliency to the intrinsic fluctuations arising in turbulence simulations, holds potential for integrating nonlocal gyrokinetic turbulence simulations into predictive, whole-device models.


title: New concavity and convexity results for symmetric polynomials and their ratios

abstract: We prove some "power" generalizations of Marcus-Lopes-style (including McLeod and Bullen) concavity inequalities for elementary symmetric polynomials, and convexity inequalities (of McLeod and Baston) for complete homogeneous symmetric polynomials. Finally, we present sundry concavity results for elementary symmetric polynomials, of which the main result is a concavity theorem that among other implies a well-known log-convexity result of Muir (1972/74) for positive definite matrices.


title: Improved Silbey-Harris polaron ansatz for the spin-boson model

abstract: In this paper, the well-known Silbey-Harris (SH) polaron ansatz for the spin-boson model is improved by adding orthogonal displaced Fock states. The obtained results for the ground state in all baths converge very quickly within finite displaced Fock states and corresponding SH results are corrected considerably. Especially for the sub-Ohmic spin-boson model, the converging results are obtained for 0 < s < 1/2 in the fourth-order correction and very accurate critical coupling strengths of the quantum phase transition are achieved. Converging magnetization in the biased spin-boson model is also arrived at. Since the present improved SH ansatz can yield very accurate, even almost exact results, it should have wide applications and extensions in various spin-boson model and related fields.


title: An extended type system with lambda-typed lambda-expressions

abstract: We present the system $\mathtt{d}$, an extended type system with lambda-typed lambda-expressions. It is related to type systems originating from the Automath project. $\mathtt{d}$ extends existing lambda-typed systems by an existential abstraction operator as well as propositional operators. $\beta$-reduction is extended to also normalize negated expressions using a subset of the laws of classical negation, hence $\mathtt{d}$ is normalizing both proofs and formulas which are handled uniformly as functional expressions. $\mathtt{d}$ is using a reflexive type axiom for a constant $\tau$ to which no function can be typed. Some properties are shown including confluence, subject reduction, uniqueness of types, strong normalization, and consistency. We illustrate how, when using $\mathtt{d}$, due to its limited logical strength, additional axioms must be added both for negation and for the mathematical structures whose deductions are to be formalized.


title: Public Git Archive: a Big Code dataset for all

abstract: The number of open source software projects has been growing exponentially. The major online software repository host, GitHub, has accumulated tens of millions of publicly available Git version-controlled repositories. Although the research potential enabled by the available open source code is clearly substantial, no significant large-scale open source code datasets exist. In this paper, we present the Public Git Archive -- dataset of 182,014 top-bookmarked Git repositories from GitHub. We describe the novel data retrieval pipeline to reproduce it. We also elaborate on the strategy for performing dataset updates and legal issues. The Public Git Archive occupies 3.0 TB on disk and is an order of magnitude larger than the current source code datasets. The dataset is made available through HTTP and provides the source code of the projects, the related metadata, and development history. The data retrieval pipeline employs an optimized worker queue model and an optimized archive format to efficiently store forked Git repositories, reducing the amount of data to download and persist. Public Git Archive aims to open a myriad of new opportunities for ``Big Code`` research.


title: A full vectorial mapping of nanophotonic light fields

abstract: Light is a union of electric and magnetic fields, and nowhere is their complex relationship more evident than in the near fields of nanophotonic structures. There, complicated electric and magnetic fields varying over subwavelength scales are generally present, leading to photonic phenomena such as extraordinary optical momentum, super-chiral fields, and a complex spatial evolution of optical singularities. An understanding of such phenomena requires nanoscale measurements of the complete optical field vector. However, while it was recently demonstrated that near-field scanning optical microscopy is sensitive to the complete electromagnetic field, a separation of the different components required a priori knowledge of the sample. Here we introduce a robust algorithm that can disentangle all six electric and magnetic field components from a single near-field measurement, without any numerical modeling of the structure. As examples, we unravel the fields of two prototypical nanophotonic structures: a photonic crystal waveguide and a plasmonic nanowire. These results pave the way to new studies of complex photonic phenomena at the nanoscale, and for the design of structures that optimize the optical behavior that they exhibit.


title: Empirical Evaluation of Speaker Adaptation on DNN based Acoustic Model

abstract: Speaker adaptation aims to estimate a speaker specific acoustic model from a speaker independent one to minimize the mismatch between the training and testing conditions arisen from speaker variabilities. A variety of neural network adaptation methods have been proposed since deep learning models have become the main stream. But there still lacks an experimental comparison between different methods, especially when DNN-based acoustic models have been advanced greatly. In this paper, we aim to close this gap by providing an empirical evaluation of three typical speaker adaptation methods: LIN, LHUC and KLD. Adaptation experiments, with different size of adaptation data, are conducted on a strong TDNN-LSTM acoustic model. More challengingly, here, the source and target we are concerned with are standard Mandarin speaker model and accented Mandarin speaker model. We compare the performances of different methods and their combinations. Speaker adaptation performance is also examined by speaker's accent degree.


title: Cleartext Data Transmissions in Consumer IoT Medical Devices

abstract: This paper introduces a method to capture network traffic from medical IoT devices and automatically detect cleartext information that may reveal sensitive medical conditions and behaviors. The research follows a three-step approach involving traffic collection, cleartext detection, and metadata analysis. We analyze four popular consumer medical IoT devices, including one smart medical device that leaks sensitive health information in cleartext. We also present a traffic capture and analysis system that seamlessly integrates with a home network and offers a user-friendly interface for consumers to monitor and visualize data transmissions of IoT devices in their homes.


title: Coupled IEEE 802.11ac and TCP Goodput improvement using Aggregation and Reverse Direction

abstract: This paper suggests a new model for the transmission of TCP traffic over IEEE 802.11 using the new features of IEEE 802.11ac . The paper examines a first step in this direction and as such we first consider a single TCP connection, which is typical in a home environment. We show that when the IEEE 802.11ac MAC is aware of QoS TCP traffic, using Reverse Direction improves the TCP Goodput in tens of percentages compared to the traditional contention based channel access. In an error-free channel this improvement is 20% while in an error-prone channel the improvement reaches 60%, also using blind retransmission of frames. In our operation modes we also assume the use in Two-Level aggregation scheme, the ARQ protocol of the IEEE 802.11ac MAC layer and also assume the data rates and the four Access Categories defined in this standard.


title: Dayside magnetospheric and ionospheric responses to a foreshock transient on June 25, 2008: 2. 2-D evolution based on dayside auroral imaging

abstract: The foreshock region involves localized and transient structures such as foreshock cavities and hot flow anomalies due to solar wind-bow shock interactions, and foreshock transients have been shown to lead to magnetospheric and ionospheric responses. In this paper, the interaction between a foreshock transient and the magnetosphere-ionosphere system is investigated using dayside aurora imagers revealing structures and propagation in greater detail than previously possible. A foreshock transient was detected by THEMIS-B and C during 1535-1545 UT on June 25, 2008. THEMIS-A, D and E observed magnetopause compression, cold plasma enhancement and ULF waves in the dayside magnetosphere. The all-sky imager (ASI) at South Pole observed that both diffuse and discrete aurora brightened locally soon after the appearance of this foreshock transient. The diffuse aurora brightening, which corresponded to a region a few Re size in GSM-Y in the equatorial plane, propagated duskward with an average speed of ~100 km/s. Soon after the diffuse aurora brightened, discrete aurora also brightened and extended duskward, which was consistent with the motion of the foreshock transient as it swept through the magnetosheath while impacting the magnetopause. Equivalent horizontal currents measured by magnetometers revealed a pair of field-aligned currents (FACs) moving duskward consistent with motion of the discrete aurora patterns. We conclude that the high-resolution and two-dimensional observation of auroral responses by ground-based ASI can help to estimate the evolution and propagation of upstream foreshock transients and their substantial impacts on the magnetosphere-ionosphere coupling system, including magnetospheric compression and currents in the ionosphere.


title: Learning to Branch

abstract: Tree search algorithms, such as branch-and-bound, are the most widely used tools for solving combinatorial and nonconvex problems. For example, they are the foremost method for solving (mixed) integer programs and constraint satisfaction problems. Tree search algorithms recursively partition the search space to find an optimal solution. In order to keep the tree size small, it is crucial to carefully decide, when expanding a tree node, which question (typically variable) to branch on at that node in order to partition the remaining space. Numerous partitioning techniques (e.g., variable selection) have been proposed, but there is no theory describing which technique is optimal. We show how to use machine learning to determine an optimal weighting of any set of partitioning procedures for the instance distribution at hand using samples from the distribution. We provide the first sample complexity guarantees for tree search algorithm configuration. These guarantees bound the number of samples sufficient to ensure that the empirical performance of an algorithm over the samples nearly matches its expected performance on the unknown instance distribution. This thorough theoretical investigation naturally gives rise to our learning algorithm. Via experiments, we show that learning an optimal weighting of partitioning procedures can dramatically reduce tree size, and we prove that this reduction can even be exponential. Through theory and experiments, we show that learning to branch is both practical and hugely beneficial.


title: The Betti side of the double shuffle theory. I. The harmonic coproducts

abstract: This paper is the first in a series which aims at: (a) giving a proof that the associator relations between multizeta values imply the double shuffle and regularization (DSR) ones, alternative to that of the second-named author's 2010 paper; (b) enhancing Racinet's construction of a torsor structure over the Q-scheme of DSR relations to an explicit bitorsor structure. In this paper, we revisit Racinet's original DSR formalism, whose main character is an algebra coproduct, called the harmonic coproduct, and we introduce a variant which is a module coproduct; we explain the `de Rham' nature of this formalism and construct a `Betti' counterpart of it; we show how both formalisms can be interpreted in terms of geometry, following the ideas of Deligne and Terasoma's unfinished 2005 preprint; we use Bar-Natan's interpretation of associators as functors from the category of parenthesized braids to that of chord diagrams to show that any associator relates the Betti and de Rham geometric objects, both in the `algebraic' and in the `module' setups; we derive that any associator relates the Betti and de Rham algebra coproducts, as well as their module counterparts. These results will be used in the next parts of the series.


title: Mid-infrared optics using dielectrics with refractive indices below unity

abstract: Conventional transparent materials at optical frequencies have refractive index values (n) greater than unity -- most commonly between about 1 and 4. This paper explores optical phenomena made possible by using materials with refractive indices less than unity. We focus primarily on fused silica (SiO2), a polar dielectric with strong phonon resonances in the mid infrared that result in a spectral region in which n < 1 with modest optical loss. Using this ubiquitous easy-to-deposit material, we demonstrate infrared-frequency external reflection, frustrated external reflection, and direct coupling to surface plasmon polaritons from free space. Our work suggests that materials with refractive indices below unity can bring significant new functionality to optical devices.


title: Rigidity Properties for Hyperbolic Generalizations

abstract: We make a few observations on the absence of geometric and topological rigidity for acylindrically hyperbolic and relatively hyperbolic groups. In particular, we demonstrate the lack of a well-defined limit set for acylindrical actions on hyperbolic spaces, even under the assumption of universality. We also prove a statement about relatively hyperbolic groups inspired by a remark by Groves, Manning, and Sisto about the quasi-isometry type of combinatorial cusps. Finally, we summarize these results in a table in order to assert a meta-statement about the decay of metric rigidity as the conditions on actions on hyperbolic spaces are loosened.


title: Facets of Software Doping

abstract: This paper provides an informal discussion of the formal aspects of software doping.


title: Anisotropic scaling of the two-dimensional Ising model I: the torus

abstract: We present detailed calculations for the partition function and the free energy of the finite two-dimensional square lattice Ising model with periodic and antiperiodic boundary conditions, variable aspect ratio, and anisotropic couplings, as well as for the corresponding universal free energy finite-size scaling functions. Therefore, we review the dimer mapping, as well as the interplay between its topology and the different types of boundary conditions. As a central result, we show how both the finite system as well as the scaling form decay into contributions for the bulk, a characteristic finite-size part, and - if present - the surface tension, which emerges due to at least one antiperiodic boundary in the system. For the scaling limit we extend the proper finite-size scaling theory to the anisotropic case and show how this anisotropy can be absorbed into suitable scaling variables.

categories: cond-mat.stat-mech hep-th math-ph math.MP


title: Beyond Newton: a new root-finding fixed-point iteration for nonlinear equations

abstract: Finding roots of equations is at the heart of most computational science. A well-known and widely used iterative algorithm is the Newton's method. However, its convergence depends heavily on the initial guess, with poor choices often leading to slow convergence or even divergence. In this paper, we present a new class of methods that improve upon the classical Newton's method. The key idea behind the new approach is to develop a relatively simple multiplicative transformation of the original equations, which leads to a significant reduction in nonlinearities, thereby alleviating the limitations of the Newton's method. Based on this idea, we propose two novel classes of methods and present their application to several mathematical functions (real, complex, and vector). Across all examples, our numerical experiments suggest that the new methods converge for a significantly wider range of initial guesses with minimal increase in computational cost. Given the ubiquity of Newton's method, an improvement in its applicability and convergence is a significant step forward, and will reduce computation times several-folds across many disciplines. Additionally, this multiplicative transformation may improve other techniques where a linear approximation is used.


title: Covariant Effective Action for Antisymmetric Tensor Field

abstract: Covariant quantization of rank-2 antisymmetric fields is non-trivial due to additional symmetries of the gauge parameters. We present an intuitive way to deal with this additional symmetry of gauge parameters in terms of geometrical understanding of field space. We generalize the DeWitt-Vilkovisky covariant effective action formalism for quantization of such theories. As an application, we quantize a massive rank-2 antisymmetric field using the covariant effective action approach and reproduce previously obtained results.


title: End-to-End Learning of Driving Models with Surround-View Cameras and Route Planners

abstract: For human drivers, having rear and side-view mirrors is vital for safe driving. They deliver a more complete view of what is happening around the car. Human drivers also heavily exploit their mental map for navigation. Nonetheless, several methods have been published that learn driving models with only a front-facing camera and without a route planner. This lack of information renders the self-driving task quite intractable. We investigate the problem in a more realistic setting, which consists of a surround-view camera system with eight cameras, a route planner, and a CAN bus reader. In particular, we develop a sensor setup that provides data for a 360-degree view of the area surrounding the vehicle, the driving route to the destination, and low-level driving maneuvers (e.g. steering angle and speed) by human drivers. With such a sensor setup we collect a new driving dataset, covering diverse driving scenarios and varying weather/illumination conditions. Finally, we learn a novel driving model by integrating information from the surround-view cameras and the route planner. Two route planners are exploited: 1) by representing the planned routes on OpenStreetMap as a stack of GPS coordinates, and 2) by rendering the planned routes on TomTom Go Mobile and recording the progression into a video. Our experiments show that: 1) 360-degree surround-view cameras help avoid failures made with a single front-view camera, in particular for city driving and intersection scenarios; and 2) route planners help the driving task significantly, especially for steering angle prediction.


title: A hydrogen leak-tight, transparent cryogenic sample container for ultracold-neutron transmission measurements

abstract: The improvement of the number of extractable ultracold neutrons (UCNs) from converters based on solid deuterium (sD$_2$) crystals requires a good understanding of UCN transport and how the crystal's morphology influences its transparency to UCNs. Measurements of the UCN transmission through cryogenic liquids and solids of interest, such as hydrogen (H$_2$) and deuterium (D$_2$), require sample containers with thin, highly polished and optically transparent windows and a well defined sample thickness. One of the most difficult sealing problems is that of light gases like hydrogen and helium at low temperatures against a high vacuum. Here we report on the design of a sample container with two 1 mm thin amorphous silica windows cold-welded to aluminum clamps using indium wire gaskets, in order to form a simple, reusable and hydrogen-tight cryogenic seal. The container meets the above-mentioned requirements and withstands up to 2 bar hydrogen gas pressure against isolation vacuum in the range of $10^{-5}$ to $10^{-7}$ mbar at temperatures down to 4.5 K. Additionally, photographs of the crystallization process are shown and discussed.


title: A Ramsey theorem for biased graphs

abstract: A $biased\ graph$ is a pair $(G,\mathcal{B})$, where $G$ is a graph and $\mathcal{B}$ is a collection of `balanced' circuits of $G$ such that no $\Theta$-subgraph of $G$ contains precisely two balanced circuits. We prove a Ramsey-type theorem, showing that if $(G,\mathcal{B})$ is a biased graph which $G$ is a very large complete graph, then $G$ contains a large complete subgraph $H$ such that the set of balanced cycles within $H$ has one of three specific, highly symmetric structures, all of which can be described naturally via group-labellings.


title: Stein Points

abstract: An important task in computational statistics and machine learning is to approximate a posterior distribution $p(x)$ with an empirical measure supported on a set of representative points $\{x_i\}_{i=1}^n$. This paper focuses on methods where the selection of points is essentially deterministic, with an emphasis on achieving accurate approximation when $n$ is small. To this end, we present `Stein Points'. The idea is to exploit either a greedy or a conditional gradient method to iteratively minimise a kernel Stein discrepancy between the empirical measure and $p(x)$. Our empirical results demonstrate that Stein Points enable accurate approximation of the posterior at modest computational cost. In addition, theoretical results are provided to establish convergence of the method.


title: Reactor Neutrino Experiments: Present and Future

abstract: Reactor neutrinos have been an important tool for both discovery and precision measurement in the history of neutrino studies. Since the first generation of reactor neutrino experiments in the 1950s, the detector technology has been greatly advanced. New ideas, new knowledge, and modern software also enhanced the power of the experiments. The current reactor neutrino experiments, Daya Bay, Double Chooz, and RENO have led neutrino physics into the precision era. In this article, we will review these developments and accumulations, address the key issues in designing a state-of-art reactor neutrino experiment, and explain how the challenging requirements of determining the neutrino mass hierarchy with the next generation experiment JUNO could be realized in the near future.


title: Fermionic quantum detailed balance and entanglement

abstract: A definition of detailed balance tailored to a system of indistinguishable fermions is suggested and studied using an entangled fermionic state. This is done in analogy to a known characterization of standard quantum detailed balance with respect to a reversing operation.


title: Unveiling the remarkable photodissociation region of M8

abstract: Messier 8 is one of the brightest HII regions in the sky. Using SOFIA, APEX 12 m and IRAM 30 m telescopes, we have performed a comprehensive imaging survey of the emission from the [CII], [CI] and CO isotopologues within 1.3 $\times$ 1.3 pc around the dominant Herschel 36 (Her 36) stellar system. To further explore the morphology of the region we compare archival infrared, optical and radio images of the nebula with our newly obtained [CII] and CO data. We perform a quantitative analysis, using both LTE and non-LTE methods to determine the abundances of some of the observed species as well as kinetic temperatures and volume densities. Bright CO, [CII] and [CI] emission has been found towards the HII region and the photodissociation region (PDR) in M8. Our analysis places the bulk of the molecular material in the background of the nebulosity illuminated by the bright stellar systems Her 36 and 9 Sagitarii. Since the emission from all observed atomic and molecular tracers peaks at or close to the position of Her 36, we conclude that the star is still physically close to its natal dense cloud core and heats it. A veil of warm gas moves away from Her 36 toward the Sun and its associated dust contributes to the foreground extinction in the region. One of the most prominent star forming regions in M8, the Hourglass Nebula, is particularly bright due to cracks in this veil close to Her 36. By using radiative transfer modeling of different transitions of CO isotopologues, we obtain H$_{2}$ densities ranging from $\sim 10^{4} - 10^{6}$ cm$^{-3}$ and kinetic temperatures of 100 $-$ 150 K in the bright PDR caused by Her 36.


title: Mean Reflected Stochastic Differential Equations with Jumps

abstract: This paper is devoted to the study of reflected Stochastic Differential Equations with jumps when the constraint is not on the paths of the solution but acts on the law of the solution. This type of reflected equations have been introduced recently by Briand, Elie and Hu [BEH18] in the context of BSDEs, when no jumps occur. In [BCdRGL16], the authors study a numerical scheme based on particle systems to approximate these reflected SDEs. In this paper, we prove existence and uniqueness of solutions to this kind of reflected SDEs with jumps and we generalize the results obtained in [BCdRGL16] to this context.


title: Relativistic vortex electrons: paraxial versus non-paraxial regimes

abstract: A plane-wave approximation in particle physics implies that a width of a massive wave packet $\sigma_{\perp}$ is much larger than its Compton wavelength $\lambda_c = \hbar/mc$. For Gaussian beams or for packets with the non-singular phases (say, the Airy beams), corrections to this approximation are attenuated as $\lambda_c^2/\sigma_{\perp}^2 \ll 1$ and usually negligible. Here we show that this situation drastically changes for particles with the phase vortices associated with an orbital angular momentum $\ell\hbar$. For highly twisted beams with $|\ell| \gg 1$, the non-paraxial corrections get $|\ell|$ times enhanced and $|\ell|$ can already be as large as $10^3$. We describe the relativistic wave packets, both for vortex bosons and fermions, which transform correctly under the Lorentz boosts, are localized in a 3D space, and represent a non-paraxial generalization of the massive Laguerre-Gaussian beams. We compare such states with their paraxial counterpart paying specific attention to the relativistic effects and to the differences from the twisted photons. In particular, a Gouy phase is found to be Lorentz invariant and it generally depends on time rather than on a distance $z$. By calculating the electron packet's mean invariant mass, magnetic moment, etc., we demonstrate that the non-paraxial corrections can already reach the relative values of $10^{-3}$. These states and the non-paraxial effects can be relevant for the proper description of the spin-orbit phenomena in relativistic vortex beams, of scattering of the focused packets by atomic targets, of collision processes in particle and nuclear physics, and so forth.


title: The Poisson equation on manifolds with positive essential spectrum

abstract: We show existence of solutions to the Poisson equation on Riemannian manifolds with positive essential spectrum, assuming a sharp pointwise decay on the source function. In particular we can allow the Ricci curvature to be unbounded from below. In comparison with previous works, we can deal with a more general setting both on the spectrum and on the curvature bounds.


title: Quasi-solution of linear inverse problems in non-reflexive Banach spaces

abstract: We consider the method of quasi-solutions (also referred to as Ivanov regularization) for the regularization of linear ill-posed problems in non-reflexive Banach spaces. Using the equivalence to a metric projection onto the image of the forward operator, it is possible to show regularization properties and to characterize parameter choice rules that lead to a convergent regularization method, which includes the Morozov discrepancy principle. Convergence rates in a suitably chosen Bregman distance can be obtained as well. We also address the numerical computation of quasi-solutions to inverse source problems for partial differential equations in $L^\infty(\Omega)$ using a semismooth Newton method and a backtracking line search for the parameter choice according to the discrepancy principle. Numerical examples illustrate the behavior of quasi-solutions in this setting.


title: Probing, Quantifying and Freezing Coherence in a Thermal Ensemble of Atoms

abstract: Creating stable superposed states of matter is one of the most intriguing aspects of quantum physics, leading to a variety of counter-intuitive scenarios along with a possibility of restructuring the way we understand, process and communicate information. Accordingly, there has been a major research thrust in understanding and quantifying such coherent superposed states. Here we propose and experimentally explore a quantifier that captures effective coherent superposition of states in an atomic ensemble at room-temperature. The quantifier provides a direct measure of ground state coherence for electromagnetically induced transparency (EIT) along with distinct signature of transition from EIT to Autler-Townes splitting (ATS) regime in the ensemble. Using the quantifier as an indicator, we further demonstrate a mechanism to coherently control and freeze coherence by introducing an active decay compensation channel. In the growing pursuit of quantum systems at room-temperature, our results provide a unique way to phenomenologically quantify and coherently control coherence in atom-like systems.


title: A New Aggregation based Scheduling method for rapidly changing IEEE 802.11ac Wireless channels

abstract: In this paper we suggest a novel idea to improve the Throughput of a rapidly chang- ing WiFi channel by exploiting the standard aggregation schemes in IEEE 802.11ac networks, and by transmitting several copies of the same MPDU(s) in a single trans- mission attempt. We test this idea in scenarios where Link Adaptation is not used and show a significant improvement, in the order of tens of percents, in the achieved Throughput. Keywords


title: Coherent Spin Amplification Using a Beam Splitter

abstract: We report spin amplification using a capacitive beam splitter in n-type GaAs where the spin polarization is monitored via transverse electron focusing measurement. It is shown that partially spin-polarized current injected by the emitter can be precisely controlled and the spin polarization associated with it can be amplified by the beam splitter, such that a considerably high spin polarization of around 50% can be obtained. Additionally, the spin remains coherent as shown by the observation of quantum interference. Our results illustrate that spin polarization amplification can be achieved in materials without strong spin-orbit interaction.


title: Distributed Adaptive Sampling for Kernel Matrix Approximation

abstract: Most kernel-based methods, such as kernel or Gaussian process regression, kernel PCA, ICA, or $k$-means clustering, do not scale to large datasets, because constructing and storing the kernel matrix $\mathbf{K}_n$ requires at least $\mathcal{O}(n^2)$ time and space for $n$ samples. Recent works show that sampling points with replacement according to their ridge leverage scores (RLS) generates small dictionaries of relevant points with strong spectral approximation guarantees for $\mathbf{K}_n$. The drawback of RLS-based methods is that computing exact RLS requires constructing and storing the whole kernel matrix. In this paper, we introduce SQUEAK, a new algorithm for kernel approximation based on RLS sampling that sequentially processes the dataset, storing a dictionary which creates accurate kernel matrix approximations with a number of points that only depends on the effective dimension $d_{eff}(\gamma)$ of the dataset. Moreover since all the RLS estimations are efficiently performed using only the small dictionary, SQUEAK is the first RLS sampling algorithm that never constructs the whole matrix $\mathbf{K}_n$, runs in linear time $\widetilde{\mathcal{O}}(nd_{eff}(\gamma)^3)$ w.r.t. $n$, and requires only a single pass over the dataset. We also propose a parallel and distributed version of SQUEAK that linearly scales across multiple machines, achieving similar accuracy in as little as $\widetilde{\mathcal{O}}(\log(n)d_{eff}(\gamma)^3)$ time.


title: Derivative-Free Optimization of Noisy Functions via Quasi-Newton Methods

abstract: This paper presents a finite difference quasi-Newton method for the minimization of noisy functions. The method takes advantage of the scalability and power of BFGS updating, and employs an adaptive procedure for choosing the differencing interval $h$ based on the noise estimation techniques of Hamming (2012) and Mor\'e and Wild (2011). This noise estimation procedure and the selection of $h$ are inexpensive but not always accurate, and to prevent failures the algorithm incorporates a recovery mechanism that takes appropriate action in the case when the line search procedure is unable to produce an acceptable point. A novel convergence analysis is presented that considers the effect of a noisy line search procedure. Numerical experiments comparing the method to a function interpolating trust region method are presented.


title: A sufficient condition for the similarity of a polynomially bounded operator to a contraction

abstract: Let $T$ be a polynomially bounded operator, and let $\mathcal M$ be its invariant subspace. Suppose that $P_{\mathcal M^\perp}T|_{\mathcal M^\perp}$ is similar to a contraction, while $\theta(T|_{\mathcal M})=0$, where $\theta$ is a finite product of Blaschke products with simple zeros satisfying the Carleson interpolating condition (a Carleson--Newman Blaschke product). Then $T$ is similar to a contraction. It is mentioned that Le Merdy's example shows that the assumption of polynomially boundedness cannot be replaced by the assumption of power boundedness.


title: Representations of groups with CAT(0) fixed point property

abstract: We show that certain representations over fields with positive characteristic of groups having CAT(0) fixed point property ${\rm F}\mathcal{B}_{\widetilde{A}_n}$ have finite image. In particular, we obtain rigidity results for representations of the following groups: the special linear group over $\mathbb{Z}$, $SL_k(\mathbb{Z})$, the special automorphism group of a free group, ${\rm SAut}(F_k)$, the mapping class group of a closed orientable surface, ${\rm Mod}(\Sigma_g)$, and many other groups. In the case of characteristic zero we show that low dimensional complex representations of groups having CAT(0) fixed point property ${\rm F}\mathcal{B}_{\widetilde{A}_n}$ have finite image if they always have compact closure.


title: Almost sure, L_1- and L_2-growth behavior of supercritical multi-type continuous state and continuous time branching processes with immigration

abstract: Under a first order moment condition on the immigration mechanism, we show that an appropriately scaled supercritical and irreducible multi-type continuous state and continuous time branching process with immigration (CBI process) converges almost surely. If an $x \log(x)$ moment condition on the branching mechanism does not hold, then the limit is zero. If this $x \log(x)$ moment condition holds, then we prove $L_1$ convergence as well. The projection of the limit on any left non-Perron eigenvector of the branching mean matrix is vanishing. If, in addition, a suitable extra power moment condition on the branching mechanism holds, then we provide the correct scaling for the projection of a CBI process on certain left non-Perron eigenvectors of the branching mean matrix in order to have almost sure and $L_1$ limit. Moreover, under a second order moment condition on the branching and immigration mechanisms, we prove $L_2$ convergence of an appropriately scaled process and the above mentioned projections as well. A representation of the limits is also provided under the same moment conditions.


title: Guidelines Towards Better Participation of Older Adults in Software Development Processes using a new SPIRAL Method and Participatory Approach

abstract: This paper presents a new method of engaging older participants in the process of application and IT solutions development for older adults for emerging IT and tech startups. A new method called SPIRAL (Support for Participant Involvement in Rapid and Agile software development Labs) is proposed which adds both sustainability and flexibility to the development process with older adults. This method is based on the participatory approach and user empowerment of older adults with the aid of a bootstrapped Living Lab concept and it goes beyond well established user-centered and empathic design. SPIRAL provides strategies for direct involvement of older participants in the software development processes from the very early stage to support the agile approach with rapid prototyping, in particular in new and emerging startup environments with limited capabilities, including time, team and resources.


title: Search for top squarks decaying to tau sleptons in $pp$ collisions at $\sqrt{s}= 13$ TeV with the ATLAS detector

abstract: A search for direct pair production of top squarks in final states with two tau leptons, $b$-jets, and missing transverse momentum is presented. The analysis is based on proton-proton collision data at $\sqrt{s} = 13$ TeV corresponding to an integrated luminosity of 36.1 fb$^{-1}$ recorded with the ATLAS detector at the Large Hadron Collider in 2015 and 2016. Two exclusive channels with either two hadronically decaying tau leptons or one hadronically and one leptonically decaying tau lepton are considered. No significant deviation from the Standard Model predictions is observed in the data. The analysis results are interpreted in terms of model-independent limits and used to derive exclusion limits on the masses of the top squark $\tilde t_1$ and the tau slepton $\tilde \tau_1$ in a simplified model of supersymmetry with a nearly massless gravitino. In this model, masses up to $m(\tilde t_1) = 1.16$ TeV and $m(\tilde \tau_1) = 1.00$ TeV are excluded at 95% confidence level.


title: Integrals of groups

abstract: An $integral$ of a group $G$ is a group $H$ whose derived group (commutator subgroup) is isomorphic to $G$. This paper discusses integrals of groups, and in particular questions about which groups have integrals and how big or small those integrals can be. Our main results are: (1) If a finite group has an integral, then it has a finite integral. (2) A precise characterization of the set of natural numbers $n$ for which every group of order $n$ is integrable: these are the cubefree numbers $n$ which do not have prime divisors $p$ and $q$ with $q\mid p-1$. (3) An abelian group of order $n$ has an integral of order at most $n^{1+o(1)}$, but may fail to have an integral of order bounded by $cn$ for constant $c$. (4) A finite group can be integrated $n$ times (in the class of finite groups) if and only if it is the central product of an abelian group and a perfect group. There are many other results on such topics as centreless groups, groups with composition length $2$, and infinite groups. We also include a number of open problems.


title: Generalized vector space partitions

abstract: A vector space partition $\mathcal{P}$ in $\mathbb{F}_q^v$ is a set of subspaces such that every $1$-dimensional subspace of $\mathbb{F}_q^v$ is contained in exactly one element of $\mathcal{P}$. Replacing "every point" by "every $t$-dimensional subspace", we generalize this notion to vector space $t$-partitions and study their properties. There is a close connection to subspace codes and some problems are even interesting and unsolved for the set case $q=1$.


title: Degeneracy between nonadiabatic dark energy models and $\Lambda$CDM: ISW effect and the cross correlation of CMB with galaxy clustering data

abstract: As recently pointed out in Ref. [Phys.\ Rev.\ D {\bf 96}, 8, 083502 (2017)] the evolution of the linear matter perturbations in nonadiabatic dynamical dark energy models is almost indistinguishable (quasi-degenerated) to the standard $\Lambda$CDM scenario. In this work we extend this analysis to CMB observables in particular the integrated Sachs-Wolfe effect and its cross-correlation with large scale structure. We find that this feature persists for such CMB related observable reinforcing that new probes and analysis are necessary to reveal the nonadiabatic features in the dark energy sector.


title: Electronic stopping and proton dynamics in InP, GaP, and In$_{0.5}$Ga$_{0.5}$P from first principles

abstract: The phosphide-based III-V semiconductors InP, GaP, and In$_{0.5}$Ga$_{0.5}$P are promising materials for solar panels in outer space and radioisotope batteries, for which lifetime is a major issue. In order to understand high radiation tolerance of these materials and improve it further, it is necessary to describe the early stages of radiation damage on fast time and short length scales. In particular, the influence of atomic ordering, as observed e.g. in In$_{0.5}$Ga$_{0.5}$P, on electronic stopping is unknown.We use real-time time-dependent density functional theory and the adiabatic local density approximation to simulate electronic stopping of protons in InP, GaP, and the CuAu-I ordered phase of In$_{0.5}$Ga$_{0.5}$P across a large kinetic energy range.These results are compared to SRIM and we investigate the dependence on the channel of the projectile through the target.We show that stopping can be enhanced or reduced in In$_{0.5}$Ga$_{0.5}$P and explain this using the electron-density distribution. By comparing Ehrenfest and Born-Oppenheimer molecular dynamics, we illustrate the intricate dynamics of a proton on a channeling trajectory.


title: Quasi-Harnack inequality

abstract: In this paper we obtain some extensions of the classical Krylov-Safonov Harnack inequality. The novelty is that we consider functions that do not necessarily satisfy an infinitesimal equation but rather exhibit a two-scale behavior. We require that at scale larger than some $r_0>0$ (small) the functions satisfy the comparison principle with a standard family of quadratic polynomials, while at scale $r_0$ they satisfy a Weak Harnack type estimate. We also give several applications of the main result in very different settings such as discrete difference equations, nonlocal equations, homogenization and the quasi-minimal surfaces of Almgren.


title: A New Optimal Algorithm for Computing the Visibility Area of a simple Polygon from a Viewpoint

abstract: Given a simple polygon $ \mathcal {P} $ of $ n $ vertices in the Plane. We study the problem of computing the visibility area from a given viewpoint $ q $ inside $ \mathcal {P} $ where only sub-linear variables are allowed for working space. Without any memory-constrained, this problem was previously solved in $ O(n) $-time and $ O(n) $-variables space. In a newer research, the visibility area of a point be computed in $ O(n) $-time, using $ O(\sqrt{n}) $ variables for working space. In this paper, we present an optimal-time algorithm, using $ O(c/\log n) $ variables space for computing visibility area, where $ c<n $ is the number of critical vertices. We keep the algorithm in the linear-time and reduce space as much as possible.


title: Teleparallel Palatini theories

abstract: The Palatini formalism is developed for gravitational theories in flat geometries. We focus on two particularly interesting scenarios. First, we fix the connection to be metric compatible, but we follow a completely covariant approach by imposing the constraints with suitable Lagrange multipliers. For a general quadratic theory we show how torsion naturally propagates and we reproduce the Teleparallel Equivalent of General Relativity as a particular quadratic action that features an additional Lorentz symmetry. We then study the much less explored theories formulated in a geometry with neither curvature nor torsion, so that all the geometrical information is encoded in the non-metricity. We discuss how this geometrical framework leads to a purely inertial connection that can thus be completely removed by a coordinate gauge choice, the coincident gauge. From the quadratic theory we recover a simpler formulation of General Relativity in the form of the Einstein action, which enjoys an enhanced symmetry that reduces to a second linearised diffeomorphism at linear order. More general theories in both geometries can be formulated consistently by taking into account the inertial connection and the associated additional degrees of freedom. As immediate applications, the new cosmological equations and their Newtonian limit are considered, where the role of the lapse in the consistency of the equations is clarified, and the Schwarzschild black hole entropy is computed by evaluating the corresponding Euclidean action. We discuss how the boundary terms in the usual formulation of General Relativity are related to different choices of coordinates in its coincident version and show that in isotropic coordinates the Euclidean action is finite without the need to introduce boundary or normalisation terms.


title: Representations and properties of the W-weighted core-EP inverse

abstract: In this paper, we investigate the weighted core-EP inverse introduced by Ferreyra, Levis and Thome. Several computational representations of the weighted core-EP inverse are obtained in terms of singular-value decomposition, full-rank decomposition and QR decomposition. These representations are expressed in terms of various matrix powers as well as matrix product involving the core-EP inverse, Moore-Penrose inverse and usual matrix inverse. Finally, those representations involving only Moore-Penrose inverse are compared and analyzed via computational complexity and numerical examples.


title: Search for OH 18-cm radio emission from 1I/2017 U1 with the Green Bank telescope

abstract: This paper reports the first OH 18-cm line observation of the first detected interstellar object 1I/2017 U1 (`Oumuamua) using the Green Bank Telescope. We have observed the OH lines at 1665.402 MHz, 1667.359, and 1720.53 MHz frequencies with a spectral resolution of 357 Hz (approximately 0.06 km-s^{-1}). At the time of the observation, `Oumuamua was at topocentric distance and velocity of 1.07 au and 63.4 km-s^{-1}, respectively, or at heliocentric distance and velocity of 1.8 au and 39 km-s^{-1}, respectively. Based on a detailed data reduction and an analogy-based inversion, our final results confirm the asteroidal origin of `Oumuamua (as discussed in Meech et al., 2017) with an upper bound of OH production of Q[OH] < 0.17 x 10^{28} s^{-1}.


title: A Gribov-Zwanziger type action invariant under background gauge transformations

abstract: We propose a Gribov-Zwanziger type action for the Landau-DeWitt gauge that preserves, for any gauge group, the invariance under background gauge transformations. At zero temperature, and to one-loop accuracy, the model can be related to the Gribov no-pole condition. We apply the model to the deconfinement transition in SU(2) and SU(3) Yang-Mills theories and compare the predictions obtained with a single or with various (color dependent) Gribov parameters that can be introduced in the action without jeopardizing its background gauge invariance. The Gribov parameters associated to color directions orthogonal to the background can become negative, while keeping the background effective potential real. In some cases, the proper analysis of the transition requires the potential to be resolved in those regions.


title: MAC level Throughput comparison: 802.11ax vs. 802.11ac

abstract: In this paper we compare between the maximum Throughputs received in IEEE 802.11ax and IEEE 802.11ac in a scenario where a single user continuously transmits to another one. The comparison is done as a function of the Modulation/Coding scheme in use. In IEEE 802.11ax we consider two modes of operation where in one Acknowledgment frame up to 64 or 256 frames are acknowledged respectively. IEEE 802.11ax outperforms IEEE 802.11ac by at most 48% and 29% in unreliable and reliable channels respectively.


title: On a functional of Kobayashi for Higgs bundles

abstract: We define a functional ${\cal J}(h)$ for the space of Hermitian metrics on an arbitrary Higgs bundle over a compact K\"ahler manifold, as a natural generalization of the mean curvature energy functional of Kobayashi for holomorphic vector bundles \cite{Kobayashi}, and study some of its basic properties. We show that ${\cal J}(h)$ is bounded from below by a nonnegative constant depending on invariants of the Higgs bundle and the K\"ahler manifold, and that when achieved, its absolute minima are Hermite-Yang-Mills metrics. We derive a formula relating ${\cal J}(h)$ and another functional ${\cal I}(h)$, closely related to the Yang-Mills-Higgs functional \cite{Bradlow-Wilkin, Wentworth}, which can be thought of as an extension of a formula of Kobayashi for holomorphic vector bundles to the Higgs bundles setting. Finally, using 1-parameter families in the space of Hermitian metrics on a Higgs bundle, we compute the first variation of ${\cal J}(h)$, which is expressed as a certain $L^{2}$-Hermitian inner product. It follows that a Hermitian metric on a Higgs bundle is a critical point of ${\cal J}(h)$ if and only if the corresponding Hitchin--Simpson mean curvature is parallel with respect to the Hitchin--Simpson connection.


title: Point-like perturbed fractional Laplacians through shrinking potentials of finite range

abstract: We reconstruct the rank-one, singular (point-like) perturbations of the $d$-dimensional fractional Laplacian in the physically meaningful norm-resolvent limit of fractional Schr\"{o}dinger operators with regular potentials centred around the perturbation point and shrinking to a delta-like shape. We analyse both the possible regimes, the resonance-driven and the resonance-independent limit, depending on the power of the fractional Laplacian and the spatial dimension. To this aim, we also qualify the notion of zero-energy resonance for Schr\"{o}dinger operators formed by a fractional Laplacian and a regular potential.


title: The Definition of Entropy for Quantum Unstable Systems: A View-Point Based on the Properties of Gamow States

abstract: In this paper, we review the concept of entropy in connection with the description of quantum unstable systems. We revise the conventional definition of entropy due to Boltzmann and extend it so as to include the presence of complex-energy states. After introducing a generalized basis of states which includes resonances, and working with amplitudes instead of probabilities, we~found an expression for the entropy which exhibits real and imaginary components. We discuss the meaning of the imaginary part of the entropy on the basis of the similarities existing between thermal and time evolutions.


title: HDM-Net: Monocular Non-Rigid 3D Reconstruction with Learned Deformation Model

abstract: Monocular dense 3D reconstruction of deformable objects is a hard ill-posed problem in computer vision. Current techniques either require dense correspondences and rely on motion and deformation cues, or assume a highly accurate reconstruction (referred to as a template) of at least a single frame given in advance and operate in the manner of non-rigid tracking. Accurate computation of dense point tracks often requires multiple frames and might be computationally expensive. Availability of a template is a very strong prior which restricts system operation to a pre-defined environment and scenarios. In this work, we propose a new hybrid approach for monocular non-rigid reconstruction which we call Hybrid Deformation Model Network (HDM-Net). In our approach, deformation model is learned by a deep neural network, with a combination of domain-specific loss functions. We train the network with multiple states of a non-rigidly deforming structure with a known shape at rest. HDM-Net learns different reconstruction cues including texture-dependent surface deformations, shading and contours. We show generalisability of HDM-Net to states not presented in the training dataset, with unseen textures and under new illumination conditions. Experiments with noisy data and a comparison with other methods demonstrate robustness and accuracy of the proposed approach and suggest possible application scenarios of the new technique in interventional diagnostics and augmented reality.


title: Asymptotic symmetries of electromagnetism at spatial infinity

abstract: We analyse the asymptotic symmetries of Maxwell theory at spatial infinity through the Hamiltonian formalism. Precise, consistent boundary conditions are explicitly given and shown to be invariant under asymptotic angle-dependent $u(1)$-gauge transformations. These symmetries generically have non-vanishing charges. The algebra of the canonical generators of this infinite-dimensional symmetry with the Poincar\'e charges is computed. The treatment requires the addition of surface degrees of freedom at infinity and a modification of the standard symplectic form by surface terms. We extend the general formulation of well-defined generators and Hamiltonian vector fields to encompass such boundary modifications of the symplectic structure. Our study covers magnetic monopoles.


title: What we talk about when we talk about monads

abstract: Computer science provides an in-depth understanding of technical aspects of programming concepts, but if we want to understand how programming concepts evolve, how programmers think and talk about them and how they are used in practice, we need to consider a broader perspective that includes historical, philosophical and cognitive aspects. In this paper, we develop such broader understanding of monads, a programming concept that has an infamous formal definition, syntactic support in several programming languages and a reputation for being elegant and powerful, but also intimidating and difficult to grasp. This paper is not a monad tutorial. It will not tell you what a monad is. Instead, it helps you understand how computer scientists and programmers talk about monads and why they do so. To answer these questions, we review the history of monads in the context of programming and study the development through the perspectives of philosophy of science, philosophy of mathematics and cognitive sciences. More generally, we present a framework for understanding programming concepts that considers them at three levels: formal, metaphorical and implementation. We base such observations on established results about the scientific method and mathematical entities -- cognitive sciences suggest that the metaphors used when thinking about monads are more important than widely accepted, while philosophy of science explains how the research paradigm from which monads originate influences and restricts their use. Finally, we provide evidence for why a broader philosophical, sociological look at programming concepts should be of interest for programmers. It lets us understand programming concepts better and, fundamentally, choose more appropriate abstractions as illustrated in number of case studies that conclude the paper.


title: Ground state of dipolar hard spheres confined in channels

abstract: We investigate the ground state of a classical two-dimensional system of hard-sphere dipoles confined between two hard walls. Using lattice sum minimization techniques we reveal that at fixed wall separations, a first-order transition from a vacuum to a straight one-dimensional chain of dipoles occurs upon increasing the density. Further increase in the density yields the stability of an undulated chain as well as nontrivial buckling structures. We explore the close-packed configurations of dipoles in detail, and we find that, in general, the densest packings of dipoles possess complex magnetizations along the principal axis of the slit. Our predictions serve as a guideline for experiments with granular dipolar and magnetic colloidal suspensions confined in slit-like channel geometry.


title: PIE: A Domain-Specific Language for Interactive Software Development Pipelines

abstract: Context. Software development pipelines are used for automating essential parts of software engineering processes, such as build automation and continuous integration testing. In particular, interactive pipelines, which process events in a live environment such as an IDE, require timely results for low-latency feedback, and persistence to retain low-latency feedback between restarts. Inquiry. Developing an incrementalized and persistent version of a pipeline is one way to reduce feedback latency, but requires dependency tracking, cache invalidation, and other complicated techniques. Therefore, interactivity complicates pipeline development if timeliness and persistence become responsibilities of the pipeline programmer, rather than being supported by the underlying system. Approach. We develop Pipelines for Interactive Environments (PIE), a Domain-Specific Language (DSL), API, and runtime for developing interactive software development pipelines, where ease of development is a focus. Knowledge. PIE provides a straightforward programming model that enables direct and concise expression of pipelines without boilerplate, reducing the development and maintenance effort of pipelines. Compiled pipeline programs can be embedded into interactive environments such as code editors and IDEs, enabling timely feedback at a low cost. Grounding. Compared to the state of the art, PIE reduces the code required to express an interactive pipeline by a factor of 6 in a case study on syntax-aware editors. Furthermore, we evaluate PIE in two case studies of complex interactive software development scenarios, demonstrating that PIE can handle complex interactive pipelines in a straightforward and concise way.


title: Proactive Empirical Assessment of New Language Feature Adoption via Automated Refactoring: The Case of Java 8 Default Methods

abstract: Programming languages and platforms improve over time, sometimes resulting in new language features that offer many benefits. However, despite these benefits, developers may not always be willing to adopt them in their projects for various reasons. In this paper, we describe an empirical study where we assess the adoption of a particular new language feature. Studying how developers use (or do not use) new language features is important in programming language research and engineering because it gives designers insight into the usability of the language to create meaning programs in that language. This knowledge, in turn, can drive future innovations in the area. Here, we explore Java 8 default methods, which allow interfaces to contain (instance) method implementations. Default methods can ease interface evolution, make certain ubiquitous design patterns redundant, and improve both modularity and maintainability. A focus of this work is to discover, through a scientific approach and a novel technique, situations where developers found these constructs useful and where they did not, and the reasons for each. Although several studies center around assessing new language features, to the best of our knowledge, this kind of construct has not been previously considered. Despite their benefits, we found that developers did not adopt default methods in all situations. Our study consisted of submitting pull requests introducing the language feature to 19 real-world, open source Java projects without altering original program semantics. This novel assessment technique is proactive in that the adoption was driven by an automatic refactoring approach rather than waiting for developers to discover and integrate the feature themselves. In this way, we set forth best practices and patterns of using the language feature effectively earlier rather than later and are able to possibly guide (near) future language evolution. We foresee this technique to be useful in assessing other new language features, design patterns, and other programming idioms.


title: Harmonizing Signals and Events with a Lightweight Extension to Java

abstract: The current demands for seamless connections with the surrounding environment make software more reactive. For example, such demands are evident in systems consisting of the Internet of Things. Such systems include a set of reactive values that are periodically updated in response to external or internal events to form a dataflow in the sense that such updates are propagated to other reactive values. Two effective approaches for realizing such reactive values have been proposed: the event mechanisms in event-based programming and the signals in functional-reactive programming. These two approaches are now becoming mixed in several languages such as Flapjax and REScala, which makes these languages notably expressive for modularizing the implementation of reactive software. For example, REScala provides a rich API that consists of functions converting events to signals and vice versa. In this paper, we explore another, simpler approach in the design space of reactive programming languages: the event mechanism is harmonized with signals, resulting in a simplified programming interface that is mostly based on signals. Based on this approach, we realize SignalJ, a simple extension of Java with events and signals. Our notable findings are (1) an event can be represented as an update of a signal and (2) such an effectful signal can be represented using annotations instead of introducing types and constructors for signals to further simplify the language. Another contribution of this paper is the formal model of SignalJ. As both mechanisms of events and signals may interfere with each other, this mixing sometimes results in surprising behavior. For example, the functional behavior of signals is affected by the imperative features of events. Thus, understanding the formal model of this mixing is actually important. The core calculus, Featherweight SignalJ (FSJ), was developed as an extension of Featherweight Java, and proofs are provided to ensure the soundness of FSJ.


title: Live Multi-language Development and Runtime Environments

abstract: Context: Software development tools should work and behave consistently across different programming languages, so that developers do not have to familiarize themselves with new tooling for new languages. Also, being able to combine multiple programming languages in a program increases reusability, as developers do not have to recreate software frameworks and libraries in the language they develop in and can reuse existing software instead. Inquiry: However, developers often have a broad choice of tools, some of which are designed for only one specific programming language. Various Integrated Development Environments have support for multiple languages, but are usually unable to provide a consistent programming experience due to different language-specific runtime features. With regard to language integrations, common mechanisms usually use abstraction layers, such as the operating system or a network connection, which are often boundaries for tools and hence negatively affect the programming experience. Approach: In this paper, we present a novel approach for tool reuse that aims to improve the experience with regard to working with multiple high-level dynamic, object-oriented programming languages. As part of this, we build a multi-language virtual execution environment and reuse Smalltalk's live programming tools for other languages. Knowledge: An important part of our approach is to retrofit and align runtime capabilities for different languages as it is a requirement for providing consistent tools. Furthermore, it provides convenient means to reuse and even mix software libraries and frameworks written in different languages without breaking tool support. Grounding: The prototype system Squimera is an implementation of our approach and demonstrates that it is possible to reuse both development tools from a live programming system to improve the development experience as well as software artifacts from different languages to increase productivity. Importance: In the domain of polyglot programming systems, most research has focused on the integration of different languages and corresponding performance optimizations. Our work, on the other hand, focuses on tooling and the overall programming experience.


title: Fast, Flexible, Polyglot Instrumentation Support for Debuggers and other Tools

abstract: Context: Software development tools that interact with running programs such as debuggers, profilers, and dynamic analysis frameworks are presumed to demand difficult tradeoffs among implementation complexity (cost), functionality, usability, and performance. Among the many consequences, tools are often delivered late (if ever), have limited functionality, require non-standard configurations, and impose serious performance costs on running programs. Inquiry: Can flexible tool support become a practical, first class, intrinsic requirement for a modern highperformance programming language implementation framework? Approach: We extended the Truffle Language Implementation Framework, which together with the GraalVM execution environment makes possible very high performance language implementations. Truffle's new Instrumentation Framework is language-agnostic and designed to derive high performance from the same technologies as do language implementations. Truffle Instrumentation includes: (1) low overhead capture of execution events by dynamically adding "wrapper" nodes to executing ASTs; (2) extensions to the Language Implementation Framework that allow per-language specialization, primarily for visual display of values and names, among others; and (3) versatile APIs and support services for implementing many kinds of tools without VM modification. Knowledge: It is now possible for a client in a production environment to insert (dynamically, with thread safety) an instrumentation probe that captures and reports abstractly specified execution events. A probe in fully optimized code imposes very low overhead until actually used to access (or modify) execution state. Event capture has enabled construction of numerous GraalVM services and tools that work for all implemented languages, either singly or in combination. Instrumentation has also proved valuable for implementing some traditionally tricky language features, as well as some GraalVM services such as placing bounds on resources consumed by running programs. Grounding: Tools for debugging (via multiple clients), profiling, statement counting, dynamic analysis, and others are now part of GraalVM or are in active development. Third parties have also used Truffle Instrumentation for innovative tool implementations. Importance: Experience with Truffle Instrumentation validates the notion that addressing developer tools support as a forethought can change expectations about the availability of practical, efficient tools for high-performance languages. Tool development becomes a natural part of language implementation, requiring little additional effort and offering the advantage of early and continuous availability.


title: Language-integrated provenance in Haskell

abstract: Scientific progress increasingly depends on data management, particularly to clean and curate data so that it can be systematically analyzed and reused. A wealth of techniques for managing and curating data (and its provenance) have been proposed, largely in the database community. In particular, a number of influential papers have proposed collecting provenance information explaining where a piece of data was copied from, or what other records were used to derive it. Most of these techniques, however, exist only as research prototypes and are not available in mainstream database systems. This means scientists must either implement such techniques themselves or (all too often) go without. This is essentially a code reuse problem: provenance techniques currently cannot be implemented reusably, only as ad hoc, usually unmaintained extensions to standard databases. An alternative, relatively unexplored approach is to support such techniques at a higher abstraction level, using metaprogramming or reflection techniques. Can advanced programming techniques make it easier to transfer provenance research results into practice? We build on a recent approach called language-integrated provenance, which extends language-integrated query techniques with source-to-source query translations that record provenance. In previous work, a proof of concept was developed in a research programming language called Links, which supports sophisticated Web and database programming. In this paper, we show how to adapt this approach to work in Haskell building on top of the Database-Supported Haskell (DSH) library. Even though it seemed clear in principle that Haskell's rich programming features ought to be sufficient, implementing language-integrated provenance in Haskell required overcoming a number of technical challenges due to interactions between these capabilities. Our implementation serves as a proof of concept showing how this combination of metaprogramming features can, for the first time, make data provenance facilities available to programmers as a library in a widely-used, general-purpose language. In our work we were successful in implementing forms of provenance known as where-provenance and lineage. We have tested our implementation using a simple database and query set and established that the resulting queries are executed correctly on the database. Our implementation is publicly available on GitHub. Our work makes provenance tracking available to users of DSH at little cost. Although Haskell is not widely used for scientific database development, our work suggests which languages features are necessary to support provenance as library. We also highlight how combining Haskell's advanced type programming features can lead to unexpected complications, which may motivate further research into type system expressiveness.


title: Spontaneous symmetry breaking and trapping of temporal Kerr cavity solitons by pulsed or amplitude modulated driving fields

abstract: We report on a systematic study of temporal Kerr cavity soliton dynamics in the presence of pulsed or amplitude modulated driving fields. In stark contrast to the more extensively studied case of phase modulations, we find that Kerr cavity solitons are not always attracted to maxima or minima of driving field amplitude inhomogeneities. Instead, we find that the solitons are attracted to temporal positions associated with specific driving field values that depend only on the cavity detuning. We describe our findings in light of a spontaneous symmetry breaking instability that physically ensues from a competition between coherent driving and nonlinear propagation effects. In addition to identifying a new type of Kerr cavity soliton behaviour, our results provide valuable insights to practical cavity configurations employing pulsed or amplitude modulated driving fields.


title: Gravitational waves from quasinormal modes of a class of Lorentzian wormholes

abstract: Quasinormal modes of a two-parameter family of Lorentzian wormhole spacetimes, which arise as solutions in a specific scalar-tensor theory associated with braneworld gravity, are obtained using standard numerical methods. Being solutions in a scalar-tensor theory, these wormholes can exist with matter satisfying the Weak Energy Condition. If one posits that the end-state of stellar-mass binary black hole mergers, of the type observed in GW150914, can be these wormholes, then we show how their properties can be measured from their distinct signatures in the gravitational waves emitted by them as they settle down in the post-merger phase from an initially perturbed state. We propose that their scalar quasinormal modes correspond to the so-called breathing modes, which normally arise in gravitational wave solutions in scalar-tensor theories. We show how the frequency and damping time of these modes depend on the wormhole parameters, including its mass. We derive the mode solutions and use them to determine how one can measure those parameters when these wormholes are the endstate of binary black hole mergers. Specifically, we find that if a breathing mode is observed in LIGO-like detectors with design sensitivity, and has a maximum amplitude equal to that of the tensor mode that was observed of GW150914, then for a range of values of the wormhole parameters, we will be able to discern it from a black hole. If in future observations we are able to confirm the existence of such wormholes, we would, at one go, have some indirect evidence of a modified theory of gravity as well as extra spatial dimensions.


title: VIOLA - A multi-purpose and web-based visualization tool for neuronal-network simulation output

abstract: Neuronal network models and corresponding computer simulations are invaluable tools to aid the interpretation of the relationship between neuron properties, connectivity and measured activity in cortical tissue. Spatiotemporal patterns of activity propagating across the cortical surface as observed experimentally can for example be described by neuronal network models with layered geometry and distance-dependent connectivity. The interpretation of the resulting stream of multi-modal and multi-dimensional simulation data calls for integrating interactive visualization steps into existing simulation-analysis workflows. Here, we present a set of interactive visualization concepts called views for the visual analysis of activity data in topological network models, and a corresponding reference implementation VIOLA (VIsualization Of Layer Activity). The software is a lightweight, open-source, web-based and platform-independent application combining and adapting modern interactive visualization paradigms, such as coordinated multiple views, for massively parallel neurophysiological data. For a use-case demonstration we consider spiking activity data of a two-population, layered point-neuron network model subject to a spatially confined excitation originating from an external population. With the multiple coordinated views, an explorative and qualitative assessment of the spatiotemporal features of neuronal activity can be performed upfront of a detailed quantitative data analysis of specific aspects of the data. Furthermore, ongoing efforts including the European Human Brain Project aim at providing online user portals for integrated model development, simulation, analysis and provenance tracking, wherein interactive visual analysis tools are one component. Browser-compatible, web-technology based solutions are therefore required. Within this scope, with VIOLA we provide a first prototype.


title: Crowding induces entropically-driven changes to DNA dynamics that depend on crowder structure and ionic conditions

abstract: Macromolecular crowding plays a principal role in a wide range of biological processes including gene expression, chromosomal compaction, and viral infection. However, the impact that crowding has on the dynamics of nucleic acids remains a topic of debate. To address this problem, we use single-molecule fluorescence microscopy and custom particle-tracking algorithms to investigate the impact of varying macromolecular crowding conditions on the transport and conformational dynamics of large DNA molecules. Specifically, we measure the mean-squared center-of-mass displacements, as well as the conformational size, shape, and fluctuations, of individual 115 kbp DNA molecules diffusing through various in vitro solutions of crowding polymers. We determine the role of crowder structure and concentration, as well as ionic conditions, on the diffusion and configurational dynamics of DNA. We find that branched, compact crowders (10 kDa PEG, 420 kDa Ficoll) drive DNA to compact, whereas linear, flexible crowders (10 kDa, 500 kDa dextran) cause DNA to elongate. Interestingly, the extent to which DNA mobility is reduced by increasing crowder concentrations appears largely insensitive to crowder structure (branched vs linear), despite the highly different configurations DNA assumes in each case. We also characterize the role of ionic conditions on crowding-induced DNA dynamics. We show that both DNA diffusion and conformational size exhibit an emergent non-monotonic dependence on salt concentration that is not seen in the absence of crowders.


title: Numerical generation of vector potentials from specified magnetic fields

abstract: Many codes have been developed to study highly relativistic, magnetized flows around and inside compact objects. Depending on the adopted formalism, some of these codes evolve the vector potential $\mathbf{A}$, and others evolve the magnetic field $\mathbf{B}=\nabla\times\mathbf{A}$ directly. Given that these codes possess unique strengths, sometimes it is desirable to start a simulation using a code that evolves $\mathbf{B}$ and complete it using a code that evolves $\mathbf{A}$. Thus transferring the data from one code to another would require an inverse curl algorithm. This paper describes two new inverse curl techniques in the context of Cartesian numerical grids: a cell-by-cell method, which scales approximately linearly with the numerical grid, and a global linear algebra approach, which has worse scaling properties but is generally more robust (e.g., in the context of a magnetic field possessing some nonzero divergence). We demonstrate these algorithms successfully generate smooth vector potential configurations in challenging special and general relativistic contexts.


title: Free nilpotent groups are C*-superrigid

abstract: The free nilpotent group $G_{m,n}$ of class $m$ and rank $n$ is the free object on $n$ generators in the category of nilpotent groups of class at most $m$. We show that $G_{m,n}$ can be recovered from its reduced group $C^*$-algebra, in the sense that if $H$ is any group such that $C^*_r(H)$ is isomorphic to $C^*_r(G_{m,n})$, then $H$ must be isomorphic to $G_{m,n}$.


title: A graded pullback structure of Leavitt path algebras of trimmable graphs

abstract: Motivated by recent results in graph C*-algebras concerning an equivariant pushout structure of the Vaksman-Soibelman quantum odd spheres, we introduce a class of graphs called trimmable. Then we show that the Leavitt path algebra of a trimmable graph is graded-isomorphic to a pullback algebra of simpler Leavitt path algebras and their tensor products.


title: Towards a framework for testing general relativity with extreme-mass-ratio-inspiral observations

abstract: Extreme-mass-ratio-inspiral observations from future space-based gravitational-wave detectors such as LISA will enable strong-field tests of general relativity with unprecedented precision, but at prohibitive computational cost if existing statistical techniques are used. In one such test that is currently employed for LIGO black-hole binary mergers, generic deviations from relativity are represented by $N$ deformation parameters in a generalised waveform model; the Bayesian evidence for each of its $2^N$ combinatorial submodels is then combined into a posterior odds ratio for modified gravity over relativity in a null-hypothesis test. We adapt and apply this test to a generalised model for extreme-mass-ratio inspirals constructed on deformed black-hole spacetimes, and focus our investigation on how computational efficiency can be increased through an evidence-free method of model selection. This method is akin to the algorithm known as product-space Markov chain Monte Carlo, but uses nested sampling and improved error estimates from a rethreading technique. We perform benchmarking and robustness checks for the method, and find order-of-magnitude computational gains over regular nested sampling in the case of synthetic data generated from the null model.


title: Theory of combustion in disordered media

abstract: The conventional theory of combustion describes systems where all of the parameters are spatially homogeneous. On the other hand, combustion in disordered explosives has long been known to occur after local regions of the material, called "hot spots", are ignited. In this article we show that a system of randomly distributed hot spots exhibits a dynamic phase transition, which, depending on parameters of the system can be either first or second order. These two regimes are separated by a tri-critical point. We also show that on the qualitative level the phase diagram of the system is universal. It is valid in two and three dimensions, in the cases when the hot spots interact either by heat or sound waves and in a broad range of microscopic disorder models.


title: Local condensate depletion at trap center under strong interactions

abstract: Cold trapped Bose-condensed atoms, interacting via hard-sphere repulsive potentials are considered. Simple mean-field approximations show that the condensate distribution inside a harmonic trap always has the shape of a hump with the maximum condensate density occurring at the trap center. However Monte Carlo simulations at high density and strong interactions display the condensate depletion at the trap center. The explanation of this effect of local condensate depletion at trap center is suggested in the frame of self-consistent theory of Bose-condensed systems. The depletion is shown to be due to the existence of the anomalous average that takes into account pair correlations and appears in systems with broken gauge symmetry.