title: Tantalizing dilaton tests from a near-conformal EFT

abstract: The dilaton low-energy effective field theory (EFT) of an emergent light scalar is probed in the paradigm of strongly coupled near-conformal gauge theories. These studies are motivated by models which exhibit small $\beta$-functions near the conformal window (CW), perhaps with slow scale-dependent walking and a light scalar with ${ 0^{++} }$ quantum numbers. We report our results from the hypothesis of a dilaton inspired EFT analysis with two massless fermions in the two-index symmetric (sextet) representation of the SU(3) color gauge group. With important caveats in our conclusions, conformal symmetry breaking entangled with chiral symmetry breaking would drive the near-conformal infrared behavior of the theory predicting characteristic dilaton signatures of the light scalar from broken scale invariance when probed on relevant scales of fermion mass deformations. From a recently reasoned choice of the dilaton potential in the EFT description~\cite{Golterman:2016lsd} we find an unexpectedly light dilaton mass in the chiral limit at $m_d/f_\pi = 1.56(28)$, set in units of the pion decay constant $f_\pi$. Subject to further statistical and systematic tests of continued post-conference analysis, this result is significantly lower than our earlier estimates from less controlled extrapolations of the light scalar (the $\sigma$-particle) to the massless fermion limit of chiral perturbation theory. We also discuss important distinctions between the dilaton EFT analysis and the linear $\sigma$-model without dilaton signatures. For comparative reasons, we comment on dilaton tests from recent work with fermions in the fundamental representation with $n_f=8$ flavors.


title: The onset of the AGB wind tied to a transition between sequences in the period-luminosity diagram

abstract: We link the onset of pulsation-enhanced, dust-driven winds from asymptotic giant branch (AGB) stars in the Magellanic Clouds to the star's transition between period--luminosity sequences (from B to C'). This transition occurs at ~60 days for solar-mass stars, which represent the bulk of the AGB population: this is the same period at which copious dust production starts in solar-neighbourhood AGB stars. It is contemporaneous with the onset of long-secondary period (LSP) variability on sequence D. The combined amplitude of the first-overtone (B+C') and fundamental (C) modes and (perhaps) long-secondary period (D; LSP) variability appears to drive a sudden increase in mass-loss rate to a stable plateau, previously identified to be a few x 10^-7 solar masses per year. We cite this as evidence that pulsations are necessary to initiate mass loss from AGB stars and that these pulsations are significant in controlling stars' mass-loss rates. We also show evidence that LSPs may evolve from long to short periods as the star evolves, counter to the other period-luminosity sequences.


title: Detecting Baryon Acoustic Oscillations in Dark Matter from Kinematic Weak Lensing Surveys

abstract: We investigate the feasibility of extracting Baryon Acoustic Oscillations (BAO) from cosmic shear tomography. We particularly focus on the BAO scale precision that can be achieved by future spectroscopy-based, kinematic weak lensing (KWL) surveys \citep[e.g.,][]{Huff13} in comparison to the traditional photometry-based weak lensing surveys. We simulate cosmic shear tomography data of such surveys with a few simple assumptions to focus on the BAO information, extract the spacial power spectrum, and constrain the recovered BAO feature. Due to the small shape noise and the shape of the lensing kernel, we find that a Dark Energy Task Force Stage IV version of such KWL survey can detect the BAO feature in dark matter by $3$-$\sigma$ and measure the BAO scale at the precision level of 4\% while it will be difficult to detect the feature in photometry-based weak lensing surveys. With a more optimistic assumption, a KWL-Stage IV could achieve a $\sim 2\%$ BAO scale measurement with $4.9$-$\sigma$ confidence. A built-in spectroscopic galaxy survey within such KWL survey will allow cross-correlation between galaxies and cosmic shear, which will tighten the constraint beyond the lower limit we present in this paper and therefore possibly allow a detection of the BAO scale bias between galaxies and dark matter.


title: TEduChain: A Platform for Crowdsourcing Tertiary Education Fund using Blockchain Technology

abstract: Blockchain is an emerging technology framework for creating and storing transaction in distributed ledgers with a high degree of security and reliability. In this paper we present a blockchain-based platform to create and store contracts in between students and their higher education sponsors. The sponsorship might be in any form, such as scholarship, donation or loan. The fund will be arranged and managed by a group of competitive agents (Fundraisers) who will hold the distributed ledgers and act as miners in the blockchain network.


title: Estimating the effective dimension of large biological datasets using Fisher separability analysis

abstract: Modern large-scale datasets are frequently said to be high-dimensional. However, their data point clouds frequently possess structures, significantly decreasing their intrinsic dimensionality (ID) due to the presence of clusters, points being located close to low-dimensional varieties or fine-grained lumping. We test a recently introduced dimensionality estimator, based on analysing the separability properties of data points, on several benchmarks and real biological datasets. We show that the introduced measure of ID has performance competitive with state-of-the-art measures, being efficient across a wide range of dimensions and performing better in the case of noisy samples. Moreover, it allows estimating the intrinsic dimension in situations where the intrinsic manifold assumption is not valid.


title: Periodic Cauchy Problem for one Two-dimensional Generalization of the Benjamin-Ono Equation in Sobolev Spaces of Low Regularity

abstract: In this work we prove that the initial value problem (IVP) associated to the two-dimensional Benjamin-Ono equation $$\left. \begin{array}{rl} u_t+\mathcal H \Delta u +uu_x &\hspace{-2mm}=0,\qquad\qquad (x,y)\in\mathbb T^2,\; t\in\mathbb R,\\ u(x,y,0)&\hspace{-2mm}=u_0(x,y), \end{array} \right\}\,,$$ where $\mathcal H$ denotes the Hilbert transform with respect to the variable $x$ and $\Delta$ is the Laplacian with respect to the spatial variables $x$ and $y$, is locally well-posed in the periodic Sobolev space $H^s(\mathbb T^2)$, with $s>7/4$.


title: Sudden Magnetization Drops in S/F bilayered Structures

abstract: We report in plane magnetization measurements on Nb/Co bilayers using a thin superconductor Nb$\sim25$ nm and a thick ferromagnet Co$\sim40-55$ nm where Bloch Domain Walls (BDW) are energetically favorable. Here sharp drops in the magnetization are explained as direct consequence of BDW stray fields that induce vortices in the out of plane direction. These are generated at small fields around the coercive field of the ferromagnet and removed at large fields of the order of $H_{c2}$. These two well distinctive magnetic states of the superconductor, with or without out of plane vortices, is the same mechanism used to explain the drops in critical currents reported in [E. J. Pati$\~{n}$o et. al., The European Physical Journal B 68, 73 (2009)]


title: Heterogeneous FPGA+GPU Embedded Systems: Challenges and Opportunities

abstract: The edge computing paradigm has emerged to handle cloud computing issues such as scalability, security and low response time among others. This new computing trend heavily relies on ubiquitous embedded systems on the edge. Performance and energy consumption are two main factors that should be considered during the design of such systems. Focusing on performance and energy consumption, this paper studies the opportunities and challenges that a heterogeneous embedded system consisting of embedded FPGAs and GPUs (as accelerators) can provide for applications. We study three design, modeling and scheduling challenges throughout the paper. We also propose three techniques to cope with these three challenges. Applying the proposed techniques to three applications including image histogram, dense matrix-vector multiplication and sparse matrix-vector multiplications show 1.79x and 2.29x improvements in performance and energy consumption, respectively, when both FPGA and GPU execute the corresponding application in parallel.


title: Origins of the transformability of Nickel-Titanium shape memory alloys

abstract: The near equiatomic NiTi alloy is the most successful shape memory alloy by a large margin. It is widely and increasingly used in biomedical devices. Yet, despite having a repeatable superelastic effect and excellent shape-memory, NiTi is very far from satisfying the conditions that characterize the most reversible phase transforming materials. Thus, the scientific reasons underlying its vast success present an enigma. In this work, we perform rigorous mathematical derivation and accurate DFT calculation of transformation mechanisms to seek previously unrecognized twin-like defects that we term involution domains, and we observe them in real space in NiTi by the aberration-corrected scanning transmission electron microscopy. Involution domains lead to an additional 216 compatible interfaces between phases in NiTi, and we theorize that this feature contributes importantly to its reliability. They are expected to arise in other transformations and to alter the conventional interpretation of the mechanism of the martensitic transformation.


title: A characterization of the Filippov convention

abstract: The Filippov convention is widely used in the literature to define vector fields on a discontinuity set of piecewise-continuous vector fields. The aim of this paper is to give a sufficient and necessary condition for an interpolation scheme of piecewise-continuous vector fields to coincide with the Filippov convention. That is, we show that a map from a space of piecewise-continuous vector fields with two components to the space of vector fields coincides with the Filippov convention where the latter can be applied, if it is sufficiently well-behaved as a generalization of continuous vector fields.


title: Inversion and extension of the finite Hilbert transform on (-1,1)

