title: Topic-Preserving Synthetic News Generation: An Adversarial Deep Reinforcement Learning Approach

abstract: Nowadays, there exist powerful language models such as OpenAI's GPT-2 that can generate readable text and can be fine-tuned to generate text for a specific domain. Considering GPT-2, it cannot directly generate synthetic news with respect to a given topic and the output of the language model cannot be explicitly controlled. In this paper, we study the novel problem of topic-preserving synthetic news generation. We propose a novel deep reinforcement learning-based method to control the output of GPT-2 with respect to a given news topic. When generating text using GPT-2, by default, the most probable word is selected from the vocabulary. Instead of selecting the best word each time from GPT-2's output, an RL agent tries to select words that optimize the matching of a given topic. In addition, using a fake news detector as an adversary, we investigate generating realistic news using our proposed method. In this paper, we consider realistic news as news that cannot be easily detected by a fake news classifier. Experimental results demonstrate the effectiveness of the proposed framework on generating topic-preserving news content than state-of-the-art baselines.


title: Identifying the optimal parameters for sprayed and inhaled drug particulates for intranasal targeting of SARS-CoV-2 infection sites

abstract: Efficacy for COVID-19 treatments can be enhanced significantly through targeting the nasopharynx, which has been shown to be the dominant preliminary infection site for SARS-CoV-2. Although intranasal drugs can be administered easily through drops or sprays, it is difficult to test whether current protocols will deliver the right amount of the drug to this location consistently. We are interested in developing an in silico prototyping tool to rapidly identify optimal parameters for intranasal delivery. In this study, we have applied computational fluid dynamics to simulate fluid flow through the nasal cavity and examined particle deposition for a drug formulation, mimicking different delivery methods. The nasal geometry models were derived using digitized and meshed computed tomography (CT) scans of human patients. Using the nasal geometries, we simulated two different airflows: a laminar model at 15 LPM (Liters/min) that simulated resting breathing rate and a Large Eddy Simulation (LES) model used to achieve a higher flow rate of 30 LPM. We were able to run particle tracking simulations for these two airflow schemes to test different drug properties such as particle size. The different injection methods used include surface injection which best replicates an inhaler-based release of particle droplets into the nostril and the cone injection method which best replicates a spray into the nostril. The results of the study suggest that the most optimal drug particle size for targeting the intranasal infection sites is around 6-14 microns.


title: All of the Fairness for Edge Prediction with Optimal Transport

abstract: Machine learning and data mining algorithms have been increasingly used recently to support decision-making systems in many areas of high societal importance such as healthcare, education, or security. While being very efficient in their predictive abilities, the deployed algorithms sometimes tend to learn an inductive model with a discriminative bias due to the presence of this latter in the learning sample. This problem gave rise to a new field of algorithmic fairness where the goal is to correct the discriminative bias introduced by a certain attribute in order to decorrelate it from the model's output. In this paper, we study the problem of fairness for the task of edge prediction in graphs, a largely underinvestigated scenario compared to a more popular setting of fair classification. To this end, we formulate the problem of fair edge prediction, analyze it theoretically, and propose an embedding-agnostic repairing procedure for the adjacency matrix of an arbitrary graph with a trade-off between the group and individual fairness. We experimentally show the versatility of our approach and its capacity to provide explicit control over different notions of fairness and prediction accuracy.


title: The ReadoutCard userspace driver for the new ALICE $O^2$ computing system

abstract: The ALICE (A Large Ion Collider Experiment) experiment focuses on the study of the quark-gluon plasma as a product of heavy-ion collisions at the CERN LHC (Large Hadron Collider). During the Long Shutdown 2 of the LHC in 2019-2020, a major upgrade is underway in order to cope with a hundredfold input data rate increase with peaks of up to 3.4 TB/s. This upgrade includes the new Online-Offline computing system called O2. The O2 readout chain runs on commodity Linux servers equipped with custom PCIe FPGA-based readout cards; the PCIe v3 x16, Intel Arria 10-based CRU (Common Readout Unit) and the PCIe v2 x8, Xilinx Vertex6-based CRORC (Common ReadOut Receiver Card). Access to the cards is provided through the O2 ReadoutCard userspace driver which handles synchronisation and communication for DMA transfers, provides BAR access, and facilitates card configuration and monitoring. The ReadoutCard driver is the lowest-level interface to the readout cards within O2 and is in use by all central systems and detector teams of the ALICE experiment. This communication presents the architecture of the driver, and the suite of tools used for card configuration and monitoring. It also discusses its interaction with the tangent subsystems within the O2 framework.


title: NOAA Image Data Acquisition to Determine Soil Moisture in Arequipa-Per\'u

abstract: In recent years, irrigations have been built on dry areas in Majes-Arequipa. Over time, the irrigations water forms moist areas in lower areas, which can have positive or negative consequences. Therefore, it is important to know in advance where the water from the new irrigation will appear. The limited availability of real-time satellite image data is still a hindrance to some applications. Data from NOAA's environmental satellites are available fee and license free. In order to receive data, users must obtain necessary equipment. In this work we present a satellite data acquisition system with an RTL SDR receiver, two 137-138 Mhz designed antennas, Orbitron, SDRSharp, WXTolmag and MatLab software. We have designed two antennas, a Turnstile Crossed dipole antenna with Balun and a quadrifilar helicoidal antenna. The antennas parameter measurements show very good correspondence with those obtained by simulation. The RTL SDR RTL2832U receiver, combined with our antennas and software, forms the system for recording, decoding, editing and displaying Automatic Picture Transmission (APT) signals. The results show that the satellite image receptions are sufficiently clear and descriptive for further analysis.


title: On the geometry of the Pappas-Rapoport models for PEL Shimura varieties

abstract: We study integral models, so-called Pappas-Rapoport or splitting models, of some PEL Shimura Varieties whose data are ramified at a prime p. We show that except in a specific case, these models are smooth when there is no level at p, and we study their special fiber modulo p. We show that interesting stratifications appear, and we show that the $\mu$-ordinary locus is open and dense, following a strategy of Wedhorn in the unramified case.


title: On symplectic fillings of spinal open book decompositions II: Holomorphic curves and classification

abstract: In this second paper of a two-part series, we prove that whenever a contact 3-manifold admits a uniform spinal open book decomposition with planar pages, its (weak, strong and/or exact) symplectic and Stein fillings can be classified up to deformation equivalence in terms of diffeomorphism classes of Lefschetz fibrations. This extends previous results of the third author to a much wider class of contact manifolds, which we illustrate here by classifying the strong and Stein fillings of all oriented circle bundles with non-tangential $S^1$-invariant contact structures. Further results include new vanishing criteria for the ECH contact invariant and algebraic torsion in SFT, classification of fillings for certain non-orientable circle bundles, and a general "symplectic quasiflexibility" result about deformation classes of Stein structures in real dimension four.


title: Gas Emission Measurement System from Chilla-Juliaca -Peru

abstract: In many countries around the world, most of the waste use to be disposed of to landfills, this generate public concern about the health effects of emissions. Landfill gases are produced by the natural bacterial decomposition of waste and it is about half of methane, with the remainder mostly carbon dioxide and minor amounts of other gases. Real-time measurement and modelling of emissions gases in landfills is important. In this work a low cost wireless measurement system is developed using MOS gas sensors (MQ4-1,MQ4-2, MQ5 and MQ9), microcontroller and XBee/HC-12 wireless communications modules. The system can be mounted on an unmanned aircraft (UAV, drone) or deployed as a wireless sensor network. Experiments have been carried out near a closed landfill, which show high gas concentration


title: Non-Local Porous Media Equations with Fractional Time Derivative

