title: Bayesian reconstruction of the Milky Way dark matter distribution

abstract: We develop a novel Bayesian methodology aimed at reliably and precisely inferring the distribution of dark matter within the Milky Way using rotation curve data. We identify a subset of the available rotation curve tracers that are mutually consistent with each other, thus eliminating data sets that might suffer from systematic bias. We investigate three different models for the mass distribution of the luminous (baryonic) component that bracket the range of likely morphologies. We demonstrate the statistical performance of our method on simulated data in terms of coverage, fractional distance, and mean squared error. Applying it to Milky Way data we measure the local dark matter density at the solar circle $\rho_0$ to be $\rho_0 = 0.43\pm 0.02(\rm{stat})\pm0.01(\rm{sys})$ GeV/cm$^3$, with an accuracy $\sim$ 6%. This result is robust to the assumed baryonic morphology. The scale radius and inner slope of the dark matter profile are degenerate and cannot be individually determined with high accuracy. We show that these results are robust to several possible residual systematic errors in the rotation curve data.


title: High-redshift quasars and their host galaxies I: kinematical and dynamical properties and their tracers

abstract: Observations of high-redshift quasars provide information on the massive black holes (MBHs) powering them and the galaxies hosting them. Current observations of $z \gtrsim 6$ hosts, at sub-mm wavelengths, trace the properties of cold gas, and these are used to compare with the correlations between MBHs and galaxies characterising the $z=0$ population. The relations at $z=0$, however, rely on stellar-based tracers of the galaxy properties. We perform a very-high resolution cosmological zoom-in simulation of a $z=7$ quasar including state-of-the-art non-equilibrium chemistry, MBH formation, growth and feedback, to assess the evolution of the galaxy host and the central MBH, and compare the results with recent ALMA observations of high-redshift quasars. We measure both the stellar-based quantities used to establish the $z=0$ correlations, as well as the gas-based quantities available in $z \gtrsim 6$ observations, adopting the same assumptions and techniques used in observational studies. The high-redshift studies argued that MBHs at high redshift deviate from the local MBH-galaxy correlations. In our analysis of the single galaxy we evolve, we find that the high-redshift population sits on the same correlations as the local one, when using the same tracers used at $z=0$. When using the gas-based tracers, however, MBHs appear to be over-massive. The discrepancy between local and high-redshift MBHs seems caused by the different tracers employed, and necessary assumptions, and not by an intrinsic difference. Better calibration of the tracers, higher resolution data and availability of facilities that can probe the stellar population will be crucial to assess precisely and accurately high-redshift quasar hosts.


title: The fate of planetesimal discs in young open clusters: implications for 1I/'Oumuamua, the Kuiper belt, the Oort cloud and more