abstract: The principle of optimizing inequalities, or their equivalent operator theoretic formulation, is well established in analysis. For an operator, this corresponds to extending its action to larger domains, hopefully to the largest possible such domain (i.e, its \textit{optimal domain}). Some classical operators are already optimally defined (e.g., the Hilbert transform in $L^p(\mathbb{R})$, $1<p<\infty$) and others are not (e.g., the Hausdorff-Young inequality in $L^p(\mathbb{T})$, $1<p<2$, or Sobolev's inequality in various spaces). In this paper a detailed investigation is undertaken of the finite Hilbert transform $T$ acting on rearrangement invariant spaces $X$ on $(-1,1)$, an operator whose singular kernel is neither positive nor does it possess any monotonicity properties. For a large class of such spaces $X$ it is shown that $T$ is already optimally defined on $X$ (this is known for $L^p(-1,1)$ for all $1<p<\infty$, except $p=2$). The case $p=2$ is significantly different because the range of $T$ is a proper dense subspace of $L^2(-1,1)$. Nevertheless, by a completely different approach, it is established that $T$ is also optimally defined on $L^2(-1,1)$. Our methods are also used to show that the solution of the airfoil equation, which is well known for the spaces $L^p(-1,1)$ whenever $p\not=2$ (due to certain properties of $T$), can also be extended to the class of r.i.\ spaces $X$ considered in this paper.


title: $l^p-l^q$ estimates of Bergman projector on the minimal ball

abstract: We study the $L^p-L^q$ boundedness of Bergman projector on the minimal ball. This improves an important result of \cite{MY} due to G. Mengotti and E. H. Youssfi.


title: On Epsilon-MSCR Codes for Two Erasures

abstract: Cooperative regenerating codes are regenerating codes designed to tradeoff storage for repair bandwidth in case of multiple node failures. Minimum storage cooperative regenerating (MSCR) codes are a class of cooperative regenerating codes which achieve the minimum storage point of the tradeoff. Recently, these codes have been constructed for all possible parameters $(n,k,d,h)$, where $h$ erasures are repaired by contacting any $d$ surviving nodes. However, these constructions have very large sub-packetization. $\epsilon$-MSR codes are a class of codes introduced to tradeoff subpacketization level for a slight increase in the repair bandwidth for the case of single node failures. We introduce the framework of $\epsilon$-MSCR codes which allow for a similar tradeoff for the case of multiple node failures. We present a construction of $\epsilon$-MSCR codes, which can recover from two node failures, by concatenating a class of MSCR codes and scalar linear codes. We give a repair procedure to repair the $\epsilon$-MSCR codes in the event of two node failures and calculate the repair bandwidth for the same. We characterize the increase in repair bandwidth incurred by the method in comparison with the optimal repair bandwidth given by the cut-set bound. Finally, we show the subpacketization level of $\epsilon$-MSCR codes scales logarithmically in the number of nodes.


title: Start Making Sense: Semantic Plane Filtering and Control for Post-5G Connectivity

abstract: This is a short position paper that introduces the concepts of semantic plane filtering and control for post-5G connectivity.


title: On Quantum Fields at High Temperature

abstract: Revisiting the fast fermion damping rate calculation in a thermalized QED and/or QCD plasma at 4-loop order, focus is put on a peculiar perturbative structure which has no equivalent at zero-temperature. Not surprisingly and in agreement with previous $C^\star$-algebraic analyses, this structure renders the use of thermal perturbation theory quite questionable.


title: Massive Random Access with Common Alarm Messages

abstract: The established view on massive IoT access is that the IoT devices are activated randomly and independently. This is a basic premise also in the recent information-theoretic treatment of massive access by Polyanskiy. In a number of practical scenarios, the information from IoT devices in a given geographical area is inherently correlated due to a commonly observed physical phenomenon. We introduce a model for massive access that accounts for correlation both in device activation and in the message content. To this end, we introduce common alarm messages for all devices. A physical phenomenon can trigger an alarm causing a subset of devices to transmit the same message at the same time. We develop a new error probability model that includes false positive errors, resulting from decoding a non-transmitted codeword. The results show that the correlation allows for high reliability at the expense of spectral efficiency. This reflects the intuitive trade-off: an access from a massive number can be ultra-reliable only if the information across the devices is correlated.


title: Feature Pyramid and Hierarchical Boosting Network for Pavement Crack Detection

abstract: Pavement crack detection is a critical task for insuring road safety. Manual crack detection is extremely time-consuming. Therefore, an automatic road crack detection method is required to boost this progress. However, it remains a challenging task due to the intensity inhomogeneity of cracks and complexity of the background, e.g., the low contrast with surrounding pavements and possible shadows with similar intensity. Inspired by recent advances of deep learning in computer vision, we propose a novel network architecture, named Feature Pyramid and Hierarchical Boosting Network (FPHBN), for pavement crack detection. The proposed network integrates semantic information to low-level features for crack detection in a feature pyramid way. And, it balances the contribution of both easy and hard samples to loss by nested sample reweighting in a hierarchical way. To demonstrate the superiority and generality of the proposed method, we evaluate the proposed method on five crack datasets and compare it with state-of-the-art crack detection, edge detection, semantic segmentation methods. Extensive experiments show that the proposed method outperforms these state-of-the-art methods in terms of accuracy and generality.


title: On Distance Properties of Convolutional Polar Codes

abstract: A lower bound on minimum distance of convolutional polar codes is provided. The bound is obtained from the minimum weight of generalized cosets of the codes generated by bottom rows of the polarizing matrix. Moreover, a construction of convolutional polar subcodes is proposed, which provides improved performance under successive cancellation list decoding. For sufficiently large list size, the decoding complexity of convolutional polar subcodes appears to be lower compared to Arikan polar subcodes with the same performance. The error probability of successive cancellation list decoding of convolutional polar subcodes is lower than that of Arikan polar subcodes with the same list size.


title: V-monotone independence

abstract: We introduce and study a new notion of non-commutative independence, called V-monotone independence, which can be viewed as an extension of the monotone independence of Muraki. We investigate the combinatorics of mixed moments of V-monotone random variables and prove the central limit theorem. We obtain a combinatorial formula for the limit moments and we find the solution of the differential equation for the moment generating function in the implicit form.


title: Effectiveness Assessment of Cyber-Physical Systems

abstract: By achieving their purposes through interactions with the physical world, Cyber-Physical Systems (CPS) pose new challenges in terms of dependability. Indeed, the evolution of the physical systems they control with transducers can be affected by surrounding physical processes over which they have no control and which may potentially hamper the achievement of their purposes. While it is illusory to hope for a comprehensive model of the physical environment at design time to anticipate and remove faults that may occur once these systems are deployed, it becomes necessary to evaluate their degree of effectiveness in vivo. In this paper, the degree of effectiveness is formally defined and generalized in the context of the measure theory. The measure is developed in the context of the Transferable Belief Model (TBM), an elaboration on the Dempster-Shafer Theory (DST) of evidence so as to handle epistemic and aleatory uncertainties respectively pertaining the users' expectations and the natural variability of the physical environment. The TBM is used in conjunction with the Input/Output Hidden Markov Modeling framework (we denote by Ev-IOHMM) to specify the expected evolution of the physical system controlled by the CPS and the tolerances towards uncertainties. The measure of effectiveness is then obtained from the forward algorithm, leveraging the conflict entailed by the successive combinations of the beliefs obtained from observations of the physical system and the beliefs corresponding to its expected evolution. The proposed approach is applied to autonomous vehicles and show how the degree of effectiveness can be used for bench-marking their controller relative to the highway code speed limitations and passengers' well-being constraints, both modeled through an Ev-IOHMM.


title: On solving the densest $k$-subgraph problem on large graphs

abstract: The densest $k$-subgraph problem is the problem of finding a $k$-vertex subgraph of a graph with the maximum number of edges. In order to solve large instances of the densest $k$-subgraph problem, we introduce two algorithms that are based on the random coordinate descent approach. Although it is common use to update at most two random coordinates simultaneously in each iteration of an algorithm, our algorithms may simultaneously update many coordinates. We show the benefit of updating more than two coordinates simultaneously for solving the densest $k$-subgraph problem, and solve large problem instances with up to $2^{15}$ vertices.


title: Adapting Convolutional Neural Networks for Geographical Domain Shift

abstract: We present the winning solution for the Inclusive Images Competition organized as part of the Conference on Neural Information Processing Systems (NeurIPS 2018) Competition Track. The competition was organized to study ways to cope with domain shift in image processing, specifically geographical shift: the training and two test sets in the competition had different geographical distributions. Our solution has proven to be relatively straightforward and simple: it is an ensemble of several CNNs where only the last layer is fine-tuned with the help of a small labeled set of tuning labels made available by the organizers. We believe that while domain shift remains a formidable problem, our approach opens up new possibilities for alleviating this problem in practice, where small labeled datasets from the target domain are usually either available or can be obtained and labeled cheaply.


title: Entanglement-Assisted Quantum Data Compression

abstract: Ask how the quantum compression of ensembles of pure states is affected by the availability of entanglement, and in settings where the encoder has access to side information. We find the optimal asymptotic quantum rate and the optimal tradeoff (rate region) of quantum and entanglement rates. It turns out that the amount by which the quantum rate beats the Schumacher limit, the entropy of the source, is precisely half the entropy of classical information that can be extracted from the source and side information states without disturbing them at all ("reversible extraction of classical information"). In the special case that the encoder has no side information, or that she has access to the identity of the states, this problem reduces to the known settings of blind and visible Schumacher compression, respectively, albeit here additionally with entanglement assistance. We comment on connections to previously studied and further rate tradeoffs when also classical information is considered.


title: Cloud Resource Optimization for Processing Multiple Streams of Visual Data

abstract: Hundreds of millions of network cameras have been installed throughout the world. Each is capable of providing a vast amount of real-time data. Analyzing the massive data generated by these cameras requires significant computational resources and the demands may vary over time. Cloud computing shows the most promise to provide the needed resources on demand. In this article, we investigate how to allocate cloud resources when analyzing real-time data streams from network cameras. A resource manager considers many factors that affect its decisions, including the types of analysis, the number of data streams, and the locations of the cameras. The manager then selects the most cost-efficient types of cloud instances (e.g. CPU vs. GPGPU) to meet the computational demands for analyzing streams. We evaluate the effectiveness of our approach using Amazon Web Services. Experiments demonstrate more than 50% cost reduction for real workloads.


title: Preconditioning and perturbative estimators in full configuration interaction quantum Monte Carlo

abstract: We propose the use of preconditioning in FCIQMC which, in combination with perturbative estimators, greatly increases the efficiency of the algorithm. The use of preconditioning allows a time step close to unity to be used (without time-step errors), provided that multiple spawning attempts are made per walker. We show that this approach substantially reduces statistical noise on perturbative corrections to initiator error, which improve the accuracy of FCIQMC but which can suffer from significant noise in the original scheme. Therefore, the use of preconditioning and perturbatively-corrected estimators in combination leads to a significantly more efficient algorithm. In addition, a simpler approach to sampling variational and perturbative estimators in FCIQMC is presented, which also allows the variance of the energy to be calculated. These developments are investigated and applied to benzene (30e,108o), an example where accurate treatment is not possible with the original method.


title: Energy conserving upwinded compatible finite element schemes for the rotating shallow water equations

abstract: We present an energy conserving space discretisation of the rotating shallow water equations using compatible finite elements. It is based on an energy and enstrophy conserving Hamiltonian formulation as described in McRae and Cotter (2014), and extends it to include upwinding in the velocity and depth advection to increase stability. Upwinding for velocity in an energy conserving context was introduced for the incompressible Euler equations in Natale and Cotter (2017), while upwinding in the depth field in a Hamiltonian finite element context is newly described here. The energy conserving property is validated by coupling the spatial discretisation to an energy conserving time discretisation. Further, the discretisation is demonstrated to lead to an improved field development with respect to stability when upwinding in the depth field is included.


title: The Milky Way like galaxy NGC 6384 and its nuclear star cluster at high NIR spatial resolution using LBT/ARGOS commissioning data

abstract: We analyse high spatial resolution near infra-red (NIR) imaging of NGC6384, a Milky Way like galaxy, using ARGOS commissioning data at the Large Binocular Telescope (LBT). ARGOS provides a stable PSF$_{\rm FWHM}\!=\!0.2"\!-\!0.3"$ AO correction of the ground layer across the LUCI2 NIR camera $4'\!\times4'$ field by using six laser guide stars (three per telescope) and a natural guide star for tip-tilt sensing and guiding. Enabled by this high spatial resolution we analyse the structure of the nuclear star cluster (NSC) and the central kiloparsec of NGC6384. We find via 2D modelling that the NSC ($r_{\rm eff}\!\simeq\!10$pc) is surrounded by a small ($r_{\rm eff}\!\simeq\!100$pc) and a larger Sersi\'c ($r_{\rm eff}\!\simeq\!400$pc), all embedded within the NGC\,6384 large-scale boxy/X-shaped bulge and disk. This proof-of-concept study shows that with the high spatial resolution achieved by ground-layer AO we can push such analysis to distances previously only accessible from space. SED-fitting to the NIR and optical HST photometry allowed to leverage the age-metallicity-extinction degeneracies and derive the effective NSC properties of an young to old population mass ratio of $8\%$ with ${\cal M}_{\rm\star,old}\!\simeq\!3.5\times10^7M_\odot$, Age$_{\rm old,\ young}\!=\!10.9\pm1.3$Gyr and 226\,Myr $\pm62\%$, metallicity [M/H]$=\!-0.11\pm0.16$ and $0.33\pm39\%$dex, and $E(B\!-\!V)\!=\!0.63$ and 1.44mag.


title: Some further results on squarefree arithmetic progressions in infinite words

abstract: In a recent paper, one of us posed three open problems concerning squarefree arithmetic progressions in infinite words. In this note we solve these problems and prove some additional results.


title: Very long-lived Stop NLSP in MSSM scenarios with Gravitino LSP

abstract: We present the calculation of the stop ($\tilde{t}$) lifetime that results from its decay into gravitinos ($\tilde{\Psi}^{\mu}$) in the final state, namely $\tilde{t}\to \tilde{\Psi}^{\mu} + X$, where $X=t, bW, b l\nu_l$ for the two-, three- and four-body decay modes. The full calculation is obtained using the Feynman rules for massive gravitino, which is compared with the results obtained employing the equivalence theorem, where the longitudinal component of the gravitino is replaced by the goldstino. The stop turns out to be very long-lived in these scenarios, with lifetimes of $\mathcal{O}$($10^8$s, $10^{14}$s, $10^{20}$s) for the corresponding 2-,3- and 4-body modes under consideration, and therefore all of them are safe from the big bang nucleosynthesis problem. However, the lifetime for the four body decay mode occurs during the epoch of galaxy formation. When the stop is produce at colliders, in these scenarios, it will hadronize and decay outside of the detector, even for the lowest values of stop lifetime.


title: Spectra of biperiodic planar networks

abstract: A biperiodic planar network is a pair $(G,c)$ where $G$ is a graph embedded on the torus and $c$ is a function from the edges of $G$ to non-zero complex numbers. Associated to the discrete Laplacian on a biperiodic planar network is its spectrum: a triple $(C,S,\nu)$, where $C$ is a curve and $S$ is a divisor on it. We give a complete classification of networks (modulo a natural equivalence) in terms of their spectral data. The space of networks has a large group of cluster automorphisms arising from the $Y-\Delta$ transformations. We show that the spectrum provides action-angle coordinates for the discrete cluster integrable systems defined by these automorphisms.


title: Classical versus quantum views of intense laser pulse propagation in gases

abstract: We study the behavior of reduced models for the propagation of intense laser pulses in atomic gases. The models we consider incorporate ionization, blueshifting, and other nonlinear propagation effects in an ab initio manner, by explicitly taking into account the microscopic electron dynamics. Numerical simulations of the propagation of ultrashort linearly-polarized and elliptically-polarized laser pulses over experimentally-relevant propagation distances are presented. We compare the behavior of models where the electrons are treated classically with those where they are treated quantum-mechanically. A classical equivalent to the ground state is found, which maximizes the agreement between the quantum and classical predictions of the single-atom ionization probability as a function of laser intensity. We show that this translates into quantitative agreement between the quantum and classical models for the laser field evolution during propagation through gases of ground-state atoms. This agreement is exploited to provide a classical perspective on low- and high-order harmonic generation in linearly-polarized fields. In addition, we demonstrate the stability of the polarization of a nearly-linearly-polarized pulse using a two-dimensional model.


title: Robust Anomaly Detection in Images using Adversarial Autoencoders

abstract: Reliably detecting anomalies in a given set of images is a task of high practical relevance for visual quality inspection, surveillance, or medical image analysis. Autoencoder neural networks learn to reconstruct normal images, and hence can classify those images as anomalies, where the reconstruction error exceeds some threshold. Here we analyze a fundamental problem of this approach when the training set is contaminated with a small fraction of outliers. We find that continued training of autoencoders inevitably reduces the reconstruction error of outliers, and hence degrades the anomaly detection performance. In order to counteract this effect, an adversarial autoencoder architecture is adapted, which imposes a prior distribution on the latent representation, typically placing anomalies into low likelihood-regions. Utilizing the likelihood model, potential anomalies can be identified and rejected already during training, which results in an anomaly detector that is significantly more robust to the presence of outliers during training.


title: On the positivity, monotonicity, and stability of a semi-adaptive LOD method for solving three-dimensional degenerate Kawarada equations

abstract: This paper concerns the numerical solution of three-dimensional degenerate Kawarada equations. These partial differential equations possess highly nonlinear source terms, and exhibit strong quenching singularities which pose severe challenges to the design and analysis of highly reliable schemes. Arbitrary fixed nonuniform spatial grids, which are not necessarily symmetric, are considered throughout this study. The numerical solution is advanced through a semi-adaptive Local One-Dimensional (LOD) integrator. The temporal adaptation is achieved via a suitable arc-length monitoring mechanism. Criteria for preserving the positivity and monotonicity are investigated and acquired. The numerical stability of the splitting method is proven in the von Neumann sense under the spectral norm. Extended stability expectations are proposed and investigated.


title: Ultrasound transmission through monodisperse 2D microfoams

abstract: While the acoustic properties of solid foams have been abundantly characterized, sound propagation in liquid foams remains poorly understood. Recent studies have investigated the transmission of ultrasound through three-dimensional polydisperse liquid foams (Pierre et al., 2013, 2014, 2017). However, further progress requires to characterize the acoustic response of better controlled foam structures. In this work, we study experimentally the transmission of ultrasounds through a single layer of monodisperse bubbles generated by microfluidics techniques. In such a material, we show that the sound velocity is only sensitive to the gas phase. Nevertheless, the structure of the liquid network has to be taken into account through a transfer parameter analogous to the one in a layer of porous material. Finally, we observe that the attenuation cannot be explained by thermal dissipation alone, but is compatible with viscous dissipation in the gas pores of the monolayer.


title: Embedded CNN based vehicle classification and counting in non-laned road traffic

abstract: Classifying and counting vehicles in road traffic has numerous applications in the transportation engineering domain. However, the wide variety of vehicles (two-wheelers, three-wheelers, cars, buses, trucks etc.) plying on roads of developing regions without any lane discipline, makes vehicle classification and counting a hard problem to automate. In this paper, we use state of the art Convolutional Neural Network (CNN) based object detection models and train them for multiple vehicle classes using data from Delhi roads. We get upto 75% MAP on an 80-20 train-test split using 5562 video frames from four different locations. As robust network connectivity is scarce in developing regions for continuous video transmissions from the road to cloud servers, we also evaluate the latency, energy and hardware cost of embedded implementations of our CNN model based inferences.


title: ULDor: A Universal Lesion Detector for CT Scans with Pseudo Masks and Hard Negative Example Mining

abstract: Automatic lesion detection from computed tomography (CT) scans is an important task in medical imaging analysis. It is still very challenging due to similar appearances (e.g. intensity and texture) between lesions and other tissues, making it especially difficult to develop a universal lesion detector. Instead of developing a specific-type lesion detector, this work builds a Universal Lesion Detector (ULDor) based on Mask R-CNN, which is able to detect all different kinds of lesions from whole body parts. As a state-of-the-art object detector, Mask R-CNN adds a branch for predicting segmentation masks on each Region of Interest (RoI) to improve the detection performance. However, it is almost impossible to manually annotate a large-scale dataset with pixel-level lesion masks to train the Mask R-CNN for lesion detection. To address this problem, this work constructs a pseudo mask for each lesion region that can be considered as a surrogate of the real mask, based on which the Mask R-CNN is employed for lesion detection. On the other hand, this work proposes a hard negative example mining strategy to reduce the false positives for improving the detection performance. Experimental results on the NIH DeepLesion dataset demonstrate that the ULDor is enhanced using pseudo masks and the proposed hard negative example mining strategy and achieves a sensitivity of 86.21% with five false positives per image.


title: Multiverse: Easy Conversion of Runtime Systems into OS Kernels via Automatic Hybridization

abstract: The hybrid runtime (HRT) model offers a path towards high performance and efficiency. By integrating the OS kernel, runtime, and application, an HRT allows the runtime developer to leverage the full feature set of the hardware and specialize OS services to the runtime's needs. However, conforming to the HRT model currently requires a port of the runtime to the kernel level, for example to the Nautilus kernel framework, and this requires knowledge of kernel internals. In response, we developed Multiverse, a system that bridges the gap between a built-from-scratch HRT and a legacy runtime system. Multiverse allows unmodified applications and runtimes to be brought into the HRT model without any porting effort whatsoever by splitting the execution of the application between the domains of a legacy OS and an HRT environment. We describe the design and implementation of Multiverse and illustrate its capabilities using the massive, widely-used Racket runtime system.


title: Design Consideration on a Polarized Gas Target for the LHC

abstract: Since 2017, the LHCSpin study group is investigating the installation of a HERMES-type polarized gas target (PGT) in front of the LHCb detector in order to perform Single-Spin Transverse Asymmetry (SSTA) measurements. In cooperation with LHC experts, the conditions for applying a PGT are being studied. As a viable option, a cold openable storage cell is considered. A key role for avoiding instabilities of the 7 TeV proton beam is the choice of a proper coating and the suppression of wake fields. A first warm (300 K) test storage cell is planned for installation in 2019 inside the VELO vessel, subject to final approval. It will improve the ongoing SMOG program of LHCb fixed target measurements, and will provide valuable experience of running a storage cell in the harsh LHC environment. The status of the design considerations on a PGT in the LHC beam and of the discussion of critical machine issues is presented.


title: Ideals of direct products of rings

abstract: It is known that an ideal of a direct product of commutative unitary rings is directly decomposable into ideals of the corresponding factors. We show that this does not hold in general for commutative rings and we find necessary and sufficient conditions for direct decomposability of ideals. For varieties of commutative rings we derive a Mal'cev type condition characterizing direct decomposability of ideals and we determine explicitly all varieties satisfying this condition.


title: Tunable Approximations to Control Time-to-Solution in an HPC Molecular Docking Mini-App

abstract: The drug discovery process involves several tasks to be performed in vivo, in vitro and in silico. Molecular docking is a task typically performed in silico. It aims at finding the three-dimensional pose of a given molecule when it interacts with the target protein binding site. This task is often done for virtual screening a huge set of molecules to find the most promising ones, which will be forwarded to the later stages of the drug discovery process. Given the huge complexity of the problem, molecular docking cannot be solved by exploring the entire space of the ligand poses. State-of-the-art approaches face the problem by sampling the space of the ligand poses to generate results in a reasonable time budget. In this work, we improve the geometric approach to molecular docking by introducing tunable approximations. In particular, we analyzed and enriched the original implementation with tunable software knobs to explore and control the performance-accuracy tradeoffs. We modeled time-to-solution of the virtual screening task as a function of software knobs, input data features, and available computational resources. Therefore, the application can autotune its configuration according to a user-defined time budget. We used a Mini-App derived by LiGenDock - a state-of-the-art molecular docking application - to validate the proposed approach. We run the enhanced Mini-App on an HPC system by using a very large database of pockets and ligands. The proposed approach exposes a time-to-solution interval spanning more than one order of magnitude with accuracy degradation up to 30%, more in general providing different accuracy levels according to the needs of the virtual screening campaign.


title: The Solar Neighborhood XLV. The Stellar Multiplicity Rate of M Dwarfs Within 25 pc

abstract: We present results of the largest, most comprehensive study ever done of the stellar multiplicity of the most common stars in the Galaxy, the red dwarfs. We have conducted an all-sky, volume-limited survey for stellar companions to 1120 M dwarf primaries known to lie within 25 pc of the Sun via trigonometric parallaxes. In addition to a comprehensive literature search, stars were explored in new surveys for companions at separations of 2" to 300". A reconnaissance of wide companions to separations of 300" was done via blinking archival images. I-band images were used to search our sample for companions at separations of 2" to 180". Various astrometric and photometric methods were used to probe the inner 2" to reveal close companions. We report the discovery of 20 new companions and identify 56 candidate multiple systems. We find a stellar multiplicity rate of 26.8 +/- 1.4% and a stellar companion rate of 32.4 +/- 1.4% for M dwarfs. There is a broad peak in the separation distribution of the companions at 4 -- 20 AU, with a weak trend of smaller projected linear separations for lower mass primaries. A hint that M dwarf multiplicity may be a function of tangential velocity is found, with faster moving, presumably older, stars found to be multiple somewhat less often. We calculate that stellar companions make up at least 17% of mass attributed to M dwarfs in the solar neighborhood, with roughly 11% of M dwarf mass hidden as unresolved companions. Finally, when considering all M dwarf primaries and companions, we find that the mass distribution for M dwarfs increases to the end of the stellar main sequence.


title: On a Nonuniform Crank-Nicolson Scheme for Solving the Stochastic Kawarada Equation via Arbitrary Grids

abstract: This paper studies a nonuniform finite difference method for solving the degenerate Kawarada quenching-combustion equation with a vibrant stochastic source. Arbitrary grids are introduced in both space and time via adaptive principals to accommodate the uncertainty and singularities involved. It is shown that, under proper constraints on mesh step sizes, the positivity, monotonicity of the solution, and numerical stability of the scheme developed are well preserved. Numerical experiments are given to illustrate our conclusions.


title: Transits of Inclined Exomoons - Hide and Seek and an Application to Kepler-1625

abstract: A Neptune-sized exomoon candidate was recently announced by Teachey & Kipping, orbiting a 287 day gas giant in the Kepler-1625 system. However, the system is poorly characterized and needs more observations to be confirmed, with the next potential transit in 2019 May. In this Letter, we aid observational follow up by analyzing the transit signature of exomoons. We derive a simple analytic equation for the transit probability and use it to demonstrate how exomoons may frequently avoid transit if their orbit is larger than the stellar radius and sufficiently misaligned. The nominal orbit for the moon in Kepler-1625 has both of these characteristics, and we calculate that it may only transit roughly 40% of the time. This means that approximately six non-transits would be required to rule out the moon's existence at 95% confidence. When an exomoon's impact parameter is displaced off the star, the planet's impact parameter is displaced the other way, so larger planet transit durations are typically positively correlated with missed exomoon transits. On the other hand, strong correlations do not exist between missed exomoon transits and transit timing variations of the planet. We also show that nodal precession does not change an exomoon's transit probability and that it can break a prograde-retrograde degeneracy.


title: Generation of non-classical light using semiconductor quantum dots

abstract: Sources of non-classical light are of paramount importance for future applications in quantum science and technology such as quantum communication, quantum computation and simulation, quantum sensing and quantum metrology. In this review we discuss the fundamentals and recent progress in the generation of single photons, entangled photon pairs and photonic cluster states using semiconductor quantum dots. Specific fundamentals which are discussed are a detailed quantum description of light, properties of semiconductor quantum dots and light-matter interactions. This includes a framework for the dynamic modelling of non-classical light generation and two-photon interference. Recent progress will be discussed in the generation of non-classical light for off-chip applications as well as implementations for scalable on-chip integration.


title: Outage in Motorway Multi-Lane VANETs with Hardcore Headway Distance Using Synthetic Traces

abstract: In this paper we analyze synthetic mobility traces generated for three-lane unidirectional motorway traffic to find that the locations of vehicles along a lane are better modeled by a hardcore point process instead of the widely-accepted Poisson point process (PPP). In order to capture the repulsion between successive vehicles while maintaining a level of analytical tractability, we make a simple extension to PPP: We model the inter-vehicle distance along a lane equal to the sum of a constant hardcore distance and an exponentially distributed random variable. We calculate the J-function and the Ripley's K-function for this hardcore point process. We fit its parameters to the available traces, and we illustrate that the higher the average speed along a lane, the more prominent the hardcore component becomes. In addition, we consider a transmitter-receiver link on the same lane, and we generate simple formulae for the moments of interference under reduced Palm measure for that lane, and without conditioning for other lanes. We illustrate that under Rayleigh fading a shifted-gamma approximation for the distribution of interference per lane provides a very good fit to the simulated outage probability using the synthetic traces, while the fit using the PPP is poor.


title: Uniqueness of asymptotically conical tangent flows

abstract: Singularities of the mean curvature flow of an embedded surface in R^3 are expected to be modelled on self-shrinkers that are compact, cylindrical, or asymptotically conical. In order to understand the flow before and after the singular time, it is crucial to know the uniqueness of tangent flows at the singularity. In all dimensions, assuming the singularity is multiplicity one, uniqueness in the compact case has been established by the second-named author, and in the cylindrical case by Colding-Minicozzi. We show here the uniqueness of multiplicity-one asymptotically conical tangent flows for mean curvature flow of hypersurfaces. In particular, this implies that when a mean curvature flow has a multiplicity-one conical singularity model, the evolving surface at the singular time has an (isolated) regular conical singularity at the singular point. This should lead to a complete understanding of how to "flow through" such a singularity.


title: Great Circle Fibrations and Contact Structures on Odd-Dimensional Spheres

abstract: It is known that for every smooth great circle fibration of the 3-sphere, the distribution of tangent 2-planes orthogonal to the fibres is a contact structure, in fact a tight one, but we show here that, beginning with the 5-sphere, there exist smooth great circle fibrations of all odd-dimensional spheres for which the hyperplane distribution orthogonal to the fibres is not a contact structure.


title: Convergence of an operator splitting scheme for abstract stochastic evolution equations

abstract: In this paper we study the convergence of a Lie-Trotter operator splitting for stochastic semi-linear evolution equations in a Hilbert space. The abstract Hilbert space setting allows for the consideration of convergence of the approximation for both the original and spatially discretized problems. It is known that the strong convergence of this scheme is classically of half-order, at best. We demonstrate that this is in fact the optimal order of convergence in the proposed setting, with the actual order being dependent upon the regularity of noise collected from applications.


title: Tangled Worldview Model of Opinion Dynamics

abstract: We study the joint evolution of worldviews by proposing a model of opinion dynamics, which is inspired in notions from evolutionary ecology. Agents update their opinion on a specific issue based on their propensity to change -- asserted by the social neighbours -- weighted by their mutual similarity on other issues. Agents are, therefore, more influenced by neighbours with similar worldviews (set of opinions on various issues), resulting in a complex co-evolution of each opinion. Simulations show that the worldview evolution exhibits events of intermittent polarization when the social network is scale-free. This, in turn, trigger extreme crashes and surges in the popularity of various opinions. Using the proposed model, we highlight the role of network structure, bounded rationality of agents, and the role of key influential agents in causing polarization and intermittent reformation of worldviews on scale-free networks.


title: Efficient Geometrical parametrization for Finite-Volume based Reduced Order Methods

abstract: In this work, we present an approach for the efficient treatment of parametrized geometries in the context of POD-Galerkin reduced order methods based on Finite Volume full order approximations. On the contrary to what is normally done in the framework of finite element reduced order methods, different geometries are not mapped to a common reference domain: the method relies on basis functions defined on an average deformed configuration and makes use of the Discrete Empirical Interpolation Method (D-EIM) to handle together non-affinity of the parametrization and non-linearities. In the first numerical example, different mesh motion strategies, based on a Laplacian smoothing technique and on a Radial Basis Function approach, are analyzed and compared on a heat transfer problem. Particular attention is devoted to the role of the non-orthogonal correction. In the second numerical example the methodology is tested on a geometrically parametrized incompressible Navier--Stokes problem. In this case, the reduced order model is constructed following the same segregated approach used at the full order level


title: Mathematical Models for Optimization of Grid-Integrated Energy Storage Systems

abstract: Energy storage has been proven to yield positive effects on planning, operation and control of electric grids. It has become a crucial task to properly model the energy storage systems (ESS) under the framework of grid optimization on transmission and distribution networks including microgrids. This paper presents a review on mathematical models and test cases of ESSs used for grid optimization studies, where the network constraints of power systems are included. The existing ESS models are mainly classified into two categories; linear and nonlinear models. The two main categories are further divided into several subcategories respectively; such as mixed integer linear and convex nonlinear subcategories. Based on the review and discussions, this paper aims at providing suggestions for choosing proper ESS models for specific grid optimization studies considering the chosen power network model.


title: Non-freeness of groups generated by two parabolic elements with small rational parameters

abstract: Let $q\in\mathbb{C}$, let \[a=\begin{pmatrix} 1&0\\1&1\end{pmatrix},\quad b_q=\begin{pmatrix} 1&q\\0&1\end{pmatrix},\] and let $G_q<\mathrm{SL}_2(\mathbb{C})$ be the group generated by $a$ and $b_q$. In this paper, we study the problem of determining when the group $G_q$ is not free for $|q|<4$ rational. We give a robust computational criterion which allows us to prove that if $q=s/r$ for $|s|\leq 27$ then $G_q$ is non-free, with the possible exception of $s=24$. In this latter case, we prove that the set of denominators $r\in\mathbb{N}$ for which $G_{24/r}$ is non-free has natural density $1$. For a general numerator $s>27$, we prove that the lower density of denominators $r\in \mathbb{N}$ for which $G_{s/r}$ is non-free has a lower bound \[ 1- \left(1-\frac{11}{s}\right) \prod_{n=1}^\infty \left(1-\frac{4}{s^{2^n-1}}\right). \] Finally, we show that for a fixed $s$, there are arbitrarily long sequences of consecutive denominators $r$ such that $G_{s/r}$ is non-free. The proofs of some of the results are computer assisted, and Mathematica code has been provided together with suitable documentation.


title: An information theoretic model for summarization, and some basic results

abstract: A basic information theoretic model for summarization is formulated. Here summarization is considered as the process of taking a report of $v$ binary objects, and producing from it a $j$ element subset that captures most of the important features of the original report, with importance being defined via an arbitrary set function endemic to the model. The loss of information is then measured by a weight average of variational distances, which we term the semantic loss. Our results include both cases where the probability distribution generating the $v$-length reports are known and unknown. In the case where it is known, our results demonstrate how to construct summarizers which minimize the semantic loss. For the case where the probability distribution is unknown, we show how to construct summarizers whose semantic loss when averaged uniformly over all possible distribution converges to the minimum.


title: Modular design to transform codes for the wiretap channel of type I into codes for the wiretap channel of type II

abstract: We construct a modular scheme which extends codes for wiretap channels of type I for use in wiretap channels of type II. This is done by using a concatenate and permute strategy, wherein multiple uses of the wiretap type I code are concatenated and then the joint sequence of symbols permuted. The choice of permutation is then encoded with a short code and appended to the transmitted sequence. Analysis shows essentially no degradation in operational parameters (rate, error rate, leakage) for the new code over the wiretap type II channel when compared to those of multiple uses of the original code over the wiretap type I channel.


title: Block Argumentation

abstract: We contemplate a higher-level bipolar abstract argumentation for non-elementary arguments such as: X argues against Ys sincerity with the fact that Y has presented his argument to draw a conclusion C, by omitting other facts which would not have validated C. Argumentation involving such arguments requires us to potentially consider an argument as a coherent block of argumentation, i.e. an argument may itself be an argumentation. In this work, we formulate block argumentation as a specific instance of Dung-style bipolar abstract argumentation with the dual nature of arguments. We consider internal consistency of an argument(ation) under a set of constraints, of graphical (syntactic) and of semantic nature, and formulate acceptability semantics in relation to them. We discover that classical acceptability semantics do not in general hold good with the constraints. In particular, acceptability of unattacked arguments is not always warranted. Further, there may not be a unique minimal member in complete semantics, thus sceptic (grounded) semantics may not be its subset. To retain set-theoretically minimal semantics as a subset of complete semantics, we define semi-grounded semantics. Through comparisons, we show how the concept of block argumentation may further generalise structured argumentation.


title: A new type of dark compact objects in massive tensor-multi-scalar theories of gravity

abstract: In the present paper we consider special classes of tensor-multi-scalar theories of gravity whose target-space metric admits Killing field(s) with a periodic flow. For such tensor-multi-scalar theories we show that if the dynamics of the scalar fields is confined on the periodic orbits of the Killing field(s) then there exists a new type of compact objects - the tensor-multi-scalar solitons formed by a condensation of the gravitational scalars. The existence of the tensor-multi-scalar solitons is proven by solving the fully non-linear eigenvalue problem which follows from the dimensional reduction of the field equations of tensor-multi-scalar theories of gravity. The mass of the tensor-multi-scalar solitons can range at least from the mass of a neutron star to the mass of dark objects in the center of the galaxies in dependence of mass(es) of the gravitational scalars and which sector of massive scalars is excited. These facts show that the tensor-multi-scalar solitons could have important implications for the dark matter problem. The existence of the tensor-multi-scalar solitons points towards the possibility that the dark matter, or part of it, is made of condensed gravitational scalars.


title: Semitauonic B decays at Belle/Belle II

abstract: It is experimentally observed that ratios of branching fractions for semitauonic and semileptonic $B$ decays, known as the $R(D^{(*)})$, are higher than Standard Model (SM) predictions. The $B \to \bar{D}^{(*)} \tau^{+} \nu_{\tau}$ decays, except for the branching fractions, offer also other observables, in particular, angular observables may determine spin structure of a potential New Physics (NP) providing some clues to explain the $R(D^{(*)})$ puzzle. In this review, polarization measurements in $B \to \bar{D}^{*} \tau^{+} \nu_{\tau}$ decays at Belle are presented and prospects for measurements of characteristics of semitauonic $B$ decays at Belle/Belle II are described.


title: Smart-Lock Security Re-engineered using Cryptography and Steganography

abstract: After the rise of E-commerce, social media and messenger bots, rapid developments have been made in the field of connecting things, gadgets, and devices, i.e, the Internet of Things (IoT). In the fast-paced lifestyle, it is very difficult to maintain multiple keys for traditional mechanical locks. Electromagnetic smart locks are a possible solution to this problem. To connect a smart lock with a key, Bluetooth Low Energy (BLE) protocol can be used. BLE protocol is vulnerable to Man-in-the-Middle (MITM) attack. Ensuring security over BLE is an ongoing challenge. This paper aims to analyze the MITM vulnerability of BLE and develop a possible solution for designing smart-locks with an increased level of security. The observation shows that the combination of Image Steganography and Cryptography helps to overcome the vulnerabilities of BLE protocol.


title: Quantifying the incompatibility of quantum measurements relative to a basis

abstract: Motivated by quantum resource theories, we introduce a notion of incompatibility for quantum measurements relative to a reference basis. The notion arises by considering states diagonal in that basis and investigating whether probability distributions associated with different quantum measurements can be converted into one another by probabilistic post-processing. The induced preorder over quantum measurements is directly related to multivariate majorization and gives rise to families of monotones, i.e., scalar quantifiers that preserve the ordering. For the case of orthogonal measurement we establish a quantitative connection between incompatibility, quantum coherence and entropic uncertainty relations. We generalize the construction to arbitrary POVM measurements and report complete families of monotones.


title: Coded Caching based on Combinatorial Designs

abstract: We consider the standard broadcast setup with a single server broadcasting information to a number of clients, each of which contains local storage (called \textit{cache}) of some size, which can store some parts of the available files at the server. The centralized coded caching framework, consists of a caching phase and a delivery phase, both of which are carefully designed in order to use the cache and the channel together optimally. In prior literature, various combinatorial structures have been used to construct coded caching schemes. In this work, we propose a binary matrix model to construct the coded caching scheme. The ones in such a \textit{caching matrix} indicate uncached subfiles at the users. Identity submatrices of the caching matrix represent transmissions in the delivery phase. Using this model, we then propose several novel constructions for coded caching based on the various types of combinatorial designs. While most of the schemes constructed in this work (based on existing designs) have a high cache requirement (uncached fraction being $\Theta(\frac{1}{\sqrt{K}})$ or $\Theta(\frac{1}{K})$, $K$ being the number of users), they provide a rate that is either constant or decreasing ($O(\frac{1}{K})$) with increasing $K$, and moreover require competitively small levels of subpacketization (being $O(K^i), 1\leq i\leq 3$), which is an extremely important parameter in practical applications of coded caching. We mark this work as another attempt to exploit the well-developed theory of combinatorial designs for the problem of constructing caching schemes, utilizing the binary caching model we develop.


title: SuperNNova: an open-source framework for Bayesian, Neural Network based supernova classification

abstract: We introduce SuperNNova, an open source supernova photometric classification framework which leverages recent advances in deep neural networks. Our core algorithm is a recurrent neural network (RNN) that is trained to classify light-curves using photometric information only. Additional information such as host-galaxy redshift can be incorporated to improve performance. We evaluate our framework using realistic supernovae simulations that include survey detection. We show that our method, for the type Ia vs. non Ia supernovae classification problem, reaches accuracies greater than 96.92 +- 0.09 without any redshift information and up to 99.55 +- 0.06 when redshift, either photometric or spectroscopic, is available. Further, we show that our method attains unprecedented performance for classification of incomplete light-curves, reaching accuracies >86.4 +- 0.1 (>93.5 +- 0.8) without host-galaxy redshift (with redshift information) two days before maximum light. In contrast with previous methods, there is no need for time-consuming feature engineering and we show that our method scales to very large datasets with a modest computing budget. In addition, we investigate often neglected pitfalls of machine learning algorithms. We show that commonly used algorithms suffer from poor calibration and overconfidence on out-of-distribution samples when applied to supernovae data. We devise extensive tests to estimate the robustness of classifiers and cast the learning procedure under a Bayesian light, demonstrating a much better handling of uncertainties. We study the benefits of Bayesian RNNs for SN Ia cosmology. Our code is open-sourced and available on https://github.com/supernnova/SuperNNova.


title: The time step constraint in radiation hydrodynamics

abstract: Explicit radiation hydrodynamic simulations of the atmospheres of massive stars and of convection in accretion discs around white dwarfs suffer from prohibitively short time steps due to radiation. This constraint is related to the cooling time rather than the radiative pressure, which also becomes important in hot stars and discs. We show that the radiative time step constraint is governed by the minimum of the sum of the optically thick and thin contributions rather than the smaller one of the two. In simulations with the Pencil Code, their weighting fractions are found empirically. In three-dimensional convective accretion disc simulations, the Deardorff term is found to be the main contributor to the enthalpy flux rather than the superadiabatic gradient. We conclude with a discussion of how the radiative time step problem could be mitigated in certain types of investigations.


title: Simultaneous Confidence Bands for Functional Data Using the Gaussian Kinematic Formula

abstract: This article constructs simultaneous confidence bands (SCBs) for functional parameters using the Gaussian Kinematic formula of $t$-processes (tGKF). Although the tGKF relies on Gaussianity, we show that a central limit theorem (CLT) for the parameter of interest is enough to obtain asymptotically precise covering rates even for non-Gaussian processes. As a proof of concept we study the functional signal-plus-noise model and derive a CLT for an estimator of the Lipschitz-Killing curvatures, the only data dependent quantities in the tGKF SCBs. Extensions to discrete sampling with additive observation noise are discussed using scale space ideas from regression analysis. Here we provide sufficient conditions on the processes and kernels to obtain convergence of the functional scale space surface. The theoretical work is accompanied by a simulation study comparing different methods to construct SCBs for the population mean. We show that the tGKF works well even for small sample sizes and only a Rademacher multiplier-$t$ bootstrap performs similarily well. For larger sample sizes the tGKF often outperforms the bootstrap methods and is computational faster. We apply the method to diffusion tensor imaging (DTI) fibers using a scale space approach for the difference of population means. R code is available in our Rpackage SCBfda.


title: Extended stellar systems in the solar neighborhood - II. Discovery of a nearby 120{\deg} stellar stream in Gaia DR2

abstract: We report the discovery of a large, dynamically cold, coeval stellar stream that is currently traversing the immediate solar neighborhood at a distance of only 100 pc. The structure was identified in a wavelet decomposition of the 3D velocity space of all stars within 300 pc to the Sun. Its members form a highly elongated structure with a length of at least 400 pc, while its vertical extent measures only about 50 pc. Stars in the stream are not isotropically distributed but instead form two parallel lanes with individual local overdensities, that may correspond to a remnant core of a tidally disrupted cluster or OB association. Its members follow a very well-defined main sequence in the observational Hertzsprung-Russel diagram and also show a remarkably low 3D velocity dispersion of only 1.3 km s$^{-1}$. These findings strongly suggest a common origin as a single coeval stellar population. An extrapolation of the present-day mass function indicates a total mass of at least 2000 M$_\odot$, making it larger than most currently known clusters or associations in the solar neighborhood. We estimated the stream's age to be around 1 Gyr based on a comparison with a set of isochrones and giant stars in our member selection and find a mean metallicity of $\left[ \mathrm{Fe/H} \right] = -0.04$. This structure may very well represent the Galactic disk counterpart to the prominent stellar streams observed in the Milky Way halo. As such, it constitutes a new valuable probe to constrain the Galaxy's mass distribution.


title: Generalized no-hair theorems without horizons

abstract: The simplicity of black holes, as characterized by no-hair theorems, is one of the most important mathematical results in the framework of general relativity. Are these theorems unique to black hole spacetimes, or do they also constrain the geometry around regions of spacetime with arbitrarily large (although finite) redshift? This paper presents a systematic study of this question and illustrates that no-hair theorems are not restricted to spacetimes with event horizons but are instead characteristic of spacetimes with deep enough gravitational wells, extending Israel's theorem to static spacetimes without event horizons that contain small deviations from spherical symmetry. Instead of a uniqueness result, we obtain a theorem that constrains the allowed deviations from the Schwarzschild metric and guarantees that these deviations decrease with the maximum redshift of the gravitational well in the external vacuum region. Israel's theorem is recovered continuously in the limit of infinite redshift. This result provides a first extension of no-hair theorems to ultracompact stars, wormholes, and other exotic objects, and paves the way for the construction of similar results for stationary spacetimes describing rotating objects.


title: The Jet Shape at NLL$'$

abstract: The jet shape is the fraction of the jet energy within a cone $r$ centered on the jet axis. We calculate the jet shape distribution at next-to-leading logarithmic accuracy plus next-to-leading order (NLL$'$), accounting for logarithms of both the jet radius $R$ and the ratio $r/R$. This is the first phenomenological study that takes the recoil of the jet axis due to soft radiation into account, which is needed to reach this accuracy, but complicates the calculation of collinear radiation and requires the treatment of rapidity logarithms and non-global logarithms. We present numerical results, finding good agreement with ATLAS and CMS measurements of the jet shape in an inclusive jet sample, $pp \to {\rm jet}+X$, for different kinematic bins. The effect of the underlying event and hadronization are included using a simple one-parameter model, since they are not part of our perturbative calculation.


title: Suppressed CO emission and high G/D ratios in z=2 galaxies with sub-solar gas-phase metallicity

abstract: We study a population of significantly sub-solar enrichment galaxies at z=1.99, to investigate how molecular gas, dust and star-formation relate in low-metallicity galaxies at the peak epoch of star-formation. We target our sample with several deep ALMA and VLA datasets, and find no individual detections of CO[4-3], CO[1-0] or dust, in stark contrast to the $>$60% detection rate expected for solar-enrichment galaxies with these MS Halpha SFRs. We find that both low and high density molecular gas (traced by CO[1-0] and CO[4-3] respectively) are affected by the low enrichment, showing sample average (stacked) luminosity deficits $>$0.5-0.7 dex below expectations. This is particularly pertinent for the use of high-J CO emission as a proxy of instantaneous star-formation rate. Our individual galaxy data and stacked constraints point to a strong inverse dependence $\propto Z^{\gamma}$ of gas-to-dust ratios (G/D) and CO-to-H$_{2}$ conversion factors (aco) on metallicity at z$\sim$2, with $\gamma_{\rm G/D}<$-2.2 and $\gamma_{\alpha_{\rm CO}}<$-0.8, respectively. We quantify the importance of comparing G/D and aco vs. metallicity trends from the literature on a common, suitably normalised metallicity scale. When accounting for systematic offsets between different metallicity scales, our z$\sim$2 constraints on these scaling relations are consistent with the corresponding relations for local galaxies. However, among those local relations, we favour those with a steep/double power-law dependence of G/D on metallicity. Finally, we discuss the implications of these findings for (a) gas mass measurements for sub-M$^{*}$ galaxies, and (b) efforts to identify the characteristic galaxy mass scale contributing most to the comoving molecular gas density at z=2.


title: The Imprint of Element Abundance Patterns on Quiescent Galaxy SEDs

abstract: Stellar population synthesis (SPS) models have long struggled to reproduce observed optical through near-IR (NIR) spectral energy distributions (SED) of massive quiescent galaxies. We revisit this issue using a novel approach that combines the diagnostic power of full-spectrum fitting with recently updated stellar spectral libraries. First, we perform full-spectrum fitting of continuum-normalized stacked SDSS spectra in bins of velocity dispersion to infer their stellar population properties, such as the elemental abundances and age. Next, we use the resulting best-fit parameters to compute $ugriz$ colors, which are then compared to observed colors of the same galaxies. With this approach we are able to predict the $ugriz$ SEDs of low and high mass galaxies at the $\lesssim 0.03$ mag level in nearly all cases. We find that the full optical through NIR SEDs of quiescent galaxies can be reproduced only when the spectrum is fit with a flexibility that is able to capture the behavior of the entire optical absorption line spectrum. The models include variations in individual elemental abundances, nebular emission lines, and the presence of young stellar components. The successful prediction of the SED shape from continuum-normalized spectra implies that the continuum information is largely contained in the narrow absorption features. These results also imply that attempts to model broadband photometry of quiescent systems will suffer from potentially significant biases if the detailed abundance patterns are not taken into account.


title: A general framework to test gravity using galaxy clusters II: A universal model for the halo concentration in $f(R)$ gravity

abstract: We present a novel fitting formula for the halo concentration enhancement in chameleon $f(R)$ gravity relative to General Relativity (GR). The formula is derived by employing a large set of $N$-body simulations of the Hu-Sawicki $f(R)$ model which cover a wide range of model and cosmological parameters, resolutions and simulation box sizes. The complicated dependence of the concentration on halo mass $M$, redshift $z$, and the $f(R)$ and cosmological parameters can be combined into a simpler form that depends only on a rescaled mass $M/10^{p_2}$, with $p_2\equiv1.5\log_{10}\left[|{\bar{f}_R(z)}|/(1+z)\right]+21.64$ and $\bar{f}_R(z)$ the background scalar field at $z$, irrespective of the $f(R)$ model parameter. Our fitting formula can describe the concentration enhancement well for redshifts $z\leq3$, nearly 7 orders of magnitude in $M/10^{p_2}$ and five decades in halo mass. This is part of a series of works which aims to provide a general framework for self-consistent and unbiased tests of gravity using present and upcoming galaxy cluster surveys. The fitting formula, which is the first quantitative model for the concentration enhancement due to chameleon type modified gravity, is an important part in this framework and will allow continuous exploration of the parameter space. It can also be used to model other statistics such as the matter power spectrum.


title: Structural and dynamical modeling of WINGS clusters. II. The orbital anisotropies of elliptical, spiral and lenticular galaxies

abstract: The Bayesian MAMPOSSt mass/orbit modeling algorithm is used to jointly fit the distribution of elliptical, spiral (and irregular), and lenticular galaxies in projected phase space, on 3 stacked clusters (with normalized positions and velocities) of 54 regular clusters from the WINGS survey, with at least 30 member velocities. Our stacked clusters contain ~5000 galaxies with available velocities and morphological types. 30 runs of MAMPOSSt with different priors are presented. The highest MAMPOSSt likelihoods are obtained for generalized NFW models with steeper inner slope, free-index Einasto models, and double NFW models for the cluster and the brightest cluster galaxy. However, there is no strong Bayesian evidence for a steeper profile than the NFW model. The mass concentration matches the predictions from cosmological simulations. Ellipticals usually trace best the mass distribution, while S0s are close. Spiral galaxies show increasingly radial orbits at increasing radius, as do S0s on two stacks, and ellipticals on one stack. The inner orbits of all three types in the 3 stacks are consistent with isotropy. Spiral galaxies should transform rapidly into early-types given their much larger extent in clusters. Outer radial orbits are expected for the spirals, a consequence of their recent radial infall into the cluster. The less radial orbits we find for early-types could be related to the longer time spent by these galaxies in the cluster. We demonstrate that two-body relaxation is too slow to explain the inner isotropy of the early types, which suggests that inner isotropy is the consequence of violent relaxation during major cluster mergers or dynamical friction and tidal braking acting on subclusters. We propose that the inner isotropy of the short-lived spirals is a selection effect of spirals passing only once through pericenter before being transformed into early-type morphologies.


title: Clocking the assembly of double-barred galaxies with the MUSE TIMER project

abstract: The formation of two stellar bars within a galaxy has proved challenging for numerical studies. It is yet not clear whether the inner bar is born via a star formation process promoted by gas inflow along the outer bar, or whether it is dynamically assembled from instabilities in a small-scale stellar disc. Observational constraints to these scenarios are scarce. We present a thorough study of the stellar content of two double-barred galaxies observed by the MUSE TIMER project, NGC 1291 and NGC 5850, combined with a two-dimensional multi-component photometric decomposition performed on the 3.6{\mu}m images from S4G. Our analysis confirms the presence of {\sigma}-hollows appearing in the stellar velocity dispersion distribution at the ends of the inner bars. Both galaxies host inner discs matching in size with the inner bars, suggestive of a dynamical formation for the inner bars from small-scale discs. The analysis of the star formation histories for the structural components shaping the galaxies provides constraints on the epoch of dynamical assembly of the inner bars, which took place >6.5 Gyr ago for NGC 1291 and >4.5 Gyr ago for NGC 5850. This implies that inner bars are long-lived structures.


title: Impurity-potential-induced gap at the Dirac point of topological insulators with in-plane magnetization

abstract: The quantum anomalous Hall effect (QAHE), characterized by dissipationless quantized edge transport, relies crucially on a non-trivial topology of the electronic bulk bandstructure and a robust ferromagnetic order that breaks time-reversal symmetry. Magnetically-doped topological insulators (TIs) satisfy both these criteria, and are the most promising quantum materials for realizing the QAHE. Because the spin of the surface electrons aligns along the direction of magnetic-impurity exchange field, only magnetic TIs with an out-of-plane magnetization are thought to open a gap at the Dirac point (DP) of the surface states, resulting in the QAHE. Using a continuum model supported by atomistic tight-binding and first-principles calculations of transition-metal doped Bi$_2$Se$_3$, we show that a surface-impurity potential generates an additional effective magnetic field which spin-polarizes the surface electrons along the direction perpendicular to the surface. The predicted gap-opening mechanism results from the interplay of this additional field and the in-plane magnetization that shifts the position of the DP away from the $\Gamma$ point. This effect is similar to the one originating from the hexagonal warping correction of the bandstructure but is one order of magnitude stronger. Our calculations show that in a doped TI with in-plane magnetization the impurity-potential-induced gap at the DP is comparable to the one opened by an out-of-plane magnetization.


title: Deep learning for seismic phase detection and picking in the aftershock zone of 2008 Mw7.9 Wenchuan earthquake

abstract: The increasing volume of seismic data from long-term continuous monitoring motivates the development of algorithms based on convolutional neural network (CNN) for faster and more reliable phase detection and picking. However, many less studied regions lack a significant amount of labeled events needed for traditional CNN approaches. In this paper, we present a CNN-based Phase- Identification Classifier (CPIC) designed for phase detection and picking on small to medium sized training datasets. When trained on 30,146 labeled phases and applied to one-month of continuous recordings during the aftershock sequences of the 2008 MW 7.9 Wenchuan Earthquake in Sichuan, China, CPIC detects 97.5% of the manually picked phases in the standard catalog and predicts their arrival times with a five-times improvement over the ObsPy AR picker. In addition, unlike other CNN-based approaches that require millions of training samples, when the off-line training set size of CPIC is reduced to only a few thousand training samples the accuracy stays above 95%. The online implementation of CPIC takes less than 12 hours to pick arrivals in 31-day recordings on 14 stations. In addition to the catalog phases manually picked by analysts, CPIC finds more phases for existing events and new events missed in the catalog. Among those additional detections, some are confirmed by a matched filter method while others require further investigation. Finally, when tested on a small dataset from a different region (Oklahoma, US), CPIC achieves 97% accuracy after fine tuning only the fully connected layer of the model. This result suggests that the CPIC developed in this study can be used to identify and pick P/S arrivals in other regions with no or minimum labeled phases.


title: Stochastic modelling of a freely rotating disk facing a uniform flow

abstract: The fluid-structure interaction between a thin circular disk and its turbulent wake is investigated experimentally and described with a low-order stochastic model. The disk faces a uniform flow at Reynolds number Re=133 000 and can rotate around one of its diameters. It is equipped with instantaneous pressure measurements to give the aerodynamic loading; moments and centre of pressure of the front and base sides. When the disk is fixed and aligned, symmetry-breaking vortex shedding is observed and all orientations are visited with equal probability, yielding axisymmetric long-term statistics. Very-low-frequency antisymmetric modes as recently observed by Rigas et al. (2014) are not observed unless the disk shape is modified into that of a bullet, showing the importance of the separation angle. It suggests that these modes are linearly stable for the disk while they are unstable for the bullet shape. When the disk is fixed and inclined, the base center of pressure (CoP) shifts preferentially towards one side of the rotation axis. Finally, when the disk is free to rotate, the front moment is proportional to the disk inclination (aerodynamic stiffness), while the base moment is well correlated with the disk inclination. From these observations, a low-order model is derived that couples (i) the CoP, forced stochastically by the turbulent flow, and (ii) the disk inclination, as a linear harmonic oscillator forced by the base moment. The model captures well the main statistic and dynamics features observed experimentally. One difference lies in the distribution of the disk inclination (which features exponential tails in the measurements but is Gaussian in the model), suggesting a possible refinement with non-linearities or time delays. The model is expected to capture coupled dynamics in other systems involving turbulent wakes behind freely rotating bluff bodies.


title: Hermite-Poulain theorems for linear finite difference operators

abstract: We establish analogues of the Hermite-Poulain theorem for linear finite difference operators with constant coefficients defined on sets of polynomials with roots on a straight line, in a strip, or in a half-plane. We also consider the central finite difference operator of the form $$ \Delta_{\theta, h}(f)(z)=e^{i\theta}f(z+ih)-e^{-i\theta}f(z-ih), \quad\theta\in[0,\pi),\ \ h\in\mathbb{C}\setminus\{0\}, $$ where $f$ is a polynomial or an entire function of a certain kind, and prove that the roots of $\Delta_{\theta, h}(f)$ are simple under some conditions. Moreover, we prove that the operator $\Delta_{\theta, h}$ does not decrease the mesh on the set of polynomials with roots on a line and find the minimal mesh. The asymptotics of the roots of $\Delta_{\theta, h}(p)$ as $|h|\to\infty$ is found for any complex polynomial $p$. Some other interesting roots preserving properties of the operator $\Delta_{\theta, h}$ are also studied, and a few examples are presented.


title: A Utility-Driven Multi-Queue Admission Control Solution for Network Slicing

abstract: The combination of recent emerging technologies such as network function virtualization (NFV) and network programmability (SDN) gave birth to the Network Slicing revolution. 5G networks consist of multi-tenant infrastructures capable of offering leased network "slices" to new customers (e.g., vertical industries) enabling a new telecom business model: Slice-as-aService (SlaaS). In this paper, we aim i ) to study the slicing admission control problem by means of a multi-queuing system for heterogeneous tenant requests, ii ) to derive its statistical behavior model, and iii ) to provide a utility-based admission control optimization. Our results analyze the capability of the proposed SlaaS system to be approximately Markovian and evaluate its performance as compared to legacy solutions.


