title: Exotic coloured fermions and lepton number violation at the LHC

abstract: Majorana neutrino mass models with a scale of lepton number violation (LNV) of order TeV potentially lead to signals at the LHC. Here, we consider an extension of the standard model with a coloured octet fermion and a scalar leptoquark. This model generates neutrino masses at 2-loop order. We make a detailed MonteCarlo study of the LNV signal at the LHC in this model, including a simulation of standard model backgrounds. Our forecast predicts that the LHC with 300/fb should be able to probe this model up to colour octet fermion masses in the range of (2.6-2.7) TeV, depending on the lepton flavour of the final state.


title: Boundaries and supercurrent multiplets in 3D Landau-Ginzburg models

abstract: Theories with 3D $\mathcal{N}=2$ bulk supersymmetry may preserve a 2D $\mathcal{N}=(0,2)$ subalgebra when a boundary is introduced, possibly with localized degrees of freedom. We propose generalized supercurrent multiplets with bulk and boundary parts adapted to such setups. Using their structure, we comment on implications for the $\overline{Q}_+$-cohomology. As an example, we apply the developed framework to Landau-Ginzburg models. In these models, we study the role of boundary degrees of freedom and matrix factorizations. We verify our results using quantization.


title: SN 2016iet: The Pulsational or Pair Instability Explosion of a Low Metallicity Massive CO Core Embedded in a Dense Hydrogen-Poor Circumstellar Medium

abstract: We present optical photometry and spectroscopy of SN 2016iet, an unprecedented Type I supernova (SN) at $z=0.0676$ with no obvious analog in the existing literature. The peculiar light curve has two roughly equal brightness peaks ($\approx -19$ mag) separated by 100 days, and a subsequent slow decline by 5 mag in 650 rest-frame days. The spectra are dominated by emission lines of calcium and oxygen, with a width of only $3400$ km s$^{-1}$, superposed on a strong blue continuum in the first year, and with a large ratio of $L_{\rm [Ca\,II]}/L_{\rm [O\,I]}\approx 4$ at late times. There is no clear evidence for hydrogen or helium associated with the SN at any phase. We model the light curves with several potential energy sources: radioactive decay, central engine, and circumstellar medium (CSM) interaction. Regardless of the model, the inferred progenitor mass near the end of its life (i.e., CO core mass) is $\gtrsim 55$ M$_\odot$ and up to $120$ M$_\odot$, placing the event in the regime of pulsational pair instability supernovae (PPISNe) or pair instability supernovae (PISNe). The models of CSM interaction provide the most consistent explanation for the light curves and spectra, and require a CSM mass of $\approx 35$ M$_\odot$ ejected in the final decade before explosion. We further find that SN 2016iet is located at an unusually large offset ($16.5$ kpc) from its low metallicity dwarf host galaxy ($Z\approx 0.1$ Z$_\odot$, $M\approx 10^{8.5}$ M$_\odot$), supporting the PPISN/PISN interpretation. In the final spectrum, we detect narrow H$\alpha$ emission at the SN location, likely due to a dim underlying galaxy host or an H II region. Despite the overall consistency of the SN and its unusual environment with PPISNe and PISNe, we find that the inferred properties of SN\,2016iet challenge existing models of such events.


title: Hidden Analytic Relations for Two-Loop Higgs Amplitudes in QCD

abstract: We compute the Higgs plus two-quark and one-gluon amplitudes ($H \rightarrow q \bar{q} g$) and Higgs plus three-gluon amplitudes ($H \rightarrow 3g$) in the Higgs effective theory with a general class of operators. By changing the quadratic Casimir $C_F$ to $C_A$, the maximally transcendental parts of the $H \rightarrow q \bar{q} g$ amplitudes turn out to be equivalent to that of the $H \rightarrow 3g$ amplitudes, which also coincide with the counterparts in ${\cal N}=4$ SYM. This generalizes the so-called maximal transcendentality principle to the Higgs amplitudes with external quark states, thus to the full QCD theory. We further verify that the correspondence applies also to two-loop form factors of more general operators, in both QCD and scalar-YM theory. Another interesting relation is also observed between the planar $H \rightarrow q \bar{q} g$ amplitudes and the minimal density form factors in ${\cal N}=4$ SYM.


title: ALMA Detection of a Linearly Polarized Reverse Shock in GRB 190114C

abstract: We present ALMA 97.5 GHz total intensity and linear polarization observations of the mm-band afterglow of GRB 190114C spanning 2.2 to 5.2 hours after the burst. We detect linear polarization at the $\approx 5\,\sigma$ level, decreasing from $\Pi=(0.87\pm0.13)\%$ to $(0.60\pm0.19)\%$, and evolving in polarization position angle from $(10\pm5)^\circ$ to $(-44\pm12)^\circ$ during the course of the observations. This represents the first detection of polarized millimeter emission in a $\gamma$-ray burst. We show that the optical and X-ray observations between $0.03$ days and $\sim0.3$ days are consistent with a fast cooling forward shock expanding into a wind environment. However, the optical observations at $\lesssim0.03$ days, as well as the radio and millimeter observations arise from a separate component, which we interpret as emission from the reverse-shocked ejecta. Using the measured linear polarization, we constrain the coherence scale of tangled magnetic fields in the ejecta to an angular size of $\theta_{\rm B} \approx10^{-3}$ radian, while the rotation of the polarization angle rules out the presence of large scale, ordered axisymmetric magnetic fields, and in particular a large scale toroidal field, in the jet.


title: Distance-generalized Core Decomposition

abstract: The $k$-core of a graph is defined as the maximal subgraph in which every vertex is connected to at least $k$ other vertices within that subgraph. In this work we introduce a distance-based generalization of the notion of $k$-core, which we refer to as the $(k,h)$-core, i.e., the maximal subgraph in which every vertex has at least $k$ other vertices at distance $\leq h$ within that subgraph. We study the properties of the $(k,h)$-core showing that it preserves many of the nice features of the classic core decomposition (e.g., its connection with the notion of distance-generalized chromatic number) and it preserves its usefulness to speed-up or approximate distance-generalized notions of dense structures, such as $h$-club. Computing the distance-generalized core decomposition over large networks is intrinsically complex. However, by exploiting clever upper and lower bounds we can partition the computation in a set of totally independent subcomputations, opening the door to top-down exploration and to multithreading, and thus achieving an efficient algorithm.


title: Disc formation and fragmentation using radiative non-ideal magnetohydrodynamics

abstract: We investigate the formation and fragmentation of discs using a suite of three-dimensional smoothed particle radiative magnetohydrodynamics simulations. Our models are initialised as 1M$_\odot$ rotating Bonnor-Ebert spheres that are threaded with a uniform magnetic field. We examine the effect of including ideal and non-ideal magnetic fields, the orientation and strength of the magnetic field, and the initial rotational rate. We follow the gravitational collapse and early evolution of each system until the final classification of the protostellar disc can be determined. Of our 105 models, 41 fragment, 21 form a spiral structure but do not fragment, and another 12 form smooth discs. Fragmentation is more likely to occur for faster initial rotation rates and weaker magnetic fields. For stronger magnetic field strengths, the inclusion of non-ideal MHD promotes disc formation, and several of these models fragment, whereas their ideal MHD counterparts do not. For the models that fragment, there is no correlation between our parameters and where or when the fragmentation occurs. Bipolar outflows are launched in only 17 models, and these models have strong magnetic fields that are initially parallel to the rotation axis. Counter-rotating envelopes form in four slowly-rotating, strong-field models -- including one ideal MHD model -- indicating they form only in a small fraction of the parameter space investigated.


title: Modeling rational numbers by Cantor series

abstract: In the present article, modeling certain rational numbers, that are represented in terms of Cantor series, are described. The statements on relations between digits in the representations of rational numbers by Cantor series (for the case of an arbitrary sequence $(q_k)$) are proved.


title: Physics with Beam Tau-Neutrino Appearance at DUNE

abstract: We explore the capabilities of the upcoming Deep Underground Neutrino Experiment (DUNE) to measure $\nu_\tau$ charged-current interactions and the associated oscillation probability $P(\nu_\mu \to \nu_\tau)$ at its far detector, concentrating on how such results can be used to probe neutrino properties and interactions. DUNE has the potential to identify significantly more $\nu_\tau$ events than all existing experiments and can use this data sample to nontrivially test the three-massive-neutrinos paradigm by providing complementary measurements to those from the $\nu_e$ appearance and $\nu_\mu$ disappearance channels. We further discuss the sensitivity of the $\nu_\tau$ appearance channel to several hypotheses for the physics that may lurk beyond the three-massive-neutrinos paradigm: a non-unitary lepton mixing matrix, the $3+1$ light neutrinos hypothesis, and the existence of non-standard neutral-current neutrino interactions. Throughout, we also consider the relative benefits of the proposed high-energy tune of the Long-Baseline Neutrino Facility (LBNF) beam-line.


title: Signatures of a Deconfined Phase Transition on the Shastry-Sutherland Lattice: Applications to Quantum Critical SrCu$_2$(BO$_3$)$_2$

abstract: We study a possible deconfined quantum phase transition in a realistic model of a two-dimensional Shastry-Sutherland quantum magnet, using both numerical and field theoretic techniques. Using the infinite density matrix renormalization group (iDMRG) method, we verify the existence of an intermediate plaquette valence bond solid (pVBS) order, with two fold degeneracy, between the dimer and N\'eel ordered phases. We argue that the quantum phase transition between the N\'eel and pVBS orders may be described by a deconfined quantum critical point (DQCP) with an emergent O(4) symmetry. By analyzing the correlation length spectrum obtained from iDMRG, we provide evidence for the DQCP and emergent O(4) symmetry in the lattice model. Such a phase transition has been reported in the recent pressure tuned experiments in the Shastry-Sutherland lattice material $\mathrm{SrCu_2 (BO_3)_2}$. The non-symmorphic lattice structure of the Shastry-Sutherland compound leads to extinction points in the scattering, where we predict sharp signatures of a DQCP in both the phonon and magnon spectra associated with the spinon continuum. The effect of weak interlayer couplings present in the three dimensional material is also discussed. Our results should help guide the experimental study of DQCP in quantum magnets.


