title: On Greedy Routing in Dynamic UAV Networks

abstract: Unmanned aerial vehicles (UAVs), commonly known as drones, are becoming increasingly popular for various applications. Freely flying drones create highly dynamic environments, where conventional routing algorithms which rely on stationary network contact graphs fail to perform efficiently. Also, link establishment through exploring optimal paths using hello messages (as is used in AODV algorithm) deems extremely inefficient and costly for rapidly changing network topologies. In this paper, we present a distance-based greedy routing algorithm for UAV networks solely based on UAVs' local observations of their surrounding subnetwork. Thereby, neither a central decision maker nor a time-consuming route setup and maintenance mechanism are required. To evaluate the proposed method, we derive an analytical bound for the expected number of hops that a packet traverses. Also, we find the expected end-to-end distance traveled by each packet as well as the probability of successful delivery. The simulation results verify the accuracy of the developed analytical expressions and show considerable improvement compared to centralized shortest path routing algorithms.


title: Multi-User Preemptive Scheduling for Critical Low Latency Communications in 5G Networks

abstract: 5G new radio is envisioned to support three major service classes: enhanced mobile broadband (eMBB), ultra-reliable low-latency communications (URLLC), and massive machine type communications. Emerging URLLC services require up to one millisecond of communication latency with 99.999% success probability. Though, there is a fundamental trade-off between system spectral efficiency (SE) and achievable latency. This calls for novel scheduling protocols which cross-optimize system performance on user-centric; instead of network-centric basis. In this paper, we develop a joint multi-user preemptive scheduling strategy to simultaneously cross-optimize system SE and URLLC latency. At each scheduling opportunity, available URLLC traffic is always given higher priority. When sporadic URLLC traffic appears during a transmission time interval (TTI), proposed scheduler seeks for fitting the URLLC-eMBB traffic in a multi-user transmission. If the available spatial degrees of freedom are limited within a TTI, the URLLC traffic instantly overwrites part of the ongoing eMBB transmissions to satisfy the URLLC latency requirements, at the expense of minimal eMBB throughput loss. Extensive dynamic system level simulations show that proposed scheduler provides significant performance gain in terms of eMBB SE and URLLC latency.


title: Computation Rate Maximization in UAV-Enabled Wireless Powered Mobile-Edge Computing Systems

abstract: Mobile edge computing (MEC) and wireless power transfer (WPT) are two promising techniques to enhance the computation capability and to prolong the operational time of low-power wireless devices that are ubiquitous in Internet of Things. However, the computation performance and the harvested energy are significantly impacted by the severe propagation loss. In order to address this issue, an unmanned aerial vehicle (UAV)-enabled MEC wireless powered system is studied in this paper. The computation rate maximization problems in a UAV-enabled MEC wireless powered system are investigated under both partial and binary computation offloading modes, subject to the energy harvesting causal constraint and the UAV's speed constraint. These problems are non-convex and challenging to solve. A two-stage algorithm and a three-stage alternative algorithm are respectively proposed for solving the formulated problems. The closed-form expressions for the optimal central processing unit frequencies, user offloading time, and user transmit power are derived. The optimal selection scheme on whether users choose to locally compute or offload computation tasks is proposed for the binary computation offloading mode. Simulation results show that our proposed resource allocation schemes outperforms other benchmark schemes. The results also demonstrate that the proposed schemes converge fast and have low computational complexity.


title: Optically controlling the emission chirality of microlasers

abstract: Orbital angular momentum (OAM) carried by helical light beams is an unbounded degree of freedom of photons that offers a promising playground in modern photonics. So far, integrated sources of coherent light carrying OAM are based on resonators whose design imposes a single, non-tailorable chirality of the wavefront (i.e. clockwise or counter clockwise vortices). Here, we propose and demonstrate the realization of an integrated microlaser where the chirality of the wavefront can be optically controlled. Importantly, the scheme that we use, based on an effective spin-orbit coupling of photons in a semiconductor microcavity, can be extended to different laser architectures, thus paving the way to the realization of a new generation of OAM microlasers with tunable chirality.


title: Statistical analysis of articulation points in configuration model networks

abstract: An articulation point (AP) in a network is a node whose deletion would split the network component on which it resides into two or more components. APs are vulnerable spots that play an important role in network collapse processes, which may result from node failures, attacks or epidemics. Therefore, the abundance and properties of APs affect the resilience of the network to these collapse scenarios. We present analytical results for the statistical properties of APs in configuration model networks. In order to quantify their abundance, we calculate the probability $P(i \in {\rm AP})$, that a random node, i, in a configuration model network with P(K=k), is an AP. We also obtain the conditional probability $P(i \in {\rm AP}|k)$ that a random node of degree k is an AP, and find that high degree nodes are more likely to be APs than low degree nodes. Using Bayes' theorem, we obtain the conditional degree distribution, $P(K=k|{\rm AP})$, over the set of APs and compare it to P(K=k). We propose a new centrality measure based on APs: each node can be characterized by its articulation rank, r, which is the number of components that would be added to the network upon deletion of that node. For nodes which are not APs the articulation rank is $r=0$, while for APs $r \ge 1$. We obtain a closed form expression for the distribution of articulation ranks, P(R=r). Configuration model networks often exhibit a coexistence between a giant component and finite components. To examine the distinct properties of APs on the giant and on the finite components, we calculate the probabilities presented above separately for the giant and the finite components. We apply these results to ensembles of configuration model networks with a Poisson, exponential and power-law degree distributions. The implications of these results are discussed in the context of common attack scenarios and network dismantling processes.


title: Atmospheric Seasonality as an Exoplanet Biosignature

abstract: Current investigations of exoplanet biosignatures have focused on static evidence of life, such as the presence of biogenic gases like O2 or CH4. However, the expected diversity of terrestrial planet atmospheres and the likelihood of both false positives and false negatives for conventional biosignatures motivate exploration of additional life detection strategies, including time-varying signals. Seasonal variation in atmospheric composition is a biologically modulated phenomenon on Earth that may occur elsewhere because it arises naturally from the interplay between the biosphere and time-variable insolation. The search for seasonality as a biosignature would avoid many assumptions about specific metabolisms and provide an opportunity to directly quantify biological fluxes--allowing us to characterize, rather than simply recognize, biospheres on exoplanets. Despite this potential, there have been no comprehensive studies of seasonality as an exoplanet biosignature. Here, we provide a foundation for further studies by reviewing both biological and abiological controls on the magnitude and detectability of seasonality of atmospheric CO2, CH4, O2, and O3 on Earth. We also consider an example of an inhabited world for which atmospheric seasonality may be the most notable expression of its biosphere. We show that life on a low O2 planet like the weakly oxygenated mid-Proterozoic Earth could be fingerprinted by seasonal variation in O3 as revealed in its UV Hartley-Huggins bands. This example highlights the need for UV capabilities in future direct-imaging telescope missions (e.g., LUVOIR/HabEx) and illustrates the diagnostic importance of studying temporal biosignatures for exoplanet life detection/characterization.


title: Parallelized Solution Method of the Three-dimensional Gravitational Potential on the Yin-Yang Grid

abstract: We present a new method for solving the three-dimensional gravitational potential of a density field on the Yin-Yang grid. Our algorithm is based on a multipole decomposition and completely symmetric with respect to the two Yin-Yang grid patches. It is particularly efficient on distributed-memory machines with a large number of compute tasks, because the amount of data being explicitly communicated is minimized. All operations are performed on the original grid without the need for interpolating data onto an auxiliary spherical mesh.


title: Exponential Weights on the Hypercube in Polynomial Time

abstract: We study a general online linear optimization problem(OLO). At each round, a subset of objects from a fixed universe of $n$ objects is chosen, and a linear cost associated with the chosen subset is incurred. To measure the performance of our algorithms, we use the notion of regret which is the difference between the total cost incurred over all iterations and the cost of the best fixed subset in hindsight. We consider Full Information and Bandit feedback for this problem. This problem is equivalent to OLO on the $\{0,1\}^n$ hypercube. The Exp2 algorithm and its bandit variant are commonly used strategies for this problem. It was previously unknown if it is possible to run Exp2 on the hypercube in polynomial time. In this paper, we present a polynomial time algorithm called PolyExp for OLO on the hypercube. We show that our algorithm is equivalent Exp2 on $\{0,1\}^n$, Online Mirror Descent(OMD), Follow The Regularized Leader(FTRL) and Follow The Perturbed Leader(FTPL) algorithms. We show PolyExp achieves expected regret bound that is a factor of $\sqrt{n}$ better than Exp2 in the full information setting under $L_\infty$ adversarial losses. Because of the equivalence of these algorithms, this implies an improvement on Exp2's regret bound in full information. We also show matching regret lower bounds. Finally, we show how to use PolyExp on the $\{-1,+1\}^n$ hypercube, solving an open problem in Bubeck et al (COLT 2012).


title: Prospects For A Muon Spin Resonance Facility In The Fermilab MuCool Test Area

abstract: This paper investigates the feasibility of re-purposing the MuCool Test Area (MTA) beamline and experimental hall to support a Muon Spin Resonance (MuSR) facility, which would make it the only such facility in the US. This report reviews the basic muon production concepts studied and operationally implemented at TRIUMF, PSI, and RAL and their application in the context of the MTA facility. Two scenarios were determined feasible. One, an initial minimal-shielding and capital-cost investment stage with a single secondary muon beamline that utilizes an existing high-intensity beam absorber and, another, upgraded stage, that implements an optimized production target pile, a proximate high-intensity absorber, and optimized secondary muon lines. A unique approach is proposed which chops or strips a macropulse of H- beam into a micropulse substructure - a muon creation timing scheme - which allows Muon Spin Resonance experiments in a linac environment. With this timing scheme, and attention to target design and secondary beam collection, the MTA can host enabling and competitive Muon Spin Resonance experiments.


title: Wideband Super-resolution Imaging in Radio Interferometry via Low Rankness and Joint Average Sparsity Models (HyperSARA)

