title: Crime Aggregation, Deterrence, and Witness Credibility

abstract: We present a model for the equilibrium frequency of offenses and the informativeness of witness reports when potential offenders can commit multiple offenses and witnesses are subject to retaliation risk and idiosyncratic reporting preferences. We compare two ways of handling multiple accusations discussed in legal scholarship: (i) When convictions are based on the probability that the defendant committed at least one, unspecified offense and entail a severe punishment, potential offenders induce negative correlation in witnesses' private information, which leads to uninformative reports, information aggregation failures, and frequent offenses in equilibrium. Moreover, lowering the punishment in case of conviction can improve deterrence and the informativeness of witnesses' reports. (ii) When accusations are treated separately to adjudicate guilt and conviction entails a severe punishment, witness reports are highly informative and offenses are infrequent in equilibrium.


title: Bosonic Halperin fractional quantum Hall effect at filling factor $\nu=2/5$

abstract: Quantum Hall effects with multicomponent internal degrees of freedom facilitate the playground of novel emergent topological orders. Here, we explore the correlated topological phases of two-component hardcore bosons at a total filling factor $\nu=2/5$ in both lattice Chern band models and Landau level continuum model under the interplay of intracomponent and intercomponent repulsions. We give the numerically theoretical demonstration of the emergence of two competing distinct fractional quantum Hall states: Halperin (441) fractional quantum Hall effect and Halperin (223) fractional quantum Hall effect. We elucidate their topological features including the degeneracy of the ground state and fractionally quantized topological Chern number matrix. Finally, we discuss scenarios related to phase transition between them when intercomponent nearest-neighbor coupling is tuned from weak to strong in topological checkerboard lattice.


title: Estimating Individual Treatment Effects using Non-Parametric Regression Models: a Review

abstract: Large observational data are increasingly available in disciplines such as health, economic and social sciences, where researchers are interested in causal questions rather than prediction. In this paper, we examine the problem of estimating heterogeneous treatment effects using non-parametric regression-based methods, starting from an empirical study aimed at investigating the effect of participation in school meal programs on health indicators. Firstly, we introduce the setup and the issues related to conducting causal inference with observational or non-fully randomized data, and how these issues can be tackled with the help of statistical learning tools. Then, we review and develop a unifying taxonomy of the existing state-of-the-art frameworks that allow for individual treatment effects estimation via non-parametric regression models. After presenting a brief overview on the problem of model selection, we illustrate the performance of some of the methods on three different simulated studies. We conclude by demonstrating the use of some of the methods on an empirical analysis of the school meal program data.


title: Cluster duality between Calkin-Wilf tree and Stern-Brocot tree

abstract: We find a duality between two well-known trees, the Calkin-Wilf tree and the Stern-Brocot tree, derived from cluster algebra theory. The vertex sets of these trees are the set of rational numbers, and they have cluster structures induced by one-punctured torus. In particular, the Calkin-Wilf tree is an example of the structure given by initial-seed mutations.


title: The Venusian Lower Atmosphere Haze as a Depot for Desiccated Microbial Life: A Proposed Life Cycle for Persistence of the Venusian Aerial Biosphere

abstract: We revisit the hypothesis that there is life in the Venusian clouds to propose a life cycle that resolves the conundrum of how life can persist aloft for hundreds of millions to billions of years. Most discussions of an aerial biosphere in the Venus atmosphere temperate layers never address whether the life-small microbial-type particles-is free floating or confined to the liquid environment inside cloud droplets. We argue that life must reside inside liquid droplets such that it will be protected from a fatal net loss of liquid to the atmosphere, an unavoidable problem for any free-floating microbial life forms. However, the droplet habitat poses a lifetime limitation: Droplets inexorably grow (over a few months) to large enough sizes that are forced by gravity to settle downward to hotter, uninhabitable layers of the Venusian atmosphere. (Droplet fragmentation-which would reduce particle size-does not occur in Venusian atmosphere conditions.) We propose for the first time that the only way life can survive indefinitely is with a life cycle that involves microbial life drying out as liquid droplets evaporate during settling, with the small desiccated 'spores' halting at, and partially populating, the Venus atmosphere stagnant lower haze layer (33-48 km altitude). We, thus, call the Venusian lower haze layer a 'depot' for desiccated microbial life. The spores eventually return to the cloud layer by upward diffusion caused by mixing induced by gravity waves, act as cloud condensation nuclei, and rehydrate for a continued life cycle. We also review the challenges for life in the extremely harsh conditions of the Venusian atmosphere, refuting the notion that the 'habitable' cloud layer has an analogy in any terrestrial environment.


title: Many-Body Phases of a Planar Bose-Einstein Condensate with Cavity-Induced Spin-Orbit Coupling

abstract: We explore the many-body phases of a two-dimensional Bose-Einstein condensate with cavity-mediated dynamic spin-orbit coupling. By the help of two transverse non-interfering, counterpropagating pump lasers and a single standing-wave cavity mode, two degenerate Zeeman sub-levels of the quantum gas are Raman coupled in a double-$\Lambda$-configuration. Beyond a critical pump strength the cavity mode is populated via coherent superradiant Raman scattering from the two pump lasers, leading to the appearance of a dynamical spin-orbit coupling for the atoms. We identify three quantum phases with distinct atomic and photonic properties: the normal ``homogeneous'' phase, the superradiant ``spin-helix'' phase, and the superradiant ``supersolid spin-density-wave'' phase. The latter exhibits an emergent periodic atomic density distribution with an orthorhombic centered rectangular-lattice structure due to the interplay between the coherent photon scattering into the resonator and the collision-induced momentum coupling. The transverse lattice spacing of the emergent crystal is set by the dynamic spin-orbit coupling.


title: Machine learning non-Hermitian topological phases

abstract: Non-Hermitian topological phases have gained widespread interest due to their unconventional properties, which have no Hermitian counterparts. In this work, we propose to use machine learning to identify and predict non-Hermitian topological phases, based on their winding number. We consider two examples -- non-Hermitian Su-Schrieffer-Heeger model and its generalized version in one dimension and non-Hermitian nodal line semimetal in three dimensions -- to demonstrate the use of neural networks to accurately characterize the topological phases. We show that for the one dimensional model, a fully connected neural network gives an accuracy greater than 99.9\%, and is robust to the introduction of disorder. For the three dimensional model, we find that a convolutional neural network accurately predicts the different topological phases.


title: The Arens-Michael envelopes of the Jordanian Plane and $U_q(\mathfrak{sl}(2))$

abstract: The Arens-Michael functor in noncommutative geometry is an analogue of the analytification functor in algebraic geometry: out of the ring of "algebraic functions" on a noncommutative space it constructs the ring of "holomorphic functions" on it. In this paper, we explicitly compute the Arens-Michael envelopes of the Jordanian plane and the quantum enveloping algebra $U_q(\mathfrak{sl}(2))$ of $\mathfrak{sl}(2)$ for $|q|=1$.


title: Phase transitions of bosonic fractional quantum Hall effect in topological flat bands

abstract: We study the phase transitions of bosonic $\nu=1/2$ fractional quantum Hall (FQH) effect in different topological lattice models under the interplay of onsite periodic potential and Hubbard repulsion. Through exact diagonalization and density matrix renormalization group methods, we demonstrate that the many-body ground state undergoes a continuous phase transition between bosonic FQH liquid and a trivial (Mott) insulator induced by the periodic potential, characterized by the smooth crossover of energy and entanglement entropy. When the Hubbard repulsion decreases, we claim that this bosonic FQH liquid would turn into a superfluid state with direct energy level crossing and a discontinuous leap of off-diagonal long-range order.


title: Highly Stable and Reproducible Au Nanorod Arrays for Near-Infrared Optofluidic SERS sensor

abstract: Surface-enhanced Raman spectroscopy (SERS) is a sensitive vibrational spectroscopy technique that can enable fast and non-destructive detection of trace molecules. SERS substrates are critical for the advancement of the SERS application. By incorporating SERS substrates into microfluidic devices, the function of microfluidic devices can be extended, and an efficient on-site trace analysis platform with powerful sensing capabilities can be realized. In this paper, we report the fabrication of a rapid and sensitive optofluidic SERS device using a unique Au nanorod array (AuNRA) with a plasmon resonance frequency in the near IR region. The highly stable and reproducible AuNRA were fabricated by a facile dynamic oblique angle deposition technique. A typical spectrum of 4,4-bipyridine (BPY) with enhanced peaks was observed within a few seconds after the injection of an aqueous solution BPY. Time-course measurements revealed an outstandingly quick response of SERS in this system. Using the AuNR microfluidic device, approximately 2x10-12 mole molecules were enough to produce detectable SERS signals. This work demonstrates rapid and sensitive chemical sensing using an optofluidic device equipped with a unique noble metal nanorod array.


title: Photoelectron spectroscopy of laser-dressed atomic helium

abstract: Photoelectron emission from excited states of laser-dressed atomic helium is analyzed with respect to laser intensity-dependent excitation energy shifts and angular distributions. In the two-color XUV (exteme ultra\-violet) -- IR (infrared) measurement, the XUV photon energy is scanned between \SI{20.4}{\electronvolt} and the ionization threshold at \SI{24.6}{\electronvolt}, revealing electric dipole-forbidden transitions for a temporally overlapping IR pulse ($\sim\!\SI{e12}{\watt\per \centi\meter\squared}$). The interpretation of the experimental results is supported by numerically solving the time-dependent Schr\"odinger equation in a single-active-electron approximation.


title: A study of the cohomological rigidity property

abstract: In this paper, motivated by a work of Luk and Yau, and Huneke and Wiegand, we study various aspects of the cohomological rigidity property of tensor product of modules over commutative Noetherian rings. We determine conditions under which the vanishing of a single local cohomology module of a tensor product implies the vanishing of all the lower ones, and obtain new connections between the local cohomology modules of tensor products and the Tate homology. Our argument yields bounds for the depth of tensor products of modules, as well as criteria for freeness of modules over complete intersection rings. Along the way, we also give a splitting criteria for vector bundles on smooth complete intersections.


