title: Learning Black-Box Attackers with Transferable Priors and Query Feedback

abstract: This paper addresses the challenging black-box adversarial attack problem, where only classification confidence of a victim model is available. Inspired by consistency of visual saliency between different vision models, a surrogate model is expected to improve the attack performance via transferability. By combining transferability-based and query-based black-box attack, we propose a surprisingly simple baseline approach (named SimBA++) using the surrogate model, which significantly outperforms several state-of-the-art methods. Moreover, to efficiently utilize the query feedback, we update the surrogate model in a novel learning scheme, named High-Order Gradient Approximation (HOGA). By constructing a high-order gradient computation graph, we update the surrogate model to approximate the victim model in both forward and backward pass. The SimBA++ and HOGA result in Learnable Black-Box Attack (LeBA), which surpasses previous state of the art by considerable margins: the proposed LeBA significantly reduces queries, while keeping higher attack success rates close to 100% in extensive ImageNet experiments, including attacking vision benchmarks and defensive models. Code is open source at https://github.com/TrustworthyDL/LeBA.


title: The Role of Machine Learning for Trajectory Prediction in Cooperative Driving

abstract: In this paper, we study the role that machine learning can play in cooperative driving. Given the increasing rate of connectivity in modern vehicles, and road infrastructure, cooperative driving is a promising first step in automated driving. The example scenario we explored in this paper, is coordinated lane merge, with data collection, test and evaluation all conducted in an automotive test track. The assumption is that vehicles are a mix of those equipped with communication units on board, i.e. connected vehicles, and those that are not connected. However, roadside cameras are connected and can capture all vehicles including those without connectivity. We develop a Traffic Orchestrator that suggests trajectories based on these two sources of information, i.e. connected vehicles, and connected roadside cameras. Recommended trajectories are built, which are then communicated back to the connected vehicles. We explore the use of different machine learning techniques in accurately and timely prediction of trajectories.


title: A Qualitative Analysis of Haptic Feedback in Music Focused Exercises

abstract: We present the findings of a pilot-study that analysed the role of haptic feedback in a musical context. To examine the role of haptics in Digital Musical Instrument (DMI) design an experiment was formulated to measure the users' perception of device usability across four separate feedback stages: fully haptic (force and tactile combined), constant force only, vibrotactile only, and no feedback. The study was piloted over extended periods with the intention of exploring the application and integration of DMIs in real-world musical contexts. Applying a music orientated analysis of this type enabled the investigative process to not only take place over a comprehensive period, but allowed for the exploration of DMI integration in everyday compositional practices. As with any investigation that involves creativity, it was important that the participants did not feel rushed or restricted. That is, they were given sufficient time to explore and assess the different feedback types without constraint. This provided an accurate and representational set of qualitative data for validating the participants' experience with the different feedback types they were presented with.


title: Rethinking Evaluation in ASR: Are Our Models Robust Enough?

abstract: Is pushing numbers on a single benchmark valuable in automatic speech recognition? Research results in acoustic modeling are typically evaluated based on performance on a single dataset. While the research community has coalesced around various benchmarks, we set out to understand generalization performance in acoustic modeling across datasets - in particular, if models trained on a single dataset transfer to other (possibly out-of-domain) datasets. We show that, in general, reverberative and additive noise augmentation improves generalization performance across domains. Further, we demonstrate that when a large enough set of benchmarks is used, average word error rate (WER) performance over them provides a good proxy for performance on real-world noisy data. Finally, we show that training a single acoustic model on the most widely-used datasets - combined - reaches competitive performance on both research and real-world benchmarks.


title: Iterative Decomposition of Joint Chance Constraints in OPF

abstract: In chance-constrained OPF models, joint chance constraints (JCCs) offer a stronger guarantee on security compared to single chance constraints (SCCs). Using Boole's inequality or its improved versions to decompose JCCs into SCCs is popular, yet the conservativeness introduced is still significant. In this letter, a non-parametric iterative framework is proposed to achieve the decomposition of JCCs with negligible conservativeness. An adaptive risk allocation strategy is also proposed and embedded in the framework. Results on an IEEE test case show that the conservativeness using the framework is nearly eliminated, thereby reducing the generation cost considerably.


title: CUNI Systems for the Unsupervised and Very Low Resource Translation Task in WMT20

abstract: This paper presents a description of CUNI systems submitted to the WMT20 task on unsupervised and very low-resource supervised machine translation between German and Upper Sorbian. We experimented with training on synthetic data and pre-training on a related language pair. In the fully unsupervised scenario, we achieved 25.5 and 23.7 BLEU translating from and into Upper Sorbian, respectively. Our low-resource systems relied on transfer learning from German-Czech parallel data and achieved 57.4 BLEU and 56.1 BLEU, which is an improvement of 10 BLEU points over the baseline trained only on the available small German-Upper Sorbian parallel corpus.


title: Classification with Rejection Based on Cost-sensitive Classification

abstract: The goal of classification with rejection is to avoid risky misclassification in error-critical applications such as medical diagnosis and product inspection. In this paper, based on the relationship between classification with rejection and cost-sensitive classification, we propose a novel method of classification with rejection by learning an ensemble of cost-sensitive classifiers, which satisfies all the following properties: (i) it can avoid estimating class-posterior probabilities, resulting in improved classification accuracy, (ii) it allows a flexible choice of losses including non-convex ones, (iii) it does not require complicated modifications when using different losses, (iv) it is applicable to both binary and multiclass cases, and (v) it is theoretically justifiable for any classification-calibrated loss. Experimental results demonstrate the usefulness of our proposed approach in clean-labeled, noisy-labeled, and positive-unlabeled classification.


title: How wireless queues benefit from motion: an analysis of the continuum between zero and infinite mobility

abstract: This paper considers the time evolution of a queue that is embedded in a Poisson point process of moving wireless interferers. The queue is driven by an external arrival process and is subject to a time-varying service process that is a function of the SINR that it sees. Static configurations of interferers result in an infinite queue workload with positive probability. In contrast, a generic stability condition is established for the queue in the case where interferers possess any non-zero mobility that results in displacements that are both independent across interferers and oblivious to interferer positions. The proof leverages the mixing property of the Poisson point process. The effect of an increase in mobility on queueing metrics is also studied. Convex ordering tools are used to establish that faster moving interferers result in a queue workload that is smaller for the increasing-convex stochastic order. As a corollary, mean workload and mean delay decrease as network mobility increases. This stochastic ordering as a function of mobility is explained by establishing positive correlations between SINR level-crossing events at different time points, and by determining the autocorrelation function for interference and observing that it decreases with increasing mobility. System behaviour is empirically analyzed using discrete-event simulation and the performance of various mobility models is evaluated using heavy-traffic approximations.


title: Precise High-Dimensional Asymptotics for Quantifying Heterogeneous Transfers

abstract: The problem of learning one task with samples from another task has received much interest recently. In this paper, we ask a fundamental question: when is combining data from two tasks better than learning one task alone? Intuitively, the transfer effect from one task to another task depends on dataset shifts such as sample sizes and covariance matrices. However, quantifying such a transfer effect is challenging since we need to compare the risks between joint learning and single-task learning, and the comparative advantage of one over the other depends on the exact kind of dataset shift between both tasks. This paper uses random matrix theory to tackle this challenge in a linear regression setting with two tasks. We give precise asymptotics about the excess risks of some commonly used estimators in the high-dimensional regime, when the sample sizes increase proportionally with the feature dimension at fixed ratios. The precise asymptotics is provided as a function of the sample sizes and covariate/model shifts, which can be used to study transfer effects: In a random-effects model, we give conditions to determine positive and negative transfers between learning two tasks versus single-task learning; the conditions reveal intricate relations between dataset shifts and transfer effects. Simulations justify the validity of the asymptotics in finite dimensions. Our analysis examines several functions of two different sample covariance matrices, revealing some estimates that generalize classical results in the random matrix theory literature, which may be of independent interest.


title: Cross-platform programming model for many-core lattice Boltzmann simulations

abstract: We present a novel, hardware-agnostic implementation strategy for lattice Boltzmann (LB) simulations, which yields massive performance on homogeneous and heterogeneous many-core platforms. Based solely on C++17 Parallel Algorithms, our approach does not rely on any language extensions, external libraries, vendor-specific code annotations, or pre-compilation steps. Thanks in particular to a recently proposed GPU back-end to C++17 Parallel Algorithms, it is shown that a single code can compile and reach state-of-the-art performance on both many-core CPU and GPU environments for the solution of a given non trivial fluid dynamics problem. The proposed strategy is tested with six different, commonly used implementation schemes to test the performance impact of memory access patterns on different platforms. Nine different LB collision models are included in the tests and exhibit good performance, demonstrating the versatility of our parallel approach. This work shows that it is less than ever necessary to draw a distinction between research and production software, as a concise and generic LB implementation yields performances comparable to those achievable in a hardware specific programming language. The results also highlight the gains of performance achieved by modern many-core CPUs and their apparent capability to narrow the gap with the traditionally massively faster GPU platforms. All code is made available to the community in form of the open-source project "stlbm", which serves both as a stand-alone simulation software and as a collection of reusable patterns for the acceleration of pre-existing LB codes.


title: TurboLoRa: enhancing LoRaWAN data rate via device synchronization

abstract: Over the last few years we have witnessed an exponential growth in the adoption of LoRaWAN as LPWAN technology for IoT. While LoRaWAN offers many advantages, one of its limitations is the paltry data rate. Most IoT applications don't require a high throughput but there are some that would benefit from a higher data rate. In this paper, we present TurboLoRa, a system that combines the strengths of LoRaWAN while providing a higher data rate by synchronizing the transmission of multiple LoRaWAN devices. Our proposal allows to combine cheap devices making it a frugal solution to this kind of problems. We present some preliminary results obtained using a real prototype of TurboLoRa.


title: Effect of carbon nanotube on ballistic conduction through single-quantum-dot