abstract: We propose a new approach within the versatile framework of convex optimization to solve the radio-interferometric wideband imaging problem. Our approach, dubbed HyperSARA, solves a sequence of weighted nuclear norm and l21 minimization problems promoting low rankness and joint average sparsity of the wideband model cube. On the one hand, enforcing low rankness enhances the overall resolution of the reconstructed model cube by exploiting the correlation between the different channels. On the other hand, promoting joint average sparsity improves the overall sensitivity by rejecting artefacts present on the different channels. An adaptive Preconditioned Primal-Dual algorithm is adopted to solve the minimization problem. The algorithmic structure is highly scalable to large data sets and allows for imaging in the presence of unknown noise levels and calibration errors. We showcase the superior performance of the proposed approach, reflected in high-resolution images on simulations and real VLA observations with respect to single channel imaging and the CLEAN-based wideband imaging algorithm in the WSCLEAN software. Our MATLAB code is available online on GITHUB.


title: Multiview Two-Task Recursive Attention Model for Left Atrium and Atrial Scars Segmentation

abstract: Late Gadolinium Enhanced Cardiac MRI (LGE-CMRI) for detecting atrial scars in atrial fibrillation (AF) patients has recently emerged as a promising technique to stratify patients, guide ablation therapy and predict treatment success. Visualisation and quantification of scar tissues require a segmentation of both the left atrium (LA) and the high intensity scar regions from LGE-CMRI images. These two segmentation tasks are challenging due to the cancelling of healthy tissue signal, low signal-to-noise ratio and often limited image quality in these patients. Most approaches require manual supervision and/or a second bright-blood MRI acquisition for anatomical segmentation. Segmenting both the LA anatomy and the scar tissues automatically from a single LGE-CMRI acquisition is highly in demand. In this study, we proposed a novel fully automated multiview two-task (MVTT) recursive attention model working directly on LGE-CMRI images that combines a sequential learning and a dilated residual learning to segment the LA (including attached pulmonary veins) and delineate the atrial scars simultaneously via an innovative attention model. Compared to other state-of-the-art methods, the proposed MVTT achieves compelling improvement, enabling to generate a patient-specific anatomical and atrial scar assessment model.


title: Snapshot hyperspectral imaging via spectral basis multiplexing in Fourier domain

abstract: Hyperspectral imaging is an important tool having been applied in various fields, but still limited in observation of dynamic scenes. In this paper, we propose a snapshot hyperspectral imaging technique which exploits both spectral and spatial sparsity of natural scenes. Under the computational imaging scheme, we conduct spectral dimension reduction and spatial frequency truncation to the hyperspectral data cube and snapshot it in a low cost manner. Specifically, we modulate the spectral variations by several broadband spectral filters, and then map these modulated images into different regions in the Fourier domain. The encoded image compressed in both spectral and spatial are finally collected by a monochrome detector. Correspondingly, the reconstruction is essentially a Fourier domain extraction and spectral dimensional back projection with low computational load. This Fourier-spectral multiplexing in a 2D sensor simplifies both the encoding and decoding process, and makes hyperspectral data captured in a low cost manner. We demonstrate the high performance of our method by quantitative evaluation on simulation data and build a prototype system experimentally for further validation.


title: Dictionary Learning for Adaptive GPR Landmine Classification

abstract: Ground penetrating radar (GPR) target detection and classification is a challenging task. Here, we consider online dictionary learning (DL) methods to obtain sparse representations (SR) of the GPR data to enhance feature extraction for target classification via support vector machines. Online methods are preferred because traditional batch DL like K-SVD is not scalable to high-dimensional training sets and infeasible for real-time operation. We also develop Drop-Off MINi-batch Online Dictionary Learning (DOMINODL) which exploits the fact that a lot of the training data may be correlated. The DOMINODL algorithm iteratively considers elements of the training set in small batches and drops off samples which become less relevant. For the case of abandoned anti-personnel landmines classification, we compare the performance of K-SVD with three online algorithms: classical Online Dictionary Learning, its correlation-based variant, and DOMINODL. Our experiments with real data from L-band GPR show that online DL methods reduce learning time by 36-93% and increase mine detection by 4-28% over K-SVD. Our DOMINODL is the fastest and retains similar classification performance as the other two online DL approaches. We use a Kolmogorov-Smirnoff test distance and the Dvoretzky-Kiefer-Wolfowitz inequality for the selection of DL input parameters leading to enhanced classification results. To further compare with state-of-the-art classification approaches, we evaluate a convolutional neural network (CNN) classifier which performs worse than the proposed approach. Moreover, when the acquired samples are randomly reduced by 25%, 50% and 75%, sparse decomposition based classification with DL remains robust while the CNN accuracy is drastically compromised.


title: The magic square of reflections and rotations

abstract: We show how Coxeter's work implies a bijection between complex reflection groups of rank two and real reflection groups in $O(3)$. We also consider this magic square of reflections and rotations in the framework of Clifford algebras: we give an interpretation using (s)pin groups and explore these groups in small dimensions.


title: Efficiently Modeling the Noise Performance of Short-Pulse Lasers with a Computational Implementation of Dynamical Methods

abstract: Lowering the noise level of short pulse lasers has been a long-standing effort for decades. Modeling the noise performance plays a crucial role in isolating the noise sources and reducing them. Modeling to date has either used analytical or semi-analytical implementation of dynamical methods or Monte Carlo simulations. The former approach is too simplified to accurately assess the noise performance in real laser systems, while the latter approach is too computationally slow to optimize the performance as parameters vary over a wide range. Here, we describe a computational implementation of dynamical methods that allows us to determine the noise performance of a passively modelocked laser within minutes on a desktop computer and is faster than Monte Carlo methods by a factor on the order of 1000. We apply this method to characterize a laser that is locked using a fast saturable absorber---for example, a fiber-based nonlinear polarization rotation---and a laser that is locked using a slow saturable absorber---for example, a semiconductor saturable absorbing mirror.


title: Swendsen-Wang Dynamics for General Graphs in the Tree Uniqueness Region

abstract: The Swendsen-Wang dynamics is a popular algorithm for sampling from the Gibbs distribution for the ferromagnetic Ising model on a graph $G=(V,E)$. The dynamics is a "global" Markov chain which is conjectured to converge to equilibrium in $O(|V|^{1/4})$ steps for any graph $G$ at any (inverse) temperature $\beta$. It was recently proved by Guo and Jerrum (2017) that the Swendsen-Wang dynamics has polynomial mixing time on any graph at all temperatures, yet there are few results providing $o(|V|)$ upper bounds on its convergence time. We prove fast convergence of the Swendsen-Wang dynamics on general graphs in the tree uniqueness region of the ferromagnetic Ising model. In particular, when $\beta < \beta_c(d)$ where $\beta_c(d)$ denotes the uniqueness/non-uniqueness threshold on infinite $d$-regular trees, we prove that the relaxation time (i.e., the inverse spectral gap) of the Swendsen-Wang dynamics is $\Theta(1)$ on any graph of maximum degree $d \geq 3$. Our proof utilizes a version of the Swendsen-Wang dynamics which only updates isolated vertices. We establish that this variant of the Swendsen-Wang dynamics has mixing time $O(\log{|V|})$ and relaxation time $\Theta(1)$ on any graph of maximum degree $d$ for all $\beta < \beta_c(d)$. We believe that this Markov chain may be of independent interest, as it is a monotone Swendsen-Wang type chain. As part of our proofs, we provide modest extensions of the technology of Mossel and Sly (2013) for analyzing mixing times and of the censoring result of Peres and Winkler (2013). Both of these results are for the Glauber dynamics, and we extend them here to general monotone Markov chains. This class of dynamics includes for example the heat-bath block dynamics, for which we obtain new tight mixing time bounds.


title: On the parabolic Harnack inequality for non-local diffusion equations

abstract: We settle the open question concerning the Harnack inequality for globally positive solutions to non-local in time diffusion equations by constructing a counter-example for dimensions $d\ge\beta$, where $\beta\in(0,2]$ is the order of the equation with respect to the spatial variable. The equation can be non-local both in time and in space but for the counter-example it is important that the equation has a fractional time derivative. In this case, the fundamental solution is singular at the origin for all times $t>0$ in dimensions $d\ge\beta$. This underlines the markedly different behavior of time-fractional diffusion compared to the purely space-fractional case, where a local Harnack inequality is known. The key observation is that the memory strongly affects the estimates. In particular, if the initial data $u_0 \in L^q_{loc}$ for $q$ larger than the critical value $\tfrac d\beta$ of the elliptic operator $(-\Delta)^{\beta/2}$, a non-local version of the Harnack inequality is still valid as we show. We also observe the critical dimension phenomenon already known from other contexts: the diffusion behavior is substantially different in higher dimensions than $d=1$ provided $\beta>1$, since we prove that the local Harnack inequality holds if $d<\beta$.


title: Tropical Abstractions of Max-Plus-Linear Systems

abstract: This paper describes the development of finite abstractions of Max-Plus-Linear (MPL) systems using tropical operations. The idea of tropical abstraction is inspired by the fact that an MPL system is a discrete-event model updating its state with operations in the tropical algebra. The abstract model is a finite-state transition system: we show that the abstract states can be generated by operations on the tropical algebra, and that the generation of transitions can be established by tropical multiplications of matrices. The complexity of the algorithms based on tropical algebra is discussed and their performance is tested on a numerical benchmark against an existing alternative abstraction approach.


title: Circuit QED: Generation of two-transmon-qutrit entangled states via resonant interaction

abstract: We present a way to create entangled states of two superconducting transmon qutrits based on circuit QED. Here, a qutrit refers to a three-level quantum system. Since only resonant interaction is employed, the entanglement creation can be completed within a short time. The degree of entanglement for the prepared entangled state can be controlled by varying the weight factors of the initial state of one qutrit, which allows the prepared entangled state to change from a partially entangled state to a maximally entangled state. Because a single cavity is used, only resonant interaction is employed, and none of identical qutrit-cavity coupling constant, measurement, and auxiliary qutrit is needed, this proposal is easy to implement in experiments. The proposal is quite general and can be applied to prepare a two-qutrit partially or maximally entangled state with two natural or artificial atoms of a ladder-type level structure, coupled to an optical or microwave cavity.


