title: NestedVAE: Isolating Common Factors via Weak Supervision

abstract: Fair and unbiased machine learning is an important and active field of research, as decision processes are increasingly driven by models that learn from data. Unfortunately, any biases present in the data may be learned by the model, thereby inappropriately transferring that bias into the decision making process. We identify the connection between the task of bias reduction and that of isolating factors common between domains whilst encouraging domain specific invariance. To isolate the common factors we combine the theory of deep latent variable models with information bottleneck theory for scenarios whereby data may be naturally paired across domains and no additional supervision is required. The result is the Nested Variational AutoEncoder (NestedVAE). Two outer VAEs with shared weights attempt to reconstruct the input and infer a latent space, whilst a nested VAE attempts to reconstruct the latent representation of one image, from the latent representation of its paired image. In so doing, the nested VAE isolates the common latent factors/causes and becomes invariant to unwanted factors that are not shared between paired images. We also propose a new metric to provide a balanced method of evaluating consistency and classifier performance across domains which we refer to as the Adjusted Parity metric. An evaluation of NestedVAE on both domain and attribute invariance, change detection, and learning common factors for the prediction of biological sex demonstrates that NestedVAE significantly outperforms alternative methods.


title: Hierarchical clustering with discrete latent variable models and the integrated classification likelihood

abstract: Finding a set of nested partitions of a dataset is useful to uncover relevant structure at different scales, and is often dealt with a data-dependent methodology. In this paper, we introduce a general two-step methodology for model-based hierarchical clustering. Considering the integrated classification likelihood criterion as an objective function, this work applies to every discrete latent variable models (DLVMs) where this quantity is tractable. The first step of the methodology involves maximizing the criterion with respect to the partition. Addressing the known problem of sub-optimal local maxima found by greedy hill climbing heuristics, we introduce a new hybrid algorithm based on a genetic algorithm efficiently exploring the space of solutions. The resulting algorithm carefully combines and merges different solutions, and allows the joint inference of the number $K$ of clusters as well as the clusters themselves. Starting from this natural partition, the second step of the methodology is based on a bottom-up greedy procedure to extract a hierarchy of clusters. In a Bayesian context, this is achieved by considering the Dirichlet cluster proportion prior parameter $\alpha$ as a regularization term controlling the granularity of the clustering. A new approximation of the criterion is derived as a log-linear function of $\alpha$, enabling a simple functional form of the merge decision criterion. This second step allows the exploration of the clustering at coarser scales. The proposed approach is compared with existing strategies on simulated as well as real settings, and its results are shown to be particularly relevant. A reference implementation of this work is available in the R package greed accompanying the paper.


title: Optimal control with learning on the fly: a toy problem

abstract: We exhibit optimal control strategies for a simple toy problem in which the underlying dynamics depend on a parameter that is initially unknown and must be learned. We consider a cost function posed over a finite time interval, in contrast to much previous work that considers asymptotics as the time horizon tends to infinity. We study several different versions of the problem, including Bayesian control, in which we assume a prior distribution on the unknown parameter; and "agnostic" control, in which we assume nothing about the unknown parameter. For the agnostic problems, we compare our performance with that of an opponent who knows the value of the parameter. This comparison gives rise to several notions of "regret," and we obtain strategies that minimize the "worst-case regret" arising from the most unfavorable choice of the unknown parameter. In every case, the optimal strategy turns out to be a Bayesian strategy or a limit of Bayesian strategies.


title: Ultracold electrons via Near-Threshold Photoemission from Single-Crystal Cu(100)

abstract: Achieving a low mean transverse energy or temperature of electrons emitted from the photocathode-based electron sources is critical to the development of next-generation and compact X-ray Free Electron Lasers and Ultrafast Electron Diffraction, Spectroscopy and Microscopy experiments. In this paper, we demonstrate a record low mean transverse energy of 5 meV from the cryo-cooled (100) surface of copper using near-threshold photoemission. Further, we also show that the electron energy spread obtained from such a surface is less than 11.5 meV, making it the smallest energy spread electron source known to date: more than an order of magnitude smaller than any existing photoemission, field emission or thermionic emission based electron source. Our measurements also shed light on the physics of electron emission and show how the energy spread at few meV scale energies is limited by both the temperature and the vacuum density of states.


title: Anderson-Bernoulli localization at large disorder on the 2D lattice

abstract: We consider the Anderson model at large disorder on $\mathbb{Z}^2$ where the potential has a symmetric Bernoulli distribution. We prove that Anderson localization happens outside a small neighborhood of finitely many energies. These finitely many energies are Dirichlet eigenvalues of the minus Laplacian restricted on some finite subsets of $\mathbb{Z}^{2}$.


title: Automatically Searching for U-Net Image Translator Architecture

abstract: Image translators have been successfully applied to many important low level image processing tasks. However, classical network architecture of image translator like U-Net, is borrowed from other vision tasks like biomedical image segmentation. This straightforward adaptation may not be optimal and could cause redundancy in the network structure. In this paper, we propose an automatic architecture searching method for image translator. By utilizing evolutionary algorithm, we investigate a more efficient network architecture which costs less computation resources and achieves better performance than the original one. Extensive qualitative and quantitative experiments are conducted to demonstrate the effectiveness of the proposed method. Moreover, we transplant the searched network architecture to other datasets which are not involved in the architecture searching procedure. Efficiency of the searched architecture on these datasets further demonstrates the generalization of the method.


title: Proximal Gradient Algorithm with Momentum and Flexible Parameter Restart for Nonconvex Optimization

abstract: Various types of parameter restart schemes have been proposed for accelerated gradient algorithms to facilitate their practical convergence in convex optimization. However, the convergence properties of accelerated gradient algorithms under parameter restart remain obscure in nonconvex optimization. In this paper, we propose a novel accelerated proximal gradient algorithm with parameter restart (named APG-restart) for solving nonconvex and nonsmooth problems. Our APG-restart is designed to 1) allow for adopting flexible parameter restart schemes that cover many existing ones; 2) have a global sub-linear convergence rate in nonconvex and nonsmooth optimization; and 3) have guaranteed convergence to a critical point and have various types of asymptotic convergence rates depending on the parameterization of local geometry in nonconvex and nonsmooth optimization. Numerical experiments demonstrate the effectiveness of our proposed algorithm.


title: Econometric issues with Laubach and Williams' estimates of the natural rate of interest

abstract: Holston, Laubach and Williams' (2017) estimates of the natural rate of interest are driven by the downward trending behaviour of 'other factor' $z_{t}$. I show that their implementation of Stock and Watson's (1998) Median Unbiased Estimation (MUE) to determine the size of the $\lambda _{z}$ parameter which drives this downward trend in $z_{t}$ is unsound. It cannot recover the ratio of interest $\lambda _{z}=a_{r}\sigma _{z}/\sigma _{\tilde{y}}$ from MUE required for the estimation of the full structural model. This failure is due to an 'unnecessary' misspecification in Holston et al.'s (2017) formulation of the Stage 2 model. More importantly, their implementation of MUE on this misspecified Stage 2 model spuriously amplifies the point estimate of $\lambda _{z}$. Using a simulation experiment, I show that their procedure generates excessively large estimates of $\lambda _{z}$ when applied to data generated from a model where the true $\lambda _{z}$ is equal to zero. Correcting the misspecification in their Stage 2 model and the implementation of MUE leads to a substantially smaller $\lambda _{z}$ estimate, and with this, a more subdued downward trending influence of 'other factor' $z_{t}$ on the natural rate. Moreover, the $\lambda _{z}$ point estimate is statistically highly insignificant, suggesting that there is no role for 'other factor' $z_{t}$ in this model. I also discuss various other estimation issues that arise in Holston et al.'s (2017) model of the natural rate that make it unsuitable for policy analysis.


title: Anisotropic tempered diffusion equations

abstract: We introduce a functional framework which is specially suited to formulate several classes of anisotropic evolution equations of tempered diffusion type. Under an amenable set of hypothesis involving a very natural potential function, these models can be shown to belong to the entropy solution framework devised by 4, 5, therefore ensuring well-posedness. We connect the properties of this potential with those of the associated cost function, thus providing a link with optimal transport theory and a supply of new examples of relativistic cost functions. Moreover, we characterize the anisotropic spreading properties of these models and we determine the Rankine-Hugoniot conditions that rule the temporal evolution of jump hypersurfaces under the given anisotropic flows.


title: Lie symmetry analysis and one-dimensional optimal system for the generalized 2+1 Kadomtsev-Petviashvili equation

abstract: We classify the Lie point symmetries for the 2+1 nonlinear generalized Kadomtsev-Petviashvili equation by determine all the possible f(u) functional forms where the latter depends. For each case the one-dimensional optimal system is derived; a necessary analysis to find all the possible similarity transformations which simplify the equation. We demonstrate our results by constructing static and travel-wave similarity solutions. In particular the latter solutions satisfy a second-order nonlinear ordinary differential equation which can be solved by quadratures.


title: Development of an advanced Compton telescope for MeV-range gamma-ray astronomy

abstract: An advanced Compton telescope appears to be the best instrument concept for the next generation gamma-ray space observatory in the MeV range. A first prototype of advanced Compton telescope is being developed to match the constraints of a nano satellite mission, with the scientific objective of measuring gamma-ray burst prompt emission polarization. Our instrumental developments for this project are focusing on the position-sensitive calorimeter module, made of a monolithic inorganic CeBr$_3$ scintillator read by a pixelated photodetector. 3D position reconstruction is obtained by deep-learning algorithms that have been optimized down to an uncertainty of 2 mm for each spatial direction.


title: Synchronous Counter Design Using Novel Level Sensitive T-FF in QCA Technology