title: Memory effects in quantum metrology

abstract: Quantum metrology concerns estimating a parameter from multiple identical uses of a quantum channel. We extend quantum metrology beyond this standard setting and consider estimation of a physical process with quantum memory, here referred to as a parametrized quantum comb. We present a theoretic framework of metrology of quantum combs, and derive a general upper bound of the comb quantum Fisher information. The bound can be operationally interpreted as the quantum Fisher information of a memoryless quantum channel times a dimensional factor. We then show an example where the bound can be attained up to a factor of four. With the example and the bound, we show that memory in quantum sensors plays an even more crucial role in the estimation of combs than in the standard setting of quantum metrology.


title: Uniform bound for the number of rational points on a pencil of curves

abstract: Consider a one-parameter family of smooth, irreducible, projective curves of genus $g\ge 2$ defined over a number field. Each fiber contains at most finitely many rational points by the Mordell Conjecture, a theorem of Faltings. We show that the number of rational points is bounded only in terms of the family and the Mordell--Weil rank of the fiber's Jacobian. Our proof uses Vojta's approach to the Mordell Conjecture furnished with a height inequality due to the second- and third-named authors. In addition we obtain uniform bounds for the number of torsion in the Jacobian that lie each fiber of the family.


title: APEX Observations of the CO Envelope around the Young FUor-type Star V883 Ori

abstract: The accretion-driven outbursts of young FU Orionis-type stars may be a common stage of pre-main sequence evolution and can have a significant impact on the circumstellar environment as it pertains to the growth of solids and eventually planets. This episodic accretion is thought to be sustained by additional gas in-falling from the circumstellar envelope and disk. We present APEX observations of the CO gas in the envelope around V883 Orionis, a young outbursting star. The observations mapped the $^{12}$CO(4-3), $^{12}$CO(3-2), and $^{13}$CO(3-2) lines with the FLASH$^{+}$ instrument and the $^{12}$CO(6-5) line with the SEPIA instrument. We detected high signal-to-noise emission extending out to radii $>10000$ au and calculated integrated fluxes of $1100~\rm Jy~km~s^{-1}$ for $^{12}$CO(6-5), $2400~\rm Jy~km~s^{-1}$ for $^{12}$CO(4-3), $1600~\rm Jy~km~s^{-1}$ for $^{12}$CO(3-2), and $450~\rm Jy~km~s^{-1}$ for $^{13}$CO(3-2). We used the thermo-chemical code P{\small RO}D{\small I}M{\small O} to test several models and find the data are best described by an envelope structure with $\rm M_{env}\approx 0.2-0.4\,M_{\odot}$ and a mass-infall rate of $\rm \dot{M}_{inf}=1-2\times10^{-6}\,M_{\odot}\,yr^{-1}$. We infer that the observed envelope and outflow structure around V883 Ori could be caused by multiple outbursts, consistent with episodic accretion.


title: Approximate Bayesian Inference via Sparse grid Quadrature Evaluation for Hierarchical Models

abstract: We combine conditioning techniques with sparse grid quadrature rules to develop a computationally efficient method to approximate marginal, but not necessarily univariate, posterior quantities, yielding approximate Bayesian inference via Sparse grid Quadrature Evaluation (BISQuE) for hierarchical models. BISQuE reformulates posterior quantities as weighted integrals of conditional quantities, such as densities and expectations. Sparse grid quadrature rules allow computationally efficient approximation of high dimensional integrals, which appear in hierarchical models with many hyperparameters. BISQuE reduces computational effort relative to standard, Markov chain Monte Carlo methods by at least two orders of magnitude on several applied and illustrative models. We also briefly discuss using BISQuE to apply Integrated Nested Laplace Approximations (INLA) to models with more hyperparameters than is currently practical.


title: Stochastic Load Balancing on Unrelated Machines

abstract: We consider the problem of makespan minimization on unrelated machines when job sizes are stochastic. The goal is to find a fixed assignment of jobs to machines, to minimize the expected value of the maximum load over all the machines. For the identical machines special case when the size of a job is the same across all machines, a constant-factor approximation algorithm has long been known. Our main result is the first constant-factor approximation algorithm for the general case of unrelated machines. This is achieved by (i) formulating a lower bound using an exponential-size linear program that is efficiently computable, and (ii) rounding this linear program while satisfying only a specific subset of the constraints that still suffice to bound the expected makespan. We also consider two generalizations. The first is the budgeted makespan minimization problem, where the goal is to minimize the expected makespan subject to scheduling a target number (or reward) of jobs. We extend our main result to obtain a constant-factor approximation algorithm for this problem. The second problem involves $q$-norm objectives, where we want to minimize the expected q-norm of the machine loads. Here we give an $O(q/\log q)$-approximation algorithm, which is a constant-factor approximation for any fixed $q$.


title: Introduction to Multi-Armed Bandits

abstract: Multi-armed bandits a simple but very powerful framework for algorithms that make decisions over time under uncertainty. An enormous body of work has accumulated over the years, covered in several books and surveys. This book provides a more introductory, textbook-like treatment of the subject. Each chapter tackles a particular line of work, providing a self-contained, teachable technical introduction and a brief review of the further developments; many of the chapters conclude with exercises. The book is structured as follows. The first four chapters are on IID rewards, from the basic model to impossibility results to Bayesian priors to Lipschitz rewards. The next three chapters cover adversarial rewards, from the full-feedback version to adversarial bandits to extensions with linear rewards and combinatorially structured actions. Chapter 8 is on contextual bandits, a middle ground between IID and adversarial bandits in which the change in reward distributions is completely explained by observable contexts. The last three chapters cover connections to economics, from learning in repeated games to bandits with supply/budget constraints to exploration in the presence of incentives. The appendix provides sufficient background on concentration and KL-divergence. The chapters on "bandits with similarity information", "bandits with knapsacks" and "bandits and agents" can also be consumed as standalone surveys on the respective topics.


title: Practical Functional Regenerating Codes for Broadcast Repair of Multiple Nodes

abstract: A code construction and repair scheme for optimal functional regeneration of multiple node failures is presented, which is based on stitching together short MDS codes on carefully chosen sets of points lying on a linearized polynomial. The nodes are connected wirelessly, hence all transmissions by helper nodes during a repair round are available to all the nodes being repaired. The scheme is simple and practical because of low subpacketization, low I/O cost and low computational cost. Achievability of the minimum-bandwidth regenerating (MBR) point, as well as an interior point, on the optimal storage-repair bandwidth tradeoff curve is shown. The subspace properties derived in the paper provide insight into the general properties of functional regenerating codes.


title: The morphology and kinematics of the gaseous circumgalactic medium of Milky Way mass galaxies -- II. comparison of IllustrisTNG and Illustris simulation results

abstract: We have carried out a controlled comparison of the structural and kinematic properties of the circumgalactic medium (CGM) around Milky Way mass galaxies in the Illustris and IllustrisTNG simulations. Very striking differences are found. At z=0, gas column density and temperature profiles at large radii ($\sim 100$ kpc) correlate strongly with disk gas mass fraction in Illustris, but not in TNG. The neutral gas at large radii is preferentially aligned in the plane of the disk in TNG, whereas it is much more isotropic in Illustris. The vertical coherence scale of the rotationally supported gas in the CGM is linked to the gas mass fraction of the galaxy in Illustris, but not in TNG. A tracer particle analysis allows us to show how these differences can be understood as a consequence of the different sub-grid models of feedback in the two simulations. A study of spatially matched galaxies in the two simulations shows that in TNG, feedback by supernovae and AGN helps to create an extended smooth reservoir of hot gas at high redshifts, that then cools to form a thin, rotationally-supported disk at later times. In Illustris, AGN dump heat in the form of hot gas bubbles that push diffuse material at large radii out of the halo. The disk is formed by accretion of colder, recycled material, and this results in more vertically extended gas distributions above and below the Galactic plane. We conclude that variations in the structure of gas around Milky Way mass galaxies are a sensitive probe of feedback physics in simulations and are worthy of more observational consideration in future.


title: PrivacyGuard: Enforcing Private Data Usage Control with Blockchain and Attested Off-chain Contract Execution

abstract: The abundance and rich varieties of data are enabling many transformative applications of big data analytics that have profound societal impacts. However, there are also increasing concerns regarding the improper use of individual data owner's private data. In this paper, we propose PrivacyGuard, a system that leverages blockchain smart contract and trusted execution environment (TEE) to enable individual's control over the access and usage of their private data. Smart contracts are used to specify data usage policy, i.e., who can use what data under which conditions and what analytics to perform, while the distributed blockchain ledger is used to keep an irreversible and non-repudiable data usage record. To address the efficiency problem of on-chain contract execution and to prevent exposing private data on the publicly viewable blockchain, PrivacyGuard incorporates a novel TEE-based off-chain contract execution engine along with a protocol to securely commit the execution result onto blockchain. We have built and deployed a prototype of PrivacyGuard with Ethereum and Intel SGX. Our experiment result demonstrates that PrivacyGuard fulfills the promised privacy goal and supports analytics on data from a considerable number of data owners.


title: Hyperbolicity of the modulation equations for the Serre-Green-Naghdi model

abstract: Serre-Green-Naghdi equations (SGN equations) is the most simple dispersive model of long water waves having "good" mathematical and physical properties. First, the model is a mathematically justified approximation of the exact water wave problem. Second, the SGN equations are the Euler-Lagrange equations coming from Hamilton's principle of stationary action with a natural approximate Lagrangian. Finally, the equations are Galilean invariant which is necessary for physically relevant mathematical models. We have derived the modulation equations to the SGN model and show that they are strictly hyperbolic for any wave amplitude, i.e., the periodic wave trains are modulationally stable. Numerical tests for the full SGN equations are shown. The results confirm the modulational stability analysis.


title: Multi-species dynamical density functional theory for microswimmers: derivation, orientational ordering, trapping potentials, and shear cells