abstract: We perform $N$-body simulations of the early phases of open cluster evolution including a large population of planetesimals, initially arranged in Kuiper-belt like discs around each star. Using a new, 4th-order and time-reversible $N$-body code on Graphics Processing Units (GPUs), we evolve the whole system under the stellar gravity, i.e. treating planetesimals as test particles, and consider two types of initial cluster models, similar to IC348 and the Hyades, respectively. In both cases, planetesimals can be dynamically excited, transferred between stars or liberated to become free-floating (such as A/2017 U1 or 'Oumuamua) during the early cluster evolution. We find that planetesimals captured from another star are not necessarily dynamically distinct from those native to a star. After an encounter both native and captured planetesimals can exhibit aligned periastrons, qualitatively similar to that seen in the Solar system and commonly thought to be the signature of Planet 9. We discuss the implications of our results for both our Solar system and exoplanetary systems.


title: Ongoing star formation at the outskirts of Sextans A: Spectroscopic detection of early-O type stars

abstract: With both nebular- and stellar-derived abundances of $\lesssim$ 1/10 Zsun and low foreground extinction, Sextans A is a prime candidate to replace the Small Magellanic Cloud as reservoir of metal-poor massive stars and reference to study the metal-poor Universe. We report the discovery of two early-O type stars in Sextans A, the earliest O-stars with metallicity < 1/7 Zsun known to date, and two additional O9 stars. Colour-excess estimates towards individual targets, enabled by spectral typing, manifest that internal reddening is neither uniform nor negligible. The four targets define a new region of star formation far from the optically-brightest centre of the galaxy and from its conspicuous HII shells, but not devoid of neutral hydrogen. In fact, we detect a spatial correlation between OB-stars and HI in Sextans A and other dIrr's that leads us to propose that the neutral phase may be fundamental to star formation in low-density environments. According to the existing evidence at least two of the targets formed in isolation, thus suggestive of an stochastic sampling of the initial mass function that would enable low-mass galaxies like Sextans A to form very massive stars. The discovery of these four stars provide spatially-resolved, spectroscopic confirmation of recent findings suggesting that dwarf galaxies can sustain star formation despite the low density of the gas phase.


title: Multiple spiral arms in the disk around intermediate-mass binary HD 34700A

abstract: We present the first images of the transition disk around the close binary system HD 34700A in polarized scattered light using the Gemini Planet Imager instrument on Gemini South. The J and H band images reveal multiple spiral-arm structures outside a large (R = 0.49" = 175 au) cavity along with a bluish spiral structure inside the cavity. The cavity wall shows a strong discontinuity and we clearly see significant non-azimuthal polarization Uphi consistent with multiple scattering within a disk at an inferred inclination ~42deg. Radiative transfer modeling along with a new Gaia distance suggest HD 37400A is a young (~5 Myr) system consisting of two intermediate-mass (~2Msun) stars surrounded by a transitional disk and not a solar-mass binary with a debris disk as previously classified. Conventional assumptions of the dust-to-gas ratio would rule out a gravitational instability origin to the spirals while hydrodynamical models using the known external companion or a hypothetical massive protoplanet in the cavity both have trouble reproducing the relatively large spiral arm pitch angles (~30deg) without fine tuning of gas temperature. We explore the possibility that material surrounding a massive protoplanet could explain the rim discontinuity after also considering effects of shadowing by an inner disk. Analysis of archival Hubble Space Telescope data suggests the disk is rotating counterclockwise as expected from the spiral arm structure and revealed a new low-mass companion at 6.45" separation. We include an appendix which sets out clear definitions of Q, U, Qphi, Uphi, correcting some confusion and errors in the literature.


title: Schur and $e$-positivity of trees and cut vertices

abstract: We prove that the chromatic symmetric function of any $n$-vertex tree containing a vertex of degree $d\geq \log _2n +1$ is not $e$-positive, that is, not a positive linear combination of elementary symmetric functions. Generalizing this, we also prove that the chromatic symmetric function of any $n$-vertex connected graph containing a cut vertex whose deletion disconnects the graph into $d\geq\log _2n +1$ connected components is not $e$-positive. Furthermore we prove that any $n$-vertex bipartite graph, including all trees, containing a vertex of degree greater than $\lceil \frac{n}{2}\rceil$ is not Schur-positive, namely not a positive linear combination of Schur functions. In complete generality, we prove that if an $n$-vertex connected graph has no perfect matching (if $n$ is even) or no almost perfect matching (if $n$ is odd), then it is not $e$-positive. We hence deduce that many graphs containing the claw are not $e$-positive.


title: Testing the Detectability of Extraterrestrial $\mathrm{O}_2$ with the ELTs using Real Data with Real Noise

abstract: The future extremely large telescopes (ELTs) are expected to be powerful tools to probe the atmospheres of extrasolar planets using high-dispersion spectroscopy, with the potential to detect molecular oxygen in Earth-like planets transiting nearby, late-type stars. So far, simulations have concentrated on the optical 7600 \AA{} A-band of oxygen using synthetic noise distributions. In this paper, we build upon previous work to predict the detectability of molecular oxygen in nearby, temperate planets by using archival, time-series data of Proxima Centauri from the high-dispersion UVES spectrograph on ESO's Very Large Telescope (VLT). The brightest transiting M-dwarfs are expected to be about 25 times fainter than Proxima, a factor that is similar to the difference in light-gathering power between the VLT and the future ELTs. By injecting synthetic oxygen transmission signals into the UVES data, the $\mathrm{O}_2$ detectability can be studied in the presence of real data with real noise properties. Correcting for the relatively low throughput ($\sim$4%) of the Proxima spectra to an assumed 20% throughput for a high-dispersion spectrograph on the European ELT, we find that the molecular oxygen signature of an Earth-twin transiting a nearby ($d \approx 7 \,\mathrm{pc}$) M5V star can be detected in 20-50 transits (a total of 70-175 hours of observing time). This estimate using more realistic simulations is close to previous predictions. Novel concepts that increase the instrumental throughput can further reduce the time span over which such observations need to be taken.


title: Bilinear Bandits with Low-rank Structure

abstract: We introduce the bilinear bandit problem with low-rank structure in which an action takes the form of a pair of arms from two different entity types, and the reward is a bilinear function of the known feature vectors of the arms. The unknown in the problem is a $d_1$ by $d_2$ matrix $\mathbf{\Theta}^*$ that defines the reward, and has low rank $r \ll \min\{d_1,d_2\}$. Determination of $\mathbf{\Theta}^*$ with this low-rank structure poses a significant challenge in finding the right exploration-exploitation tradeoff. In this work, we propose a new two-stage algorithm called "Explore-Subspace-Then-Refine" (ESTR). The first stage is an explicit subspace exploration, while the second stage is a linear bandit algorithm called "almost-low-dimensional OFUL" (LowOFUL) that exploits and further refines the estimated subspace via a regularization technique. We show that the regret of ESTR is $\widetilde{\mathcal{O}}((d_1+d_2)^{3/2} \sqrt{r T})$ where $\widetilde{\mathcal{O}}$ hides logarithmic factors and $T$ is the time horizon, which improves upon the regret of $\widetilde{\mathcal{O}}(d_1d_2\sqrt{T})$ attained for a na\"ive linear bandit reduction. We conjecture that the regret bound of ESTR is unimprovable up to polylogarithmic factors, and our preliminary experiment shows that ESTR outperforms a na\"ive linear bandit reduction.


title: Efficient Minimum Distance Estimation of Pareto Exponent from Top Income Shares

abstract: We propose an efficient estimation method for the income Pareto exponent when only certain top income shares are observable. Our estimator is based on the asymptotic theory of weighted sums of order statistics and the efficient minimum distance estimator. Simulations show that our estimator has excellent finite sample properties. We apply our estimation method to U.S. top income share data and find that the Pareto exponent has been stable at around 1.5 since 1985, suggesting that the rise in inequality during the last three decades is mainly driven by redistribution between the rich and poor, not among the rich.

categories: math.ST econ.GN q-fin.EC stat.AP stat.TH


title: Dynamical generation of low-energy couplings from quark-meson fluctuations

abstract: We extend our recent computation of the low-energy limit of the linear O(4) Quark-Meson Model. The present analysis focuses on the transformation of the resulting effective action into a nonlinearly realized effective pion action, whose higher-derivative interaction terms are parametrized by so-called low-energy couplings. Their counterparts in the linear model are determined from the Functional Renormalization Group flow of the momentum-dependent four-pion vertex, which is calculated in a fully O(4)-symmetric approximation by including also momentum-dependent {\sigma}{\pi} interactions as well as {\sigma} self-interactions. Consequently, these higher-derivative couplings are dynamically generated solely from quark and meson fluctuations, initialized at a hadronic scale. Despite our restriction to low-energy degrees of freedom, we find that the qualitative features of the fluctuation dynamics allow us to comment on the range of validity and on appropriate renormalization scales for purely pionic effective models.


title: Atom-only descriptions of the driven-dissipative Dicke model

abstract: We investigate how to describe the dissipative spin dynamics of the driven-dissipative Dicke model, describing $N$ two-level atoms coupled to a cavity mode, after adiabatic elimination of the cavity mode. To this end, we derive a Redfield master equation which goes beyond the standard secular approximation and large detuning limits. We show that the secular (or rotating wave) approximation and the large detuning approximation both lead to inadequate master equations, that fail to predict the Dicke transition or the damping rates of the atomic dynamics. In contrast, the full Redfield theory correctly predicts the phase transition and the effective atomic damping rates. Our work provides a reliable framework to study the full quantum dynamics of atoms in a multimode cavity, where a quantum description of the full model becomes intractable.


title: On Relativistic $f$-Divergences

abstract: This paper provides a more rigorous look at Relativistic Generative Adversarial Networks (RGANs). We prove that the objective function of the discriminator is a statistical divergence for any concave function $f$ with minimal properties ($f(0)=0$, $f'(0) \neq 0$, $\sup_x f(x)>0$). We also devise a few variants of relativistic $f$-divergences. Wasserstein GAN was originally justified by the idea that the Wasserstein distance (WD) is most sensible because it is weak (i.e., it induces a weak topology). We show that the WD is weaker than $f$-divergences which are weaker than relativistic $f$-divergences. Given the good performance of RGANs, this suggests that WGAN does not performs well primarily because of the weak metric, but rather because of regularization and the use of a relativistic discriminator. We also take a closer look at estimators of relativistic $f$-divergences. We introduce the minimum-variance unbiased estimator (MVUE) for Relativistic paired GANs (RpGANs; originally called RGANs which could bring confusion) and show that it does not perform better. Furthermore, we show that the estimator of Relativistic average GANs (RaGANs) is only asymptotically unbiased, but that the finite-sample bias is small. Removing this bias does not improve performance.


title: Hamiltonian cycles in tough $(P_2\cup P_3)$-free graphs

abstract: Let $t>0$ be a real number and $G$ be a graph. We say $G$ is $t$-tough if for every cutset $S$ of $G$, the ratio of $|S|$ to the number of components of $G-S$ is at least $t$. Determining toughness is an NP-hard problem for arbitrary graphs. The Toughness Conjecture of Chv\'atal, stating that there exists a constant $t_0$ such that every $t_0$-tough graph with at least three vertices is hamiltonian, is still open in general. A graph is called $(P_2\cup P_3)$-free if it does not contain any induced subgraph isomorphic to $P_2\cup P_3$, the union of two vertex-disjoint paths of order 2 and 3, respectively. In this paper, we show that every 15-tough $(P_2\cup P_3)$-free graph with at least three vertices is hamiltonian.


title: Dust opacity variations in the pre-stellar core L1544

abstract: Context: The study of dust emission at millimeter wavelengths is important to shed light on the dust properties and physical structure of pre-stellar cores, the initial conditions in the process of star and planet formation. Aims: Using two new continuum facilities, AzTEC at the LMT and MUSTANG-2 at the GBO, we aim to detect changes in the optical properties of dust grains as a function of radius for the well-known pre-stellar core L1544. Methods: We determine the emission profiles at 1.1 and 3.3 mm and examine whether they can be reproduced in terms of the current best physical models for L1544. We also make use of various tools to determine the radial distributions of the density, temperature, and the dust opacity in a self-consistent manner. Results: We find that our observations cannot be reproduced without invoking opacity variations. With the new data, new temperature and density profiles, as well as opacity variations across the core, have been derived. The opacity changes are consistent with the expected variations between uncoagulated bare grains, toward the outer regions of the core, and grains with thick ice mantles, toward the core center. A simple analytical grain growth model predicts the presence of grains of ~3-4 um within the central 2000 au for the new density profile.


title: Differentially Private Generative Adversarial Networks for Time Series, Continuous, and Discrete Open Data

abstract: Open data plays a fundamental role in the 21th century by stimulating economic growth and by enabling more transparent and inclusive societies. However, it is always difficult to create new high-quality datasets with the required privacy guarantees for many use cases. This paper aims at creating a framework for releasing new open data while protecting the individuality of the users through a strict definition of privacy called differential privacy. Unlike previous work, this paper provides a framework for privacy preserving data publishing that can be easily adapted to different use cases, from the generation of time-series to continuous data, and discrete data; no previous work has focused on the later class. Indeed, many use cases expose discrete data or at least a combination between categorical and numerical values. Thanks to the latest developments in deep learning and generative models, it is now possible to model rich-semantic data maintaining both the original distribution of the features and the correlations between them. The output of this framework is a deep network, namely a generator, able to create new data on demand. We demonstrate the efficiency of our approach on real datasets from the French public administration and classic benchmark datasets.


title: Visual novelty, curiosity, and intrinsic reward in machine learning and the brain

abstract: A strong preference for novelty emerges in infancy and is prevalent across the animal kingdom. When incorporated into reinforcement-based machine learning algorithms, visual novelty can act as an intrinsic reward signal that vastly increases the efficiency of exploration and expedites learning, particularly in situations where external rewards are difficult to obtain. Here we review parallels between recent developments in novelty-driven machine learning algorithms and our understanding of how visual novelty is computed and signaled in the primate brain. We propose that in the visual system, novelty representations are not configured with the principal goal of detecting novel objects, but rather with the broader goal of flexibly generalizing novelty information across different states in the service of driving novelty-based learning.


title: Non-uniform covering array with symmetric forbidden edge constraints

abstract: It has been conjectured that whenever an optimal covering array exists there is also a uniform covering array with the same parameters and this is true for all known optimal covering arrays. When used as a test suite, the application context may have pairs of parameters that must be avoided and Covering arrays avoiding forbidden edges (CAFE) are a generalization accommodating this requirement. We prove that there is an arc-transitive, highly symmetric constraint graph where the unique optimal covering array avoiding forbidden edges is not uniform. This does not refute the conjecture but it does show that placing even highly symmetric constraints on covering arrays can force non-uniformity of optimal arrays.


title: On Positive Solutions of a Delay Equation Arising When Trading in Financial Markets

abstract: We consider a discrete-time, linear state equation with delay which arises as a model for a trader's account value when buying and selling a risky asset in a financial market. The state equation includes a nonnegative feedback gain $\alpha$ and a sequence $v(k)$ which models asset returns which are within known bounds but otherwise arbitrary. We introduce two thresholds, $\alpha_-$ and $\alpha_+$, depending on these bounds, and prove that for $\alpha < \alpha_-$, state positivity is guaranteed for all time and all asset-return sequences; i.e., bankruptcy is ruled out and positive solutions of the state equation are continuable indefinitely. On the other hand, for $\alpha > \alpha_+$, we show that there is always a sequence of asset returns for which the state fails to be positive for all time; i.e., along this sequence, bankruptcy is certain and the solution of the state equation ceases to be meaningful after some finite time. Finally, this paper also includes a conjecture which says that for the "gap" interval $\alpha_- \leq \alpha \leq \alpha_+,$ state positivity is also guaranteed for all time. Support for the conjecture, both theoretical and computational, is provided.


title: Comparison of Higher Smooth Torsion

abstract: By explicitly comparing constructions, we prove that the higher torsion invariants of smooth bundles defined by Igusa and Klein via Morse theory agree with the higher torsion invariants defined by Badzioch, Dorabiala, Dwyer, Weiss, and Williams using homotopy theoretical methods.


title: Penning collisions between supersonically expanded metastable helium atoms and laser-cooled lithium atoms

abstract: We describe an experimental setup comprised of a discharge source for supersonic beams of metastable helium atoms and a magneto-optical trap (MOT) for ultracold lithium atoms that makes it possible to study Penning ionization and associative ionization processes at high ion count rates. The cationic reaction products are analyzed using a novel ion detection scheme which allows for mass selection, a high ion extraction efficiency and a good collision-energy resolution. The influence of elastic He-Li collisions on the steady-state Li atom number in the MOT is described, and the collision data are used to estimate the excitation efficiency of the discharge source. We also show that Penning collisions can be directly used to probe the temperature of the Li cloud without the need for an additional time-resolved absorption or fluorescence detection system.


title: De novo inference of diversity genes and analysis of non-canonical V(DD)J recombination in immunoglobulins

abstract: The V(D)J recombination forms the immunoglobulin genes by joining the variable (V), diversity (D), and joining (J) germline genes. Since variations in germline genes have been linked to various diseases, personalized immunogenomics aims at finding alleles of germline genes across various patients. Although recent studies described algorithms for de novo inference of V and J genes from immunosequencing data, they stopped short of solving a more difficult problem of reconstructing D genes that form the highly divergent CDR3 regions and provide the most important contribution to the antigen binding. We present the IgScout algorithm for de novo D gene reconstruction and apply it to reveal new alleles of human D genes and previously unknown D genes in camel, an important model organism in immunology. We further analyze non-canonical V(DD)J recombination that results in unusually long tandem CDR3s and thus expands the diversity of the antibody repertoires. We demonstrate that tandem CDR3s represent a consistent and functional feature of all analyzed immunosequencing datasets, reveal ultra-long tandem CDR3s, and shed light on the mechanism responsible for their formation.


title: Unquenching the quark model in a non-perturbative scheme

abstract: In recent years, the discovery in quarkonium spectrum of several states not predicted by the naive quark model has awakened a lot of interest. A possible description of such states requires the enlargement of the quark model by introducing quark-antiquark pair creation or continuum coupling effects. The unquenching of the quark models is a way to take these new components into account. In the spirit of the Cornell Model, this is usually done by coupling perturbatively a quark-antiquark state with definite quantum numbers to the meson-meson channel with closest threshold. In this work we present a method to coupled quark-antiquark states with meson-meson channels, taking into account effectively the non-perturbative coupling to all quark-antiquark states with the same quantum numbers. The method will be applied to the study of the X(3872) resonance and a comparison with the perturbative calculation will be performed.


title: Pairing, waltzing and scattering of chemotactic active colloids

abstract: An interacting pair of chemotactic (anti-chemotactic) active colloids, that can rotate their axes of self-propulsion to align {parallel (anti-parallel)} to a chemical gradient, shows dynamical behaviour that varies from bound states to scattering. The underlying two-body interactions are purely dynamical, non-central, non-reciprocal, and controlled by changing the catalytic activity and phoretic mobility. Mutually chemotactic colloids trap each other in a final state of fixed separation; the resulting `active dimer' translates. A second type of bound state is observed where the polar axes undergo periodic cycles leading to phase-synchronised circular motion around a common point. These bound states are formed depending on initial conditions and can unbind on increasing the speed of self propulsion. Mutually anti-chemotactic swimmers always scatter apart. We also classify the fixed points underlying the bound states, and the bifurcations leading to transitions from one type of bound state to another, for the case of a single swimmer in the presence of a localised source of solute.


title: Agglomeration in a preferential attachment random graph with edge-steps

abstract: In this paper we investigate geometric properties of graphs generated by a preferential attachment random graph model with edge-steps. More precisely, at each time $t\in\mathbb{N}$, with probability $p$ a new vertex is added to the graph (a vertex-step occurs) or with probability $1-p$ an edge connecting two existent vertices is added (an edge-step occurs). We prove that the global clustering coefficient decays as $t^{-\gamma(p)}$ for a positive function $\gamma$ of $p$. We also prove that the clique number of these graphs is, up to sub-polynomially small factors, of order~$t^{(1-p)/(2-p)}$.


title: Strong Coupling of Light to Collective Terahertz Vibrations in Organic Materials

abstract: Several years ago, it was shown that strong coupling between an electronic transition in organic molecules and a resonant photonic structure can modify the electronic landscape of the molecules and affect their chemical behavior. Since then, this new concept has evolved into a new field known as polaritonic chemistry, which employs strong coupling as a new tool for controlling material properties and molecular chemistry. An important ingredient in the progress of this field was the recent demonstration of strong coupling of molecular vibrations to mid-infrared resonators, which enabled the modification of chemical processes occurring at the electronic ground-state of materials. Here we demonstrate for the first time strong coupling with collective, intermolecular vibrations occurring in organic materials in the Terahertz frequency region. Using a tunable, open-cavity geometry, we measure the temporal evolution and observe coherent Rabi oscillations, corresponding to a splitting of 68 GHz and approaching the ultra-strong coupling regime. These results take strong light-matter coupling into a new class of materials, including polymers, proteins and other organic materials, in which collective, spatially extended degrees of freedom participate in the dynamics.


title: A surgery formula for knot Floer homology

abstract: Let $K$ be a rationally null-homologous knot in a $3$-manifold $Y$, equipped with a nonzero framing $\lambda$, and let $Y_\lambda(K)$ denote the result of $\lambda$-framed surgery on $Y$. Ozsv\'ath and Szab\'o gave a formula for the Heegaard Floer homology groups of $Y_\lambda(K)$ in terms of the knot Floer complex of $(Y,K)$. We strengthen this formula by adding a second filtration that computes the knot Floer complex of the dual knot $K_\lambda$ in $Y_\lambda$, i.e., the core circle of the surgery solid torus. In the course of proving our refinement we derive a combinatorial formula for the Alexander grading which may be of independent interest.


title: Ferromagnetic ordering along the hard axis in the Kondo lattice YbIr3Ge7

abstract: Ferromagnetic Kondo lattice compounds are far less common than their antiferromagnetic analogs. In this work, we report the discovery of a new ferromagnetic Kondo lattice compound, YbIr3Ge7. Like almost all ferromagnetic Kondo lattice systems, YbIr3Ge7 shows magnetic order with moments aligned orthogonal to the crystal electric field (CEF) easy axis. YbIr3Ge7 is unique in that it is the only member of this class of compounds that crystallizes in a rhombohedral structure with a trigonal point symmetry of the magnetic site, and it lacks broken inversion symmetry at the local moment site. AC magnetic susceptibility, magnetization, and specific heat measurements show that YbIr3Ge7 has a Kondo temperature TK = 14 K and a Curie temperature TC = 2.4 K. Ferromagnetic order occurs along the crystallographic [100] hard CEF axis despite the large CEF anisotropy of the ground state Kramers doublet with a saturation moment along [001] almost four times larger than the one along [100]. This implies that a mechanism which considers the anisotropy in the exchange interaction to explain the hard axis ordering is unlikely. On the other hand, the broad second-order phase transition at TC favors a fluctuation-induced mechanism.


title: Choosing the Right Word: Using Bidirectional LSTM Tagger for Writing Support Systems

abstract: Scientific writing is difficult. It is even harder for those for whom English is a second language (ESL learners). Scholars around the world spend a significant amount of time and resources proofreading their work before submitting it for review or publication. In this paper we present a novel machine learning based application for proper word choice task. Proper word choice is a generalization the lexical substitution (LS) and grammatical error correction (GEC) tasks. We demonstrate and evaluate the usefulness of applying bidirectional Long Short Term Memory (LSTM) tagger, for this task. While state-of-the-art grammatical error correction uses error-specific classifiers and machine translation methods, we demonstrate an unsupervised method that is based solely on a high quality text corpus and does not require manually annotated data. We use a bidirectional Recurrent Neural Network (RNN) with LSTM for learning the proper word choice based on a word's sentential context. We demonstrate and evaluate our application on both a domain-specific (scientific), writing task and a general-purpose writing task. We show that our domain-specific and general-purpose models outperform state-of-the-art general context learning. As an additional contribution of this research, we also share our code, pre-trained models, and a new ESL learner test set with the research community.


title: Faster parameterized algorithm for pumpkin vertex deletion set

abstract: A directed graph $G$ is called a pumpkin if $G$ is a union of induced paths with a common start vertex $s$ and a common end vertex $t$, and the internal vertices of every two paths are disjoint. We give an algorithm that given a directed graph $G$ and an integer $k$, decides whether a pumpkin can be obtained from $G$ by deleting at most $k$ vertices. The algorithm runs in $O^*(2^k)$ time.


title: Fast algorithms for slow moving asteroids: constraints on the distribution of Kuiper Belt Objects

abstract: We introduce a new computational technique for searching for faint moving sources in astronomical images. Starting from a maximum likelihood estimate for the probability of the detection of a source within a series of images, we develop a massively parallel algorithm for searching through candidate asteroid trajectories that utilizes Graphics Processing Units (GPU). This technique can search over 10^10 possible asteroid trajectories in stacks of the order 10-15 4K x 4K images in under a minute using a single consumer grade GPU. We apply this algorithm to data from the 2015 campaign of the High Cadence Transient Survey (HiTS) obtained with the Dark Energy Camera (DECam). We find 39 previously unknown Kuiper Belt Objects in the 150 square degrees of the survey. Comparing these asteroids to an existing model for the inclination distribution of the Kuiper Belt we demonstrate that we recover a KBO population above our detection limit consistent with previous studies. Software used in this analysis is made available as an open source package.


title: Blow-up analysis for a Hardy-Sobolev equation on compact Riemannian manifolds with application to the existence of solutions

abstract: On a compact Riemannian manifold, we study a singular elliptic equation with critical Sobolev exponent and critical Hardy potential. In a first part, we prove an $H^2_1$ type decomposition result for Palais-Smale sequences of the associated energy functional. In a second part, we apply the decomposition result to obtain solutions of different energy levels.


title: Pressure-Induced Rotational Symmetry Breaking in URu$_2$Si$_2$

abstract: Phase transitions and symmetry are intimately linked. Melting of ice, for example, restores translation invariance. The mysterious hidden order (HO) phase of URu$_2$Si$_2$ has, despite relentless research efforts, kept its symmetry breaking element intangible. Here we present a high-resolution x-ray diffraction study of the URu$_2$Si$_2$ crystal structure as a function of hydrostatic pressure. Below a critical pressure threshold $p_c\approx3$ kbar, no tetragonal lattice symmetry breaking is observed even below the HO transition $T_{HO}=17.5$ K. For $p>p_c$, however, a pressure-induced rotational symmetry breaking is identified with an onset temperatures $T_{OR}\sim 100$ K. The emergence of an orthorhombic phase is found and discussed in terms of an electronic nematic order that appears unrelated to the HO, but with possible relevance for the pressure-induced antiferromagnetic (AF) phase. Existing theories describe the HO and AF phases through an adiabatic continuity of a complex order parameter. Since none of these theories predicts a pressure-induced nematic order, our finding adds an additional symmetry breaking element to this long-standing problem.


title: Presence-absence estimation in audio recordings of tropical frog communities

abstract: One non-invasive way to study frog communities is by analyzing long-term samples of acoustic material containing calls. This immense task has been optimized by the development of Machine Learning tools to extract ecological information. We explored a likelihood-ratio audio detector based on Gaussian mixture model classification of 10 frog species, and applied it to estimate presence-absence in audio recordings from an actual amphibian monitoring performed at Yasun\'i National Park in the Ecuadorian Amazonia. A modified filter-bank was used to extract 20 cepstral features that model the spectral content of frog calls. Experiments were carried out to investigate the hyperparameters and the minimum frog-call time needed to train an accurate GMM classifier. With 64 Gaussians and 12 seconds of training time, the classifier achieved an average weighted error rate of 0.9% on the 10-fold cross-validation for nine species classification, as compared to 3% with MFCC and 1.8% with PLP features. For testing, 10 GMMs were trained using all the available training-validation dataset to study 23.5 hours in 141, 10-minute long samples of unidentified real-world audio recorded at two frog communities in 2001 with analog equipment. To evaluate automatic presence-absence estimation, we characterized the audio samples with 10 binary variables each corresponding to a frog species, and manually labeled a sub-set of 18 samples using headphones. A recall of 87.5% and precision of 100% with average accuracy of 96.66% suggests good generalization ability of the algorithm, and provides evidence of the validity of this approach to study real-world audio recorded in a tropical acoustic environment. Finally, we applied the algorithm to the available corpus, and show its potentiality to gain insights into the temporal reproductive behavior of frogs.


title: Particle-conserving dynamics on the single-particle level

abstract: We generalize the particle-conserving dynamics method of de las Heras et al. [J. Phys. Condens. Matter: 28, 24404 (2016).] to binary mixtures and apply this to hard rods in one dimension. Considering the case of one species consisting of only one particle enables us to address the tagged-particle dynamics. The time-evolution of the species-labeled density profiles is compared to exact Brownian dynamics and (grand-canonical) dynamical density functional theory. The particle conserving dynamics yields improved results over the dynamical density functional theory and well reproduces the simulation data at short and intermediate times. However, the neglect of a strict particle order (due to the fundamental statistical assumption of ergodicity) leads to errors at long times for our one-dimensional setup. The isolated study of that error makes clear the fundamental limitations of (adiabatic) density-based theoretical approaches when applied to systems of any dimension for which particle caging is a dominant physical mechanism.


title: Quantum enhanced estimation of diffusion

abstract: Momentum diffusion is a possible mechanism for driving macroscopic quantum systems towards classical behaviour. Experimental tests of this hypothesis rely on a precise estimation of the strength of this diffusion. We show that quantum-mechanical squeezing offers significant improvements, including when measuring position. For instance, with 10dB of mechanical squeezing, experiments would require a tenth of proposed free-fall times. Momentum measurement is better by an additional factor of three, while another quadrature is close to optimal. These have particular implications for the space-based MAQRO proposal -- where it could rule out the spontaneous collapse theory due to Ghirardi, Rimini, and Weber -- as well as terrestrial optomechanical sensing.


title: Modeling Magnetic Fields with Helical Solutions to Laplace's Equation

abstract: The series solution to Laplace's equation in a helical coordinate system is derived and refined using symmetry and chirality arguments. These functions and their more commonplace counterparts are used to model solenoidal magnetic fields via linear, multidimensional curve-fitting. A judicious choice of functional forms, a small number of free parameters and sparse input data can lead to highly accurate, fine-grained modeling of solenoidal magnetic fields, including helical features arising from the winding of the solenoid, with overall field accuracy at better than one part per million.


title: Grey matter sublayer thickness estimation in themouse cerebellum

abstract: The cerebellar grey matter morphology is an important feature to study neurodegenerative diseases such as Alzheimer's disease or Down's syndrome. Its volume or thickness is commonly used as a surrogate imaging biomarker for such diseases. Most studies about grey matter thickness estimation focused on the cortex, and little attention has been drawn on the morphology of the cerebellum. Using ex vivo high-resolution MRI, it is now possible to visualise the different cell layers in the mouse cerebellum. In this work, we introduce a framework to extract the Purkinje layer within the grey matter, enabling the estimation of the thickness of the cerebellar grey matter, the granular layer and molecular layer from gadolinium-enhanced ex vivo mouse brain MRI. Application to mouse model of Down's syndrome found reduced cortical and layer thicknesses in the transchromosomic group.


title: Data-oriented Wireless Transmission for Effective QoS Provision in Future Wireless Systems

abstract: Future wireless systems need to support diverse big data and Internet of Things (IoT) applications with dramatically different quality of service (QoS) requirements. Novel designs across the protocol stack are required to achieve effective and efficient QoS provision. In this article, we introduce a novel data oriented approach for the design and analysis of advanced wireless transmission technologies. Unlike conventional channel-oriented approach, we propose to optimally design transmission strategies for individual data transmission sessions, considering both the QoS requirement and instantaneous operating environment. The resulting design can effectively satisfy highly stringent performance and efficiency requirements of future applications.


title: Early stage of integrable turbulence in 1D NLS equation: the semi-classical approach to statistics

abstract: We examine statistical properties of integrable turbulence in the defocusing and focusing regimes of one-dimensional small-dispersion nonlinear Schrodinger equation (1D-NLSE). Specifically, we study the 1D-NLSE evolution of partially coherent waves having Gaussian statistics at time t=0. Using short time asymptotic expansions and taking advantage of the scale separation in the semi-classical regime we obtain a simple explicit formula describing an early stage of the evolution of the fourth moment of the random wave field amplitude, a quantitative measure of the "tailedness" of the probability density function. Our results show excellent agreement with numerical simulations of the full 1D-NLSE random field dynamics and provide insight into the emergence of the well-known phenomenon of heavy (resp. low) tails of the statistical distribution emerging in the focusing (resp. defocusing) regime of 1D-NLSE.


title: The peculiarities of dynamic current-voltage and charge-voltage loops and transient currents of melanin under pulse hydration

abstract: Melanin is a biopolymer with unique set of applicable physical and chemical properties. The impact of a moisture-saturated air pulse (~1 s) on dynamic current-voltage (I-V-), charge-voltage (Q-V-) and transient (I-t-) characteristics of fungal melanin thin layers was investigated. The pulse hydration gives rise to sharp increase of conductance and capacitance (by I-V-loops and I-t-curves swing), transferred charge (by Q-V-loops swing) and causes the appearance of the following peculiarities: hump-like on I-V-loops, knee-like on I-V-curves and step-like on I-t-curves. General shape of I-V-loops was modelled under low hydration by linear series-parallel RC-circuit and under high hydration by the circuit with anti-series Zener diodes as nonlinear elements. By processing of bipolar I-V-loops and I-t-curves allowing for unipolar ones, the maxima of displacement current - voltage loops were revealed and their similarity to current maxima observed under ionic space charge transfer in metal-insulator-semiconductor structures and under polarization reversal in ferroelectrics is discussed. Corresponding processing of bipolar Q-V-loops evidences general shape of obtained dielectric displacement - voltage loops characteristic to ion-conducting materials. As a reason of observed transformations, the appearance of temporal polar media with reversible ferroelectric-like polarization and ionic space charge transfer is considered. Obtained results disclose the functional capabilities of melanin based sensing devices operating in dynamic mode for both hydration and driving voltage.


title: A Numerical Approach for Solving of Fractional Emden-Fowler Type Equations

abstract: In the paper, we utilize the fractional differential transformation (FDT) to solving singular initial value problem of fractional Emden-Fowler type differential equations. The solutions of our model equations are calculated in the form of convergent series with fast computable components. The numerical results show that the approach is correct, accurate and easy to implement when applied to fractional differential equations.


title: Nematicity in the superconducting mixed state of strain detwinned underdoped $\text{Ba}(\text{Fe}_{1-x}\text{Co}_x)_2\text{As}_2$

abstract: Evidence of nematic effects in the mixed superconducting phase of slightly underdoped $\text{Ba}(\text{Fe}_{1-x}\text{Co}_x)_2\text{As}_2$ is reported. We have found strong in-plane resistivity anisotropy for crystals in different strain conditions. For these compositions, there is no magnetic long range order, so the description may be ascribed to the interplay between the superconducting and nematic order parameters. A piezoelectric-based apparatus is used to apply tensile or compressive strain to tune nematic domain orientation in order to examine intrinsic nematicity. Measurements are done under a rotating magnetic field and the analysis of the angular dependence of physical quantities identifies the cases in which the sample is {\em detwinned}. Furthermore, the angular dependence of the data allows us to evaluate the effects of nematicity on the in-plane superconductor stiffness. Our results show that although nematicity contributes in a decisive way in the conduction properties, its contributions to the anisotropy properties of the stiffness of the superconducting order parameter is not as significant in these samples.


title: An optional decomposition of $\mathscr{Y}^{g,\xi}-submartingales$ and applications to the hedging of American options in incomplete markets

abstract: In the recent paper \cite{DESZ}, the notion of $\mathscr{Y}^{g,\xi}$-submartingale processes has been introduced. Within a jump-diffusion model, we prove here that a process $X$ which satisfies the simultaneous $\mathscr{Y}^{\mathbb{Q},g,\xi}$ -submartingale property under a suitable family of equivalent probability measures $\mathbb{Q}$, admits a \textit{nonlinear optional decomposition}. This is an analogous result to the well known optional decomposition of simultaneous (classical and $\mathscr{E}^g$-)supermartingales. We then apply this decomposition to the super-hedging problem of an American option in a jump-diffusion model, from the buyer's point of view. We obtain an \textit{infinitesimal characterization} of the buyer's superhedging price, this result being completely new in the literature. Indeed, it is well known that the seller's superheding price of an American option admits an infinitesimal representation in terms of the \textit{minimal supersolution of a constrained reflected BSDE}. To the best of our knowledge, no analogous result has been established for the buyer of the American option in an incomplete market. Our results fill this gap, and show that the buyer's super-hedging price admits an infinitesimal charcaterization in terms of the \textit{maximal subsolution of a constrained reflected BSDE}.


title: Tunable magnetic textures in spin valves: From spintronics to Majorana bound states

abstract: Spin-valve structures in which a change of magnetic configuration is responsible for magnetoresistance have enabled impressive advances in spintronics, focusing on magnetically storing and sensing information. However, this mature technology also offers versatile control of the underlying fringing fields and entirely different applications by realizing topologically-nontrivial states. Together with proximity-induced superconductivity in a two-dimensional electron gas, these fringing fields realized in commercially-available spin valves could control Majorana bound states (MBS). Detailed support for the existence and control of MBS is obtained by combining accurate micromagnetic simulation of fringing fields used as an input in Bogoliubov de Gennes equation to calculate low-energy spectrum, wavefunction localization, and local charge neutrality. A generalized condition for quantum phase transition in these structures provides valuable guidance for the MBS evolution and implementing reconfigurable effective topological wires.


title: Equivalence of viscosity and weak solutions for a $p$-parabolic equation

abstract: We study the relationship of viscosity and weak solutions to the equation \[ \smash{\partial_{t}u-\Delta_{p}u=f(Du)} \] where $p>1$ and $f\in C(\mathbb{R}^{N})$ satisfies suitable assumptions. Our main result is that bounded viscosity supersolutions coincide with bounded lower semicontinuous weak supersolutions. Moreover, we prove the lower semicontinuity of weak supersolutions when $p\geq2$.


title: An Application of Manifold Learning in Global Shape Descriptors

abstract: With the rapid expansion of applied 3D computational vision, shape descriptors have become increasingly important for a wide variety of applications and objects from molecules to planets. Appropriate shape descriptors are critical for accurate (and efficient) shape retrieval and 3D model classification. Several spectral-based shape descriptors have been introduced by solving various physical equations over a 3D surface model. In this paper, for the first time, we incorporate a specific group of techniques in statistics and machine learning, known as manifold learning, to develop a global shape descriptor in the computer graphics domain. The proposed descriptor utilizes the Laplacian Eigenmap technique in which the Laplacian eigenvalue problem is discretized using an exponential weighting scheme. As a result, our descriptor eliminates the limitations tied to the existing spectral descriptors, namely dependency on triangular mesh representation and high intra-class quality of 3D models. We also present a straightforward normalization method to obtain a scale-invariant descriptor. The extensive experiments performed in this study show that the present contribution provides a highly discriminative and robust shape descriptor under the presence of a high level of noise, random scale variations, and low sampling rate, in addition to the known isometric-invariance property of the Laplace-Beltrami operator. The proposed method significantly outperforms state-of-the-art algorithms on several non-rigid shape retrieval benchmarks.


title: Radiation reaction of classical hyperbolic oscillator: experimental signatures

abstract: When accelerated by a constant force in the lab frame, a classical charge experiences no self force. In this case, the particle radiates without dissipating its kinetic and potential energy. But what happens when the particle enters another region with equal and opposite acceleration? Does the oscillating charge lose its mechanical energy similar to a radiating dipole, even though it seems to lose no mechanical energy within each region of constant acceleration? In this paper, I will show how mechanical energy is transferred to radiation energy via the Schott energy when the particle crosses the boundary between the two regions. In particular, I will show how preacceleration, which is usually regarded as an unphysical effect of the Lorentz-Abraham-Dirac self force, is essential for the energy transfer. Moreover, I will show that the commonly adopted Landau-Lifshitz approximation, which removes preacceleration, introduces second-order secular energy error. On a more fundamental level, the validity of classical electrodynamics is in fact questionable because quantum effects are likely important. The classical prediction can be tested experimentally by observing frequency chirping of radiation, whereby micro physics leaves signatures on macroscopic scales. The required experimental accuracy is estimated. Trap experiment of this type is complementary to collider experiments that endeavor to observe radiation reaction for elementary particles.


title: New approach for a stable multi-criteria ridesharing system

abstract: The witnessed boom in mobility results in many problems such as urbanization, costly construction of many highways and air pollution. In an attempt to address these problems, in this master, we are interested in the implementation of a ridesharing system. Ridesharing is recognized as a highly effective means of transport to solve energy consumption, environmental pollution and traffic congestion issues. Indeed, ridesharing can reduce the number of vehicles on the roads to avoid traffic jams and thus it contributes to a reduction in greenhouse gas emissions. Its main thrust resides in sharing transport expenses, meeting different people and making traveling more enjoyable. In this respect, we introduce in this dissertation an effective ridesharing system, called the Stable Multi-Criteria Rideshare Matching (SMRM) system, that (i) considers users' personal preferences when sharing a private space with others and (ii) enables a stable matching between driver and passenger sets. The performed experiments show that the introduced system outperforms its competitors in terms of stability quality and cost. Keywords: Smart cities, Social sustainability, Ridesharing , Social preferences , TOPSIS , Stable marriage .


title: Multi-stream CNN based Video Semantic Segmentation for Automated Driving

abstract: Majority of semantic segmentation algorithms operate on a single frame even in the case of videos. In this work, the goal is to exploit temporal information within the algorithm model for leveraging motion cues and temporal consistency. We propose two simple high-level architectures based on Recurrent FCN (RFCN) and Multi-Stream FCN (MSFCN) networks. In case of RFCN, a recurrent network namely LSTM is inserted between the encoder and decoder. MSFCN combines the encoders of different frames into a fused encoder via 1x1 channel-wise convolution. We use a ResNet50 network as the baseline encoder and construct three networks namely MSFCN of order 2 & 3 and RFCN of order 2. MSFCN-3 produces the best results with an accuracy improvement of 9% and 15% for Highway and New York-like city scenarios in the SYNTHIA-CVPR'16 dataset using mean IoU metric. MSFCN-3 also produced 11% and 6% for SegTrack V2 and DAVIS datasets over the baseline FCN network. We also designed an efficient version of MSFCN-2 and RFCN-2 using weight sharing among the two encoders. The efficient MSFCN-2 provided an improvement of 11% and 5% for KITTI and SYNTHIA with negligible increase in computational complexity compared to the baseline version.


title: Ultrafast quasiparticle dynamics in correlated semimetal Ca$_3$Ru$_2$O$_7$

abstract: The correlated polar semimetal Ca$_3$Ru$_2$O$_7$ exhibits a rich phase diagram including two magnetic transitions ($T_N$=56 K and $T_C$=48 K) with the appearance of an insulating-like pseudogap (at $T_C$). In addition, there is a crossover back to metallic behavior at $T^*$=30 K, the origin of which is still under debate. We utilized ultrafast optical pump optical probe spectroscopy to investigate quasiparticle dynamics as a function of temperature in this enigmatic quantum material. We identify two dynamical processes, both of which are influenced by the onset of the pseudogap. This includes electron-phonon relaxation and, below $T_C$, the onset of a phonon bottleneck hindering the relaxation of quasiparticles across the pseudogap. We introduce a gap-modified two-temperature model to describe the temperature dependence of electron-phonon thermalization, and use the Rothwarf-Taylor to model the phonon bottleneck. In conjunction with density functional theory, our experimental results synergistically reveal the origin of the $T$-dependent pseudogap. Further, our data and analysis indicate that $T^*$ emerges as a natural consequence of $T$-dependent gapping out of carriers, and does not correspond to a separate electronic transition. Our results highlight the value of low fluence ultrafast optics as a sensitive probe of low energy electronic structure, thermodynamic parameters, and transport properties of Ruddlesden-Popper ruthenates.


title: Combining nonparametric spatial context priors with nonparametric shape priors for dendritic spine segmentation in 2-photon microscopy images

abstract: Data driven segmentation is an important initial step of shape prior-based segmentation methods since it is assumed that the data term brings a curve to a plausible level so that shape and data terms can then work together to produce better segmentations. When purely data driven segmentation produces poor results, the final segmentation is generally affected adversely. One challenge faced by many existing data terms is due to the fact that they consider only pixel intensities to decide whether to assign a pixel to the foreground or to the background region. When the distributions of the foreground and background pixel intensities have significant overlap, such data terms become ineffective, as they produce uncertain results for many pixels in a test image. In such cases, using prior information about the spatial context of the object to be segmented together with the data term can bring a curve to a plausible stage, which would then serve as a good initial point to launch shape-based segmentation. In this paper, we propose a new segmentation approach that combines nonparametric context priors with a learned-intensity-based data term and nonparametric shape priors. We perform experiments for dendritic spine segmentation in both 2D and 3D 2-photon microscopy images. The experimental results demonstrate that using spatial context priors leads to significant improvements.


title: Autoencoders and Generative Adversarial Networks for Imbalanced Sequence Classification

abstract: Generative Adversarial Networks (GANs) have been used in many different applications to generate realistic synthetic data. We introduce a novel GAN with Autoencoder (GAN-AE) architecture to generate synthetic samples for variable length, multi-feature sequence datasets. In this model, we develop a GAN architecture with an additional autoencoder component, where recurrent neural networks (RNNs) are used for each component of the model in order to generate synthetic data to improve classification accuracy for a highly imbalanced medical device dataset. In addition to the medical device dataset, we also evaluate the GAN-AE performance on two additional datasets and demonstrate the application of GAN-AE to a sequence-to-sequence task where both synthetic sequence inputs and sequence outputs must be generated. To evaluate the quality of the synthetic data, we train encoder-decoder models both with and without the synthetic data and compare the classification model performance. We show that a model trained with GAN-AE generated synthetic data outperforms models trained with synthetic data generated both with standard oversampling techniques such as SMOTE and Autoencoders as well as with state of the art GAN-based models.


title: OH as an Alternate Tracer for Molecular Gas: Quantity and Structure of Molecular Gas in W5

abstract: We report column densities of molecular gas in the W5 star-forming region as traced with OH 18-cm emission in a grid survey using the Green Bank Telescope. OH appears to trace a greater column density than does CO in 8 out of 15 cases containing OH emission detections; the two molecules trace the same column densities for the other 7 cases. OH and CO trace a similar morphology of molecular gas with a nearly one-to-one correspondence. The mass of molecular gas traced by OH in the portion of the survey containing OH emission is $1.7$ (+ 0.6 or - 0.2) $\times 10^4 M_{\odot}$, whereas the corresponding CO detections trace $9.9 \times 10^3 M_{\odot} (\pm 0.7) \times 10^3$. We find that for lines observed in absorption, calculations assuming uniform gas and continuum distributions underestimate column density values by 1 to 2 orders of magnitude, making them unreliable for our purposes. Modeling of this behavior in terms of OH cloud structure on a scale smaller than telescopic resolution leads us to estimate that the filling factor of OH gas is a few to 10 percent. Consideration of filling factor effects also results in a method of constraining the excitation temperature values. The total molecular gas content of W5 may be approximately two to three times what we report from direct measurement, because we excluded absorption line detections from the mass estimate.


title: On vector-valued characters for noncommutative function algebras

abstract: Let A be a closed subalgebra of a C*-algebra, that is a closed algebra of Hilbert space operators. We generalize to such operator algebras $A$ several key theorems and concepts from the theory of classical function algebras. In particular we consider several problems that arise when generalizing classical function algebra results involving characters ((contractive) homomorphisms into the scalars) on the algebra. For example, the Jensen inequality, the related Bishop-Ito-Schreiber theorem, and the theory of Gleason parts. We will usually replace characters (classical function algebra case) by D-characters, certain completely contractive homomorphisms $\Phi : A \to D$, where D is a C*-subalgebra of A. We also consider some D-valued variants of the classical Gleason-Whitney theorem.


title: Optical properties of thin-film vanadium dioxide from the visible to the far infrared

abstract: The insulator-to-metal transition (IMT) in vanadium dioxide (VO2) can enable a variety of optics applications, including switching and modulation, optical limiting, and tuning of optical resonators. Despite the widespread interest in optics, the optical properties of VO2 across its IMT are scattered throughout the literature, and are not available in some wavelength regions. We characterized the complex refractive index of VO2 thin films across the IMT for free-space wavelengths from 300 nm to 30 {\mu}m, using broadband spectroscopic ellipsometry, reflection spectroscopy, and the application of effective-medium theory. We studied VO2 thin films of different thickness, on two different substrates (silicon and sapphire), and grown using different synthesis methods (sputtering and sol gel). While there are differences in the optical properties of VO2 synthesized under different conditions, they are relatively minor compared to the change resulting from the IMT, most notably in the ~2 - 11 {\mu}m range where the insulating phase of VO2 has relatively low optical loss. We found that the macroscopic optical properties of VO2 are much more robust to sample-to-sample variation compared to the electrical properties, making the refractive-index datasets from this article broadly useful for modeling and design of VO2-based optical and optoelectronic components.


title: Wave kinetic equation for inhomogeneous drift-wave turbulence beyond the quasilinear approximation

abstract: The formation of zonal flows from inhomogeneous drift-wave (DW) turbulence is often described using statistical theories derived within the quasilinear approximation. However, this approximation neglects wave--wave collisions. Hence, some important effects such as the Batchelor--Kraichnan inverse-energy cascade are not captured within this approach. Here we derive a wave kinetic equation that includes a DW collision operator in the presence of zonal flows. Our derivation makes use of the Weyl calculus, the quasinormal statistical closure, and the geometrical-optics approximation. The obtained model conserves both the total enstrophy and energy of the system. The derived DW collision operator breaks down at the Rayleigh--Kuo threshold. This threshold is missed by homogeneous-turbulence theory but expected from a full-wave quasilinear analysis. In the future, this theory might help better understand the interactions between drift waves and zonal flows, including the validity domain of the quasilinear approximation that is commonly used in literature.


title: On static chiral Milton-Briane-Willis continuum mechanics

abstract: Recent static experiments on twist effects in chiral three-dimensional mechanical metamaterials have been discussed in the context of micropolar Eringen continuum mechanics, which is a generalization of Cauchy elasticity. For cubic symmetry, Eringen elasticity comprises nine additional parameters with respect to Cauchy elasticity, of which three directly influence chiral effects. Here, we discuss the behavior of the static case of an alternative generalization of Cauchy elasticity, the Milton-Briane-Willis equations. We show that in the homogeneous static cubic case only one additional parameter with respect to Cauchy elasticity results, which directly influences chiral effects. We show that the Milton-Briane-Willis equations qualitatively describe the experimentally observed chiral twist effects, too. We connect the behavior to a characteristic length scale.


title: Lattice Identification and Separation: Theory and Algorithm

abstract: Motivated by lattice mixture identification and grain boundary detection, we present a framework for lattice pattern representation and comparison, and propose an efficient algorithm for lattice separation. We define new scale and shape descriptors, which helps to considerably reduce the size of equivalence classes of lattice bases. These finitely many equivalence relations are fully characterized by modular group theory. We construct the lattice space $\mathscr{L}$ based on the equivalent descriptors and define a metric $d_{\mathscr{L}}$ to accurately quantify the visual similarities and differences between lattices. Furthermore, we introduce the Lattice Identification and Separation Algorithm (LISA), which identifies each lattice patterns from superposed lattices. LISA finds lattice candidates from the high responses in the image spectrum, then sequentially extracts different layers of lattice patterns one by one. Analyzing the frequency components, we reveal the intricate dependency of LISA's performances on particle radius, lattice density, and relative translations. Various numerical experiments are designed to show LISA's robustness against a large number of lattice layers, moir\'{e} patterns and missing particles.


title: Geometry of left invariant Randers metric on the Heisenberg group

abstract: In this paper, we investigate the geometry of left-invariant Randers metrics on the Heisenberg group.


title: On the Possibilities and Limitations of Multi-hop Reasoning Under Linguistic Imperfections

abstract: Systems for language understanding have become remarkably strong at overcoming linguistic imperfections in tasks involving phrase matching or simple reasoning. Yet, their accuracy drops dramatically as the number of reasoning steps increases. We present the first formal framework to study such empirical observations. It allows one to quantify the amount and effect of ambiguity, redundancy, incompleteness, and inaccuracy that the use of language introduces when representing a hidden conceptual space. The idea is to consider two interrelated spaces: a conceptual meaning space that is unambiguous and complete but hidden, and a linguistic space that captures a noisy grounding of the meaning space in the words of a language---the level at which all systems, whether neural or symbolic, operate. Applying this framework to a special class of multi-hop reasoning, namely the connectivity problem in graphs of relationships between concepts, we derive rigorous intuitions and impossibility results even under this simplified setting. For instance, if a query requires a moderately large (logarithmic) number of hops in the meaning graph, no reasoning system operating over a noisy graph grounded in language is likely to correctly answer it. This highlights a fundamental barrier that extends to a broader class of reasoning problems and systems, and suggests an alternative path forward: focusing on aligning the two spaces via richer representations, before investing in reasoning with many hops.


title: Construction and Analysis of Posterior Matching in Arbitrary Dimensions via Optimal Transport

abstract: The posterior matching scheme, for feedback encoding of a message point lying on the unit interval over memoryless channels, maximizes mutual information for an arbitrary number of channel uses. However, it in general does not always achieve any positive rate; so far, elaborate analyses have been required to show that it achieves any positive rate below capacity. More recent efforts have introduced a random "dither" shared by the encoder and decoder to the problem formulation, to simplify analyses and guarantee that the randomized scheme achieves any rate below capacity. Motivated by applications (e.g. human-computer interfaces) where (a) common randomness shared by the encoder and decoder may not be feasible and (b) the message point lies in a higher dimensional space, we focus here on the original formulation without common randomness, and use optimal transport theory to generalize the scheme for a message point in a higher dimensional space. By defining a stricter, almost sure, notion of message decoding, we use classical probabilistic techniques (e.g. change of measure and martingale convergence) to establish succinct necessary and sufficient conditions on when the message point can be recovered from infinite observations: Birkhoff ergodicity of a random process sequentially generated by the encoder. We also show a surprising "all or nothing" result: the same ergodicity condition is necessary and sufficient to achieve any rate below capacity. We provide applications of this message point framework in human-computer interfaces and multi-antenna communications.


title: Canonical Quantization of Noncompact Spin System

abstract: We consider spin system defined on the coadjoint orbit with noncompact symmetry and investigate the quantization. Classical spin with noncompact SU(N,1) symmetry is first formulated as a dynamical system and the constraint analysis is performed to reduce the system from the group space to the coadjoint orbit which is a symplectic manifold with Kahler structure. We achieve this by solving the constraint directly. It is shown that the dynamical variables describing the noncompact spins can be written as functions of canonically conjugate variables and canonical quantization is possible on the reduced phase space. With the quantum mechanical Hamiltonian acting on the holomorphic coherent state in Hilbert space, we obtain the exact propagator by solving the time-dependent Schrodinger equation.


title: Impact of Network Heterogenity on Nonlinear Electrokinetic Transport in Porous Media

abstract: We present a numerical study of nonlinear electrokinetic transport in porous media, focusing on the role of heterogeneity in a porous microstructure on ion concentration polarization and over-limiting current. For simplicity, the porous medium is modeled as a network of long, thin charged cylindrical pores, each governed by one-dimensional effective transport equations. For weak surface conduction, when sufficiently large potential is applied, we demonstrate that electrokinetic transport in a porous network can be dominated by electroconvection via internally induced flow loops, which is not properly captured by existing homogenized models. We systematically vary the topology and "accessivity" of the pore network and compare with simulations of traditional homogenized parallel-pore (capillary-bundle) models, in order to reveal the effects of regular and hierarchical connectivity. Our computational framework sheds light on the complex physics of nonlinear electrokinetic phenomena in microstructures and may be used to design porous media for applications, such as water desalination and purification by shock electrodialysis.


title: Compact Sobolev embeddings and positive solutions to a quasilinear equation with indefinite nonlinearities

abstract: In this paper, we study the existence and multiplicity results of nontrivial positive solutions to the following quasilinear elliptic equation on $\RN$, when $N\geq2$, \begin{equation} \Lp u=\lambda\hspace{0.2mm}K(x)u^{r-1}-V(x)u^{q-1}.\nonumber \end{equation} Here, $K(x),V(x)>0$ are suitable potentials, $1<p<r<q<\infty$, and $\lambda>0$ is a parameter. To study this problem, some compact embedding results regarding $\MVR\hookrightarrow\LKR$ are proved that unify and extend some recent results of the author \cite{Ha1,Ha2,Ha3}.


title: Robust Change Captioning

abstract: Describing what has changed in a scene can be useful to a user, but only if generated text focuses on what is semantically relevant. It is thus important to distinguish distractors (e.g. a viewpoint change) from relevant changes (e.g. an object has moved). We present a novel Dual Dynamic Attention Model (DUDA) to perform robust Change Captioning. Our model learns to distinguish distractors from semantic changes, localize the changes via Dual Attention over "before" and "after" images, and accurately describe them in natural language via Dynamic Speaker, by adaptively focusing on the necessary visual inputs (e.g. "before" or "after" image). To study the problem in depth, we collect a CLEVR-Change dataset, built off the CLEVR engine, with 5 types of scene changes. We benchmark a number of baselines on our dataset, and systematically study different change types and robustness to distractors. We show the superiority of our DUDA model in terms of both change captioning and localization. We also show that our approach is general, obtaining state-of-the-art results on the recent realistic Spot-the-Diff dataset which has no distractors.


title: Ultra-High Energy Neutrinos

abstract: Ultra-high energy neutrinos hold promise as cosmic messengers to advance the understanding of extreme astrophysical objects and environments as well as possible probes for discovering new physics. This proceeding describes the motivation for measuring high energy neutrinos. A short summary of the mechanisms for producing high energy neutrinos is provided along with an overview of current and proposed modes of detection. The science reach of the field is also briefly surveyed. As an example of the potential of neutrinos as cosmic messengers, the recent results from an IceCube Collaboration real-time high energy neutrino alert and subsequent search of archival data are described.


title: A Spatial-temporal 3D Human Pose Reconstruction Framework

abstract: 3D human pose reconstruction from single-view camera is a difficult and challenging topic. Many approaches have been proposed, but almost focusing on frame-by-frame independently while inter-frames are highly correlated in a pose sequence. In contrast, we introduce a novel spatial-temporal 3D reconstruction framework that leverages both intra and inter frame relationships in consecutive 2D pose sequences. Orthogonal Matching Pursuit (OMP) algorithm, pre-trained Pose-angle Limits and Temporal Models have been implemented. We quantitatively compare our framework versus recent works on CMU motion capture dataset and Vietnamese traditional dance sequences. Our method outperforms others with 10 percent lower of Euclidean reconstruction error and robustness against Gaussian noise. Additionally, it is also important to mention that our reconstructed 3D pose sequences are smoother and more natural than others.


title: The Fundamental Plane of Black Hole Accretion and its Use as a Black Hole-Mass Estimator

abstract: We present an analysis of the fundamental plane of black hole accretion, an empirical correlation of the mass of a black hole ($M$), its 5 GHz radio continuum luminosity ($\nu L_{\nu}$), and its 2-10 keV X-ray power-law continuum luminosity ($L_X$). We compile a sample of black holes with primary, direct black hole-mass measurements that also have sensitive, high-spatial-resolution radio and X-ray data. Taking into account a number of systematic sources of uncertainty and their correlations with the measurements, we use Markov chain Monte Carlo methods to fit a mass-predictor function of the form $\log(M/10^{8}\,M_{\scriptscriptstyle \odot}) = \mu_0 + \xi_{\mu R} \log(L_R / 10^{38}\,\mathrm{erg\,s^{-1}}) + \xi_{\mu X} \log(L_X / 10^{40}\,\mathrm{erg\,s^{-1}})$. Our best-fit results are $\mu_0 = 0.55 \pm 0.22$, $\xi_{\mu R} = 1.09 \pm 0.10$, and $\xi_{\mu X} = -0.59^{+0.16}_{-0.15}$ with the natural logarithm of the Gaussian intrinsic scatter in the log-mass direction $\ln\epsilon_\mu = -0.04^{+0.14}_{-0.13}$. This result is a significant improvement over our earlier mass scaling result because of the increase in active galactic nuclei sample size (from 18 to 30), improvement in our X-ray binary sample selection, better identification of Seyferts, and improvements in our analysis that takes into account systematic uncertainties and correlated uncertainties. Because of these significant improvements, we are able to consider potential influences on our sample by including all sources with compact radio and X-ray emission but ultimately conclude that the fundamental plane can empirically describe all such sources. We end with advice for how to use this as a tool for estimating black hole masses.


title: Anisotropic shear stress $\sigma_{xy}$ effects in the basal plane of Sr$_2$RuO$_4$

abstract: In this short note, we repeat the calculations the jumps for the specific heat C$_{\sigma_{xy}}$, the elastic compliance S$_{xyxy}^{\sigma_{xy}}$ and the thermal expansion $\alpha_{\sigma_{xy}}$ due to a shear stress $\sigma_{xy}$ in the basal plane of $Sr_2RuO_4$. Henceforth we clarify some issues regarding the elastic theoretical framework suitable to explain the sound speed experiments of Lupien et al. (2001,2002), and partially the strain experiments of Hicks et al. (2014), and Steppke et al. (2016) in strontium ruthenate. We continue to propose that the discontinuity in the elastic constant C$_{xyxy}$ of this tetragonal crystal gives unambiguous experimental evidence that the superconducting order parameter $\Psi$ has two components with a broken time-reversal symmetry state, and that the $\gamma$ band couples the anisotropic electron-phonon interaction to the $[xy]$ in-plane shear stress according to Walker and collaborators [4] and [3]. Some importants words about the roll of the spin equal to one for the transversal phonons are added in the conclusion following Levine [34].


title: Fast 3D Line Segment Detection From Unorganized Point Cloud

abstract: This paper presents a very simple but efficient algorithm for 3D line segment detection from large scale unorganized point cloud. Unlike traditional methods which usually extract 3D edge points first and then link them to fit for 3D line segments, we propose a very simple 3D line segment detection algorithm based on point cloud segmentation and 2D line detection. Given the input unorganized point cloud, three steps are performed to detect 3D line segments. Firstly, the point cloud is segmented into 3D planes via region growing and region merging. Secondly, for each 3D plane, all the points belonging to it are projected onto the plane itself to form a 2D image, which is followed by 2D contour extraction and Least Square Fitting to get the 2D line segments. Those 2D line segments are then re-projected onto the 3D plane to get the corresponding 3D line segments. Finally, a post-processing procedure is proposed to eliminate outliers and merge adjacent 3D line segments. Experiments on several public datasets demonstrate the efficiency and robustness of our method. More results and the C++ source code of the proposed algorithm are publicly available at https://github.com/xiaohulugo/3DLineDetection.


title: A Journey Among Java Neutral Program Variants

abstract: Neutral program variants are functionally similar to an original program, yet implement slightly different behaviors. Techniques such as approximate computing or genetic improvement share the intuition that potential for enhancements lies in these acceptable behavioral differences (e.g., enhanced performance or reliability). Yet, the automatic synthesis of neutral program variants, through speculative transformations remains a key challenge. This work aims at characterizing plastic code regions in Java programs, i.e., the areas that are prone to the synthesis of neutral program variants. Our empirical study relies on automatic variations of 6 real-world Java programs. First, we transform these programs with three state-of-the-art speculative transformations: add, replace and delete statements. We get a pool of 23445 neutral variants, from which we gather the following novel insights: developers naturally write code that supports fine-grain behavioral changes; statement deletion is a surprisingly effective speculative transformation; high-level design decisions, such as the choice of a data structure, are natural points that can evolve while keeping functionality. Second, we design 3 novel speculative transformations, targeted at specific plastic regions. New experiments reveal that respectively 60\%, 58\% and 73\% of the synthesized variants (175688 in total) are neutral and exhibit execution traces that are different from the original.


title: Team Papelo: Transformer Networks at FEVER

abstract: We develop a system for the FEVER fact extraction and verification challenge that uses a high precision entailment classifier based on transformer networks pretrained with language modeling, to classify a broad set of potential evidence. The precision of the entailment classifier allows us to enhance recall by considering every statement from several articles to decide upon each claim. We include not only the articles best matching the claim text by TFIDF score, but read additional articles whose titles match named entities and capitalized expressions occurring in the claim text. The entailment module evaluates potential evidence one statement at a time, together with the title of the page the evidence came from (providing a hint about possible pronoun antecedents). In preliminary evaluation, the system achieves .5736 FEVER score, .6108 label accuracy, and .6485 evidence F1 on the FEVER shared task test set.


title: Reconstructing Gravitational Wave Core-Collapse Supernova Signals with Dynamic Time Warping

abstract: Core-collapse supernovae (CCSNe) are a potential source for ground-based gravitational wave detectors, as their predicted emission peaks in the detectors' frequency band. Typical searches for gravitational wave bursts reconstruct signals using wavelets. However, as CCSN signals contain multiple complex features in the time-frequency domain, these techniques often struggle to reconstruct the entire signal. An alternative method developed in recent years involves applying principal component analysis (PCA) to a set of simulated CCSN models. This technique enables model selection between astrophysical CCSN models as well as waveform reconstruction. However, PCA faces its own difficulties, such as being unable to reconstruct signals longer than the simulations; many CCSN simulations are stopped before the emission peaks due to insufficient computational resources. In this study, we show how combining PCA with dynamic time warping (DTW) improves the reconstruction of CCSN gravitational wave signals in Gaussian noise characteristic of Advanced LIGO at design sensitivity. For the waveforms used in this analysis, we find that the number of PCs needed to represent 90% of the data is reduced from nine to four by applying DTW, and that the match between the original and reconstructed waveforms improves for signal-to-noise ratios in the range [0,50].


title: Fast generalized DFTs for all finite groups

abstract: For any finite group $G$, we give an arithmetic algorithm to compute generalized Discrete Fourier Transforms (DFTs) with respect to $G$, using $O(|G|^{\omega/2 + \epsilon})$ operations, for any $\epsilon > 0$. Here, $\omega$ is the exponent of matrix multiplication.


title: Collaborative Execution of Deep Neural Networks on Internet of Things Devices

abstract: With recent advancements in deep neural networks (DNNs), we are able to solve traditionally challenging problems. Since DNNs are compute intensive, consumers, to deploy a service, need to rely on expensive and scarce compute resources in the cloud. This approach, in addition to its dependability on high-quality network infrastructure and data centers, raises new privacy concerns. These challenges may limit DNN-based applications, so many researchers have tried optimize DNNs for local and in-edge execution. However, inadequate power and computing resources of edge devices along with small number of requests limits current optimizations applicability, such as batch processing. In this paper, we propose an approach that utilizes aggregated existing computing power of Internet of Things (IoT) devices surrounding an environment by creating a collaborative network. In this approach, IoT devices cooperate to conduct single-batch inferencing in real time. While exploiting several new model-parallelism methods and their distribution characteristics, our approach enhances the collaborative network by creating a balanced and distributed processing pipeline. We have illustrated our work using many Raspberry Pis with studying DNN models such as AlexNet, VGG16, Xception, and C3D.


title: Timing performance of small cell 3D silicon detectors

abstract: A silicon 3D detector with a single cell of 50x50 um2 was produced and evaluated for timing applications. The measurements of time resolution were performed for 90Sr electrons with dedicated electronics used also for determining time resolution of Low Gain Avalanche Detectors (LGADs). The measurements were compared to those with LGADs and also simulations. The studies showed that the dominant contribution to the timing resolution comes from the time walk originating from different induced current shapes for hits over the cell area. This contribution decreases with higher bias voltages, lower temperatures and smaller cell sizes. It is around 30 ps for a 3D detector of 50x50 um2 cell at 150 V and -20C, which is comparable to the time walk due to Landau fluctuations in LGADs. It even improves for inclined tracks and larger pads composed of multiple cells. A good agreement between measurements and simulations was obtained, thus validating the simulation results.


title: Supervised Transfer Learning for Product Information Question Answering

abstract: Popular e-commerce websites such as Amazon offer community question answering systems for users to pose product related questions and experienced customers may provide answers voluntarily. In this paper, we show that the large volume of existing community question answering data can be beneficial when building a system for answering questions related to product facts and specifications. Our experimental results demonstrate that the performance of a model for answering questions related to products listed in the Home Depot website can be improved by a large margin via a simple transfer learning technique from an existing large-scale Amazon community question answering dataset. Transfer learning can result in an increase of about 10% in accuracy in the experimental setting where we restrict the size of the data of the target task used for training. As an application of this work, we integrate the best performing model trained in this work into a mobile-based shopping assistant and show its usefulness.


title: J-PAS: forecasts on interacting dark energy from baryon acoustic oscillations and redshift-space distortions

abstract: We estimate the constraining power of J-PAS for parameters of an interacting dark energy cosmology. The survey is expected to map several millions of luminous red galaxies, emission line galaxies and quasars in an area of thousands of square degrees in the northern sky with precise photometric redshift measurements. Forecasts for the DESI and Euclid surveys are also evaluated and compared to J-PAS. With the Fisher matrix approach, we find that J-PAS can place constraints on the interaction parameter comparable to those from DESI, with an absolute uncertainty of about $0.02$, when the interaction term is proportional to the dark matter energy density, and almost as good, of about $0.01$, when the interaction is proportional to the dark energy density. For the equation of state of dark energy, the constraints from J-PAS are slightly better in the two cases (uncertainties $0.04$ - $0.05$ against $0.05$ - $0.07$ around the fiducial value $-1$). Both surveys stay behind Euclid but follow it closely, imposing comparable constraints in all specific cases considered.


title: An explicit bound for the log-canonical degree of curves on open surfaces

abstract: Let $X$, $D$ be a smooth projective surface and a simple normal crossing divisor on $X$, respectively. Suppose $\kappa (X, K_X + D)\ge 0$, let $C$ be an irreducible curve on $X$ whose support is not contained in $D$ and $\alpha$ a rational number in $ [ 0, 1 ]$. Following Miyaoka, we define an orbibundle $\mathcal{E}_\alpha$ as a suitable free subsheaf of log differentials on a Galois cover of $X$. Making use of $\mathcal{E}_\alpha$ we prove a Bogomolov-Miyaoka-Yau inequality for the couple $(X, D+\alpha C)$. Suppose moreover that $K_X+D$ is big and nef and $(K_X+D)^2 $ is greater than $e_{X\setminus D}$, namely the topological Euler number of the open surface $X\setminus D$. As a consequence of the inequality, by varying $\alpha$, we deduce a bound for $(K_X+D)\cdot C)$ by an explicit function of the invariants: $(K_X+D)^2$, $e_{X\setminus D}$ and $e_{C \setminus D} $, namely the topological Euler number of the normalization of $C$ minus the points in the set theoretic counterimage of $D$. We finally deduce that on such surfaces curves with $- e_{C\setminus D}$ bounded form a bounded family, in particular there are only a finite number of curves $C$ on $X$ such that $- e_{C\setminus D}\le 0$.


title: Asteroids Detection Technique: Classic "Blink" An Automated Approch

abstract: Asteroids detection is a very important research field that received increased attention in the last couple of decades. Some major surveys have their own dedicated people, equipment and detection applications, so they are discovering Near Earth Asteroids (NEAs) daily. The interest in asteroids is not limited to those major surveys, it is shared by amateurs and mini-surveys too. A couple of them are using the few existent software solutions, most of which are developed by amateurs. The rest obtain their results in a visual manner: they "blink" a sequence of reduced images of the same field, taken at a specific time interval, and they try to detect a real moving object in the resulting animation. Such a technique becomes harder with the increase in size of the CCD cameras. Aiming to replace manual detection, we propose an automated "blink" technique for asteroids detection.


title: Computational Register Analysis and Synthesis

abstract: The study of register in computational language research has historically been divided into register analysis, seeking to determine the registerial character of a text or corpus, and register synthesis, seeking to generate a text in a desired register. This article surveys the different approaches to these disparate tasks. Register synthesis has tended to use more theoretically articulated notions of register and genre than analysis work, which often seeks to categorize on the basis of intuitive and somewhat incoherent notions of prelabeled 'text types'. I argue that an integration of computational register analysis and synthesis will benefit register studies as a whole, by enabling a new large-scale research program in register studies. It will enable comprehensive global mapping of functional language varieties in multiple languages, including the relationships between them. Furthermore, computational methods together with high coverage systematically collected and analyzed data will thus enable rigorous empirical validation and refinement of different theories of register, which will have also implications for our understanding of linguistic variation in general.


title: Polynomial Dynamical Systems, Reaction Networks, and Toric Differential Inclusions

abstract: Some of the most common mathematical models in biology, chemistry, physics, and engineering, are polynomial dynamical systems, i.e., systems of differential equations with polynomial right-hand sides. Inspired by notions and results that have been developed for the analysis of reaction networks in biochemistry and chemical engineering, we show that any polynomial dynamical system on the positive orthant $\mathbb R^n_{> 0}$ can be regarded as being generated by an oriented graph embedded in $\mathbb R^n$, called $\mathit{Euclidean \ embedded \ graph}$. This allows us to recast key conjectures about reaction network models (such as the Global Attractor Conjecture, or the Persistence Conjecture) into more general versions about some important classes of polynomial dynamical systems. Then, we introduce $\mathit{toric \ differential \ inclusions}$, which are piecewise constant autonomous dynamical systems with a remarkable geometric structure. We show that if a Euclidean embedded graph $G$ has some reversibility properties, then any polynomial dynamical system generated by $G$ can be embedded into a toric differential inclusion. We discuss how this embedding suggests an approach for the proof of the Global Attractor Conjecture and Persistence Conjecture.


title: NEARBY Platform: Algorithm for Automated Asteroids Detection in Astronomical Images

abstract: In the past two decades an increasing interest in discovering Near Earth Objects has been noted in the astronomical community. Dedicated surveys have been operated for data acquisition and processing, resulting in the present discovery of over 18.000 objects that are closer than 30 million miles of Earth. Nevertheless, recent events have shown that there still are many undiscovered asteroids that can be on collision course to Earth. This article presents an original NEO detection algorithm developed in the NEARBY research object, that has been integrated into an automated MOPS processing pipeline aimed at identifying moving space objects based on the blink method. Proposed solution can be considered an approach of Big Data processing and analysis, implementing visual analytics techniques for rapid human data validation.


title: Regularity of minimizers for a model of charged droplets

abstract: We investigate properties of minimizers of a variational model describing the shape of charged liquid droplets. The model, proposed by Muratov and Novaga, takes into account the regularizing effect due to the screening of free counterionions in the droplet. In particular we prove partial regularity of minimizers, a first step toward the understanding of further properties of minimizers.


title: Problem Formulation and Fairness

abstract: Formulating data science problems is an uncertain and difficult process. It requires various forms of discretionary work to translate high-level objectives or strategic goals into tractable problems, necessitating, among other things, the identification of appropriate target variables and proxies. While these choices are rarely self-evident, normative assessments of data science projects often take them for granted, even though different translations can raise profoundly different ethical concerns. Whether we consider a data science project fair often has as much to do with the formulation of the problem as any property of the resulting model. Building on six months of ethnographic fieldwork with a corporate data science team---and channeling ideas from sociology and history of science, critical data studies, and early writing on knowledge discovery in databases---we describe the complex set of actors and activities involved in problem formulation. Our research demonstrates that the specification and operationalization of the problem are always negotiated and elastic, and rarely worked out with explicit normative considerations in mind. In so doing, we show that careful accounts of everyday data science work can help us better understand how and why data science problems are posed in certain ways---and why specific formulations prevail in practice, even in the face of what might seem like normatively preferable alternatives. We conclude by discussing the implications of our findings, arguing that effective normative interventions will require attending to the practical work of problem formulation.


title: Rough integers with a divisor in a given interval

abstract: We determine, up to multiplicative constants, the number of integers $n\le x$ that have no prime factor $\le w$ and a divisor in $(y,2y]$. Our estimate is uniform in $x,y,w$. We apply this to determine the order of the number of distinct integers in the $N\times N$ multiplication table which are free of prime factors $\le w$, and the number of distinct fractions of the form $\frac{a_1a_2}{b_1b_2}$ with $1\le a_1 \le b_1\le N$ and $1\le a_2\le b_2 \le N$.