title: Knowledge Distillation by On-the-Fly Native Ensemble

abstract: Knowledge distillation is effective to train small and generalisable network models for meeting the low-memory and fast running requirements. Existing offline distillation methods rely on a strong pre-trained teacher, which enables favourable knowledge discovery and transfer but requires a complex two-phase training procedure. Online counterparts address this limitation at the price of lacking a highcapacity teacher. In this work, we present an On-the-fly Native Ensemble (ONE) strategy for one-stage online distillation. Specifically, ONE trains only a single multi-branch network while simultaneously establishing a strong teacher on-the- fly to enhance the learning of target network. Extensive evaluations show that ONE improves the generalisation performance a variety of deep neural networks more significantly than alternative methods on four image classification dataset: CIFAR10, CIFAR100, SVHN, and ImageNet, whilst having the computational efficiency advantages.


title: On the invariant manifolds of the fixed point of a second order nonlinear difference equation

abstract: This paper addresses the asymptotic approximations of the stable and unstable manifolds for the saddle fixed point and the 2-periodic solutions of the difference equation $x_{n+1} = \alpha + \beta x_{n-1}+x_{n-1}/x_{n},$ where $\alpha>0,$ $0\leqslant \beta <1$ and the initial conditions $x_{-1}$ and $x_0$ are positive numbers. These manifolds determine completely global dynamics of this equation. The theoretical results are supported by some numerical examples.


title: Lithography-free control of the position of single walled carbon nanotubes on a substrate by focused ion beam induced deposition of catalyst and chemical vapor deposition

abstract: We introduce a novel nanofabrication technique to directly deposit catalyst pads for the chemical vapor deposition synthesis of single-walled carbon nanotubes (SWCNTs) at any desired position on a substrate by Gallium focused ion beam (FIB) induced deposition of silicon oxide thin films from the metalorganic Tetraethyl orthosilicate (TEOS) precursor. A high resolution in the positioning of the SWCNTs is naturally achieved as the imaging and deposition by FIB are conducted concurrently in situ at the same selected point on the substrate. This technique has substantial advantages over the current state-of-the-art methods that are based on complex and multistep lithography processes.


title: Streaming PCA and Subspace Tracking: The Missing Data Case

abstract: For many modern applications in science and engineering, data are collected in a streaming fashion carrying time-varying information, and practitioners need to process them with a limited amount of memory and computational resources in a timely manner for decision making. This often is coupled with the missing data problem, such that only a small fraction of data attributes are observed. These complications impose significant, and unconventional, constraints on the problem of streaming Principal Component Analysis (PCA) and subspace tracking, which is an essential building block for many inference tasks in signal processing and machine learning. This survey article reviews a variety of classical and recent algorithms for solving this problem with low computational and memory complexities, particularly those applicable in the big data regime with missing data. We illustrate that streaming PCA and subspace tracking algorithms can be understood through algebraic and geometric perspectives, and they need to be adjusted carefully to handle missing data. Both asymptotic and non-asymptotic convergence guarantees are reviewed. Finally, we benchmark the performance of several competitive algorithms in the presence of missing data for both well-conditioned and ill-conditioned systems.


title: A Novel Bayesian Approach for Latent Variable Modeling from Mixed Data with Missing Values