title: Linear and Second-order Geometry Perturbations on Spacetimes with Torsion

abstract: In order to study gravitational waves in any realistic astrophysical scenario, one must consider geometry perturbations up to second order. Here, we present a general technique for studying linear and quadratic perturbations on a spacetime with torsion. Besides the standard metric mode, a "torsionon" perturbation mode appears. This torsional mode will be able to propagate only in a certain kind of theories.


title: Slim LSTM networks: LSTM_6 and LSTM_C6

abstract: We have shown previously that our parameter-reduced variants of Long Short-Term Memory (LSTM) Recurrent Neural Networks (RNN) are comparable in performance to the standard LSTM RNN on the MNIST dataset. In this study, we show that this is also the case for two diverse benchmark datasets, namely, the review sentiment IMDB and the 20 Newsgroup datasets. Specifically, we focus on two of the simplest variants, namely LSTM_6 (i.e., standard LSTM with three constant fixed gates) and LSTM_C6 (i.e., LSTM_6 with further reduced cell body input block). We demonstrate that these two aggressively reduced-parameter variants are competitive with the standard LSTM when hyper-parameters, e.g., learning parameter, number of hidden units and gate constants are set properly. These architectures enable speeding up training computations and hence, these networks would be more suitable for online training and inference onto portable devices with relatively limited computational resources.