title: Mars moon ephemerides after 14 years of Mars Express data

abstract: The Mars Express (MEX) mission has been successfully operated around Mars since 2004. Among many results, MEX has provided some of the most accurate astrometric data of the two Mars moons, Phobos and Deimos. In this work we present new ephemerides of Mars' moons benefitting from all previously published astrometric data to the most recent MEX SRC data. All in all, observations from 1877 until 2018 and including spacecraft measurements from Mariner 9 to MEX were included. Assuming a homogeneous interior, we fitted Phobos' forced libration amplitude simultaneously with the Martian tidal k2/Q ratio and the initial state of the moons. Our solution of the physical libration 1.09 +/- 0.01 degrees deviates notably from the homogeneous solution. But considering the very low error bar, this may essentially suggest the necessity to consider higher order harmonics, with an improved rotation model, in the future. While most data could be successfully fitted, we found a disagreement between the Mars Reconnaissance Orbiter and the Mars Express astrometric data at the kilometer level probably associated with a biased phase correction. The present solution precision is expected at the level of a few hundreds of meters for Phobos and several hundreds of meters for Deimos for the coming years. The real accuracy of our new ephemerides will have to be confirmed by confrontation with independent observational means.


title: Unsupervised Domain Adaptation by Uncertain Feature Alignment

abstract: Unsupervised domain adaptation (UDA) deals with the adaptation of models from a given source domain with labeled data to an unlabeled target domain. In this paper, we utilize the inherent prediction uncertainty of a model to accomplish the domain adaptation task. The uncertainty is measured by Monte-Carlo dropout and used for our proposed Uncertainty-based Filtering and Feature Alignment (UFAL) that combines an Uncertain Feature Loss (UFL) function and an Uncertainty-Based Filtering (UBF) approach for alignment of features in Euclidean space. Our method surpasses recently proposed architectures and achieves state-of-the-art results on multiple challenging datasets. Code is available on the project website.


title: A Fourth-Generation High-Dimensional Neural Network Potential with Accurate Electrostatics Including Non-local Charge Transfer

abstract: Machine learning potentials have become an important tool for atomistic simulations in many fields, from chemistry via molecular biology to materials science. Most of the established methods, however, rely on local properties and are thus unable to take global changes in the electronic structure into account, which result from long-range charge transfer or different charge states. In this work we overcome this limitation by introducing a fourth-generation high-dimensional neural network potential that combines a charge equilibration scheme employing environment-dependent atomic electronegativities with accurate atomic energies. The method, which is able to correctly describe global charge distributions in arbitrary systems, yields much improved energies and substantially extends the applicability of modern machine learning potentials. This is demonstrated for a series of systems representing typical scenarios in chemistry and materials science that are incorrectly described by current methods, while the fourth-generation neural network potential is in excellent agreement with electronic structure calculations.


title: A Finitist's Manifesto: Do we need to Reformulate the Foundations of Mathematics?

abstract: There is a problem with the foundations of classical mathematics, and potentially even with the foundations of computer science, that mathematicians have by-and-large ignored. This essay is a call for practicing mathematicians who have been sleep-walking in their infinitary mathematical paradise to take heed. Much of mathematics relies upon either (i) the "existence'" of objects that contain an infinite number of elements, (ii) our ability, "in theory", to compute with an arbitrary level of precision, or (iii) our ability, "in theory", to compute for an arbitrarily large number of time steps. All of calculus relies on the notion of a limit. The monumental results of real and complex analysis rely on a seamless notion of the "continuum" of real numbers, which extends in the plane to the complex numbers and gives us, among other things, "rigorous" definitions of continuity, the derivative, various different integrals, as well as the fundamental theorems of calculus and of algebra -- the former of which says that the derivative and integral can be viewed as inverse operations, and the latter of which says that every polynomial over $\mathbb{C}$ has a complex root. This essay is an inquiry into whether there is any way to assign meaning to the notions of "existence" and "in theory'" in (i) to (iii) above.


title: Oblique Derivative Problems for Elliptic Equations on Conical Domains

abstract: We study the oblique derivative problem for uniformly elliptic equations on cone domains. Under the assumption of axi-symmetry of the solution, we find sufficient conditions on the angle of the oblique vector for H\"older regularity of the gradient to hold up to the vertex of the cone. The proof of regularity is based on the application of carefully constructed barrier methods or via perturbative arguments. In the case that such regularity does not hold, we give explicit counterexamples. We also give a counterexample to regularity in the absence of axi-symmetry. Unlike in the equivalent two dimensional problem, the gradient H\"older regularity does not hold for all axi-symmetric solutions, but rather the qualitative regularity properties depend on both the opening angle of the cone and the angle of the oblique vector in the boundary condition.


title: EasyASR: A Distributed Machine Learning Platform for End-to-end Automatic Speech Recognition

abstract: We present EasyASR, a distributed machine learning platform for training and serving large-scale Automatic Speech Recognition (ASR) models, as well as collecting and processing audio data at scale. Our platform is built upon the Machine Learning Platform for AI of Alibaba Cloud. Its main functionality is to support efficient learning and inference for end-to-end ASR models on distributed GPU clusters. It allows users to learn ASR models with either pre-defined or user-customized network architectures via simple user interface. On EasyASR, we have produced state-of-the-art results over several public datasets for Mandarin speech recognition.


title: Fast Implementation of 4-bit Convolutional Neural Networks for Mobile Devices

abstract: Quantized low-precision neural networks are very popular because they require less computational resources for inference and can provide high performance, which is vital for real-time and embedded recognition systems. However, their advantages are apparent for FPGA and ASIC devices, while general-purpose processor architectures are not always able to perform low-bit integer computations efficiently. The most frequently used low-precision neural network model for mobile central processors is an 8-bit quantized network. However, in a number of cases, it is possible to use fewer bits for weights and activations, and the only problem is the difficulty of efficient implementation. We introduce an efficient implementation of 4-bit matrix multiplication for quantized neural networks and perform time measurements on a mobile ARM processor. It shows 2.9 times speedup compared to standard floating-point multiplication and is 1.5 times faster than 8-bit quantized one. We also demonstrate a 4-bit quantized neural network for OCR recognition on the MIDV-500 dataset. 4-bit quantization gives 95.0% accuracy and 48% overall inference speedup, while an 8-bit quantized network gives 95.4% accuracy and 39% speedup. The results show that 4-bit quantization perfectly suits mobile devices, yielding good enough accuracy and low inference time.


title: The Hardware Lottery

abstract: Hardware, systems and algorithms research communities have historically had different incentive structures and fluctuating motivation to engage with each other explicitly. This historical treatment is odd given that hardware and software have frequently determined which research ideas succeed (and fail). This essay introduces the term hardware lottery to describe when a research idea wins because it is suited to the available software and hardware and not because the idea is superior to alternative research directions. Examples from early computer science history illustrate how hardware lotteries can delay research progress by casting successful ideas as failures. These lessons are particularly salient given the advent of domain specialized hardware which make it increasingly costly to stray off of the beaten path of research ideas. This essay posits that the gains from progress in computing are likely to become even more uneven, with certain research directions moving into the fast-lane while progress on others is further obstructed.


title: Simplex: Repurposing Intel Memory Protection Extensions for Information Hiding

abstract: With the rapid increase in software exploits, the last few decades have seen several hardware-level features to enhance security (e.g., Intel MPX, ARM TrustZone, Intel SGX, Intel CET). Due to security, performance and/or usability issues these features have attracted steady criticism. One such feature is the Intel Memory Protection Extensions (MPX), an instruction set architecture extension promising spatial memory safety at a lower performance cost due to hardware-accelerated bounds checking. However, recent investigations into MPX have found that is neither as performant, accurate, nor precise as cutting-edge software-based spatial memory safety. As a direct consequence, compiler and operating system support for MPX is dying, and Intel has begun to manufacture desktop CPUs without MPX. Nonetheless, given how ubiquitous MPX is, it provides an excellent yet under-utilized hardware resource that can be aptly salvaged for security purposes. In this paper, we propose Simplex, a library framework that re-purposes MPX registers as general purpose registers. Using Simplex, we demonstrate how MPX registers can be used to store sensitive information (e.g., encryption keys) directly on the hardware. We evaluate Simplex for performance and find that its overhead is small enough to permit its deployment in all but the most performance-intensive code. We refactored the string.h buffer manipulation functions and found a geometric mean 0.9% performance overhead. We also modified the deepsjeng and lbm SPEC CPU2017 benchmarks to use Simplex and found a 1% and 0.98% performance overhead respectively. Finally, we investigate the behavior of the MPX context with regards to multi-process and multi-thread programs.


title: Propagation of first and second sound in a two-dimensional Fermi superfluid

abstract: Sound propagation is a macroscopic manifestation of the interplay between the equilibrium thermodynamics and the dynamical transport properties of fluids. Here, for a two-dimensional system of ultracold fermions, we calculate the first and second sound velocities across the whole BCS-BEC crossover and we analyze the system response to an external perturbation. In the low-temperature regime we reproduce the recent measurements [Phys Rev. Lett. {\bf 124}, 240403 (2020)] of the first sound velocity, which, due to the decoupling of density and entropy fluctuations, is the sole mode excited by a density probe. Conversely, a heat perturbation excites only the second sound, which, being sensitive to the superfluid depletion, vanishes in the deep BCS regime, and jumps discontinuously to zero at the Berezinskii-Kosterlitz-Thouless superfluid transition. A mixing between the modes occurs only in the finite-temperature BEC regime, where our theory converges to the purely bosonic results.


title: Beyond Accuracy: ROI-driven Data Analytics of Empirical Data