abstract: We will study the competitive effect between the transport of a quantum dot adsorbed to a ballistic channel and laterally coupled to a single-walled carbon nanotube (SWNT). We will use the tight-binding approach to analytically write the SWNT Green function and the quantum dot will be solved by the atomic method for U very large. We will present curves of the electronic density of states for some different sizes of nanotubes. The results for the conductance curves will be presented as a function of Ef and for different values of n and hopping between the nanotube and the quantum dot.


title: Separation Results for Boolean Function Classes

abstract: We show (almost) separation between certain important classes of Boolean functions. The technique that we use is to show that the total influence of functions in one class is less than the total influence of functions in the other class. In particular, we show (almost) separation of several classes of Boolean functions which have been studied in the coding theory and cryptography from classes which have been studied in combinatorics and complexity theory.


title: A multi-decadal view of the heat and mass budget of a volcano in unrest: La Soufri\`ere de Guadeloupe (French West Indies)

abstract: Particularly in the presence of a hydrothermal system, many volcanoes output large quantities of heat through the transport of water from deep within the edifice to the surface. Thus, heat flux is a prime tool for evaluating volcanic activity and unrest. We review the volcanic unrest at La Soufri\`ere de Guadeloupe (French West Indies) using an airborne thermal camera survey, and in-situ measurements of temperature and flow rate through temperature probes, Pitot-tube and MultiGAS measurements. We deduce mass and heat fluxes for the fumarolic, ground and thermal spring outputs and follow these over a period spanning 2000--2020. Our results are compared with published data and we performed a retrospective analysis of the temporal variations in heat flux over this period using the literature data. We find that the heat emitted by the volcano is 36.5 +/- 7.9 MW, of which the fumarolic heat flux is dominant at 28.3 +/- 6.8 MW. Given a total heated area of 26780 m2, this equates to a heat flux density of 627 +/- 94 W/m2, which is amongst the highest established for worldwide volcanoes with hydrothermal systems, particularly for dome volcanoes. A major change at La Soufri\`ere de Guadeloupe, however, is the development of a widespread region of ground heating at the summit where heat output has increased from 0.2 +/- 0.1 MW in 2010 to 5.7 +/- 0.9 MW in 2020. This change is concurrent with accelerating unrest at the volcano, and the emergence of two new high-flux fumaroles in recent years. Our findings highlight the importance of continued and enhanced surveillance and research strategies at La Soufri\`ere de Guadeloupe, the results of which can be used to better understand hydrothermal volcanism the world over.


title: Maximum distances in the four-digit Kaprekar process

abstract: For natural numbers $x$ and $b$, the classical Kaprekar function is defined as $K_{b} (x) = D-A$, where $D$ is the rearrangement of the base-$b$ digits of $x$ in descending order and $A$ is ascending. The bases $b$ for which $K_b$ has a $4$-digit non-zero fixed point were classified by Hasse and Prichett, and for each base this fixed point is known to be unique. In this article, we determine the maximum number of iterations required to reach this fixed point among all four-digit base-$b$ inputs, thus answering a question of Yamagami. Moreover, we also explore---as a function of $b$---the fraction of four-digit inputs for which iterating $K_b$ converges to this fixed point.


title: Deep Analysis of CNN-based Spatio-temporal Representations for Action Recognition

abstract: In recent years, a number of approaches based on 2D or 3D convolutional neural networks (CNN) have emerged for video action recognition, achieving state-of-the-art results on several large-scale benchmark datasets. In this paper, we carry out in-depth comparative analysis to better understand the differences between these approaches and the progress made by them. To this end, we develop an unified framework for both 2D-CNN and 3D-CNN action models, which enables us to remove bells and whistles and provides a common ground for fair comparison. We then conduct an effort towards a large-scale analysis involving over 300 action recognition models. Our comprehensive analysis reveals that a) a significant leap is made in efficiency for action recognition, but not in accuracy; b) 2D-CNN and 3D-CNN models behave similarly in terms of spatio-temporal representation abilities and transferability. Our codes are available at https://github.com/IBM/action-recognition-pytorch.


title: Valley Depolarization in Monolayer Transition-Metal Dichalcogenides with Zone-Corner Acoustic Phonons

abstract: Although single-layer transition-metal dichalcogenides with novel valley functionalities are promising candidate to realize valleytronic devices, the essential understanding of valley depolarization mechanisms is still incomplete. Based on pump-probe experiments performed for MoSe2 and WSe2 monolayers and corroborating analysis from density functional calculations, we demonstrate that coherent phonons at the K-point of the Brillouin zone can effectively mediate the valley transfer of electron carriers. In the MoSe2 monolayer case, we identify this mode as the flexural acoustic ZA(K) mode, which has broken inversion symmetry and thus can enable electron spin-flip during valley transfer. On the other hand, in the monolayer WSe2 case where spin-preserving inter-valley relaxations are preferred coherent LA(K) phonons with even inversion symmetry are efficiently generated. These findings establish that, while the specifics of inter-valley relaxations depend on the spin alignments of energy bands, the K-point phonons should be taken into account as an effective valley depolarization pathway in transition metal dichalcogenide monolayers.


title: Asymptotic evaluation of $\int_0^\infty\left(\frac{\sin x}{x}\right)^n\;dx$

abstract: We consider the integral $\int_0^\infty\left(\frac{\sin x}{x}\right)^n\;dx$ as a function of the positive integer $n$. We show that there exists an asymptotic series in $\frac{1}{n}$ and compute the first terms of this series together with an explicit error bound.


title: Volume estimates for Alexandrov Spaces with convex boundaries

abstract: In this note, we estimate the upper bound of volume of closed positively or nonnegatively curved Alexandrov space $X$ with strictly convex boundary. We also discuss the equality case. In particular, the Boundary Conjecture holds when the volume upper bound is achieved. Our theorem also can be applied to Riemannian manifolds with non-smooth boundary, which generalizes Heintze and Karcher's classical volume comparison theorem. Our main tool is the gradient flow of semi-concave functions.


title: A Comparative Analysis of Industry Human-AI Interaction Guidelines

abstract: With the recent release of AI interaction guidelines from Apple, Google, and Microsoft, there is clearly interest in understanding the best practices in human-AI interaction. However, industry standards are not determined by a single company, but rather by the synthesis of knowledge from the whole community. We have surveyed all of the design guidelines from each of these major companies and developed a single, unified structure of guidelines, giving developers a centralized reference. We have then used this framework to compare each of the surveyed companies to find differences in areas of emphasis. Finally, we encourage people to contribute additional guidelines from other companies, academia, or individuals, to provide an open and extensible reference of AI design guidelines at https://ai-open-guidelines.readthedocs.io/.


title: Ghost Signals: Verifying Termination of Busy-Waiting (Extended Version)

abstract: Programs for multiprocessor machines commonly perform busy waiting for synchronization. We propose the first separation logic for modularly verifying termination of such programs under fair scheduling. Our logic requires the proof author to associate a ghost signal with each busy-waiting loop and allows such loops to iterate while their corresponding signal $s$ is not set. The proof author further has to define a well-founded order on signals and to prove that if the looping thread holds an obligation to set a signal $s^\prime$, then $s^\prime$ is ordered above $s$. By using conventional shared state invariants to associate the state of ghost signals with the state of data structures, programs busy-waiting for arbitrary conditions over arbitrary data structures can be verified.


title: Integral points on affine quadric surfaces

abstract: It is well-known that the Hasse principle holds for quadric hypersurfaces. The Hasse principle fails for integral points on smooth quadric hypersurfaces of dimension 2 but the failure can be completely explained by the Brauer-Manin obstruction. We investigate how often the family of quadric hypersurfaces $ax^2 + by^2 +cz^2 = n$ has a Brauer-Manin obstruction. We improve previous bounds of Mitankin.


title: EIGEN: Event Influence GENeration using Pre-trained Language Models

abstract: Reasoning about events and tracking their influences is fundamental to understanding processes. In this paper, we present EIGEN - a method to leverage pre-trained language models to generate event influences conditioned on a context, nature of their influence, and the distance in a reasoning chain. We also derive a new dataset for research and evaluation of methods for event influence generation. EIGEN outperforms strong baselines both in terms of automated evaluation metrics (by 10 ROUGE points) and human judgments on closeness to reference and relevance of generations. Furthermore, we show that the event influences generated by EIGEN improve the performance on a "what-if" Question Answering (WIQA) benchmark (over 3% F1), especially for questions that require background knowledge and multi-hop reasoning.


title: Identifying Learning Rules From Neural Network Observables

abstract: The brain modifies its synaptic strengths during learning in order to better adapt to its environment. However, the underlying plasticity rules that govern learning are unknown. Many proposals have been suggested, including Hebbian mechanisms, explicit error backpropagation, and a variety of alternatives. It is an open question as to what specific experimental measurements would need to be made to determine whether any given learning rule is operative in a real biological system. In this work, we take a "virtual experimental" approach to this problem. Simulating idealized neuroscience experiments with artificial neural networks, we generate a large-scale dataset of learning trajectories of aggregate statistics measured in a variety of neural network architectures, loss functions, learning rule hyperparameters, and parameter initializations. We then take a discriminative approach, training linear and simple non-linear classifiers to identify learning rules from features based on these observables. We show that different classes of learning rules can be separated solely on the basis of aggregate statistics of the weights, activations, or instantaneous layer-wise activity changes, and that these results generalize to limited access to the trajectory and held-out architectures and learning curricula. We identify the statistics of each observable that are most relevant for rule identification, finding that statistics from network activities across training are more robust to unit undersampling and measurement noise than those obtained from the synaptic strengths. Our results suggest that activation patterns, available from electrophysiological recordings of post-synaptic activities on the order of several hundred units, frequently measured at wider intervals over the course of learning, may provide a good basis on which to identify learning rules.


title: The Rohlin invariant and Z/2-valued invariants of homology spheres

abstract: In this paper we prove that the Rohlin invariant is the unique invariant inducing a homomorphism on the Torelli group. Using this result we generalize the construction of invariants of homology $3$-spheres from families of trivial 2-cocycles on the Torelli group given by Pitsch to include invariants with values on an abelian group with $2$-torsion.


title: Topology of tropical moduli spaces of weighted stable curves in higher genus

abstract: Given integers $g \geq 0$, $n \geq 1$, and a vector $w \in (\mathbb{Q} \cap (0, 1])^n$ such that ${2g - 2 + \sum w_i > 0}$, we study the topology of the moduli space $\Delta_{g, w}$ of $w$-stable tropical curves of genus $g$ with volume 1. The space $\Delta_{g, w}$ is the dual complex of the divisor of singular curves in Hassett's moduli space of $w$-stable genus $g$ curves $\overline{\mathcal{M}}_{g, w}$. When $g \geq 1$, we show that $\Delta_{g, w}$ is simply connected for all values of $w$. We also give a formula for the Euler characteristic of $\Delta_{g, w}$ in terms of the combinatorics of $w$.


title: On the Feynman-alpha Method for Reflected Fissile Assemblies

abstract: The Feynman-alpha method is a neutron noise technique that is used to estimate the prompt neutron period of fissile assemblies. The method and quantity are of widespread interest including in applications such as nuclear criticality safety, safeguards and nonproliferation, and stockpile stewardship; the prompt neutron period may also be used to infer the $k_\text{eff}$ multiplication factor. The Feynman-alpha method is predicated on time-correlated neutron detections that deviate from a Poisson random variable due to multiplication. Traditionally, such measurements are diagnosed with one-region point kinetics, but two-region models are required when the fissile assembly is reflected. This paper presents a derivation of the two-region point kinetics Feynman-alpha equations based on a double integration of the Rossi-alpha equations, develops novel propagation of measurement uncertainty, and validates the theory. Validation is achieved with organic scintillator measurements of weapons-grade plutonium reflected by various amounts of copper to achieve $k_\text{eff}$ values of 0.83-0.94 and prompt periods of 5-75 ns. The results demonstrate that Feynman-alpha measurements should use the two-region model instead of the one-region model. The simplified one-region model deviates from the validated two-region models by as much as 10\% in the estimate of the prompt neutron period, and the two-region model reduces to the one-region model for small amounts of reflector. The Feynman-alpha estimates of the prompt neutron period are compared to those of the Rossi-alpha approach. The comparative results demonstrate that the Feynman-alpha method is more precise than the Rossi-alpha method and more accurate for $k_\text{eff}<0.92$, whereas the Rossi-alpha method is generally more accurate for higher multiplications.


title: Deep learning prediction of patient response time course from early data via neural-pharmacokinetic/pharmacodynamic modeling

abstract: The longitudinal analysis of patient response time course following doses of therapeutics is currently performed using Pharmacokinetic/Pharmacodynamic (PK/PD) methodologies, which requires significant human experience and expertise in the modeling of dynamical systems. By utilizing recent advancements in deep learning, we show that the governing differential equations can be learnt directly from longitudinal patient data. In particular, we propose a novel neural-PK/PD framework that combines key pharmacological principles with neural ordinary differential equations. We applied it to an analysis of drug concentration and platelet response from a clinical dataset consisting of over 600 patients. We show that the neural-PK/PD model improves upon a state-of-the-art model with respect to metrics for temporal prediction. Furthermore, by incorporating key PK/PD concepts into its architecture, the model can generalize and enable the simulations of patient responses to untested dosing regimens. These results demonstrate the potential of neural-PK/PD for automated predictive analytics of patient response time course.


title: The phase transition for planar Gaussian percolation models without FKG

abstract: We develop techniques to study the phase transition for planar Gaussian percolation models that are not (necessarily) positively correlated. These models lack the property of positive associations (also known as the `FKG inequality'), and hence many classical arguments in percolation theory do not apply. More precisely, we consider a smooth stationary centred planar Gaussian field $f$ and, given a level $\ell \in \mathbb{R}$, we study the connectivity properties of the excursion set $\{f \geq -\ell\}$. We prove the existence of a phase transition at the critical level $\ell_{crit}=0$ under only symmetry and (very mild) correlation decay assumptions, which are satisfied by the random plane wave for instance. As a consequence, all non-zero level lines are bounded almost surely, although our result does not settle the boundedness of zero level lines (`no percolation at criticality'). To show our main result: (i) we prove a general sharp threshold criterion, inspired by works of Chatterjee, that states that `sharp thresholds are equivalent to the delocalisation of the threshold location'; (ii) we prove threshold delocalisation for crossing events at large scales -- at this step we obtain a sharp threshold result but without being able to locate the threshold -- and (iii) to identify the threshold, we adapt Tassion's RSW theory replacing the FKG inequality by a sprinkling procedure. Although some arguments are specific to the Gaussian setting, many steps are very general and we hope that our techniques may be adapted to analyse other models without FKG.


title: Reversible Jump PDMP Samplers for Variable Selection

abstract: A new class of Markov chain Monte Carlo (MCMC) algorithms, based on simulating piecewise deterministic Markov processes (PDMPs), have recently shown great promise: they are non-reversible, can mix better than standard MCMC algorithms, and can use subsampling ideas to speed up computation in big data scenarios. However, current PDMP samplers can only sample from posterior densities that are differentiable almost everywhere, which precludes their use for model choice. Motivated by variable selection problems, we show how to develop reversible jump PDMP samplers that can jointly explore the discrete space of models and the continuous space of parameters. Our framework is general: it takes any existing PDMP sampler, and adds two types of trans-dimensional moves that allow for the addition or removal of a variable from the model. We show how the rates of these trans-dimensional moves can be calculated so that the sampler has the correct invariant distribution. Simulations show that the new samplers can mix better than standard MCMC algorithms. Our empirical results show they are also more efficient than gradient-based samplers that avoid model choice through use of continuous spike-and-slab priors which replace a point mass at zero for each parameter with a density concentrated around zero.


title: Computational property predictions of Ta-Nb-Hf-Zr high-entropy alloys

abstract: Refractory high entropy alloys (R-HEAs) are having properties and uses as high strength and high hardness materials for ambient and high temperature, aerospace and nuclear radiation tolerance applications, orthopedic applications etc. The mechanical properties like yield strength and ductility of TaNbHfZr R-HEA depend on the local nanostructure and chemical ordering. In this study we have computationally obtained various properties of the TaNbHfZr alloy like the role of configurational entropy in the thermodynamic property, rate of evolution of nanostructure morphology in thermally annealed systems, dislocation simulation based quantitative prediction of yield strength, nature of dislocation movement through short range clustering (SRC) and qualitative prediction of ductile to brittle transition behavior. The simulation starts with hybrid Monte Carlo/ Molecular Dynamics (MC/MD) based nanostructure evolution of an initial random solid solution alloy structure with BCC lattice structure created with principal axes along [1 1 1], [-1 1 0] and [-1 -1 2] directions suitable for simulation of 1/2[1 1 1] edge dislocations. Thermodynamic properties are calculated from the change in enthalpy and the configurational entropy by next-neighbor bond counting statistics. The MC/MD evolved structures mimic the annealing treatment at 1800{\deg}C and the output structures are replicated in periodic directions to make larger 384000 atom structures used for dislocation simulations. Edge dislocations were utilized to obtain and explain for the extra strengthening observed because of the formations of SRCs. Lastly the MC/MD evolved structures containing dislocations are subjected to a high shear stress beyond CRSS to investigate the stability of the dislocations and the lattice structures to explain the experimentally observed transition from ductile to brittle behavior for the TaNbHfZr R-HEA.


title: On Resource-Efficient Bayesian Network Classifiers and Deep Neural Networks

abstract: We present two methods to reduce the complexity of Bayesian network (BN) classifiers. First, we introduce quantization-aware training using the straight-through gradient estimator to quantize the parameters of BNs to few bits. Second, we extend a recently proposed differentiable tree-augmented naive Bayes (TAN) structure learning approach by also considering the model size. Both methods are motivated by recent developments in the deep learning community, and they provide effective means to trade off between model size and prediction accuracy, which is demonstrated in extensive experiments. Furthermore, we contrast quantized BN classifiers with quantized deep neural networks (DNNs) for small-scale scenarios which have hardly been investigated in the literature. We show Pareto optimal models with respect to model size, number of operations, and test error and find that both model classes are viable options.


title: Nanofluidic charge transport under strong electrostatic coupling conditions

abstract: The comprehensive depiction of the many-body effects governing nanoconfined electrolytes is an essential step for the conception of nanofluidic devices with optimized performance. By incorporating self-consistently multivalent charges into the Poisson-Boltzmann equation dressed by a background monovalent salt, we investigate the impact of strong-coupling electrostatics on the nanofluidic transport of electrolyte mixtures. We find that the experimentally observed negative streaming currents in anionic nanochannels originate from the collective effect of the Cl attraction by the interfacially adsorbed multivalent cations, and the no-slip layer reducing the hydrodynamic contribution of these cations to the net current. The like-charge current condition emerging from this collective mechanism is shown to be the reversal of the average potential within the no-slip zone. Applying the formalism to surface-coated membrane nanoslits located in the giant dielectric permittivity regime, we reveal a new type of streaming current activated by attractive polarization forces. Under the effect of these forces, the addition of multivalent ions into the KCl solution sets a charge separation and generates a counterion current between the neutral slit walls. The adjustability of the current characteristics solely via the valency and amount of the added multivalent ions identifies the underlying process as a promising mechanism for nanofluidic ion separation purposes.


title: Label-Aware Neural Tangent Kernel: Toward Better Generalization and Local Elasticity

abstract: As a popular approach to modeling the dynamics of training overparametrized neural networks (NNs), the neural tangent kernels (NTK) are known to fall behind real-world NNs in generalization ability. This performance gap is in part due to the \textit{label agnostic} nature of the NTK, which renders the resulting kernel not as \textit{locally elastic} as NNs~\citep{he2019local}. In this paper, we introduce a novel approach from the perspective of \emph{label-awareness} to reduce this gap for the NTK. Specifically, we propose two label-aware kernels that are each a superimposition of a label-agnostic part and a hierarchy of label-aware parts with increasing complexity of label dependence, using the Hoeffding decomposition. Through both theoretical and empirical evidence, we show that the models trained with the proposed kernels better simulate NNs in terms of generalization ability and local elasticity.


title: Fourier holographic endoscopy for label-free imaging through a narrow and curved passage

abstract: Ultrathin lensless fibre endoscopes offer minimally invasive investigation, but they mostly operate as a rigid type due to the need for prior calibration of a fibre probe. Furthermore, most implementations work in fluorescence mode rather than label-free imaging mode, making them unsuitable for medicine and industry. Herein, we report a fully flexible ultrathin fibre endoscope taking 3D holographic images of unstained tissues with 0.87-{\mu}m spatial resolution. Using a bare fibre bundle as thin as 200-{\mu}m diameter, we design a lensless Fourier holographic imaging configuration to selectively detect weak reflections from biological tissues, a critical step for stain-free reflectance imaging. A unique algorithm is developed for calibration-free holographic image reconstruction, allowing us to image through a narrow and curved passage regardless of fibre bending. We demonstrate endoscopic reflectance imaging of unstained rat intestine tissues that are completely invisible to conventional endoscopes. The proposed endoscope will expedite more accurate and earlier diagnosis than before with minimal complications.


title: Synthesis and physical properties of perovskite Sm$_{1-x}$Sr$_x$NiO$_3$ (x = 0, 0.2) and infinite-layer Sm$_{0.8}$Sr$_{0.2}$NiO$_2$ nickelates

abstract: Recently, superconductivity at about 9-15K was discovered in Nd$_{1-x}$Sr$_x$NiO$_2$ infinite-layer thin films, which has stimulated enormous interests in related rare-earth nickelates. Usually, the first step to synthesize this 112 phase is to fabricate the RNiO$_3$ phase, however, it was reported that the 113 phase is very difficult to be synthesized successfully due to the formation of unusual Ni$^{3+}$ oxidation state. And the difficulty of preparation is enhanced as the ionic radius of rare-earth element decreases. In this work, we report the synthesis and investigation on multiple physical properties of polycrystalline perovskites Sm$_{1-x}$Sr$_x$NiO$_3$ (x = 0, 0.2) in which the ionic radius of Sm$^{3+}$ is smaller than that of Pr$^{3+}$ and Nd$^{3+}$ in related superconducting thin films. The structural and compositional analyses conducted by X-ray diffraction and energy dispersive X-ray spectrum reveal that the samples mainly contain the perovskite phase of Sm$_{1-x}$Sr$_x$NiO$_3$ with small amount of NiO impurities. Magnetization and resistivity measurements indicate that the parent phase SmNiO$_3$ undergoes a paramagnetic-antiferromagnetic transition at about 224K on a global insulating background. In contrast, the Sr-doped sample Sm$_{0.8}$Sr$_{0.2}$NiO$_3$ shows a metallic behavior from 300K down to about 12K, while below 12K the resistivity exhibits a slight logarithmic increase. Meanwhile, from the magnetization curves, we can see that a possible spin-glass state occurs below 12K in Sm$_{0.8}$Sr$_{0.2}$NiO$_3$. Using a soft chemical reduction method, we also obtain the infinite-layer phase Sm$_{0.8}$Sr$_{0.2}$NiO$_2$ with square NiO$_2$ planes. The compound shows an insulating behavior which can be described by the three-dimensional variable-range-hopping model. And superconductivity is still absent in the polycrystalline Sm$_{0.8}$Sr$_{0.2}$NiO$_2$.


title: Boosted top quark tagging and polarization measurement using machine learning

abstract: Machine learning techniques are used for treating jets as images to explore the performance of boosted top quark tagging. Tagging performances are studied in both hadronic and leptonic channels of top quark decay, employing a convolutional neural network (CNN) based technique along with boosted decision trees (BDT). This computer vision approach is also applied to distinguish between left and right polarized top quarks. In this context, an experimentally measurable asymmetry variable is proposed to estimate the polarization. Results indicate that the CNN based classifier is more sensitive to top quark polarization than the standard kinematic variables. It is observed that the overall tagging performance in the leptonic channel is better than the hadronic case, and the former also serves as a better probe for studying polarization.


title: Measure Transport with Kernel Stein Discrepancy

abstract: Measure transport underpins several recent algorithms for posterior approximation in the Bayesian context, wherein a transport map is sought to minimise the Kullback--Leibler divergence (KLD) from the posterior to the approximation. The KLD is a strong mode of convergence, requiring absolute continuity of measures and placing restrictions on which transport maps can be permitted. Here we propose to minimise a kernel Stein discrepancy (KSD) instead, requiring only that the set of transport maps is dense in an $L^2$ sense and demonstrating how this condition can be validated. The consistency of the associated posterior approximation is established and empirical results suggest that KSD is competitive and more flexible alternative to KLD for measure transport.


title: FasterRCNN Monitoring of Road Damages: Competition and Deployment

abstract: Maintaining aging infrastructure is a challenge currently faced by local and national administrators all around the world. An important prerequisite for efficient infrastructure maintenance is to continuously monitor (i.e., quantify the level of safety and reliability) the state of very large structures. Meanwhile, computer vision has made impressive strides in recent years, mainly due to successful applications of deep learning models. These novel progresses are allowing the automation of vision tasks, which were previously impossible to automate, offering promising possibilities to assist administrators in optimizing their infrastructure maintenance operations. In this context, the IEEE 2020 global Road Damage Detection (RDD) Challenge is giving an opportunity for deep learning and computer vision researchers to get involved and help accurately track pavement damages on road networks. This paper proposes two contributions to that topic: In a first part, we detail our solution to the RDD Challenge. In a second part, we present our efforts in deploying our model on a local road network, explaining the proposed methodology and encountered challenges.


title: Outer Space as a combinatorial backbone for Cutkosky rules and coactions

abstract: We consider a coaction which exists for any bridge-free graph. It is based on the cubical chain complex associated to any such graph by considering two boundary operations: shrinking edges or removing them. Only if the number of spanning trees of a graph $G$ equals its number of internal edges we find that the graphical coaction $\Delta^G$ constructed here agrees with the coaction $\Delta_{\mathsf{Inc}}$ proposed by Britto and collaborators. The graphs for which this is the case are one-loop graphs or their duals, multi-edge banana graphs. They provide the only examples discussed by Britto and collaborators so far. We call such graphs simple graphs. The Dunce's cap graph is the first non-simple graph. The number of its spanning trees (five) exceeds the number of its edges (four). We compare the two coactions which indeed do not agree and discuss this result. We also point out that for kinematic renormalization schemes the coaction $\Delta^G$ simplifies.


title: Adversarial Attacks on Binary Image Recognition Systems

abstract: We initiate the study of adversarial attacks on models for binary (i.e. black and white) image classification. Although there has been a great deal of work on attacking models for colored and grayscale images, little is known about attacks on models for binary images. Models trained to classify binary images are used in text recognition applications such as check processing, license plate recognition, invoice processing, and many others. In contrast to colored and grayscale images, the search space of attacks on binary images is extremely restricted and noise cannot be hidden with minor perturbations in each pixel. Thus, the optimization landscape of attacks on binary images introduces new fundamental challenges. In this paper we introduce a new attack algorithm called SCAR, designed to fool classifiers of binary images. We show that SCAR significantly outperforms existing $L_0$ attacks applied to the binary setting and use it to demonstrate the vulnerability of real-world text recognition systems. SCAR's strong performance in practice contrasts with the existence of classifiers that are provably robust to large perturbations. In many cases, altering a single pixel is sufficient to trick Tesseract, a popular open-source text recognition system, to misclassify a word as a different word in the English dictionary. We also license software from providers of check processing systems to most of the major US banks and demonstrate the vulnerability of check recognitions for mobile deposits. These systems are substantially harder to fool since they classify both the handwritten amounts in digits and letters, independently. Nevertheless, we generalize SCAR to design attacks that fool state-of-the-art check processing systems using unnoticeable perturbations that lead to misclassification of deposit amounts. Consequently, this is a powerful method to perform financial fraud.


title: Efficient Bayesian inference of fully stochastic epidemiological models with applications to COVID-19

abstract: Epidemiological forecasts are beset by uncertainties about the underlying epidemiological processes, and the surveillance process through which data are acquired. We present a Bayesian inference methodology that quantifies these uncertainties, for epidemics that are modelled by (possibly) non-stationary, continuous-time, Markov population processes. The efficiency of the method derives from a functional central limit theorem approximation of the likelihood, valid for large populations. We demonstrate the methodology by analysing the early stages of the COVID-19 pandemic in the UK, based on age-structured data for the number of deaths. This includes maximum a posteriori estimates, MCMC sampling of the posterior, computation of the model evidence, and the determination of parameter sensitivities via the Fisher information matrix. Our methodology is implemented in PyRoss, an open-source platform for analysis of epidemiological compartment models.


title: Self-Alignment Pretraining for Biomedical Entity Representations

abstract: Despite the widespread success of self-supervised learning via masked language models (MLM), accurately capturing fine-grained semantic relationships in the biomedical domain remains a challenge. This is of paramount importance for entity-level tasks such as entity linking where the ability to model entity relations (especially synonymy) is pivotal. To address this challenge, we propose SapBERT, a pretraining scheme that self-aligns the representation space of biomedical entities. We design a scalable metric learning framework that can leverage UMLS, a massive collection of biomedical ontologies with 4M+ concepts. In contrast with previous pipeline-based hybrid systems, SapBERT offers an elegant one-model-for-all solution to the problem of medical entity linking (MEL), achieving a new state-of-the-art (SOTA) on six MEL benchmarking datasets. In the scientific domain, we achieve SOTA even without task-specific supervision. With substantial improvement over various domain-specific pretrained MLMs such as BioBERT, SciBERTand and PubMedBERT, our pretraining scheme proves to be both effective and robust.


title: Plateau dynamics with quantized oscillations of a strongly driven qubit

abstract: We present an interesting dynamical temporal localization of a strongly driven two-level system (TLS), a plateau with quantized oscillation, by an analytical and transparent method, the counter-rotating-hybridized rotating-wave (CHRW) method. This approach, which is based on unitary transformations with a single parameter, treats the rotating and counter-rotating terms on equal footing. In the unitarily transformed representation, we find that it is the multiple-harmonic terms shown in the transformed Hamiltonian that make a crucial contribution to the generation of the exotic plateau phenomenon. By comparing the results of the numerically exact calculation and several other methods, we show that the CHRW results obtained by analytical formalism involving the collective effects of multiple harmonics are in good agreement with the numerical results, which illustrates not only the general tendency of the dynamical evolution of strongly driven TLS, but also the interesting phenomena of plateaus. The developed CHRW method reveals two kinds of plateau patterns: zigzag plateau and armchair plateau. The plateau phenomenon has a periodical pattern whose frequency is double the driving frequency, and possesses quantized oscillations the number of which has a certain, precise value. Besides, fast oscillation is produced on every plateau which is determined by the relevant driving parameters of the TLS. Our main results are as follows: (i) in the large-amplitude oscillatory case, it turns out that the collective effects of all even harmonics contribute to the generation of zigzag plateau with quantized oscillation; (ii) in the small-amplitude oscillatory case, the dynamics of the coherent destruction of tunneling under strong driving is exactly exhibited by including the odd-harmonic effect, namely, armchair plateau possessing a two-stair structure rather than the complete destruction.


title: Spikyball sampling: Exploring large networks via an inhomogeneous filtered diffusion

abstract: Studying real-world networks such as social networks or web networks is a challenge. These networks often combine a complex, highly connected structure together with a large size. We propose a new approach for large scale networks that is able to automatically sample user-defined relevant parts of a network. Starting from a few selected places in the network and a reduced set of expansion rules, the method adopts a filtered breadth-first search approach, that expands through edges and nodes matching these properties. Moreover, the expansion is performed over a random subset of neighbors at each step to mitigate further the overwhelming number of connections that may exist in large graphs. This carries the image of a "spiky" expansion. We show that this approach generalize previous exploration sampling methods, such as Snowball or Forest Fire and extend them. We demonstrate its ability to capture groups of nodes with high interactions while discarding weakly connected nodes that are often numerous in social networks and may hide important structures.


title: Prediction of Rainfall in Rajasthan, India using Deep and Wide Neural Network

abstract: Rainfall is a natural process which is of utmost importance in various areas including water cycle, ground water recharging, disaster management and economic cycle. Accurate prediction of rainfall intensity is a challenging task and its exact prediction helps in every aspect. In this paper, we propose a deep and wide rainfall prediction model (DWRPM) and evaluate its effectiveness to predict rainfall in Indian state of Rajasthan using historical time-series data. For wide network, instead of using rainfall intensity values directly, we are using features obtained after applying a convolutional layer. For deep part, a multi-layer perceptron (MLP) is used. Information of geographical parameters (latitude and longitude) are included in a unique way. It gives the model a generalization ability, which helps a single model to make rainfall predictions in different geographical conditions. We compare our results with various deep-learning approaches like MLP, LSTM and CNN, which are observed to work well in sequence-based predictions. Experimental analysis and comparison shows the applicability of our proposed method for rainfall prediction in Rajasthan.


title: Equation satisfiability in solvable groups

abstract: The study of the complexity of the equation satisfiability problem in finite groups had been initiated by Goldmann and Russell (2002) where they showed that this problem is in polynomial time for nilpotent groups while it is NP-complete for non-solvable groups. Since then, several results have appeared showing that the problem can be solved in polynomial time in certain solvable groups $G$ having a nilpotent normal subgroup $H$ with nilpotent factor $G/H$. This paper shows that such normal subgroup must exist in each finite group with equation satisfiability solvable in polynomial time, unless the Exponential Time Hypothesis fails.


title: Travelling wave solutions for fully discrete FitzHugh-Nagumo type equations with infinite-range interactions

abstract: We investigate the impact of spatial-temporal discretisation schemes on the dynamics of a class of reaction-diffusion equations that includes the FitzHugh-Nagumo system. For the temporal discretisation we consider the family of six backward differential formula (BDF) methods, which includes the well-known backward-Euler scheme. The spatial discretisations can feature infinite-range interactions, allowing us to consider neural field models. We construct travelling wave solutions to these fully discrete systems in the small time-step limit by viewing them as singular perturbations of the corresponding spatially discrete system. In particular, we refine the previous approach by Hupkes and Van Vleck for scalar fully discretised systems, which is based on a spectral convergence technique that was developed by Bates, Chen and Chmaj.


title: Searching for dynamical black holes in various theories of gravity

abstract: We construct models of Einstein and $f(R)$ gravity with two scalar fields, which admit analytical solutions describing time-varying dynamical black holes. Their thermodynamics is investigated in the adiabatic approximation. In addition to the Misner-Sharp-Hernandez quasilocal mass, we provide time-dependent thermodynamical quantities, including the Hawking temperature, Helmholtz free energy, entropy, and thermodynamical energy. The latter does not always coincide with the Misner-Sharp-Hernandez mass at the horizon, although they coincide in the static limit. For Schwarzschild-type (i.e., $g_{tt}g_{rr}=-1$) black holes in Einstein gravity, one of the two scalars is always a ghost with negative kinetic energy. We show that this ghost can be avoided in $f(R)$ gravity.


title: ConVEx: Data-Efficient and Few-Shot Slot Labeling

abstract: We propose ConVEx (Conversational Value Extractor), an efficient pretraining and fine-tuning neural approach for slot-labeling dialog tasks. Instead of relying on more general pretraining objectives from prior work (e.g., language modeling, response selection), ConVEx's pretraining objective, a novel pairwise cloze task using Reddit data, is well aligned with its intended usage on sequence labeling tasks. This enables learning domain-specific slot labelers by simply fine-tuning decoding layers of the pretrained general-purpose sequence labeling model, while the majority of the pretrained model's parameters are kept frozen. We report state-of-the-art performance of ConVEx across a range of diverse domains and data sets for dialog slot-labeling, with the largest gains in the most challenging, few-shot setups. We believe that ConVEx's reduced pretraining times (i.e., only 18 hours on 12 GPUs) and cost, along with its efficient fine-tuning and strong performance, promise wider portability and scalability for data-efficient sequence-labeling tasks in general.


title: Resource allocation for task-level speculative scientific applications: a proof of concept using Parallel Trajectory Splicing

abstract: The constant increase in parallelism available on large-scale distributed computers poses major scalability challenges to many scientific applications. A common strategy to improve scalability is to express the algorithm in terms of independent tasks that can be executed concurrently on a runtime system. In this manuscript, we consider a generalization of this approach where task-level speculation is allowed. In this context, a probability is attached to each task which corresponds to the likelihood that the product of the task will be consumed as part of the calculation. We consider the problem of optimal resource allocation to each of the possible tasks so as too maximize the expected overall computational throughput. The power of this approach is demonstrated by analyzing its application to Parallel Trajectory Splicing, a massively-parallel long-time-dynamics method for atomistic simulations.


title: Metapath- and Entity-aware Graph Neural Network for Recommendation

abstract: In graph neural networks (GNNs), message passing iteratively aggregates nodes' information from their direct neighbors while neglecting the sequential nature of multi-hop node connections. Such sequential node connections e.g., metapaths, capture critical insights for downstream tasks. Concretely, in recommender systems (RSs), disregarding these insights leads to inadequate distillation of collaborative signals. In this paper, we employ collaborative subgraphs (CSGs) and metapaths to form metapath-aware subgraphs, which explicitly capture sequential semantics in graph structures. We propose meta\textbf{P}ath and \textbf{E}ntity-\textbf{A}ware \textbf{G}raph \textbf{N}eural \textbf{N}etwork (PEAGNN), which trains multilayer GNNs to perform metapath-aware information aggregation on such subgraphs. This aggregated information from different metapaths is then fused using attention mechanism. Finally, PEAGNN gives us the representations for node and subgraph, which can be used to train MLP for predicting score for target user-item pairs. To leverage the local structure of CSGs, we present entity-awareness that acts as a contrastive regularizer on node embedding. Moreover, PEAGNN can be combined with prominent layers such as GAT, GCN and GraphSage. Our empirical evaluation shows that our proposed technique outperforms competitive baselines on several datasets for recommendation tasks. Further analysis demonstrates that PEAGNN also learns meaningful metapath combinations from a given set of metapaths.


title: The Robustness of a Collectively Encoded Rydberg Qubit

abstract: We demonstrate a collectively-encoded qubit based on a single Rydberg excitation stored in an ensemble of $N$ entangled atoms. Qubit rotations are performed by applying microwave fields that drive excitations between Rydberg states. Coherent read-out is performed by mapping the excitation into a single photon. Ramsey interferometry is used to probe the coherence of the qubit, and to test the robustness to external perturbations. We show that qubit coherence is preserved even as we lose atoms from the polariton mode, preserving Ramsey fringe visibility. We show that dephasing due to electric field noise scales as the fourth power of field amplitude. These results show that robust quantum information processing can be achieved via collective encoding using Rydberg polaritons, and hence this system could provide an attractive alternative coding strategy for quantum computation and networking.


title: Spin-current version of solar cells in non-centrosymmetric magnetic insulators

abstract: Photovoltaic effect, e.g., solar cells, converts light into DC electric current. This phenomenon takes place in various setups such as in noncentrosymmetric crystals and semiconductor pn junctions. Recently, we proposed a theory for producing DC spin current in magnets using electromagnetic waves, i.e., the spin-current counterpart of the solar cells. Our calculation shows that the nonlinear conductivity for the spin current is nonzero in a variety of noncentrosymmetric magnets, implying that the phenomenon is ubiquitous in inversion-asymmetric materials with magnetic excitations. Intuitively, this phenomenon is a bulk photovoltaic effect of magnetic excitations, where electrons and holes, visible light, and inversion-asymmetric semiconductors are replaced with magnons or spinons, THz or GHz waves, and asymmetric magnetic insulators, respectively. We also show that the photon-driven spin current is shift current type, and as a result, the current is stable against impurity scattering. This bulk photovoltaic spin current is in sharp contrast to that of well-known spin pumping that takes place at the interface between a magnet and a metal.


title: CryptoGRU: Low Latency Privacy-Preserving Text Analysis With GRU

abstract: Billions of text analysis requests containing private emails, personal text messages, and sensitive online reviews, are processed by recurrent neural networks (RNNs) deployed on public clouds every day. Although prior secure networks combine homomorphic encryption (HE) and garbled circuit (GC) to preserve users' privacy, naively adopting the HE and GC hybrid technique to implement RNNs suffers from long inference latency due to slow activation functions. In this paper, we present a HE and GC hybrid gated recurrent unit (GRU) network, CryptoGRU, for low-latency secure inferences. CryptoGRU replaces computationally expensive GC-based $tanh$ with fast GC-based $ReLU$, and then quantizes $sigmoid$ and $ReLU$ with a smaller bit length to accelerate activations in a GRU. We evaluate CryptoGRU with multiple GRU models trained on 4 public datasets. Experimental results show CryptoGRU achieves top-notch accuracy and improves the secure inference latency by up to $138\times$ over one of state-of-the-art secure networks on the Penn Treebank dataset.


title: Should Graph Convolution Trust Neighbors? A Simple Causal Inference Method

abstract: Graph Convolutional Network (GCN) is an emerging technique for information retrieval (IR) applications. While GCN assumes the homophily property of a graph, real-world graphs are never perfect: the local structure of a node may contain discrepancy, e.g., the labels of a node's neighbors could vary. This pushes us to consider the discrepancy of local structure in GCN modeling. Existing work approaches this issue by introducing an additional module such as graph attention, which is expected to learn the contribution of each neighbor. However, such module may not work reliably as expected, especially when there lacks supervision signal, e.g., when the labeled data is small. Moreover, existing methods focus on modeling the nodes in the training data, and never consider the local structure discrepancy of testing nodes. This work focuses on the local structure discrepancy issue for testing nodes, which has received little scrutiny. From a novel perspective of causality, we investigate whether a GCN should trust the local structure of a testing node when predicting its label. To this end, we analyze the working mechanism of GCN with causal graph, estimating the causal effect of a node's local structure for the prediction. The idea is simple yet effective: given a trained GCN model, we first intervene the prediction by blocking the graph structure; we then compare the original prediction with the intervened prediction to assess the causal effect of the local structure on the prediction. Through this way, we can eliminate the impact of local structure discrepancy and make more accurate prediction. Extensive experiments on seven node classification datasets show that our method effectively enhances the inference stage of GCN.


title: On the Brittle-to-Ductile Transition of the As-cast TiVNbTa Refractory High-entropy Alloy

abstract: The fracture properties of as-cast TiVNbTa, a refractory high-entropy alloy (RHEA), were investigated using four-point bending tests from -139C to 20C under a strain-rate of 10-3 s-1. From those tests and fractography, the conditional fracture toughness values and the brittle-to-ductile transition temperature were obtained. The brittle-to-ductile transition temperature was between -47C to -27C, which gives an estimated activation energy value of 0.52+-0.09 eV for the alloy. This study provides a preliminary understanding of the nature of dislocation motion in a relatively ductile RHEA.


title: Abelian subcategories of triangulated categories induced by simple minded systems

abstract: If $k$ is a field, $A$ a finite dimensional $k$-algebra, then the simple $A$-modules form a simple minded collection in the derived category $\operatorname{D}^b( \operatorname{mod} A )$. Their extension closure is $\operatorname{mod} A$; in particular, it is abelian. This situation is emulated by a general simple minded collection $\mathcal{S}$ in a suitable triangulated category $\mathcal{C}$. In particular, the extension closure $\langle \mathcal{S} \rangle$ is abelian, and there is a tilting theory for such abelian subcategories of $\mathcal{C}$. These statements follow from $\langle \mathcal{S} \rangle$ being the heart of a bounded $t$-structure. It is a defining characteristic of simple minded collections that their negative self extensions vanish in every degree. Relaxing this to vanishing in degrees $\{ -w+1, \ldots, -1 \}$ where $w$ is a positive integer leads to the rich, parallel notion of $w$-simple minded systems, which have recently been the subject of vigorous interest. If $\mathcal{S}$ is a $w$-simple minded system for some $w \geqslant 2$, then $\langle \mathcal{S} \rangle$ is typically not the heart of a $t$-structure. Nevertheless, using different methods, we will prove that $\langle \mathcal{S} \rangle$ is abelian and that there is a tilting theory for such abelian subcategories. Our theory is based on Quillen's notion of exact categories, in particular a theorem by Dyer which provides exact subcategories of triangulated categories. The theory of simple minded systems can be viewed as "negative cluster tilting theory". In particular, the result that $\langle \mathcal{S} \rangle$ is an abelian subcategory is a negative counterpart to the result from (higher) positive cluster tilting theory that if $\mathcal{T}$ is a cluster tilting subcategory, then $( \mathcal{T} * \Sigma \mathcal{T} )/[ \mathcal{T} ]$ is an abelian quotient category.


title: Castle in the Sky: Dynamic Sky Replacement and Harmonization in Videos

abstract: This paper proposes a vision-based method for video sky replacement and harmonization, which can automatically generate realistic and dramatic sky backgrounds in videos with controllable styles. Different from previous sky editing methods that either focus on static photos or require inertial measurement units integrated in smartphones on shooting videos, our method is purely vision-based, without any requirements on the capturing devices, and can be well applied to either online or offline processing scenarios. Our method runs in real-time and is free of user interactions. We decompose this artistic creation process into a couple of proxy tasks including sky matting, motion estimation, and image blending. Experiments are conducted on videos diversely captured in the wild by handheld smartphones and dash cameras, and show high fidelity and good generalization of our method in both visual quality and lighting/motion dynamics. Our code and animated results are available at \url{https://jiupinjia.github.io/skyar/}.


title: Tidal Dissipation in Dual-Body, Highly Eccentric, and Non-synchronously Rotating Systems: Applications to Pluto-Charon and the Exoplanet TRAPPIST-1e

abstract: Using the Andrade-derived Sundberg-Cooper rheology, we apply several improvements to the secular tidal evolution of TRAPPIST-1e and the early history of Pluto-Charon under the simplifying assumption of homogeneous bodies. By including higher-order eccentricity terms (up to and including $e^{20}$), we find divergences from the traditionally used $e^{2}$ truncation starting around $e=0.1$. Order-of-magnitude differences begin to occur for $e>0.6$. Critically, higher-order eccentricity terms activate additional spin-orbit resonances. Worlds experiencing non-synchronous rotation can fall into and out of these resonances, altering their long-term evolution. Non-zero obliquity generally does not generate significantly higher heating; however, it can considerably alter orbital and rotational evolution. Much like eccentricity, obliquity can activate new tidal modes and resonances. Tracking the dual-body dissipation within Pluto and Charon leads to faster evolution and dramatically different orbital outcomes. Based on our findings, we recommend future tidal studies on worlds with $e\geq0.3$ to take into account additional eccentricity terms beyond $e^{2}$. This threshold should be lowered to $e>0.1$ if non-synchronous rotation or non-zero obliquity is under consideration. Due to the poor convergence of the eccentricity functions, studies on worlds that may experience very high eccentricity ($e\geq0.6$) should include terms with high powers of eccentricity. We provide these equations up to $e^{10}$ for arbitrary obliquity and non-synchronous rotation. Finally, the assumption that short-period, solid-body exoplanets with $e\gtrsim0.1$ are tidally locked in their 1:1 spin-orbit resonance should be reconsidered. Higher-order spin-orbit resonances can exist even at these relatively modest eccentricities, while previous studies have found such resonances can significantly alter stellar-driven climate.


title: Measurement of the relative branching fractions of $B^+ \to h^+h^{\prime +}h^{\prime -}$ decays

abstract: The relative branching fractions of $B^+ \to h^+h^{\prime +}h^{\prime -}$ decays, where $h^{(\prime)}$ is a pion or kaon, are measured. The analysis is performed with a data sample, collected with the LHCb detector, corresponding to an integrated luminosity of $3.0 {\rm fb}^{-1}$ of $pp$ collisions. The results obtained improve significantly on previous measurements of these quantities, and are important for the interpretation of Dalitz plot analyses of three-body charmless hadronic decays of $B^+$ mesons.


title: Compositional embedding models for speaker identification and diarization with simultaneous speech from 2+ speakers

abstract: We propose a new method for speaker diarization that can handle overlapping speech with 2+ people. Our method is based on compositional embeddings [1]: Like standard speaker embedding methods such as x-vector [2], compositional embedding models contain a function f that separates speech from different speakers. In addition, they include a composition function g to compute set-union operations in the embedding space so as to infer the set of speakers within the input audio. In an experiment on multi-person speaker identification using synthesized LibriSpeech data, the proposed method outperforms traditional embedding methods that are only trained to separate single speakers (not speaker sets). In a speaker diarization experiment on the AMI Headset Mix corpus, we achieve state-of-the-art accuracy (DER=22.93%), slightly higher than the previous best result (23.82% from [3]).


title: Quantum State Readout, Collapses, Probes and Signals

abstract: Theories involving localized collapse allow the possibility that classical information could be obtained about quantum states without using POVMS and without allowing superluminal signalling. We can model this by extending quantum theory to include hypothetical devices that read out information about the local quantum state at a given point, defined by considering only collapses in its past light cone. Like Popescu-Rohrlich boxes, these hypothetical devices would have practical and scientific implications if realisable. These include signalling through opaque media, probing the physics of distant or opaque systems without needing a reflected signal and giving detailed information about collapse dynamics without requiring direct observation of the collapsing system. These potential applications motivate systematic searches for possible signatures of these nonstandard extensions of quantum theory, and in particular for relevant gravitational effects, such as the validity of semi-classical gravity on small scales.


title: Urban Sound Classification : striving towards a fair comparison

abstract: Urban sound classification has been achieving remarkable progress and is still an active research area in audio pattern recognition. In particular, it allows to monitor the noise pollution, which becomes a growing concern for large cities. The contribution of this paper is two-fold. First, we present our DCASE 2020 task 5 winning solution which aims at helping the monitoring of urban noise pollution. It achieves a macro-AUPRC of 0.82 / 0.62 for the coarse / fine classification on validation set. Moreover, it reaches accuracies of 89.7% and 85.41% respectively on ESC-50 and US8k datasets. Second, it is not easy to find a fair comparison and to reproduce the performance of existing models. Sometimes authors copy-pasting the results of the original papers which is not helping reproducibility. As a result, we provide a fair comparison by using the same input representation, metrics and optimizer to assess performances. We preserve data augmentation used by the original papers. We hope this framework could help evaluate new architectures in this field. For better reproducibility, the code is available on our GitHub repository.


title: On the Kontsevich geometry of the combinatorial Teichm\"uller space

abstract: For bordered surfaces S, we develop a complete parallel between the geometry of the combinatorial Teichm\"uller space $T_S^{comb}$ equipped with Kontsevich symplectic form $\omega_K$, and then the usual Weil-Petersson geometry of Teichm\"uller space $T_S$. The basis for this is an identification of $T_S^{comb}$ with a space of measured foliations with transverse boundary conditions. We equip $T_S^{comb}$ with an analog of the Fenchel-Nielsen coordinates (defined similarly as Dehn-Thurston coordinates) and show they are Darboux for $\omega_K$ (analog of Wolpert formula). We then set up the geometric recursion of Andersen-Borot-Orantin to produce mapping class group invariants functions on $T_S^{comb}$ whose integration with respect to Kontsevich volume form satisfy topological recursion. Further we establish an analog of Mirzakhani-McShane identities, and provide applications to the study of the enumeration of multicurves with respect to combinatorial lengths and Masur-Veech volumes. The formalism allows us to provide uniform and completely geometric proofs of Witten's conjecture/Kontsevich theorem and Norbury's topological recursion for lattice point count in the combinatorial moduli space, parallel to Mirzakhani's proof of her recursion for Weil-Petersson volumes. We strengthen results of Mondello and Do on the convergence of hyperbolic geometry to combinatorial geometry along the rescaling flow, allowing us to flow systematically natural constructions on the usual Teichm\"uller space to their combinatorial analogue, such as a new derivation of the piecewise linear structure of $T_S^{comb}$ originally obtained in the work of Penner, as the limit under the flow of the smooth structure of $T_S$.


title: Validation of non-negative matrix factorization for assessment of atomic pair-distribution function (PDF) data in a real-time streaming context

abstract: We validate the use of matrix factorization for the automatic identification of relevant components from atomic pair distribution function (PDF) data. We also present a newly developed software infrastructure for analyzing the PDF data arriving in streaming manner. We then apply two matrix factorization techniques, Principal Component Analysis (PCA) and Non-negative Matrix Factorization (NMF), to study simulated and experiment datasets in the context of in situ experiment.


title: Symbolic dynamics for nonuniformly hyperbolic maps with singularities in high dimension

abstract: We construct Markov partitions for non-invertible and/or singular nonuniformly hyperbolic systems defined on higher dimensional Riemannian manifolds. The generality of the setup covers classical examples not treated so far, such as geodesic flows in closed manifolds, multidimensional billiard maps, and Viana maps, and includes all the recent results of the literature. We also provide a wealth of applications.


title: Four-Dimensional Scaling of Dipole Polarizability in Quantum Systems

abstract: Polarizability is a key response property of physical and chemical systems, which has an impact on intermolecular interactions, spectroscopic observables, and vacuum polarization. The calculation of polarizability for quantum systems involves an infinite sum over all excited (bound and continuum) states, concealing the physical interpretation of polarization mechanisms and complicating the derivation of efficient response models. Approximate expressions for the dipole polarizability, $\alpha$, rely on different scaling laws $\alpha \propto$ $R^3$, $R^4$, or $R^7$, for various definitions of the system radius $R$. Here, we consider a range of single-particle quantum systems of varying spatial dimensionality and having qualitatively different spectra, demonstrating that their polarizability follows a universal four-dimensional scaling law $\alpha = C (4 \mu q^2/\hbar^2)L^4$, where $\mu$ and $q$ are the (effective) particle mass and charge, $C$ is a dimensionless excitation-energy ratio, and the characteristic length $L$ is defined via the $\mathcal{L}^2$-norm of the position operator. %The applicability of this unified formula is demonstrated by accurately predicting the dipole polarizability of 36 atoms and 1641 small organic~molecules. This unified formula is also applicable to many-particle systems, as shown by} accurately predicting the dipole polarizability of 36 atoms, 1641 small organic \rrr{molecules, and Bloch electrons in periodic systems.


title: Factorized Neural Processes for Neural Processes: $K$-Shot Prediction of Neural Responses

abstract: In recent years, artificial neural networks have achieved state-of-the-art performance for predicting the responses of neurons in the visual cortex to natural stimuli. However, they require a time consuming parameter optimization process for accurately modeling the tuning function of newly observed neurons, which prohibits many applications including real-time, closed-loop experiments. We overcome this limitation by formulating the problem as $K$-shot prediction to directly infer a neuron's tuning function from a small set of stimulus-response pairs using a Neural Process. This required us to developed a Factorized Neural Process, which embeds the observed set into a latent space partitioned into the receptive field location and the tuning function properties. We show on simulated responses that the predictions and reconstructed receptive fields from the Factorized Neural Process approach ground truth with increasing number of trials. Critically, the latent representation that summarizes the tuning function of a neuron is inferred in a quick, single forward pass through the network. Finally, we validate this approach on real neural data from visual cortex and find that the predictive accuracy is comparable to -- and for small $K$ even greater than -- optimization based approaches, while being substantially faster. We believe this novel deep learning systems identification framework will facilitate better real-time integration of artificial neural network modeling into neuroscience experiments.


title: Tests of Quantum Gravity near Measurement Events

abstract: Experiments have recently been proposed testing whether quantum gravitational interactions generate entanglement between adjacent masses in position superposition states. We propose potentially less challenging experiments that test quantum gravity against theories with classical space-times defined by postulating semi-classical gravity (or classical effects of similar scale) for mesoscopic systems.


title: Cohomological Obstructions for Mittag-Leffler Problems

abstract: This is an extensive survey of the techniques used to formulate generalizations of the Mittag-Leffler Theorem from complex analysis. With the techniques of the theory of differential forms, sheaves and cohomology, we are able to define the notion of a Mittag-Leffler Problem on a Riemann surface as a problem of passage of data from local to global, and discuss characterizations of contexts where these problems have solutions.


title: $\mathcal{N}=7$ On-Shell Diagrams and Supergravity Amplitudes in Momentum Twistor Space

abstract: We derive an on-shell diagram recursion for tree-level scattering amplitudes in $\mathcal{N}=7$ supergravity. The diagrams are evaluated in terms of Grassmannian integrals and momentum twistors, generalising previous results of Hodges in momentum twistor space to non-MHV amplitudes. In particular, we recast five and six-point NMHV amplitudes in terms of $\mathcal{N}=7$ R-invariants analogous to those of $\mathcal{N}=4$ super-Yang-Mills, which makes cancellation of spurious poles more transparent. Above 5-points, this requires defining momentum twistors with respect to different orderings of the external momenta.


title: Bounds for the $p$-angular distance and characterizations of inner product spaces

abstract: Based on a suitable improvement of a triangle inequality, we derive new mutual bounds for $p$-angular distance $\alpha_p[x,y]=\big\Vert \Vert x\Vert^{p-1}x- \Vert y\Vert^{p-1}y\big\Vert$, in a normed linear space $X$. We show that our estimates are more accurate than the previously known upper bounds established by Dragomir, Hile and Maligranda. Next, we give several characterizations of inner product spaces with regard to the $p$-angular distance. In particular, we prove that if $|p|\geq |q|$, $p\neq q$, then $X$ is an inner product space if and only if for every $x,y\in X\setminus \{0\}$, $${\alpha_p[x,y]}\geq \frac{{\|x\|^{p}+\|y\|^{p} }}{\|x\|^{q}+\|y\|^{q} }\alpha_q[x,y].$$


title: The kinematics of young and old stellar populations in nuclear rings of MUSE TIMER galaxies

abstract: Studying the stellar kinematics of galaxies is a key tool in the reconstruction of their evolution. However, the current measurements of the stellar kinematics are complicated by several factors, including dust extinction and the presence of multiple stellar populations. We use integral field spectroscopic data of four galaxies from the TIMER survey to explore and compare the kinematics measured in different spectral regions that are sensitive to distinct stellar populations. We derive the line-of-sight velocity and velocity dispersion of both a young (<2 Gyr) and an old stellar population from the spectral regions around the H$\beta$ line and the Ca II Triplet. In addition we obtain colour excess, mean age, and metallicity. We report a correlation of the colour excess with the difference in the kinematic parameters of the H$\beta$ line and the Ca II Triplet range, which are dominated by young and old stellar populations, respectively. Young stellar populations, located primarily in nuclear rings, have higher velocity dispersions than old ones. These differences in the rings are typically 10 km/s in velocity dispersion, but up to a mean value of 24 km/s in the most extreme case. Trends with age exist in the nuclear rings but are less significant than those with dust extinction. We report different degrees of correlation of these trends among the galaxies in the sample, which are related to the size of the Voronoi bins in their rings. No clear trends for the difference of line-of-sight velocity are observed. The absence of these trends can be explained as a consequence of the masking process of the H$\beta$ line during the kinematic extraction, as confirmed by dedicated simulations. Our study demonstrates that kinematic differences caused by different stellar populations can be identified in the central regions of nearby galaxies even from intermediate resolution spectroscopy.


title: Unsupervised Segmentation of B-Mode Echocardiograms

abstract: We present a method for unsupervised segmentation of echocardiograms (echo). The method uses an iterative Dijkstra's algorithm, a strategic node selection, and a novel cost matrix formulation based on intensity peak prominence and is thus termed the "Prominence Iterative Dijkstra's" algorithm, or ProID. Although the current analysis focuses on the left ventricle (LV), ProID is applicable to all four heart chambers. ProID was tested using artificial echo images representing five different systems. Results showed accurate LV contours and volume estimations as compared to the ground-truth for all systems. Subsequently, ProID was used to analyze a clinical cohort of 66 pediatric patients, including both normal and diseased hearts. Output segmentations, end-diastolic, end-systolic volumes, and ejection fraction (EF) were compared against manual segmentations from two expert readers. ProID maintained an average Dice similarity score of 0.93 when comparing against manual segmentation. Comparing the two expert readers, the manual segmentations maintained a score of 0.93, which increased to 0.95 when they used ProID. Thus, ProID successfully reduced the inter-operator variability across the two expert readers. Overall, this work demonstrates that ProID yields accurate boundaries across all age groups, disease states, and echo platforms with low computation cost, thereby establishing its clinical usefulness.


title: Maximally entangled and GHz-clocked on-demand photon pair source

abstract: We present a 1 GHz-clocked, maximally entangled and on-demand photon pair source based on droplet etched GaAs quantum dots using two-photon excitation. By employing these GaP microlensenhanced devices in conjunction with their substantial brightness, raw entanglement fidelities of up to $0.95 \pm 0.01$ and post-selected photon indistinguishabilities of up to $0.93 \pm 0.01$, the suitability for quantum repeater based long range quantum entanglement distribution schemes is shown. Comprehensive investigations of a complete set of polarization selective two-photon correlations as well as time resolved Hong-Ou-Mandel interferences facilitate innovative methods that determine quantities such as photon extraction and excitation efficiencies as well as pure dephasing directly - opposed to commonly employed indirect techniques.


title: Compositional Generalization via Semantic Tagging

abstract: Although neural sequence-to-sequence models have been successfully applied to semantic parsing, they fail at compositional generalization, i.e., they are unable to systematically generalize to unseen compositions of seen components. Motivated by traditional semantic parsing where compositionality is explicitly accounted for by symbolic grammars, we propose a new decoding framework that preserves the expressivity and generality of sequence-to-sequence models while featuring lexicon-style alignments and disentangled information processing. Specifically, we decompose decoding into two phases where an input utterance is first tagged with semantic symbols representing the meaning of individual words, and then a sequence-to-sequence model is used to predict the final meaning representation conditioning on the utterance and the predicted tag sequence. Experimental results on three semantic parsing datasets show that the proposed approach consistently improves compositional generalization across model architectures, domains, and semantic formalisms.


title: Measurement of the production cross section of 31 GeV/$c$ protons on carbon via beam attenuation in a 90-cm-long target

abstract: The production cross section of 30.92 GeV/$c$ protons on carbon is measured by the NA61/SHINE spectrometer at the CERN SPS by means of beam attenuation in a copy (replica) of the 90-cm-long target of the T2K neutrino oscillation experiment. The employed method for direct production cross-section estimation minimizes model corrections for elastic and quasi-elastic interactions. The obtained production cross section is $\sigma_\mathrm{prod}~=~227.6~\pm~0.8\mathrm{(stat)}~_{-~3.2}^{+~1.9}\mathrm{(sys)}~{-~0.8}\mathrm{(mod)}$ mb. It is in agreement with previous NA61/SHINE results obtained with a thin carbon target, while providing improved precision with a total fractional uncertainty of less than 2$\%$. This direct measurement is performed to reduce the uncertainty on the T2K neutrino flux prediction associated with the re-weighting of the interaction rate of neutrino-yielding hadrons.


title: Posterior Re-calibration for Imbalanced Datasets

abstract: Neural Networks can perform poorly when the training label distribution is heavily imbalanced, as well as when the testing data differs from the training distribution. In order to deal with shift in the testing label distribution, which imbalance causes, we motivate the problem from the perspective of an optimal Bayes classifier and derive a post-training prior rebalancing technique that can be solved through a KL-divergence based optimization. This method allows a flexible post-training hyper-parameter to be efficiently tuned on a validation set and effectively modify the classifier margin to deal with this imbalance. We further combine this method with existing likelihood shift methods, re-interpreting them from the same Bayesian perspective, and demonstrating that our method can deal with both problems in a unified way. The resulting algorithm can be conveniently used on probabilistic classification problems agnostic to underlying architectures. Our results on six different datasets and five different architectures show state of art accuracy, including on large-scale imbalanced datasets such as iNaturalist for classification and Synthia for semantic segmentation. Please see https://github.com/GT-RIPL/UNO-IC.git for implementation.


title: Scalable Hierarchical Agglomerative Clustering

abstract: The applicability of agglomerative clustering, for inferring both hierarchical and flat clustering, is limited by its scalability. Existing scalable hierarchical clustering methods sacrifice quality for speed and often lead to over-merging of clusters. In this paper, we present a scalable, agglomerative method for hierarchical clustering that does not sacrifice quality and scales to billions of data points. We perform a detailed theoretical analysis, showing that under mild separability conditions our algorithm can not only recover the optimal flat partition, but also provide a two-approximation to non-parametric DP-Means objective. This introduces a novel application of hierarchical clustering as an approximation algorithm for the non-parametric clustering objective. We additionally relate our algorithm to the classic hierarchical agglomerative clustering method. We perform extensive empirical experiments in both hierarchical and flat clustering settings and show that our proposed approach achieves state-of-the-art results on publicly available clustering benchmarks. Finally, we demonstrate our method's scalability by applying it to a dataset of 30 billion queries. Human evaluation of the discovered clusters show that our method finds better quality of clusters than the current state-of-the-art.


title: No-go theorems for quantum resource purification II: new approach and channel theory

abstract: It has been recently shown that there exist universal fundamental limits to the accuracy and efficiency of the transformation from noisy resource states to pure ones (e.g.,~distillation) in any well-behaved quantum resource theory [Fang/Liu, Phys. Rev. Lett. 125, 060405 (2020)]. Here, we develop a novel and powerful method for analyzing the limitations on quantum resource purification, which not only leads to improved bounds that rule out exact purification for a broader range of noisy states and are tight in certain cases, but also enable us to establish a robust no-purification theory for quantum channel (dynamical) resources. More specifically, we employ the new method to derive universal bounds on the error and cost of transforming generic noisy channels (where multiple instances can be used adaptively, in contrast to the state theory) to some unitary resource channel under any free channel-to-channel map. We address several cases of practical interest in more concrete terms, and discuss the connections and applications of our general results to distillation, quantum error correction, quantum Shannon theory, and quantum circuit synthesis.


title: Basics of General Theory of Relativity for Beginners

abstract: We present a basics of the Einstein General Theory of Relativity. In the first part of this review we derive relations of Riemann geometry which are used in the General Relativity. In the second part we discuss Einstein Equations and some of its consequences (The Schwarzschild solution, gravitational waves, Friedman Equations etc). In the Appendix we briefly discuss a history of the discovery of the Einstein Equations.


title: Primordial Black Holes Around Us Now, Long Before, and Far away

abstract: Recent astronomical data on Black hole observations are reviewed. The arguments in favor that the observed black holes are predominantly primordial (PBH) are presented. The mass spectrum of PBH is best fit to the log-normal one. A model of PBH formation with log-normal spectrum is briefly described.


title: Model identification and local linear convergence of coordinate descent

abstract: For composite nonsmooth optimization problems, Forward-Backward algorithm achieves model identification (e.g. support identification for the Lasso) after a finite number of iterations, provided the objective function is regular enough. Results concerning coordinate descent are scarcer and model identification has only been shown for specific estimators, the support-vector machine for instance. In this work, we show that cyclic coordinate descent achieves model identification in finite time for a wide class of functions. In addition, we prove explicit local linear convergence rates for coordinate descent. Extensive experiments on various estimators and on real datasets demonstrate that these rates match well empirical results.


title: Nonparametric robust monitoring of time series panel data

abstract: In many applications, a control procedure is required to detect potential deviations in a panel of serially correlated processes. It is common that the processes are corrupted by noise and that no prior information about the in-control data are available for that purpose. This paper suggests a general nonparametric monitoring scheme for supervising such a panel with time-varying mean and variance. The method is based on a control chart designed by block bootstrap, which does not require parametric assumptions on the distribution of the data. The procedure is tailored to cope with strong noise, potentially missing values and absence of in-control series, which is tackled by an intelligent exploitation of the information in the panel. Our methodology is completed by support vector machine procedures to estimate magnitude and form of the encountered deviations (such as stepwise shifts or functional drifts). This scheme, though generic in nature, is able to treat an important applied data problem: the control of deviations in a subset of sunspot number observations which are part of the International Sunspot Number, a world reference for long-term solar activity.


title: Automated Metadata Harmonization Using Entity Resolution & Contextual Embedding

abstract: ML Data Curation process typically consist of heterogeneous & federated source systems with varied schema structures; requiring curation process to standardize metadata from different schemas to an inter-operable schema. This manual process of Metadata Harmonization & cataloging slows efficiency of ML-Ops lifecycle. We demonstrate automation of this step with the help of entity resolution methods & also by using Cogntive Database's Db2Vec embedding approach to capture hidden inter-column & intra-column relationships which detect similarity of metadata and then predict metadata columns from source schemas to any standardized schemas. Apart from matching schemas, we demonstrate that it can also infer the correct ontological structure of the target data model.