abstract: The quantum-dot cellular automata (QCA) nano-technique has attracted computer scientists due to its noticeable features such as low power consumption and small size. Many papers have been published in the literature about the utilization of this technology for de-signing many QCA circuits and for presenting logic gates in an optimal structure. The T flip-flop, which is an essential part of digital designs, can be used to design synchronous and asynchronous counters. This paper presents a novel T flip-flop structure in an optimal form. The presented novel gate was used to design an N-bit binary synchronous counter. The QCADesigner software was used to verify the designed circuits and to present the simulation results, while the QCAPro tool was used for the power analysis. The proposed design required minimal power and showed good improvements over previous designs.


title: Interference and Rate Analysis of Multinumerology NOMA

abstract: 5G communication systems and beyond are envisioned to support an extremely diverse set of use cases with different performance requirements. These different requirements necessitate the use of different numerologies for increased flexibility. Non-orthogonal multiple access (NOMA) can potentially attain this flexibility by superimposing user signals while offering improved spectral efficiency (SE). However, users with different numerologies have different symbol durations. When combined with NOMA, this changes the nature of the interference the users impose on each other. This paper investigates a multinumerology NOMA (MN-NOMA) scheme using successive interference cancellation (SIC) as an enabler for coexistence of users with with different numerologies. Analytical expressions for the inter-numerology interference (INI) experienced by each user at the receiver are derived, where mean-squared error (MSE) is the metric used to quantify INI. Using the MSE expressions, we analytically derive achievable rates for each user in the MN-NOMA system. These expressions are then evaluated and used to compare the SE performance of MN-NOMA with that of its single-numerology counterpart. The proposed scheme can achieve the desired flexibility in supporting diverse use cases in future wireless networks. The scheme also gains the SE benefits of NOMA compared to both multinumerology and single numerology orthogonal multiple access (OMA) schemes.


title: Recommendation on a Budget: Column Space Recovery from Partially Observed Entries with Random or Active Sampling

abstract: We analyze alternating minimization for column space recovery of a partially observed, approximately low rank matrix with a growing number of columns and a fixed budget of observations per column. In this work, we prove that if the budget is greater than the rank of the matrix, column space recovery succeeds -- as the number of columns grows, the estimate from alternating minimization converges to the true column space with probability tending to one. From our proof techniques, we naturally formulate an active sampling strategy for choosing entries of a column that is theoretically and empirically (on synthetic and real data) better than the commonly studied uniformly random sampling strategy.


title: Ranking a set of objects: a graph based least-square approach

abstract: We consider the problem of ranking $N$ objects starting from a set of noisy pairwise comparisons provided by a crowd of equal workers. We assume that objects are endowed with intrinsic qualities and that the probability with which an object is preferred to another depends only on the difference between the qualities of the two competitors. We propose a class of non-adaptive ranking algorithms that rely on a least-squares optimization criterion for the estimation of qualities. Such algorithms are shown to be asymptotically optimal (i.e., they require $O(\frac{N}{\epsilon^2}\log \frac{N}{\delta})$ comparisons to be $(\epsilon, \delta)$-PAC). Numerical results show that our schemes are very efficient also in many non-asymptotic scenarios exhibiting a performance similar to the maximum-likelihood algorithm. Moreover, we show how they can be extended to adaptive schemes and test them on real-world datasets.


title: Electric field control of radiative heat transfer in a superconducting circuit

abstract: Heat is detrimental for the operation of quantum systems, yet it fundamentally behaves according to quantum mechanics, being phase coherent and universally quantum-limited regardless of its carriers. Due to their robustness, superconducting circuits integrating dissipative elements are ideal candidates to emulate many-body phenomena in quantum heat transport, hitherto scarcely explored experimentally. However, their ability to tackle the underlying full physical richness is severely hindered by the exclusive use of a magnetic flux as a control parameter and requires complementary approaches. Here, we introduce a dual, magnetic field-free circuit where charge quantization in a superconducting island enables thorough electric field control. We thus tune the thermal conductance, close to its quantum limit, of a single photonic channel between two mesoscopic reservoirs. We observe heat flow oscillations originating from the competition between Cooper-pair tunnelling and Coulomb repulsion in the island, well captured by a simple model. Our results demonstrate that the duality between charge and flux extends to heat transport, with promising applications in thermal management of quantum devices.


title: PolyFold: an interactive visual simulator for distance-based protein folding

abstract: Recent advances in distance-based protein folding have led to a paradigm shift in protein structure prediction. Through sufficiently precise estimation of the inter-residue distance matrix for a protein sequence, it is now feasible to predict the correct folds for new proteins much more accurately than ever before. Despite the exciting progress, a dedicated visualization system that can dynamically capture the distance-based folding process is still lacking. Most molecular visualizers typically provide only a static view of a folded protein conformation, but do not capture the folding process. Even among the selected few graphical interfaces that do adopt a dynamic perspective, none of them are distance-based. Here we present PolyFold, an interactive visual simulator for dynamically capturing the distance-based protein folding process through real-time rendering of a distance matrix and its compatible spatial conformation as it folds in an intuitive and easy-to-use interface. PolyFold integrates highly convergent stochastic optimization algorithms with on-demand customizations and interactive manipulations to maximally satisfy the geometric constraints imposed by a distance matrix. PolyFold is capable of simulating the complex process of protein folding even on modest personal computers, thus making it accessible to the general public for fostering citizen science. Open source code of PolyFold is freely available for download at https://github.com/Bhattacharya-Lab/PolyFold. It is implemented in cross-platform Java and binary executables are available for macOS, Linux, and Windows.


title: Appending Atomically in Byzantine Distributed Ledgers

abstract: A Distributed Ledger Object (DLO) is a concurrent object that maintains a totally ordered sequence of records, and supports two basic operations: append, which appends a record at the end of the sequence, and get, which returns the sequence of records. In this work we provide a proper formalization of a Byzantine-tolerant Distributed Ledger Object (BDLO), which is a DLO in a distributed system in which processes may deviate arbitrarily from their indented behavior, i.e. they may be Byzantine. Our formal definition is accompanied by algorithms to implement BDLOs by utilizing an underlying Byzantine Atomic Broadcast service. We then utilize the BDLO implementations to solve the Atomic Appends problem against Byzantine processes. The Atomic Appends problem emerges when several clients have records to append, the record of each client has to be appended to a different BDLO, and it must be guaranteed that either all records are appended or none. We present distributed algorithms implementing solutions for the Atomic Appends problem when the clients (which are involved in the appends) and the servers (which maintain the BDLOs) may be Byzantine.


title: On the complexity of evaluating highest weight vectors

abstract: Geometric complexity theory (GCT) is an approach towards separating algebraic complexity classes through algebraic geometry and representation theory. Originally Mulmuley and Sohoni proposed (SIAM J Comput 2001, 2008) to use occurrence obstructions to prove Valiant's determinant vs permanent conjecture, but recently B\"urgisser, Ikenmeyer, and Panova (Journal of the AMS 2019) proved this impossible. However, fundamental theorems of algebraic geometry and representation theory grant that every lower bound in GCT can be proved by the use of so-called highest weight vectors (HWVs). In the setting of interest in GCT (namely in the setting of polynomials) we prove the NP-hardness of the evaluation of HWVs in general, and we give efficient algorithms if the treewidth of the corresponding Young-diagram is small, where the point of evaluation is concisely encoded as a noncommutative algebraic branching program! In particular, this gives a large new class of separating functions that can be efficiently evaluated at points with low (border) Waring rank.


title: Chern number and orbital magnetization in ribbons, polymers, and layered materials

abstract: The modern theory of orbital magnetization addresses crystalline materials at the noninteracting level: therein the observable is the k-space integral of a geometrical integrand. Alternatively, magnetization admits a local representation in r space, i.e. a "density" which may address noncrystalline and/or inhomogeneous materials as well; the Chern number admits an analogous density. Here we provide the formulation for ribbons, polymers, and layered materials, where both k-space and r-space integrations enter the definition of the two observables.


title: An Optimal Control Model of Mouse Pointing Using the LQR

abstract: In this paper we explore the Linear-Quadratic Regulator (LQR) to model movement of the mouse pointer. We propose a model in which users are assumed to behave optimally with respect to a certain cost function. Users try to minimize the distance of the mouse pointer to the target smoothly and with minimal effort, by simultaneously minimizing the jerk of the movement. We identify parameters of our model from a dataset of reciprocal pointing with the mouse. We compare our model to the classical minimum-jerk and second-order lag models on data from 12 users with a total of 7702 movements. Our results show that our approach explains the data significantly better than either of these previous models.


title: Singularities of Algebraic Differential Equations

abstract: There exists a well established differential topological theory of singularities of ordinary differential equations. It has mainly studied scalar equations of low order. We propose an extension of the key concepts to arbitrary systems of ordinary or partial differential equations. Furthermore, we show how a combination of this geometric theory with (differential) algebraic tools allows us to make parts of the theory algorithmic. Our three main results are firstly a proof that even in the case of partial differential equations regular points are generic. Secondly, we present an algorithm for the effective detection of all singularities at a given order or, more precisely, for the determination of a regularity decomposition. Finally, we give a rigorous definition of a regular differential equation, a notoriously difficult notion ubiquitous in the geometric theory of differential equations, and show that our algorithm extracts from each prime component a regular differential equation. Our main tools are on the one hand the algebraic resp. differential Thomas decomposition and on the other hand the Vessiot theory of differential equations.


title: Global recovery of a time-dependent coefficient for the wave equation from a single measurement

abstract: We consider the formally determined inverse problem of recovering an unknown time-dependent potential function from the knowledge of the restriction of the solution of the wave equation to a small subset, subject to a single external source. We show that one can determine the potential function, up to the natural obstruction for the problem, by using a single source placed in the exterior of the spacetime domain and subsequently measuring the solution in a small neighborhood outside of the spacetime domain. The approach is based on considering a dense collection of light rays and constructing a source function that combines a countable collection of sources that each generates a wave packet near a light ray in the collection. We show that measuring the solution corresponding to that single source simultaneously determines the light ray transform along all the light rays in the collection. The result then follows from injectivity of the light ray transform. Our proof also provides a reconstruction algorithm.