abstract: Microswimmers typically operate in complex environments. In biological systems, often diverse species are simultaneously present and interact with each other. Here, we derive a (time-dependent) particle-scale statistical description, namely a dynamical density functional theory, for such multi-species systems, extending existing works on one-component microswimmer suspensions. In particular, our theory incorporates the effect of external potentials, but also steric and hydrodynamic interactions between swimmers. For the latter, a previously introduced force-dipole-based minimal (pusher or puller) microswimmer model is used. As a limiting case of our theory, mixtures of hydrodynamically interacting active and passive particles are captured as well. After deriving the theory, we apply it to different planar swimmer configurations. First, these are binary pusher--puller mixtures in external traps. In the considered situations, we find that the majority species imposes its behavior on the minority species. Second, for unconfined binary pusher--puller mixtures, the linear stability of an orientationally disordered state against the emergence of global polar orientational order (and thus emergent collective motion) is tested analytically. Our statistical approach predicts, qualitatively in line with previous particle-based computer simulations, a threshold for the fraction of pullers and for their propulsion strength that lets overall collective motion arise. Third, we let driven passive colloidal particles form the boundaries of a shear cell, with confined active microswimmers on their inside. Driving the passive particles then effectively imposes shear flows, which persistently acts on the inside microswimmers. Their resulting behavior reminds of the one of circle swimmers, though with varying swimming radii.


title: Subaru High-z Exploration of Low-Luminosity Quasars (SHELLQs). VI. Black Hole Mass Measurements of Six Quasars at 6.1<z<6.7

abstract: We present deep near-infrared spectroscopy of six quasars at 6.1<z<6.7 with VLT/X-Shooter and Gemini-N/GNIRS. Our objects, originally discovered through a wide-field optical survey with the Hyper Suprime-Cam (HSC) Subaru Strategic Program (HSC-SSP), have the lowest luminosities (-25.5< M1450<-23.1 mag) of the z>5.8 quasars with measured black hole masses. From single-epoch mass measurements based on MgII2798, we find a wide range in black hole masses, from M_BH=10^7.6 to 10^9.3 Msun. The Eddington ratios L_bol/L_Edd range from 0.16 to 1.1, but the majority of the HSC quasars are powered by M_BH=10^9 Msun supermassive black holes (SMBHs) accreting at sub-Eddington rates. The Eddington ratio distribution of the HSC quasars is inclined to lower accretion rates than those of Willott et al. (2010a), who measured the black hole masses for similarly faint z=6 quasars. This suggests that the global Eddington ratio distribution is wider than has previously been thought. The presence of M_BH=10^9 Msun SMBHs at z=6 cannot be explained with constant sub-Eddington accretion from stellar remnant seed black holes. Therefore, we may be witnessing the first buildup of the most massive black holes in the first billion years of the universe, the accretion activity of which is transforming from active growth to a quiescent phase. Measurements of a larger complete sample of z>6 low-luminosity quasars, as well as deeper observations with future facilities will enable us to better understand the early SMBH growth in the reionization epoch.


title: PolyLogTools - Polylogs for the masses

abstract: We review recent developments in the study of multiple polylogarithms, including the Hopf algebra of the multiple polylogarithms and the symbol map, as well as the construction of single valued multiple polylogarithms and discuss an algorithm for finding fibration bases. We document how these algorithms are implemented in the Mathematica package PolyLogTools and show how it can be used to study the coproduct structure of polylogarithmic expressions and how to compute iterated parametric integrals over polylogarithmic expressions that show up in Feynman integal computations at low loop orders.


title: ct-fuzz: Fuzzing for Timing Leaks

abstract: Testing-based methodologies like fuzzing are able to analyze complex software which is not amenable to traditional formal approaches like verification, model checking, and abstract interpretation. Despite enormous success at exposing countless security vulnerabilities in many popular software projects, applications of testing-based approaches have mainly targeted checking traditional safety properties like memory safety. While unquestionably important, this class of properties does not precisely characterize other important security aspects such as information leakage, e.g., through side channels. In this work we extend testing-based software analysis methodologies to two-safety properties, which enables the precise discovery of information leaks in complex software. In particular, we present the ct-fuzz tool, which lends coverage-guided greybox fuzzers the ability to detect two-safety property violations. Our approach is capable of exposing violations to any two-safety property expressed as equality between two program traces. Empirically, we demonstrate that ct-fuzz swiftly reveals timing leaks in popular cryptographic implementations.


title: Cancellation problem for AS-Regular algebras of dimension three

abstract: We study a noncommutative version of the Zariski cancellation problem for some classes of connected graded Artin-Schelter regular algebras of global dimension three.


title: A deep learning model for early prediction of Alzheimer's disease dementia based on hippocampal MRI

abstract: Introduction: It is challenging at baseline to predict when and which individuals who meet criteria for mild cognitive impairment (MCI) will ultimately progress to Alzheimer's disease (AD) dementia. Methods: A deep learning method is developed and validated based on MRI scans of 2146 subjects (803 for training and 1343 for validation) to predict MCI subjects' progression to AD dementia in a time-to-event analysis setting. Results: The deep learning time-to-event model predicted individual subjects' progression to AD dementia with a concordance index (C-index) of 0.762 on 439 ADNI testing MCI subjects with follow-up duration from 6 to 78 months (quartiles: [24, 42, 54]) and a C-index of 0.781 on 40 AIBL testing MCI subjects with follow-up duration from 18-54 months (quartiles: [18, 36,54]). The predicted progression risk also clustered individual subjects into subgroups with significant differences in their progression time to AD dementia (p<0.0002). Improved performance for predicting progression to AD dementia (C-index=0.864) was obtained when the deep learning based progression risk was combined with baseline clinical measures. Conclusion: Our method provides a cost effective and accurate means for prognosis and potentially to facilitate enrollment in clinical trials with individuals likely to progress within a specific temporal period.


title: Nanophotonic source of broadband quadrature squeezing

abstract: Squeezed light are optical beams with variance below the Shot Noise Level. They are a key resource for quantum technologies based on photons, they can be used to achieve better precision measurements, improve security in quantum key distribution channels and as a fundamental resource for quantum computation. To date, the majority of experiments based on squeezed light have been based on non-linear crystals and discrete optical components, as the integration of quadrature squeezed states of light in a nanofabrication-friendly material is a challenging technological task. Here we measure 0.45 dB of GHz-broad quadrature squeezing produced by a ring resonator integrated on a Silicon Nitride photonic chip that we fabricated with CMOS compatible steps. The result corrected for the off-chip losses is estimated to be 1 dB below the Shot Noise Level. We identify and verify that the current results are limited by excess noise produced in the chip, and propose ways to reduce it. Calculations suggest that an improvement in the optical properties of the chip achievable with existing technology can develop scalable quantum technologies based on light.


title: The 1/5-th Rule with Rollbacks: On Self-Adjustment of the Population Size in the $(1+(\lambda,\lambda))$ GA

abstract: Self-adjustment of parameters can significantly improve the performance of evolutionary algorithms. A notable example is the $(1+(\lambda,\lambda))$ genetic algorithm, where the adaptation of the population size helps to achieve the linear runtime on the OneMax problem. However, on problems which interfere with the assumptions behind the self-adjustment procedure, its usage can lead to performance degradation compared to static parameter choices. In particular, the one fifth rule, which guides the adaptation in the example above, is able to raise the population size too fast on problems which are too far away from the perfect fitness-distance correlation. We propose a modification of the one fifth rule in order to have less negative impact on the performance in scenarios when the original rule reduces the performance. Our modification, while still having a good performance on OneMax, both theoretically and in practice, also shows better results on linear functions with random weights and on random satisfiable MAX-SAT instances.


title: Kerr-NUT-de Sitter as an Inhomogeneous Non-Singular Bouncing Cosmology

abstract: We present exact non-singular bounce solutions of general relativity in the presence of a positive cosmological constant and an electromagnetic field, without any exotic matter. The solutions are distinguished by being spatially inhomogeneous in one direction, while they can also contain non-trivial electromagnetic field lines. The inhomogeneity may be substantial, for instance, there can be one bounce in one region of the universe and two bounces elsewhere. Since the bounces are followed by a phase of accelerated expansion, the metrics described here also permit the study of (geodesically complete) models of inflation with inhomogeneous initial conditions. Our solutions admit two Killing vectors and may be re-interpreted as the pathology-free interior regions of Kerr-de Sitter black holes with non-trivial NUT charge. Remarkably enough, within this cosmological context, the NUT parameter does not introduce any string singularity nor closed timelike curves but renders the geometry everywhere regular, eliminating the big bang singularity by means of a bounce.


title: The large $N$ phase diagram of ${\cal N}=2$ $SU(N)$ Chern-Simons theory with one fundamental chiral multiplet

abstract: We study the theory of a single fundamental fermion and boson coupled to Chern-Simons theory at leading order in the large $N$ limit. Utilizing recent progress in understanding the Higgsed phase in Chern-Simons-Matter theories, we compute the quantum effective potential that is exact to all orders in the 't Hooft coupling for the lightest scalar operator of this theory at finite temperature. Specializing to the zero temperature limit we use this potential to determine the phase diagram of the large $N$ ${\cal N}=2$ supersymmetric theory with this field content. This intricate two dimensional phase diagram has four topological phases that are separated by lines of first and second order phase transitions and includes special conformal points at which the infrared dynamics is governed by Chern-Simons theory coupled respectively to free bosons, Gross-Neveu fermions, and to a theory of Wilson-Fisher bosons plus free fermions. We also describe the vacuum structure of the most general ${\cal N} = 1$ supersymmetric theory with one fundamental boson and one fundamental fermion coupled to an $SU(N)$ Chern-Simons gauge field, at arbitrary values of the 't Hooft coupling.


title: The effects of numerical resolution, heating timescales and background heating on thermal non-equilibrium in coronal loops