title: Scotogenic Dark Symmetry as a residual subgroup of Standard Model Symmetries

abstract: We show that the scotogenic dark symmetry can be obtained as a residual subgroup of the global $U(1)_{B-L}$ symmetry already present in Standard Model. We propose a general framework where the $U(1)_{B-L}$ symmetry is spontaneously broken to an even $\mathcal{Z}_{2n}$ subgroup, setting the general conditions for neutrinos to be Majorana and the dark matter stability in terms of the residual $\mathcal{Z}_{2n}$. Under this general framework, as examples, we build a class of simple models where, in the scotogenic spirit, the dark matter candidate is the lightest particle running inside the neutrino mass loop. The global $U(1)_{B-L}$ symmetry in our framework being anomaly free can also be gauged in a straightforward manner leading to a richer phenomenology.


title: Multisource Region Attention Network for Fine-Grained Object Recognition in Remote Sensing Imagery

abstract: Fine-grained object recognition concerns the identification of the type of an object among a large number of closely related sub-categories. Multisource data analysis, that aims to leverage the complementary spectral, spatial, and structural information embedded in different sources, is a promising direction towards solving the fine-grained recognition problem that involves low between-class variance, small training set sizes for rare classes, and class imbalance. However, the common assumption of co-registered sources may not hold at the pixel level for small objects of interest. We present a novel methodology that aims to simultaneously learn the alignment of multisource data and the classification model in a unified framework. The proposed method involves a multisource region attention network that computes per-source feature representations, assigns attention scores to candidate regions sampled around the expected object locations by using these representations, and classifies the objects by using an attention-driven multisource representation that combines the feature representations and the attention scores from all sources. All components of the model are realized using deep neural networks and are learned in an end-to-end fashion. Experiments using RGB, multispectral, and LiDAR elevation data for classification of street trees showed that our approach achieved 64.2% and 47.3% accuracies for the 18-class and 40-class settings, respectively, which correspond to 13% and 14.3% improvement relative to the commonly used feature concatenation approach from multiple sources.