abstract: This vision paper demonstrates that it is crucial to consider Return-on-Investment (ROI) when performing Data Analytics. Decisions on "How much analytics is needed"? are hard to answer. ROI could guide for decision support on the What?, How?, and How Much? analytics for a given problem. Method: The proposed conceptual framework is validated through two empirical studies that focus on requirements dependencies extraction in the Mozilla Firefox project. The two case studies are (i) Evaluation of fine-tuned BERT against Naive Bayes and Random Forest machine learners for binary dependency classification and (ii) Active Learning against passive Learning (random sampling) for REQUIRES dependency extraction. For both the cases, their analysis investment (cost) is estimated, and the achievable benefit from DA is predicted, to determine a break-even point of the investigation. Results: For the first study, fine-tuned BERT performed superior to the Random Forest, provided that more than 40% of training data is available. For the second, Active Learning achieved higher F1 accuracy within fewer iterations and higher ROI compared to Baseline (Random sampling based RF classifier). In both the studies, estimate on, How much analysis likely would pay off for the invested efforts?, was indicated by the break-even point. Conclusions: Decisions for the depth and breadth of DA of empirical data should not be made solely based on the accuracy measures. Since ROI-driven Data Analytics provides a simple yet effective direction to discover when to stop further investigation while considering the cost and value of the various types of analysis, it helps to avoid over-analyzing empirical data.


title: The H$\alpha$ line emission of the Be star $\beta$ Psc: the last 40 years

abstract: A study on the photosphere and disc of the Be star $\beta$ Psc is presented. We recover almost 40 years of high-resolution spectroscopic observations and additional data gathered from the BeSS database. We evaluate the photospheric parameters from the SED and fittings of state-of-the-art non-LTE model atmospheres to observed helium, carbon, silicon and magnesium line profiles. Our models include the stellar geometric deformation as well as the co-latitude dependence of temperature and gravity, aiming to derive the effects of rotation on the stellar parameters. We estimate the circumstellar disc parameters from the fitting of models assuming different disc properties, namely its radius and gas density profile. The disc inclination angle $i$ is constrained from the fittings of He I 4471 \r{A}, Mg II 4481 \r{A}, C II 4267 \r{A}, and Si II 4128, 4132 \r{A} lines with gravity darkened models. Our findings, based on model fittings, suggest that during the last 40 years the disc radius changed within the interval $5.5 \le R_d \le 7.8$ $R_*$, the disc base gas density within $5 \times 10^{-13} \le \rho \le 1 \times 10^{-12} g cm^{-3}$, while the radial power-law density index $m$ assumed values between 2.0 and 2.3. These results are in agreement with recent works dealing with spectroscopic and interferometric measurements of this object.


title: Play Music An HCI Oriented Evaluation of Googles Default Music Player Interface

abstract: The work embodied in this paper attempts to suggest a few improvements to the playlist creation task interface of the Google Play Music Android application based on recommended practices encountered in the Human-Computer Interaction discipline. The improvements are largely centered on intuitive navigation and selection actions, in order to facilitate a smoother experience in creating, ordering, and adding to music playlists. The work records the efforts in need-finding, design brainstorming, and prototype design and evaluation. The work was undertaken over a single design life cycle, and is an attempt at applying recommended practices in HCI to a widely used real world application.


title: Assembled Kinetic Impactor for Deflecting Asteroids via Combining the Spacecraft with the Launch Vehicle Final Stage

abstract: Asteroid Impacts pose a major threat to all life on the Earth. Deflecting the asteroid from the impact trajectory is an important way to mitigate the threat. A kinetic impactor remains to be the most feasible method to deflect the asteroid. However, due to the constraint of the launch capability, an impactor with the limited mass can only produce a very limited amount of velocity increment for the asteroid. In order to improve the deflection efficiency of the kinetic impactor strategy, this paper proposed a new concept called the Assembled Kinetic Impactor (AKI), which is combining the spacecraft with the launch vehicle final stage. By making full use of the mass of the launch vehicle final stage, the mass of the impactor will be increased, which will cause the improvement of the deflection efficiency. According to the technical data of Long March 5 (CZ-5) launch vehicle, the missions of deflecting Bennu are designed to demonstrate the power of the AKI concept. Simulation results show that, compared with the Classic Kinetic Impactor (CKI, performs spacecraft-rocket separation), the addition of the mass of the launch vehicle final stage can increase the deflection distance to more than 3 times, and reduce the launch lead-time by at least 15 years. With the requirement of the same deflection distance, the addition of the mass of the launch vehicle final stage can reduce the number of launches to 1/3 of that of the number of CKI launches. The AKI concept makes it possible to defend Bennu-like large asteroids by a no-nuclear technique within 10-year launch lead-time. At the same time, for a single CZ-5, the deflection distance of a 140 m diameter asteroid within 10-year launch lead-time, can be increased from less than 1 Earth radii to more than 1 Earth radii.


title: Principle Component Analysis for Classification of the Quality of Aromatic Rice

abstract: This research introduces an instrument for performing quality control on aromatic rice by utilizing feature extraction of Principle Component Analysis (PCA) method. Our proposed system (DNose v0.2) uses the principle of electronic nose or enose. Enose is a detector instrument that work based on classification of the smell, like function of human nose. It has to be trained first for recognizing the smell before work in classification process. The aim of this research is to build an enose system for quality control instrument, especially on aromatic rice. The advantage of this system is easy to operate and not damaging the object of research. In this experiment, ATMega 328 and 6 gas sensors are involved in the electronic module and PCA method is used for classification process.


title: Performance Evaluation of Linear Regression Algorithm in Cluster Environment

abstract: Cluster computing was introduced to replace the superiority of super computers. Cluster computing is able to overcome the problems that cannot be effectively dealt with supercomputers. In this paper, we are going to evaluate the performance of cluster computing by executing one of data mining techniques in the cluster environment. The experiment will attempt to predict the flight delay by using linear regression algorithm with apache spark as a framework for cluster computing. The result shows that, by involving 5 PCs in cluster environment with equal specifications can increase the performance of computation up to 39.76% compared to the standalone one. Attaching more nodes to the cluster can make the process become faster significantly.


title: On some $p$-differential graded link homologies

abstract: We show that the triply graded Khovanov-Rozansky homology of knots and links over a field of positive odd characteristic $p$ descends to an invariant in the homotopy category finite-dimensional $p$-complexes. A $p$-extended differential on the triply graded homology discovered by Cautis is compatible with the $p$-DG structure. As a consequence we get a categorification of the Jones polynomial evaluated at an odd prime root of unity


title: Phosphine on Venus Cannot be Explained by Conventional Processes

abstract: The recent candidate detection of ~1 ppb of phosphine in the middle atmosphere of Venus is so unexpected that it requires an exhaustive search for explanations of its origin. Phosphorus-containing species have not been modelled for Venus' atmosphere before and our work represents the first attempt to model phosphorus species in the Venusian atmosphere. We thoroughly explore the potential pathways of formation of phosphine in a Venusian environment, including in the planet's atmosphere, cloud and haze layers, surface, and subsurface. We investigate gas reactions, geochemical reactions, photochemistry, and other non-equilibrium processes. None of these potential phosphine production pathways are sufficient to explain the presence of ppb phosphine levels on Venus. If PH3's presence in Venus' atmosphere is confirmed, it therefore is highly likely to be the result of a process not previously considered plausible for Venusian conditions. The process could be unknown geochemistry, photochemistry, or even aerial microbial life, given that on Earth phosphine is exclusively associated with anthropogenic and biological sources. The detection of phosphine adds to the complexity of chemical processes in the Venusian environment and motivates in situ follow up sampling missions to Venus. Our analysis provides a template for investigation of phosphine as a biosignature on other worlds.


title: Swift unveils the orbital period of IGR J18214-1318

abstract: We analysed 13 years of the Neil Gehrels Swift Observatory survey data collected on the High Mass X-ray Binary IGR J18214-1318. Performing the timing analysis we detected a periodic signal of 5.42 d. From the companion star characteristics we derived an average orbital separation of $\sim 41 \rm R_{\odot}\simeq 2 R_{\star}$. The spectral type of the companion star (O9) and the tight orbital separation suggest that IGR~J18214-1318 is a wind accreting source with eccentricity lower than 0.17. The intensity profile folded at the orbital period shows a deep minimum compatible with an eclipse of the source by the companion star. In addition, we report on the broad-band 0.6--100 keV spectrum using data from XMM-Newton, NuSTAR, and Swift, applying self-consistent physical models. We find that the spectrum is well fitted either by a pure thermal Comptonization component, or, assuming that the source is a neutron star accreting above the critical regime, by a combined thermal and bulk-motion Comptonization model. In both cases, the presence of a local neutral absorption (possibly related to the thick wind of the companion star) is required.


title: Designing experiments for estimating an appropriate outlet size for a silo type problem

abstract: The problem of jam formation during the discharge by gravity of granular material through a two-dimensional silo has a number of practical applications. In many problems the estimation of the minimum outlet size which guarantees that the time to the next jamming event is long enough is crucial. Assuming that the time is modeled by an exponential distribution with two unknown parameters, this goal translates to the optimal estimation of a non-linear transformation of the parameters. We obtain $c$-optimum experimental designs with that purpose, applying the graphic Elfving method. Since the optimal designs depend on the nominal values of the parameters, a sensitivity study is additionally provided. Finally, a simulation study checks the performance of the approximations made, first with the Fisher Information matrix, then with the linearization of the function to be estimated. The results are useful for experimenting in a laboratory and translating then the results to a larger scenario. Apart from the application a general methodology is developed in the paper for the problem of precise estimation of a one-dimensional parametric transformation in a non-linear model.


title: A Study of Human Gaze Behavior During Visual Crowd Counting