title: Minimax Optimal Estimation of KL Divergence for Continuous Distributions

abstract: Estimating Kullback-Leibler divergence from identical and independently distributed samples is an important problem in various domains. One simple and effective estimator is based on the k nearest neighbor distances between these samples. In this paper, we analyze the convergence rates of the bias and variance of this estimator. Furthermore, we derive a lower bound of the minimax mean square error and show that kNN method is asymptotically rate optimal.


title: Megaparsec-scale structure around the proto-cluster core SPT2349$-$56 at $z\,{=}\,4.3$

abstract: We present an extensive ALMA spectroscopic follow-up programme of the $z\,{=}\,4.3$ structure SPT2349$-$56, one of the most actively star-forming proto-cluster cores known, to identify additional members using their [C{\sc ii}] 158\,$\mu$m and \mbox{CO(4--3)} lines. In addition to robustly detecting the 14 previously published galaxies in this structure, we identify a further 15 associated galaxies at $z\,{=}\,4.3$, resolving 55$\,{\pm}\,$5\,per cent of the 870-$\mu$m flux density at 0.5\,arcsec resolution compared to 21\,arcsec single-dish data. These galaxies are distributed into a central core containing 23 galaxies extending out to 300\,kpc in diameter, and a northern extension, offset from the core by 400\,kpc, containing three galaxies. We discovered three additional galaxies in a red {\it Herschel\/}-SPIRE source 1.5\,Mpc from the main structure, suggesting the existence of many other sources at the same redshift as SPT2349$-$56 that are not yet detected in the limited coverage of our data. An analysis of the velocity distribution of the central galaxies indicates that this region may be virialized with a mass of (9$\pm$5)$\,{\times}\,$10$^{12}$\,M$_{\odot}$, while the two offset galaxy groups are about 30 and 60\,per cent less massive and show significant velocity offsets from the central group. We calculate the [C{\sc ii}] and far-infrared number counts, and find evidence for a break in the [C{\sc ii}] luminosity function. We estimate the average SFR density within the region of SPT2349$-$56 containing single-dish emission (a proper diametre of 720\,kpc), assuming spherical symmetry, to be roughly 4$\,{\times}\,10^4$\,M$_{\odot}$\,yr$^{-1}$\,Mpc$^{-3}$; this may be an order of magnitude greater than the most extreme examples seen in simulations.


title: Stagewise Enlargement of Batch Size for SGD-based Learning

abstract: Existing research shows that the batch size can seriously affect the performance of stochastic gradient descent~(SGD) based learning, including training speed and generalization ability. A larger batch size typically results in less parameter updates. In distributed training, a larger batch size also results in less frequent communication. However, a larger batch size can make a generalization gap more easily. Hence, how to set a proper batch size for SGD has recently attracted much attention. Although some methods about setting batch size have been proposed, the batch size problem has still not been well solved. In this paper, we first provide theory to show that a proper batch size is related to the gap between initialization and optimum of the model parameter. Then based on this theory, we propose a novel method, called \underline{s}tagewise \underline{e}nlargement of \underline{b}atch \underline{s}ize~(\mbox{SEBS}), to set proper batch size for SGD. More specifically, \mbox{SEBS} adopts a multi-stage scheme, and enlarges the batch size geometrically by stage. We theoretically prove that, compared to classical stagewise SGD which decreases learning rate by stage, \mbox{SEBS} can reduce the number of parameter updates without increasing generalization error. SEBS is suitable for \mbox{SGD}, momentum \mbox{SGD} and AdaGrad. Empirical results on real data successfully verify the theories of \mbox{SEBS}. Furthermore, empirical results also show that SEBS can outperform other baselines.


title: Molecular dynamics simulation study of a polymer droplet transport over an array of spherical nanoparticles

abstract: The dynamic behavior of a partially wetting polymer droplet driven over a nanostructured interface is studied using molecular dynamics simulations. We consider the bead-spring model to represent a polymeric liquid that partially wets a rough surface composed of a periodic array of spherical particles. It is shown that at sufficiently small values of the external force, the droplet remains pinned at the particles' surface, while above the threshold, its motion consists of alternating periods of pinning and rapid displacements between neighboring particles. The latter process involves large periodic variation of the advancing and receding contact angles due to attachment and detachment of the contact line. Finally, upon increasing external force, the droplet center of mass is displaced steadily but the oscillation amplitude of the receding contact angle as well as the maximum contact angle hysteresis remain relatively unaffected.


title: DP-MERF: Differentially Private Mean Embeddings with Random Features for Practical Privacy-Preserving Data Generation

abstract: We propose a differentially private data generation paradigm using random feature representations of kernel mean embeddings when comparing the distribution of true data with that of synthetic data. We exploit the random feature representations for two important benefits. First, we require a minimal privacy cost for training deep generative models. This is because unlike kernel-based distance metrics that require computing the kernel matrix on all pairs of true and synthetic data points, we can detach the data-dependent term from the term solely dependent on synthetic data. Hence, we need to perturb the data-dependent term only once and then use it repeatedly during the generator training. Second, we can obtain an analytic sensitivity of the kernel mean embedding as the random features are norm bounded by construction. This removes the necessity of hyper-parameter search for a clipping norm to handle the unknown sensitivity of a generator network. We provide several variants of our algorithm, differentially-private mean embeddings with random features (DP-MERF) to jointly generate labels and input features for datasets such as heterogeneous tabular data and image data. Our algorithm achieves drastically better privacy-utility trade-offs than existing methods when tested on several datasets.


title: Greedy balanced pairs in $N$-free ordered sets

abstract: An $\alpha$-greedy balanced pair in an ordered set $P=(V,\leq)$ is a pair $(x,y)$ of elements of $V$ such that the proportion of greedy linear extensions of $P$ that put $x$ before $y$ among all greedy linear extensions is in the real interval $[\alpha, 1-\alpha]$. We prove that every $N$-free ordered set which is not totally ordered has a $\frac{1}{2}$-greedy balanced pair.


title: Smooth bang-bang shortcuts to adiabaticity for atomic transport in a moving harmonic trap

abstract: Bang-bang control is often used to implement a minimal-time shortcut to adiabaticity for efficient transport of atoms in a moving harmonic trap. However, drastic changes of the on-off controller, leading to high transport-mode excitation and energy consumption, become infeasible under realistic experimental conditions. To circumvent these problems, we propose smooth bang-bang protocols with near-minimal time, by setting the physical constraints on the relative displacement, speed, and acceleration between the mass center of the atom and the trap center. We adopt Pontryagin's maximum principle to obtain the analytical solutions of smooth bang-bang protocol for near-time-minimal control. More importantly, it is found that the energy excitation and sloshing amplitude are significantly reduced at the expense of operation time. We also present a multiple shooting method for the self-consistent numerical analysis. Finally, this method is applied to other tasks, e.g., energy minimization, where obtaining smooth analytical form is complicated.


title: Red Be stars in the Magellanic Clouds?

abstract: We revisit the subject of Be star candidates towards the Magellanic Clouds, previously studied by the authors using SPM4 proper motions. We obtain GAIA DR2 parallaxes and proper motions for 2357 and 994 LMC and SMC Be candidates, respectively. Parallaxes and proper motions vs. color V-I easily reveal the presence of the redder galactic contaminant foreground, as concluded in our previous work, but this time we do find a few red Be stars candidates consistent with being true Magellanic objects. A membership assessment to each Magellanic Cloud is done for each Be candidate, based on the distribution of their parallaxes and proper motions. From a compilation of published catalogues of spectroscopically confirmed Be stars, we found that 40 (LMC) and 64 (SMC) of these Be candidates, are in fact Be stars. Near infrared IRSF JHKs magnitudes were obtained for about 70% the Be stars candidates with GAIA DR2 astrometric data. Mid-infrared SAGE IRAC 3.6, 4.5, 5.8 and 8.0 $\mu$m magnitudes were obtained for about 85% as well. 6 LMC and 7 SMC confirmed Be stars show optical, near- or mid-infrared colours redder than what has been typically measured for Classical Be stars. Several of the Be candidates follow those redder-than-expected colours distributions suggesting the existence of more red Magellanic Be stars.


title: Equidistribution results for self-similar measures

abstract: A well known theorem due to Koksma states that for Lebesgue almost every $x>1$ the sequence $(x^n)_{n=1}^{\infty}$ is uniformly distributed modulo one. In this paper we give sufficient conditions for an analogue of this theorem to hold for self-similar measures. Our approach applies more generally to sequences of the form $(f_{n}(x))_{n=1}^{\infty}$ where $(f_n)_{n=1}^{\infty}$ is a sequence of sufficiently smooth real valued functions satisfying a nonlinearity assumption. As a corollary of our main result, we show that if $C$ is equal to the middle third Cantor set and $t\geq 1$, then with respect to the Cantor-Lebesgue measure on $C+t$ the sequence $(x^n)_{n=1}^{\infty}$ is uniformly distributed for almost every $x$.


title: Fr\'echet Modules and Descent

abstract: We study several aspects of the study of Ind-Banach modules over Banach rings thereby synthesizing some aspects of homological algebra and functional analysis. This includes a study of nuclear modules and of modules which are flat with respect to the projective tensor product. We also study metrizable and Fr\'{e}chet Ind-Banach modules. We give explicit descriptions of projective limits of Banach rings as ind-objects. We study exactness properties of projective tensor product with respect to kernels and countable products. As applications, we describe a theory of quasi-coherent modules in Banach algebraic geometry. We prove descent theorems for quasi-coherent modules in various analytic and arithmetic contexts.