title: Abrupt efficiency collapse in real-world complex weighted networks: robustness decrease with link weights heterogeneity

abstract: Here we report a comprehensive analysis of the robustness of five high-quality real-world complex weighted networks to errors and attacks of nodes and links. We analyze C. Elegans, Cargo ship, E. Coli, Us Airports and Human brain real-world complex weighted networks. We use measures of the network damage conceived for a binary (e.g. largest connected cluster LCC, and binary efficiency Effbin) or a weighted network structure (e.g. the efficiency Eff, and the total energy-information En). We find that removing a very small fraction of nodes and links with respectively higher strength and weight triggers an abrupt collapse of the weighted functioning measures while measures that evaluate the binary-topological connectedness are almost unaffected. These findings unveil a problematic response-state of the real-world complex networks where the attack of a small fraction of nodes-links returns these systems in a connected but highly inefficient state. Our findings unveil how the robustness may be heavily overestimated focusing on the connectedness of the components only. Last, to understand how the networks robustness is generally affected by link weights heterogeneity, we randomly assign link weights over the topological structure of the real-world networks. We find that highly heterogeneous networks experienced a faster efficiency decrease under nodes-links removal: i.e. the robustness of the real-world complex networks against both random than attack is negatively correlated with links weight heterogeneity.


title: Learning a Deep Convolution Network with Turing Test Adversaries for Microscopy Image Super Resolution