abstract: We consider the problem of learning parameters of latent variable models from mixed (continuous and ordinal) data with missing values. We propose a novel Bayesian Gaussian copula factor (BGCF) approach that is consistent under certain conditions and that is quite robust to the violations of these conditions. In simulations, BGCF substantially outperforms two state-of-the-art alternative approaches. An illustration on the `Holzinger & Swineford 1939' dataset indicates that BGCF is favorable over the so-called robust maximum likelihood (MLR) even if the data match the assumptions of MLR.


title: A Hierarchical Fuzzy System for an Advanced Driving Assistance System

abstract: In this study, we present a hierarchical fuzzy system by evaluating the risk state for a Driver Assistance System in order to contribute in reducing the road accident's number. A key component of this system is its ability to continually detect and test the inside and outside risks in real time: The outside car risks by detecting various road moving objects; this proposed system stands on computer vision approaches. The inside risks by presenting an automatic system for drowsy driving identification or detection by evaluating EEG signals of the driver; this developed system is based on computer vision techniques and biometrics factors (electroencephalogram EEG). This proposed system is then composed of three main modules. The first module is responsible for identifying the driver drowsiness state through his eye movements (physical drowsiness). The second one is responsible for detecting and analysing his physiological signals to also identify his drowsiness state (moral drowsiness). The third module is responsible to evaluate the road driving risks by detecting of the road different moving objects in a real time. The final decision will be obtained by merging of the three detection systems through the use of fuzzy decision rules. Finally, the proposed approach has been improved on ten samples from a proposed dataset.


title: The Identification of Hydrogen-Deficient Cataclysmic Variable Donor Stars

abstract: We have used ATLAS12 to generate hydrogen-deficient stellar atmospheres to allow us to construct synthetic spectra to explore the possibility that the donor stars in some cataclysmic variables (CVs) are hydrogen deficient. We find that four systems, AE Aqr, DX And, EY Cyg, and QZ Ser have significant hydrogen deficits. We confirm that carbon and magnesium deficits, and sodium enhancements, are common among CV donor stars. The three Z Cam systems we observed are found to have solar metallicities and no abundance anomalies. Two of these objects, Z Cam and AH Her, have M-type donor stars; much cooler than expected given their long orbital periods. By using the combination of equivalent width measurements and light curve modeling, we have developed the ability to account for contamination of the donor star spectra by other luminosity sources in the binary. This enables more realistic assessments of secondary star metallicities. We find that the use of equivalent width measurements should allow for robust metallicities and abundance anomalies to be determined for CVs with M-type donor stars.


title: Improving Regression Performance with Distributional Losses

abstract: There is growing evidence that converting targets to soft targets in supervised learning can provide considerable gains in performance. Much of this work has considered classification, converting hard zero-one values to soft labels---such as by adding label noise, incorporating label ambiguity or using distillation. In parallel, there is some evidence from a regression setting in reinforcement learning that learning distributions can improve performance. In this work, we investigate the reasons for this improvement, in a regression setting. We introduce a novel distributional regression loss, and similarly find it significantly improves prediction accuracy. We investigate several common hypotheses, around reducing overfitting and improved representations. We instead find evidence for an alternative hypothesis: this loss is easier to optimize, with better behaved gradients, resulting in improved generalization. We provide theoretical support for this alternative hypothesis, by characterizing the norm of the gradients of this loss.


title: Modified cosmology through nonextensive horizon thermodynamics

abstract: We construct modified cosmological scenarios through the application of the first law of thermodynamics in the universe horizon, but using the generalized, nonextensive Tsallis entropy instead of the usual Bekenstein-Hawking one. We result to modified cosmological equations that possess the usual ones as a particular limit, but which in the general case contain extra terms that appear for the first time, that constitute an effective dark energy sector quantified by the nonextensive parameter $\delta$. When the matter sector is dust, we extract analytical expressions for the dark energy density and equation-of-state parameters, and we extend these solutions to the case where radiation is present too. We show that the universe exhibits the usual thermal history, with the sequence of matter and dark-energy eras, and according to the value of $\delta$ the dark-energy equation-of-state parameter can be quintessence-like, phantom-like, or experience the phantom-divide crossing during the evolution. Even in the case where the explicit cosmological constant is absent, the scenario at hand can very efficiently mimic $\Lambda$CDM cosmology, and is in excellent agreement with Supernovae type Ia observational data.


title: On parametric Gevrey asymptotics for some nonlinear initial value problems in two complex time variables

abstract: The asymptotic behavior of a family of singularly perturbed PDEs in two time variables in the complex domain is studied. The appearance of a multilevel Gevrey asymptotics phenomenon in the perturbation parameter is observed. We construct a family of analytic sectorial solutions in $\epsilon$ which share a common asymptotic expansion at the origin, in different Gevrey levels. Such orders are produced by the action of the two independent time variables.


title: Deep Learning to Detect Redundant Method Comments

abstract: Comments in software are critical for maintenance and reuse. But apart from prescriptive advice, there is little practical support or quantitative understanding of what makes a comment useful. In this paper, we introduce the task of identifying comments which are uninformative about the code they are meant to document. To address this problem, we introduce the notion of comment entailment from code, high entailment indicating that a comment's natural language semantics can be inferred directly from the code. Although not all entailed comments are low quality, comments that are too easily inferred, for example, comments that restate the code, are widely discouraged by authorities on software style. Based on this, we develop a tool called CRAIC which scores method-level comments for redundancy. Highly redundant comments can then be expanded or alternately removed by the developer. CRAIC uses deep language models to exploit large software corpora without requiring expensive manual annotations of entailment. We show that CRAIC can perform the comment entailment task with good agreement with human judgements. Our findings also have implications for documentation tools. For example, we find that common tags in Javadoc are at least two times more predictable from code than non-Javadoc sentences, suggesting that Javadoc tags are less informative than more free-form comments


title: Exoplanet Atmospheres at High Spectral Resolution

abstract: The spectrum of an exoplanet reveals the physical, chemical, and biological processes that have shaped its history and govern its future. However, observations of exoplanet spectra are complicated by the overwhelming glare of their host stars. This review chapter focuses on high resolution spectroscopy (HRS; R=25,000-100,000), which helps to disentangle and isolate the exoplanet's spectrum. At high spectral resolution, molecular features are resolved into a dense forest of individual lines in a pattern that is unique for a given molecule. For close-in planets, the spectral lines undergo large Doppler shifts during the planet's orbit, while the host star and Earth's spectral features remain essentially stationary, enabling a velocity separation of the planet. For slower-moving, wide-orbit planets, HRS aided by high contrast imaging instead isolates their spectra using their spatial separation. The lines in the exoplanet spectrum are detected by comparing them with high resolution spectra from atmospheric modelling codes; essentially a form of fingerprinting for exoplanet atmospheres. This measures the planet's orbital velocity, and helps define its true mass and orbital inclination. Consequently, HRS can detect both transiting and non-transiting planets. It also simultaneously characterizes the planet's atmosphere due to its sensitivity to the depth, shape, and position of the planet's spectral lines. These are altered by the planet's atmospheric composition, structure, clouds, and dynamics, including day-to-night winds and its rotation period. This chapter describes the HRS technique in detail, highlighting its successes in exoplanet detection and characterization, and concludes with the future prospects of using HRS to identify biomarkers on nearby rocky worlds, and map features in the atmospheres of giant exoplanets.


title: Imperfect Segmentation Labels: How Much Do They Matter?

abstract: Labeled datasets for semantic segmentation are imperfect, especially in medical imaging where borders are often subtle or ill-defined. Little work has been done to analyze the effect that label errors have on the performance of segmentation methodologies. Here we present a large-scale study of model performance in the presence of varying types and degrees of error in training data. We trained U-Net, SegNet, and FCN32 several times for liver segmentation with 10 different modes of ground-truth perturbation. Our results show that for each architecture, performance steadily declines with boundary-localized errors, however, U-Net was significantly more robust to jagged boundary errors than the other architectures. We also found that each architecture was very robust to non-boundary-localized errors, suggesting that boundary-localized errors are fundamentally different and more challenging problem than random label errors in a classification setting.


title: Isoperimetric inequalities in Riemann surfaces and graphs

abstract: A celebrated theorem of Kanai states that quasi-isometries preserve isoperimetric inequalities between uniform Riemannian manifolds (with positive injectivity radius) and graphs. Our main result states that we can study the (Cheeger) isoperimetric inequality in a Riemann surface by using a graph related to it, even if the surface has injectivity radius zero (this graph is inspired in Kanai's graph, but it is different from it). We also present an application relating Gromov boundary and isoperimetric inequality.


title: Fast forwarding Egocentric Videos by Listening and Watching

abstract: The remarkable technological advance in well-equipped wearable devices is pushing an increasing production of long first-person videos. However, since most of these videos have long and tedious parts, they are forgotten or never seen. Despite a large number of techniques proposed to fast-forward these videos by highlighting relevant moments, most of them are image based only. Most of these techniques disregard other relevant sensors present in the current devices such as high-definition microphones. In this work, we propose a new approach to fast-forward videos using psychoacoustic metrics extracted from the soundtrack. These metrics can be used to estimate the annoyance of a segment allowing our method to emphasize moments of sound pleasantness. The efficiency of our method is demonstrated through qualitative results and quantitative results as far as of speed-up and instability are concerned.


title: Rodlike counterions at heterogeneously charged surfaces

abstract: We study the spatial and orientational distribution of rodlike counterions (such as mobile nanorods) as well as the effective interaction mediated by them between two plane-parallel surfaces that carry fixed (quenched) heterogeneous charge distributions. The rodlike counterions are assumed to have an internal charge distribution, specified by a multivalent monopolar moment and a finite quadrupolar moment, and the quenched surface charge is assumed to be randomly distributed with equal mean and variance on the two surfaces. While equally charged surfaces are known to repel within the traditional mean-field theories, the presence of multivalent counterions has been shown to cause attractive interactions between uniformly charged surfaces due to the prevalence of strong electrostatic couplings that grow rapidly with the counterion valency. We show that the combined effects due to electrostatic correlations (caused by the coupling between the mean surface field and the multivalent, monopolar, charge valency of counterions) as well as the disorder-induced interactions (caused by the coupling between the surface disorder field and the quadrupolar moment of counterions) lead to much stronger attractive interactions between two randomly charged surfaces. The interaction profile turns out to be a nonmonotonic function of the intersurface separation, displaying an attractive minimum at relatively small separations, where the ensuing attraction can exceed the maximum strong-coupling attraction (produced by multivalent monopolar counterions between uniformly charged surfaces) by more than an order of magnitude.

categories: cond-mat.soft cond-mat.dis-nn cond-mat.mes-hall cond-mat.stat-mech physics.bio-ph


title: The effect of the Enskog collision terms on the steady shock structure in a hard sphere gas

abstract: In this work we study the effect of the Enskog collision terms on the steady shock transitions in the supersonic flow of a hard sphere gas. We start by examining one-dimensional, nonlinear, nondispersive planar wave solutions of the Enskog-Navier-Stokes equations, which move in a fixed direction at a constant speed. By further equating the speed of the reference frame with the speed of such a wave, we reduce the Enskog-Navier-Stokes equations into a more simple system of two ordinary differential equations, whose solutions depend on a single scalar spatial variable. We then observe that this system has two fixed points, which are taken to be the states of the gas before and after the shock, and compute the corresponding shock transition in the form of the heteroclinic orbit connecting these two states. We find that the Enskog correction affects both the difference between the fixed points, and the thickness of the transition. In particular, for a given state of the gas before the shock transition, the difference between the fixed points is reduced, while the shock thickness is increased, with the relative impact on the properties of transition being more prominent at low Mach numbers. We also compute the speed of sound in the Enskog-Navier-Stokes equations, and find that, for the same thermodynamic state, it is somewhat faster than that in the conventional Navier-Stokes equations, with an additional dependence on the density of the gas.


title: A Necessary Trade-off for Semiclassical Electrodynamics: Accurate Short-Range Coulomb Interactions versus the Enforcement of Causality?

abstract: We investigate two key representative semiclassical approaches for propagating resonant energy transfer between a pair of electronic two-level systems (donor and acceptor) with coupled Maxwell-Liouville equations. On the one hand, when the electromagnetic (EM) field is treated classically and Coulomb interactions are treated quantum-mechanically, we find that a quantum-classical mismatch leads to a violation of causality, i.e., the acceptor can be excited before the retarded EM field arrives. On the other hand, if we invoke a classical intermolecular Coulomb operator, we find that the energy transfer in the near field loses quantitative accuracy compared with F\"orster theory, even though causality is strictly obeyed. Thus, our work raises a fundamental paradox when choosing a semiclassical electrodynamics algorithm. Namely, which is more important: Accurate short range interactions or long range causality? Apparently, one cannot have one's cake and eat it too.


title: Organizing Experience: A Deeper Look at Replay Mechanisms for Sample-based Planning in Continuous State Domains

abstract: Model-based strategies for control are critical to obtain sample efficient learning. Dyna is a planning paradigm that naturally interleaves learning and planning, by simulating one-step experience to update the action-value function. This elegant planning strategy has been mostly explored in the tabular setting. The aim of this paper is to revisit sample-based planning, in stochastic and continuous domains with learned models. We first highlight the flexibility afforded by a model over Experience Replay (ER). Replay-based methods can be seen as stochastic planning methods that repeatedly sample from a buffer of recent agent-environment interactions and perform updates to improve data efficiency. We show that a model, as opposed to a replay buffer, is particularly useful for specifying which states to sample from during planning, such as predecessor states that propagate information in reverse from a state more quickly. We introduce a semi-parametric model learning approach, called Reweighted Experience Models (REMs), that makes it simple to sample next states or predecessors. We demonstrate that REM-Dyna exhibits similar advantages over replay-based methods in learning in continuous state problems, and that the performance gap grows when moving to stochastic domains, of increasing size.


title: Well-posedness, regularity and asymptotic analyses for a fractional phase field system

abstract: This paper is concerned with a non-conserved phase field system of Caginalp type in which the main operators are fractional versions of two fixed linear operators $A$ and $B$. The operators $A$ and $B$ are supposed to be densely defined, unbounded, self-adjoint, monotone in the Hilbert space $L^2(\Omega)$, for some bounded and smooth domain $\Omega$, and have compact resolvents. Our definition of the fractional powers of operators uses the approach via spectral theory. A nonlinearity of double-well type occurs in the phase equation and either a regular or logarithmic potential, as well as a non-differentiable potential involving an indicator function, is admitted in our approach. We show general well-posedness and regularity results, extending the corresponding results that are known for the non-fractional elliptic operators with zero Neumann conditions or other boundary conditions like Dirichlet or Robin ones. Then, we investigate the longtime behavior of the system, by fully characterizing every element of the $\omega$-limit as a stationary solution. In the final part of the paper we study the asymptotic behavior of the system as the parameter $\sigma$ appearing in the operator $B^{2\sigma}$ that plays in the phase equation decreasingly tends to zero. We can prove convergence to a phase relaxation problem at the limit, in which an additional term containing the projection of the phase variable on the kernel of $B$ appears.


title: Planar He plasma jet: plasma bullets formation, 2D bullets concept and imaging

abstract: Applications of dielectric barrier discharge (DBD) based atmospheric pressure plasma jets are often limited by the relatively small area of treatment due to their 1D configuration. This letter describes the first results demonstrating generation of 2D plasma bullets and 2D plasma jets permitting fast treatment of large targets. Imaging of pulsed DBD in He and ionization wave propagation along the dielectric surface show that DBD evolution starts with formation of transient anode glow, and only then continues with development of cathode-directed streamers. The anode glow can propagate as an ionization wave along the dielectric surface outside of the discharge gap. We show that plasma bullets propagation is not limited to 1D geometry (tubes), and can be organized in a form of a planar plasma jet, or other 2D (or even 3D) shapes.


title: Clinical Parameters Prediction for Gait Disorder Recognition

abstract: Being able to predict clinical parameters in order to diagnose gait disorders in a patient is of great value in planning treatments. It is known that \textit{decision parameters} such as cadence, step length, and walking speed are critical in the diagnosis of gait disorders in patients. This project aims to predict the decision parameters using two ways and afterwards giving advice on whether a patient needs treatment or not. In one way, we use clinically measured parameters such as Ankle Dorsiflexion, age, walking speed, step length, stride length, weight over height squared (BMI) and etc. to predict the decision parameters. In a second way, we use videos recorded from patient's walking tests in a clinic in order to extract the coordinates of the joints of the patient over time and predict the decision parameters. Finally, having the decision parameters we pre-classify gait disorder intensity of a patient and as the result make decisions on whether a patient needs treatment or not.


title: The Game of Zombies and Survivors on the Cartesian Products of Trees

abstract: We consider the game of Zombies and Survivors as introduced by Fitzpatrick, Howell, Messinger and Pike (2016) This is a variation of the game Cops and Robber where the zombies (in the cops' role) are of limited intelligence and will always choose to move closer to a survivor (who takes on the robber's role). The zombie number of a graph is defined to be the minimum number of zombies required to guarantee the capture of a survivor on the graph. In this paper, we show that the zombie number of the Cartesian product of $n$ non-trivial trees is exactly $\lceil 2n/3 \rceil$. This settles a conjecture by Fitzpatrick et. al. (2016) that this is the zombie number for the $n$-dimensional hypercube. In proving this result, we also discuss other variations of Cops and Robber involving active and flexible players.


title: Vapor-cell frequency reference for short-wavelength transitions in neutral calcium

abstract: We have characterized the molecular tellurium (Te$_2$) spectrum in the vicinity of the 423nm $^1S_0-^1P_1$ and the 431nm $^3P_1-^3P_0$ transitions in neutral calcium. These transitions are relevant to optical clocks for atomic-beam characterization and cooling (423nm) and enhanced detection (431nm). The use of a Te$_2$ vapor cell as a frequency reference has many advantages over other laser stabilization techniques, and we discuss an application to measuring the instability due to the second-order Doppler shift in a calcium beam clock.


title: Infrared Properties of Hadronic Structure of Nucleon in Neutron Beta Decays to Order O(\alpha/\pi) in Standard V - A Effective Theory with QED and Linear Sigma Model of Strong Low--Energy Interactions

abstract: Within the standard V - A theory of weak interactions, Quantum Electrodynamics (QED) and the linear sigma-model (LsM) of strong low-energy hadronic interactions we analyse infrared properties of hadronic structure of the neutron and proton in the neutron beta decays to leading order in the large nucleon mass expansion. We confirm validity and high confidence level of contributions of hadronic structure of the nucleon to the radiative corrections, calculated by Sirlin (Phys. Rev. 164, 1767 (1967)) to leading order in the large nucleon mass expansion. At the level of order 10^{-5} relative to Sirlin's infrared divergent contribution to the neutron radiative beta decay (inner bremsstrahlung) we find an infrared divergent contribution, induced by hadronic structure of the nucleon through the one-pion-pole exchange, to the rate of the neutron lifetime from the neutron radiative beta decay, which should be cancelled by contributions of virtual photon exchanges to the neutron beta decay. Following Ivanov et al. 1805.09702 [hep-ph] we argue that a consistent analysis of such a cancellation may be carried out well in the combined quantum field theory including the Standard Electroweak Model (SEM) and the LsM of strong low-energy interactions, where the effective V - A hadron-lepton current-current vertex is caused by the W^- - electroweak-boson exchange.


title: Characterization of the 3D microstructure of Ibuprofen tablets by means of synchrotron tomography

abstract: We present a methodology to characterize the 3D microstructure of Ibuprofen tablets, which strongly influences the strength and solubility kinetics of the final formulation, by means of synchrotron tomography. A physically coherent trinarization for greyscale images of Ibuprofen tablets consisting of the three phases microcrystalline cellulose, Ibuprofen and pores is presented. For this purpose, a hybrid approach is developed combining a trinarization by means of statistical learning with a trinarization based on a watershed algorithm. This hybrid approach allows us to compute microstructure characteristics of tablets using image analysis. A comparison with experimental results shows that there is a significant amount of pores which is below the resolution limit and results from image analysis let us conjecture that these pores make up the major part of the surface between pores and solid. Furthermore, we compute microstructure characteristics, which are experimentally not accessible such as local percolation probabilities and chord length distribution functions. Both characteristics are meaningful in order to quantify the influence of tablet compaction on its microstructure. The presented approach can be used to get better insights into the relationship between production parameters and microstructure characteristics based on 3D image data of Ibuprofen tablets manufactured under different conditions.


title: Parallel Concatenation of Bayesian Filters: Turbo Filtering

abstract: In this manuscript a method for developing novel filtering algorithms through the parallel concatenation of two Bayesian filters is illustrated. Our description of this method, called turbo filtering, is based on a new graphical model; this allows us to efficiently describe both the processing accomplished inside each of the constituent filter and the interactions between them. This model is exploited to develop two new filtering algorithms for conditionally linear Gaussian systems. Numerical results for a specific dynamic system evidence that such filters can achieve a better complexity-accuracy tradeoff than marginalized particle filtering.


title: Necessary and Sufficient Conditions for a Triangle Comparison Theorem

abstract: We prove a version of Topogonov's triangle comparison theorem with surfaces of revolution as model spaces. Given a model surface and a Riemannian manifold with a fixed base point, we give necessary and sufficient conditions under which every geodesic triangle in the manifold with a vertex at the base point has a corresponding Alexandrov triangle in the model. Under these conditions we also prove a version of the Maximal Radius Theorem and a Grove--Shiohama type Sphere Theorem.


title: Measures of Tractography Convergence

abstract: In the present work, we use information theory to understand the empirical convergence rate of tractography, a widely-used approach to reconstruct anatomical fiber pathways in the living brain. Based on diffusion MRI data, tractography is the starting point for many methods to study brain connectivity. Of the available methods to perform tractography, most reconstruct a finite set of streamlines, or 3D curves, representing probable connections between anatomical regions, yet relatively little is known about how the sampling of this set of streamlines affects downstream results, and how exhaustive the sampling should be. Here we provide a method to measure the information theoretic surprise (self-cross entropy) for tract sampling schema. We then empirically assess four streamline methods. We demonstrate that the relative information gain is very low after a moderate number of streamlines have been generated for each tested method. The results give rise to several guidelines for optimal sampling in brain connectivity analyses.


title: Circular-shift Linear Network Codes with Arbitrary Odd Block Lengths

abstract: Circular-shift linear network coding (LNC) is a class of vector LNC with low encoding and decoding complexities, and with local encoding kernels chosen from cyclic permutation matrices. When $L$ is a prime with primitive root $2$, it was recently shown that a scalar linear solution over GF($2^{L-1}$) induces an $L$-dimensional circular-shift linear solution at rate $(L-1)/L$. In this work, we prove that for arbitrary odd $L$, every scalar linear solution over GF($2^{m_L}$), where $m_L$ refers to the multiplicative order of $2$ modulo $L$, can induce an $L$-dimensional circular-shift linear solution at a certain rate. Based on the generalized connection, we further prove that for such $L$ with $m_L$ beyond a threshold, every multicast network has an $L$-dimensional circular-shift linear solution at rate $\phi(L)/L$, where $\phi(L)$ is the Euler's totient function of $L$. An efficient algorithm for constructing such a solution is designed. Finally, we prove that every multicast network is asymptotically circular-shift linearly solvable.


title: Multifractal dimensions for projections of measures

abstract: In this paper, we study the multifractal Hausdorff and packing dimensions of Borel probability measures and study their behaviors under orthogonal projections. In particular, we try through these results to improve the main result of M. Dai in \cite{D} about the multifractal analysis of a measure of multifractal exact dimension.


title: Stationary Solutions from the Large D Membrane Paradigm

abstract: It has recently been shown that the dynamics of black holes in large number of dimensions D can be recast as the dynamics of a probe membrane propagating in the background spacetime which solves Einstein equations without matter. The equations of motion of this membrane are simply the statement of conservation of the stress tensor and charge current defined on this membrane. In this paper we obtain the effective equations of motion for stationary membranes in any empty background both in presence and absence of charge. It turns out that the thermodynamic quantities associated with the stationary membranes that satisfy these effective equations also satisfy the first law of black hole thermodynamics. These stationary membrane equations have some interesting solutions such as charged rotating black holes in flat and AdS backgrounds as well as black ring solutions in large D.


title: On the Primitive Ideals of Nest Algebras

abstract: We show that Ringrose's diagonal ideals are primitive ideals in a nest algebra (subject to the Continuum Hypothesis). This provides for the first time concerete descriptions of enough primitive ideals to obtain the Jacobson radical as their intersection. Separately, we provide a standard form for all left ideals of a nest algebra, which leads to insights into the maximal left ideals. In the case of atomic nest algebras we show how primitive ideals can be categorized by their behaviour on the diagonal, and provide concrete examples of all types.


title: Progress and perspectives on composite laser-pulses spectroscopy for high-accuracy optical clocks

abstract: Probing an atomic resonance without disturbing it is an ubiquitous issue in physics. This problem is critical in high-accuracy spectroscopy or for the next generation of atomic optical clocks. Ultra-high resolution frequency metrology requires sophisticated interrogation schemes and robust protocols handling pulse length errors and residual frequency detuning offsets . This review reports recent progress and perspective in such schemes, using sequences of composite laser-pulses tailored in pulse duration, frequency and phase, inspired by NMR techniques and quantum information processing. After a short presentation of Rabi technique and NMR-like composite pulses allowing efficient compensation of electromagnetic field perturbations to achieve robust population transfers, composite laser-pulses are investigated within Ramsey's method of separated oscillating fields in order to generate non-linear compensation of probe-induced frequency shifts. Laser-pulses protocols such as Hyper-Ramsey (HR), Modified Hyper-Ramsey (MHR), Generalized Hyper-Ramsey (GHR) and hybrid schemes are reviewed. These techniques provide excellent protection against both probe induced light-shift perturbations and laser intensity variations. More sophisticated schemes generating synthetic frequency-shifts are presented. They allow to reduce or completely eliminate imperfect correction of probe-induced frequency-shifts even in presence of decoherence due to the laser line-width. Finally, two universal protocols are presented which provide complete elimination of probe-induced frequency shifts in the general case where both decoherence and relaxation dissipation effects are present by using exact analytic expressions for phase-shifts and the clock frequency detuning. These techniques might be applied to atomic, molecular and nuclear frequency metrology, mass spectrometry as well as precision spectroscopy.


title: Unsupervised Meta-Learning for Reinforcement Learning

abstract: Meta-learning algorithms use past experience to learn to quickly solve new tasks. In the context of reinforcement learning, meta-learning algorithms acquire reinforcement learning procedures to solve new problems more efficiently by utilizing experience from prior tasks. The performance of meta-learning algorithms depends on the tasks available for meta-training: in the same way that supervised learning generalizes best to test points drawn from the same distribution as the training points, meta-learning methods generalize best to tasks from the same distribution as the meta-training tasks. In effect, meta-reinforcement learning offloads the design burden from algorithm design to task design. If we can automate the process of task design as well, we can devise a meta-learning algorithm that is truly automated. In this work, we take a step in this direction, proposing a family of unsupervised meta-learning algorithms for reinforcement learning. We motivate and describe a general recipe for unsupervised meta-reinforcement learning, and present an instantiation of this approach. Our conceptual and theoretical contributions consist of formulating the unsupervised meta-reinforcement learning problem and describing how task proposals based on mutual information can be used to train optimal meta-learners. Our experimental results indicate that unsupervised meta-reinforcement learning effectively acquires accelerated reinforcement learning procedures without the need for manual task design and these procedures exceed the performance of learning from scratch.


title: Predicting Citation Counts with a Neural Network

abstract: We here describe and present results of a simple neural network that predicts individual researchers' future citation counts based on a variety of data from the researchers' past. For publications available on the open access-server arXiv.org we find a higher predictability than previous studies.


title: Accelerating Imitation Learning with Predictive Models

abstract: Sample efficiency is critical in solving real-world reinforcement learning problems, where agent-environment interactions can be costly. Imitation learning from expert advice has proved to be an effective strategy for reducing the number of interactions required to train a policy. Online imitation learning, which interleaves policy evaluation and policy optimization, is a particularly effective technique with provable performance guarantees. In this work, we seek to further accelerate the convergence rate of online imitation learning, thereby making it more sample efficient. We propose two model-based algorithms inspired by Follow-the-Leader (FTL) with prediction: MoBIL-VI based on solving variational inequalities and MoBIL-Prox based on stochastic first-order updates. These two methods leverage a model to predict future gradients to speed up policy learning. When the model oracle is learned online, these algorithms can provably accelerate the best known convergence rate up to an order. Our algorithms can be viewed as a generalization of stochastic Mirror-Prox (Juditsky et al., 2011), and admit a simple constructive FTL-style analysis of performance.


title: X-ray photoemission and resistivity studies of the Pd-covered Ce thin films

abstract: We have fabricated Ce/Pd bilayers grown on the SiO$_2$ substrate by magnetron sputtering under ultrahigh vacuum. Usage of palladium layer on top of the Ce film appears to prevent effectively the sample oxidation. The thickness of the cerium films is between 10 - 200 nm and 10 nm-thick palladium overlayers are always used. We have performed $in - situ$ X-ray photoelectron spectroscopy on the as-deposited films and $ex - situ$ electrical resistivity measurements and XRD characterization. XPS confirms a very good quality of the samples. The analysis of the Ce $3d$ spectrum suggests that the $f$ states of Ce are on the border between the fluctuating valence and localization. The resistivity measurements reveal a competition of the Kondo scattering, semiconducting and metallic behaviors as well as the influence of the dimensional effect.


title: Resolution of the Oberwolfach problem

abstract: The Oberwolfach problem, posed by Ringel in 1967, asks for a decomposition of $K_{2n+1}$ into edge-disjoint copies of a given $2$-factor. We show that this can be achieved for all large $n$. We actually prove a significantly more general result, which allows for decompositions into more general types of factors. In particular, this also resolves the Hamilton-Waterloo problem for large $n$.


title: State Complexity of Pattern Matching in Regular Languages

abstract: In a simple pattern matching problem one has a pattern $w$ and a text $t$, which are words over a finite alphabet $\Sigma$. One may ask whether $w$ occurs in $t$, and if so, where? More generally, we may have a set $P$ of patterns and a set $T$ of texts, where $P$ and $T$ are regular languages. We are interested whether any word of $T$ begins with a word of $P$, ends with a word of $P$, has a word of $P$ as a factor, or has a word of $P$ as a subsequence. Thus we are interested in the languages $(P\Sigma^*)\cap T$, $(\Sigma^*P)\cap T$, $(\Sigma^* P\Sigma^*)\cap T$, and $(\Sigma^* \mathbin{\operatorname{shu}} P)\cap T$, where $\operatorname{shu}$ is the shuffle operation. The state complexity $\kappa(L)$ of a regular language $L$ is the number of states in the minimal deterministic finite automaton recognizing $L$. We derive the following upper bounds on the state complexities of our pattern-matching languages, where $\kappa(P)\le m$, and $\kappa(T)\le n$: $\kappa((P\Sigma^*)\cap T) \le mn$; $\kappa((\Sigma^*P)\cap T) \le 2^{m-1}n$; $\kappa((\Sigma^*P\Sigma^*)\cap T) \le (2^{m-2}+1)n$; and $\kappa((\Sigma^*\mathbin{\operatorname{shu}} P)\cap T) \le (2^{m-2}+1)n$. We prove that these bounds are tight, and that to meet them, the alphabet must have at least two letters in the first three cases, and at least $m-1$ letters in the last case. We also consider the special case where $P$ is a single word $w$, and obtain the following tight upper bounds: $\kappa((w\Sigma^*)\cap T_n) \le m+n-1$; $\kappa((\Sigma^*w)\cap T_n) \le (m-1)n-(m-2)$; $\kappa((\Sigma^*w\Sigma^*)\cap T_n) \le (m-1)n$; and $\kappa((\Sigma^*\mathbin{\operatorname{shu}} w)\cap T_n) \le (m-1)n$. For unary languages, we have a tight upper bound of $m+n-2$ in all eight of the aforementioned cases.


title: Adversarial Attacks on Variational Autoencoders

abstract: Adversarial attacks are malicious inputs that derail machine-learning models. We propose a scheme to attack autoencoders, as well as a quantitative evaluation framework that correlates well with the qualitative assessment of the attacks. We assess --- with statistically validated experiments --- the resistance to attacks of three variational autoencoders (simple, convolutional, and DRAW) in three datasets (MNIST, SVHN, CelebA), showing that both DRAW's recurrence and attention mechanism lead to better resistance. As autoencoders are proposed for compressing data --- a scenario in which their safety is paramount --- we expect more attention will be given to adversarial attacks on them.


title: Approximation of BV by SBV functions in metric spaces

abstract: In a complete metric space that is equipped with a doubling measure and supports a Poincar\'e inequality, we show that functions of bounded variation (BV functions) can be approximated in the strict sense and pointwise uniformly by special functions of bounded variation, without adding significant jumps. As a main tool, we study the variational 1-capacity and its BV analog.


title: Symmetries in exact Bohrification

abstract: The `Bohrification" program in the foundations of quantum mechanics implements Bohr's doctrine of classical concepts through an interplay between commutative and non-commutative operator algebras. Following a brief conceptual and mathematical review of this program, we focus on one half of it, called "exact" Bohrification, where a (typically noncommutative) unital C*-algebra A is studied through its commutative unital C*-subalgebras, organized into a poset C(A). This poset turns out to be a rich invariant of A. To set the stage, we first give a general review of symmetries in elementary quantum mechanics (i.e., on Hilbert space) as well as in algebraic quantum theory, incorporating C(A) as a new kid in town. We then give a detailed proof of a deep result due to Hamhalter (2011), according to which C(A) determines A as a Jordan algebra (at least for a large class of C*-algebras). As a corollary, we prove a new Wigner-type theorem to the effect that order isomorphisms of C(B(H)) are (anti) unitarily implemented. We also show how C(A) is related to the orthomodular poset P(A) of projections in A. These results indicate that C(A) is a serious player in C*-algebras and quantum theory.