title: ARMA Nets: Expanding Receptive Field for Dense Prediction

abstract: Global information is essential for dense prediction problems, whose goal is to compute a discrete or continuous label for each pixel in the images. Traditional convolutional layers in neural networks, initially designed for image classification, are restrictive in these problems since the filter size limits their receptive fields. In this work, we propose to replace any traditional convolutional layer with an autoregressive moving-average (ARMA) layer, a novel module with an adjustable receptive field controlled by the learnable autoregressive coefficients. Compared with traditional convolutional layers, our ARMA layer enables explicit interconnections of the output neurons and learns its receptive field by adapting the autoregressive coefficients of the interconnections. ARMA layer is adjustable to different types of tasks: for tasks where global information is crucial, it is capable of learning relatively large autoregressive coefficients to allow for an output neuron's receptive field covering the entire input; for tasks where only local information is required, it can learn small or near zero autoregressive coefficients and automatically reduces to a traditional convolutional layer. We show both theoretically and empirically that the effective receptive field of networks with ARMA layers (named as ARMA networks) expands with larger autoregressive coefficients. We also provably solve the instability problem of learning and prediction in the ARMA layer through a re-parameterization mechanism. Additionally, we demonstrate that ARMA networks substantially improve their baselines on challenging dense prediction tasks including video prediction and semantic segmentation.


title: Liquid Scorecards

abstract: Traditional credit scorecards are generalized additive models (GAMs) with step functions as the component functions. The shapes of the step functions may be constrained in order to satisfy the PILE (Palatability, Interpretability, Legal, Explain-ability) constraints. Before 2003, FICO used Linear Programming to find the traditional scorecard that approximately maximizes divergence subject to the PILE constraints. In this paper, I introduce the Liquid Scorecard, that allows the component functions to be, at least partially, smooth curves. I use Quadratic Programming and B-Spline theory to find the Liquid Scorecard that exactly maximizes divergence subject to the PILE constraints. FICO uses aspects of this technology to develop the famous FICO Credit Score.


title: Online Learning in Contextual Bandits using Gated Linear Networks

abstract: We introduce a new and completely online contextual bandit algorithm called Gated Linear Contextual Bandits (GLCB). This algorithm is based on Gated Linear Networks (GLNs), a recently introduced deep learning architecture with properties well-suited to the online setting. Leveraging data-dependent gating properties of the GLN we are able to estimate prediction uncertainty with effectively zero algorithmic overhead. We empirically evaluate GLCB compared to 9 state-of-the-art algorithms that leverage deep neural networks, on a standard benchmark suite of discrete and continuous contextual bandit problems. GLCB obtains median first-place despite being the only online method, and we further support these results with a theoretical study of its convergence properties.


title: Cell cycle and protein complex dynamics in discovering signaling pathways

abstract: Signaling pathways are responsible for the regulation of cell processes, such as monitoring the external environment, transmitting information across membranes, and making cell fate decisions. Given the increasing amount of biological data available and the recent discoveries showing that many diseases are related to the disruption of cellular signal transduction cascades, in silico discovery of signaling pathways in cell biology has become an active research topic in past years. However, reconstruction of signaling pathways remains a challenge mainly because of the need for systematic approaches for predicting causal relationships, like edge direction and activation/inhibition among interacting proteins in the signal flow. We propose an approach for predicting signaling pathways that integrates protein interactions, gene expression, phenotypes, and protein complex information. Our method first finds candidate pathways using a directed-edge-based algorithm and then defines a graph model to include causal activation relationships among proteins, in candidate pathways using cell cycle gene expression and phenotypes to infer consistent pathways in yeast. Then, we incorporate protein complex coverage information for deciding on the final predicted signaling pathways. We show that our approach improves the predictive results of the state of the art using different ranking metrics.


title: The Differentially Private Lottery Ticket Mechanism

abstract: We propose the differentially private lottery ticket mechanism (DPLTM). An end-to-end differentially private training paradigm based on the lottery ticket hypothesis. Using "high-quality winners", selected via our custom score function, DPLTM significantly improves the privacy-utility trade-off over the state-of-the-art. We show that DPLTM converges faster, allowing for early stopping with reduced privacy budget consumption. We further show that the tickets from DPLTM are transferable across datasets, domains, and architectures. Our extensive evaluation on several public datasets provides evidence to our claims.


title: Composite Matrices from Group Rings, Composite G-Codes and Constructions of Self-Dual Codes

abstract: In this work, we define composite matrices which are derived from group rings. We extend the idea of G-codes to composite G-codes. We show that these codes are ideals in a group ring, where the ring is a finite commutative Frobenius ring and G is an arbitrary finite group. We prove that the dual of a composite G-code is also a composite G-code. We define quasi-composite G-codes and give a construction of these codes. We also study generator matrices, which consist of the identity matrices and the composite matrices. Together with the generator matrices, the well known extension method, the neighbour method and its generalization, we find extremal binary self-dual codes of length 68 with new weight enumerators for the rare parameters gamma=7,8 and 9. In particular, we find 49 new such codes. Moreover, we show that the codes we find are inaccessible from other constructions.


title: Intensive use of computing resources for dominations in grids and other combinatorial problems

abstract: Our goal is to prove new results in graph theory and combinatorics thanks to the speed of computers, used with smart algorithms. We tackle four problems. The four-colour theorem states that any map whose countries are connected can be coloured with 4 colours such that neighbouring countries have differnt colours. It was the first result proved using computers, in 1989. We wished to automatise further its proof. We explain the proof and provide a program which replays the proof. It also makes it possible to obtain other results with the same method. We give ideas to automatise the search for discharging rules. We also study the problems of domination in grids. The simplest one is the one of domination. It consists in putting a stone on some cells of a grid such that every cell has a stone, or has a neighbour with a stone. This problem was solved in 2011, using computers to prove a formula giving the minimum number of stones needed. We adapt this method for the first time for variants of the domination. We solve partially two other problems and give for them lower bounds for grids of arbitrary size. We also tackle the counting problem for dominating sets. How many dominating sets are there for a given grid? We study this counting problem for the domination and three variants. For each of these problems, we prove the existence of asymptotic growths rates for which we give bounds. Finally we study polyominoes and the way they can tile rectangles. We tried to solve a problem from 1989: is there a polyomino of odd order? It consists in finding a polyomino which can tile a rectangle with an odd number of copies, but cannot tile any smaller rectangle. We did not manage to solve this problem, but we made a program to enumerate polyominoes and try to find their orders, discarding those which cannot tile rectangles. We also give statistics on the orders of polyominoes of size up to 18.


title: Zooming Slow-Mo: Fast and Accurate One-Stage Space-Time Video Super-Resolution

abstract: In this paper, we explore the space-time video super-resolution task, which aims to generate a high-resolution (HR) slow-motion video from a low frame rate (LFR), low-resolution (LR) video. A simple solution is to split it into two sub-tasks: video frame interpolation (VFI) and video super-resolution (VSR). However, temporal interpolation and spatial super-resolution are intra-related in this task. Two-stage methods cannot fully take advantage of the natural property. In addition, state-of-the-art VFI or VSR networks require a large frame-synthesis or reconstruction module for predicting high-quality video frames, which makes the two-stage methods have large model sizes and thus be time-consuming. To overcome the problems, we propose a one-stage space-time video super-resolution framework, which directly synthesizes an HR slow-motion video from an LFR, LR video. Rather than synthesizing missing LR video frames as VFI networks do, we firstly temporally interpolate LR frame features in missing LR video frames capturing local temporal contexts by the proposed feature temporal interpolation network. Then, we propose a deformable ConvLSTM to align and aggregate temporal information simultaneously for better leveraging global temporal contexts. Finally, a deep reconstruction network is adopted to predict HR slow-motion video frames. Extensive experiments on benchmark datasets demonstrate that the proposed method not only achieves better quantitative and qualitative performance but also is more than three times faster than recent two-stage state-of-the-art methods, e.g., DAIN+EDVR and DAIN+RBPN.


title: A Polynomial Time Algorithm for Almost Optimal Vertex Fault Tolerant Spanners

abstract: We present the first polynomial time algorithm for the f vertex fault tolerant spanner problem, which achieves almost optimal spanner size. Our algorithm for constructing f vertex fault tolerant spanner takes $O(k\cdot n\cdot m^2 \cdot W)$ time, where W is the maximum edge weight, and constructs a spanner of size $O(n^{1+1/k}f^{1-1/k}\cdot (\log n)^{1-1/k})$. Our spanner has almost optimal size and is at most a $\log n$ factor away from the upper bound on the worst-case size. Prior to this work, no other polynomial time algorithm was known for constructing f vertex fault tolerant spanner with optimal size. Our algorithm is based on first greedily constructing a hitting set for the collection of paths of weight at most $k \cdot w(u,v)$ between the endpoints u and v of an edge (u,v) and then using this set to decide whether the edge (u,v) needs to be added to the growing spanner.


title: Better coverage, better outcomes? Mapping mobile network data to official statistics using satellite imagery and radio propagation modelling

abstract: Mobile sensing data has become a popular data source for geo-spatial analysis, however, mapping it accurately to other sources of information such as statistical data remains a challenge. Popular mapping approaches such as point allocation or voronoi tessellation provide only crude approximations of the mobile network coverage as they do not consider holes, overlaps and within-cell heterogeneity. More elaborate mapping schemes often require additional proprietary data operators are highly reluctant to share. In this paper, I use human settlement information extracted from publicly available satellite imagery in combination with stochastic radio propagation modelling techniques to account for that. I investigate in a simulation study and a real-world application on unemployment estimates in Senegal whether better coverage approximations lead to better outcome predictions. The good news is: it does not have to be complicated.


title: Election in India: Polling in National Financial Switch