abstract: Adversarially trained deep neural networks have significantly improved performance of single image super resolution, by hallucinating photorealistic local textures, thereby greatly reducing the perception difference between a real high resolution image and its super resolved (SR) counterpart. However, application to medical imaging requires preservation of diagnostically relevant features while refraining from introducing any diagnostically confusing artifacts. We propose using a deep convolutional super resolution network (SRNet) trained for (i) minimising reconstruction loss between the real and SR images, and (ii) maximally confusing learned relativistic visual Turing test (rVTT) networks to discriminate between (a) pair of real and SR images (T1) and (b) pair of patches in real and SR selected from region of interest (T2). The adversarial loss of T1 and T2 while backpropagated through SRNet helps it learn to reconstruct pathorealism in the regions of interest such as white blood cells (WBC) in peripheral blood smears or epithelial cells in histopathology of cancerous biopsy tissues, which are experimentally demonstrated here. Experiments performed for measuring signal distortion loss using peak signal to noise ratio (pSNR) and structural similarity (SSIM) with variation of SR scale factors, impact of rVTT adversarial losses, and impact on reporting using SR on a commercially available artificial intelligence (AI) digital pathology system substantiate our claims.


title: Evolution of charge order topology across a magnetic phase transition in cuprate superconductors

abstract: Charge order is now accepted as an integral constituent of cuprate high-temperature superconductors, one that is intimately related to other instabilities in the phase diagram including antiferromagnetism and superconductivity. Unlike nesting-induced Peierls-like density waves, the charge correlations in the CuO2 planes have been predicted to display a rich momentum space topology depending on the detailed fermiology of the system. However, to date charge order has only been observed along the high-symmetry Cu-O bond directions. Here, using resonant soft X-ray scattering, we investigate the evolution of the full momentum space topology of charge correlations in Ln2CuO4 (Ln=Nd, Pr) as a function of intrinsic electron doping. We report that, upon electron doping the parent Mott insulator, charge correlations first emerge in a hitherto-unobserved form, with full (Cinf) rotational symmetry in momentum-space. At higher doping levels, the orientation of charge correlations is sharply locked to the Cu-O bond high-symmetry directions, restoring a more conventional bidirectional charge order with enhanced correlation lengths. Through charge susceptibility calculations, we closely reproduce the drastic evolution in the topology of charge correlations across an antiferromagnetic quantum phase transition, highlighting the interplay between spin and charge degrees of freedom in electron-doped cuprates. Finally, using the established link between charge correlations and the underlying fermiology, we propose a revised phase diagram of Ln2CuO4 with a superconducting region extending toward the Mott limit.