title: Concordance and Discordance in Cosmology

abstract: The success of present and future cosmological studies is tied to the ability to detect discrepancies in complex data sets within the framework of a cosmological model. Tensions caused by the presence of unknown systematic effects need to be isolated and corrected to increase the overall accuracy of parameter constraints, while discrepancies due to new physical phenomena need to be promptly identified. We develop a full set of estimators of internal and mutual agreement and disagreement, whose strengths complement each other. These allow to take into account the effect of prior information and compute the statistical significance of both tensions and confirmatory biases. We apply them to a wide range of state of the art cosmological probes and show that these estimators can be easily used, regardless of model and data complexity. We derive a series of results that show that discrepancies indeed arise within the standard LCDM model. Several of them exceed the probability threshold of 95% and deserve a dedicated effort to understand their origin.


title: Magnetic properties of YCo$_5$ compound at high pressure

abstract: The crystal structure and magnetic properties of YCo$_5$ compound have been studied by neutron diffraction, in the pressure range $0 \le p \le 7.2 \ GPa$. The experimental data are analyzed together with results from the combined Density Functional and Dynamical Mean-Field Theory. A good agreement between the experimentally determined and calculated values of cobalt moments is shown. Our scenario for the behavior of YCo$_5$ under pressure, is the combined action of the Lifshitz transition with a strong local electron-electron interaction.