abstract: Thermal non-equilibrium (TNE) is believed to be a potentially important process in understanding some properties of the magnetically closed solar corona. Through one-dimensional hydrodynamic models, this paper addresses the importance of the numerical spatial resolution, footpoint heating timescales and background heating on TNE. Inadequate transition region (TR) resolution can lead to significant discrepancies in TNE cycle behaviour, with TNE being suppressed in under-resolved loops. A convergence on the periodicity and plasma properties associated with TNE required spatial resolutions of less than 2 km for a loop of length 180 Mm. These numerical problems can be resolved using an approximate method that models the TR as a discontinuity using a jump condition, as proposed by Johnston et al. (2017a,b). The resolution requirements (and so computational cost) are greatly reduced while retaining good agreement with fully resolved results. Using this approximate method we (i) identify different regimes for the response of coronal loops to time-dependent footpoint heating including one where TNE does not arise and (ii) demonstrate that TNE in a loop with footpoint heating is suppressed unless the background heating is sufficiently small. The implications for the generality of TNE are discussed.


title: Minimal codimension one foliation of a symmetric space by Damek-Ricci spaces

abstract: In this article we consider solvable hypersurfaces of the form $N \exp(\R H)$ with induced metrics in the symmetric space $M = SL(3,\C)/SU(3)$, where $H$ a suitable unit length vector in the subgroup $A$ of the Iwasawa decomposition $SL(3,\C) = NAK$. Since $M$ is rank $2$, $A$ is $2$-dimensional and we can parametrize these hypersurfaces via an angle $\alpha \in [0,\pi/2]$ determining the direction of $H$. We show that one of the hypersurfaces (corresponding to $\alpha = 0$) is minimally embedded and isometric to the non-symmetric $7$-dimensional Damek-Ricci space. We also provide an explicit formula for the Ricci curvature of these hypersurfaces and show that all hypersurfaces for $\alpha \in (0,\frac{\pi}{2}]$ admit planes of both negative and positive sectional curvature. Moreover, the symmetric space $M$ admits a minimal foliation with all leaves isometric to the non-symmetric $7$-dimensional Damek-Ricci space.


title: Photonic-crystal-reflector nano-resonators for Kerr-frequency combs

abstract: We demonstrate Kerr-frequency-comb generation with nanofabricated Fabry-Perot resonators with photonic-crystal-reflector (PCR) end mirrors. The PCR group-velocity-dispersion (GVD) is engineered to counteract the strong normal GVD of a rectangular waveguide fabricated on a thin, 450 nm silicon nitride device layer. The reflectors provide the resonators with both the high optical quality factor and anomalous GVD required for Kerr-comb generation. We report design, fabrication, and characterization of devices in the 1550 nm wavelengths bands, including the GVD spectrum and quality factor. Kerr-comb generation is achieved by exciting the devices with a continuous-wave (CW) laser. The versatility of PCRs enables a general design principle and a material-independent device infrastructure for Kerr-nonlinear-resonator processes, opening new possibilities for manipulation of light. Visible and multi-spectral-band resonators appear to be natural extensions of the PCR approach.


title: Brain Tumor Segmentation on MRI with Missing Modalities

abstract: Brain Tumor Segmentation from magnetic resonance imaging (MRI) is a critical technique for early diagnosis. However, rather than having complete four modalities as in BraTS dataset, it is common to have missing modalities in clinical scenarios. We design a brain tumor segmentation algorithm that is robust to the absence of any modality. Our network includes a channel-independent encoding path and a feature-fusion decoding path. We use self-supervised training through channel dropout and also propose a novel domain adaptation method on feature maps to recover the information from the missing channel. Our results demonstrate that the quality of the segmentation depends on which modality is missing. Furthermore, we also discuss and visualize the contribution of each modality to the segmentation results. Their contributions are along well with the expert screening routine.


title: Embeddings of uniform Roe algebras

abstract: In this paper, we study embeddings of uniform Roe algebras. Generally speaking, given metric spaces $X$ and $Y$, we are interested in which large scale geometric properties are stable under embedding of the uniform Roe algebra of $X$ into the uniform Roe algebra of $Y$.


title: Reinforcement Learning for Batch Bioprocess Optimization

abstract: Bioprocesses have received a lot of attention to produce clean and sustainable alternatives to fossil-based materials. However, they are generally difficult to optimize due to their unsteady-state operation modes and stochastic behaviours. Furthermore, biological systems are highly complex, therefore plant-model mismatch is often present. To address the aforementioned challenges we propose a Reinforcement learning based optimization strategy for batch processes. In this work, we applied the Policy Gradient method from batch-to-batch to update a control policy parametrized by a recurrent neural network. We assume that a preliminary process model is available, which is exploited to obtain a preliminary optimal control policy. Subsequently, this policy is updatedbased on measurements from thetrueplant. The capabilities of our proposed approach were tested on three case studies (one of which is nonsmooth) using a more complex process model for thetruesystemembedded with adequate process disturbance. Lastly, we discussed the advantages and disadvantages of this strategy compared against current existing approaches such as nonlinear model predictive control.


title: Latent Code and Text-based Generative Adversarial Networks for Soft-text Generation

abstract: Text generation with generative adversarial networks (GANs) can be divided into the text-based and code-based categories according to the type of signals used for discrimination. In this work, we introduce a novel text-based approach called Soft-GAN to effectively exploit GAN setup for text generation. We demonstrate how autoencoders (AEs) can be used for providing a continuous representation of sentences, which we will refer to as soft-text. This soft representation will be used in GAN discrimination to synthesize similar soft-texts. We also propose hybrid latent code and text-based GAN (LATEXT-GAN) approaches with one or more discriminators, in which a combination of the latent code and the soft-text is used for GAN discriminations. We perform a number of subjective and objective experiments on two well-known datasets (SNLI and Image COCO) to validate our techniques. We discuss the results using several evaluation metrics and show that the proposed techniques outperform the traditional GAN-based text-generation methods.


title: RHR-Net: A Residual Hourglass Recurrent Neural Network for Speech Enhancement

abstract: Most current speech enhancement models use spectrogram features that require an expensive transformation and result in phase information loss. Previous work has overcome these issues by using convolutional networks to learn long-range temporal correlations across high-resolution waveforms. These models, however, are limited by memory-intensive dilated convolution and aliasing artifacts from upsampling. We introduce an end-to-end fully-recurrent hourglass-shaped neural network architecture with residual connections for waveform-based single-channel speech enhancement. Our model can efficiently capture long-range temporal dependencies by reducing the features resolution without information loss. Experimental results show that our model outperforms state-of-the-art approaches in six evaluation metrics.


title: The population-attributable fraction for time-dependent exposures using dynamic prediction and landmarking

abstract: The public health impact of a harmful exposure can be quantified by the population-attributable fraction (PAF). The PAF describes the attributable risk due to an exposure and is often interpreted as the proportion of preventable cases if the exposure could be extinct. Difficulties in the definition and interpretation of the PAF arise when the exposure of interest depends on time. Then, the definition of exposed and unexposed individuals is not straightforward. We propose dynamic prediction and landmarking to define and estimate a PAF in this data situation. Two estimands are discussed which are based on two hypothetical interventions that could prevent the exposure in different ways. Considering the first estimand, at each landmark the estimation problem is reduced to a time-independent setting. Then, estimation is simply performed by using a generalized-linear model accounting for the current exposure state and further (time-varying) covariates. The second estimand is based on counterfactual outcomes, estimation can be performed using pseudo-values or inverse-probability weights. The approach is explored in a simulation study and applied on two data examples. First, we study a large French database of intensive care unit patients to estimate the population-benefit of a pathogen-specific intervention that could prevent ventilator-associated pneumonia caused by the pathogen Pseudomonas aeruginosa. Moreover, we quantify the population-attributable burden of locoregional and distant recurrence in breast cancer patients.


title: Limit theorems for U-statistics of Bernoulli data

abstract: In this paper, we consider U-statistics whose data is a strictly stationary sequence which can be expressed as a functional of an i.i.d. one. We establish a strong law of large numbers, a bounded law of the iterated logarithms and a central limit theorem under a dependence condition. The main ingredients for the proof are an approximation by U-statistics whose data is a functional of $\ell$ i.i.d. random variables and an analogue of the Hoeffding's decomposition for U-statistics of this type.


title: Quantum toroidal algebra associated with $\mathfrak{gl}_{m|n}$

abstract: We introduce and study the quantum toroidal algebra $\mathcal{E}_{m|n}(q_1,q_2,q_3)$ associated with the superalgebra $\mathfrak{gl}_{m|n}$ with $m\neq n$, where the parameters satisfy $q_1q_2q_3=1$. We give an evaluation map. The evaluation map is a surjective homomorphism of algebras $\mathcal{E}_{m|n}(q_1,q_2,q_3) \to \widetilde{U}_q\,\widehat{\mathfrak{gl}}_{m|n}$ to the quantum affine algebra associated with the superalgebra $\mathfrak{gl}_{m|n}$ at level $c$ completed with respect to the homogeneous grading, where $q_2=q^2$ and $q_3^{m-n}=c^2$. We also give a bosonic realization of level one $\mathcal{E}_{m|n}(q_1,q_2,q_3)$-modules.


title: A Path To DOT: Formalizing Fully Path-Dependent Types

abstract: The Dependent Object Types (DOT) calculus aims to formalize the Scala programming language with a focus on path-dependent types $-$ types such as $x.a_1\dots a_n.T$ that depend on the runtime value of a path $x.a_1\dots a_n$ to an object. Unfortunately, existing formulations of DOT can model only types of the form $x.A$ which depend on variables rather than general paths. This restriction makes it impossible to model nested module dependencies. Nesting small components inside larger ones is a necessary ingredient of a modular, scalable language. DOT's variable restriction thus undermines its ability to fully formalize a variety of programming-language features including Scala's module system, family polymorphism, and covariant specialization. This paper presents the pDOT calculus, which generalizes DOT to support types that depend on paths of arbitrary length, as well as singleton types to track path equality. We show that naive approaches to add paths to DOT make it inherently unsound, and present necessary conditions for such a calculus to be sound. We discuss the key changes necessary to adapt the techniques of the DOT soundness proofs so that they can be applied to pDOT. Our paper comes with a Coq-mechanized type-safety proof of pDOT. With support for paths of arbitrary length, pDOT can realize DOT's full potential for formalizing Scala-like calculi.


title: Dielectric and Raman Spectroscopy in Hematite crystallites across the Morin Transition