title: Complexity and expressivity of propositional dynamic logics with finitely many variables

abstract: We investigate the complexity of satisfiability for finite-variable fragments of propositional dynamic logics. We consider three formalisms belonging to three representative complexity classes, broadly understood,---regular PDL, which is EXPTIME-complete, PDL with intersection, which is 2EXPTIME-complete, and PDL with parallel composition, which is undecidable. We show that, for each of these logics, the complexity of satisfiability remains unchanged even if we only allow as inputs formulas built solely out of propositional constants, i.e. without propositional variables. Moreover, we show that this is a consequence of the richness of the expressive power of variable-free fragments: for all the logics we consider, such fragments are as semantically expressive as entire logics. We conjecture that this is representative of PDL-style, as well as closely related, logics.


title: Metasurfaces for near-eye augmented reality

abstract: Augmented reality (AR) has the potential to revolutionize the way in which information is presented by overlaying virtual information onto a person's direct view of their real-time surroundings. By placing the display on the surface of the eye, a contact lens display (CLD) provides a versatile solution for compact AR. However, an unaided human eye cannot visualize patterns on the CLD simply because of the limited accommodation of the eye. Here, we introduce a holographic display technology that casts virtual information directly to the retina so that the eye sees it while maintaining the visualization of the real-world intact. The key to our design is to introduce metasurfaces to create a phase distribution that projects virtual information in a pixel-by-pixel manner. Unlike conventional holographic techniques, our metasurface-based technique is able to display arbitrary patterns using a single passive hologram. With a small form-factor, the designed metasurface empowers near-eye AR excluding the need of extra optical elements, such as a spatial light modulator, for dynamic image control.


