title: Storage or No Storage: Duopoly Competition Between Renewable Energy Suppliers in a Local Energy Market

abstract: This paper studies the duopoly competition between renewable energy suppliers with or without energy storage in a local energy market. The storage investment brings the benefits of stabilizing renewable energy suppliers' outputs, but it also leads to substantial investment costs as well as some surprising changes in the market outcome. To study the equilibrium decisions of storage investment in the renewable energy suppliers' competition, we model the interactions between suppliers and consumers using a three-stage game-theoretic model. In Stage I, at the beginning of the investment horizon, suppliers decide whether to invest in storage. Once such decisions have been made, in the day-ahead market of each day, suppliers decide on their bidding prices and quantities in Stage II, based on which consumers decide the electricity quantity purchased from each supplier in Stage III. In the real-time market, a supplier is penalized if his actual generation falls short of his commitment. We characterize a price-quantity competition equilibrium of Stage II, and we further characterize a storage-investment equilibrium in Stage I incorporating electricity-selling revenue and storage cost. Counter-intuitively, we show that the uncertainty of renewable energy without storage investment can lead to higher supplier profits compared with the stable generations with storage investment due to the reduced market competition under random energy generation. Simulations further illustrate results due to the market competition. For example, a higher penalty for not meeting the commitment, a higher storage cost, or a lower consumer demand can sometimes increase a supplier's profit. We also show that although storage investment can increase a supplier 's profit, the first-mover supplier who invests in storage may benefit less than the free-rider competitor who chooses not to invest.


title: Massive deformations of Maass forms and Jacobi forms

abstract: We define one-parameter "massive" deformations of Maass forms and Jacobi forms. This is inspired by descriptions of plane gravitational waves in string theory. Examples include massive Green's functions (that we write in terms of Kronecker-Eisenstein series) and massive modular graph functions.


title: Numerical and Fitting Approach for Investigation of the Schr\"odinger Equation for Flat Potentials

abstract: In this study, the Schrodinger equation for flat potentials through the pseudo-perspective method is investigated.


title: Deep Neural Network Compression for Image Classification and Object Detection

abstract: Neural networks have been notorious for being computationally expensive. This is mainly because neural networks are often over-parametrized and most likely have redundant nodes or layers as they are getting deeper and wider. Their demand for hardware resources prohibits their extensive use in embedded devices and puts restrictions on tasks like real-time image classification or object detection. In this work, we propose a network-agnostic model compression method infused with a novel dynamical clustering approach to reduce the computational cost and memory footprint of deep neural networks. We evaluated our new compression method on five different state-of-the-art image classification and object detection networks. In classification networks, we pruned about 95% of network parameters. In advanced detection networks such as YOLOv3, our proposed compression method managed to reduce the model parameters up to 59.70% which yielded 110X less memory without sacrificing much in accuracy.


title: Unconventional co-existence of insulating nano-regions and conducting filaments in reduced SrTiO3: mode softening, local piezoelectricity and metallicity

abstract: Doped SrTiO3 becomes a metal at extremely low doping concentrations n and is even superconducting with the superconducting transition temperature adopting a dome-like shape with the carrier concentration. It is shown here within the polarizability model that up to a well-defined carrier concentration transverse optic mode softening takes place together with polar nano-domain formation which evidences inhomogeneity and a two-component type behavior with metallicity coexisting with polarity. Beyond this region a conventional metal is formed where superconductivity as well as mode softening is absent. For this regime the effective electron-phonon coupling follows the superconducting transition temperature. Effusion measurements as well as macroscopic and nanoscopic conductivity measurements indicate that the distribution of oxygen vacancies is local and inhomogeneous from which it is concluded that metallicity stems from filaments which are embedded in a polar matrix as long as the carrier concentration is less than the critical one.


title: Optimizing Geometric Multigrid Methods with Evolutionary Computation

abstract: For many linear and nonlinear systems that arise from the discretization of partial differential equations the construction of an efficient multigrid solver is a challenging task. Here we present a novel approach for the optimization of geometric multigrid methods that is based on evolutionary computation, a generic program optimization technique inspired by the principle of natural evolution. A multigrid solver is represented as a tree of mathematical expressions which we generate based on a tailored grammar. The quality of each solver is evaluated in terms of convergence and compute performance using automated local Fourier analysis (LFA) and roofline performance modeling, respectively. Based on these objectives a multi-objective optimization is performed using strongly typed genetic programming with a non-dominated sorting based selection. To evaluate the model-based prediction and to target concrete applications, scalable implementations of an evolved solver can be automatically generated with the ExaStencils framework. We demonstrate our approach by constructing multigrid solvers for the steady-state heat equation with constant and variable coefficients that consistently perform better than common V- and W-cycles.


title: Modeling and Analysis of Heterogeneous Traffic Networks with Anarchists and Socialist Traffic

abstract: In this paper, we consider a heterogeneous traffic network with multiple users classes which differ considerably in their path selection objective. In particular, we consider two classes of users: ones who seek to minimize social cost (socialists) and the ones with typical greedy objective (anarchists) which leads to a heterogeneous game termed as HetGame. The paper proposes an analytical framework to derive optimal/equilibrium flow in such a heterogeneous game along with a method for the same. The paper considers multiple examples of different networks to derive the optimal traffic assignment. We introduce two metrics: price of $\alpha$ anarchy and price of good behavior to evaluate the impact of anarchists and implications of central directives. Finally, the proposed algorithm is implemented for a real traffic network to derive insights.


title: Variable step mollifiers and applications

abstract: We consider a mollifying operator with variable step that, in contrast to the standard mollification, is able to preserve the boundary values of functions. We prove boundedness of the operator in all basic Lebesgue, Sobolev and BV spaces as well as corresponding approximation results. The results are then applied to extend recently developed theory concerning the density of convex intersections.


title: The Scattering Map on Oppenheimer--Snyder Spacetime

abstract: In this paper we analyse the boundedness of solutions $\phi$ of the wave equation in the Oppenheimer--Snyder model of gravitational collapse in both the case of a reflective dust cloud and a permeating dust cloud. We then proceed to define the scattering map on this space-time, and look at the implications of our boundedness results on this scattering map. Specifically, it is shown that the energy of $\phi$ remains uniformly bounded going forward in time and going backwards in time for both the reflective and the permeating cases, and it is then shown that the scattering map is bounded going forwards, but not backwards, and is therefore not surjective onto the space of finite energy on $\mathcal{I}^+\cup\mathcal{H}^+$. Thus there does not exist a backwards scattering map from finite energy radiation fields on $\mathcal{I}^+\cup\mathcal{H}^+$ to finite energy radiation fields on $\mathcal{I}^-$. We will then contrast this with the situation for scattering in pure Schwarzschild.


title: Enumerating extensions of mutually orthogonal Latin squares

abstract: Two $n \times n$ Latin squares $L_1, L_2$ are said to be orthogonal if, for every ordered pair $(x,y)$ of symbols, there are coordinates $(i,j)$ such that $L_1(i,j) = x$ and $L_2(i,j) = y$. A $k$-MOLS is a sequence of $k$ pairwise-orthogonal Latin squares, and the existence and enumeration of these objects has attracted a great deal of attention. Recent work of Keevash and Luria provides, for all fixed $k$, log-asymptotically tight bounds on the number of $k$-MOLS. To study the situation when $k$ grows with $n$, we bound the number of ways a $k$-MOLS can be extended to a $(k+1)$-MOLS. These bounds are again tight for constant $k$, and allow us to deduce upper bounds on the total number of $k$-MOLS for all $k$. These bounds are close to tight even for $k$ linear in $n$, and readily generalize to the broader class of gerechte designs, which include Sudoku squares.


title: On Leveraging the Visual Modality for Neural Machine Translation

abstract: Leveraging the visual modality effectively for Neural Machine Translation (NMT) remains an open problem in computational linguistics. Recently, Caglayan et al. posit that the observed gains are limited mainly due to the very simple, short, repetitive sentences of the Multi30k dataset (the only multimodal MT dataset available at the time), which renders the source text sufficient for context. In this work, we further investigate this hypothesis on a new large scale multimodal Machine Translation (MMT) dataset, How2, which has 1.57 times longer mean sentence length than Multi30k and no repetition. We propose and evaluate three novel fusion techniques, each of which is designed to ensure the utilization of visual context at different stages of the Sequence-to-Sequence transduction pipeline, even under full linguistic context. However, we still obtain only marginal gains under full linguistic context and posit that visual embeddings extracted from deep vision models (ResNet for Multi30k, ResNext for How2) do not lend themselves to increasing the discriminativeness between the vocabulary elements at token level prediction in NMT. We demonstrate this qualitatively by analyzing attention distribution and quantitatively through Principal Component Analysis, arriving at the conclusion that it is the quality of the visual embeddings rather than the length of sentences, which need to be improved in existing MMT datasets.


title: Pion-induced production of $\Lambda(1520)$ hyperons on nuclei near threshold

abstract: We study the pion-induced inclusive $\Lambda(1520)$ hyperon production from nuclei near threshold within a nuclear spectral function approach accounting for incoherent primary $\pi^-$ meson--proton ${\pi^-}p \to K^0\Lambda(1520)$ production processes. We calculate the absolute differential and total cross sections for the production of $\Lambda(1520)$ hyperons off carbon and tungsten nuclei at laboratory angles of 0$^{\circ}$--10$^{\circ}$, 10$^{\circ}$--45$^{\circ}$ and 45$^{\circ}$--85$^{\circ}$ by $\pi^-$ mesons with momentum of 1.7 GeV/c as well as their relative (transparency ratio) differential and integral yields from these nuclei within four scenarios for their total in-medium width. We demonstrate that these absolute observables, contrary to the relative ones, reveal some sensitivity to the $\Lambda(1520)$ in-medium width. Therefore, their measurement in a dedicated experiment at the GSI pion beam facility will allow to shed light on this width.


title: Transfer of characters in the theta correspondence with one compact member