abstract: Indian voters from Kashmir to Kanyakumari select their representatives to form their parliament by going to polls. India's election is one of the largest democratic exercise in the world history. About 850 million eligible voters determine which political party or alliance will form the government and in turn, will serve as prime minister. Given the electoral rules of placing a polling place within 2 kilometers of every habitation, it comes as no surprise that is indeed a humongous task for the Election Commission of India (ECI). It sends around 11 million election workers through tough terrains to reach the last mile. This exercise also comes as ever growing expenditure for the ECI. This paper proposes the use of Automated Teller Machines (ATM) and Point Of Sale (POS) machines to be used to cover as much as urban, rural and semi-urban places possible given the wide network of National Financial Switch (NFS) and increase in connectivity through Digital India initiative. This would add to the use of the existing infrastructure to accommodate a free, fair and transparent election.


title: Hybrid-Liouvillian formalism connecting exceptional points of non-Hermitian Hamiltonians and Liouvillians via postselection of quantum trajectories

abstract: Exceptional points (EPs) are degeneracies of classical and quantum open systems, which are studied in many areas of physics including optics, optoelectronics, plasmonics, and condensed matter physics. In the semiclassical regime, open systems can be described by phenomenological effective non-Hermitian Hamiltonians (NHHs) capturing the effects of gain and loss in terms of imaginary fields. The EPs that characterize the spectra of such Hamiltonians (HEPs) describe the time evolution of a system without quantum jumps. It is well known that a full quantum treatment describing more generic dynamics must crucially take into account such quantum jumps. In a recent paper [F. Minganti $et$ $al.$, Phys. Rev. A $\mathbf{100}$, $062131$ ($2019$)], we generalized the notion of EPs to the spectra of Liouvillian superoperators governing open system dynamics described by Lindblad master equations. Intriguingly, we found that in situations where a classical-to-quantum correspondence exists, the two types of dynamics can yield different EPs. In a recent experimental work [M. Naghiloo $et$ $al.$, Nat. Phys. $\mathbf{15}$, $1232$ ($2019$)], it was shown that one can engineer a non-Hermitian Hamiltonian in the quantum limit by postselecting on certain quantum jump trajectories. This raises an interesting question concerning the relation between Hamiltonian and Lindbladian EPs, and quantum trajectories. We discuss these connections by introducing a hybrid-Liouvillian superoperator, capable of describing the passage from an NHH (when one postselects only those trajectories without quantum jumps) to a true Liouvillian including quantum jumps (without postselection). Beyond its fundamental interest, our approach allows to intuitively relate the effects of postselection and finite-efficiency detectors.


title: Algorithms for Fair Team Formation in Online Labour Marketplaces

abstract: As freelancing work keeps on growing almost everywhere due to a sharp decrease in communication costs and to the widespread of Internet-based labour marketplaces (e.g., guru.com, feelancer.com, mturk.com, upwork.com), many researchers and practitioners have started exploring the benefits of outsourcing and crowdsourcing. Since employers often use these platforms to find a group of workers to complete a specific task, researchers have focused their efforts on the study of team formation and matching algorithms and on the design of effective incentive schemes. Nevertheless, just recently, several concerns have been raised on possibly unfair biases introduced through the algorithms used to carry out these selection and matching procedures. For this reason, researchers have started studying the fairness of algorithms related to these online marketplaces, looking for intelligent ways to overcome the algorithmic bias that frequently arises. Broadly speaking, the aim is to guarantee that, for example, the process of hiring workers through the use of machine learning and algorithmic data analysis tools does not discriminate, even unintentionally, on grounds of nationality or gender. In this short paper, we define the Fair Team Formation problem in the following way: given an online labour marketplace where each worker possesses one or more skills, and where all workers are divided into two or more not overlapping classes (for examples, men and women), we want to design an algorithm that is able to find a team with all the skills needed to complete a given task, and that has the same number of people from all classes. We provide inapproximability results for the Fair Team Formation problem together with four algorithms for the problem itself. We also tested the effectiveness of our algorithmic solutions by performing experiments using real data from an online labor marketplace.


title: Revisiting compact RDF stores based on k2-trees

abstract: We present a new compact representation to efficiently store and query large RDF datasets in main memory. Our proposal, called BMatrix, is based on the k2-tree, a data structure devised to represent binary matrices in a compressed way, and aims at improving the results of previous state-of-the-art alternatives, especially in datasets with a relatively large number of predicates. We introduce our technique, together with some improvements on the basic k2-tree that can be applied to our solution in order to boost compression. Experimental results in the flagship RDF dataset DBPedia show that our proposal achieves better compression than existing alternatives, while yielding competitive query times, particularly in the most frequent triple patterns and in queries with unbound predicate, in which we outperform existing solutions.


title: Trends of digitalization and adoption of big data & analytics among UK SMEs: Analysis and lessons drawn from a case study of 53 SMEs

abstract: Small and Medium Enterprises (SMEs) now generate digital data at an unprecedented rate from online transactions, social media marketing and associated customer interactions, online product or service reviews and feedback, clinical diagnosis, Internet of Things (IoT) sensors, and production processes. All these forms of data can be transformed into monetary value if put into a proper data value chain. This requires both skills and IT investments for the long-term benefit of businesses. However, such spending is beyond the capacity of most SMEs due to their limited resources and restricted access to finances. This paper presents lessons learned from a case study of 53 UK SMEs, mostly from the West Midlands region of England, supported as part of a 3-year ERDF project, Big Data Corridor, in the areas of big data management, analytics and related IT issues. Based on our study's sample companies, several perspectives including the digital technology trends, challenges facing the UK SMEs, and the state of their adoption in data analytics and big data, are presented in the paper.


abstract: Student dropout prediction provides an opportunity to improve student engagement, which maximizes the overall effectiveness of learning experiences. However, researches on student dropout were mainly conducted on school dropout or course dropout, and study session dropout in a mobile learning environment has not been considered thoroughly. In this paper, we investigate the study session dropout prediction problem in a mobile learning environment. First, we define the concept of the study session, study session dropout and study session dropout prediction task in a mobile learning environment. Based on the definitions, we propose a novel Transformer based model for predicting study session dropout, DAS: Deep Attentive Study Session Dropout Prediction in Mobile Learning Environment. DAS has an encoder-decoder structure which is composed of stacked multi-head attention and point-wise feed-forward networks. The deep attentive computations in DAS are capable of capturing complex relations among dynamic student interactions. To the best of our knowledge, this is the first attempt to investigate study session dropout in a mobile learning environment. Empirical evaluations on a large-scale dataset show that DAS achieves the best performance with a significant improvement in area under the receiver operating characteristic curve compared to baseline models.


title: Death by AI: Where Assured Autonomy in Smart Cities Meets the End-to-End Argument

abstract: A smart city involves critical infrastructure systems that have been digitally enabled. Increasingly, many smart city cyber-physical systems are becoming automated. The extent of automation ranges from basic logic gates to sophisticated, artificial intelligence (AI) that enables fully autonomous systems. Because of modern society's reliance on autonomous systems in smart cities, it is crucial for them to operate in a safe manner; otherwise, it is feasible for these systems to cause considerable physical harm or even death. Because smart cities could involve thousands of autonomous systems operating in concert in densely populated areas, safety assurances are required. Challenges abound to consistently manage the safety of such autonomous systems due to their disparate developers, manufacturers, operators and users. A novel network and a sample of associated network functions for autonomous systems is proposed that aims to provide a baseline of safety for autonomous systems. This is accomplished by establishing a custom-designed network for autonomous systems that is separate from the Internet, and can handle certain functions that enable safety through active networking. Such a network design sits at the margins of the end-to-end principle, which is warranted considering the safety of autonomous systems is at stake as is argued in this paper. Without a scalable safety strategy for autonomous systems as proposed, assured autonomy in smart cities will remain elusive.


title: A Realistic Guide to Making Data Available Alongside Code to Improve Reproducibility

abstract: Data makes science possible. Sharing data improves visibility, and makes the research process transparent. This increases trust in the work, and allows for independent reproduction of results. However, a large proportion of data from published research is often only available to the original authors. Despite the obvious benefits of sharing data, and scientists' advocating for the importance of sharing data, most advice on sharing data discusses its broader benefits, rather than the practical considerations of sharing. This paper provides practical, actionable advice on how to actually share data alongside research. The key message is sharing data falls on a continuum, and entering it should come with minimal barriers.


title: Fourier interpolation from spheres

abstract: In every dimension $d \geq 2$, we give an explicit formula that expresses the values of any Schwartz function on $\mathbb{R}^d$ only in terms of its restrictions, and the restrictions of its Fourier transform, to all origin-centered spheres whose radius is the square root of an integer. We thus generalize an interpolation theorem by Radchenko and Viazovska to higher dimensions. We develop a general tool to translate Fourier uniqueness- and interpolation results for radial functions in higher dimensions, to corresponding results for non-radial functions in a fixed dimension. In dimensions greater or equal to 5, we solve the radial problem using a construction closely related to classical Poincare series. In the remaining small dimensions, we combine this technique with a direct generalization of the Radchenko--Viazovska formula to higher-dimensional radial functions, which we deduce from general results by Bondarenko, Radchenko and Seip.


title: Converting microwave and telecom photons with a silicon photonic nanomechanical interface