title: Characterization of non-linear Besov spaces

abstract: The canonical generalizations of two classical norms on Besov spaces are shown to be equivalent even in the case of non-linear Besov spaces, that is, function spaces consisting of functions taking values in a metric space and equipped with some Besov-type topology. The proofs are based on atomic decomposition techniques and metric embeddings. Additionally, we provide embedding results showing how non-linear Besov spaces embed into non-linear $p$-variation spaces and vice versa. We emphasize that we neither assume the UMD property of the involved spaces nor their separability.


title: Random Moment Problems under Constraints

abstract: We investigate moment sequences of probability measures on $E\subset\mathbb{R}$ under constraints of certain moments being fixed. This corresponds to studying sections of $n$-th moment spaces, i.e. the spaces of moment sequences of order $n$. By equipping these sections with the uniform or more general probability distributions, we manage to give for large $n$ precise results on the (probabilistic) barycenters of moment space sections and the fluctuations of random moments around these barycenters. The measures associated to the barycenters belong to the Bernstein-Szeg\H{o} class and show strong universal behavior. We prove Gaussian fluctuations and moderate and large deviations principles. Furthermore, we demonstrate how fixing moments by a constraint leads to breaking the connection between random moments and random matrices.


title: Mod-2 dihedral Galois representations of prime conductor