abstract: In this paper, we describe our study on how humans allocate their attention during visual crowd counting. Using an eye tracker, we collect gaze behavior of human participants who are tasked with counting the number of people in crowd images. Analyzing the collected gaze behavior of ten human participants on thirty crowd images, we observe some common approaches for visual counting. For an image of a small crowd, the approach is to enumerate over all people or groups of people in the crowd, and this explains the high level of similarity between the fixation density maps of different human participants. For an image of a large crowd, our participants tend to focus on one section of the image, count the number of people in that section, and then extrapolate to the other sections. In terms of count accuracy, our human participants are not as good at the counting task, compared to the performance of the current state-of-the-art computer algorithms. Interestingly, there is a tendency to under count the number of people in all crowd images. Gaze behavior data and images can be downloaded from https://www3.cs.stonybrook.edu/~minhhoai/projects/crowd_counting_gaze/.


title: Two Planets Straddling the Habitable Zone of The Nearby K Dwarf Gl 414A

abstract: We present the discovery of two planets orbiting the nearby (D=11.9 pc) K7 dwarf Gl 414A. Gl 414A b is a sub-Neptune mass planet with M$_b \sin{i_b} = 9.28^{+3.19}_{-2.54}$ M$_\oplus$ and a semi-major axis of 0.24 $\pm$ 0.01 au. Gl 414A c is a sub-Saturn mass planet with $M_c \sin{i_c} = 59.48^{+9.98}_{-9.69}$ M$_\oplus$ and a semi-major axis of 1.43 $\pm$ 0.06 au. We jointly analyzed radial velocity data from Keck/HIRES and the Automated Planet Finder at Lick Observatory, as well as photometric data from KELT, to detect the two planets as well as two additional signals related to the rotationally-modulated activity and the long term magnetic activity cycle of the star. The outer planet in this system may be a potential candidate for future direct imaging missions.


title: Filling the Gap of Utterance-aware and Speaker-aware Representation for Multi-turn Dialogue

abstract: A multi-turn dialogue is composed of multiple utterances from two or more different speaker roles. Thus utterance- and speaker-aware clues are supposed to be well captured in models. However, in the existing retrieval-based multi-turn dialogue modeling, the pre-trained language models (PrLMs) as encoder represent the dialogues coarsely by taking the pairwise dialogue history and candidate response as a whole, the hierarchical information on either utterance interrelation or speaker roles coupled in such representations is not well addressed. In this work, we propose a novel model to fill such a gap by modeling the effective utterance-aware and speaker-aware representations entailed in a dialogue history. In detail, we decouple the contextualized word representations by masking mechanisms in Transformer-based PrLM, making each word only focus on the words in current utterance, other utterances, two speaker roles (i.e., utterances of sender and utterances of receiver), respectively. Experimental results show that our method boosts the strong ELECTRA baseline substantially in four public benchmark datasets, and achieves various new state-of-the-art performance over previous methods. A series of ablation studies are conducted to demonstrate the effectiveness of our method.


title: Utility-Optimized Synthesis of Differentially Private Location Traces

abstract: Differentially private location trace synthesis (DPLTS) has recently emerged as a solution to protect mobile users' privacy while enabling the analysis and sharing of their location traces. A key challenge in DPLTS is to best preserve the utility in location trace datasets, which is non-trivial considering the high dimensionality, complexity and heterogeneity of datasets, as well as the diverse types and notions of utility. In this paper, we present OptaTrace: a utility-optimized and targeted approach to DPLTS. Given a real trace dataset D, the differential privacy parameter epsilon controlling the strength of privacy protection, and the utility/error metric Err of interest; OptaTrace uses Bayesian optimization to optimize DPLTS such that the output error (measured in terms of given metric Err) is minimized while epsilon-differential privacy is satisfied. In addition, OptaTrace introduces a utility module that contains several built-in error metrics for utility benchmarking and for choosing Err, as well as a front-end web interface for accessible and interactive DPLTS service. Experiments show that OptaTrace's optimized output can yield substantial utility improvement and error reduction compared to previous work.


title: Modeling the quasiperiodic radial velocity variations of gamma Draconis

abstract: gamma Draconis, a K5III star, showed radial velocity (RV) variations consistent with a 10.7 Jupiter mass planet from 2003-2011. After 2011, the periodic signal decayed, then reappeared with a phase shift. Hatzes et al. (2018) suggested that gamma Dra's RV variations could come from oscillatory convective modes, but did not fit a mathematical model. Here we assess whether a quasi-periodic Gaussian process (GP)---appropriate when spots with finite lifetimes trace underlying periodicity---can explain the RVs. We find that a model with only one quasiperiodic signal is not adequate: we require a second component to fit the data. The best-fit model has quasi-periodic oscillations with P1 = 705 days and P2 = 15 days. The 705-day signal may be caused by magnetic activity. The 15-day period requires further investigation.


title: Multipole conservation laws and subdiffusion in any dimension

abstract: Subdiffusion is a generic feature of chaotic many-body dynamics with multipole conservation laws and subsystem symmetries. We numerically study this subdiffusive dynamics, using quantum automaton random unitary circuits, in a broad range of models including one dimensional models with dipole and quadrupole conservation, two dimensional models with dipole conservation, and two dimensional models with subsystem symmetry on the triangular lattice. Our results are in complete agreement with recent hydrodynamic predictions for such theories.


title: Path integrals and nonlinear optical tweezers

abstract: We use path integrals to calculate perturbative corrections to the correlation function of a particle under the action of nonlinear optical tweezers, both in the overdamped and underdamped regimes. In both cases, it is found that to leading order nonlinearities manifest as shifts in the characteristic frequency of the system. The results are compared to numerical simulations. The present calculations enable a direct experimental method to access the nonlinear optical trap parameters by analyzing position data, similarly to standard harmonic tweezers.


title: Regularization for the inversion of Fibre Bragg Grating spectra

abstract: Fibre Bragg Gratings have become widespread measurement devices in engineering and other fields of application. In all but a few cases, the relation between cause and effect is simplified to a proportional model. However, at its mathematical core lies a nonlinear inverse problem which appears not to have received much attention in the literature. In this paper, we present this core problem to the mathematical community and provide a first report on opportunities and limitations of a regularization approach. In particular, we show that difficulties arise from non-uniqueness and the absence of established parameter selection rules for nonlinear inverse problems with multiple regularization parameters. Nevertheless, the paper takes a first step toward extracting more information from a single FBG measurement.


title: At your Command! An Empirical Study on How LaypersonsTeach Robots New Functions

abstract: Even though intelligent systems such as Siri or Google Assistant are enjoyable (and useful) dialog partners, users can only access predefined functionality. Enabling end-users to extend the functionality of intelligent systems will be the next big thing. To promote research in this area we carried out an empirical study on how laypersons teach robots new functions by means of natural language instructions. The result is a labeled corpus consisting of 3168 submissions given by 870 subjects. The analysis of the dataset revealed that many participants used certain wordings to express their wish to teach new functionality; two corresponding trigrams are among the most frequent. On the contrary, more than one third (36.93%) did not verbalize the teaching intent at all. We labeled the semantic constituents in the utterances: declaration (including the name of the function) and intermediate steps. The full corpus is publicly available: http://dx.doi.org/10.21227/zecn-6c61


title: Loops in dS/CFT

abstract: We consider the semi-classical expansion of the Bunch-Davies wavefunction with future boundary condition in position space for a real scalar field, conformally coupled to a classical de Sitter background in the expanding Poincar\'e patch with quartic selfinteraction. In the future boundary limit the wave function takes the form of the generating functional of a Euclidean conformal field theory for which we calculate the anomalous dimensions of the double trace deformations at one loop order using results obtained from Euclidean Anti de Sitter space. We find analytic expressions for some subleading twist operators and an algorithm to obtain expressions for general twist.


title: Bounds and Code Constructions for Partially Defect Memory Cells

abstract: This paper considers coding for so-called partially stuck memory cells. Such memory cells can only store partial information as some of their levels cannot be used due to, e.g., wear out. First, we present a new code construction for masking such partially stuck cells while additionally correcting errors. This construction (for cells with $q >2$ levels) is achieved by generalizing an existing masking-only construction in [1] (based on binary codes) to correct errors as well. Compared to previous constructions in [2], our new construction achieves larger rates for many sets of parameters. Second, we derive a sphere-packing (any number of $u$ partially stuck cells) and a Gilbert-Varshamov bound ($u<q$ partially stuck cells) for codes that can mask a certain number of partially stuck cells and correct errors additionally. A numerical comparison between the new bounds and our previous construction of PSMCs for the case $u<q$ in [2] shows that our construction lies above the Gilbert-Varshamov-like bound for several code parameters.


title: Well-posedness of the MHD boundary layer system in Gevrey function space without Structural Assumption

abstract: We establish the well-posedness of the MHD boundary layer system in Gevrey function space without any structural assumption. Compared to the classical Prandtl equation, the loss of tangential derivative comes from both the velocity and magnetic fields that are coupled with each other. By observing a new type of cancellation mechanism in the system for overcoming the loss derivative degeneracy, we show that the MHD boundary layer system is well-posed with Gevrey index up to $3/2$ in both two and three dimensional spaces.


title: Exploring non-perturbative Sudakov factor via $Z^0$-boson production in $pp$ collisions

abstract: $Z^0$-boson production at low transverse momentum offers an unique opportunity to explore the non-perturbative Sudakov factor. In this paper, we employ three parameterizations of the non-perturbative Sudakov factor to calculate the $\phi^*$-distribution and compare our results with the ultra precise experimental data. We extract the free parameters in each parameterization with a $\chi^2$ analysis. The parton-momentum-fraction dependence of these free parameters is also studied by comparing the values extracted at different collision energies and different rapidity ranges.


title: Normal and tangent maps to frontals