abstract: Practical quantum networks require low-loss and noise-resilient optical interconnects as well as non-Gaussian resources for entanglement distillation and distributed quantum computation. The latter could be provided by superconducting circuits but - despite growing efforts and rapid progress - existing solutions to interface the microwave and optical domains lack either scalability or efficiency, and in most cases the conversion noise is not known. In this work we utilize the unique opportunities of silicon photonics, cavity optomechanics and superconducting circuits to demonstrate a fully integrated, coherent transducer connecting the microwave X and the telecom S bands with a total (internal) bidirectional transduction efficiency of 1.2% (135 %) at millikelvin temperatures. The coupling relies solely on the radiation pressure interaction mediated by the femtometer-scale motion of two silicon nanobeams and includes an optomechanical gain of about 20 dB. The chip-scale device is fabricated from CMOS compatible materials and achieves a V$_\pi$ as low as 16 $\mu$V for sub-nanowatt pump powers. Such power-efficient, ultra-sensitive and highly integrated hybrid interconnects might find applications ranging from quantum communication and RF receivers to magnetic resonance imaging.


title: Dynamic Graph Correlation Learning for Disease Diagnosis with Incomplete Labels

abstract: Disease diagnosis on chest X-ray images is a challenging multi-label classification task. Previous works generally classify the diseases independently on the input image without considering any correlation among diseases. However, such correlation actually exists, for example, Pleural Effusion is more likely to appear when Pneumothorax is present. In this work, we propose a Disease Diagnosis Graph Convolutional Network (DD-GCN) that presents a novel view of investigating the inter-dependency among different diseases by using a dynamic learnable adjacency matrix in graph structure to improve the diagnosis accuracy. To learn more natural and reliable correlation relationship, we feed each node with the image-level individual feature map corresponding to each type of disease. To our knowledge, our method is the first to build a graph over the feature maps with a dynamic adjacency matrix for correlation learning. To further deal with a practical issue of incomplete labels, DD-GCN also utilizes an adaptive loss and a curriculum learning strategy to train the model on incomplete labels. Experimental results on two popular chest X-ray (CXR) datasets show that our prediction accuracy outperforms state-of-the-arts, and the learned graph adjacency matrix establishes the correlation representations of different diseases, which is consistent with expert experience. In addition, we apply an ablation study to demonstrate the effectiveness of each component in DD-GCN.


title: Cosmic Rates of Black Hole Mergers and Pair-Instability Supernovae from Chemically Homogeneous Binary Evolution

abstract: During the first three observing runs of the Advanced gravitational-wave detector network, the LIGO/Virgo collaboration detected several black hole binary (BHBH) mergers. As the population of detected BHBH mergers grows, it will become possible to constrain different channels for their formation. Here we consider the chemically homogeneous evolution (CHE) channel in close binaries, by performing population synthesis simulations that combine realistic binary models with detailed cosmological calculations of the chemical and star-formation history of the Universe. This allows us to constrain population properties, as well as cosmological and aLIGO/aVirgo detection rates of BHBH mergers formed through this pathway. We predict a BHBH merger rate at redshift zero of $5.8 \, \textrm{Gpc}^{-3} \textrm{yr}^{-1}$ through the CHE channel, to be compared with aLIGO/aVirgo's measured rate of ${53.2}_{-28.2}^{+55.8} \, \text{Gpc}^{-3} \text{yr}^{-1}$, and find that eventual merger systems have BH masses in the range $17 - 43 \, \textrm{M}_{\odot}$ below the pair-instability supernova (PISN) gap, and $>124 \, \textrm{M}_{\odot}$ above the PISN gap. We investigate effects of momentum kicks during black hole formation, and calculate cosmological and magnitude limited PISN rates. We also study the effects of high-redshift deviations in the star formation rate. We find that momentum kicks tend to increase delay times of BHBH systems, and our magnitude limited PISN rate estimates indicate that current deep surveys should be able to detect such events. Lastly, we find that our cosmological merger rate estimates change by at most $\sim 8\%$ for mild deviations of the star formation rate in the early Universe, and by up to $\sim 40\%$ for extreme deviations.


title: CausalML: Python Package for Causal Machine Learning

abstract: CausalML is a Python implementation of algorithms related to causal inference and machine learning. Algorithms combining causal inference and machine learning have been a trending topic in recent years. This package tries to bridge the gap between theoretical work on methodology and practical applications by making a collection of methods in this field available in Python. This paper introduces the key concepts, scope, and use cases of this package.


title: Lower semi-frames and metric operators

abstract: This paper deals with the possibility of transforming a weakly measurable function in a Hilbert space into a continuous frame by a metric operator, i.e., a strictly positive self-adjoint operator. A necessary condition is that the domain of the analysis operator associated to the function be dense. The study is done also with the help of the generalized frame operator associated to a weakly measurable function, which has better properties than the usual frame operator. A special attention is given to lower semi-frames: indeed if the domain of the analysis operator is dense, then a lower semi-frame can be transformed into a Parseval frame with a (special) metric operator.


title: The impact of electron-electron correlation in ultrafast attosecond single ionization dynamics

abstract: The attosecond ultrafast ionization dynamics of correlated two- or many-electron systems have, so far, been mainly addressed investigating atomic systems. In the case of single ionization, it is well known that electron-electron correlation modifies the ionization dynamics and observables beyond the single active electron picture, resulting in effects such as the Auger effect or shake-up/down and knock-up/down processes. Here, we extend these works by investigating the attosecond ionization of a molecular system involving correlated two-electron dynamics, as well as non-adiabatic nuclear dynamics. Employing a charge-transfer molecular model system with two differently bound electrons, a strongly and a weakly bound electron, we distinguish different pathways leading to ionization, be it direct ionization or ionization involving elastic and inelastic electron scattering processes. We find that different pathways result in a difference in the electronic population of the parent molecular ion, which, in turn, involves different subsequent (non-adiabatic) postionization dynamics on different time scales.


title: An insight of a needle free injector with magnetic material

abstract: Needle-free injector technology (NFIT) has drawn attention due to their advantages. By using NFIT, it can be used several time unlike a conventional needle. Also, it makes patients free from pain. Since NFIT by jet injection is achieved by ejecting a liquid drug through a narrow orifice at high pressure, thereby creating a fine high-speed fluid jet that can readily penetrate skin and tissue. Until very recently, all jet injectors utilized force-and pressure-generating principles that progress injection in anuncontrolled mannerwith limited ability to regulate delivery volume and injection depth. In order to address these shortcomings, we have developed a controllable jet injection device, based on a custom high-stroke linear Lorentz-force motor. Using this device, we are able to monitor and modulate continuously the speed of the drug jet, and regulate precisely the volume of drug delivered during the injection process.


title: Sim2Real Transfer for Reinforcement Learning without Dynamics Randomization

abstract: In this work we show how to use the Operational Space Control framework (OSC) under joint and cartesian constraints for reinforcement learning in cartesian space. Our method is therefore able to learn fast and with adjustable degrees of freedom, while we are able to transfer policies without additional dynamics randomizations on a KUKA LBR iiwa peg in-hole task. Before learning in simulation starts, we perform a system identification for aligning the simulation environment as far as possible with the dynamics of a real robot. Adding constraints to the OSC controller allows us to learn in a safe way on the real robot or to learn a flexible, goal conditioned policy that can be easily transferred from simulation to the real robot.


title: Measuring Spatial Subdivisions in Urban Mobility with Mobile Phone Data

abstract: Urban population grows constantly. By 2050 two thirds of the world population will reside in urban areas. This growth is faster and more complex than the ability of cities to measure and plan for their sustainability. To understand what makes a city inclusive for all, we define a methodology to identify and characterize spatial subdivisions: areas with over- and under-representation of specific population groups, named hot and cold spots respectively. Using aggregated mobile phone data, we apply this methodology to the city of Barcelona to assess the mobility of three groups of people: women, elders, and tourists. We find that, within the three groups, cold spots have a lower diversity of amenities and services than hot spots. Also, cold spots of women and tourists tend to have lower population income. These insights apply to the floating population of Barcelona, thus augmenting the scope of how inclusiveness can be analyzed in the city.


title: Learning Navigation Costs from Demonstration in Partially Observable Environments

abstract: This paper focuses on inverse reinforcement learning (IRL) to enable safe and efficient autonomous navigation in unknown partially observable environments. The objective is to infer a cost function that explains expert-demonstrated navigation behavior while relying only on the observations and state-control trajectory used by the expert. We develop a cost function representation composed of two parts: a probabilistic occupancy encoder, with recurrent dependence on the observation sequence, and a cost encoder, defined over the occupancy features. The representation parameters are optimized by differentiating the error between demonstrated controls and a control policy computed from the cost encoder. Such differentiation is typically computed by dynamic programming through the value function over the whole state space. We observe that this is inefficient in large partially observable environments because most states are unexplored. Instead, we rely on a closed-form subgradient of the cost-to-go obtained only over a subset of promising states via an efficient motion-planning algorithm such as A* or RRT. Our experiments show that our model exceeds the accuracy of baseline IRL algorithms in robot navigation tasks, while substantially improving the efficiency of training and test-time inference.


title: Arnold-Liouville theorem for integrable PDEs: a case study of the focusing NLS equation

abstract: We prove an infinite dimensional version of the Arnold-Liouville theorem for integrable non-linear PDEs: In a case study we consider the {\em focusing} NLS equation with periodic boundary conditions.


title: Microscope Projection Photolithography Based on Liquid Crystal Microdisplay

abstract: We developed a microdisplay-based microscope projection photolithography (MDMPP) technique in which a liquid crystal (LC) microdisplay is used as a reconfigurable photomask for a microscope projector. The LC microdisplay provides a significant advantage in terms of cost and speed since patterns can be generated through software instead of redesigning and fabricating glass photomasks. The constructed MDMPP system could produce line patterns as narrow as 2.4 um, smaller than that specified by the diffraction limit, with the aid of a 4X objective lens. The achievement of a linewidth smaller than the theoretical limit may be ascribed to a combination of overexposure and the underetching effect, in addition to the good optical performance of the system. In a diffraction experiment performed with fabricated slits, the application of the MDMPP technique helped provide various patterns of the slits, demonstrating the potential usefulness of the MDMPP system in undergraduate optics courses. We expect that MDMPP can contribute to the field of physics education and various areas of research, such as chemistry and biology, in the future.