abstract: For all odd primes N up to 500000, we compute the action of the Hecke operator T_2 on the space S_2(Gamma_0(N), Q) and determine whether or not the reduction mod 2 (with respect to a suitable basis) has 0 and/or 1 as eigenvalues. We then partially explain the results in terms of class field theory and modular mod-2 Galois representations. As a byproduct, we obtain some nonexistence results on elliptic curves and modular forms with certain mod-2 reductions, extending prior results of Setzer, Hadano, and Kida.


title: Current results on Newton polygons of curves

abstract: There are open questions about which Newton polygons and Ekedahl-Oort types occur for Jacobians of smooth curves of genus $g$ in positive characteristic $p$. In this chapter, I survey the current state of knowledge about these questions. I include a new result, joint with Karemaker, which verifies, for each odd prime $p$, that there exist supersingular curves of genus $g$ defined over $\overline{{\mathbb F}}_p$ for infinitely many new values of $g$. I sketch a proof of Faber and Van der Geer's theorem about the geometry of the $p$-rank stratification of the moduli space of curves. The chapter ends with a new theorem, in which I prove that questions about the geometry of the Newton polygon and Ekedahl-Oort strata can be reduced to the case of $p$-rank $0$.


title: FigureNet: A Deep Learning model for Question-Answering on Scientific Plots

abstract: Deep Learning has managed to push boundaries in a wide variety of tasks. One area of interest is to tackle problems in reasoning and understanding, with an aim to emulate human intelligence. In this work, we describe a deep learning model that addresses the reasoning task of question-answering on categorical plots. We introduce a novel architecture FigureNet, that learns to identify various plot elements, quantify the represented values and determine a relative ordering of these statistical values. We test our model on the FigureQA dataset which provides images and accompanying questions for scientific plots like bar graphs and pie charts, augmented with rich annotations. Our approach outperforms the state-of-the-art Relation Networks baseline by approximately $7\%$ on this dataset, with a training time that is over an order of magnitude lesser.


title: Complex magnetism and non-Fermi liquid state in the vicinity of the quantum critical point in the CeCo$_{1-x}$Fe$_x$Ge$_3$ series

abstract: We report extensive studies on the CeCo$_{1-x}$Fe$_{x}$Ge$_3$ alloys, which show quantum critical point (QCP) due to damping the antiferromagnetic order in CeCoGe$_3$ down to 0 K by doping with the paramagnetic CeFeGe$_3$ compound. The presence of QCP is confirmed by detecting the non-Fermi liquid behavior (NFL) using a wide range of the experimental methods: magnetic susceptibility, specific heat, electrical resistivity, magnetoresistance, and thermoelectric power. In the case of the thermoelectric power we find a clear enhancement of the Seebeck coefficient for $x$ around 0.6, i.e. in the neighborhood of QCP. Finally, the different complementary studies enabled construction of the complex magnetic phase diagram for the CeCo$_{1-x}$Fe$_{x}$Ge$_3$ system, including the energy scale imposed by the crystal electric field splitting of the Ce ground state.


title: The cohomological and the resource-theoretic perspective on quantum contextuality: common ground through the contextual fraction

abstract: We unify the resource-theoretic and the cohomological perspective on quantum contextuality. At the center of this unification stands the notion of the contextual fraction. For both symmetry and parity based contextuality proofs, we establish cohomological invariants which are witnesses of state-dependent contextuality. We provide two results invoking the contextual fraction, namely (i) refinements of logical contextuality inequalities, and (ii) upper bounds on the classical cost of Boolean function evaluation, given the contextual fraction of the corresponding measurement-based quantum computation.


title: Social Networks through the Prism of Cognition

abstract: Human relations are driven by social events-people interact, exchange information, share knowledge and emotions, and gather news from mass media. These events leave traces in human memory, the strength of which depends on cognitive factors such as emotions or attention span. Each trace continuously weakens over time unless another related event activity strengthens it. Here, we introduce a novel cognition-driven social network (CogSNet) model that accounts for cognitive aspects of social perception. The model explicitly represents each social interaction as a trace in human memory with its corresponding dynamics. The strength of the trace is the only measure of the influence that the interactions had on a person. For validation, we apply our model to NetSense data on social interactions among university students. The results show that CogSNet significantly improves the quality of modeling of human interactions in social networks.


title: Weakly-Supervised Semantic Segmentation by Iteratively Mining Common Object Features

abstract: Weakly-supervised semantic segmentation under image tags supervision is a challenging task as it directly associates high-level semantic to low-level appearance. To bridge this gap, in this paper, we propose an iterative bottom-up and top-down framework which alternatively expands object regions and optimizes segmentation network. We start from initial localization produced by classification networks. While classification networks are only responsive to small and coarse discriminative object regions, we argue that, these regions contain significant common features about objects. So in the bottom-up step, we mine common object features from the initial localization and expand object regions with the mined features. To supplement non-discriminative regions, saliency maps are then considered under Bayesian framework to refine the object regions. Then in the top-down step, the refined object regions are used as supervision to train the segmentation network and to predict object masks. These object masks provide more accurate localization and contain more regions of object. Further, we take these object masks as initial localization and mine common object features from them. These processes are conducted iteratively to progressively produce fine object masks and optimize segmentation networks. Experimental results on Pascal VOC 2012 dataset demonstrate that the proposed method outperforms previous state-of-the-art methods by a large margin.


title: Stationary Distributions for Two-Dimensional Sticky Brownian Motions: Exact Tail Asymptotics and Extreme Value Distributions

abstract: In this paper, we consider a two-dimensional sticky Brownian motion. Sticky Brownian motions can be viewed as time-changed semimartingale reflecting Brownian motions, which find applications in many areas including queueing theory and mathematical finance. For example, a sticky Brownian motion can be used to model a storage system.with exceptional services. In this paper, we focus on stationary distributions for sticky Brownian motions. The main results obtained here include tail asymptotic properties in boundary stationary distributions, marginal distributions, and joint distributions. The kernel method, copula concept and extreme value theory are main tools used in our analysis.


title: High Repetition-Rate Femtosecond Stimulated Raman Spectroscopy with Fast Acquisition

abstract: Time-resolved femtosecond stimulated Raman spectroscopy (FSRS) is a powerful tool for investigating ultrafast structural and vibrational dynamics in light absorbing systems. However, the technique generally requires exposing a sample to high laser pulse fluences and long acquisition times to achieve adequate signal-to-noise ratios. Here, we describe a timeresolved FSRS instrument built around a Yb ultrafast amplifier operating at 200 kHz, and address some of the unique challenges that arise at high repetition-rates. The setup includes detection with a 9 kHz CMOS camera and an improved dual-chopping scheme to reject scattering artifacts that occur in the 3-pulse configuration. The instrument demonstrates good signal-to-noise performance while simultaneously achieving a 3-6 fold reduction in pulse energy and a 5-10 fold reduction in acquisition time relative to comparable 1 kHz instruments.


title: Ehrenfest+R Dynamics I: A Mixed Quantum-Classical Electrodynamics Simulation of Spontaneous Emission

abstract: The dynamics of an electronic system interacting with an electromagnetic field is investigated within mixed quantum-classical theory. Beyond the classical path approximation (where we ignore all feedback from the electronic system on the photon field), we consider all electron-photon interactions explicitly according to Ehrenfest (i.e. mean-field) dynamics and a set of coupled Maxwell-Liouville equations. Because Ehrenfest dynamics cannot capture certain quantum features of the photon field correctly, we propose a new Ehrenfest+R method that can recover (by construction) spontaneous emission while also distinguishing between electromagnetic fluctuations and coherent emission.


title: Universal quantum computation using fractal symmetry-protected cluster phases

abstract: We show that 2D fractal subsystem symmetry-protected topological phases may serve as resources for universal measurement-based quantum computation. This is demonstrated explicitly for two cluster models known to lie within fractal symmetry-protected topological phases, and computational universality is shown to persist throughout those phases. One of the models considered is simply the cluster model on the honeycomb lattice in one limit. We discuss the importance of rigid subsystem symmetries, as opposed to global or $(\text{D}-1)$-form symmetries, in this context.


title: Min-max minimal disks with free boundary in Riemannian manifolds

abstract: In this paper, we establish a min-max theory for constructing minimal disks with free boundary in any closed Riemannian manifold. The main result is an effective version of the partial Morse theory for minimal disks with free boundary established by Fraser. Our theory also includes as a special case the min-max theory for Plateau problem of minimal disks, which can be used to generalize the famous work by Morse-Thompkins and Shiffman on minimal surfaces in $\mathbf{R}^n$ to the Riemannian setting. More precisely, we generalize the min-max construction of minimal surfaces using harmonic replacement introduced by Colding and Minicozzi to the free boundary setting. As a key ingredient to this construction, we show an energy convexity for weakly harmonic maps with mixed Dirichlet and free boundaries from the half unit $2$-disk in $\mathbf{R}^2$ into any closed Riemannian manifold, which in particular yields the uniqueness of such weakly harmonic maps. This is a free boundary analogue of the energy convexity and uniqueness for weakly harmonic maps with Dirichlet boundary on the unit $2$-disk proved by Colding and Minicozzi.


title: Existence of Min-Max Free Boundary Disks Releasing the Width of a Manifold

abstract: We perform a replacement procedure in order to produce a free boundary minimal surface whose area achieves the min-max value over all disk sweepouts of a manifold whose boundary lie in a submanifold. Our result is based on a proof of the convexity of the energy for free boundary harmonic maps and a generalization of Colding-Minicozzi replacement procedure.