abstract: The notion of frontals in Euclidean space is introduced and the normal and tangent maps to frontals are studied for both geometrical and dynamical aspects of frontals. Moreover we observe that parallels of the tangent map to a frontal curve is right equivalent to the tangent map of a frontal curve under some natural conditions.


title: Justicia: A Stochastic SAT Approach to Formally Verify Fairness

abstract: As a technology ML is oblivious to societal good or bad, and thus, the field of fair machine learning has stepped up to propose multiple mathematical definitions, algorithms, and systems to ensure different notions of fairness in ML applications. Given the multitude of propositions, it has become imperative to formally verify the fairness metrics satisfied by different algorithms on different datasets. In this paper, we propose a stochastic satisfiability (SSAT) framework, Justicia, that formally verifies different fairness measures of supervised learning algorithms with respect to the underlying data distribution. We instantiate Justicia on multiple classification and bias mitigation algorithms, and datasets to verify different fairness metrics, such as disparate impact, statistical parity, and equalized odds. Justicia is scalable, accurate, and operates on non-Boolean and compound sensitive attributes unlike existing distribution-based verifiers, such as FairSquare and VeriFair. Being distribution-based by design, Justicia is more robust than the verifiers, such as AIF360, that operate on specific test samples. We also theoretically bound the finite-sample error of the verified fairness measure.


title: Screening anisotropy via energy-momentum squared gravity: $\Lambda$CDM model with hidden anisotropy

abstract: We construct a generalization of the standard $\Lambda$CDM model, wherein we simultaneously replace the spatially flat Robertson-Walker metric with its simplest anisotropic generalization (LRS Bianchi I metric), and couple the cold dark matter to the gravity in accordance with the energy-momentum squared gravity (EMSG) of the form $f(T_{\mu\nu}T^{\mu\nu})\propto T_{\mu\nu}T^{\mu\nu}$. These two modifications -- namely, two new stiff fluid-like terms of different nature -- can mutually cancel out, i.e., the shear scalar can be screened completely, and reproduce mathematically exactly the same Friedmann equation of the standard $\Lambda$CDM model. This evades the BBN limits on the anisotropy, and thereby provides an opportunity to manipulate the cosmic microwave background quadrupole temperature fluctuation at the desired amount. We further discuss the consequences of the model on the very early times and far future of the Universe. This study presents also an example of that the EMSG of the form $f(T_{\mu\nu}T^{\mu\nu})\propto T_{\mu\nu}T^{\mu\nu}$, as well as similar type other constructions, is not necessarily relevant only to very early Universe but may even be considered in the context of a major problem of the current cosmology related to the present-day Universe, the so-called $H_0$ problem.


title: Global propagation of massive quantum fields in the plane gravitational waves and electromagnetic backgrounds

abstract: The behavior of massive quantum fields in the general plane wave spacetime and external, non-plane, electromagnetic waves is studied. The asymptotic conditions, the "in" ("out") states and the cross sections are analysed. It is observed that, despite of the singularities encountered, the global form of these states can be obtained: at the singular points the Dirac delta-like behavior emerges and there is a discrete change of phase of the wave function after passing through each singular point. The relations between these phase corrections and local charts are discussed. Some examples of waves of infinite range (including the circularly polarized ones) are presented for which the explicit form of solutions can be obtained. All these results concern both the scalar as well as spin one-half fields; in the latter case the change of the spin polarization after the general sandwich wave has passed is studied.


title: Analysis of a mixed discontinuous Galerkin method for the time-harmonic Maxwell equations with minimal smoothness requirements

abstract: An error analysis of a mixed discontinuous Galerkin (DG) method with Brezzi numerical flux for the time-harmonic Maxwell equations with minimal smoothness requirements is presented. The key difficulty in the error analysis for the DG method is that the tangential or normal trace of the exact solution is not well-defined on the mesh faces of the computational mesh. We overcome this difficulty by two steps. First, we employ a lifting operator to replace the integrals of the tangential/normal traces on mesh faces by volume integrals. Second, optimal convergence rates are proven by using smoothed interpolations that are well-defined for merely integrable functions. As a byproduct of our analysis, an explicit and easily computable stabilization parameter is given.


title: A Systematic Literature Review on the Use of Deep Learning in Software Engineering Research

abstract: An increasingly popular set of techniques adopted by software engineering (SE) researchers to automate development tasks are those rooted in the concept of Deep Learning (DL). The popularity of such techniques largely stems from their automated feature engineering capabilities, which aid in modeling software artifacts. However, due to the rapid pace at which DL techniques have been adopted, it is difficult to distill the current successes, failures, and opportunities of the current research landscape. In an effort to bring clarity to this crosscutting area of work, from its modern inception to the present, this paper presents a systematic literature review of research at the intersection of SE & DL. The review canvases work appearing in the most prominent SE and DL conferences and journals and spans 128 papers across 23 unique SE tasks. We center our analysis around the components of learning, a set of principles that govern the application of machine learning techniques (ML) to a given problem domain, discussing several aspects of the surveyed work at a granular level. The end result of our analysis is a research roadmap that both delineates the foundations of DL techniques applied to SE research, and highlights likely areas of fertile exploration for the future.


title: Optimal market making under partial information and numerical methods for impulse control games with applications

abstract: The topics treated in this thesis are inherently two-fold. The first part considers the problem of a market maker optimally setting bid/ask quotes over a finite time horizon, to maximize her expected utility. The intensities of the orders she receives depend not only on the spreads she quotes, but also on unobservable factors modelled by a hidden Markov chain. This stochastic control problem under partial information is solved by means of stochastic filtering, control and PDMPs theory. The value function is characterized as the unique continuous viscosity solution of its dynamic programming equation and numerically compared with its full information counterpart. The optimal full information spreads are shown to be biased when the exact market regime is unknown, as the market maker needs to adjust for additional regime uncertainty in terms of PnL sensitivity and observable order flow volatility. The second part deals with numerically solving nonzero-sum stochastic impulse control games. These offer a realistic and far-reaching modelling framework, but the difficulty in solving such problems has hindered their proliferation. A policy-iteration-type solver is proposed to solve an underlying system of quasi-variational inequalities, and it is validated numerically with reassuring results. Eventually, the focus is put on games with a symmetric structure and an improved algorithm is put forward. A rigorous convergence analysis is undertaken with natural assumptions on the players strategies, which admit graph-theoretic interpretations in the context of weakly chained diagonally dominant matrices. The algorithm is used to compute with high precision equilibrium payoffs and Nash equilibria of otherwise too challenging problems, and even some for which results go beyond the scope of the currently available theory.

categories: math.OC cs.NA econ.GN math.NA q-fin.EC q-fin.TR


title: ColVis: Collaborative Visualization Design Workshops for Diverse User Groups

abstract: Understanding different types of users' needs can even be more critical in today's data visualization field, as exploratory visualizations for novice users are becoming more widespread with an increasing amount of data sources. The complexity of data-driven projects requires input from including interdisciplinary expert and novice users. Our workshop framework helps taking design decisions collaboratively with experts and novice users, on different levels such as outlining users and goals, identifying tasks, structuring data, and creating data visualization ideas. We conducted workshops for two different data visualization projects. For each project, we conducted a workshop with project stakeholders who are domain experts, then a second workshop with novice users. We collected feedback from participants and used critical reflection on the process. Later on, we created recommendations on how this workshop structure can be used by others. Our main contributions are, (1) the workshop framework for designing data visualizations, (2) describing the outcomes and lessons learned from multiple workshops.


title: On construction of a global numerical solution for a semilinear singularly--perturbed reaction diffusion boundary value problem

abstract: A class of different schemes for the numerical solving of semilinear singularly--perturbed reaction--diffusion boundary--value problems was constructed. The stability of the difference schemes was proved, and the existence and uniqueness of a numerical solution were shown. After that, the uniform convergence with respect to a perturbation parameter $\varepsilon$ on a modified Shishkin mesh of order 2 has been proven. For such a discrete solution, a global solution based on a linear spline was constructed, also the error of this solution is in expected boundaries. Numerical experiments at the end of the paper, confirm the theoretical results. The global solutions based on a natural cubic spline, and the experiments with Liseikin, Shishkin and modified Bakhvalov meshes are included in the numerical experiments as well.


title: Necessary and sufficient condition for hysteresis in the mathematical model of the cell type regulation of Bacillus subtilis

abstract: The key to a robust life system is to ensure that each cell population is maintained in an appropriate state. In this work, a mathematical model was used to investigate the control of the switching between the migrating and non-migrating states of the Bacillus subtilis cell population. In this case, the motile cells and matrix producers were the predominant cell types in the migrating cell population and non-migrating state, respectively, and could be suitably controlled according to the environmental conditions and cell density information. A minimal smooth model consisting of four ordinary differential equations was used as the mathematical model to control the B. subtilis cell types. Furthermore, the necessary and sufficient conditions for the hysteresis, which pertains to the change in the pheromone concentration, were clarified. In general, the hysteretic control of the cell state enables stable switching between the migrating and growth states of the B. subtilis cell population, thereby facilitating the biofilm life cycle. The results of corresponding culture experiments were examined, and the obtained corollaries were used to develop a model to input environmental conditions, especially, the external pH. On this basis, the environmental conditions were incorporated in a simulation model for the cell type control. In combination with a mathematical model of the cell population dynamics, a prediction model for colony growth involving multiple cell states, including concentric circular colonies of B. subtilis, could be established.


title: IIB matrix model and regularized big bang

abstract: The large-$N$ master field of the Lorentzian IIB matrix model can, in principle, give rise to a particular degenerate metric relevant to a regularized big bang. The length parameter of this degenerate metric is then calculated in terms of the IIB-matrix-model length scale.


title: Accessibility evaluation of websites using WCAG tools and Cambridge Simulator