title: Prescribing Morse scalar curvatures: critical points at infinity

abstract: The problem of prescribing conformally the scalar curvature of a closed Riemannian manifold as a given Morse function reduces to solving an elliptic partial differential equation with critical Sobolev exponent. Two ways of attacking this problem consist in subcritical approximations or negative pseudo gradient flows. We show under a mild none degeneracy assumption the equivalence of both approaches with respect to zero weak limits, in particular an one to one correspondence of zero weak limit finite energy subcritical blow-up solutions, zero weak limit critical points at infinity of negative type and sets of critical points with negative Laplacian of the function to be prescribed.


title: A Correction for GALEX Spectroscopic UV Flux Distributions from Comparisons with CALSPEC and IUE

abstract: The CALSPEC database of absolute spectral energy distributions (SEDs) from the Hubble Space Telescope (HST) is based on pure hydrogen model atmosphere calculations for three unreddened white dwarf (WD) stars and represents the current UV flux calibration standard with a precision approaching 1% for well observed stars. Following our previous work to correct IUE fluxes, this paper provides an average correction for the GALEX spectral database that places GALEX fluxes on the current CALSPEC scale. Our correction is derived by comparing GALEX spectroscopic flux distributions with CALSPEC and corrected IUE SEDs. This re-calibration is relevant for any project based on GALEX archival spectroscopic data, e.g. UV or multi-wavelength analyses, correlating GALEX spectra with other existing or future databases, and planning of new observations. The re-calibration will be applied to our planned catalog of corrected GALEX SEDs.