title: Packet Timescale Wavelength Switching Enabled by Regression Optimisation

abstract: A linear regression algorithm is applied to a digital-supermode distributed Bragg reflector laser to optimise wavelength switching times. The algorithm uses the output of a digital coherent receiver as feedback to update the pre-emphasis weights applied to the laser section currents. This permits in-situ calculation without manual weight adjustments. The application of this optimiser to a representative subsection of channels indicates this commercially available laser can rapidly reconfigure over 6.05 THz, supporting 122 channels, in less than 10 ns.


title: Epitaxial Pb on InAs nanowires

abstract: Semiconductor-superconductor hybrids are widely used for realising complex quantum phenomena such as topological superconductivity and spins coupled to Cooper pairs. Accessing exotic regimes at high magnetic fields and increasing operating temperatures beyond the state-of-the-art requires new, epitaxially matched semiconductor-superconductor materials. The challenge is to generate favourable conditions for heterostructure formation between materials with the desired inherent properties. Here, we harness increased knowledge of metal-on-semiconductor growth to develop InAs nanowires with epitaxially matched, single crystal, atomically flat Pb films along the entire nanowire. These highly ordered heterostructures have a critical temperature of 7 K and a superconducting gap of 1.25 meV, which remains hard at 8.5 T, thereby more than doubling the available parameter space. Additionally, InAs/Pb island devics exhibit magnetic field-driven transitions from Cooper pair to single electron charging; a pre-requisite for use in topological quantum computation. Introducing semiconductor-Pb hybrids potentially enables access to entirely new regimes for an array of quantum systems.


title: Off-Policy Evaluation and Learning for External Validity under a Covariate Shift

abstract: We consider evaluating and training a new policy for the evaluation data by using the historical data obtained from a different policy. The goal of off-policy evaluation (OPE) is to estimate the expected reward of a new policy over the evaluation data, and that of off-policy learning (OPL) is to find a new policy that maximizes the expected reward over the evaluation data. Although the standard OPE and OPL assume the same distribution of covariate between the historical and evaluation data, a covariate shift often exists, i.e., the distribution of the covariate of the historical data is different from that of the evaluation data. In this paper, we derive the efficiency bound of OPE under a covariate shift. Then, we propose doubly robust and efficient estimators for OPE and OPL under a covariate shift by using a nonparametric estimator of the density ratio between the historical and evaluation data distributions. We also discuss other possible estimators and compare their theoretical properties. Finally, we confirm the effectiveness of the proposed estimators through experiments.


title: Marathi To English Neural Machine Translation With Near Perfect Corpus And Transformers

abstract: There have been very few attempts to benchmark performances of state-of-the-art algorithms for Neural Machine Translation task on Indian Languages. Google, Bing, Facebook and Yandex are some of the very few companies which have built translation systems for few of the Indian Languages. Among them, translation results from Google are supposed to be better, based on general inspection. Bing-Translator do not even support Marathi language which has around 95 million speakers and ranks 15th in the world in terms of combined primary and secondary speakers. In this exercise, we trained and compared variety of Neural Machine Marathi to English Translators trained with BERT-tokenizer by huggingface and various Transformer based architectures using Facebook's Fairseq platform with limited but almost correct parallel corpus to achieve better BLEU scores than Google on Tatoeba and Wikimedia open datasets.


title: A Quadruplet Loss for Enforcing Semantically Coherent Embeddings in Multi-output Classification Problems

abstract: This paper describes one objective function for learning semantically coherent feature embeddings in multi-output classification problems, i.e., when the response variables have dimension higher than one. In particular, we consider the problems of identity retrieval and soft biometrics labelling in visual surveillance environments, which have been attracting growing interests. Inspired by the triplet loss [34] function, we propose a generalization that: 1) defines a metric that considers the number of agreeing labels between pairs of elements; and 2) disregards the notion of anchor, replacing d(A1, A2) < d(A1, B) by d(A, B) < d(C, D), for A, B, C, D distance constraints, according to the number of agreeing labels between pairs. As the triplet loss formulation, our proposal also privileges small distances between positive pairs, but at the same time explicitly enforces that the distance between other pairs corresponds directly to their similarity in terms of agreeing labels. This yields feature embeddings with a strong correspondence between the classes centroids and their semantic descriptions, i.e., where elements are closer to others that share some of their labels than to elements with fully disjoint labels membership. As practical effect, the proposed loss can be seen as particularly suitable for performing joint coarse (soft label) + fine (ID) inference, based on simple rules as k-neighbours, which is a novelty with respect to previous related loss functions. Also, in opposition to its triplet counterpart, the proposed loss is agnostic with regard to any demanding criteria for mining learning instances (such as the semi-hard pairs). Our experiments were carried out in five different datasets (BIODI, LFW, IJB-A, Megaface and PETA) and validate our assumptions, showing highly promising results.


title: Facebook Ads as a Demographic Tool to Measure the Urban-Rural Divide

abstract: In the global move toward urbanization, making sure the people remaining in rural areas are not left behind in terms of development and policy considerations is a priority for governments worldwide. However, it is increasingly challenging to track important statistics concerning this sparse, geographically dispersed population, resulting in a lack of reliable, up-to-date data. In this study, we examine the usefulness of the Facebook Advertising platform, which offers a digital "census" of over two billions of its users, in measuring potential rural-urban inequalities. We focus on Italy, a country where about 30% of the population lives in rural areas. First, we show that the population statistics that Facebook produces suffer from instability across time and incomplete coverage of sparsely populated municipalities. To overcome such limitation, we propose an alternative methodology for estimating Facebook Ads audiences that nearly triples the coverage of the rural municipalities from 19% to 55% and makes feasible fine-grained sub-population analysis. Using official national census data, we evaluate our approach and confirm known significant urban-rural divides in terms of educational attainment and income. Extending the analysis to Facebook-specific user "interests" and behaviors, we provide further insights on the divide, for instance, finding that rural areas show a higher interest in gambling. Notably, we find that the most predictive features of income in rural areas differ from those for urban centres, suggesting researchers need to consider a broader range of attributes when examining rural wellbeing. The findings of this study illustrate the necessity of improving existing tools and methodologies to include under-represented populations in digital demographic studies -- the failure to do so could result in misleading observations, conclusions, and most importantly, policies.


title: Exciton g-factors in monolayer and bilayer WSe$_2$ from experiment and theory

abstract: The optical properties of monolayer and bilayer transition metal dichalcogenide semiconductors are governed by excitons in different spin and valley configurations, providing versatile aspects for van der Waals heterostructures and devices. We present experimental and theoretical studies of exciton energy splittings in external magnetic field in neutral and charged WSe$_2$ monolayer and bilayer crystals embedded in a field effect device for active doping control. We develop theoretical methods to calculate the exciton $g$-factors from first principles and tight-binding for all possible spin-valley configurations of excitons in monolayer and bilayer WSe$_2$ including valley-indirect exciton configurations. Our theoretical and experimental findings shed light on some of the characteristic photoluminescence peaks observed for monolayer and bilayer WSe$_2$. In more general terms, the theoretical aspects of our work provide new guidelines for the characterization of single and few-layer transition metal dichalcogenides, as well as their heterostructures, in the presence of external magnetic fields.


title: Cdh descent, cdarc descent, and Milnor excision

abstract: We give necessary and sufficient conditions for a cdh sheaf to satisfy Milnor excision, following ideas of Bhatt and Mathew. Along the way, we show that the cdh infinity-topos of a quasi-compact quasi-separated scheme of finite valuative dimension is hypercomplete, extending a theorem of Voevodsky to nonnoetherian schemes. As an application, we show that if E is a motivic spectrum over a field k which is n-torsion for some n invertible in k, then the cohomology theory on k-schemes defined by E satisfies Milnor excision.


title: When showing your hand pays off: Announcing strategic intentions in Colonel Blotto games

abstract: In competitive adversarial environments, it is often advantageous to obfuscate one's strategies or capabilities. However, revealing one's strategic intentions may shift the dynamics of the competition in complex ways. Can it ever be advantageous to reveal strategic intentions to an opponent? In this paper, we consider three-stage Colonel Blotto games in which one player can choose whether or not to pre-commit resources to a single battlefield before play begins. This pre-commitment is public knowledge. In response, the opponent can either secure the battlefield by matching the pre-commitment with its own forces, or withdraw. In a two-player setting, we show that a weaker player never has an incentive to pre-commit any amount of resources to a battlefield regardless of how valuable it is. We then consider a three-player setting in which two players fight against a common adversary on separate fronts. Only one of the two players facing the adversary has the option of pre-committing. We find there are instances where this player benefits from pre-committing. The analysis indicates that under non-cooperative team settings and no possibility of forming alliances, there can be incentives to publicly announce one's strategic intentions to an adversary.


title: Efficient phase-factor evaluation in quantum signal processing

abstract: Quantum signal processing (QSP) is a powerful quantum algorithm to exactly implement matrix polynomials on quantum computers. Asymptotic analysis of quantum algorithms based on QSP has shown that asymptotically optimal results can in principle be obtained for a range of tasks, such as Hamiltonian simulation and the quantum linear system problem. A further benefit of QSP is that it uses a minimal number of ancilla qubits, which facilitates its implementation on near-to-intermediate term quantum architectures. However, there is so far no classically stable algorithm allowing computation of the phase factors that are needed to build QSP circuits. Existing methods require the usage of variable precision arithmetic and can only be applied to polynomials of relatively low degree. We present here an optimization based method that can accurately compute the phase factors using standard double precision arithmetic operations. We demonstrate the performance of this approach with applications to Hamiltonian simulation, eigenvalue filtering, and the quantum linear system problems. Our numerical results show that the optimization algorithm can find phase factors to accurately approximate polynomials of degree larger than $10,000$ with error below $10^{-12}$.