abstract: There is plethora of tools available for automatic evaluation of web accessibility with respect to WCAG. This paper compares a set of WCAG tools and their results in terms of ease of comprehension and implementation by web developers. The paper highlights accessibility issues that cannot be captured only through conformance to WCAG tools and propose additional methods to evaluate accessibility through an Inclusive User Model. We initially selected ten WCAG tools from W3 website and used a set of these tools on the landing pages of BBC and WHO websites. We compared their outcome in terms of commonality, differences, amount of details and usability. Finally, we briefly introduced the Inclusive User Model and demonstrated how simulation of user interaction can capture usability and accessibility issues that are not detected through WCAG analysis. The paper concludes with a proposal on a Common User Profile format that can be used to compare and contrast accessibility systems and services, and to simulate and personalize interaction for users with different range of abilities.


title: Adaptive Methods for Short-Term Electricity Load Forecasting During COVID-19 Lockdown in France

abstract: The coronavirus disease 2019 (COVID-19) pandemic has urged many governments in the world to enforce a strict lockdown where all nonessential businesses are closed and citizens are ordered to stay at home. One of the consequences of this policy is a significant change in electricity consumption patterns. Since load forecasting models rely on calendar or meteorological information and are trained on historical data, they fail to capture the significant break caused by the lockdown and have exhibited poor performances since the beginning of the pandemic. This makes the scheduling of the electricity production challenging, and has a high cost for both electricity producers and grid operators. In this paper we introduce adaptive generalized additive models using Kalman filters and fine-tuning to adjust to new electricity consumption patterns. Additionally, knowledge from the lockdown in Italy is transferred to anticipate the change of behavior in France. The proposed methods are applied to forecast the electricity demand during the French lockdown period, where they demonstrate their ability to significantly reduce prediction errors compared to traditional models. Finally expert aggregation is used to leverage the specificities of each predictions and enhance results even further.


title: Exotic states of matter in an oscillatory driven liquid crystal cell

abstract: Matter under different equilibrium conditions of pressure and temperature exhibits different states such as solid, liquid, gas, and plasma. Exotic states of matter, such as Bose- Einstein condensates, superfluidity, chiral magnets, superconductivity, and liquid crystalline blue phases are observed in thermodynamic equilibrium. Rather than being a result of an aggregation of matter, their emergence is due to a change of a topological state of the system. Here we investigate topological states of matter in a system with injection and dissipation of energy. In an experiment involving a liquid crystal cell under the influence of a low-frequency oscillatory electric field, we observe a transition from non-vortex state to a state in which vortices persist. Depending on the period and the type of the forcing, the vortices self-organise forming square lattices, glassy states, and disordered vortex structures. Based on a stochastic amplitude equation, we recognise the origin of the transition as the balance between stochastic creation and deterministic annihilation of vortices. Our results show that the matter maintained out of equilibrium by means of the temporal modulation of parameters can exhibit exotic states.


title: Improving Inversion and Generation Diversity in StyleGAN using a Gaussianized Latent Space

abstract: Modern Generative Adversarial Networks are capable of creating artificial, photorealistic images from latent vectors living in a low-dimensional learned latent space. It has been shown that a wide range of images can be projected into this space, including images outside of the domain that the generator was trained on. However, while in this case the generator reproduces the pixels and textures of the images, the reconstructed latent vectors are unstable and small perturbations result in significant image distortions. In this work, we propose to explicitly model the data distribution in latent space. We show that, under a simple nonlinear operation, the data distribution can be modeled as Gaussian and therefore expressed using sufficient statistics. This yields a simple Gaussian prior, which we use to regularize the projection of images into the latent space. The resulting projections lie in smoother and better behaved regions of the latent space, as shown using interpolation performance for both real and generated images. Furthermore, the Gaussian model of the distribution in latent space allows us to investigate the origins of artifacts in the generator output, and provides a method for reducing these artifacts while maintaining diversity of the generated images.


title: A Game Theoretic Analysis of Additive Adversarial Attacks and Defenses

abstract: Research in adversarial learning follows a cat and mouse game between attackers and defenders where attacks are proposed, they are mitigated by new defenses, and subsequently new attacks are proposed that break earlier defenses, and so on. However, it has remained unclear as to whether there are conditions under which no better attacks or defenses can be proposed. In this paper, we propose a game-theoretic framework for studying attacks and defenses which exist in equilibrium. Under a locally linear decision boundary model for the underlying binary classifier, we prove that the Fast Gradient Method attack and the Randomized Smoothing defense form a Nash Equilibrium. We then show how this equilibrium defense can be approximated given finitely many samples from a data-generating distribution, and derive a generalization bound for the performance of our approximation.


title: Causal cosmology with braneworld gravity including Gauss Bonnet coupling

abstract: Causal cosmological evolutions in Randall Sundrum type II (RS) braneworld gravity with Gauss Bonnet coupling and dissipative effects are discussed here. Causal theory of dissipative effects are illustrated by Full Israel Stewart theory are implemented. We consider the numerical solutions of evolutions and analytic solutions as a special case for extremely non-linear field equation in Randall Sundrum type II braneworld gravity with Gauss Bonnet coupling. Cosmological models admitting Power law expansion, Exponential expansion and evolution in the vicinity of the stationary solution of the universe are investigated for Full Israel Stewart theory. Stability of equilibrium or fixed points related to the dynamics of evolution in Full Israel Stewart theory in Randall Sundrum type II braneworld gravity together with Gauss Bonnet coupling are disclosed here.


title: An Energy-efficient Wireless Neural Recording System with Compressed Sensing and Encryption

abstract: This paper presents a wireless neural recording system featuring energy-efficient data compression and encryption. An ultra-high efficiency is achieved by leveraging compressed sensing (CS) for simultaneous data compression and encryption. CS enables sub-Nyquist sampling of neural signals by taking advantage of its intrinsic sparsity. It simultaneously encrypts the data with the sampling matrix being the cryptographic key. To share the key over an insecure wireless channel, we implement an elliptic-curve cryptography (ECC) based key exchanging protocol. The CS operation is executed in a custom-designed IC fabricated in 180nm CMOS technology. Mixed-signal circuits are designed to optimize the power efficiency of the matrix-vector multiplication (MVM) of the CS operation. The ECC algorithm is implemented in a low-power Cortex-M0 microcontroller (MCU). To be protected from timing and power analysis attacks, the implementation avoids possible data-dependent branches and also employs a randomized ECC initialization. At a compression ratio of 8x, the average correlated coefficient between the reconstructed signals and the uncompressed signals is 0.973, while the ciphertext-only attacks (CoA) achieve no better than 0.054 over 200,000 attacks. The prototype achieves a 35x power saving compared with conventional implementation in low-power MCUs. This work demonstrates a promising solution for future chronic neural recording systems with requirements in high energy efficiency and security.


title: Development of a general-purpose machine-learning interatomic potential for aluminum by the physically-informed neural network method

abstract: Abstract Interatomic potentials constitute the key component of large-scale atomistic simulations of materials. The recently proposed physically-informed neural network (PINN) method combines a high-dimensional regression implemented by an artificial neural network with a physics-based bond-order interatomic potential applicable to both metals and nonmetals. In this paper, we present a modified version of the PINN method that accelerates the potential training process and further improves the transferability of PINN potentials to unknown atomic environments. As an application, a modified PINN potential for Al has been developed by training on a large database of electronic structure calculations. The potential reproduces the reference first-principles energies within 2.6 meV per atom and accurately predicts a wide spectrum of physical properties of Al. Such properties include, but are not limited to, lattice dynamics, thermal expansion, energies of point and extended defects, the melting temperature, the structure and dynamic properties of liquid Al, the surface tensions of the liquid surface and the solid-liquid interface, and the nucleation and growth of a grain boundary crack. Computational efficiency of PINN potentials is also discussed.


title: Encoder-decoder neural network for solving the nonlinear Fokker-Planck-Landau collision operator in XGC

abstract: An encoder-decoder neural network has been used to examine the possibility for acceleration of a partial integro-differential equation, the Fokker-Planck-Landau collision operator. This is part of the governing equation in the massively parallel particle-in-cell code, XGC, which is used to study turbulence in fusion energy devices. The neural network emphasizes physics-inspired learning, where it is taught to respect physical conservation constraints of the collision operator by including them in the training loss, along with the L2 loss. In particular, network architectures used for the computer vision task of semantic segmentation have been used for training. A penalization method is used to enforce the "soft" constraints of the system and integrate error in the conservation properties into the loss function. During training, quantities representing the density, momentum, and energy for all species of the system is calculated at each configuration vertex, mirroring the procedure in XGC. This simple training has produced a median relative loss, across configuration space, on the order of 10E-04, which is low enough if the error is of random nature, but not if it is of drift nature in timesteps. The run time for the Picard iterative solver of the operator scales as order n squared, where n is the number of plasma species. As the XGC1 code begins to attack problems including a larger number of species, the collision operator will become expensive computationally, making the neural network solver even more important, since the training only scales as n. A wide enough range of collisionality is considered in the training data to ensure the full domain of collision physics is captured. An advanced technique to decrease the losses further will be discussed, which will be subject of a subsequent report. Eventual work will include expansion of the network to include multiple plasma species.


title: Calculation of permanent magnet arrangements for stellarators: A linear least-squares method

abstract: A problem arising in several engineering areas is to design magnets outside a volume that produce a desired magnetic field inside it. One instance of this problem is stellarator design, where it has recently been shown that permanent magnets can provide the required shaping of the magnetic field. Here we demonstrate a robust and efficient algorithm REGCOIL_PM to calculate the spatial distribution of these permanent magnets. The procedure involves a small number of fixed-point iterations, with a linear least-squares problem solved at each step. The method exploits the Biot-Savart Law's exact linearity in magnetization density and approximate linearity in magnet size, for magnets far from the target region. No constraint is placed on the direction of magnetization, so Halbach solutions are found naturally, and the magnitude of the magnetization can be made uniformly equal to a target value.


title: On efficient asymptotic modelling of thin films on thermally conductive substrates