abstract: For an irreducible dual pair $(G, G') \in Sp(W)$ with one member compact and two representations $\Pi \leftrightarrow \Pi'$ appearing in the Howe duality, we give an expression of the character $\Theta_{\Pi'}$ of $\Pi'$ via the character of $\Pi$. We make computations for the dual pair $(G = U(n, \mathbb{C}), G' = U(p, q, \mathbb{C}))$, which are explicit in low dimensions. For $(G = U(1, \mathbb{C}), G' = U(1, 1, \mathbb{C}))$, we verify directly a result of H. Hecht saying that the character has the same value on both Cartan subgroups of $G'$.


title: Stochastic Bandits with Delay-Dependent Payoffs

abstract: Motivated by recommendation problems in music streaming platforms, we propose a nonstationary stochastic bandit model in which the expected reward of an arm depends on the number of rounds that have passed since the arm was last pulled. After proving that finding an optimal policy is NP-hard even when all model parameters are known, we introduce a class of ranking policies provably approximating, to within a constant factor, the expected reward of the optimal policy. We show an algorithm whose regret with respect to the best ranking policy is bounded by $\widetilde{\mathcal{O}}\big(\!\sqrt{kT}\big)$, where $k$ is the number of arms and $T$ is time. Our algorithm uses only $\mathcal{O}\big(k\ln\ln T\big)$ switches, which helps when switching between policies is costly. As constructing the class of learning policies requires ordering the arms according to their expectations, we also bound the number of pulls required to do so. Finally, we run experiments to compare our algorithm against UCB on different problem instances.


title: Algorithmic Probability-guided Supervised Machine Learning on Non-differentiable Spaces

abstract: We show how complexity theory can be introduced in machine learning to help bring together apparently disparate areas of current research. We show that this new approach requires less training data and is more generalizable as it shows greater resilience to random attacks. We investigate the shape of the discrete algorithmic space when performing regression or classification using a loss function parametrized by algorithmic complexity, demonstrating that the property of differentiation is not necessary to achieve results similar to those obtained using differentiable programming approaches such as deep learning. In doing so we use examples which enable the two approaches to be compared (small, given the computational power required for estimations of algorithmic complexity). We find and report that (i) machine learning can successfully be performed on a non-smooth surface using algorithmic complexity; (ii) that parameter solutions can be found using an algorithmic-probability classifier, establishing a bridge between a fundamentally discrete theory of computability and a fundamentally continuous mathematical theory of optimization methods; (iii) a formulation of an algorithmically directed search technique in non-smooth manifolds can be defined and conducted; (iv) exploitation techniques and numerical methods for algorithmic search to navigate these discrete non-differentiable spaces can be performed; in application of the (a) identification of generative rules from data observations; (b) solutions to image classification problems more resilient against pixel attacks compared to neural networks; (c) identification of equation parameters from a small data-set in the presence of noise in continuous ODE system problem, (d) classification of Boolean NK networks by (1) network topology, (2) underlying Boolean function, and (3) number of incoming edges.


title: Nielsen Equivalence in Fuchsian groups

abstract: In this paper we give a complete classification of minimal generating systems in a very general class of Fuchsian groups G. This class includes for example any G which has at least seven non-conjugate cyclic subgroups of order greater than 2. In particular, the well known problematic cases where G has characteristic exponents equal to 2 are not excluded. We classify generating systems up to Nielsen equivalence; this notion is strongly related to Heegaard splittings of 3-manifolds. The results of this paper provide in particular the tools for a rather general extension of previous work of the authors and others, on the isotopy classification of such splittings in Seifert fibered spaces.


title: Negative Sampling in Variational Autoencoders

abstract: Modern deep artificial neural networks have achieved great success in the domain of computer vision and beyond. However, their application to many real-world tasks is undermined by certain limitations, such as overconfident uncertainty estimates on out-of-distribution data or performance deterioration under data distribution shifts. Several types of deep learning models used for density estimation through probabilistic generative modeling have been shown to fail to detect out-of-distribution samples by assigning higher likelihoods to anomalous data. We investigate this failure mode in Variational Autoencoder models, which are also prone to this, and improve upon the out-of-distribution generalization performance of the model by employing an alternative training scheme utilizing negative samples. We present a fully unsupervised version: when the model is trained in an adversarial manner, the generator's own outputs can be used as negative samples. We demonstrate empirically the effectiveness of the approach in reducing the overconfident likelihood estimates of out-of-distribution inputs on image data.


title: Plane-wave many-body corrections to the conductance in bulk tunnel junctions

abstract: The conductance of bulk metal--insulator--metal junctions is evaluated by the Landauer formula using an \textit{ab initio} electronic structure calculated using a plane-waves basis set within density-functional theory (DFT) and beyond, i.e.\ including exact non-local exchange using hybrid functional (HSE) or many-body $G_0W_0$ and COHSEX quasiparticle (QP) schemes. We consider an Ag/MgO/Ag heterostructure model and we focus on the evolution of the zero-bias conductance as a function of the MgO film thickness. Our study shows that the correction of the electronic structure beyond semi-local density functionals goes in the right direction to improve the agreement with experiments, significantly reducing the zero-bias conductance. This effect becomes more evident at larger MgO thickness, that is in increasing tunneling regime. We also observe that the reduction of the conductance seems more related to the correction of wavefunctions rather than energies, and thus not directly related to the correction of the band-gap of bulk MgO. $G_0W_0$ and HSE both provide a correct band-gap in agreement with experiments, but only HSE gives a significant reduction of the conductance. COHSEX, while overestimating the band-gap, gives a reduction of the conductance very close to HSE.


title: Electric fluid to electric current: The problematic attempts of abstraction to concretization

abstract: In ancient times, electricity was viewed as a spirit or soul residing in an inanimate substance. A fluid image was introduced in an attempt to visualize its movement. It was also an effort to concretize its nature into the realm of physical objects as opposed to metaphysical. Eventually, a water circuit analogy has evolved and been introduced in science and engineering textbooks, old and new, to extend the depiction of a fluid image. However, educational research in physics and science education has documented a number of pedagogical issues regarding the use of this analogy. This paper outlines the historical attempts in the concretization of a fluid image to promote History of Science approach in teaching physics among physics teachers in first year undergraduate and physics in-service teachers. Equally important, it discusses the pedagogical concerns of this analogy as it relates to science teaching and learning processes in secondary physics education. The discussions might serve as pedagogical considerations for first year undergraduate physics instructors that need to connect with students entering post-secondary physics courses.


title: Constraining coupled quintessence with the 21cm signal

abstract: The 21cm line probes the evolution of matter perturbations over a wide range of redshifts, from the dark ages down to the completion of reionization. Observing the 21cm cosmological signal will extend our understanding of the evolution of the Universe and it is thus important to investigate the predictions of different cosmological models. In this paper we focus on the prospect of constraining coupled quintessence models during the Epoch of Reionization both for global signal experiments and for intensity mapping surveys. To derive the all-sky 21cm signal and fluctuations in coupled quintessence, we simulate cosmological volumes of the 21cm signal including the coupling between dark matter and the quintessence field, where the strength of the coupling is labeled by the parameter $Q$. We show that the coupling between dark matter and quintessence modifies structure formation and expedites the process of reionization. For the upcoming 21cm line surveys like SKA and a fiducial global 21cm signal experiment, we perform a Fisher matrix analysis to constrain the coupling $Q$ and the dark matter density parameter $\Omega_\mathrm{dm}$. The results indicate that SKA will be able to place a 68% upper limit $0.04$ to $|Q|$. At the same time, such a global 21cm detector provides a constraint on the dark matter density parameter $\Omega_\mathrm{dm}$ around $\Delta\Omega_{\rm dm}\approx 0.005$, whereas SKA sets a quite weaker constraint around $\Delta\Omega_{\rm dm}\approx0.1$. These constraints are comparable to those already obtained from the cosmic microwave background, but explore an entirely different redshift range.


title: Scaling Laws in Earthquake Memory for Interevent Times and Distances

abstract: Over the past decades much effort has been devoted towards understanding and forecasting natural hazards. However, earthquake forecasting skill is still very limited and remains a great scientific challenge. The limited earthquake predictability is partly due to the erratic nature of earthquakes and partly to the lack of understanding the underlying mechanisms of earthquakes. To improve our understanding and potential forecasting, here we study the spatial and temporal long-term memory of interevent earthquakes above a certain magnitude using lagged conditional probabilities. We find, in real data, that the lagged conditional probabilities show long-term memory for both the interevent times and interevent distances and that the memory functions obey scaling and decay slowly with time, while, at a characteristic time, the decay crossesover to a fast decay. We also show that the ETAS model, which is often used to forecast earthquake events, yields scaling functions of the temporal and spatial interevent intervals which are not consistent with those of real data.


title: Din\^amica de Aplica\c{c}\~oes Cohomologicamente Hiperb\'olicas

abstract: Let $f:X \longrightarrow X $ be a Cohomological Hyperbolic Mapping of a complex compact connected K\"ahler manifold with $ dim_{\mathbb{C}}(X)=k \ge 1$. We want to study the dynamics of such mapping from a probabilistic point of view, that is, we will try to describe the asymptotic behavior of the orbit $ O_{f} (x) = \{f^{n} (x), n \in \mathbb{N}$ or $\mathbb{Z}\}$ of a generic point. To do this, using pluripotential methods, we will construct a natural invariant canonical probability measure of maximum entropy $ \mu_{f} $ such that $ \lambda_{\max}^{-n}(f^{n})^{\star}\Theta \longrightarrow \mu_{f} $ for each smooth probability measure $\Theta $ in $X$ with $ \lambda_{k} := \limsup_{n\longrightarrow \infty} \{||(f^{n})^{\star}||^{\frac{1}{n}}\} $ the number of pre-images of a generic point of $X $ by $f $. Then we will study the main stochastic properties of $ \mu_{f}$ and show, if possible, that $ \mu_{f}$ is a measure of equilibrium, smooth, hyperbolic, ergodic, mixing, $\mathbb{K} $ -mixing, exponential-mixing, moderate and the only measure of maximum entropy, absolutely continuous with respect to the LEBESGUE measure and to the HAUSDORFF measure under certain hypotheses. On the other hand, we will introduce the concept of Perfect and $\mathbb{K} $-Perfect Measure and indeed show that $ \mu_{f}$ is $\mathbb{K} $-Perfect.


title: Adversarial reconstruction for Multi-modal Machine Translation

abstract: Even with the growing interest in problems at the intersection of Computer Vision and Natural Language, grounding (i.e. identifying) the components of a structured description in an image still remains a challenging task. This contribution aims to propose a model which learns grounding by reconstructing the visual features for the Multi-modal translation task. Previous works have partially investigated standard approaches such as regression methods to approximate the reconstruction of a visual input. In this paper, we propose a different and novel approach which learns grounding by adversarial feedback. To do so, we modulate our network following the recent promising adversarial architectures and evaluate how the adversarial response from a visual reconstruction as an auxiliary task helps the model in its learning. We report the highest scores in term of BLEU and METEOR metrics on the different datasets.


title: Reflection Phase Shift of One-dimensional Plasmon Polaritons in Carbon Nanotubes

abstract: We investigated, both experimentally and theoretically, the reflection phase shift (RPS) of one-dimensional plasmon polaritons. We launched 1D plasmon polaritons in carbon nanotube and probed the plasmon interference pattern using scanning near-field optical microscopy (SNOM) technique, through which a non-zero phase shift was observed. We further developed a theory to understand the nonzero phase shift of 1D polaritons, and found that the RPS can be understood by considering the evanescent field beyond the nanotube end. Interesting, our theory shows a strong dependence of RPS on polaritons wavelength and nanotube diameter, which is in stark contrast to 2D plasmon polaritons in graphene where the RPS is a constant. In short wave region, the RPS of 1D polaritons only depends on a dimensionless variable -- the ratio between polaritons wavelength and nanotube diameter. These results provide fundamental insights into the reflection of polaritons in 1D system, and could facilitate the design of ultrasmall 1D polaritonic devices, such as resonators, interferometers.


title: New EEG parameters correlated with sevoflurane concentration in dogs: tau and burst

abstract: Background: Electroencephalographic (EEG) indicators for anaesthesia depth are being developed. Here, we propose novel EEG parameters created by using two kinds of waveforms discriminated by voltage thresholds from a new perspective. Methods: Six young-adult beagles and 6 senior beagles were anaesthetised with end-tidal sevoflurane (SEV) of 2.0%-4.0% in 0.5% intervals, and 2-channel EEG (256 Hz) was recorded. Two events were discriminated: a consecutive part ({\tau}) with a peak-to-peak potential difference (Vpp) within 1-6, 8, 12, or 20 mcrV, and another part (burst) with Vpp outside the threshold. Number of {\tau} (N{\tau}), mean {\tau} duration (M{\tau}), total percentage of {\tau} (SR{\tau}), mean burst duration (Mbst), and amplitude of burst (Abst) were evaluated as anaesthesia depth indicators using Pearsons correlation coefficients (r). Results: When Vpp was near the suppression wave threshold, N{\tau} had the highest correlation with SEV in both groups. As SEV was increased until onset of burst suppression, N{\tau} decreased, M{\tau} remained unchanged, and Mbst and Abst increased. In the young-adult group, mean |r| exceeded 0.95 for N{\tau} with Vpp of 4-6 mcrV, for Mbst with Vpp of 8-12 mcrV, and for Abst with Vpp of 4-12 mcrV. In the senior group, r exceeded 0.90 for N{\tau} with Vpp of 4 mcrV and for Abst with Vpp of 5-12 mcrV. Conclusion: We developed new EEG parameters that were almost perfectly correlated with volatile anaesthetic concentrations using traditional bipolar recording. This study suggests that the effect of anaesthetics on EEG can be investigated from two directions: pacemaker ({\tau}) and generator (burst).


title: Conditions for jet break-out in NS mergers

abstract: We consider conditions for jet break-out through ejecta following mergers of neutron stars and provide simple relations for the break out conditions. We demonstrate that: (i) break-out requires that the isotropic-equivalent jet energy $E_j$ exceeds the ejecta energy $E_{ej}$ by $E_j \geq E_{ej}/ \beta_0$, where $ \beta_0 = V_{ej}/c$, $V_{ej}$ is the maximum velocity of the ejecta. If the central engine terminates before the break out, the shock approaches the edge of the ejecta slowly $\propto 1/t$; late break out occurs only if at the termination moment the head of the jet was relatively close to the edge. (ii) If there is a substantial delay between the ejecta's and the jet's launching, the requirement on the jet power increases. (iii) The forward shock driven by the jet is mildly strong, with Mach number $M\approx 5/4$ (increasing with time delay $t_d$); (iii) the delay time $t_d$ between the ejecta and the jet's launching is important for $t_d > t_0= ({3 }/{16} ) {c M_{ej} V_{ej}}/{L_j} = 1.01 {\rm sec} M_{ej, -2} L_{j, 51} ^{-1} \left ( {\beta_{ej}} /{0.3} \right)$, where $M_{ej}$ is ejecta mass, $L_j$ is the jet luminosity (isotropic equivalent). For small delays, $t_0 $ is also an estimate of the break-out time.


title: Limits on the Electro-Magnetic Counterpart of Binary Black Hole Coalescence at Visible Wavelengths

abstract: We used the TAROT network of telescopes to search for the electromagnetic counterparts of GW150914, GW170104 and GW170814, which were reported to originate from binary black hole merger events by the LIGO and Virgo collaborations. Our goal is to constrain the emission from a binary black hole coalescence at visible wavelengths. We developed a simple and effective algorithm to detect new sources by matching the image data with the Gaia catalog data release 1. Machine learning was used and an algorithm was designed to locate unknown sources in a large field of view image. The angular distance between objects in the image and in the catalog was used to find new sources; we then process the candidates to validate them as possible new unknown celestial objects. Though several possible candidates were detected in the three gravitational wave source error boxes studied, none of them were confirmed as a viable counterpart. The algorithm was effective for the identification of unknown candidates in a very large field and provided candidates for GW150914, GW170104 and GW170814. The entire 90\% GW170814 error box was surveyed extensively within 0.6 days after the GW emission resulting in an absolute limiting R magnitude of -23.8. This strong limit excludes to a great extent a possible emission of a gamma-ray burst with an optical counterpart associated with GW170814.


title: An elementary description of $K_1(R)$ without elementary matrices

abstract: Let $R$ be a ring with unit. Passing to the colimit with respect to the standard inclusions $GL(n,R) \to GL(n+1,R)$ (which add a unit vector as new last row and column) yields, by definition, the stable linear group $GL(R)$; the same result is obtained, up to isomorphism, when using the "opposite" inclusions (which add a unit vector as new first row and column). In this note it is shown that passing to the colimit along both these families of inclusions simultaneously recovers the algebraic $K$-group $K_1(R) = GL(R)/E(R)$ of~$R$, giving an elementary description that does not involve elementary matrices explicitly.


title: Quasi-linear buildup of Coulomb integrals via the coupling strength parameter in the non-relativistic electronic Schrodinger equation

abstract: The non-relativistic electronic Hamiltonian, Hkin + Hne + aHee, is linear in coupling strength parameter (a), but its eigenvalues (electronic energies) have only quasi-linear dependence on it. Detailed analysis is given on the participation of electron-electron repulsion energy (Vee) in total electronic energy (Etotal electr,k) in addition to the well-known virial theorem and standard algorithm for vee(a=1)=Vee calculated during the standard- and post HF-SCF routines. Using a particular modification in the SCF part of the Gaussian package, we have analyzed the ground state solutions via the parameter a. Technically, with a single line in the SCF algorithm, operator was changed as 1/rij-> a/rij with input a. The most important findings are, 1, vee(a) is quasi-linear function of a, 2, the extension of 1st Hohenberg-Kohn theorem (PSI0(a=1)<=>Hne<=>Y0(a=0)) and its consequences in relation to a. The latter allows an algebraic transfer from the simpler solution of case a=0 (where the single Slater determinant Y0 is the accurate form) to the physical case a=1. Moreover, we have generalized the emblematic Hund rule, virial-, Hohenberg-Kohn- and Koopmans theorems in relation to the coupling strength parameter.


title: Computational Approach to Dark-Field Optical Diffraction Tomography

abstract: The measurement of three-dimensional (3D) images and the analysis of subcellular organelles are crucial for the study of the pathophysiology of cells and tissues. Optical diffraction tomography (ODT) facilitates label-free and quantitative imaging of live cells by reconstructing 3D refractive index (RI) distributions. In many cases, however, the contrast in RI distributions is not strong enough to effectively distinguish subcellular organelles in live cells. To realize label-free and quantitative imaging of subcellular organelles in unlabeled live cells with enhanced contrasts, we present a computational approach using ODT. We demonstrate that the contrast of ODT can be enhanced via spatial high-pass filtering in a 3D spatial frequency domain, and that it yields theoretically equivalent results to physical dark-field illumination. Without changing the optical instruments used in ODT, subcellular organelles in live cells are clearly distinguished by applying a simple but effective computational approach that is validated by comparison with 3D epifluorescence images. We expect that the proposed method will satisfy the demand for label-free organelle observations, and will be extended to fully utilize complex information in 3D RI distributions.


title: Rational parallelism on complex manifolds

abstract: A Theorem of Wang in [Wa] implies that any holomorphic parallelism on a compact complex manifold M is flat with respect to some complex Lie algebra structure whose dimension coincides with that of M. We study here rational parallelisms on complex manifolds. We exhibit rational parallelisms on compact complex manifolds which are not flat with respect to any complex Lie algebra structure.


title: The Lyman continuum escape fraction and the Mean Free Path of hydrogen ionizing photons for bright z~4 QSOs from SDSS DR14

abstract: One of the major challenges in observational cosmology is related to the redshift evolution of the average hydrogen ionization in the Universe. In order to probe the ionization level of the IGM and the ionization capabilities of bright QSOs at z=4, we have selected a sample of 2508 QSOs from the SDSS survey (DR14) at 3.6<z<4.6 and -29.0<M1450<-26.0. Starting from UV/optical rest-frame spectra of the whole QSO sample, we estimate the escape fraction and free path individually for each of them. We calculate the Lyman Continuum (LyC) escape fraction as the flux ratio blue-ward (~900 A rest-frame) and red-ward (~930 A rest-frame) of the Lyman limit. We then obtain the probability distribution function (PDF) of the individual free paths of the QSOs in the sample and study its evolution in luminosity and redshift, comparing our results with the ones found in literature so far. We find a lower limit to the mean LyC escape fraction of 0.49, in agreement with the values obtained for both brighter and fainter sources at the same redshift. We show that the free paths of ionizing photons are characterized by a skewed distribution function peaked at low values, with an average of ~49-59 proper Mpc at z~4, after excluding possible associated absorbers. This value is larger than the one obtained at the same redshift by many authors in the literature using different techniques. Finally, we also find that the redshift evolution of this parameter results to be possibly milder than previously thought. Our new determination of the mean free path at z~4 implies that previous estimates of the HI photo-ionization rate Gamma_HI available in the literature should be corrected by a factor of 1.2-1.7. These results have important implications if extrapolated at the epoch of reionization.


title: Biologically-Inspired Spatial Neural Networks

abstract: We introduce bio-inspired artificial neural networks consisting of neurons that are additionally characterized by spatial positions. To simulate properties of biological systems we add the costs penalizing long connections and the proximity of neurons in a two-dimensional space. Our experiments show that in the case where the network performs two different tasks, the neurons naturally split into clusters, where each cluster is responsible for processing a different task. This behavior not only corresponds to the biological systems, but also allows for further insight into interpretability or continual learning.


title: Wiener algebras and trigonometric series in a coordinated fashion

abstract: Let $W_0(\mathbb R)$ be the Wiener Banach algebra of functions representable by the Fourier integrals of Lebesgue integrable functions. It is proven in the paper that, in particular, a trigonometric series $\sum\limits_{k=-\infty}^\infty c_k e^{ikt}$ is the Fourier series of an integrable function if and only if there exists a $\phi\in W_0(\mathbb R)$ such that $\phi(k)=c_k$, $k\in\mathbb Z$. If $f\in W_0(\mathbb R)$, then the piecewise linear continuous function $\ell_f$ defined by $\ell_f(k)=f(k)$, $k\in\mathbb Z$, belongs to $W_0(\mathbb R)$ as well. Moreover, $\|\ell_f\|_{W_0}\le \|f\|_{W_0}$. Similar relations are established for more advanced Wiener algebras. These results are supplemented by numerous applications. In particular, new necessary and sufficient conditions are proved for a trigonometric series to be a Fourier series and new properties of $W_0$ are established.


title: The Globular Cluster Population of NGC 1052-DF2: Evidence for Rotation

abstract: Based upon the kinematics of ten globular clusters, it has recently been claimed that the ultra-diffuse galaxy, NCD 1052-DF2, lacks a significant quantity of dark matter. Dynamical analyses have generally assumed that this galaxy is pressure supported, with the relatively small velocity dispersion of the globular cluster population indicating the deficit of dark matter. However, the presence of a significant rotation of the globular cluster population could substantially modify this conclusion. Here we present the discovery of such a signature of rotation in the kinematics of NGC 1052-DF2's globular clusters, with a velocity amplitude of $\sim12.44^{+4.40}_{-5.16}$ km/s, which, through Bayesian model comparison, represents a marginally better fit to the available kinematic data; note that this rotation is distinct from, and approximately perpendicular to, the recently identified rotation of the stellar component of NGC 1052-DF2. Assuming this truly represents an underlying rotation, it is shown that the determined mass depends upon the inclination of the rotational component and, with a moderate inclination, the resultant mass to light ratio can exceed $M/L\sim10$.


title: Verification and Validation of Computer Models for Diagnosing Breast Cancer Based on Machine Learning for Medical Data Analysis

abstract: The method of microwave radiometry is one of the areas of medical diagnosis of breast cancer. It is based on analysis of the spatial distribution of internal and surface tissue temperatures, which are measured in the microwave (RTM) and infrared (IR) ranges. Complex mathematical and computer models describing complex physical and biological processes within biotissue increase the efficiency of this method. Physical and biological processes are related to temperature dynamics and microwave electromagnetic radiation. Verification and validation of the numerical model is a key challenge to ensure consistency with medical big data. These data are obtained by medical measurements of patients. We present an original approach to verification and validation of simulation models of physical processes in biological tissues. Our approach is based on deep analysis of medical data and we use machine learning algorithms. We have achieved impressive success for the model of dynamics of thermal processes in a breast with cancer foci. This method allows us to carry out a significant refinement of almost all parameters of the mathematical model in order to achieve the maximum possible adequacy.


title: Quantum principle of relativity

abstract: We show that the local and deterministic mode of description is not only in conflict with the quantum theory, but also with relativity. We argue that elementary relativistic properties of spacetime lead to the emergence of a non-deterministic quantum-mechanical picture involving quantum superpositions and complex probability amplitudes.


title: Generalized Mertens sums

abstract: Extending a classical estimate of Mertens for the sum of the reciprocals of the first primes, we provide an explicit remainder formula for products of an arbitrary, but fixed, number of primes.


title: Hydrogen Enhanced Intergranular Cracking -- A Phenomenological Multiscale Constitutive Model

abstract: Hydrogen enhanced cracking is one of the many failure mechanisms in metals depending on the corrosive environment. In the presented work, a multiscale constitutive model has been presented for hydrogen enhanced intergranular cracking in metals. The proposed constitutive model takes into account one of the many micromechanisms, i.e. Slip based micromechanisms active in the grain interior using crystal plasticity theory while sensitized grain boundary zone has been modelled by proposing a phenomenological constitutive model motivated from cohesive zone modelling approach. Model has been assessed through experimental data available in the literature and shows a good agreement. Model is able to capture the effects found during experiments.


title: Differentiability and optimality of a fuzzy function

abstract: In this article, we introduce a differentiability concept for fuzzy functions $\tilde{f}: F(\mathbb{R}) \to F(\mathbb{R})$, where $F(\mathbb{R})$ is the set of all fuzzy numbers. With the help of the proposed differentiability notion, we prove a necessary and sufficient condition for optimality to obtain a non-dominated solution of a fuzzy optimization problem.


title: Structural, Dielectric, Semiconducting and optical properties of High-Energy Ball Milled YFeO3 Nano-particles

abstract: In this work, we report the effects of calcination temperature on structural, dielectric, semiconducting and optical properties of YFeO3 nanoparticles prepared by a high energy ball milling process. The structural analysis of the X-ray diffraction data shows that YFeO3 exists in orthorhombic as well as in hexagonal mixed-phase states. The Rietveld analysis confirms that orthorhombic YFeO3 crystallizes into Pnma space group. The optical band gap of YFeO3 reduces from 1.96 eV to 1.68 eV with increasing the calcination temperature of the YFeO3 sample. The bandgap reducing effect might be attributed to the increased crystallite size and decreased lattice strain which is confirmed by the Williamson-Hall plot method. The obtained low bandgap YFeO3 ceramic may provide a new possibility to develop eco-friendly Ferroelectric photovoltaic devices.


title: BUZz: BUffer Zones for defending adversarial examples in image classification

abstract: We propose a novel defense against all existing gradient based adversarial attacks on deep neural networks for image classification problems. Our defense is based on a combination of deep neural networks and simple image transformations. While straightforward in implementation, this defense yields a unique security property which we term buffer zones. We argue that our defense based on buffer zones offers significant improvements over state-of-the-art defenses. We are able to achieve this improvement even when the adversary has access to the {\em entire} original training data set and unlimited query access to the defense. We verify our claim through experimentation using Fashion-MNIST and CIFAR-10: We demonstrate $<11\%$ attack success rate -- significantly lower than what other well-known state-of-the-art defenses offer -- at only a price of a $11-18\%$ drop in clean accuracy. By using a new intuitive metric, we explain why this trade-off offers a significant improvement over prior work.


title: View Planning and Navigation Algorithms for Autonomous Bridge Inspection with UAVs

abstract: We study the problem of infrastructure inspection using an Unmanned Aerial Vehicle (UAV) in box girder bridge environments. We consider a scenario where the UAV needs to fully inspect box girder bridges and localize along the bridge surface when standard methods like GPS and optical flow are denied. Our method for overcoming the difficulties of box girder bridges consist of creating local navigation routines, a supervisor, and a planner. The local navigation routines use two 2D Lidars for girder and column flight. For switching between local navigation routines we implement a supervisor which dictates when the UAV is able to switch between local navigation routines. Lastly, we implement a planner to calculate the path along that box girder bridge that will minimize the flight time of the UAV. With local navigation routines, a supervisor, and a planner we construct a system that can fully and autonomously inspect box girder bridges when standard methods are unavailable.


title: Quantile QT-Opt for Risk-Aware Vision-Based Robotic Grasping

abstract: The distributional perspective on reinforcement learning (RL) has given rise to a series of successful Q-learning algorithms, resulting in state-of-the-art performance in arcade game environments. However, it has not yet been analyzed how these findings from a discrete setting translate to complex practical applications characterized by noisy, high dimensional and continuous state-action spaces. In this work, we propose Quantile QT-Opt (Q2-Opt), a distributional variant of the recently introduced distributed Q-learning algorithm for continuous domains, and examine its behaviour in a series of simulated and real vision-based robotic grasping tasks. The absence of an actor in Q2-Opt allows us to directly draw a parallel to the previous discrete experiments in the literature without the additional complexities induced by an actor-critic architecture. We demonstrate that Q2-Opt achieves a superior vision-based object grasping success rate, while also being more sample efficient. The distributional formulation also allows us to experiment with various risk distortion metrics that give us an indication of how robots can concretely manage risk in practice using a Deep RL control policy. As an additional contribution, we perform batch RL experiments in our virtual environment and compare them with the latest findings from discrete settings. Surprisingly, we find that the previous batch RL findings from the literature obtained on arcade game environments do not generalise to our setup.


title: A deep learning approach to cosmological dark energy models

abstract: We propose a novel deep learning tool in order to study the evolution of dark energy models. The aim is to combine two architectures: the Recurrent Neural Networks (RNN) and the Bayesian Neural Networks (BNN), we named this full network as RNN+BNN. The first one is capable of learning complex sequential information to classify objects like supernovae and use the light-curves directly to learn information from the sequence of observations. Since RNN is not capable to calculate the uncertainties, BNN emerges as a solution for problems in deep learning like, for example, the overfitting. For the trainings we use measurements of the distance modulus $\mu(z)$, such as those provided by Pantheon Supernovae Type Ia. In view of our results, the reported approach turns out to be a first promising step on how we can train a new neural network that can compute their own confidence regions for specific cosmological data. It is worth stressing that the new technique allows to reduce the computational load of expensive codes for dark energy models and probe the necessity of modified dark energy models at large redshifts for a supernovae trained sampler.

categories: astro-ph.CO gr-qc hep-th physics.comp-ph


title: Language is Power: Representing States Using Natural Language in Reinforcement Learning

abstract: Recent advances in reinforcement learning have shown its potential to tackle complex real-life tasks. However, as the dimensionality of the task increases, reinforcement learning methods tend to struggle. To overcome this, we explore methods for representing the semantic information embedded in the state. While previous methods focused on information in its raw form (e.g., raw visual input), we propose to represent the state using natural language. Language can represent complex scenarios and concepts, making it a favorable candidate for representation. Empirical evidence, within the domain of ViZDoom, suggests that natural language based agents are more robust, converge faster and perform better than vision based agents, showing the benefit of using natural language representations for reinforcement learning.


title: Role of local mode mixity and stress triaxiality in the fracture of niobium/alumina bi-crystal interfaces a CPFEM based study

abstract: Local mode mixity and stress triaxiality plays an important role during metal/ceramic interface fracture. It has been reported in the literature that the ratio of the fracture energies to the mode I fracture energy can vary from 1 to 5. For many of the bimaterial systems, the reason has been reported to be the local mode mixity and stress triaxiality. Korn et al. [1] performed experimental studies on bicrystal niobium/alumina interfaces and for some orientations the values of the above ratio were reported to be more than 5. However, it was believed that local mode mixity and stress triaxiality might not be the reason for this. In the presented work an effort has been put to explain the role of local mode mixity and stress triaxiality in the fracture of niobium/alumina bi-crystal interfaces using crystal plasticity based constitutive model.


title: Small Youden Rectangles, Near Youden Rectangles, and Their Connections to Other Row-Column Designs

abstract: In this paper we first study $k \times n$ Youden rectangles of small orders. We have enumerated all Youden rectangles for a range of small parameter values, excluding the almost square cases where $k = n-1$, in a large scale computer search. In particular, we verify the previous counts for $(n,k) = (7,3), (7,4)$, and extend this to the cases $(11,5), (11,6), (13,4)$ and $(21,5)$. For small parameter values where no Youden rectangles exist, we also enumerate rectangles where the number of symbols common to two columns is always one of two possible values, differing by 1, which we call \emph{near Youden rectangles}. For all the designs we generate, we calculate the order of the autotopism group and investigate to which degree a certain transformation can yield other row-column designs, namely double arrays, triple arrays and sesqui arrays. Finally, we also investigate certain Latin rectangles with three possible pairwise intersection sizes for the columns and demonstrate that these can give rise to triple and sesqui arrays which cannot be obtained from Youden rectangles, using the transformation mentioned above.


title: Discovery of a very young high-mass X-ray binary associated with the supernova remnant MCSNRJ0513-6724 in the LMC

abstract: We report the discovery of a very young high-mass X-ray binary (HMXB) system associated with the supernova remnant (SNR) MCSNRJ0513-6724 in the Large Magellanic Cloud (LMC), using XMM-Newton X-ray observations. The HMXB is located at the geometrical centre of extended soft X-ray emission, which we confirm as an SNR. The HMXB spectrum is consistent with an absorbed power law with spectral index ~1.6 and a luminosity of 7x10^{33} ergs/s (0.2--12 keV). Tentative X-ray pulsations are observed with a periodicity of 4.4 s and the OGLE I-band light curve of the optical counterpart from more than 17.5 years reveals a period of 2.2324\pm0.0003 d, which we interpret as the orbital period of the binary system. The X-ray spectrum of the SNR is consistent with non-equilibrium shock models as expected for young/less evolved SNRs. From the derived ionisation time scale we estimate the age of the SNR to be <6 kyr. The association of the HMXB with the SNR makes it the youngest HMXB, in the earliest evolutionary stage known to date. A HMXB as young as this can switch on as an accreting pulsar only when the spin period has reached a critical value. Under this assumption, we obtain an upper limit to the magnetic field of < 5x10^{11} G. This implies several interesting possibilities including magnetic field burial, possibly by an episode of post-supernova hyper-critical accretion. Since these fields are expected to diffuse out on a timescale of 10^{3}-10^{4} years, the discovery of a very young HMXB can provide us the unique opportunity to observe the evolution of the observable magnetic field for the first time in X-ray binaries.


title: ViP: Video Platform for PyTorch

abstract: This work presents the Video Platform for PyTorch (ViP), a deep learning-based framework designed to handle and extend to any problem domain based on videos. ViP supports (1) a single unified interface applicable to all video problem domains, (2) quick prototyping of video models, (3) executing large-batch operations with reduced memory consumption, and (4) easy and reproducible experimental setups. ViP's core functionality is built with flexibility and modularity in mind to allow for smooth data flow between different parts of the platform and benchmarking against existing methods. In providing a software platform that supports multiple video-based problem domains, we allow for more cross-pollination of models, ideas and stronger generalization in the video understanding research community.


title: Distributed Distance-$r$ Dominating Set on Sparse High-Girth Graphs

abstract: The dominating set problem and its generalization, the distance-$r$ dominating set problem, are among the well-studied problems in the sequential settings. In distributed models of computation, unlike for domination, not much is known about distance-r domination. This is actually the case for other important closely-related covering problem, namely, the distance-$r$ independent set problem. By result of Kuhn et al. we know the distributed domination problem is hard on high girth graphs; we study the problem on a slightly restricted subclass of these graphs: graphs of bounded expansion with high girth, i.e. their girth should be at least $4r + 3$. We show that in such graphs, for every constant $r$, a simple greedy CONGEST algorithm provides a constant-factor approximation of the minimum distance-$r$ dominating set problem, in a constant number of rounds. More precisely, our constants are dependent to $r$, not to the size of the graph. This is the first algorithm that shows there are non-trivial constant factor approximations in constant number of rounds for any distance $r$-covering problem in distributed settings. To show the dependency on r is inevitable, we provide an unconditional lower bound showing the same problem is hard already on rings. We also show that our analysis of the algorithm is relatively tight, that is any significant improvement to the approximation factor requires new algorithmic ideas.


title: One swallow does not make a summer: 160 years of Richard Carrington's legacy

abstract: On 1 September 1859, the British astronomer Richard Carrington observed an anomalous behavior on the Sun. Approximately 17 hours later, magnetic effects of global scales were observed at Earth: aurora borealis and australis in low-latitude regions, and telegraphic equipment failures in Europe and North America. Nowadays, 160 years later, we know that solar-terrestrial connections control the magnetic activity in the geospace and on the ground, and their effects are subject of a discipline named {\it space weather}. The main goal of this modest work is to briefly present to the reader Carrington's observations and the discoveries that led to the connection between solar and terrestrial magnetic phenomena. Implications of this discovery to space weather with emphasis on the protection of technological systems in the geospace and on the ground, and a brief discussion on the future of the discipline, are briefly presented as well.


title: Loops in the fundamental group of $\mathrm{Symp} (\mathbb C\mathbb P^2\#\,5\overline{ \mathbb C\mathbb P}\,\!^2)$ which are not represented by circle actions

abstract: We study generators of the fundamental group of the group of symplectomorphisms $\mathrm{Symp}({\mathbb C\mathbb P}^2\#\,5\overline{\mathbb C\mathbb P}\,\!^2, \omega)$ for some particular symplectic forms. It was observed by J. K\c{e}dra that there are many symplectic 4-manifolds $(M, \omega)$, where $M$ is neither rational nor ruled, that admit no circle action and $\pi_1 (\mathrm{Ham} (M,\omega))$ is nontrivial. On the other hand, it follows from previous results that the fundamental group of the group $\mathrm{Symp}_h({\mathbb C\mathbb P}^2\#\,k\,\overline{\mathbb C\mathbb P}\,\!^2, \omega)$, of symplectomorphisms that act trivially on homology, with $k \leq 4$, is generated by circle actions on the manifold. We show that, for some particular symplectic forms $\omega$, the set of all Hamiltonian circle actions generates a proper subgroup in $\pi_1(\mathrm{Symp}_h({\mathbb C\mathbb P}^2\#\,5\overline{\mathbb C\mathbb P}\,\!^2, \omega)).$ Our work depends on Delzant classification of toric symplectic manifolds, Karshon's classification of Hamiltonian $S^1$-spaces and the computation of Seidel elements of some circle actions.


title: Estimation of Arrival Time of Coronal Mass Ejections in the Vicinity of the Earth Using SOlar and Heliospheric Observatory and Solar TErrestrial RElations Observatory Observations

abstract: The arrival time of coronal mass ejections (CMEs) in the vicinity of the Earth is one of the most important parameters in determining space weather. We have used a new approach to predicting this parameter. First, in our study, we have introduced a new definition of the speed of ejection. It can be considered as the maximum speed that the CME achieves during the expansion into the interplanetary medium. Additionally, in our research we have used not only observations from the SOlar and Heliospheric Observatory (SOHO) spacecraft but also from Solar TErrestrial RElations Observatory (STEREO) spacecrafts. We focus on halo and partial halo CMEs during the ascending phase of Solar Cycle 24. During this period the STEREO spacecraft were in quadrature position in relation to the Earth. We demonstrated that these conditions of the STEREO observations can be crucial for an accurate determination of the transit times (TTs) of CMEs to the Earth. In our research we defined a new initial velocity of the CME, the maximum velocity determined from the velocity profiles obtained from a moving linear fit to five consecutive height time points. This new approach can be important from the point of view of space weather as the new parameter is highly correlated with the final velocity of ICMEs. It allows one to predict the TTs with the same accuracy as previous models. However, what is more important is the fact that the new approach has radically reduced the maximum TT estimation errors to 29 hours. Previous studies determined the TT with a maximum error equal to 50 hours.


title: Wavefront shaping in multimode fibers by transmission matrix engineering

abstract: One of the greatest challenges in utilizing multimode optical fibers is mode-mixing and inter-modal interference, which scramble the information delivered by the fiber. A common approach for canceling these effects is to tailor the optical field at the input of the fiber to obtain a desired field at its output. In this work, we present a new approach which relies on modulating the transmission matrix of the fiber rather than the incident light. We apply computer-controlled mechanical perturbations to the fiber to obtain a desired intensity pattern at its output. Using an all-fiber apparatus, we demonstrate focusing light at the distal end of the fiber and conversion between fiber modes. Since in this approach the number of degrees of control can be larger than the number of fiber modes, it allows simultaneous control over multiple inputs and multiple wavelengths.


title: Ancient caloric functions on graphs with unbounded Laplacians

abstract: We study ancient solutions of polynomial growth to both continuous-time and discrete-time heat equations on graphs with unbounded Laplacians. We generalize Colding and Minicozzi's theorem [CM19] on manifolds, and the result [Hua19] on graphs with normalized Laplacians to the setting of graphs with unbounded Laplacians: For a graph admitting an intrinsic metric, which has polynomial volume growth, the dimension of the space of ancient solutions of polynomial growth is bounded by the dimension of harmonic functions with the same growth up to some factor.


title: The Collisional Penrose Process

abstract: Shortly after the discovery of the Kerr metric in 1963, it was realized that a region existed outside of the black hole's event horizon where no time-like observer could remain stationary. In 1969, Roger Penrose showed that particles within this ergosphere region could possess negative energy, as measured by an observer at infinity. When captured by the horizon, these negative energy particles essentially extract mass and angular momentum from the black hole. While the decay of a single particle within the ergosphere is not a particularly efficient means of energy extraction, the "collision" of multiple particles can reach arbitrarily high center-of-mass energy in the limit of extremal black hole spin. The resulting particles can escape with high efficiency, potentially serving as a probe of high-energy particle physics as well as general relativity. In this paper, we briefly review the history of the field and highlight a specific astrophysical application of the collisional Penrose process: the potential to enhance annihilation of dark matter particles in the vicinity of a supermassive black hole.


title: Generalized disformal coupling leads to spontaneous tensorization

abstract: We show that gravity theories involving disformally transformed metrics in their matter coupling lead to spontaneous growth of various fields in a similar fashion to the spontaneous scalarization scenario in scalar-tensor theories. Scalar-dependent disformal transformations have been investigated in this context, and our focus is understanding the transformations that depend on more general fields. We show that vector-dependent disformal couplings can be obtained in various different ways, each leading to spontaneous vectorization as indicated by the instabilities in linearized equations of motion. However, we also show that spontaneous growth is not evident beyond vectors. For example, we could not identify a spontaneous growth mechanism for a spinor field through disformal transformations, even though there is a known example for conformal transformations. This invites further work on the fundamental differences between the two types of metric transformations. We argue that our results are relevant for observations in strong gravity such as gravitational wave detections due to their promise of large deviations from general relativity in this regime.


title: Applications of Bar Code to involutive divisions and a greedy algorithm for complete sets

abstract: In this paper, we describe how to get Janet decomposition for a finite set of terms and detect completeness of that set by means of the associated Bar Code. Moreover, we explain an algorithm to find a variable ordering (if it exists) s.t. a given set of terms is complete according to that ordering. The algorithm is greedy and constructs a Bar Code from the maximal to the minimal variable, adjusting the variable ordering with a sort of backtracking technique, thus allowing to construct the desired ordering without trying all the n! possible orderings


title: Work Stealing Simulator

abstract: We present in this paper a Work Stealing lightweight PYTHON simulator. Our simulator is used to execute an application (list of tasks with or without dependencies), on a multiple processors platform linked by specific topology. We first give an overview of the different variants of the work stealing algorithm, then we present the architecture of our light Work Stealing simulator. Its architecture facilitates the development of other types of applications and other topologies for interconnecting the processors. We present the use cases of the simulator and the different types of results.


title: Semantic Preserving Generative Adversarial Models

abstract: We introduce generative adversarial models in which the discriminator is replaced by a calibrated (non-differentiable) classifier repeatedly enhanced by domain relevant features. The role of the classifier is to prove that the actual and generated data differ over a controlled semantic space. We demonstrate that such models have the ability to generate objects with strong guarantees on their properties in a wide range of domains. They require less data than ordinary GANs, provide natural stopping conditions, uncover important properties of the data, and enhance transfer learning. Our techniques can be combined with standard generative models. We demonstrate the usefulness of our approach by applying it to several unrelated domains: generating good locations for cellular antennae, molecule generation preserving key chemical properties, and generating and extrapolating lines from very few data points. Intriguing open problems are presented as well.


title: Deformation of Multiple Zeta Values and Their Logarithmic Interpretation in Positive Characteristic

abstract: Pellarin introduced the deformation of multiple zeta values of Thakur as elements over Tate algebras. In this paper, we relate these values to a certain coordinate of a higher dimensional Drinfeld module over Tate algebras which we will introduce. Moreover, we define multiple polylogarithms in our setting and represent deformation of multiple zeta values as a linear combination of multiple polylogarithms.


title: Learning De-biased Representations with Biased Representations

abstract: Many machine learning algorithms are trained and evaluated by splitting data from a single source into training and test sets. While such focus on in-distribution learning scenarios has led to interesting advancement, it has not been able to tell if models are relying on dataset biases as shortcuts for successful prediction (e.g., using snow cues for recognising snowmobiles), resulting in biased models that fail to generalise when the bias shifts to a different class. The cross-bias generalisation problem has been addressed by de-biasing training data through augmentation or re-sampling, which are often prohibitive due to the data collection cost (e.g., collecting images of a snowmobile on a desert) and the difficulty of quantifying or expressing biases in the first place. In this work, we propose a novel framework to train a de-biased representation by encouraging it to be different from a set of representations that are biased by design. This tactic is feasible in many scenarios where it is much easier to define a set of biased representations than to define and quantify bias. We demonstrate the efficacy of our method across a variety of synthetic and real-world biases; our experiments show that the method discourages models from taking bias shortcuts, resulting in improved generalisation. Source code is available at https://github.com/clovaai/rebias.


title: The Complexity of Social Media Response: Statistical Evidence For One-Dimensional Engagement Signal in Twitter

abstract: Many years after online social networks exceeded our collective attention, social influence is still built on attention capital. Quality is not a prerequisite for viral spreading, yet large diffusion cascades remain the hallmark of a social influencer. Consequently, our exposure to low-quality content and questionable influence is expected to increase. Since the conception of influence maximization frameworks, multiple content performance metrics became available, albeit raising the complexity of influence analysis. In this paper, we examine and consolidate a diverse set of content engagement metrics. The correlations discovered lead us to propose a new, more holistic, one-dimensional engagement signal. We then show it is more predictable than any individual influence predictors previously investigated. Our proposed model achieves strong engagement ranking performance and is the first to explain half of the variance with features available early. We share the detailed numerical workflow to compute the new compound engagement signal. The model is immediately applicable to social media monitoring, influencer identification, campaign engagement forecasting, and curating user feeds.


title: Killing horizons, throats and bottlenecks in the ergoregion of the Kerr spacetime

abstract: The properties of Kerr black holes (BHs)and naked singularities (NSs) are investigated by using stationary observers and their limiting frequencies. We introduce the concept of NS Killing throats and bottlenecks for slowly spinning NSs to describe the frequency of stationary observers. In particular, we show the frequency on the horizon can be used to point out a connection between BHs and NSs and to interpret the horizon in terms of frequencies. The analysis is performed on the equatorial plane of the ergoregion.


title: One-Pot Preparation of Mechanically Robust, Transparent, Highly Conductive and Memristive Metal-Organic Ultrathin Film

abstract: The future of 2D flexible electronics relies on the preparation of conducting ultrathin films of materials with mechanical robustness and flexibility in a simple but controlled manner. In this respect, metal-organic compounds present advantages over inorganic laminar crystals owing to their structural, chemical and functional diversity. While most metal-organic compounds are usually prepared in bulk, recent work has shown that some of them are processable down to low dimensional forms. Here we report the one-pot preparation, carried out at the water-air interface, of ultrathin (down to 4 nm) films of the metal-organic compound [Cu2I2(TAA)]n (TAA= thioacetamide). The films are shown to be homogenous over mm2 areas, smooth, highly transparent, mechanically robust and good electrical conductors with memristive behavior at low frequencies. This combination of properties, as well as the industrial availability of the two building blocks required for the preparation, demonstrates their wide range potential in future flexible and transparent electronics.


title: Canonical Structure of the Teleparallel Equivalent of General Relativity

abstract: In this paper we review the canonical analysis of constrained systems and apply it in the case of teleparallel equivalent of general relativity and teleparallel gravity. For each of them we find all the Poisson brackets, generators of gauge symmetries, as well as the number of degrees of freedom.


title: Compactification of semi-simple Lie groups

abstract: We discuss the `hd-compactification' of a semi-simple Lie group to a manifold with corners; it is the real analog of the wonderful compactification of deConcini and Procesi. There is a 1-1 correspondence between the boundary faces of the compactification and conjugacy classes of parabolic subgroups with the boundary face fibering over two copies of the corresponding flag variety with fiber modeled on the (compactification of the) reductive part. On the hd-compactification Harish-Chandra's Schwartz space is identified with a space of conormal functions of rapid-logarithmic decay relative to square-integrable functions.


title: Policies Modulating Trajectory Generators

abstract: We propose an architecture for learning complex controllable behaviors by having simple Policies Modulate Trajectory Generators (PMTG), a powerful combination that can provide both memory and prior knowledge to the controller. The result is a flexible architecture that is applicable to a class of problems with periodic motion for which one has an insight into the class of trajectories that might lead to a desired behavior. We illustrate the basics of our architecture using a synthetic control problem, then go on to learn speed-controlled locomotion for a quadrupedal robot by using Deep Reinforcement Learning and Evolutionary Strategies. We demonstrate that a simple linear policy, when paired with a parametric Trajectory Generator for quadrupedal gaits, can induce walking behaviors with controllable speed from 4-dimensional IMU observations alone, and can be learned in under 1000 rollouts. We also transfer these policies to a real robot and show locomotion with controllable forward velocity.


title: Spin polarization of electrons through corrugated surface in magnetic field

abstract: Noninteracting electrons confined to a corrugated surface are investigated in magnetic field, and the associated effective Pauli equation is given analytically by the thin-layer quantization scheme. Interestingly, the Zeeman splitting gaps can be adjusted by curvature, and there is a geometric potential induced by curvature. Further, we discuss the spin-dependent transport properties for confined electrons by numerical calculation. More interestingly, we find that the spin polarization induced by curvature becomes substantial when the incident energy has small value. The results are considerable for a spin transistor with small spin current.


title: Brain activity vs. seismicity: Scaling and memory

abstract: The brain activity and seismicity share a remarkable similarity. The Gutenberg-Richter law describing a power-law relation between the frequency of earthquake occurrence and released energy has its counterpart in the brain activity of a patient with epilepsy, that is, the distribution of fluctuations of the voltage difference measured by electroencephalogram (EEG) also obeys a Gutenberg-Richter-like power law. The similarity in the distributions, however, does not directly tell if the processes underlying these intermittent phenomena are also similar to each other. Here, a new simple method is presented for quantitative evaluation of (non-)Markovianity and is applied to the processes of released energy in seismicity and fluctuation of the voltage difference in EEG data. It is shown that the process in seismicity is almost memoryless, whereas that in EEG has long-term memory.

categories: cond-mat.stat-mech physics.bio-ph physics.data-an physics.geo-ph


title: Disentangling the Behavioural Variability of Confined Cell Migration

abstract: Cell-to-cell variability is inherent to numerous biological processes, including cell migration. Quantifying and characterizing the variability of migrating cells is challenging, as it requires monitoring many cells for long time windows under identical conditions. Here, we observe the migration of single human breast cancer cells (MDA-MB-231) in confining two-state micropatterns. To describe the stochastic dynamics of this confined migration, we employ a dynamical systems approach. We identify statistics to measure the behavioural variance of the migration, which significantly exceed those predicted by a population-averaged stochastic model. This additional variance can be explained by the combination of an 'aging' process and population heterogeneity. To quantify population heterogeneity, we decompose the cells into subpopulations of slow and fast cells, revealing the presence of distinct classes of dynamical systems describing the migration, ranging from bistable to limit cycle behaviour. Our findings highlight the breadth of migration behaviours present in cell populations.


title: Vertices of Schubitopes

abstract: Schubitopes were introduced by Monical, Tokcan and Yong as a specific family of generalized permutohedra. It was proven by Fink, M\'esz\'aros and St.$\,$Dizier that Schubitopes are the Newton polytopes of the dual characters of flagged Weyl modules. Important cases of Schubitopes include the Newton polytopes of Schubert polynomials and key polynomials. In this paper, we develop a combinatorial rule to generate the vertices of Schubitopes. As an application, we show that the vertices of the Newton polytope of a key polynomial can be generated by permutations in a lower interval in the Bruhat order, settling a conjecture of Monical, Tokcan and Yong.


title: A transference inequality for rational approximation to points in geometric progression

abstract: We establish a transference inequality conjectured by Badziahin and Bugeaud relating exponents of rational approximation of points in geometric progression.


title: Learning Navigation by Visual Localization and Trajectory Prediction

abstract: When driving, people make decisions based on current traffic as well as their desired route. They have a mental map of known routes and are often able to navigate without needing directions. Current self-driving models improve their performances when using additional GPS information. Here we aim to push forward self-driving research and perform route planning even in the absence of GPS. Our system learns to predict in real-time vehicle's current location and future trajectory, as a function of time, on a known map, given only the raw video stream and the intended destination. The GPS signal is available only at training time, with training data annotation being fully automatic. Different from other published models, we predict the vehicle's trajectory for up to seven seconds ahead, from which complete steering, speed and acceleration information can be derived for the entire time span. Trajectories capture navigational information on multiple levels, from instant steering commands that depend on present traffic and obstacles ahead, to longer-term navigation decisions, towards a specific destination. We collect our dataset with a regular car and a smartphone that records video and GPS streams. The GPS data is used to derive ground-truth supervision labels and create an analytical representation of the traversed map. In tests, our system outperforms published methods on visual localization and steering and gives accurate navigation assistance between any two known locations.


title: Eulerian circuits and path decompositions in quartic planar graphs

abstract: A subcycle of an Eulerian circuit is a sequence of edges that are consecutive in the circuit and form a cycle. We characterise the quartic planar graphs that admit Eulerian circuits avoiding 3-cycles and 4-cycles. From this, it follows that a quartic planar graph of order $n$ can be decomposed into $k_1+k_2+k_3+k_4$ many paths with $k_i$ copies of $P_{i+1}$, the path with $i$ edges, if and only if $k_1+2k_2+3k_3+4k_4 = 2n$. In particular, every connected quartic planar graph of even order admits a $P_5$-decomposition.


title: $(k,n)$-fractonic Maxwell theory

abstract: Fractons emerge as charges with reduced mobility in a new class of gauge theories. Here, we generalise fractonic theories of $U(1)$ type to what we call $(k,n)$-fractonic Maxwell theory, which employs symmetric order-$n$ tensors of $k$-forms (rank-$k$ antisymmetric tensors) as "vector potentials". The generalisation has two key manifestations. First, the objects with mobility restrictions extend beyond simple charges to higher order multipoles (dipoles, quadrupoles, $\ldots$) all the way to $n^\mathrm{th}$-order multipoles. Second, these fractonic charges themselves are characterized by tensorial densities of $(k-1)$-dimensional extended objects. The source-free sector exhibits `photonic' excitations with dispersion $\omega\sim q^n$.


title: Ratios of Artin L-functions

abstract: We show that certain quotients of Artin L-functions have infinitely many poles. Our result follows from a converse theorem for Maass forms of Laplace eigenvalue 1/4 in which the twisted L-functions are not assumed to be entire. We do not require the conjectural automorphy of Artin L-functions, only their established meromorphic continuation and functional equation.


title: A mathematical theory of cooperative communication

abstract: Cooperative communication plays a central role in theories of human cognition, language, development, culture, and human-robot interaction. Prior models of cooperative communication are algorithmic in nature and do not shed light on why cooperation may yield effective belief transmission and what limitations may arise due to differences between beliefs of agents. Through a connection to the theory of optimal transport, we establishing a mathematical framework for cooperative communication. We derive prior models as special cases, statistical interpretations of belief transfer plans, and proofs of robustness and instability. Computational simulations support and elaborate our theoretical results, and demonstrate fit to human behavior. The results show that cooperative communication provably enables effective, robust belief transmission which is required to explain feats of human learning and improve human-machine interaction.


title: Set-valued maps and some generalized metric spaces

abstract: To give characterizations of monotonically countably paracompact spaces with set-valued maps, Yamazaki [22] introduced the notion of strictly increasing closed cover of a topological space with which the boundedness of a set-valued map was defined. In this paper, we show that most of generalized metric spaces such as stratifiable spaces, semi-metrizable spaces can be characterized with set-valued maps with values into the family of all closed nonempty subsets of a space which has a strictly increasing closed cover. Moreover, as an application, we use the results obtained to give characterizations of the corresponding spaces with generalized real-valued functions.


title: Growth and Characterization of Polycrystalline NbO2 Thin Films on Crystalline and Amorphous Substrates

abstract: NbO2 is a potential material for nanometric memristor devices, both in the amorphous and the crystalline form. We fabricated NbO2 thin films using RF-magnetron sputtering from a stoichiometric target. The as-deposited films were amorphous regardless of the sputtering parameters. Post deposition vacuum annealing of the films was necessary to achieve crystallinity. A high degree of crystallinity was obtained by optimizing annealing duration and temperature. The resistivity of the material increases as it undergoes a structural transition from amorphous to crystalline with the crystalline films being one order of magnitude more resistive.


title: Crumple-Origami Transition for Twisting Cylindrical Shells

abstract: Origami and crumpling are two extreme tools to shrink a 3-D shell. In the shrink/expand process, the former is reversible due to its topological mechanism, while the latter is irreversible because of its random-generated creases. We observe a morphological transition between origami and crumple states in a twisted cylindrical shell. By studying the regularity of crease pattern, acoustic emission and energetics from experiments and simulations, we develop a model to explain this transition from frustration of geometry that causes breaking of rotational symmetry. In contrast to solving von Karman-Donnell equations numerically, our model allows derivations of analytic formula that successfully describe the origami state. When generalized to truncated cones and polygonal cylinders, we explain why multiple and/or reversed crumple-origami transitions can occur.


title: Self-Paced Contextual Reinforcement Learning

abstract: Generalization and adaptation of learned skills to novel situations is a core requirement for intelligent autonomous robots. Although contextual reinforcement learning provides a principled framework for learning and generalization of behaviors across related tasks, it generally relies on uninformed sampling of environments from an unknown, uncontrolled context distribution, thus missing the benefits of structured, sequential learning. We introduce a novel relative entropy reinforcement learning algorithm that gives the agent the freedom to control the intermediate task distribution, allowing for its gradual progression towards the target context distribution. Empirical evaluation shows that the proposed curriculum learning scheme drastically improves sample efficiency and enables learning in scenarios with both broad and sharp target context distributions in which classical approaches perform sub-optimally.


title: Compensating Atmospheric Channel Dispersion for Terahertz Wireless Communication

abstract: We report and demonstrate for the first time a method to compensate atmospheric group velocity dispersion of terahertz pulses. In ultra-wideband or impulse radio terahertz wireless communication, the atmosphere reshapes terahertz pulses via group velocity dispersion, a result of the frequency-dependent refractivity of air. Without correction, this can significantly degrade the achievable data transmission rate. We present a method for compensating the atmospheric dispersion of terahertz pulses using a cohort of stratified media reflectors. Using this method, we compensated group velocity dispersion in the 0.2-0.3 THz channel under common atmospheric conditions. Based on analytic and numerical simulations, the method can exhibit an in-band power efficiency of greater than 98% and dispersion compensation up to 99% of ideal. Simulations were validated by experimental measurements.


title: A question for iterated Galois groups in arithmetic dynamics

abstract: We formulate a general question regarding the size of the iterated Galois groups associated to an algebraic dynamical system and then we discuss some special cases of our question.


title: High-Confident Nonparametric Fixed-Width Uncertainty Intervals and Applications to Projected High-Dimensional Data and Common Mean Estimation

abstract: Nonparametric two-stage procedures to construct fixed-width confidence intervals are studied to quantify uncertainty. It is shown that the validity of the random central limit theorem (RCLT) accompanied by a consistent and asymptotically unbiased estimator of the asymptotic variance already guarantees consistency and first as well as second order efficiency of the two-stage procedures. This holds under the common asymptotics where the length of the confidence interval tends to $0$ as well as under the novel proposed high-confident asymptotics where the confidence level tends to $1$. The approach is motivated by and applicable to data analysis from distributed big data with non-negligible costs of data queries. The following problems are discussed: Fixed-width intervals for a the mean, for a projection when observing high-dimensional data and for the common mean when using nonlinear common mean estimators under order constraints. The procedures are investigated by simulations and illustrated by a real data analysis.


title: Open Set Medical Diagnosis

abstract: Machine-learned diagnosis models have shown promise as medical aides but are trained under a closed-set assumption, i.e. that models will only encounter conditions on which they have been trained. However, it is practically infeasible to obtain sufficient training data for every human condition, and once deployed such models will invariably face previously unseen conditions. We frame machine-learned diagnosis as an open-set learning problem, and study how state-of-the-art approaches compare. Further, we extend our study to a setting where training data is distributed across several healthcare sites that do not allow data pooling, and experiment with different strategies of building open-set diagnostic ensembles. Across both settings, we observe consistent gains from explicitly modeling unseen conditions, but find the optimal training strategy to vary across settings.


title: Magnetic degeneracy points in interacting two-spin systems: geometrical patterns, topological charge distributions, and their stability

abstract: Spectral degeneracies of quantum magnets are often described as diabolical points or magnetic Weyl points, which carry topological charge. Here, we study a simple, yet experimentally relevant quantum magnet: two localized interacting electrons subject to spin-orbit coupling. In this setting, the degeneracies are not necessarily isolated points, but can also form a line or a surface. We identify ten different possible geometrical patterns formed by these degeneracy points, and study their stability under small perturbations of the Hamiltonian. Stable structures are found to depend on the relative sign of the determinants of the two $g$-tensors, $\cal S$. Both for ${\cal S}=+1$ and ${\cal S}=-1$, two stable configurations are found, and three out of these four configurations are formed by pairs of Weyl points. These stable regions are separated by a surface of almost stable configurations, with a structure akin to co-dimension one bifurcations.


title: The distribution of divisors of polynomials

abstract: Let $F(x)$ be an irreducible polynomial with integer coefficients and degree at least 2. For $x\ge z\ge y\ge 2$, denote by $H_F(x, y, z)$ the number of integers $n\le x$ such that $F(n)$ has at least one divisor $d$ with $y<d\le z$. We determine the order of magnitude of $H_F(x, y, z)$ uniformly for $y+y/\log^C y < z\le y^2$ and $y\le x^{1-\delta}$, showing that the order is the same as the order of $H(x,y,z)$, the number of positive integers $n\le x$ with a divisor in $(y,z]$. Here $C$ is an arbitrarily large constant and $\delta>0$ is arbitrarily small.


title: Universal Computation with Quantum Fields

abstract: We explore a way of universal quantum computation with particles which cannot occupy the same position simultaneously and are symmetric under exchange of particle labels. Therefore the associated creation and annihilation operators are neither bosonic nor fermionic. In this work we first show universality of our method and numerically address several examples. We demonstrate dynamics of a Bloch electron system from a viewpoint of adiabatic quantum computation. In addition we provide a novel Majorana fermion system and analyze phase transitions with spin-coherent states and the time average of the OTOC (out-of-time-order correlator). We report that a first-order phase transition is avoided when it evolves in a non-stoquastic manner and the time average of the OTOC diagnoses the phase transitions successfully.


title: High electrical conductivity of single metal-organic chains

abstract: Molecular wires are essential components for future nanoscale electronics. However, the preparation of individual long conductive molecules is still a challenge. MMX metal-organic polymers are quasi-one-dimensional sequences of single halide atoms (X) bridging subunits with two metal ions (MM) connected by organic ligands. They are excellent electrical conductors as bulk macroscopic crystals and as nanoribbons. However, according to theoretical calculations, the electrical conductance found in the experiments should be even higher. Here we demonstrate a novel and simple drop-casting procedure to isolate bundles of few to single MMX chains. Furthermore, we report an exponential dependence of the electrical resistance of one or two MMX chains as a function of their length that does not agree with predictions based on their theoretical band structure. We attribute this dependence to strong Anderson localization originated by structural defects. Theoretical modeling confirms that the current is limited by structural defects, mainly vacancies of iodine atoms, through which the current is constrained to flow. Nevertheless, measurable electrical transport along distances beyond 250 nm surpasses that of all other molecular wires reported so far. This work places in perspective the role of defects in one-dimensional wires and their importance for molecular electronics.


title: A Learnable Safety Measure

abstract: Failures are challenging for learning to control physical systems since they risk damage, time-consuming resets, and often provide little gradient information. Adding safety constraints to exploration typically requires a lot of prior knowledge and domain expertise. We present a safety measure which implicitly captures how the system dynamics relate to a set of failure states. Not only can this measure be used as a safety function, but also to directly compute the set of safe state-action pairs. Further, we show a model-free approach to learn this measure by active sampling using Gaussian processes. While safety can only be guaranteed after learning the safety measure, we show that failures can already be greatly reduced by using the estimated measure during learning.


title: Analysis of Multi-Hour Continuous Observations of Seven Millisecond Pulsars

abstract: Precision pulsar timing can be used for a variety of astrophysical tests from the detection of gravitational waves to probing the properties of the interstellar medium (ISM). Here we present analyses of the noise contributions to pulsar timing residuals from continuous multi-hour observations of seven millisecond pulsars (MSPs). We present scintillation bandwidth measurements for all MSPs in the sample, some for the first time, and scintillation timescale measurements and lower limits for all MSPs for the first time. In addition, we present upper limits on the contribution of pulse phase jitter to the timing residual error for all MSPs. These long observations also allow us to constrain variations in dispersion measures (DMs) on hour-long timescales for several millisecond pulsars. We find that there are no apparent DM variations in any of the MSPs studied on these timescales as expected. In light of new radio telescopes such as the Canadian Hydrogen Intensity Mapping Experiment (CHIME), which will be able to time many pulsars for a short time each day, we search for differences in timing precisions from continuous TOAs and from equivalent length time-discontinuous TOAs. We find no differences in the precision for any MSP in our sample, as expected. We conclude that the TOA variations are consistent with the expected breakdown into template-fitting, jitter, and scintillation errors.


title: Approximation-Refinement Testing of Compute-Intensive Cyber-Physical Models: An Approach Based on System Identification

abstract: Black-box testing has been extensively applied to test models of Cyber-Physical systems (CPS) since these models are not often amenable to static and symbolic testing and verification. Black-box testing, however, requires to execute the model under test for a large number of candidate test inputs. This poses a challenge for a large and practically-important category of CPS models, known as compute-intensive CPS (CI-CPS) models, where a single simulation may take hours to complete. We propose a novel approach, namely ARIsTEO, to enable effective and efficient testing of CI-CPS models. Our approach embeds black-box testing into an iterative approximation-refinement loop. At the start, some sampled inputs and outputs of the CI-CPS model under test are used to generate a surrogate model that is faster to execute and can be subjected to black-box testing. Any failure-revealing test identified for the surrogate model is checked on the original model. If spurious, the test results are used to refine the surrogate model to be tested again. Otherwise, the test reveals a valid failure. We evaluated ARIsTEO by comparing it with S-Taliro, an open-source and industry-strength tool for testing CPS models. Our results, obtained based on five publicly-available CPS models, show that, on average, ARIsTEO is able to find 24% more requirements violations than S-Taliro and is 31% faster than S-Taliro in finding those violations. We further assessed the effectiveness and efficiency of ARIsTEO on a large industrial case study from the satellite domain. In contrast to S-Taliro, ARIsTEO successfully tested two different versions of this model and could identify three requirements violations, requiring four hours, on average, for each violation.


title: Detection limit of a lutetium based non-paralizable PET detector

abstract: The effect of the intrinsic lutetium radioactivity on the detection performances of a LYSO based in-beam PET prototype used for quality control of hadron therapy treatments is studied. This radioactivity leads to a background that degrades the measurement of the $\beta$ + signal. In particular, it prevents the measurement of faint signals originating from low activity $\beta$ + sources. This paper presents a method to estimate the minimum $\beta$ + activity that can be measured for any acquisition time taking into account the non-extensible dead time of the detector. This method is illustrated with experimental data collected with the in-beam PET prototype. The results presented in this paper are therefore specific to this detector. The method can however be applied in other contexts, either to other lutetium based PET detectors or even to non-PET detectors affected by lutetium radioactivity. The dead time correction formalism can also be used generally to scale signal and background yields in any non-paralizable detector, even those in which the background is not due to the presence of intrinsic radioactivity.