title: Contextual Search in the Presence of Adversarial Corruptions

abstract: We study contextual search, a generalization of binary search in higher dimensions, which captures settings such as feature-based dynamic pricing. Standard formulations of this problem assume that agents act in accordance with a specific homogeneous response model. In practice, however, some responses may be adversarially corrupted. Existing algorithms heavily depend on the assumed response model being (approximately) accurate for all agents and have poor performance in the presence of even a few such arbitrary misspecifications. We initiate the study of contextual search when some of the agents can behave in ways inconsistent with the underlying response model. In particular, we provide two algorithms, one based on multidimensional binary search methods and one based on gradient descent. We show that these algorithms attain near-optimal regret in the absence of adversarial corruptions and their performance degrades gracefully with the number of such agents, providing the first results for contextual search in any adversarial noise model. Our techniques draw inspiration from learning theory, game theory, high-dimensional geometry, and convex analysis.

categories: cs.LG cs.DS cs.GT econ.GN q-fin.EC stat.ML


title: Fair Learning with Private Demographic Data

abstract: Sensitive attributes such as race are rarely available to learners in real world settings as their collection is often restricted by laws and regulations. We give a scheme that allows individuals to release their sensitive information privately while still allowing any downstream entity to learn non-discriminatory predictors. We show how to adapt non-discriminatory learners to work with privatized protected attributes giving theoretical guarantees on performance. Finally, we highlight how the methodology could apply to learning fair predictors in settings where protected attributes are only available for a subset of the data.


title: Exploring the Self Interacting Dark Matter Properties From Low Redshift Observations

abstract: The small scale observations indicate that the dark matter may be self-interacting. In this paper, we calculate the shear ($\eta$) and bulk viscosity ($\zeta$) of Self Interacting Dark Matter (SIDM) fluid, in kinetic theory formalism. Further, using the KSS bound on $\eta/\mathfrak{s}$, we derive a new upper limit on the ratio of dark matter self interaction cross section to its mass, $ \sigma/m $. Then, using the $ \sigma/m $ constraint, we show that KSS bound allows only sub-GeV mass of SIDM particle. Further, with the assumption of a power-law form of $\eta$ and $\zeta$, we study its evolution in the light of low redshift observations. We find that at the large redshift, the SIDM viscosity is small but at the small redshift it becomes sufficiently large and contributes significantly in cosmic dissipation. As a consequence, viscous SIDM can explain the low redshift observations and also consistent with the standard cosmological prediction.


title: Proper-Motion Membership Tests for Four Planetary Nebulae in Galactic Globular Clusters

abstract: Four planetary nebulae (PNe) are considered to be probable or possible members of Galactic globular clusters (GCs). These are Ps 1 = K648 in M15, GJJC 1 = IRAS 18333-2357 in M22, JaFu 1 in Palomar 6, and JaFu 2 in NGC 6441. In addition to lying close to the host GCs on the sky, these PNe have radial velocities that are consistent, within the errors and stellar velocity dispersions, with cluster membership. The remaining membership criterion is whether the proper motions (PMs) of the central stars are in agreement with those of the host clusters. We have carried out the PM test for all four PNe. Two of the central stars--those of Ps 1 and GJJC 1--have PMs listed in the recent Gaia Data Release 2 (DR2). We updated the PM of the Ps 1 central star to a more precise value using archival Hubble Space Telescope (HST) frames. Both PMs are statistically consistent with cluster membership. For the other two PNe, we used archival HST images to derive the PMs of their nuclei. For JaFu 2, there are HST images at several epochs, and the measured PM of the nucleus is in excellent agreement with that of the host cluster. For JaFu 1 the available archival HST images are less optimal and the results are less conclusive; the measured PM for the central star is marginally consistent with cluster membership, but additional astrometric observations are desirable for a more robust membership test.


title: Atomic-scale Electronic Structure of the Cuprate Pair Density Wave State Coexisting with Superconductivity

abstract: The defining characteristic of hole-doped cuprates is $d$-wave high temperature superconductivity. However, intense theoretical interest is now focused on whether a pair density wave state (PDW) could coexist with cuprate superconductivity (D. F. Agterberg et al., Annual Review of Condensed Matter Physics 11, 231 (2020)). Here, we use a strong-coupling mean-field theory of cuprates, to model the atomic-scale electronic structure of an eight-unit-cell periodic, $d$-symmetry form factor, pair density wave (PDW) state coexisting with $d$-wave superconductivity (DSC). From this PDW+DSC model, the atomically-resolved density of Bogoliubov quasiparticle states N(r,E) is predicted at the terminal BiO surface of Bi$_2$Sr$_2$CaCu$_2$O$_8$ and compared with high-precision electronic visualization experiments using spectroscopic imaging STM. The PDW+DSC model predictions include the intra-unit-cell structure and periodic modulations of N(r,E), the modulations of the coherence peak energy $\Delta_p$ (r), and the characteristics of Bogoliubov quasiparticle interference in scattering-wavevector space (q-space). Consistency between all these predictions and the corresponding experiments indicates that lightly hole-doped Bi$_2$Sr$_2$CaCu$_2$O$_8$ does contain a PDW+DSC state. Moreover, in the model the PDW+DSC state becomes unstable to a pure DSC state at a critical hole density p*, with empirically equivalent phenomena occurring in the experiments. All these results are consistent with a picture in which the cuprate translational symmetry breaking state is a PDW, the observed charge modulations are its consequence, the antinodal pseudogap is that of the PDW state, and the cuprate critical point at p* ~ 19% occurs due to disappearance of this PDW.


title: Criticality and the fractal structure of -5/3 turbulent cascades

abstract: Here we show a procedure to generate an analytical structure producing a cascade that scales as the energy spectrum in isotropic homogeneous turbulence. We obtain a function that unveils a non-self-similar fractal at the origin of the cascade. It reveals that the backbone underlying $-5/3$ cascades is formed by deterministic nested polynomials with parameters tuned in a Hopf bifurcation critical point. The cascade scaling is exactly obtainable (not by numerical simulations) from deterministic low dimensional nonlinear dynamics. Consequently, it should not be exclusive for fluids but also present in other complex phenomena. The scaling is obtainable both in deterministic and stochastic situations.


title: Inceptive Event Time-Surfaces for Object Classification Using Neuromorphic Cameras

abstract: This paper presents a novel fusion of low-level approaches for dimensionality reduction into an effective approach for high-level objects in neuromorphic camera data called Inceptive Event Time-Surfaces (IETS). IETSs overcome several limitations of conventional time-surfaces by increasing robustness to noise, promoting spatial consistency, and improving the temporal localization of (moving) edges. Combining IETS with transfer learning improves state-of-the-art performance on the challenging problem of object classification utilizing event camera data.


title: A stratification result for an exponential sum modulo $p^2$

abstract: In this note we consider algebraic exponential sums over the values of homogeneous nonsingular polynomials $F(x_1, \cdots, x_n) \in \mathbb{Z}[x_1, \cdots, x_n]$ in the quotient ring $\mathbb{Z}/p^2\mathbb{Z}$. We provide an estimate of this exponential sum and a corresponding stratification of the space $\mathbb{A}_{\mathbb{F}_p}^n$, which in particular illustrates a general stratification theorem of Fouvry and Katz.


title: The singularity in mimetic Kantowski-Sachs cosmology

abstract: The dynamics of the vacuum Kantowski-Sachs space-time are studied in the so-called limiting curvature mimetic gravity theory. It is shown that in this theory the vacuum Kantowski-Sachs space-time is always singular. While the departures from general relativity due to the limiting curvature mimetic theory do provide an upper bound on the magnitude of the expansion scalar, both its rate of oscillations and the magnitude of the directional Hubble rates increase without bound and cause curvature invariants to diverge. Also, since the radial scale factor does not vanish in finite (past) time, in this particular theory the Kantowski-Sachs space-time cannot be matched to a null black hole event horizon and, therefore, does not correspond to the interior of a static and spherically symmetric black hole.


title: Effect of He on the Order-Disorder Transition in Ni3Al under Irradiation

abstract: The order-disorder transition in Ni-Al alloys under irradiation represents an interplay between various re-ordering processes and disordering due to thermal spikes generated by incident high energy particles. Typically, ordering in enabled by diffusion of thermally-generated vacancies, and can only take place at temperatures where they are mobile and in sufficiently high concentration. Here, in-situ transmission electron micrographs reveal that the presence of He, usually considered to be a deleterious immiscible atom in this material, promotes reordering in Ni3Al at temperatures where vacancies are not effective ordering agents. A rate-theory model is presented, that quantitatively explains this behavior, based on parameters extracted from atomistic simulations. These calculations show that the V2He complex is an effective agent through its high stability and mobility. It is surmised that immiscible atoms may stabilize reordering agents in other materials undergoing driven processes, and preserve ordered phases at temperature where the driven processes would otherwise lead to disorder.


title: An Optimal Procedure to Check Pareto-Optimality in House Markets with Single-Peaked Preferences

abstract: Recently, the problem of allocating one resource per agent with initial endowments (house markets) has seen a renewed interest: indeed, while in the domain of strict preferences the Top Trading Cycle algorithm is known to be the only procedure guaranteeing Pareto-optimality, individual rationality, and strategy proofness. However, the situation differs in the single-peaked domain. Indeed, Bade presented the Crawler, an alternative procedure enjoying the same properties, with the additional advantage of being implementable in obviously dominant strategies. In this paper we further investigate the Crawler and propose the Diver, a variant which checks optimally whether an allocation is Pareto-optimal for single-peaked preferences, thus improving over known techniques used for checking Pareto-optimality in more general domains. We also prove that the Diver is asymptotically optimal in terms of communication complexity.