abstract: We report complex dielectric and Raman spectroscopy measurements in four samples of $\alpha$- Fe$_2$O$_3$, consisting of crystallites which are either hexagonal shaped plates or cuboids. All four samples exhibit the spin reorientation transition from a pure antiferromagnetic (AFM) to a weak-ferromagnetic (WFM) state at the Morin Transition temperature (T$_M$) intrinsic to $\alpha$- Fe$_2$O$_3$. These samples, pressed and sintered in identical conditions for the dielectric measurements, reveal moderate but clear enhancement in the real part of the dielectric constant ($\epsilon'$) in the WFM region. However, a relaxation-like behavior in the imaginary part of $\epsilon''$ is observed only in nano plates or big cuboids. Further still, this relaxation patten is observed only in lower frequency region, lasting upto a few kHz and follows Arrhenius law within this limited range. The activation energy deduced from the fitting is suggestive of polaronic conduction. Temperature dependent Raman spectra reveal anomalies in all major phononic modes and also in 2Eu mode in the vicinity of the Morin transition. A peak like behavior in Raman Shifts, in conjuncture with anharmonic fitting reveals that the nature of spin phonon coupling is different in pure AFM and WFM regions and it is tied to the mild variations, as observed in the dielectric constant of$\alpha$- Fe$_2$O$_3$ near the T$_M$.


title: Globalization of group cohomology in the sense of Alvares-Alves-Redondo

abstract: Recently E. R. Alvares, M. M. Alves and M. J. Redondo introduced a cohomology for a group $G$ with values in a module over the partial group algebra $K_{\mathrm{par}}(G)$, which is different from the partial group cohomology defined earlier by the first two named authors of the present paper. Given a unital partial action $\alpha$ of $G$ on a (unital) algebra $\mathcal{A}$ we consider $\mathcal{A}$ as a $K_{\mathrm{par}}(G)$-module in a natural way and study the globalization problem for the cohomology in the sense of Alvares-Alves-Redondo with values in $\mathcal{A}$. The problem is reduced to an extendibility property of cocycles. Furthermore, assuming that $\mathcal{A}$ is a product of blocks, we prove that any cocycle is globalizable, and globalizations of cohomologous cocycles are also cohomologous. As a consequence we obtain that the Alvares-Alves-Redondo cohomology group $H_{par}^n(G,\mathcal{A})$ is isomorphic to the usual cohomology group $H^n(G,\mathcal{M}(\mathcal{B}))$, where $\mathcal{M}(\mathcal{B})$ is the multiplier algebra of $\mathcal{B}$ and $\mathcal{B}$ is the algebra under the enveloping action of $\alpha$.


title: Visualizing electrostatic gating effects in two-dimensional heterostructures

abstract: The ability to directly observe electronic band structure in modern nanoscale field-effect devices could transform understanding of their physics and function. One could, for example, visualize local changes in the electrical and chemical potentials as a gate voltage is applied. One could also study intriguing physical phenomena such as electrically induced topological transitions and many-body spectral reconstructions. Here we show that submicron angle-resolved photoemission (micro-ARPES) applied to two-dimensional (2D) van der Waals heterostructures affords this ability. In graphene devices, we observe a shift of the chemical potential by 0.6 eV across the Dirac point as a gate voltage is applied. In several 2D semiconductors we see the conduction band edge appear as electrons accumulate, establishing its energy and momentum, and observe significant band-gap renormalization at low densities. We also show that micro-ARPES and optical spectroscopy can be applied to a single device, allowing rigorous study of the relationship between gate-controlled electronic and excitonic properties.


title: Automatic alignment of surgical videos using kinematic data

abstract: Over the past one hundred years, the classic teaching methodology of "see one, do one, teach one" has governed the surgical education systems worldwide. With the advent of Operation Room 2.0, recording video, kinematic and many other types of data during the surgery became an easy task, thus allowing artificial intelligence systems to be deployed and used in surgical and medical practice. Recently, surgical videos has been shown to provide a structure for peer coaching enabling novice trainees to learn from experienced surgeons by replaying those videos. However, the high inter-operator variability in surgical gesture duration and execution renders learning from comparing novice to expert surgical videos a very difficult task. In this paper, we propose a novel technique to align multiple videos based on the alignment of their corresponding kinematic multivariate time series data. By leveraging the Dynamic Time Warping measure, our algorithm synchronizes a set of videos in order to show the same gesture being performed at different speed. We believe that the proposed approach is a valuable addition to the existing learning tools for surgery.


title: CryptoNN: Training Neural Networks over Encrypted Data

abstract: Emerging neural networks based machine learning techniques such as deep learning and its variants have shown tremendous potential in many application domains. However, they raise serious privacy concerns due to the risk of leakage of highly privacy-sensitive data when data collected from users is used to train neural network models to support predictive tasks. To tackle such serious privacy concerns, several privacy-preserving approaches have been proposed in the literature that use either secure multi-party computation (SMC) or homomorphic encryption (HE) as the underlying mechanisms. However, neither of these cryptographic approaches provides an efficient solution towards constructing a privacy-preserving machine learning model, as well as supporting both the training and inference phases. To tackle the above issue, we propose a CryptoNN framework that supports training a neural network model over encrypted data by using the emerging functional encryption scheme instead of SMC or HE. We also construct a functional encryption scheme for basic arithmetic computation to support the requirement of the proposed CryptoNN framework. We present performance evaluation and security analysis of the underlying crypto scheme and show through our experiments that CryptoNN achieves accuracy that is similar to those of the baseline neural network models on the MNIST dataset.


title: Fast Inference in Capsule Networks Using Accumulated Routing Coefficients

abstract: We present a method for fast inference in Capsule Networks (CapsNets) by taking advantage of a key insight regarding the routing coefficients that link capsules between adjacent network layers. Since the routing coefficients are responsible for assigning object parts to wholes, and an object whole generally contains similar intra-class and dissimilar inter-class parts, the routing coefficients tend to form a unique signature for each object class. For fast inference, a network is first trained in the usual manner using examples from the training dataset. Afterward, the routing coefficients associated with the training examples are accumulated offline and used to create a set of "master" routing coefficients. During inference, these master routing coefficients are used in place of the dynamically calculated routing coefficients. Our method effectively replaces the for-loop iterations in the dynamic routing procedure with a single matrix multiply operation, providing a significant boost in inference speed. Compared with the dynamic routing procedure, fast inference decreases the test accuracy for the MNIST, Background MNIST, Fashion MNIST, and Rotated MNIST datasets by less than 0.5% and by approximately 5% for CIFAR10.


title: Automatic adaptation of object detectors to new domains using self-training

abstract: This work addresses the unsupervised adaptation of an existing object detector to a new target domain. We assume that a large number of unlabeled videos from this domain are readily available. We automatically obtain labels on the target data by using high-confidence detections from the existing detector, augmented with hard (misclassified) examples acquired by exploiting temporal cues using a tracker. These automatically-obtained labels are then used for re-training the original model. A modified knowledge distillation loss is proposed, and we investigate several ways of assigning soft-labels to the training examples from the target domain. Our approach is empirically evaluated on challenging face and pedestrian detection tasks: a face detector trained on WIDER-Face, which consists of high-quality images crawled from the web, is adapted to a large-scale surveillance data set; a pedestrian detector trained on clear, daytime images from the BDD-100K driving data set is adapted to all other scenarios such as rainy, foggy, night-time. Our results demonstrate the usefulness of incorporating hard examples obtained from tracking, the advantage of using soft-labels via distillation loss versus hard-labels, and show promising performance as a simple method for unsupervised domain adaptation of object detectors, with minimal dependence on hyper-parameters.


title: Using the infrared iron lines to probe solar subsurface convection

abstract: Studying the properties of the solar convection using high-resolution spectropolarimetry began in the early 90's with the focus on observations in the visible wavelength regions. Its extension to the infrared (IR) remains largely unexplored. The IR iron lines around 15600\,$\rm{\AA}$, most commonly known for their high magnetic sensitivity, also have a non-zero response to line-of-sight velocity below $\log (\tau)=0.0$. In this paper we aim to tap this potential to explore the possibility of using them to measure sub-surface convective velocities. By assuming a snapshot of a three-dimensional magnetohydrodynamic simulation to represent the quiet Sun, we investigate how well the iron IR lines can reproduce the LOS velocity in the cube and up to what depth. We use the recently developed spectropolarimetric inversion code SNAPI and discuss the optimal node placements for the retrieval of reliable results from these spectral lines. We find that the IR iron lines can measure the convective velocities down to $\log (\tau)=0.5$, below the photosphere, not only at original resolution of the cube but also when degraded with a reasonable spectral and spatial PSF and stray light. Meanwhile, the commonly used Fe~{\sc i} 6300\,\AA{} line pair performs significantly worse. Our investigation reveals that the IR iron lines can probe the subsurface convection in the solar photosphere. This paper is a first step towards exploiting this diagnostic potential.


title: Tracing Forum Posts to MOOC Content using Topic Analysis

abstract: Massive Open Online Courses are educational programs that are open and accessible to a large number of people through the internet. To facilitate learning, MOOC discussion forums exist where students and instructors communicate questions, answers, and thoughts related to the course. The primary objective of this paper is to investigate tracing discussion forum posts back to course lecture videos and readings using topic analysis. We utilize both unsupervised and supervised variants of Latent Dirichlet Allocation (LDA) to extract topics from course material and classify forum posts. We validate our approach on posts bootstrapped from five Coursera courses and determine that topic models can be used to map student discussion posts back to the underlying course lecture or reading. Labeled LDA outperforms unsupervised Hierarchical Dirichlet Process LDA and base LDA for our traceability task. This research is useful as it provides an automated approach for clustering student discussions by course material, enabling instructors to quickly evaluate student misunderstanding of content and clarify materials accordingly.


title: Nodal solutions to a Neumann problem for a class of (p_1,p_2)-Laplacian systems

abstract: Nodal solutions of a parametric (p_1,p_2)-Laplacian system, with Neumann boundary conditions, are obtained by chiefly constructing appropriate sub-super-solution pairs.


title: Duality for Knizhnik-Zamolodchikov and Dynamical Operators

abstract: We consider the Knizhnik-Zamolodchikov and dynamical operators, both differential and difference, in the context of the $(\mathfrak{gl}_{k}, \mathfrak{gl}_{n})$-duality for the space of polynomials in $kn$ anticommuting variables. We show that the Knizhnik-Zamolodchikov and dynamical operators naturally exchange under the duality.


title: Incentivized Blockchain-based Social Media Platforms: A Case Study of Steemit

abstract: This paper presents an empirical analysis of Steemit, a key representative of the emerging incentivized social media platforms over Blockchains, to understand and evaluate the actual level of decentralization and the practical effects of cryptocurrency-driven reward system in these modern social media platforms. Similar to Bitcoin, Steemit is operated by a decentralized community, where 21 members are periodically elected to cooperatively operate the platform through the Delegated Proof-of-Stake (DPoS) consensus protocol. Our study performed on 539 million operations performed by 1.12 million Steemit users during the period 2016/03 to 2018/08 reveals that the actual level of decentralization in Steemit is far lower than the ideal level, indicating that the DPoS consensus protocol may not be a desirable approach for establishing a highly decentralized social media platform. In Steemit, users create contents as posts which get curated based on votes from other users. The platform periodically issues cryptocurrency as rewards to creators and curators of popular posts. Although such a reward system is originally driven by the desire to incentivize users to contribute to high-quality contents, our analysis of the underlying cryptocurrency transfer network on the blockchain reveals that more than 16% transfers of cryptocurrency in Steemit are sent to curators suspected to be bots and also finds the existence of an underlying supply network for the bots, both suggesting a significant misuse of the current reward system in Steemit. Our study is designed to provide insights on the current state of this emerging blockchain-based social media platform including the effectiveness of its design and the operation of the consensus protocols and the reward system.


title: An injectable dosimeter for small animal irradiations

abstract: We have developed a novel in-vivo dosimeter based on glass encapsulated TLD rods. These encapsulated rods can be injected into mice and used for validating doses to an individual mouse in a protracted irradiation scenario where the mouse is free to move in an inhomogenous radiation field. Data from 30 irradiated mice shows a reliable dose reconstruction within 10% of the nominal delivered dose.


title: A Realistic Dataset and Baseline Temporal Model for Early Drowsiness Detection

abstract: Drowsiness can put lives of many drivers and workers in danger. It is important to design practical and easy-to-deploy real-world systems to detect the onset of drowsiness.In this paper, we address early drowsiness detection, which can provide early alerts and offer subjects ample time to react. We present a large and public real-life dataset of 60 subjects, with video segments labeled as alert, low vigilant, or drowsy. This dataset consists of around 30 hours of video, with contents ranging from subtle signs of drowsiness to more obvious ones. We also benchmark a temporal model for our dataset, which has low computational and storage demands. The core of our proposed method is a Hierarchical Multiscale Long Short-Term Memory (HM-LSTM) network, that is fed by detected blink features in sequence. Our experiments demonstrate the relationship between the sequential blink features and drowsiness. In the experimental results, our baseline method produces higher accuracy than human judgment.


title: Combinatorial Conversion and Moment Bisimulation for Stochastic Rewriting Systems

abstract: We develop a novel method to analyze the dynamics of stochastic rewriting systems evolving over finitary adhesive, extensive categories. Our formalism is based on the so-called rule algebra framework and exhibits an intimate relationship between the combinatorics of the rewriting rules (as encoded in the rule algebra) and the dynamics which these rules generate on observables (as encoded in the stochastic mechanics formalism). We introduce the concept of combinatorial conversion, whereby under certain technical conditions the evolution equation for (the exponential generating function of) the statistical moments of observables can be expressed as the action of certain differential operators on formal power series. This permits us to formulate the novel concept of moment-bisimulation, whereby two dynamical systems are compared in terms of their evolution of sets of observables that are in bijection. In particular, we exhibit non-trivial examples of graphical rewriting systems that are moment-bisimilar to certain discrete rewriting systems (such as branching processes or the larger class of stochastic chemical reaction systems). Our results point towards applications of a vast number of existing well-established exact and approximate analysis techniques developed for chemical reaction systems to the far richer class of general stochastic rewriting systems.


title: On the diversity of stationary cosmologies in the first half of the twentieth century

abstract: Before the establishment of the hot Big Bang scenario as the modern paradigm of cosmology, it faced several early competitors : the so-called stationary cosmological models. There were truly plural and independent approaches incorporating cosmic expansion but without time evolution of the total cosmological density, thanks to the inclusion of some processes of continuous matter creation. We distinguish here three different independent motivations leading to a stationary vision of the universe. First, Einstein's concerns on the asymptotic behaviour of gravitation led him to consider continuous matter creation in a recently discovered unpublished work dated of 1931. Second, there is the quest by Dirac and Jordan for a scientific explanation of numerical coincidences in the values of fundamental constants, leading both to a time variation of Newton's constant and spontaneous matter creation. The third one appears in the steady-state theory of Bondi and Gold as the postulate of the Perfect Cosmological Principle according to which the properties of the universe do not depend in any way of the location and the epoch of the observer. Hoyle developed a mathematical model of spontaneous matter creation from a modification of general relativity that should be considered as a direct legacy of Einstein's and Dirac's approaches. Hoyle's model allows obtaining a "\textit{wide cosmological principle}" as an end-product, echoing Bondi and Gold's Perfect Cosmological Principle. Somewhat ironically, many modern key questions in hot Big Bang cosmology, like dark energy and inflation, can therefore be directly related to the physical motivations of the early stationary cosmologies.


title: Joule Heating-Induced Particle Manipulation on a Microfluidic Chip

abstract: We develop an electrokinetic technique that continuously manipulates colloidal particles to concentrate into patterned particulate groups in an energy efficient way, by exclusive harnessing of the intrinsic Joule heating effects. Our technique exploits the alternating current electrothermal flow phenomenon which is generated due to the interaction between non-uniform electric and thermal fields. Highly non-uniform electric field generates sharp temperature gradients by generating spatially-varying Joule heat that varies along radial direction from a concentrated point hotspot. Sharp temperature gradients induce local variation in electric properties which, in turn, generate strong electrothermal vortex. The imposed fluid flow brings the colloidal particles at the centre of the hotspot and enables particle aggregation. Further, manoeuvering structures of the Joule heating spots, different patterns of particle clustering may be formed in a low power budget, thus, opening up a new realm of on-chip particle manipulation process without necessitating highly focused laser beam which is much complicated and demands higher power budget. This technique can find its use in Lab-on-a-chip devices to manipulate particle groups, including biological cells.


title: Observable Features of Tachyon-Dominated Cosmology

abstract: A Friedmann-Robertson-Walker cosmological model dominated by tachyonic -- faster-than-light -- dark matter can exhibit features similar to those of a standard dark energy/dark matter or $Lambda$CDM model. It can undergo expansion which decelerates to a minimum rate, passes through a "cosmic jerk," then accelerates. But some features of a tachyon-dominated model are sufficiently distinct from those of the standard model that the two possibilities might be distinguished observationally. As a demonstration of concept, the distance-redshift relation of such a model is compared here with some observations of Type Ia supernovae. Other measures of the third time derivative of the cosmic scale factor -- the true cosmic jerk -- might be found to test a tachyonic-dark-matter hypothesis.


title: Improving inverse Compton by removing non-linearities

abstract: We present a new, more nuanced understanding of non-linear effects in inverse Compton sources. Contrary to what has been heretofore understood, deleterious non-linear effects can arise even at low laser intensities, a regime previously viewed as linear. After laying out a comprehensive survey of all non-linear phenomena which degrade the effectiveness of inverse Compton sources, we discuss two powerful techniques designed to remove these non-linearities. Starting with the known technique of longitudinal chirping of the laser pulse, which we developed earlier to mitigate adverse non-linear effects in the high laser field regime, we have discovered that the simple stretching of the laser pulse, while keeping the energy constant, can significantly increase the spectral density of the scattered radiation in many operating regimes. Our numerical simulations show that combining these two techniques removes detrimental non-linearities and improves the performance of inverse Compton sources over an order of magnitude.


title: Natural Language Semantics With Pictures: Some Language & Vision Datasets and Potential Uses for Computational Semantics

abstract: Propelling, and propelled by, the "deep learning revolution", recent years have seen the introduction of ever larger corpora of images annotated with natural language expressions. We survey some of these corpora, taking a perspective that reverses the usual directionality, as it were, by viewing the images as semantic annotation of the natural language expressions. We discuss datasets that can be derived from the corpora, and tasks of potential interest for computational semanticists that can be defined on those. In this, we make use of relations provided by the corpora (namely, the link between expression and image, and that between two expressions linked to the same image) and relations that we can add (similarity relations between expressions, or between images). Specifically, we show that in this way we can create data that can be used to learn and evaluate lexical and compositional grounded semantics, and we show that the "linked to same image" relation tracks a semantic implication relation that is recognisable to annotators even in the absence of the linking image as evidence. Finally, as an example of possible benefits of this approach, we show that an exemplar-model-based approach to implication beats a (simple) distributional space-based one on some derived datasets, while lending itself to explainability.


title: Learning Probabilistic Multi-Modal Actor Models for Vision-Based Robotic Grasping

abstract: Many previous works approach vision-based robotic grasping by training a value network that evaluates grasp proposals. These approaches require an optimization process at run-time to infer the best action from the value network. As a result, the inference time grows exponentially as the dimension of action space increases. We propose an alternative method, by directly training a neural density model to approximate the conditional distribution of successful grasp poses from the input images. We construct a neural network that combines Gaussian mixture and normalizing flows, which is able to represent multi-modal, complex probability distributions. We demonstrate on both simulation and real robot that the proposed actor model achieves similar performance compared to the value network using the Cross-Entropy Method (CEM) for inference, on top-down grasping with a 4 dimensional action space. Our actor model reduces the inference time by 3 times compared to the state-of-the-art CEM method. We believe that actor models will play an important role when scaling up these approaches to higher dimensional action spaces.


title: Low-Rank Deep Convolutional Neural Network for Multi-Task Learning

abstract: In this paper, we propose a novel multi-task learning method based on the deep convolutional network. The proposed deep network has four convolutional layers, three max-pooling layers, and two parallel fully connected layers. To adjust the deep network to multi-task learning problem, we propose to learn a low-rank deep network so that the relation among different tasks can be explored. We proposed to minimize the number of independent parameter rows of one fully connected layer to explore the relations among different tasks, which is measured by the nuclear norm of the parameter of one fully connected layer, and seek a low-rank parameter matrix. Meanwhile, we also propose to regularize another fully connected layer by sparsity penalty, so that the useful features learned by the lower layers can be selected. The learning problem is solved by an iterative algorithm based on gradient descent and back-propagation algorithms. The proposed algorithm is evaluated over benchmark data sets of multiple face attribute prediction, multi-task natural language processing, and joint economics index predictions. The evaluation results show the advantage of the low-rank deep CNN model over multi-task problems.


title: A local Lagrangian for MOND as modified inertia

abstract: We propose a local Lagrangian for a point particle where its inertia part is modified in the regime of small accelerations. For the standard gravitational central force, it recovers the deep MOdified Newtonian Dynamics (MOND) (accelerations $\ll a_0\approx 10^{-10}$m/s$^{2}$) equations of motion in the case of a circular orbit. Perturbations to that turn on higher derivative terms, leading to exponentially unstable solutions that must vanish in order to account for the very small scattering of the Tully-Fisher relation. Unstable solutions linearly growing with time remain valid for a characteristic timescale of at least 3 billion years. We show that vertical perturbations recover similar results to dark matter for old galaxies, but deviations could be present for young ones. We also present ways to probe our approach and describe some of its subtleties, such as the strong equivalence principle (violated in general), the center of mass motion of a composite body, and how in some cases it could overcome Ostrogradsky's instabilities (with naturally occurring piecewise Lagrangians). Our main conclusions regarding our MOND-like proposal are: (i) it constitutes a possible recipe where Ostrogradsky instabilities could be "tamed"; (ii) it is a falsifiable approach in various contexts and (iii) it might explain simultaneously some of the issues usual modified gravity MOND and dark matter phenomenologies have difficulties individually. These aspects seem relevant to start addressing practical ways to differentiate modified gravity MOND from modified inertia and give insights into alternative ways to tackle some astrophysical and cosmological puzzles.


title: Cotorsion torsion triples and the representation theory of filtered hierarchical clustering

abstract: We give a full classification of representation types of the subcategories of representations of an $m \times n$ rectangular grid with monomorphisms (dually, epimorphisms) in one or both directions, which appear naturally in the context of clustering as two-parameter persistent homology in degree zero. We show that these subcategories are equivalent to the category of all representations of a smaller grid, modulo a finite number of indecomposables. This equivalence is constructed from a certain cotorsion torsion triple, which is obtained from a tilting subcategory generated by said indecomposables.


title: Causation of Late Quaternary Rapid-increase Radiocarbon Anomalies

abstract: Brief (less than 100 years) rapid-increase anomalies in the Earth's atmospheric radiocarbon production have previously been attributed to either gamma photon radiation from supernovae or to cosmic ray particle radiation from exceptionally large solar flares. Analysis of distances and ages of nearby supernovae remnants, the probable gamma emissions, the predicted Earth incident radiation, and the terrestrial radiocarbon record indicates that supernova causation may be the case. Supernovae include Type Ia white dwarf explosions, Type Ib, c, and II core collapse events, and some types of gamma burst objects. All generate significant pulses of atmospheric radiocarbon depending on distances. Surveys of supernova remnants offer a nearly complete accounting for the past 50,000 years. There are 18 events less than or at 1.4 kilo-parsec distance, and brief radiocarbon anomalies with appropriate sizes occurred for each of the closest events. In calendar years before 1950, these are: Vela, 22 per mil del 14C at 12,760; S165, 20 per mil at 7431; Vela Junior, 13 per mil at 2765; HB9, 9 per mil at 5372; Boomerang, 11 per mil at 10,255; and Cygnus Loop (per mil change not calculated) at 14,722. Although uncertainties remain large, the agreements of prediction to observation support a possible causal connection.


title: Magnetic response of Sr$_2$RuO$_4$: quasi-local spin fluctuations due to Hund's coupling

abstract: We study the magnetic susceptibility in the normal state of Sr$_2$RuO$_4$ using dynamical mean-field theory including dynamical vertex corrections. Besides the well known incommensurate response, our calculations yield quasi-local spin fluctuations which are broad in momentum and centered around the $\Gamma$ point, in agreement with recent inelastic neutron scattering experiments [P. Steffens, et al., Phys. Rev. Lett. 122, 047004 (2019)]. We show that these quasi-local fluctuations are controlled by the Hund's coupling and account for the dominant contribution to the momentum-integrated response. While all orbitals contribute equally to the incommensurate response, the enhanced $\Gamma$ point response originates from the planar xy orbital.


title: Characterizing the Variability in Face Recognition Accuracy Relative to Race

abstract: Many recent news headlines have labeled face recognition technology as biased or racist. We report on a methodical investigation into differences in face recognition accuracy between African-American and Caucasian image cohorts of the MORPH dataset. We find that, for all four matchers considered, the impostor and the genuine distributions are statistically significantly different between cohorts. For a fixed decision threshold, the African-American image cohort has a higher false match rate and a lower false non-match rate. ROC curves compare verification rates at the same false match rate, but the different cohorts achieve the same false match rate at different thresholds. This means that ROC comparisons are not relevant to operational scenarios that use a fixed decision threshold. We show that, for the ResNet matcher, the two cohorts have approximately equal separation of impostor and genuine distributions. Using ICAO compliance as a standard of image quality, we find that the initial image cohorts have unequal rates of good quality images. The ICAO-compliant subsets of the original image cohorts show improved accuracy, with the main effect being to reducing the low-similarity tail of the genuine distributions.


title: Assignment of excited-state bond lengths using branching-ratio measurements: The B$^2\Sigma^+$ state of BaH molecules

abstract: Vibrational branching ratios in the B$^2\Sigma^+$ -- X$^2\Sigma^+$ and A$^2\Pi$ -- X$^2\Sigma^+$ optical-cycling transitions of BaH molecules are investigated using measurements and {\it ab initio} calculations. The experimental values are determined using fluorescence and absorption detection. The observed branching ratios have a very sensitive dependence on the difference in the equilibrium bond length between the excited and ground state, $\Delta r_e$: a 1 pm (.5\%) displacement can have a 25\% effect on the branching ratios but only a 1\% effect on the lifetime. The measurements are combined with theoretical calculations to reveal a preference for a particular set of published spectroscopic values for the B$^2\Sigma^+$ state ($\Delta r_e^{B-X}$ = +5.733 pm), while a larger bond-length difference ($\Delta r_e^{B-X} = 6.3-6.7$ pm) would match the branching-ratio data even better. By contrast, the observed branching ratio for the A$^2\Pi_{3/2}$ -- X$^2\Sigma^+$ transition is in excellent agreement with both the {\it ab initio} result and the spectroscopically measured bond lengths. This shows that care must be taken when estimating branching ratios for molecular laser cooling candidates, as small errors in bond-length measurements can have outsize effects on the suitability for laser cooling. Additionally, our calculations agree more closely with experimental values of the B$^2\Sigma^+$ state lifetime and spin-rotation constant, and revise the predicted lifetime of the H$^2\Delta$ state to 9.5 $\mu$s.


title: Local times for continuous paths of arbitrary regularity

abstract: We study a continuous pathwise local time of order p for continuous functions with finite p-th variation along a sequence of time partitions, for even integers p >= 2. With this notion, we establish a Tanaka-type change of variable formula, as well as Tanaka-Meyer formulae. We also derive some identities involving this high-order pathwise local time, each of which generalizes a corresponding identity from semimartingale theory. We then use collision local times between multiple functions of arbitrary regularity, to study the dynamics of ranked continuous functions of arbitrary regularity. We present also another definition of pathwise local time which is more natural for fractional Brownian Motions, and give a connection with the previous notion of local time.


title: How Widely Can Prediction Models be Generalized? Performance Prediction in Blended Courses

abstract: Blended courses that mix in-person instruction with online platforms are increasingly popular in secondary education. These tools record a rich amount of data on students' study habits and social interactions. Prior research has shown that these metrics are correlated with students' performance in face to face classes. However, predictive models for blended courses are still limited and have not yet succeeded at early prediction or cross-class predictions even for repeated offerings of the same course. In this work, we use data from two offerings of two different undergraduate courses to train and evaluate predictive models on student performance based upon persistent student characteristics including study habits and social interactions. We analyze the performance of these models on the same offering, on different offerings of the same course, and across courses to see how well they generalize. We also evaluate the models on different segments of the courses to determine how early reliable predictions can be made. This work tells us in part how much data is required to make robust predictions and how cross-class data may be used, or not, to boost model performance. The results of this study will help us better understand how similar the study habits, social activities, and the teamwork styles are across semesters for students in each performance category. These trained models also provide an avenue to improve our existing support platforms to better support struggling students early in the semester with the goal of providing timely intervention.


title: Transmit MIMO Radar Beampattern Design Via Optimization on the Complex Circle Manifol

abstract: The ability of Multiple-Input Multiple-Output (MIMO) radar systems to adapt waveforms across antennas allows flexibility in the transmit beampattern design. In cognitive radar, a popular cost function is to minimize the deviation against an idealized beampattern (which is arrived at with knowledge of the environment). The optimization of the transmit beampattern becomes particularly challenging in the presence of practical constraints on the transmit waveform. One of the hardest of such constraints is the non-convex constant modulus constraint, which has been the subject of much recent work. In a departure from most existing approaches, we develop a solution that involves direct optimization over the non-convex complex circle manifold. That is, we derive a new projection, descent, and retraction (PDR) update strategy that allows for monotonic cost function improvement while maintaining feasibility over the complex circle manifold (constant modulus set). For quadratic cost functions (as is the case with beampattern deviation), we provide analytical guarantees of monotonic cost function improvement along with proof of convergence to a local minima. We evaluate the proposed PDR algorithm against other candidate MIMO beampattern design methods and show that PDR can outperform competing wideband beampattern design methods while being computationally less expensive. Finally, orthogonality across antennas is incorporated in the PDR framework by adding a penalty term to the beampattern cost function. Enabled by orthogonal waveforms, robustness to target direction mismatch is also demonstrated.


title: New Kloosterman sum identities from the Helleseth-Zinoviev result on $ Z_{4}$-linear Goethals codes

abstract: In the paper of Tor Helleseth and Victor Zinoviev (Designs, Codes and Cryptography, \textbf{17}, 269-288(1999)), the number of solutions of the system of equations from $ Z_{4} $-linear Goethals codes $ G_{4} $ was determined and stated in Theorem 4. We found that Theorem 4 is wrong for $ m $ even. In this note, we complete Theorem 4, and present a series of new Kloosterman sum identities deduced from Theorem 4. Moreover, we show that several previously established formulas on the Kloosterman sum identities can be rediscovered from Theorem 4 with much simpler proofs.


title: Predicting Student Performance Based on Online Study Habits: A Study of Blended Courses

abstract: Online tools provide unique access to research students' study habits and problem-solving behavior. In MOOCs, this online data can be used to inform instructors and to provide automatic guidance to students. However, these techniques may not apply in blended courses with face to face and online components. We report on a study of integrated user-system interaction logs from 3 computer science courses using four online systems: LMS, forum, version control, and homework system. Our results show that students rarely work across platforms in a single session, and that final class performance can be predicted from students' system use.


title: Optimization Model for Planning Precision Grasps with Multi-Fingered Hands

abstract: Precision grasps with multi-fingered hands are important for precise placement and in-hand manipulation tasks. Searching precision grasps on the object represented by point cloud, is challenging due to the complex object shape, high-dimensionality, collision and undesired properties of the sensing and positioning. This paper proposes an optimization model to search for precision grasps with multi-fingered hands. The model takes noisy point cloud of the object as input and optimizes the grasp quality by iteratively searching for the palm pose and finger joints positions. The collision between the hand and the object is approximated and penalized by a series of least-squares. The collision approximation is able to handle the point cloud representation of the objects with complex shapes. The proposed optimization model is able to locate collision-free optimal precision grasps efficiently. The average computation time is 0.50 sec/grasp. The searching is robust to the incompleteness and noise of the point cloud. The effectiveness of the algorithm is demonstrated by experiments.


title: The Digital Architectures of Social Media: Comparing Political Campaigning on Facebook, Twitter, Instagram, and Snapchat in the 2016 U.S. Election

abstract: The present study argues that political communication on social media is mediated by a platform's digital architecture, defined as the technical protocols that enable, constrain, and shape user behavior in a virtual space. A framework for understanding digital architectures is introduced, and four platforms (Facebook, Twitter, Instagram, and Snapchat) are compared along the typology. Using the 2016 US election as a case, interviews with three Republican digital strategists are combined with social media data to qualify the studyies theoretical claim that a platform's network structure, functionality, algorithmic filtering, and datafication model affect political campaign strategy on social media.


title: Multi-Head Multi-Layer Attention to Deep Language Representations for Grammatical Error Detection

abstract: It is known that a deep neural network model pre-trained with large-scale data greatly improves the accuracy of various tasks, especially when there are resource constraints. However, the information needed to solve a given task can vary, and simply using the output of the final layer is not necessarily sufficient. Moreover, to our knowledge, exploiting large language representation models to detect grammatical errors has not yet been studied. In this work, we investigate the effect of utilizing information not only from the final layer but also from intermediate layers of a pre-trained language representation model to detect grammatical errors. We propose a multi-head multi-layer attention model that determines the appropriate layers in Bidirectional Encoder Representation from Transformers (BERT). The proposed method achieved the best scores on three datasets for grammatical error detection tasks, outperforming the current state-of-the-art method by 6.0 points on FCE, 8.2 points on CoNLL14, and 12.2 points on JFLEG in terms of F_0.5. We also demonstrate that by using multi-head multi-layer attention, our model can exploit a broader range of information for each token in a sentence than a model that uses only the final layer's information.


title: Galaxy-Targeting Approach Optimized for Finding the Radio Afterglows of Gravitational Wave Sources

abstract: Kilonovae and radio afterglows of neutron star merger events have been identified as the two most promising counterparts, of these gravitational wave sources, that can provide arcsecond localization. While several new and existing optical search facilities have been dedicated to finding kilonovae, factors such as dust obscuration and the daytime sky may thwart these searches in a significant fraction of gavitational wave events. Radio-only searches, being almost immune to these factors, are equally capable of finding the counterparts and in fact offer a complementary discovery approach, despite the modest fields of view for many of the present-day radio interferometers. Such interferometers will be able to carry out competitive searches for the electromagnetic counterparts through the galaxy targeting approach. Adapting and improving on an existing algorithm by Rana et al. 2017. we present here a method that optimizes the placement of radio antenna pointings, integration time, and antenna slew. We simulate 3D gravitational wave localizations to find the efficacy of our algorithm; with substantial improvements in slew overhead and containment probability coverage, our algorithm performs significantly better than simple galaxy-rank-ordered observations. We propose that telescopes such as the Very Large Array, MeerKAT, Australia Telescope Compact Array and the Gaint Meterwave Radio Telescope, having fields of view $\lesssim$1 deg$^2$ and searching for the counterparts of nearby GW events over tens of square degrees or larger, will especially benefit from this optimized galaxy-targeting approach for electromagnetic counterpart searches.


title: Dynamical phase behavior of the single- and multi-lane asymmetric simple exclusion process via matrix product states

abstract: We analyze the dynamical phases of the current-biased 1D and multi-lane open asymmetric simple exclusion processes (ASEP), using matrix product states and the density matrix renormalization group (DMRG) algorithm. In the 1D ASEP, we present a systematic numerical study of the current cumulant generating function and its derivatives, which serve as dynamical phase order parameters. We further characterize the microscopic structure of the phases from local observables and the entanglement spectrum. In the multi-lane ASEP, which may be viewed as finite width 2D strip, we use the same approach and find the longitudinal current-biased dynamical phase behavior to be sensitive to transverse boundary conditions. Our results serve to illustrate the potential of tensor networks in the simulation of classical nonequilibrium statistical models.


title: Naphthalene crystal shape prediction from molecular dynamics simulations

abstract: We used molecular dynamics simulations to predict the steady state crystal shape of naphthalene grown from ethanol solution. The simulations were performed at constant supersaturation by utilizing a recently proposed algorithm [Perego et al., J. Chem. Phys., 142, 2015, 144113]. To bring the crystal growth within the timescale of a molecular dynamics simulation we applied Well-Tempered Metadynamics with a spatially constrained collective variable, which focuses the sampling on the growing layer. We estimated that the resulting steady state crystal shape corresponds to a rhombic prism, which is in line with experiments. Further, we observed that at the investigated supersaturations, the $\{00\bar{1}\}$ face grows in a two step two dimensional nucleation mechanism while the considerably faster growing faces $\{1\bar{1}0\}$ and $\{20\bar{1}\}$ grow new layers with a one step two dimensional nucleation mechanism.


title: Excitation of Planetary Obliquities Through Planet-Disk Interactions

abstract: The tilt of a planet's spin axis off its orbital axis ("obliquity") is a basic physical characteristic that plays a central role in determining the planet's global circulation and energy redistribution. Moreover, recent studies have also highlighted the importance of obliquities in sculpting not only the physical features of exoplanets but also their orbital architectures. It is therefore of key importance to identify and characterize the dominant processes of excitation of non-zero axial tilts. Here we highlight a simple mechanism that operates early on and is likely fundamental for many extrasolar planets and perhaps even Solar System planets. While planets are still forming in the protoplanetary disk, the gravitational potential of the disk induces nodal recession of the orbits. The frequency of this recession decreases as the disk dissipates, and when it crosses the frequency of a planet's spin axis precession, large planetary obliquities may be excited through capture into a secular spin-orbit resonance. We study the conditions for encountering this resonance and calculate the resulting obliquity excitation over a wide range of parameter space. Planets with semi-major axes in the range $0.3 \ \mathrm{AU} \lesssim a \lesssim 2 \ \mathrm{AU}$ are the most readily affected, but large-$a$ planets can also be impacted. We present a case study of Uranus and Neptune and show that this mechanism likely cannot help explain their high obliquities. While it could have played a role if finely tuned and envisioned to operate in isolation, large-scale obliquity excitation was likely inhibited by gravitational planet-planet perturbations.


title: Insights from Curvy RED (Random Early Detection)

abstract: Active queue management (AQM) drops packets early in the growth of a queue, to prevent a capacity-seeking sender (e.g. TCP) from keeping the buffer full. An AQM can mark instead of dropping packets if they indicate support for explicit congestion notification (ECN). Two modern AQMs (PIE and CoDel) are designed to keep queuing delay to a target by dropping packets as load varies. This memo uses Curvy RED and an idealised but sufficient model of TCP traffic to explain why attempting to keep delay constant is a bad idea, because it requires excessively high drop at high loads. This high drop itself takes over from queuing delay as the dominant cause of delay, particularly for short flows. At high load, a link is better able to preserve reasonable performance if the delay target is softened into a curve rather than a hard cap. The analysis proves that the same AQM can be deployed in different parts of a network whatever the capacity with the same optimal configuration. A surprising corollary of this analysis concerns cases with a highly aggregated number of flows through a bottleneck. Although aggregation reduces queue variation, if the target queuing delay of the AQM at that bottleneck is reduced to take advantage of this aggregation, TCP will still increase the loss level because of the reduction in round trip time. The way to resolve this dilemma is to overprovision (a formula is provided). Nonetheless, for traffic with ECN enabled, there is no harm in an AQM holding queuing delay constant or configuring an AQM to take advantage of any reduced delay due to aggregation without over-provisioning. Recently, the requirement of the ECN standard that ECN must be treated the same as drop has been questioned. The insight that the goals of an AQM for drop and for ECN should be different proves that this doubt is justified.