abstract: We consider a free surface thin film placed on a thermally conductive substrate and exposed to an external heat source in a setup where the heat absorption depends on the local film thickness. Our focus is on modeling film evolution while the film is molten. The evolution of the film modifies local heat flow, which in turn may influence the film surface evolution through thermal variation of the film's material properties. Thermal conductivity of the substrate plays an important role in determining the heat flow and the temperature field in the evolving film and in the substrate itself. In order to reach a tractable formulation, we use asymptotic analysis to develop a novel thermal model that is accurate, computationally efficient, and that accounts for the heat flow in both the in-plane and out-of plane directions. We apply this model to metal films of nanoscale thickness exposed to heating and melting by laser pulses, a setup commonly used for self and directed assembly of various metal geometries via dewetting while the films are in the liquid phase. We find that thermal effects play an important role, and in particular that the inclusion of temperature dependence in the metal viscosity modifies the time scale of the evolution significantly. On the other hand, in the considered setup the Marangoni (thermocapillary) effect turns out to be insignificant.


title: Shear-Driven Transition to Isotropically Turbulent Solar Wind Outside the Alfven Critical Zone

abstract: Motivated by prior remote observations of a transition from striated solar coronal structures to more isotropic ``flocculated'' fluctuations, we propose that the dynamics of the inner solar wind just outside the Alfv\'en critical zone, and in the vicinity of the first $\beta=1$ surface, is powered by the relative velocities of adjacent coronal magnetic flux tubes. We suggest that large amplitude flow contrasts are magnetically constrained at lower altitude but shear-driven dynamics are triggered as such constraints are released above the Alfv\'en critical zone, as suggested by global magnetohydrodynamic (MHD) simulations that include self-consistent turbulence transport. We argue that this dynamical evolution accounts for features observed by {\it Parker Solar Probe} ({\it PSP}) near initial perihelia, including magnetic ``switchbacks'', and large transverse velocities that are partially corotational and saturate near the local Alfv\'en speed. Large-scale magnetic increments are more longitudinal than latitudinal, a state unlikely to originate in or below the lower corona. We attribute this to preferentially longitudinal velocity shear from varying degrees of corotation. Supporting evidence includes comparison with a high Mach number three-dimensional compressible MHD simulation of nonlinear shear-driven turbulence, reproducing several observed diagnostics, including characteristic distributions of fluctuations that are qualitatively similar to {\it PSP} observations near the first perihelion. The concurrence of evidence from remote sensing observations, {\it in situ} measurements, and both global and local simulations supports the idea that the dynamics just above the Alfv\'en critical zone boost low-frequency plasma turbulence to the level routinely observed throughout the explored solar system.


title: Answering Multi-Dimensional Range Queries under Local Differential Privacy

abstract: In this paper, we tackle the problem of answering multi-dimensional range queries under local differential privacy. There are three key technical challenges: capturing the correlations among attributes, avoiding the curse of dimensionality, and dealing with the large domains of attributes. None of the existing approaches satisfactorily deals with all three challenges. Overcoming these three challenges, we first propose an approach called Two-Dimensional Grids (TDG). Its main idea is to carefully use binning to partition the two-dimensional (2-D) domains of all attribute pairs into 2-D grids that can answer all 2-D range queries and then estimate the answer of a higher dimensional range query from the answers of the associated 2-D range queries. However, in order to reduce errors due to noises, coarse granularities are needed for each attribute in 2-D grids, losing fine-grained distribution information for individual attributes. To correct this deficiency, we further propose Hybrid-Dimensional Grids (HDG), which also introduces 1-D grids to capture finer-grained information on distribution of each individual attribute and combines information from 1-D and 2-D grids to answer range queries. To make HDG consistently effective, we provide a guideline for properly choosing granularities of grids based on an analysis of how different sources of errors are impacted by these choices. Extensive experiments conducted on real and synthetic datasets show that HDG can give a significant improvement over the existing approaches.


title: Identifying strong gravitational-wave lensing during the second observing run of Advanced LIGO and Advanced Virgo

abstract: We perform Bayesian model selection with parameter estimation to identify potentially lensed gravitational-wave images from the second observing run (O2) of Advanced LIGO and Advanced Virgo. Specifically, we compute the Bayesian evidence for a pair of events being lensed or not lensed (unlensed) using nested sampling. We consider the discrete coalescence phase shifts that can be induced if the gravitational-wave signal interacts with the lens caustics in the model selection. We find that the pair of events, GW170104 and GW170814 with a $\pi/2$ coalescence phase shift, has a significant Bayes factor ($B^L_{U}$ $\sim 1.98 \times 10^4$) favoring the lensing hypothesis. However, after taking into account the long time delay of approximately 7 months between events, the timing Bayes factor is significantly small ($B_t \sim 8.7\times10^{-2}$). The prior probability for detecting strongly lensed pairs at O2 sensitivity are exceedingly small for both galaxy and galaxy cluster lensing. Combining the lensing and timing Bayes factors with the prior odds on lensing gives an odds ratio of $O^L_{U} \sim 20$. However, the model dependence of the timing and prior odds factors does not provide strong evidence to demonstrate that the pair is strongly lensed.


title: Optimal Testing of Discrete Distributions with High Probability

abstract: We study the problem of testing discrete distributions with a focus on the high probability regime. Specifically, given samples from one or more discrete distributions, a property $\mathcal{P}$, and parameters $0< \epsilon, \delta <1$, we want to distinguish {\em with probability at least $1-\delta$} whether these distributions satisfy $\mathcal{P}$ or are $\epsilon$-far from $\mathcal{P}$ in total variation distance. Most prior work in distribution testing studied the constant confidence case (corresponding to $\delta = \Omega(1)$), and provided sample-optimal testers for a range of properties. While one can always boost the confidence probability of any such tester by black-box amplification, this generic boosting method typically leads to sub-optimal sample bounds. Here we study the following broad question: For a given property $\mathcal{P}$, can we {\em characterize} the sample complexity of testing $\mathcal{P}$ as a function of all relevant problem parameters, including the error probability $\delta$? Prior to this work, uniformity testing was the only statistical task whose sample complexity had been characterized in this setting. As our main results, we provide the first algorithms for closeness and independence testing that are sample-optimal, within constant factors, as a function of all relevant parameters. We also show matching information-theoretic lower bounds on the sample complexity of these problems. Our techniques naturally extend to give optimal testers for related problems. To illustrate the generality of our methods, we give optimal algorithms for testing collections of distributions and testing closeness with unequal sized samples.


title: Statically Verified Refinements for Multiparty Protocols

abstract: With distributed computing becoming ubiquitous in the modern era, safe distributed programming is an open challenge. To address this, multiparty session types (MPST) provide a typing discipline for message-passing concurrency, guaranteeing communication safety properties such as deadlock freedom. While originally MPST focus on the communication aspects, and employ a simple typing system for communication payloads, communication protocols in the real world usually contain constraints on the payload. We introduce refined multiparty session types (RMPST), an extension of MPST, that express data dependent protocols via refinement types on the data types. We provide an implementation of RMPST, in a toolchain called Session*, using Scribble, a multiparty protocol description toolchain, and targeting F*, a verification-oriented functional programming language. Users can describe a protocol in Scribble and implement the endpoints in F* using refinement-typed APIs generated from the protocol. The F* compiler can then statically verify the refinements. Moreover, we use a novel approach of callback-styled API generation, providing static linearity guarantees with the inversion of control. We evaluate our approach with real world examples and show that it has little overhead compared to a na\"ive implementation, while guaranteeing safety properties from the underlying theory.


title: On the global operator and Fueter mapping theorem for slice polyanalytic functions

abstract: In this paper, we prove that slice polyanalytic functions on quaternions can be considered as solutions of a power of some special global operator with nonconstant coefficients as it happens in the case of slice hyperholomorphic functions. We investigate also an extension version of the Fueter mapping theorem in this polyanalytic setting. In particular, we show that under axially symmetric conditions it is always possible to construct Fueter regular and poly-Fueter regular functions through slice polyanalytic ones using what we call the poly-Fueter mappings. We study also some integral representations of these results on the quaternionic unit ball.


title: A Few Queries Go a Long Way: Information-Distortion Tradeoffs in Matching

abstract: We consider the one-sided matching problem, where n agents have preferences over n items, and these preferences are induced by underlying cardinal valuation functions. The goal is to match every agent to a single item so as to maximize the social welfare. Most of the related literature, however, assumes that the values of the agents are not a priori known, and only access to the ordinal preferences of the agents over the items is provided. Consequently, this incomplete information leads to loss of efficiency, which is measured by the notion of distortion. In this paper, we further assume that the agents can answer a small number of queries, allowing us partial access to their values. We study the interplay between elicited cardinal information (measured by the number of queries per agent) and distortion for one-sided matching, as well as a wide range of well-studied related problems. Qualitatively, our results show that with a limited number of queries, it is possible to obtain significant improvements over the classic setting, where only access to ordinal information is given.


title: Temporal Answer Set Programming

abstract: We present an overview on Temporal Logic Programming under the perspective of its application for Knowledge Representation and declarative problem solving. Such programs are the result of combining usual rules with temporal modal operators, as in Linear-time Temporal Logic (LTL). We focus on recent results of the non-monotonic formalism called Temporal Equilibrium Logic (TEL) that is defined for the full syntax of LTL, but performs a model selection criterion based on Equilibrium Logic, a well known logical characterization of Answer Set Programming (ASP). We obtain a proper extension of the stable models semantics for the general case of arbitrary temporal formulas. We recall the basic definitions for TEL and its monotonic basis, the temporal logic of Here-and-There (THT), and study the differences between infinite and finite traces. We also provide other useful results, such as the translation into other formalisms like Quantified Equilibrium Logic or Second-order LTL, and some techniques for computing temporal stable models based on automata. In a second part, we focus on practical aspects, defining a syntactic fragment called temporal logic programs closer to ASP, and explain how this has been exploited in the construction of the solver TELINGO.