title: Noncommutative gravity with self-dual variables

abstract: We build a noncommutative extension of Palatini-Holst theory on a twist-deformed spacetime, generalizing a model that has been previously proposed by Aschieri and Castellani. The twist deformation entails an enlargement of the gauge group, and leads to the introduction of new gravitational degrees of freedom. In particular, the tetrad degrees of freedom must be doubled, thus leading to a bitetrad theory of gravity. The model is shown to exhibit new duality symmetries. The introduction of the Holst term leads to a dramatic simplification of the dynamics, which is achieved when the Barbero-Immirzi parameter takes the value $\beta=-i$, corresponding to a self-dual action. We study in detail the commutative limit of the model, focusing in particular on the role of torsion and non-metricity. The effects of spacetime noncommutativity are taken into account perturbatively, and are computed explicitly in a simple example. Connections with bimetric theories and the role of local conformal invariance in the commutative limit are also explored.


title: Probing the quantum interference between singly and doubly resonant top-quark production in $pp$ collisions at $\sqrt{s}=13$ TeV with the ATLAS detector

abstract: This Letter presents a normalized differential cross-section measurement in a fiducial phase-space region where interference effects between top-quark pair production and associated production of a single top quark with a $W$ boson and a $b$-quark are significant. Events with exactly two leptons ($ee$, $\mu\mu$, or $e\mu$) and two $b$-tagged jets that satisfy a multi-particle invariant mass requirement are selected from $36.1$ fb$^{-1}$ of proton-proton collision data taken at $\sqrt{s}=13$ TeV with the ATLAS detector at the LHC in 2015 and 2016. The results are compared with predictions from simulations using various strategies for the interference. The standard prescriptions for interference modeling are significantly different from each other but are within $2\sigma$ of the data. State-of-the-art predictions that naturally incorporate interference effects provide the best description of the data in the measured region of phase space most sensitive to these effects. These results provide an important constraint on interference models and will guide future model development and tuning.


title: The Universe at extreme magnification

abstract: Extreme magnifications of distant objects by factors of several thousand have recently become a reality. Small very luminous compact objects, such as supernovae (SNe), giant stars at z=1-2, Pop III stars at z>7 and even gravitational waves from merging binary black holes near caustics of gravitational lenses can be magnified to many thousands or even tens of thousands thanks to their small size. We explore the probability of such extreme magnifications in a cosmological context including also the effect of microlenses near critical curves. We show how a natural limit to the maximum magnification appears due to the presence of microlenses near critical curves. We use a combination of state of the art halo mass functions, high-resolution analytical models for the density profiles and inverse ray tracing to estimate the probability of magnification near caustics. We estimate the rate of highly-magnified events in the case of SNe, GW and very luminous stars including Pop III stars. Our findings reveal that future observations will increase the number of events at extreme magnifications opening the door not only to study individual sources at cosmic distances but also to constrain compact dark matter candidates.


title: Non-vanishing Heterotic Superpotentials on Elliptic Fibrations

abstract: We present models of heterotic compactification on Calabi-Yau threefolds and compute the non-perturbative superpotential for vector bundle moduli. The key feature of these models is that the threefolds, which are elliptically fibered over del Pezzo surfaces, have homology classes with a unique holomorphic, isolated genus-zero curve. Using the spectral cover construction, we present vector bundles for which we can explicitly calculate the Pfaffians associated with string instantons on these curves. These are shown to be non-zero, thus leading to a non-vanishing superpotential in the 4D effective action. We discuss, in detail, why such compactifications avoid the Beasley-Witten residue theorem.


title: Reply to Comment on "Sensitivity of $(d,p)$ reactions to high $n$-$p$ momenta and the consequences for nuclear spectroscopy studies

abstract: We point out that after presenting our results on high $n$-$p$ momentum sensitivity of the $(d,p)$ cross sections in [Phys. Rev. Lett. 117 162502 (2016)] the last paragraph of our Letter refers to a need of going beyond the leading order of Weinberg state treatment. This task could be achieved by using any method that can provide exact solution of the three-body problem. Deltuva [arXiv:1806.00298] uses Faddeev equations to study the NN-model dependence of the $(d,p)$ cross sections. His results are consistent with a new study performed at Surrey which is undergoing a reviewing process at Physical Review C. Both studies discuss the $n$-$p$ sensitivity within three-body $n+p+A$ models with $NN$-independent $N$-$A$ optical potentials. The sensitivity may reappear in many-body treatment of $(d,p)$ reactions, for example, due to the threshold position dependence.


title: Real-time data compression for data acquisition systems applied to the ITER Radial Neutron Camera

abstract: To achieve the aim of the ITER Radial Neutron Camera Diagnostic, the data acquisition prototype must be compliant with a sustained 2 MHz peak event for each channel with 128 samples of 16 bits per event. The data is acquired and processed using an IPFN FPGA Mezzanine Card (FMC-AD2-1600) with 2 digitizer channels of 12-bit resolution and a sampling rate up to 1.6 GSamples/s mounted in a PCIe evaluation board from Xilinx (KC705) installed in the host PC. The acquired data in the event-based data-path is streamed to the host through the PCIe x8 Direct Memory Access (DMA) with a maximum data throughput per channel is 0.5 GB/s of raw data (event base), 1 GB/s per digitizer and up to 1.6 GB/s in continuous mode. The prototype architecture comprises an host PC with two KC705 modules and four channels, producing up to 2 GB/s in event mode and up to 3.2 GB/s in continuous mode. To reduce the produced data throughput from host to ITER databases, the real-time data compression was evaluated using the LZ4 lossless compression algorithm, which provides compression speed up to 400 MB/s per core. This paper presents the architecture, implementation and test of the parallel real-time data compression system running in multiple isolated cores. The average space saving and the performance results for long term acquisitions up to 30 minutes, using different data block size and different number of CPUs, is also presented.


title: Revisiting the exomoon candidate signal around Kepler-1625b

abstract: Transit photometry of the exoplanet candidate Kepler-1625b has recently been interpreted to show hints of a moon. We aim to clarify whether the exomoon-like signal is really caused by a large object in orbit around Kepler-1625b. We explore several detrending procedures, i.e. polynomials and the Cosine Filtering with Autocorrelation Minimization (CoFiAM). We then supply a light curve simulator with the co-planar orbital dynamics of the system and fit the resulting planet-moon transit light curves to the Kepler data. We employ the Bayesian Information Criterion (BIC) to assess whether a single planet or a planet-moon system is a more likely interpretation of the light curve variations. We carry out a blind hare-and-hounds exercise using many noise realizations by injecting simulated transits into different out-of-transit parts of the original Kepler-1625 data: 100 sequences with 3 synthetic transits of a Kepler-1625b-like planet and 100 sequences with 3 synthetic transits of this planet with a Neptune-sized moon. The statistical significance and characteristics of the exomoon-like signal strongly depend on the detrending method, and the data chosen for detrending, and on the treatment of gaps in the light curve. Our injection-retrieval experiment shows evidence for moons in about 10% of those light curves that do not contain an injected moon. Strikingly, many of these false-positive moons resemble the exomoon candidate. We recover up to about half of the injected moons, depending on the detrending method, with radii and orbital distances broadly corresponding to the injected values. A $\Delta$BIC of -4.9 for the CoFiAM-based detrending indicates an exomoon around Kepler-1625b. This solution, however, is only one out of many and we find very different solutions depending on the details of the detrending method. It is worrying that the detrending is key to the interpretation of the data.


title: 2-uniform words: cycle graphs, and an algorithm to verify specific word-representations of graphs

abstract: For an arbitrary word $w$ on an alphabet, we can define the alternating symbol graph, $G(w)$, as the graph in which the edge $(a, b)$ is in $E$ iff the letters $a$ and $b$ alternate in the word $w$. A graph $G = (V, E)$ is said to be word-representable if $G = G(w)$ for some word $w$ on $V$. The general problem of checking whether a graph is word-representable has been shown to be NP-complete. However, checking whether a given graph is a 2-uniform word-representable (each letter occurring exactly twice in the word) has an $O(V^2)$-time algorithm, described by Spinrad. Related to this, we propose a novel $O(V \log(V) + E)$ time algorithm implementing Fenwick Trees to check whether $G(w) = G$, for a given 2-uniform word $w$ and a graph $G = (V, E)$. We also prove that the number of 2-uniform words representing the labelled $n$-vertex cycle graphs is precisely $4n$.


title: Efficient Tracking of Sparse Signals via an Earth Mover's Distance Dynamics Regularizer

abstract: Tracking algorithms such as the Kalman filter aim to improve inference performance by leveraging the temporal dynamics in streaming observations. However, the tracking regularizers are often based on the $\ell_p$-norm which cannot account for important geometrical relationships between neighboring signal elements. We propose a practical approach to using the earth mover's distance (EMD) via the earth mover's distance dynamic filtering (EMD-DF) algorithm for causally tracking time-varying sparse signals when there is a natural geometry to the coefficient space that should be respected (e.g., meaningful ordering). Specifically, this paper presents a new Beckmann formulation that dramatically reduces computational complexity, as well as an evaluation of the performance and complexity of the proposed approach in imaging and frequency tracking applications with real and simulated neurophysiology data.


title: Gauge dependence of tadpole and mass renormalization for a seesaw extended 2HDM

abstract: We study the gauge dependence of the neutrino mass renormalization in a two Higgs doublet model, that is extended with one singlet seesaw neutrino. This model gives only one light neutrino a mass at tree level, while the second light mass is generated at loop level via the interaction with the second Higgs doublet. At one loop level, one neutrino stays massless. We use multiplicative renormalization constants to define counterterms. The renormalized mass parameters are defined as the complex poles of the propagators, using the complex mass scheme for mass renormalization. With this setup, we analytically get the expressions for the neutrino mass counterterms and isolate the gauge dependent part. We show, how relating this gauge dependent part with the tadpole renormalization leads to gauge independent counterterm definitions, hence gauge independent bare masses for neutrinos.