abstract: In this paper we investigate existence of solutions for the system: \begin{equation*} \left\{ \begin{array}{l} D^{\alpha}_tu=\textrm{div}(u \nabla p),\\ D^{\alpha}_tp=-(-\Delta)^{s}p+u^{2}, \end{array} \right. \end{equation*} in $\mathbb{T}^3$ for $0< s \leq 1$, and $0< \alpha \le 1$. The term $D^\alpha_t u$ denotes the Caputo derivative, which models memory effects in time. The fractional Laplacian $(-\Delta)^{s}$ represents the L\'{e}vy diffusion. We prove global existence of nonnegative weak solutions that satisfy a variational inequality. The proof uses several approximations steps, including an implicit Euler time discretization. We show that the proposed discrete Caputo derivative satisfies several important properties, including positivity preserving, convexity and rigorous convergence towards the continuous Caputo derivative. Most importantly, we give a strong compactness criteria for piecewise constant functions, in the spirit of Aubin-Lions theorem, based on bounds of the discrete Caputo derivative.


title: The impact of mass-transfer physics on the observable properties of field binary black hole populations

abstract: We study the impact of mass-transfer physics on the observable properties of binary black hole populations formed through isolated binary evolution. We investigate the impact of mass-accretion efficiency onto compact objects and common-envelope efficiency on the observed distributions of $\chi_{eff}$, $M_{chirp}$ and $q$. We find that low common envelope efficiency translates to tighter orbits post common envelope and therefore more tidally spun up second-born black holes. However, these systems have short merger timescales and are only marginally detectable by current gravitational-waves detectors as they form and merge at high redshifts ($z\sim 2$), outside current detector horizons. Assuming Eddington-limited accretion efficiency and that the first-born black hole is formed with a negligible spin, we find that all non-zero $\chi_{eff}$ systems in the detectable population can come only from the common envelope channel as the stable mass-transfer channel cannot shrink the orbits enough for efficient tidal spin-up to take place. We find the local rate density ($z\simeq 0.01$) for the common envelope channel is in the range $\sim 17-113~Gpc^{-3}yr^{-1}$ considering a range of $\alpha_{CE} \in [0.2,5.0]$ while for the stable mass transfer channel the rate density is $\sim 25~Gpc^{-3}yr^{-1}$. The latter drops by two orders of magnitude if the mass accretion onto the black hole is not Eddington limited because conservative mass transfer does not shrink the orbit as efficiently as non-conservative mass transfer does. Finally, using GWTC-2 events, we constrain the lower bound of branching fraction from other formation channels in the detected population to be $\sim 0.2$. Assuming all remaining events to be formed through either stable mass transfer or common envelope channels, we find moderate to strong evidence in favour of models with inefficient common envelopes.


title: Exploring invisible neutrino decay at ESSnuSB

abstract: We explore invisible neutrino decay in which a heavy active neutrino state decays into a light sterile neutrino state and present a comparative analysis of two baseline options, $540~$km and $360~$km, for the ESSnuSB experimental setup. Our analysis shows that ESSnuSB can put a bound on the decay parameter $\tau_3/m_3 = 2.64~(1.68) \times 10^{-11}~$s/eV for the baseline option of $360~(540)~$km at $3 \sigma$. The expected bound obtained for $360~$km is slightly better than the corresponding one of DUNE for a charged current (CC) analysis. Furthermore, we show that the capability of ESSnuSB to discover decay, and to measure the decay parameter precisely, is better for the baseline option of $540~$km than that of $360~$km. Regarding effects of decay in $\delta_{\rm CP}$ measurements, we find that in general the CP violation discovery potential is better in the presence of decay. The change in CP precision is significant if one assumes decay in data but no decay in theory.


title: Calibration-Aided Edge Inference Offloading via Adaptive Model Partitioning of Deep Neural Networks

abstract: Mobile devices can offload deep neural network (DNN)-based inference to the cloud, overcoming local hardware and energy limitations. However, offloading adds communication delay, thus increasing the overall inference time, and hence it should be used only when needed. An approach to address this problem consists of the use of adaptive model partitioning based on early-exit DNNs. Accordingly, the inference starts at the mobile device, and an intermediate layer estimates the accuracy: If the estimated accuracy is sufficient, the device takes the inference decision; Otherwise, the remaining layers of the DNN run at the cloud. Thus, the device offloads the inference to the cloud only if it cannot classify a sample with high confidence. This offloading requires a correct accuracy prediction at the device. Nevertheless, DNNs are typically miscalibrated, providing overconfident decisions. This work shows that the employment of a miscalibrated early-exit DNN for offloading via model partitioning can significantly decrease inference accuracy. In contrast, we argue that implementing a calibration algorithm prior to deployment can solve this problem, allowing for more reliable offloading decisions.


title: Leveraging Extracted Model Adversaries for Improved Black Box Attacks

abstract: We present a method for adversarial input generation against black box models for reading comprehension based question answering. Our approach is composed of two steps. First, we approximate a victim black box model via model extraction (Krishna et al., 2020). Second, we use our own white box method to generate input perturbations that cause the approximate model to fail. These perturbed inputs are used against the victim. In experiments we find that our method improves on the efficacy of the AddAny---a white box attack---performed on the approximate model by 25% F1, and the AddSent attack---a black box attack---by 11% F1 (Jia and Liang, 2017).


title: RVS Spectra of Gaia Photometric Science Alerts

abstract: Gaia Photometric Science Alerts (GPSA) publishes Gaia G magnitudes and Blue Photometer (BP) and Red Photometer (RP) low-resolution epoch spectra of transient events. 27 high-resolution spectra from Gaia's Radial Velocity Spectrometer (RVS) of 12 GPSAs have also been published. These 27 RVS epoch spectra are presented next to their corresponding BP and RP epoch spectra in a single place for the first time. We also present one new RVS spectrum of a 13th GPSA that could not be published by the GPSA system. Of the 13 GPSA with RVS spectra, five are photometrically classified as unknown, five as supernovae (three as SN Ia, one as SN II, one as SN IIP), one as a cataclysmic variable, one as a binary microlensing event and one as a young stellar object. The five GPSAs classified as unknown are potential scientific opportunities, while all of them are a preview of the epoch RVS spectra that will be published in Gaia's fourth data release.


title: Diagonal groups and arcs over groups

abstract: In an earlier paper by three of the present authors and Csaba Schneider, it was shown that, for $m\ge2$, a set of $m+1$ partitions of a set $\Omega$, any $m$ of which are the minimal non-trivial elements of a Cartesian lattice, either form a Latin square (if $m=2$), or generate a join-semilattice of dimension $m$ associated with a diagonal group over a base group $G$. In this paper we investigate what happens if we have $m+r$ partitions with $r\geq 2$, any $m$ of which are minimal elements of a Cartesian lattice. If $m=2$, this is just a set of mutually orthogonal Latin squares. We consider the case where all these squares are isotopic to Cayley tables of groups, and give an example to show the groups need not be all isomorphic. For $m>2$, things are more restricted. Any $m+1$ of the partitions generate a join-semilattice admitting a diagonal group over a group $G$. It may be that the groups are all isomorphic, though we cannot prove this. Under an extra hypothesis, we show that $G$ must be abelian and must have three fixed-point-free automorphisms whose product is the identity. Under this hypothesis, such a structure gives an orthogonal array, and conversely in some cases. If the group is cyclic of prime order $p$, then the structure corresponds exactly to an arc of cardinality $m+r$ in the $(m-1)$-dimensional projective space over the field with $p$ elements, so all known results about arcs are applicable. More generally, arcs over a finite field of order $q$ give examples where $G$ is the elementary abelian group of order $q$. These examples can be lifted to non-elementary abelian groups using $p$-adic techniques.


title: Three Combinatorial Perspectives on Minimal Codes

abstract: We develop three approaches of combinatorial flavour to study the structure of minimal codes and cutting blocking sets in finite geometry, each of which has a particular application. The first approach uses techniques from algebraic combinatorics, describing the supports in a linear code via the Alon-F\"uredi Theorem and the Combinatorial Nullstellensatz. The second approach combines methods from coding theory and statistics to compare the mean and variance of the nonzero weights in a minimal code. Finally, the third approach regards minimal codes as cutting blocking sets and studies these using the theory of spreads in finite geometry. Applying and combining these approaches with each other, we derive several new bounds and constraints on the parameters of minimal codes. Moreover, we obtain two new constructions of cutting blocking sets of small cardinality in finite projective spaces. In turn, these allow us to give explicit constructions of minimal codes having short length for the given field and dimension.


title: Patterns Count-Based Labels for Datasets

abstract: Counts of attribute-value combinations are central to the profiling of a dataset, particularly in determining fitness for use and in eliminating bias and unfairness. While counts of individual attribute values may be stored in some dataset profiles, there are too many combinations of attributes for it to be practical to store counts for each combination. In this paper, we develop the notion of storing a "label" of limited size that can be used to obtain good estimates for these counts. A label, in this paper, contains information regarding the count of selected patterns--attributes values combinations--in the data. We define an estimation function, that uses this label to estimate the count of every pattern. We present the problem of finding the optimal label given a bound on its size and propose a heuristic algorithm for generating optimal labels. We experimentally show the accuracy of count estimates derived from the resulting labels and the efficiency of our algorithm.


title: DsixTools 2.0: The Effective Field Theory Toolkit

abstract: $\tt DsixTools$ is a Mathematica package for the handling of the Standard Model Effective Field Theory (SMEFT) and the Low-energy Effective Field Theory (LEFT) with operators up to dimension six, both at the algebraic and numerical level. $\tt DsixTools$ contains a visually accessible and operationally convenient repository of all operators and parameters of the SMEFT and the LEFT. This repository also provides information concerning symmetry categories and number of degrees of freedom, and routines that allow to implement this information on global expressions (such as decay amplitudes and cross-sections). $\tt DsixTools$ also performs weak basis transformations, and implements the full one-loop Renormalization Group Evolution in both EFTs (with SM beta functions up to five loops in QCD), and the full one-loop SMEFT-LEFT matching at the electroweak scale.


title: Robust Quadrupedal Locomotion on Sloped Terrains: A Linear Policy Approach

abstract: In this paper, with a view toward fast deployment of locomotion gaits in low-cost hardware, we use a linear policy for realizing end-foot trajectories in the quadruped robot, Stoch $2$. In particular, the parameters of the end-foot trajectories are shaped via a linear feedback policy that takes the torso orientation and the terrain slope as inputs. The corresponding desired joint angles are obtained via an inverse kinematics solver and tracked via a PID control law. Augmented Random Search, a model-free and a gradient-free learning algorithm is used to train this linear policy. Simulation results show that the resulting walking is robust to terrain slope variations and external pushes. This methodology is not only computationally light-weight but also uses minimal sensing and actuation capabilities in the robot, thereby justifying the approach.


title: Study of ($p,n$)IAS and ($^3$He,$t$)IAS charge-exchange reactions with the $G$-matrix folding method

abstract: Differential cross sections of ($p,n$) and ($^3$He,$t$) charge-exchange reactions leading to the excitation of the isobaric analog state (IAS) of the target nucleus are calculated with the distorted wave Born approximation. The $G$-matrix double-folding method is employed to determine the nucleus-nucleus optical potential within the framework of the Lane model. $G$-matrices are obtained from a Brueckner-Hartree-Fock calculation using the Argonne Av18 nucleon-nucleon potential. Target densities have been taken from Skyrme-Hartree-Fock calculations which predict values for the neutron skin thickness of heavy nuclei compatible with current existing data. Calculations are compared with experimental data of the reactions ($p,n$)IAS on $^{14}$C at $E_{lab}=135$ MeV and $^{48}$Ca at $E_{lab}=134$ MeV and $E_{lab}=160$ MeV, and ($^3$He,$t$)IAS on $^{58}$Ni, $^{90}$Zr and $^{208}$Pb at $E_{lab}=420$ MeV. Experimental results are well described without the necessity of any rescaling of the strength of the optical potential. A clear improvement in the description of the differential cross sections for the ($^3$He,$t$)IAS reactions on $^{58}$Ni and $^{90}$Zr targets is found when the neutron excess density is used to determine the transition densities. Our results show that the density and isospin dependences of the $G$-matrices play a non-negligible role in the description of the experimental data.


title: Marginalised Gaussian Processes with Nested Sampling

abstract: Gaussian Process (GPs) models are a rich distribution over functions with inductive biases controlled by a kernel function. Learning occurs through the optimisation of kernel hyperparameters using the marginal likelihood as the objective. This classical approach known as Type-II maximum likelihood (ML-II) yields point estimates of the hyperparameters, and continues to be the default method for training GPs. However, this approach risks underestimating predictive uncertainty and is prone to overfitting especially when there are many hyperparameters. Furthermore, gradient based optimisation makes ML-II point estimates highly susceptible to the presence of local minima. This work presents an alternative learning procedure where the hyperparameters of the kernel function are marginalised using Nested Sampling (NS), a technique that is well suited to sample from complex, multi-modal distributions. We focus on regression tasks with the spectral mixture (SM) class of kernels and find that a principled approach to quantifying model uncertainty leads to substantial gains in predictive performance across a range of synthetic and benchmark data sets. In this context, nested sampling is also found to offer a speed advantage over Hamiltonian Monte Carlo (HMC), widely considered to be the gold-standard in MCMC based inference.


title: Towards making formal methods normal: meeting developers where they are

abstract: Formal verification of software is a bit of a niche activity: it is only applied to the most safety-critical or security-critical software and it is typically only performed by specialized verification engineers. This paper considers whether it would be possible to increase adoption of formal methods by integrating formal methods with developers' existing practices and workflows. We do not believe that widespread adoption will follow from making the prevailing formal methods argument that correctness is more important than engineering teams realize. Instead, our focus is on what we would need to do to enable programmers to make effective use of formal verification tools and techniques. We do this by considering how we might make verification tooling that both serves developers' needs and fits into their existing development lifecycle. We propose a target of two orders of magnitude increase in adoption within a decade driven by ensuring a positive `weekly cost-benefit' ratio for developer time invested.


title: Trace mappings on quasi-Banach modulation spaces and applications to pseudo-differential operators of amplitude type

abstract: We deduce trace properties for modulation spaces of Gelfand-Shilov distributions. We use these properties to show that pseudo-differential operators with amplitudes in suitable modulation spaces, agree with pseudo-differential operators of normal type whose symbols belong to (other) modulation spaces.


title: Computing solutions of Schr\"odinger equations on unbounded domains- On the brink of numerical algorithms

abstract: We address the open problem of determining which classes of time-dependent linear Schr\"odinger equations and focusing and defocusing cubic and quintic non-linear Schr\"odinger equations (NLS) on unbounded domains that can be computed by an algorithm. We demonstrate how such an algorithm in general does not exist, yielding a substantial classification theory of which problems in quantum mechanics that can be computed. Moreover, we establish classifications on which problems that can be computed with a uniform bound on the runtime, as a function of the desired $\epsilon$-accuracy of the approximation. This include linear and nonlinear Schr\"odinger equations for which we provide positive and negative results and conditions on both the initial state and the potentials such that there exist computational (recursive) a priori bounds that allow reduction of the IVP on an unbounded domain to an IVP on a bounded domain, yielding an algorithm that can produce an $\epsilon$-approximation. In addition, we show how no algorithm can decide, and in fact not verify nor falsify, if the focusing NLS will blow up in finite time or not, yet, for the defocusing NLS, solutions can be computed given mild assumptions on the initial state and the potentials. Finally, we show that solutions to discrete NLS equations (focusing and defocusing) on an unbounded domain can always be computed with uniform bounds on the runtime of the algorithm. The algorithms presented are not just of theoretical interest, but efficient and easy to implement in applications. Our results have implications beyond computational quantum mechanics and are a part of the Solvability Complexity Index (SCI) hierarchy and Smale's program on the foundations of computational mathematics. For example our results provide classifications of which mathematical problems may be solved by computer assisted proofs.


title: Corrections to universal R\'enyi entropy in quasiparticle excited states of quantum chains

abstract: We investigate the energy eigenstate R\'enyi entropy of generic bipartition in the fermionic, bosonic, and spin-1/2 XY chains. When the gap of the theory is large or all the momenta of the excited quasiparticles are large, the R\'enyi entropy takes a universal form, which is independent of the model, the quasiparticle momenta, and the subsystem connectedness. We calculate analytically the R\'enyi entropy in the extremely gapped limit and find different additional contributions to the universal R\'enyi entropy in various models. The corrections to the universal R\'enyi entropy cannot be neglected when the momentum differences of the excited quasiparticles are small. The R\'enyi entropy derived in the extremely gapped limit is still valid in the slightly gapped and even critical chains as long as all the momenta of the excited quasiparticles are large. In the case of double interval in the XY chain we find new universal results and their corrections. We call the result universal even though it is only valid for double interval in the spin-1/2 XY chain. In the case of the bosonic chain in the extremely massive limit we find analytically a novel formula for the R\'enyi entropy written as the permanent of a certain matrix. We support all of our analytical results with numerical calculations.


title: Bi$_{2}$Se$_{3}$ thin films heteroepitaxially grown on $\alpha$-RuCl$_{3}$

abstract: Combining various two-dimensional materials into novel van der Waals (vdW) heterostructures has been shown to lead to new emergent quantum systems. A novel heterostructure composed of a vdW topological insulator (TI) such as Bi$_{2}$Se$_{3}$ with a quantum spin liquid (QSL) such as $\alpha$-RuCl$_{3}$ is of great interest for the potential for the chiral Dirac electrons in the TI surface states to interact strongly with the fractionalized fermionic spin excitations in the QSL. We report the heteroepitaxial growth of Bi$_{2}$Se$_{3}$ thin films on $\alpha$-RuCl$_{3}$ as well as the characterization of their structural and electrical properties. Bi$_{2}$Se$_{3}$ thin films with an atomically smooth and uniform surface are grown by molecular beam epitaxy. The heterostructure exhibits a preferential epitaxial relationship corresponding to $(5 \times 5)-$Bi$_{2}$Se$_{3}/(2\sqrt{3} \times 2\sqrt{3})R30\deg-\alpha$-RuCl$_{3}$ commensurate supercells with a periodicity of 1.2 nm. The formation of the superlattice despite a lattice mismatch as large as 60% is attributed to the van der Waals heteroepitaxy. Magnetotransport measurements as a function of temperature show Bi$_{2}$Se$_{3}$ films grown on $\alpha$-RuCl$_{3}$ are heavily $n$-doped, $n_{e}$ ~10$^{14}$ cm$^{-2}$, with mobility $\mu$ ~450 cm$^{2}$ V$^{-1}$ s$^{-1}$ at low temperatures.


title: Distortion coefficients of the $\alpha$-Grushin plane

abstract: We compute the distortion coefficients of the $\alpha$-Grushin plane. They are expressed in terms of generalised trigonometric functions. Estimates for the distortion coefficients are then obtained and a conjecture of a synthetic curvature condition for the generalised Grushin planes is suggested.


title: Reduced Phase Space Approach to the $U(1)^3$ model for Euclidean Quantum Gravity

abstract: If one replaces the constraints of the Ashtekar-Barbero $SU(2)$ gauge theory formulation of Euclidean gravity by their $U(1)^3$ version, one arrives at a consistent model which captures significant structure of its $SU(2)$ version. In particular, it displays a non trivial realisation of the hypersurface deformation algebra which makes it an interesting testing ground for (Euclidean) quantum gravity as has been emphasised in a recent series of papers due to Varadarajan et al. In this paper we consider a reduced phase space approach to this model. This is especially attractive because, after a canonical transformation, the constraints are at most {\it linear} in the momenta. In suitable gauges, it is therefore possible to find a closed and explicit formula for the physical Hamiltonian which depends only on the physical observables. Not surprisingly, that physical Hamiltonian is generically neither polynomial nor spatially local. The corresponding reduced phase space quantisation can be confronted with the constraint quantisation due to Varadarajan et al to gain further insights into the quantum realisation of the hypersurface deformation algebra.

categories: gr-qc hep-lat hep-th math-ph math.MP quant-ph


title: The Vietoris functor and modal operators on rings of continuous functions

abstract: We introduce an endofunctor $H$ on the category $bal$ of bounded archimedean $\ell$-algebras and show that there is a dual adjunction between the category $Alg(H)$ of algebras for $H$ and the category $Coalg(V)$ of coalgebras for the Vietoris endofunctor $V$ on the category of compact Hausdorff spaces. We also introduce an endofunctor $Hu$ on the reflective subcategory of $bal$ consisting of uniformly complete objects of $bal$ and show that Gelfand duality lifts to a dual equivalence between $Alg(Hu)$ and $Coalg(V)$. On the one hand, this generalizes a result of \cite{Abr88,KKV04} for the category of coalgebras of the Vietoris endofunctor on the category of Stone spaces. On the other hand, it yields an alternate proof of a recent result of \cite{BCM20a}.


title: Typable Fragments of Polynomial Automatic Amortized Resource Analysis

abstract: Being a fully automated technique for resource analysis, automatic amortized resource analysis (AARA) can fail in returning worst-case cost bounds of programs, fundamentally due to the undecidability of resource analysis. For programmers who are unfamiliar with the technical details of AARA, it is difficult to predict whether a program can be successfully analyzed in AARA. Motivated by this problem, this article identifies classes of programs that can be analyzed in type-based polynomial AARA. Firstly, it is shown that the set of functions that are typable in univariate polynomial AARA coincides with the complexity class PTIME. Secondly, the article presents a sufficient condition for typability that axiomatically requires every sub-expression of a given program to be polynomial-time. It is proved that this condition implies typability in multivariate polynomial AARA under some syntactic restrictions.


title: Scattering of the energy-critical NLS with dipolar interaction

abstract: In this paper, we investigate the global well-posedness and $H^{1}$ scattering theory for a 3d energy-critical Schr\"odinger equation under the influence of magnetic dipole interaction $\lambda_{1}|u|^{2}u+\lambda_{2}(K\ast|u|^{2})u$, where $K$ is the dipole-dipole interaction kernel. Our proof of global well-posedness result is based on the argument of Zhang [23]. Moreover, adopting the induction of energy technique of Killip-Oh-Pocovnicu-Visan [20], we obtain a condition for scattering.


title: Magnetic Confinement of an Ultracold Neutral Plasma

abstract: We demonstrate magnetic confinement of an ultracold neutral plasma (UCNP) created at the null of a biconic cusp, or quadrupole magnetic field. Initially, the UCNP expands due to electron thermal pressure. As the plasma encounters stronger fields, expansion slows and the density distribution molds to the field. UCNP electrons are strongly magnetized over most of the plasma, while ion magnetization is only significant at the boundaries. Observations suggest that electrons and ions are predominantly trapped by magnetic mirroring and ambipolar electric fields respectively. Confinement times approach 0.5 ms, while unmagnetized plasmas dissipate on a timescale of a few tens of microseconds.


title: Cooperation dynamics of generalized reciprocity on complex networks

abstract: Recent studies suggest that the emergence of cooperative behavior can be explained by generalized reciprocity, a behavioral mechanism based on the principle of "help anyone if helped by someone". In complex systems, the cooperative dynamics is largely determined by the network structure which dictates the interactions among neighboring individuals. Despite an abundance of studies, the role of the network structure in in promoting cooperation through generalized reciprocity remains an under-explored phenomenon. In this doctoral thesis, we utilize basic tools from the dynamical systems theory, and develop a unifying framework for investigating the cooperation dynamics of generalized reciprocity on complex networks. We use this framework to present a theoretical overview on the role of generalized reciprocity in promoting cooperation in three distinct interaction structures: i) social dilemmas, ii) multidimensional networks, and iii) fluctuating environments. The results suggest that cooperation through generalized reciprocity always emerges as the unique attractor in which the overall level of cooperation is maximized, while simultaneously exploitation of the participating individuals is prevented. The effect of the network structure is captured by a local centrality measure which uniquely quantifies the propensity of the network structure to cooperation, by dictating the degree of cooperation displayed both at microscopic and macroscopic level. As a consequence, the implementation of our results may go beyond explaining the evolution of cooperation. In particular, they can be directly applied in domains that deal with the development of artificial systems able to adequately mimic reality, such as reinforcement learning.


title: A Cross-lingual Natural Language Processing Framework for Infodemic Management

abstract: The COVID-19 pandemic has put immense pressure on health systems which are further strained due to the misinformation surrounding it. Under such a situation, providing the right information at the right time is crucial. There is a growing demand for the management of information spread using Artificial Intelligence. Hence, we have exploited the potential of Natural Language Processing for identifying relevant information that needs to be disseminated amongst the masses. In this work, we present a novel Cross-lingual Natural Language Processing framework to provide relevant information by matching daily news with trusted guidelines from the World Health Organization. The proposed pipeline deploys various techniques of NLP such as summarizers, word embeddings, and similarity metrics to provide users with news articles along with a corresponding healthcare guideline. A total of 36 models were evaluated and a combination of LexRank based summarizer on Word2Vec embedding with Word Mover distance metric outperformed all other models. This novel open-source approach can be used as a template for proactive dissemination of relevant healthcare information in the midst of misinformation spread associated with epidemics.


title: AgEBO-Tabular: Joint Neural Architecture and Hyperparameter Search with Autotuned Data-Parallel Training for Tabular Data

abstract: Developing high-performing predictive models for large tabular data sets is a challenging task. The state-of-the-art methods are based on expert-developed model ensembles from different supervised learning methods. Recently, automated machine learning (AutoML) is emerging as a promising approach to automate predictive model development. Neural architecture search (NAS) is an AutoML approach that generates and evaluates multiple neural network architectures concurrently and improves the accuracy of the generated models iteratively. A key issue in NAS, particularly for large data sets, is the large computation time required to evaluate each generated architecture. While data-parallel training is a promising approach that can address this issue, its use within NAS is difficult. For different data sets, the data-parallel training settings such as the number of parallel processes, learning rate, and batch size need to be adapted to achieve high accuracy and reduction in training time. To that end, we have developed AgEBO-Tabular, an approach to combine aging evolution (AgE), a parallel NAS method that searches over neural architecture space, and an asynchronous Bayesian optimization method for tuning the hyperparameters of the data-parallel training simultaneously. We demonstrate the efficacy of the proposed method to generate high-performing neural network models for large tabular benchmark data sets. Furthermore, we demonstrate that the automatically discovered neural network models using our method outperform the state-of-the-art AutoML ensemble models in inference speed by two orders of magnitude while reaching similar accuracy values.


title: Asymptotically flat boundary conditions for the $U(1)^3$ model for Euclidean Quantum Gravity

abstract: A generally covariant $U(1)^3$ gauge theory describing the $G_N \to 0$ limit of Euclidean general relativity is an interesting test laboratory for general relativity, specially because the algebra of the Hamiltonian and diffeomorphism constraints of this limit is isomorphic to the algebra of the corresponding constraints in general relativity. In the present work, we study boundary conditions and asymptotic symmetries of the $U(1)^3$ model and show that while asymptotic spacetime translations admit well-defined generators, boosts and rotations do not. Comparing with Euclidean general relativity, one finds that exactly the non-Abelian part of the $SU(2)$ Gauss constraint which is absent in the $U(1)^3$ model plays a crucial role in obtaining boost and rotation generators.


title: Denoising and Interior Detection Problems

abstract: Let $\mathcal{M}$ be a compact manifold of $\mathbb{R}^d$. The goal of this paper is to decide, based on a sample of points, whether the interior of $\mathcal{M}$ is empty or not. We divide this work in two main parts. Firstly, under a dependent sample which may or may not contain some noise within, we characterize asymptotic properties of an interior detection test based on a suitable control of the dependence. Afterwards, we drop the dependence and consider a model where the points sampled from the manifold are mixed with some points sampled from a different measure (noisy observations). We study the behaviour with respect to the amount of noisy observations, introducing a methodology to identify true manifold points, characterizing convergence properties.


title: Towards Preference Learning for Autonomous Ground Robot Navigation Tasks

abstract: We are interested in the design of autonomous robot behaviors that learn the preferences of users over continued interactions, with the goal of efficiently executing navigation behaviors in a way that the user expects. In this paper, we discuss our work in progress to modify a general model for robot navigation behaviors in an exploration task on a per-user basis using preference-based reinforcement learning. The novel contribution of this approach is that it combines reinforcement learning, motion planning, and natural language processing to allow an autonomous agent to learn from sustained dialogue with a human teammate as opposed to one-off instructions.


title: Two-stage coding over the Z-channel

abstract: In this paper, we discuss two-stage encoding algorithms capable of correcting a fraction of asymmetric errors. Suppose that the encoder transmits $n$ binary symbols $(x_1,\ldots,x_n)$ one-by-one over the Z-channel, in which a 1 is received only if a 1 is transmitted. At some designated moment, say $n_1$, the encoder uses noiseless feedback and adjusts further encoding strategy based on the partial output of the channel $(y_1,\ldots,y_{n_1})$. The goal is to transmit error-free as much information as possible under the assumption that the total number of errors inflicted by the Z-channel is limited by $\tau n$, $0<\tau<1$. We propose an encoding strategy that uses a list-decodable code at the first stage and a high-error low-rate code at the second stage. This strategy and our converse result yield that there is a sharp transition at $\tau=\max\limits_{0<w<1}\frac{w + w^3}{1+4w^3}\approx 0.44$ from positive rate to zero rate for two-stage encoding strategies. As side results, we derive bounds on the size of list-decodable codes for the Z-channel and prove that for a fraction $1/4+\epsilon$ of asymmetric errors, an error-correcting code contains at most $O(\epsilon^{-3/2})$ codewords.


title: Domain-Specific Lexical Grounding in Noisy Visual-Textual Documents

abstract: Images can give us insights into the contextual meanings of words, but current image-text grounding approaches require detailed annotations. Such granular annotation is rare, expensive, and unavailable in most domain-specific contexts. In contrast, unlabeled multi-image, multi-sentence documents are abundant. Can lexical grounding be learned from such documents, even though they have significant lexical and visual overlap? Working with a case study dataset of real estate listings, we demonstrate the challenge of distinguishing highly correlated grounded terms, such as "kitchen" and "bedroom", and introduce metrics to assess this document similarity. We present a simple unsupervised clustering-based method that increases precision and recall beyond object detection and image tagging baselines when evaluated on labeled subsets of the dataset. The proposed method is particularly effective for local contextual meanings of a word, for example associating "granite" with countertops in the real estate dataset and with rocky landscapes in a Wikipedia dataset.


title: Cluster-based network modeling -- automated robust modeling of complex dynamical systems

abstract: We propose a universal method for data-driven modeling of complex nonlinear dynamics from time-resolved snapshot data without prior knowledge. Complex nonlinear dynamics govern many fields of science and engineering. Data-driven dynamic modeling often assumes a low-dimensional subspace or manifold for the state. We liberate ourselves from this assumption by proposing cluster-based network modeling (CNM) bridging machine learning, network science, and statistical physics. CNM only assumes smoothness of the dynamics in the state space, robustly describes short- and long-term behavior and is fully automatable as it does not rely on application-specific knowledge. CNM is demonstrated for the Lorenz attractor, ECG heartbeat signals, Kolmogorov flow, and a high-dimensional actuated turbulent boundary layer. Even the notoriously difficult modeling benchmark of rare events in the Kolmogorov flow is solved. This automatable universal data-driven representation of complex nonlinear dynamics complements and expands network connectivity science and promises new fast-track avenues to understand, estimate, predict and control complex systems in all scientific fields.


title: Discrete Darboux system with self-consistent sources and its symmetric reduction

abstract: The discrete non-commutative Darboux system of equations with self-consistent sources is constructed, utilizing both the vectorial fundamental (binary Darboux) transformation and the method of additional independent variables. Then the symmetric reduction of discrete Darboux equations with sources is presented. In order to provide a simpler version of the resulting equations we introduce the $\tau/\sigma$ form of the (commutative) discrete Darboux system. Our equations give, in continuous limit, the version with self-consistent sources of the classical symmetric Darboux system.


title: Edge-based analysis of networks: Curvatures of graphs and hypergraphs

abstract: The relations, rather than the elements, constitute the structure of networks. We therefore develop a systematic approach to the analysis of networks, modelled as graphs or hypergraphs, that is based on structural properties of (hyper)edges, instead of vertices. For that purpose, we utilize so-called network curvatures. These curvatures quantify the local structural properties of (hyper)edges, that is, how, and how well, they are connected to others. In the case of directed networks, they assess the input they receive and the output they produce, and relations between them. With those tools, we can investigate biological networks. As examples, we apply our methods here to protein-protein interaction, transcriptional regulatory and metabolic networks.


title: Nu-invariants of extra-twisted connected sums

abstract: We analyse the possible ways of gluing twisted products of circles with asymptotically cylindrical Calabi-Yau manifolds to produce manifolds with holonomy G_2, thus generalising the twisted connected sum construction of Kovalev and Corti, Haskins, Nordstr\"om, Pacini. We then express the extended nu-invariant of Crowley, Goette, and Nordstr\"om in terms of fixpoint and gluing contributions, which include different types of (generalised) Dedekind sums. Surprisingly, the calculations involve some non-trivial number-theoretical arguments connected with special values of the Dedekind eta-function and the theory of complex multiplication. One consequence of our computations is that there exist compact G_2-manifolds that are not G_2-nullbordant.


title: Phoneme Based Neural Transducer for Large Vocabulary Speech Recognition

abstract: To join the advantages of classical and end-to-end approaches for speech recognition, we present a simple, novel and competitive approach for phoneme-based neural transducer modeling. Different alignment label topologies are compared and word-end-based phoneme label augmentation is proposed to improve performance. Utilizing the local dependency of phonemes, we adopt a simplified neural network structure and a straightforward integration with the external word-level language model to preserve the consistency of seq-to-seq modeling. We also present a simple, stable and efficient training procedure using frame-wise cross-entropy loss. A phonetic context size of one is shown to be sufficient for the best performance. A simplified scheduled sampling approach is applied for further improvement and different decoding approaches are briefly compared. The overall performance of our best model is comparable to state-of-the-art (SOTA) results for the TED-LIUM Release 2 and Switchboard corpora.


title: Distributionally Robust Newsvendor with Moment Constraints

abstract: This paper expands the work on distributionally robust newsvendor to incorporate moment constraints. The use of Wasserstein distance as the ambiguity measure is preserved. The infinite dimensional primal problem is formulated; problem of moments duality is invoked to derive the simpler finite dimensional dual problem. An important research question is: How does distributional ambiguity affect the optimal order quantity and the corresponding profits/costs? To investigate this, some theory is developed and a case study in auto sales is performed. We conclude with some comments on directions for further research.


title: On the structure of the module of Euler systems for a $p$-adic representation

abstract: We investigate a question of Burns and Sano concerning the structure of the module of Euler systems for a general $p$-adic representation. Assuming the weak Leopoldt conjecture, and the vanishing of $\mu$-invariants of natural Iwasawa modules, we obtain an Iwasawa-theoretic classification criterion for Euler systems which can be used to study this module. This criterion, taken together with Coleman's conjecture on circular distributions, leads us to pose a refinement of the aforementioned question for which we provide strong, and unconditional, evidence. We furthermore answer this question in the affirmative in many interesting cases in the setting of the multiplicative group over number fields. As a consequence of these results, we derive explicit descriptions of the structure of the full collection of Euler systems for the situations in consideration.


title: A Kronecker limit formula for indefinite zeta functions

abstract: We prove an analogue of Kronecker's second limit formula for a continuous family of "indefinite zeta functions". Indefinite zeta functions were introduced in the author's previous paper as Mellin transforms of indefinite theta functions, as defined by Zwegers. Our formula is valid in dimension g=2 at s=1 or s=0. For a choice of parameters obeying a certain symmetry, an indefinite zeta function is a differenced ray class zeta function of a real quadratic field, and its special value at $s=0$ was conjectured by Stark to be a logarithm of an algebraic unit. Our formula also permits practical high-precision computation of Stark ray class invariants.


title: Mean-Field Theories for Depinning and their Experimental Signatures

abstract: Mean-field theory is an approximation replacing an extended system by a few variables. For depinning of elastic manifolds, these are the position of its center of mass $u$, and the statistics of the forces $F(u)$. There are two proposals to model the latter: as a random walk (ABBM model), or as uncorrelated forces at integer $u$ (discretized particle model, DPM). While for many experiments ABBM (in the literature misleadingly equated with mean-field theory) makes quantitatively correct predictions, the microscopic disorder force-force correlations cannot grow linearly, and thus unboundedly as a random walk. Even the effective (renormalized) disorder forces which do so at small distances are bounded at large distances. We propose to model forces as an Ornstein Uhlenbeck process. The latter behaves as a random walk at small scales, and is uncorrelated at large ones. By connecting to results in both limits, we solve the model largely analytically, allowing us to describe in all regimes the distributions of velocity, avalanche size and duration. To establish experimental signatures of this transition, we study the response function, and the correlation function of position $u$, velocity $\dot u$ and forces $F$ under slow driving with velocity $v>0$. While at $v=0$ force or position correlations have a cusp at the origin, this cusp is rounded at a finite driving velocity. We give a detailed analytic analysis for this rounding by velocity, which allows us, given experimental data, to extract the time-scale of the response function, and to reconstruct the force-force correlator at $v=0$. The latter is the central object of the field theory, and as such contains detailed information about the universality class in question. We test our predictions by careful numerical simulations extending over up to ten orders in magnitude.


title: Optimizing Entanglement Generation and Distribution Using Genetic Algorithms

abstract: Long-distance quantum communication via entanglement distribution is of great importance for the quantum internet. However, scaling up to such long distances has proved challenging due to the loss of photons, which grows exponentially with the distance covered. Quantum repeaters could in theory be used to extend the distances over which entanglement can be distributed, but in practice hardware quality is still lacking. Furthermore, it is generally not clear how an improvement in a certain repeater parameter, such as memory quality or attempt rate, impacts the overall network performance, rendering the path towards scalable quantum repeaters unclear. In this work we propose a methodology based on genetic algorithms and simulations of quantum repeater chains for optimization of entanglement generation and distribution. By applying it to simulations of several different repeater chains, including real-world fiber topology, we demonstrate that it can be used to answer questions such as what are the minimum viable quantum repeaters satisfying given network performance benchmarks. This methodology constitutes an invaluable tool for the development of a blueprint for a pan-European quantum internet. We have made our code, in the form of NetSquid simulations and the smart-stopos optimization tool, freely available for use either locally or on high-performance computing centers.


title: Three-dimensional coherent Bragg imaging of rotating nanoparticles

abstract: Bragg Coherent Diffraction Imaging (BCDI) is a powerful strain imaging tool, often limited by beam-induced sample instability for small particles and high power densities. Here, we devise and validate an adapted diffraction volume assembly algorithm, capable of recovering three-dimensional datasets from particles undergoing uncontrolled and unknown rotations. We apply the method to gold nanoparticles which rotate under the influence of a focused coherent X-ray beam, retrieving their three-dimensional shapes and strain fields. The results show that the sample instability problem can be overcome, enabling the use of fourth generation synchrotron sources for BCDI to their full potential.


title: On the evolution of a binary system with arbitrarily misaligned orbital and stellar angular momenta due to quasi-stationary tides

abstract: We consider the evolution of a binary system interacting due to tidal effects without restriction on the orientation of the orbital, and where significant, spin angular momenta, and orbital eccentricity. We work in the low tidal forcing frequency regime in the equilibrium tide approximation. Internal degrees of freedom are fully taken into account for one component, the primary. In the case of the companion the spin angular momentum is assumed small enough to be neglected but internal energy dissipation is allowed for as this can be significant for orbital circularisation in the case of planetary companions. We obtain a set of equations governing the evolution of the orbit resulting from tidal effects. These depend on the masses and radii of the binary components, the form and orientation of the orbit, and for each involved component, the spin rate, the Coriolis force, the normalised rate of energy dissipation associated with the equilibrium tide due to radiative processes and viscosity, and the classical apsidal motion constant. These depend on stellar parameters with no need of additional assumptions or a phenomenological approach as has been invoked in the past. They can be used to determine the evolution of systems with initial significant misalignment of spin and orbital angular momenta as hypothesised for systems containing Hot Jupiters. The inclusion of the Coriolis force may lead to evolution of the inclination between orbital and spin angular momenta and precession of the orbital plane which may have observational consequences.


title: Online Edge Coloring Algorithms via the Nibble Method

abstract: Nearly thirty years ago, Bar-Noy, Motwani and Naor [IPL'92] conjectured that an online $(1+o(1))\Delta$-edge-coloring algorithm exists for $n$-node graphs of maximum degree $\Delta=\omega(\log n)$. This conjecture remains open in general, though it was recently proven for bipartite graphs under \emph{one-sided vertex arrivals} by Cohen et al.~[FOCS'19]. In a similar vein, we study edge coloring under widely-studied relaxations of the online model. Our main result is in the \emph{random-order} online model. For this model, known results fall short of the Bar-Noy et al.~conjecture, either in the degree bound [Aggarwal et al.~FOCS'03], or number of colors used [Bahmani et al.~SODA'10]. We achieve the best of both worlds, thus resolving the Bar-Noy et al.~conjecture in the affirmative for this model. Our second result is in the adversarial online (and dynamic) model with \emph{recourse}. A recent algorithm of Duan et al.~[SODA'19] yields a $(1+\epsilon)\Delta$-edge-coloring with poly$(\log n/\epsilon)$ recourse. We achieve the same with poly$(1/\epsilon)$ recourse, thus removing all dependence on $n$. Underlying our results is one common offline algorithm, which we show how to implement in these two online models. Our algorithm, based on the R\"odl Nibble Method, is an adaptation of the distributed algorithm of Dubhashi et al.~[TCS'98]. The Nibble Method has proven successful for distributed edge coloring. We display its usefulness in the context of online algorithms.


title: Regularity of the density of states for random Dirac operators

abstract: We consider the random Dirac operators for which we have proved Anderson localization in arXiv:1812.01868. We use the Wegner estimate we have got in that paper to prove Lipschitz regularity of the density of states. Since usual methods for Schr\"odinger operators do not work in this case, we give a new one based on the Helffer-Sj\"ostrand formula.


title: Minimizing Configurations for Elastic Surface Energies with Elastic Boundaries

abstract: We study critical surfaces for a surface energy which contains the squared $L^2$ norm of the difference of the mean curvature $H$ and the spontaneous curvature $c_o$, coupled to the elastic energy of the boundary curve. We investigate the existence of equilibria with $H\equiv -c_o$. When $c_o \ge 0$ we characterize those cases where the infimum of this energy is finite for topological annuli and we find the minimizer in the cases that it exists. Results for topological discs are also given.


title: Epitaxial stabilization of (111)-oriented frustrated quantum pyrochlore thin films

abstract: Frustrated rare-earth pyrochlore titanates, Yb$_2$Ti$_2$O$_7$, and Tb$_2$Ti$_2$O$_7$ have been proposed as promising candidates to realize quantum spin ice (QSI). Multiple exotic quantum phases, including Coulombic ferromagnet, quantum valence-bond solid, and quadrupolar ordering, have been predicted to emerge in the QSI state upon application of a (111)-oriented external magnetic field. Here, we report on the primal successful layer-by-layer growth of ultra-thin films of frustrated quantum pyrochlores, R$_2$Ti$_2$O$_7$ (R = Er, Yb, and Tb), along the (111) direction. We confirm their high crystallinity and proper chemical composition by a combination of methods, including in-situ RHEED, x-ray diffraction, reciprocal space mapping, and x-ray photoelectron spectroscopy. The availability of large area (111)-oriented QSI structures with planar geometry offers a new complementary to the bulk platform to explore strain and magnetic field dependent properties in the quasi-2D limit.


title: Development and Evaluation of a Deep Neural Network for Histologic Classification of Renal Cell Carcinoma on Biopsy and Surgical Resection Slides

abstract: Renal cell carcinoma (RCC) is the most common renal cancer in adults. The histopathologic classification of RCC is essential for diagnosis, prognosis, and management of patients. Reorganization and classification of complex histologic patterns of RCC on biopsy and surgical resection slides under a microscope remains a heavily specialized, error-prone, and time-consuming task for pathologists. In this study, we developed a deep neural network model that can accurately classify digitized surgical resection slides and biopsy slides into five related classes: clear cell RCC, papillary RCC, chromophobe RCC, renal oncocytoma, and normal. In addition to the whole-slide classification pipeline, we visualized the identified indicative regions and features on slides for classification by reprocessing patch-level classification results to ensure the explainability of our diagnostic model. We evaluated our model on independent test sets of 78 surgical resection whole slides and 79 biopsy slides from our tertiary medical institution, and 69 randomly selected surgical resection slides from The Cancer Genome Atlas (TCGA) database. The average area under the curve (AUC) of our classifier on the internal resection slides, internal biopsy slides, and external TCGA slides is 0.98, 0.98 and 0.99, respectively. Our results suggest that the high generalizability of our approach across different data sources and specimen types. More importantly, our model has the potential to assist pathologists by (1) automatically pre-screening slides to reduce false-negative cases, (2) highlighting regions of importance on digitized slides to accelerate diagnosis, and (3) providing objective and accurate diagnosis as the second opinion.


title: Ginzburg-Landau energy and placement of singularities in generated cross fields

abstract: Cross field generation is often used as the basis for the construction of block-structured quadrangular meshes, and the field singularities have a key impact on the structure of the resulting meshes. In this paper, we extend Ginzburg-Landau cross field generation methods with a new formulation that allows a user to impose inner singularities. The cross field is computed via the optimization of a linear objective function with localized quadratic constraints. This method consists in fixing singularities in small holes drilled in the computational domain with specific degree conditions on their boundaries, which leads to non-singular cross fields on the drilled domain. We also propose a way to calculate the Ginzburg-Landau energy of these cross fields on the perforated domain by solving a Neumann linear problem. This energy converges to the energy of the Ginzburg-Landau functional as epsilon and the radius of the holes tend to zero. To obtain insights concerning the sum of the inner singularity degrees, we give: (i) an extension of the Ginzburg-Landau energy to the piecewise smooth domain allowing to identify the positions and degrees of the boundary singularities, and (ii) an interpretation of the Poincar\'e-Hopf theorem focusing on internal singularities.


title: Seamless high-Q microwave cavities for multimode circuit QED

abstract: Multimode cavity quantum electrodynamics ---where a two-level system interacts simultaneously with many cavity modes---provides a versatile framework for quantum information processing and quantum optics. Due to the combination of long coherence times and large interaction strengths, one of the leading experimental platforms for cavity QED involves coupling a superconducting circuit to a 3D microwave cavity. In this work, we realize a 3D multimode circuit QED system with single photon lifetimes of $2$ ms and cooperativities of $0.5-1.5\times10^9$ across 9 modes of a novel seamless cavity. We demonstrate a variety of protocols for universal single-mode quantum control applicable across all cavity modes, using only a single drive line. We achieve this by developing a straightforward flute method for creating monolithic superconducting microwave cavities that reduces loss while simultaneously allowing control of the mode spectrum and mode-qubit interaction. We highlight the flexibility and ease of implementation of this technique by using it to fabricate a variety of 3D cavity geometries, providing a template for engineering multimode quantum systems with exceptionally low dissipation. This work is an important step towards realizing hardware efficient random access quantum memories and processors, and for exploring quantum many-body physics with photons.


title: Limit shape for infinite rank limit of tensor power decomposition for Lie algebras of series so(2n+1)

abstract: We consider the Plancherel measure on irreducible components of tensor powers of the spinor representation of so(2n+1). The irreducible representations correspond to the generalized Young diagrams. With respect to this measure the probability of an irreducible representation is the product of its multiplicity and dimension, divided by the total dimension of the tensor product. We study the limit shape of the generalized Young diagram when the tensor power N and the rank n of the algebra tend to infinity with N/n fixed. We derive an explicit formula for the limit shape and prove convergence to it in probability. We prove central limit theorem for global fluctuations around the limit shape.


title: Strategy-proof and Envy-free Mechanisms for House Allocation

abstract: We consider the problem of allocating indivisible objects to agents when agents have strict preferences over objects. There are inherent trade-offs between competing notions of efficiency, fairness and incentives in assignment mechanisms. It is, therefore, natural to consider mechanisms that satisfy two of these three properties in their strongest notions, while trying to improve on the third dimension. In this paper, we are motivated by the following question: Is there a strategy-proof and envy-free random assignment mechanism more efficient than equal division? Our contributions in this paper are twofold. First, we further explore the incompatibility between efficiency and envy-freeness in the class of strategy-proof mechanisms. We define a new notion of efficiency that is weaker than ex-post efficiency and prove that any strategy-proof and envy-free mechanism must sacrifice efficiency even in this very weak sense. Next, we introduce a new family of mechanisms called Pairwise Exchange mechanisms and make the surprising observation that strategy-proofness is equivalent to envy-freeness within this class. We characterize the set of all neutral and strategy-proof (and hence, also envy-free) mechanisms in this family and show that they admit a very simple linear representation.


title: Optimal Prediction of Synchronization-Preserving Races

abstract: Concurrent programs are notoriously hard to write correctly, as scheduling nondeterminism introduces subtle errors that are both hard to detect and to reproduce. The most common concurrency errors are (data) races, which occur when memory-conflicting actions are executed concurrently. Consequently, considerable effort has been made towards developing efficient techniques for race detection. The most common approach is dynamic race prediction: given an observed, race-free trace $\sigma$ of a concurrent program, the task is to decide whether events of $\sigma$ can be correctly reordered to a trace $\sigma^*$ that witnesses a race hidden in $\sigma$. In this work we introduce the notion of sync(hronization)-preserving races. A sync-preserving race occurs in $\sigma$ when there is a witness $\sigma^*$ in which synchronization operations (e.g., acquisition and release of locks) appear in the same order as in $\sigma$. This is a broad definition that strictly subsumes the famous notion of happens-before races. Our main results are as follows. First, we develop a sound and complete algorithm for predicting sync-preserving races. For moderate values of parameters like the number of threads, the algorithm runs in $\widetilde{O}(\mathcal{N})$ time and space, where $\mathcal{N}$ is the length of the trace $\sigma$. Second, we show that the problem has a $\Omega(\mathcal{N}/\log^2 \mathcal{N})$ space lower bound, and thus our algorithm is essentially time and space optimal. Third, we show that predicting races with even just a single reversal of two sync operations is $\operatorname{NP}$-complete and even $\operatorname{W}[1]$-hard when parameterized by the number of threads. Thus, sync-preservation characterizes exactly the tractability boundary of race prediction, and our algorithm is nearly optimal for the tractable side.


title: Audio Dequantization Using (Co)Sparse (Non)Convex Methods

abstract: The paper deals with the hitherto neglected topic of audio dequantization. It reviews the state-of-the-art sparsity-based approaches and proposes several new methods. Convex as well as non-convex approaches are included, and all the presented formulations come in both the synthesis and analysis variants. In the experiments the methods are evaluated using the signal-to-distortion ratio (SDR) and PEMO-Q, a perceptually motivated metric.


title: Microsphere kinematics from the polarization of tightly focused nonseparable light

abstract: Recently, it was shown that vector beams can be utilized for fast kinematic sensing via measurements of their global polarization state [Optica 2(10), 864 (2015)]. The method relies on correlations between the spatial and polarization degrees of freedom of the illuminating field which result from its nonseparable mode structure. Here, we extend the method to the nonparaxial regime. We study experimentally and theoretically the far-field polarization state generated by the scattering of a dielectric microsphere in a tightly focused vector beam as a function of the particle position. Using polarization measurements only, we demonstrate position sensing of a Mie particle in three dimensions. Our work extends the concept of back focal plane interferometry and highlights the potential of polarization analysis in optical tweezers employing structured light.


title: A survey and analysis of TLS interception mechanisms and motivations

abstract: TLS is an end-to-end protocol designed to provide confidentiality and integrity guarantees that improve end-user security and privacy. While TLS helps defend against pervasive surveillance of intercepted unencrypted traffic, it also hinders several common beneficial operations typically performed by middleboxes on the network traffic. Consequently, various methods have been proposed that "bypass" the confidentiality goals of TLS by playing with keys and certificates essentially in a man-in-the-middle solution, as well as new proposals that extend the protocol to accommodate third parties, delegation schemes to trusted middleboxes, and fine-grained control and verification mechanisms. We first review the use cases expecting plain HTTP traffic and discuss the extent to which TLS hinders these operations. We retain 19 scenarios where access to unencrypted traffic is still relevant and evaluate the incentives of the stakeholders involved. Second, we survey 30 schemes by which TLS no longer delivers end-to-end security, and by which the notion of an "end" changes, including caching middleboxes such as Content Delivery Networks. Finally, we compare each scheme based on deployability and security characteristics, and evaluate their compatibility with the stakeholders' incentives. Our analysis leads to a number of key findings, observations, and research questions that we believe will be of interest to practitioners, policy makers and researchers.


title: Interval Rearrangement Ensembles

abstract: We introduce a new concept of interval rearrangement ensembles (IRE), which is a generalization of interval exchange transformations (IET). This construction expands the space of IETs in accordance with the natural duality that we pinpoint. Induction of Rauzy\,--\,Veech kind is applicable to IREs. It is conjugate to the reverse operation by the duality mentioned above. A natural extension of an IRE is associated with two transversal flows on a flat translation surface with branching points.


title: Quasiperiodic criticality and spin-triplet superconductivity in superconductor-antiferromagnet moire patterns

abstract: Quasiperiodicity has long been known to be a potential platform to explore exotic phenomena, realizing an intricate middle point between ordered solids and disordered matter. In particular, quasiperiodic structures are promising playgrounds to engineer critical wavefunctions, a powerful starting point to engineer exotic correlated states. Here we show that systems hosting a quasiperiodic modulation of antiferromagnetism and spin-singlet superconductivity, as realized by atomic chains in twisted van der Waals materials, host a localization-delocalization transition as a function of the coupling strength. Associated with this transition, we demonstrate the emergence of a robust quasiperiodic critical point for arbitrary incommensurate potentials, that appears for generic relative weights of the spin-singlet superconductivity and antiferromagnetism. We show that the inclusion of residual electronic interactions leads to an emergent spin-triplet superconducting state, that gets dramatically enhanced at the vicinity of the quasiperiodic critical point. Our results put forward quasiperiodicity as a powerful knob to engineer robust superconducting states, providing an alternative pathway towards artificially designed unconventional superconductors.


title: Error bounds, facial residual functions and applications to the exponential cone

abstract: We construct a general framework for deriving error bounds for conic feasibility problems. In particular, our approach allows one to work with cones that fail to be amenable or even to have computable projections, two previously challenging barriers. For the purpose, we first show how error bounds may be constructed using objects called one-step facial residual functions. Then, we develop several tools to compute these facial residual functions even in the absence of closed form expressions for the projections onto the cones. We demonstrate the use and power of our results by computing tight error bounds for the exponential cone feasibility problem. Interestingly, we discover a natural example for which the tightest error bound is related to the Boltzmann-Shannon entropy. We were also able to produce an example of sets for which a H\"{o}lderian error bound holds but the supremum of the set of admissible exponents is not itself an admissible exponent.


title: Ultracool Dwarfs in deep extragalactic surveys using the Virtual Observatory: ALHAMBRA and COSMOS

abstract: Ultracool dwarfs encompass a wide variety of compact stellar-like objects with spectra classified as late-M, L, T and Y. Most of them have been discovered using wide-field imaging surveys. The Virtual Observatory has proven to be of great utility to efficiently exploit these astronomical resources. We aim to validate a Virtual Observatory methodology designed to discover and characterize ultracool dwarfs in deep extragalactic surveys like ALHAMBRA and COSMOS. Three complementary searches based on parallaxes, proper motions and colours, respectively were carried out. A total of 897 candidate ultracool dwarfs were found, with only 16 previously reported in SIMBAD. Most of the new UCDs reported here are likely late-M and L dwarfs because of the limitations imposed by the utilization of optical ($Gaia$ DR2 and r-band) data. We complement ALHAMBRA and COSMOS photometry with other catalogues in the optical and infrared using VOSA, a Virtual Observatory tool that estimates effective temperatures from the spectral energy distribution fitting to collections of theoretical models. The agreement between the number of UCDs found in the COSMOS field and theoretical estimations together with the low false negative rate (known UCDs not discovered in our search) validates the methodology proposed in this work, which will be used in the forthcoming wide and deep surveys provided by the Euclid space mission. Simulations of Euclid number counts for UCDs detectable in different photometric passbands are presented for a wide survey area of 15,000 square degrees, and the limitations of applicability of Euclid data to detect UCDs using the methods employed in this paper are discussed.


title: Charged Lepton Flavor Violation in SU(5) SUSY GUT and MSSM + Type-I Seesaw Model

abstract: Till today lepton flavor violation has not been observed in processes involving charged leptons. Hence, a search for it is under hot pursuit both in theories and experiments. In our current work, we investigate the rates of rare decay processes such as $\tau \rightarrow \mu \gamma$ in SU(5) SUSY GUT and found that it satisfies the current bound and is one order below the projected sensitivity. This gives a corroborative argument for the influence of the large top-Yukawa coupling at the GUT scale ($\lambda_{tG}$) on flavor violating decay rates of leptons which are investigable at low energy electroweak scale $M_Z$. Secondly, we discuss the decay rates of $\mu \rightarrow e \gamma$ & $\tau \rightarrow \mu \gamma$ in MSSM with added right handed neutrino superfields. From this, we set bounds on $\tan \beta$ and further, we investigate the mass of $\tilde{\chi}^0 _1$, the LSP, using the rates of LFV decays. In the calculations, the latest updated data from LHC, neutrino oscillation experiments and constraints on branching ratios from the MEG experiment have been used.


title: Dynamical Signatures of Chaos to Integrability Crossover in $2\times 2$ Generalized Random Matrix Ensembles

abstract: We introduce a two-parameter ensemble of generalized $2\times 2$ real symmetric random matrices called the $\beta$-Rosenzweig-Porter ensemble (\brpe), parameterized by $\beta$, a fictitious inverse temperature of the analogous Coulomb gas model, and $\gamma$, controlling the relative strength of disorder. \brpe\ encompasses RPE from all of the Dyson's threefold symmetry classes: orthogonal, unitary and symplectic for $\beta=1,2,4$. Firstly, we study the energy correlations by calculating the density and 2nd moment of the Nearest Neighbor Spacing (NNS) and robustly quantify the crossover among various degrees of level repulsions. Secondly, the dynamical properties are determined from an exact calculation of the temporal evolution of the fidelity enabling an identification of the characteristic Thouless and the equilibration timescales. The relative depth of the correlation hole in the average fidelity serves as a dynamical signature of the crossover from chaos to integrability and enables us to construct the phase diagram of \brpe\ in the $\gamma$-$\beta$ plane. Our results are in qualitative agreement with numerically computed fidelity for $N\gg2$ matrix ensembles. Furthermore, we observe that for large $N$ the 2nd moment of NNS and the relative depth of the correlation hole exhibit a second order phase transition at $\gamma=2$.

categories: cond-mat.dis-nn cond-mat.stat-mech nlin.CD quant-ph


title: Qubit guidelines for solid-state spin defects

abstract: Defects with associated electron and nuclear spins in solid-state materials have a long history relevant to quantum information science going back to the first spin echo experiments with silicon dopants in the 1950s. Since the turn of the century, the field has rapidly spread to a vast array of defects and host crystals applicable to quantum communication, sensing, and computing. From simple spin resonance to long-distance remote entanglement, the complexity of working with spin defects is fast advancing, and requires an in-depth understanding of their spin, optical, charge, and material properties in this modern context. This is especially critical for discovering new relevant systems dedicated to specific quantum applications. In this review, we therefore expand upon all the key components with an emphasis on the properties of defects and the host material, on engineering opportunities and other pathways for improvement. Finally, this review aims to be as defect and material agnostic as possible, with some emphasis on optical emitters, providing a broad guideline for the field of solid-state spin defects for quantum information.


title: Emotion Understanding in Videos Through Body, Context, and Visual-Semantic Embedding Loss

abstract: We present our winning submission to the First International Workshop on Bodily Expressed Emotion Understanding (BEEU) challenge. Based on recent literature on the effect of context/environment on emotion, as well as visual representations with semantic meaning using word embeddings, we extend the framework of Temporal Segment Network to accommodate these. Our method is verified on the validation set of the Body Language Dataset (BoLD) and achieves 0.26235 Emotion Recognition Score on the test set, surpassing the previous best result of 0.2530.


title: Inertial migration of a deformable capsule in an oscillatory flow in a microchannel

abstract: Dynamics of a deformable capsule in an oscillatory flow of a Newtonian fluid in a microchannel has been studied numerically. The effects of oscillation frequency, capsule deformability, and channel flow rate have been explored by simulating the capsule within a microchannel. In addition, the simulation captures the effect of the type of imposed pressure oscillations on the migration pattern of the capsule. An oscillatory channel flow enables the focusing of extremely small biological particles by eliminating the need to design impractically long channels. The presented results show that the equilibrium position of the capsule changes not only by the addition of an oscillatory component to the pressure gradient, but it also is influenced by the capsule deformability and channel flow rate. Furthermore, it has been shown that the amplitude of oscillation of capsules decreases as the channel flow rate and the rigidity of the capsule increases.


title: Quantum Extremal Islands Made Easy, PartIII: Complexity on the Brane

abstract: We examine holographic complexity in the doubly holographic model introduced in [arXiv:2006.04851][arXiv:2010.00018] to study quantum extremal islands. We focus on the holographic complexity=volume (CV) proposal for boundary subregions in the island phase. Exploiting the Fefferman-Graham expansion of the metric and other geometric quantities near the brane, we derive the leading contributions to the complexity and interpret these in terms of the generalized volume of the island derived from the induced higher-curvature gravity action on the brane. Motivated by these results, we propose a generalization of the CV proposal for higher curvature theories of gravity. Further, we provide two consistency checks of our proposal by studying Gauss-Bonnet gravity and f(R) gravity in the bulk.


title: Goal directed molecule generation using Monte Carlo Tree Search

abstract: One challenging and essential task in biochemistry is the generation of novel molecules with desired properties. Novel molecule generation remains a challenge since the molecule space is difficult to navigate through, and the generated molecules should obey the rules of chemical valency. Through this work, we propose a novel method, which we call unitMCTS, to perform molecule generation by making a unit change to the molecule at every step using Monte Carlo Tree Search. We show that this method outperforms the recently published techniques on benchmark molecular optimization tasks such as QED and penalized logP. We also demonstrate the usefulness of this method in improving molecule properties while being similar to the starting molecule. Given that there is no learning involved, our method finds desired molecules within a shorter amount of time.


title: Dynamical theory for the battery's electromotive force

abstract: We propose a dynamical theory of how the chemical energy stored in a battery generates the electromotive force (emf). In this picture, the battery's half-cell acts as an engine, cyclically extracting work from its underlying chemical disequilibrium. We show that the double layer at the electrode-electrolyte interface can exhibit a rapid self-oscillation that pumps an electric current, thus accounting for the persistent conversion of chemical energy into electrical work equal to the emf times the separated charge. We suggest a connection between this mechanism and the slow self-oscillations observed in various electrochemical cells, including batteries, as well as the enhancement of the current observed when ultrasound is applied to the half-cell. Finally, we propose more direct experimental tests of the predictions of this dynamical theory.


title: Approximation of the Filter Equation for Multiple Timescale, Correlated, Nonlinear Systems

abstract: This paper considers the approximation of the continuous time filtering equation for the case of a multiple timescale (slow-intermediate, and fast scales) that may have correlation between the slow-intermediate process and the observation process. The signal process is considered fully coupled, taking values in $\mathbb{R^{m}} \times \mathbb{R^{n}}$ and without periodicity assumptions on coefficients. It is proved that in the weak topology, the solution of the filtering equation converges in probability to a solution of a lower dimensional averaged filtering equation in the limit of large timescale separation. The method of proof uses the perturbed test function approach (method of corrector) to handle the intermediate timescale in showing tightness and characterization of limits. The correctors are solutions of Poisson equations.


title: Why Do Better Loss Functions Lead to Less Transferable Features?

abstract: Previous work has proposed many new loss functions and regularizers that improve test accuracy on image classification tasks. However, it is not clear whether these loss functions learn better representations for downstream tasks. This paper studies how the choice of training objective affects the transferability of the hidden representations of convolutional neural networks trained on ImageNet. We show that many objectives lead to statistically significant improvements in ImageNet accuracy over vanilla softmax cross-entropy, but the resulting fixed feature extractors transfer substantially worse to downstream tasks, and the choice of loss has little effect when networks are fully fine-tuned on the new tasks. Using centered kernel alignment to measure similarity between hidden representations of networks, we find that differences among loss functions are apparent only in the last few layers of the network. We delve deeper into representations of the penultimate layer, finding that different objectives and hyperparameter combinations lead to dramatically different levels of class separation. Representations with higher class separation obtain higher accuracy on the original task, but their features are less useful for downstream tasks. Our results suggest there exists a trade-off between learning invariant features for the original task and features relevant for transfer tasks.


title: Flimma: a federated and privacy-preserving tool for differential gene expression analysis

abstract: Aggregating transcriptomics data across hospitals can increase sensitivity and robustness of differential expression analyses, yielding deeper clinical insights. As data exchange is often restricted by privacy legislation, meta-analyses are frequently employed to pool local results. However, if class labels are inhomogeneously distributed between cohorts, their accuracy may drop. Flimma (https://exbio.wzw.tum.de/flimma/) addresses this issue by implementing the state-of-the-art workflow limma voom in a privacy-preserving manner, i.e. patient data never leaves its source site. Flimma results are identical to those generated by limma voom on combined datasets even in imbalanced scenarios where meta-analysis approaches fail.


title: Unsupervised Monocular Depth Learning in Dynamic Scenes

abstract: We present a method for jointly training the estimation of depth, ego-motion, and a dense 3D translation field of objects relative to the scene, with monocular photometric consistency being the sole source of supervision. We show that this apparently heavily underdetermined problem can be regularized by imposing the following prior knowledge about 3D translation fields: they are sparse, since most of the scene is static, and they tend to be constant for rigid moving objects. We show that this regularization alone is sufficient to train monocular depth prediction models that exceed the accuracy achieved in prior work for dynamic scenes, including methods that require semantic input. Code is at https://github.com/google-research/google-research/tree/master/depth_and_motion_learning .


title: Improving models of the cosmic infrared background using CMB lensing mass maps

abstract: The cosmic infrared background (CIB) sourced by infrared emission from dusty star-forming galaxies is a valuable source of information on the star formation history of the Universe. In measurements of the millimeter sky at frequencies higher than $\sim 300$ GHz, the CIB and thermal emission from Galactic dust dominate. A limited understanding of the CIB contribution at lower frequencies on the other hand can hinder efforts to measure the kinetic Sunyaev-Zeldovich spectrum on small scales as well as new physics that affects the damping tail of the cosmic microwave background (CMB). The Planck satellite has measured with high fidelity the CIB at 217, 353, 545 and 857 GHz. On very large scales, this measurement is limited by our ability to separate the CIB from Galactic dust, but on intermediate scales, the measurements are limited by sample variance in the underlying matter field traced by the CIB. We show how significant improvements (20-100%) can be obtained on parameters of star formation models by cross-correlating the CIB (as measured from existing {\it Planck} maps or upcoming CCAT-prime maps) with upcoming mass maps inferred from gravitational lensing of the CMB. This improvement comes from improved knowledge of the redshift distribution of star-forming galaxies as well as through the use of the unbiased matter density inferred from CMB lensing mass maps to cancel the sample variance in the CIB field. We also find that further improvements can be obtained on CIB model parameters if the cross-correlation of the CIB with CMB lensing is measured over a wider area while restricting the more challenging CIB auto-spectrum measurement to the cleanest 5% of the sky.


title: $(p,q)$-complex It\^o--Hermite polynomials

abstract: We introduce two classes of $(p,q)$-It\^o--Hermite polynomials, the post-quantum analogs of the $q$-It\^o--Hermite polynomials introduced recently by Ismail and Zhang. We study their basic properties such as their operational formulas of Rodrigues type, the corresponding raising and lowering operators as well as their generating functions and the $(p,p$-differential equations they obey.


title: TopicBERT for Energy Efficient Document Classification

abstract: Prior research notes that BERT's computational cost grows quadratically with sequence length thus leading to longer training times, higher GPU memory constraints and carbon emissions. While recent work seeks to address these scalability issues at pre-training, these issues are also prominent in fine-tuning especially for long sequence tasks like document classification. Our work thus focuses on optimizing the computational cost of fine-tuning for document classification. We achieve this by complementary learning of both topic and language models in a unified framework, named TopicBERT. This significantly reduces the number of self-attention operations - a main performance bottleneck. Consequently, our model achieves a 1.4x ($\sim40\%$) speedup with $\sim40\%$ reduction in $CO_2$ emission while retaining $99.9\%$ performance over 5 datasets.


title: Sentiment Analysis for Roman Urdu Text over Social Media, a Comparative Study

abstract: In present century, data volume is increasing enormously. The data could be in form for image, text, voice, and video. One factor in this huge growth of data is usage of social media where everyone is posting data on daily basis during chatting, exchanging information, and uploading their personal and official credential. Research of sentiments seeks to uncover abstract knowledge in Published texts in which users communicate their emotions and thoughts about shared content, including blogs, news and social networks. Roman Urdu is the one of most dominant language on social networks in Pakistan and India. Roman Urdu is among the varieties of the world's third largest Urdu language but yet not sufficient work has been done in this language. In this article we addressed the prior concepts and strategies used to examine the sentiment of the roman Urdu text and reported their results as well.


title: Inherent Trade-offs in the Fair Allocation of Treatments

abstract: Explicit and implicit bias clouds human judgement, leading to discriminatory treatment of minority groups. A fundamental goal of algorithmic fairness is to avoid the pitfalls in human judgement by learning policies that improve the overall outcomes while providing fair treatment to protected classes. In this paper, we propose a causal framework that learns optimal intervention policies from data subject to fairness constraints. We define two measures of treatment bias and infer best treatment assignment that minimizes the bias while optimizing overall outcome. We demonstrate that there is a dilemma of balancing fairness and overall benefit; however, allowing preferential treatment to protected classes in certain circumstances (affirmative action) can dramatically improve the overall benefit while also preserving fairness. We apply our framework to data containing student outcomes on standardized tests and show how it can be used to design real-world policies that fairly improve student test scores. Our framework provides a principled way to learn fair treatment policies in real-world settings.


title: Semi-supervised Relation Extraction via Incremental Meta Self-Training

abstract: To alleviate human efforts from obtaining large-scale annotations, Semi-Supervised Relation Extraction methods aim to leverage unlabeled data in addition to learning from limited samples. Existing self-training methods suffer from the gradual drift problem, where noisy pseudo labels on unlabeled data are incorporated during training. To alleviate the noise in pseudo labels, we propose a method called MetaSRE, where a Relation Label Generation Network generates quality assessment on pseudo labels by (meta) learning from the successful and failed attempts on Relation Classification Network as an additional meta-objective. To reduce the influence of noisy pseudo labels, MetaSRE adopts a pseudo label selection and exploitation scheme which assesses pseudo label quality on unlabeled samples and only exploits high-quality pseudo labels in a self-training fashion to incrementally augment labeled samples for both robustness and accuracy. Experimental results on two public datasets demonstrate the effectiveness of the proposed approach.