title: On the Calculation of Invariant Tensors in Gauge Theories

abstract: We present an efficient method for finding the independent invariant tensors of a gauge theory. Our method uses a theorem relating invariant tensors and D-flat directions in field space. We apply our method to several examples-- SO(3) with symmetric tensors, SU(2) with a dimension 4 representation, and SU(3) with matter in the sextet-- and find the set of independent invariant tensors in these theories.


title: Carousel Personalization in Music Streaming Apps with Contextual Bandits

abstract: Media services providers, such as music streaming platforms, frequently leverage swipeable carousels to recommend personalized content to their users. However, selecting the most relevant items (albums, artists, playlists...) to display in these carousels is a challenging task, as items are numerous and as users have different preferences. In this paper, we model carousel personalization as a contextual multi-armed bandit problem with multiple plays, cascade-based updates and delayed batch feedback. We empirically show the effectiveness of our framework at capturing characteristics of real-world carousels by addressing a large-scale playlist recommendation task on a global music streaming mobile app. Along with this paper, we publicly release industrial data from our experiments, as well as an open-source environment to simulate comparable carousel personalization learning problems.


title: Accurate Analytic Model for the Weak Lensing Convergence One-Point Probability Distribution Function and its Auto-Covariance

abstract: The one-point probability distribution function (PDF) is a powerful summary statistic for non-Gaussian cosmological fields, such as the weak lensing (WL) convergence reconstructed from galaxy shapes or cosmic microwave background (CMB) maps. Thus far, no analytic model has been developed that successfully describes the high-convergence tail of the WL convergence PDF for small smoothing scales from first principles. Here, we present a halo-model formalism to compute the WL convergence PDF, building upon our previous results for the thermal Sunyaev-Zel'dovich field. Furthermore, we extend our formalism to analytically compute the covariance matrix of the convergence PDF. Comparisons to numerical simulations generally confirm the validity of our formalism in the non-Gaussian, positive tail of the WL convergence PDF, but also reveal the convergence PDF's strong sensitivity to small-scale systematic effects in the simulations (e.g., due to finite resolution). Finally, we present a simple Fisher forecast for a Rubin-Observatory-like survey, based on our new analytic model. Considering the $\{A_s, \Omega_m, \Sigma m_\nu\}$ parameter space and assuming a Planck CMB prior on $A_s$ only, we forecast a marginalized constraint $\sigma(\Sigma m_\nu) \approx 0.08$ eV from the WL convergence PDF alone, even after marginalizing over parameters describing the halo concentration-mass relation. This error bar on the neutrino mass sum is comparable to the minimum value allowed in the normal hierarchy, illustrating the strong constraining power of the WL convergence PDF. We make our code publicly available at https://github.com/leanderthiele/hmpdf.


title: Variance-Reduced Off-Policy Memory-Efficient Policy Search

abstract: Off-policy policy optimization is a challenging problem in reinforcement learning (RL). The algorithms designed for this problem often suffer from high variance in their estimators, which results in poor sample efficiency, and have issues with convergence. A few variance-reduced on-policy policy gradient algorithms have been recently proposed that use methods from stochastic optimization to reduce the variance of the gradient estimate in the REINFORCE algorithm. However, these algorithms are not designed for the off-policy setting and are memory-inefficient, since they need to collect and store a large ``reference'' batch of samples from time to time. To achieve variance-reduced off-policy-stable policy optimization, we propose an algorithm family that is memory-efficient, stochastically variance-reduced, and capable of learning from off-policy samples. Empirical studies validate the effectiveness of the proposed approaches.


title: Beyond Weak Perspective for Monocular 3D Human Pose Estimation

abstract: We consider the task of 3D joints location and orientation prediction from a monocular video with the skinned multi-person linear (SMPL) model. We first infer 2D joints locations with an off-the-shelf pose estimation algorithm. We use the SPIN algorithm and estimate initial predictions of body pose, shape and camera parameters from a deep regression neural network. We then adhere to the SMPLify algorithm which receives those initial parameters, and optimizes them so that inferred 3D joints from the SMPL model would fit the 2D joints locations. This algorithm involves a projection step of 3D joints to the 2D image plane. The conventional approach is to follow weak perspective assumptions which use ad-hoc focal length. Through experimentation on the 3D Poses in the Wild (3DPW) dataset, we show that using full perspective projection, with the correct camera center and an approximated focal length, provides favorable results. Our algorithm has resulted in a winning entry for the 3DPW Challenge, reaching first place in joints orientation accuracy.


title: On strong duality, theorems of the alternative, and projections in conic optimization

abstract: A conic program is the problem of optimizing a linear function over a closed convex cone intersected with an affine preimage of another cone. We analyse three constraint qualifications, namely a Closedness CQ, Slater CQ, and Boundedness CQ (also called Clark-Duffin theorem), that are sufficient for achieving strong duality and show that the first implies the second which implies the third, and also give a more general form of the third CQ for conic problems. Furthermore, two consequences of strong duality are presented, the first being a theorem of the alternative on almost feasibility (also called weak infeasibility), and the second being an explicit description of the projection of conic sets onto linear subspaces, akin to using projection cones for polyhedral sets.


title: Practical randomness amplification and privatisation with implementations on quantum computers

abstract: We present an end-to-end and practical randomness amplification and privatisation protocol based on Bell tests. This allows the building of device-independent random number generators which output (near-)perfectly unbiased and private numbers, even if using an uncharacterised quantum device potentially built by an adversary. Our generation rates are linear in the repetition rate of the quantum device and the classical randomness post-processing has quasi-linear complexity - making it efficient on a standard personal laptop. The statistical analysis is also tailored for real-world quantum devices. Our protocol is then showcased on several different quantum computers. Although not purposely built for the task, we show that quantum computers can run faithful Bell tests by adding minimal assumptions. In this semi-device-independent manner, our protocol generates (near-)perfectly unbiased and private random numbers on today's quantum computers.


title: New time-changes of unipotent flows on quotients of Lorentz groups

abstract: We study the cocompact lattices $\Gamma\subset SO(n,1)$ so that the Laplace-Beltrami operator $\Delta$ on $SO(n)\backslash SO(n,1)/\Gamma$ has eigenvalues in $(0,1/4)$, and then show that there exist time-changes of unipotent flows on $SO(n,1)/\Gamma$ that are not measurably conjugate to the unperturbed ones. A main ingredient of the proof is a stronger version of the branching of the complementary series. Combining it with a refinement of the works of Ratner and Flaminio-Forni is adequate for our purpose.


title: ALMA High-frequency Long-baseline Campaign in 2017: A Comparison of the Band-to-band and In-band Phase Calibration Techniques and Phase-calibrator Separation Angles

abstract: The Atacama Large millimeter/submillimeter Array (ALMA) obtains spatial resolutions of 15 to 5 milli-arcsecond (mas) at 275-950GHz (0.87-0.32mm) with 16km baselines. Calibration at higher-frequencies is challenging as ALMA sensitivity and quasar density decrease. The Band-to-Band (B2B) technique observes a detectable quasar at lower frequency that is closer to the target, compared to one at the target high-frequency. Calibration involves a nearly constant instrumental phase offset between the frequencies and the conversion of the temporal phases to the target frequency. The instrumental offsets are solved with a differential-gain-calibration (DGC) sequence, consisting of alternating low and high frequency scans of strong quasar. Here we compare B2B and in-band phase referencing for high-frequencies ($>$289GHz) using 2-15km baselines and calibrator separation angles between $\sim$0.68 and $\sim$11.65$^{\circ}$. The analysis shows that: (1) DGC for B2B produces a coherence loss $<$7% for DGC phase RMS residuals $<$30$^{\circ}$. (2) B2B images using close calibrators ( $<$1.67$^{\circ}$ ) are superior to in-band images using distant ones ( $>$2.42$^{\circ}$ ). (3) For more distant calibrators, B2B is preferred if it provides a calibrator $\sim$2$^{\circ}$ closer than the best in-band calibrator. (4) Decreasing image coherence and poorer image quality occur with increasing phase calibrator separation angle because of uncertainties in the antenna positions and sub-optimal phase referencing. (5) To achieve $>$70% coherence for long-baseline (16 km) band 7 (289GHz) observations, calibrators should be within $\sim$4$^{\circ}$ of the target.


title: A Wideband Polarization Study of Cygnus A with the JVLA. I: The Observations and Data

abstract: We present results from deep, wideband, high spatial and spectral resolution observations of the nearby luminous radio galaxy Cygnus A with the Jansky Very Large Array. The high surface brightness of this source enables detailed polarimetric imaging, providing images at $0.75''$, spanning 2 - 18 GHz, and at 0.30$''$ (6 - 18 GHz). The fractional polarization from 2000 independent lines of sight across the lobes decreases strongly with decreasing frequency, with the eastern lobe depolarizing at higher frequencies than the western lobe. The depolarization shows considerable structure, varying from monotonic to strongly oscillatory. The fractional polarization in general increases with increasing resolution at a given frequency, as expected. However, there are numerous lines of sight with more complicated behavior. We have fitted the $0.3''$ images with a simple model incorporating random, unresolved fluctuations in the cluster magnetic field to determine the high resolution, high-frequency properties of the source and the cluster. From these derived properties, we generate predicted polarization images of the source at lower frequencies, convolved to 0.75$\arcsec$. These predictions are remarkably consistent with the observed emission. The observations are consistent with the lower-frequency depolarization being due to unresolved fluctuations on scales $\gtrsim$ 300 - 700 pc in the magnetic field and/or electron density superposed on a partially ordered field component. There is no indication in our data of the location of the depolarizing screen or the large-scale field, either, or both of which could be located throughout the cluster, or in a boundary region between the lobes and the cluster.