title: Why Don't Developers Detect Improper Input Validation?'; DROP TABLE Papers; --

abstract: Improper Input Validation (IIV) is a software vulnerability that occurs when a system does not safely handle input data. Even though IIV is easy to detect and fix, it still commonly happens in practice. In this paper, we study to what extent developers can detect IIV and investigate underlying reasons. This knowledge is essential to better understand how to support developers in creating secure software systems. We conduct an online experiment with 146 participants, of which 105 report at least three years of professional software development experience. Our results show that the existence of a visible attack scenario facilitates the detection of IIV vulnerabilities and that a significant portion of developers who did not find the vulnerability initially could identify it when warned about its existence. Yet, a total of 60 participants could not detect the vulnerability even after the warning. Other factors, such as the frequency with which the participants perform code reviews, influence the detection of IIV. Data and materials: https://doi.org/10.5281/zenodo.3996696


title: Sur la fonction Delta de Hooley associ\'ee \`a des caract\`eres

abstract: Let $(f_1,f_2)$ a $2$-tuple of arithmetic functions and $$\Delta_3(n,f_1,f_2):=\sup\limits_{\substack{(u_1,u_2) \in \mathbb{R}^{2} \\(v_1,v_2) \in [0,1]^{2}}}\Big\lvert \sum\limits_{\substack{d_1 d_{2} \mid n \\ e^{u_i}<d_i\leqslant e^{u_i+v_i}}}{f_1(d_1) f_{2}(d_{2})} \Big\rvert{\rm .}$$ In this paper, we give an upper bound of the second moment of $\Delta_3(n,\chi_1,\chi_2)$ when $\chi_1$ and $\chi_2$ are two non principal Dirichlet characters, following methods developed by La Bret\`eche and Tenenbaum. This upper bound is a main step for the asymptotic counting of the number of ideals of norm fixed, which will be developped in another article.


title: Continuum: Simple Management of Complex Continual Learning Scenarios

abstract: Continual learning is a machine learning sub-field specialized in settings with non-iid data. Hence, the training data distribution is not static and drifts through time. Those drifts might cause interferences in the trained model and knowledge learned on previous states of the data distribution might be forgotten. Continual learning's challenge is to create algorithms able to learn an ever-growing amount of knowledge while dealing with data distribution drifts. One implementation difficulty in these field is to create data loaders that simulate non-iid scenarios. Indeed, data loaders are a key component for continual algorithms. They should be carefully designed and reproducible. Small errors in data loaders have a critical impact on algorithm results, e.g. with bad preprocessing, wrong order of data or bad test set. Continuum is a simple and efficient framework with numerous data loaders that avoid researcher to spend time on designing data loader and eliminate time-consuming errors. Using our proposed framework, it is possible to directly focus on the model design by using the multiple scenarios and evaluation metrics implemented. Furthermore the framework is easily extendable to add novel settings for specific needs.


title: Securing RPL using Network Coding: The Chained Secure Mode (CSM)

abstract: As the de facto routing protocol for many Internet of Things (IoT) networks nowadays, and to assure the confidentiality and integrity of its control messages, the Routing Protocol for Low Power and Lossy Networks (RPL) incorporates three modes of security: the Unsecured Mode (UM), Preinstalled Secure Mode (PSM), and the Authenticated Secure Mode (ASM). While the PSM and ASM are intended to protect against external routing attacks and some replay attacks (through an optional replay protection mechanism), recent research showed that RPL in PSM is still vulnerable to many routing attacks, both internal and external. In this paper, we propose a novel secure mode for RPL, the Chained Secure Mode (CSM), based on the concept of intraflow Network Coding (NC). The CSM is designed to enhance RPL resilience and mitigation capability against replay attacks while allowing the integration with external security measures such as Intrusion Detection Systems (IDSs). The security and performance of the proposed CSM were evaluated and compared against RPL in UM and PSM (with and without the optional replay protection) under several routing attacks: the Neighbor attack (NA), Wormhole (WH), and CloneID attack (CA), using average packet delivery rate (PDR), End-to-End (E2E) latency, and power consumption as metrics. It showed that CSM has better performance and more enhanced security than both the UM and PSM with the replay protection, while mitigating both the NA and WH attacks and significantly reducing the effect of the CA in the investigated scenarios.


title: Laplace eigenfunctions on Riemannian symmetric spaces and Borel-Weil Theorem

abstract: We indicate a geometric relation between Laplace-Beltrami spectra and eigenfunctions on compact Riemannian symmetric spaces and the Borel-Weil theory using ideas from symplectic geometry and geometric quantization. This is done by associating to each compact Riemannian symmetric space, via Marsden-Weinstein reduction, a generalized flag manifold which covers the space parametrizing all of its maximal totally geodesic tori. In the process we notice a direct relation between the Satake diagram of the symmetric space and the painted Dynkin diagram of its associated flag manifold. We consider in detail the examples of the classical simply-connected spaces of rank one and the space SU(3)/SO(3). In the second part of the paper we provide a construction of harmonic polynomials inducing Laplace-Beltrami eigenfunctions on the symmetric space from holomorphic sections of the associated line bundle on the generalized flag manifold. We show that in the examples we consider the construction provides all of the eigenfunctions.


title: Sur le nombre d'id\'eaux dont la norme est la valeur d'une forme binaire de degr\'e 3

abstract: Let $\mathbb{K}$ be a cyclic extension of degree $3$ of $\mathbb{Q}$. Take $G={\rm Gal}(\mathbb{K}/ \mathbb{Q})$ and $\chi$ the character of a non trivial representation of $G$. In this case, $\chi$ is a non principal Dirichlet character of degree $3$ and the quantity $r_3(n)$ defined by $$r_3(n):=\big(1*\chi*\chi^2\big)(n){\rm ,}$$ counts the number of ideals of $O_{\mathbb{K}}$ of norm $n$. In this paper, using a new result on Hooley's Delta function, we prove an asymptotic estimate, in $\xi$, of the quantity $$Q(\xi,\mathcal{R},F):=\sum\limits_{\boldsymbol{x} \in \mathcal{R}(\xi)}{r_3\big(F(\boldsymbol{x})\big)}{\rm ,}$$ for a binary form $F$ of degree $3$ irreducible over $\mathbb{K}$ and $\mathcal{R}$ a good domain of $\mathbb{R}^2$, with $$\mathcal{R}(\xi):=\Big\{\boldsymbol{x} \in \mathbb{R}^2\;:\: \frac{\boldsymbol{x}}{\xi} \in \mathcal{R}\Big\}{\rm .}$$ We also give a geometric interpretation of the main constant of the asymptotic estimate when the ring $O_{\mathbb{K}}$ is principal.


title: Radial Velocity Monitoring of the Young Star Hubble 4: Disentangling Starspot Lifetimes from Orbital Motion

abstract: We studied the weak-lined T Tauri star Hubble 4, a known long-period binary, and its starspot phenomena. We used optical radial velocity (RV) data taken over a span of 14 years (2004-2010, 2017-2019) at the McDonald Observatory 2.7m Harlan J. Smith telescope and single epoch imaging from the HST/WFC3 instrument. The observed and apparent RV variations show contributions, respectively, from the binary motion as well as from a large spot group on one of the stars, presumed to be the primary. Fitting and removing the orbital signal from the RVs, we found the lower bound on the lifetime of a previously identified large spot group on the surface of the star to be at least 5.1 years. A $\sim5$ year lower limit is a long, but not unprecedented, duration for a single spot group. The later epoch data indicate significant spot evolution has occurred, placing an upper bound on the spot group lifetime at 12 years. We find that pre-main sequence evolutionary models for the age of Taurus ($\sim2$ Myr), combined with component mass estimates from the literature, permit us to reproduce the HST relative photometry and the binary-induced contribution to the apparent RV variations. The long-lived star spot we find on Hubble 4 has significant implications for dynamo models in young stars, as it adds evidence for long lifetimes of magnetic field topologies. There are also significant implications for young star exoplanet searches as long-lived coherent RV signals may be spot-induced and not the result of planetary motion. (This paper includes data taken at The McDonald Observatory of The University of Texas at Austin.)


title: Using Echo State Networks to Approximate Value Functions for Control

abstract: An Echo State Network (ESN) is a type of single-layer recurrent neural network with randomly-chosen internal weights and a trainable output layer. We prove under mild conditions that a sufficiently large Echo State Network can approximate the value function of a broad class of stochastic and deterministic control problems. Such control problems are generally non-Markovian. We describe how the ESN can form the basis for novel and computationally efficient reinforcement learning algorithms in a non-Markovian framework. We demonstrate this theory with two examples. In the first, we use an ESN to solve a deterministic, partially observed, control problem which is a simple game we call `Bee World'. In the second example, we consider a stochastic control problem inspired by a market making problem in mathematical finance. In both cases we can compare the dynamics of the algorithms with analytic solutions to show that even after only a single reinforcement policy iteration the algorithms arrive at a good policy.


title: Radio Spectral Imaging of an M8.4 Eruptive Solar Flare: Possible Evidence of a Termination Shock

abstract: Solar flare termination shocks have been suggested as one of the viable mechanisms for accelerating electrons and ions to high energies. Observational evidence of such shocks, however, remains rare. Using radio dynamic spectroscopic imaging of a long-duration C1.9 flare obtained by the Karl G. Jansky Very Large Array (VLA), Chen et al. (2015) suggested that a type of coherent radio bursts, referred to as "stochastic spike bursts," were radio signatures of nonthermal electrons interacting with myriad density fluctuations at the front of a flare termination shock. Here we report another stochastic spike burst event recorded during the extended energy release phase of a long-duration M8.4-class eruptive flare on 2012 March 10. VLA radio spectroscopic imaging of the spikes in 1.0--1.6 GHz shows that similar to the case of Chen et al. (2015), the burst centroids form an extended, ~10''-long structure in the corona. By combining extreme-ultraviolet imaging observations of the flare from two vantage points with hard X-ray and ultraviolet observations of the flare ribbon brightenings, we reconstruct the flare arcade in three dimensions. The results show that the spike source is located at ~60 Mm above the flare arcade, where a diffuse supra-arcade fan and multitudes of plasma downflows are present. Although the flare arcade and ribbons seen during the impulsive phase do not allow us to clearly understand how the observed spike source location is connected to the flare geometry, the cooling flare arcade observed two hours later suggests that the spikes are located in the above-the-loop-top region, where a termination shock presumably forms.


title: Towards DeepSentinel: An extensible corpus of labelled Sentinel-1 and -2 imagery and a general-purpose sensor-fusion semantic embedding model

abstract: Earth observation offers new insight into anthropogenic changes to nature, and how these changes are effecting (and are effected by) the built environment and the real economy. With the global availability of medium-resolution (10-30m) synthetic aperture radar (SAR) Sentinel-1 and multispectral Sentinel-2 imagery, machine learning can be employed to offer these insights at scale, unbiased to the reporting of companies and countries. In this paper, I introduce DeepSentinel, a data pipeline and experimentation framework for producing general-purpose semantic embeddings of paired Sentinel-1 and Sentinel-2 imagery. I document the development of an extensible corpus of labelled and unlabelled imagery for the purposes of sensor fusion research. With this new dataset I develop a set of experiments applying popular self-supervision methods and encoder architectures to a land cover classification problem. Tile2vec spatial encoding with a self-attention enabled ResNet model outperforms deeper ResNet variants as well as pretraining with variational autoencoding and contrastive loss. All supporting and derived data and code are made publicly available.


title: Speculative Path Planning

abstract: Parallelization of A* path planning is mostly limited by the number of possible motions, which is far less than the level of parallelism that modern processors support. In this paper, we go beyond the limitations of traditional parallelism of A* and propose Speculative Path Planning to accelerate the search when there are abundant idle resources. The key idea of our approach is predicting future state expansions relying on patterns among expansions and aggressively parallelize the computations of prospective states (i.e. pre-evaluate the expensive collision checking operation of prospective nodes). This method allows us to maintain the same search order as of vanilla A* and safeguard any optimality guarantees. We evaluate our method on various configurations and show that on a machine with 32 physical cores, our method improves the performance around 11x and 10x on average over counterpart single-threaded and multi-threaded implementations respectively. The code to our paper can be found here: https://github.com/bakhshalipour/speculative-path-planning.


title: Rare Kaon Decay to Missing Energy: Implications of the NA62 Result for a $Z^\prime$ Model

abstract: Meson decays offer a good opportunity to probe new physics. The rare kaon decay $K^+ \rightarrow \pi^+ \nu\bar{\nu}$ is one of the cleanest of them and, for this reason, is rather sensitive to new physics, in particular, vector mediators. NA62 collaboration, running a fixed-target experiment at CERN, recently reported an unprecedented sensitivity to this decay, namely a branching fraction of $BR(K^+ \rightarrow \pi^+ \nu\bar{\nu}) = (11^{+4.0}_{-3.5})\times 10^{-11}$ at 68\% C.L. Vector mediators that couple to neutrinos may yield a sizeable contribution to this decay. Motivated by the new measurement, we interpret this result in the context of a concrete $Z^\prime$ model, and put our findings into perspective with the correlated $K_L \rightarrow \pi^0 \nu \bar{\nu}$ decay measured by KOTO collaboration, current, and future colliders, namely the High-Luminosity and High-Energy LHC.


title: Reply to comment on 'Real-space renormalization-group methods for hierarchical spin glasses'

abstract: In their comment, Angelini et al. object to the conclusion of [J. Phys. A: Math. Theor., 52:445002, 2019] (1), where we show that in [Phys. Rev. B, 87:134201, 2013] the exponent $\nu$ has been obtained by applying a mathematical relation in a regime where this relation is not valid. We observe that the criticism above on the mathematical validity of such relation has not been addressed in the comment. Our criticism thus remains valid, and disproves the conclusions of the comment. This constitutes the main point of this reply. We also provide a point-by-point response and discussion of Angelini et al.'s claims. First, Angelini et al. claim that the prediction $2^{1/\nu}=1$ of [1] is incorrect, because it results from the relation $\lambda_{\rm max}=2^{1/\nu}$ between the largest eigenvalue of the linearized renormalization-group (RG) transformation and $\nu$, which cannot be applied to the ensemble renormalization group (ERG) method, because for the ERG $\lambda_{\rm max} =1 $. However, the feature $\lambda_{\rm max}=1$ is specific to the ERG transformation and it does not give any grounds for questioning the validity of the general relation $\lambda_{\rm max}=2^{1/\nu}$ specifically for the ERG transformation. Second, Angelini et al. claim that $\nu$ should be extracted from an early RG regime (A), as opposed to the asymptotic regime (B) used to estimate $\nu$ in [1] and that (B) is dominated by finite-size effects. Still, (A) is a small-wavelength, non-critical regime, which cannot characterize the critical exponent $\nu$ related to the divergence of the correlation length. Also, the fact that (B) involves finite-size effects is a feature specific to the ERG, and gives no rationale for extracting $\nu$ from (A). Finally, we refute the remaining claims made by Angelini et al., and thus stand by our assertion that the ERG method yields a prediction given by $2^{1/\nu}=1$.


title: On The Gersten-Witt Complex of an Azumaya Algebra with Involution

abstract: Let $(A,\sigma)$ be an Azumaya algebra with involution over a regular ring $R$. We prove that the Gersten-Witt complex of $(A,\sigma)$ defined by Gille is isomorphic to the Gersten-Witt complex of $(A,\sigma)$ defined by Bayer-Fluckiger, Parimala and the author. Advantages of both constructions are used to show that the Gersten-Witt complex is exact when $\dim R\leq 3$, $\mathrm{ind}\, A\leq 2$ and $\sigma$ is orthogonal or symplectic. This means that the Grothendieck-Serre conjecture holds for the group $R$-scheme of $\sigma$-unitary elements in $A$ under the same hypotheses; $R$ is not required to contain a field.


title: Fair Robust Assignment using Redundancy

abstract: We study the consideration of fairness in redundant assignment for multi-agent task allocation. It has recently been shown that redundant assignment of agents to tasks provides robustness to uncertainty in task performance. However, the question of how to fairly assign these redundant resources across tasks remains unaddressed. In this paper, we present a novel problem formulation for fair redundant task allocation, which we cast as the optimization of worst-case task costs under a cardinality constraint. Solving this problem optimally is NP-hard. We exploit properties of supermodularity to propose a polynomial-time, near-optimal solution. In supermodular redundant assignment, the use of additional agents always improves task costs. Therefore, we provide a solution set that is $\alpha$ times larger than the cardinality constraint. This constraint relaxation enables our approach to achieve a super-optimal cost by using a sub-optimal assignment size. We derive the sub-optimality bound on this cardinality relaxation, $\alpha$. Additionally, we demonstrate that our algorithm performs near-optimally without the cardinality relaxation. We show simulations of redundant assignments of robots to goal nodes on transport networks with uncertain travel times. Empirically, our algorithm outperforms benchmarks, scales to large problems, and provides improvements in both fairness and average utility.


title: Searching for Multiple Populations in Ruprecht 106

abstract: More than a decade has passed since the definition of Globular Cluster (GC) changed, and now we know that they host Multiple Populations (MPs). But few GCs do not share that behaviour and Ruprecht 106 is one of these clusters. We analyzed thirteen member red giant branch stars using spectra in the wavelength range 6120-6405 Angstroms obtained through the GIRAFFE Spectrograph, mounted at UT2 telescope at Paranal, as well as the whole cluster using C, V, R and I photometry obtained through the Swope telescope at Las Campanas. Atmospheric parameters were determined from the photometry to determine Fe and Na abundances. A photometric analysis searching for MPs was also carried out. Both analyses confirm that Ruprecht 106 is indeed one on the few GCs to host Simple Stellar Population, in agreement with previous studies. Finally, a dynamical study concerning its orbits was carried out to analyze the possible extra galactic origin of the Cluster. The orbital integration indicates that this GC belongs to the inner halo, while an Energy plane shows that it cannot be accurately associated with any known extragalactic progenitor.


title: On Graph Matching Using Generalized Seed Side-Information

abstract: In this paper, matching pairs of stocahstically generated graphs in the presence of generalized seed side-information is considered. The graph matching problem emerges naturally in various applications such as social network de-anonymization, image processing, DNA sequencing, and natural language processing. A pair of randomly generated labeled Erdos-Renyi graphs with pairwise correlated edges are considered. It is assumed that the matching strategy has access to the labeling of the vertices in the first graph, as well as a collection of shortlists -- called ambiguity sets -- of possible labels for the vertices of the second graph. The objective is to leverage the correlation among the edges of the graphs along with the side-information provided in the form of ambiguity sets to recover the labels of the vertices in the second graph. This scenario can be viewed as a generalization of the seeded graph matching problem, where the ambiguity sets take a specific form such that the exact labels for a subset of vertices in the second graph are known prior to matching. A matching strategy is proposed which operates by evaluating the joint typicality of the adjacency matrices of the graphs. Sufficient conditions on the edge statistics as well as ambiguity set statistics are derived under which the proposed matching strategy successfully recovers the labels of the vertices in the second graph. Additionally, Fano-type arguments are used to derive general necessary conditions for successful matching.


title: Paraelectric KH$_2$PO$_4$ Nanocrystals in Monolithic Mesoporous Silica: Structure and Lattice Dynamics

abstract: Combining dielectric crystals with mesoporous solids allows a versatile design of functional nanomaterials, where the porous host provides a mechanical rigid scaffold structure and the molecular filling adds the functionalization. Here, we report a study of the complex lattice dynamics of a SiO$_2$:KH$_2$PO$_4$ nanocomposite consisting of a monolithic, mesoporous silica glass host with KH$_2$PO$_4$ nanocrystals embedded in its tubular channels $\sim$12 nm across. A micro-Raman investigation performed in the spectral range of 70-1600 cm$^{-1}$ reveals the complex lattice dynamics of the confined crystals. Their Raman spectrum resembles the one taken from bulk KH$_2$PO$_4$ crystals and thus, along with X-ray diffraction experiments, corroborates the successful solution-based synthesis of KH$_2$PO$_4$ nanocrystals with a structure analogous to the bulk material. We succeeded in observing not only the high-frequency internal modes ($\sim$900-1200 cm$^{-1}$), typical of internal vibrations of the PO$_4$ tetrahedra, but, more importantly, also the lowest frequency modes typical of bulk KH$_2$PO$_4$ crystals. The experimental Raman spectrum was interpreted with a group theory analysis and first-principle lattice dynamics calculations. The analysis of calculated eigen-vectors indicates the involvement of hydrogen atoms in most phonon modes corroborating the substantial significance of the hydrogen subsystem in the lattice dynamics of paraelectric bulk and of KH$_2$PO$_4$ crystals in extreme spatial confinement. A marginal redistribution of relative Raman intensities of the confined compared to unconfined crystals presumably originates in slightly changed crystal fields and interatomic interactions, in particular for the parts of the nanocrystals in close proximity to the silica pore surfaces.

categories: cond-mat.mtrl-sci cond-mat.mes-hall physics.app-ph physics.chem-ph


title: Disentanglement for audio-visual emotion recognition using multitask setup

abstract: Deep learning models trained on audio-visual data have been successfully used to achieve state-of-the-art performance for emotion recognition. In particular, models trained with multitask learning have shown additional performance improvements. However, such multitask models entangle information between the tasks, encoding the mutual dependencies present in label distributions in the real world data used for training. This work explores the disentanglement of multimodal signal representations for the primary task of emotion recognition and a secondary person identification task. In particular, we developed a multitask framework to extract low-dimensional embeddings that aim to capture emotion specific information, while containing minimal information related to person identity. We evaluate three different techniques for disentanglement and report results of up to 13% disentanglement while maintaining emotion recognition performance.


title: Upper Bounds for Totally Symmetric Sets

abstract: Totally symmetric sets are a recently introduced tool for studying homomorphisms between groups. In this paper, we give full classifications of totally symmetric sets in certain families of groups and bound their sizes in others. As a consequence, we derive restrictions on possible homomorphisms between these groups. One sample application of our results is that any homomorphism of a braid group to a direct product of solvable groups must have cyclic image.


title: Selecting Treatment Effects Models for Domain Adaptation Using Causal Knowledge

abstract: Selecting causal inference models for estimating individualized treatment effects (ITE) from observational data presents a unique challenge since the counterfactual outcomes are never observed. The problem is challenged further in the unsupervised domain adaptation (UDA) setting where we only have access to labeled samples in the source domain, but desire selecting a model that achieves good performance on a target domain for which only unlabeled samples are available. Existing techniques for UDA model selection are designed for the predictive setting. These methods examine discriminative density ratios between the input covariates in the source and target domain and do not factor in the model's predictions in the target domain. Because of this, two models with identical performance on the source domain would receive the same risk score by existing methods, but in reality, have significantly different performance in the test domain. We leverage the invariance of causal structures across domains to propose a novel model selection metric specifically designed for ITE methods under the UDA setting. In particular, we propose selecting models whose predictions of interventions' effects satisfy known causal structures in the target domain. Experimentally, our method selects ITE models that are more robust to covariate shifts on several healthcare datasets, including estimating the effect of ventilation in COVID-19 patients from different geographic locations.


title: Unsupervised Extractive Summarization using Pointwise Mutual Information

abstract: Unsupervised approaches to extractive summarization usually rely on a notion of sentence importance defined by the semantic similarity between a sentence and the document. We propose new metrics of relevance and redundancy using pointwise mutual information (PMI) between sentences, which can be easily computed by a pre-trained language model. Intuitively, a relevant sentence allows readers to infer the document content (high PMI with the document), and a redundant sentence can be inferred from the summary (high PMI with the summary). We then develop a greedy sentence selection algorithm to maximize relevance and minimize redundancy of extracted sentences. We show that our method outperforms similarity-based methods on datasets in a range of domains including news, medical journal articles, and personal anecdotes.


title: Cerebral cortical communication overshadows computational energy-use, but these combine to predict synapse number

abstract: Darwinian evolution tends to produce energy-efficient outcomes. On the other hand, energy limits computation, be it neural and probabilistic or digital and logical. Taking a particular energy-efficient viewpoint, we define neural computation and make use of an energy-constrained, computational function. This function can be optimized over a variable that is proportional to the number of synapses per neuron. This function also implies a specific distinction between ATP-consuming processes, especially computation \textit{per se} vs the communication processes including action potentials and transmitter release. Thus to apply this mathematical function requires an energy audit with a partitioning of energy consumption that differs from earlier work. The audit points out that, rather than the oft-quoted 20 watts of glucose available to the brain \cite{sokoloff1960metabolism,sawada2013synapse}, the fraction partitioned to cortical computation is only 0.1 watts of ATP. On the other hand at 3.5 watts, long-distance communication costs are 35-fold greater. Other novel quantifications include (i) a finding that the biological vs ideal values of neural computational efficiency differ by a factor of $10^8$ and (ii) two predictions of $N$, the number of synaptic transmissions needed to fire a neuron (2500 vs 2000).


title: Hedging of Financial Derivative Contracts via Monte Carlo Tree Search

abstract: The construction of approximate replication strategies for pricing and hedging of derivative contracts in incomplete markets is a key problem of financial engineering. Recently Reinforcement Learning algorithms for hedging under realistic market conditions have attracted significant interest. While research in the derivatives area mostly focused on variations of $Q$-learning, in artificial intelligence Monte Carlo Tree Search is the recognized state-of-the-art method for various planning problems, such as the games of Hex, Chess, Go,... This article introduces Monte Carlo Tree Search as a method to solve the stochastic optimal control problem behind the pricing and hedging tasks. As compared to $Q$-learning it combines Reinforcement Learning with tree search techniques. As a consequence Monte Carlo Tree Search has higher sample efficiency, is less prone to over-fitting to specific market models and generally learns stronger policies faster. In our experiments we find that Monte Carlo Tree Search, being the world-champion in games like Chess and Go, is easily capable of maximizing the utility of investor's terminal wealth without setting up an auxiliary mathematical framework.


title: The Univalence Principle

abstract: The Univalence Principle is the statement that equivalent mathematical structures are indistinguishable. We prove a general version of this principle that applies to all set-based, categorical, and higher-categorical structures defined in a non-algebraic and space-based style, as well as models of higher-order theories such as topological spaces. In particular, we formulate a general definition of indiscernibility for objects of any such structure, and a corresponding univalence condition that generalizes Rezk's completeness condition for Segal spaces and ensures that all equivalences of structures are levelwise equivalences. Our work builds on Makkai's First-Order Logic with Dependent Sorts, but is expressed in Voevodsky's Univalent Foundations (UF), extending previous work on the Structure Identity Principle and univalent categories in UF. This enables indistinguishability to be expressed simply as identification, and yields a formal theory that is interpretable in classical homotopy theory, but also in other higher topos models. It follows that Univalent Foundations is a fully equivalence-invariant foundation for higher-categorical mathematics, as intended by Voevodsky.


title: Gamma-convergence of Cheeger energies with respect to increasing distances

abstract: We prove a $\Gamma$-convergence result for Cheeger energies along sequences of metric measure spaces, where the measure space is kept fixed, while distances are monotonically converging from below to the limit one. As a consequence, we show that the infinitesimal Hilbertianity condition is stable under this kind of convergence of metric measure spaces.


title: On Agnostic PAC Learning using $\mathcal{L}_2$-polynomial Regression and Fourier-based Algorithms

abstract: We develop a framework using Hilbert spaces as a proxy to analyze PAC learning problems with structural properties. We consider a joint Hilbert space incorporating the relation between the true label and the predictor under a joint distribution $D$. We demonstrate that agnostic PAC learning with 0-1 loss is equivalent to an optimization in the Hilbert space domain. With our model, we revisit the PAC learning problem using methods based on least-squares such as $\mathcal{L}_2$ polynomial regression and Linial's low-degree algorithm. We study learning with respect to several hypothesis classes such as half-spaces and polynomial-approximated classes (i.e., functions approximated by a fixed-degree polynomial). We prove that (under some distributional assumptions) such methods obtain generalization error up to $2opt$ with $opt$ being the optimal error of the class. Hence, we show the tightest bound on generalization error when $opt\leq 0.2$.


title: Unsupervised Ground Metric Learning using Wasserstein Singular Vectors

abstract: Defining meaningful distances between samples in a dataset is a fundamental problem in machine learning. Optimal Transport (OT) lifts a distance between features (the "ground metric") to a geometrically meaningful distance between samples. However, there is usually no straightforward choice of ground metric. Supervised ground metric learning approaches exist but require labeled data. In absence of labels, only ad-hoc ground metrics remain. Unsupervised ground metric learning is thus a fundamental problem to enable data-driven applications of OT. In this paper, we propose for the first time a canonical answer by simultaneously computing an OT distance between samples and between features of a dataset. These distance matrices emerge naturally as positive singular vectors of the function mapping ground metrics to OT distances. We provide criteria to ensure the existence and uniqueness of these singular vectors. We then introduce scalable computational methods to approximate them in high-dimensional settings, using stochastic approximation and entropic regularization. Finally, we showcase Wasserstein Singular Vectors on a single-cell RNA-sequencing dataset.


title: kPAM 2.0: Feedback Control for Category-Level Robotic Manipulation

abstract: In this paper, we explore generalizable, perception-to-action robotic manipulation for precise, contact-rich tasks. In particular, we contribute a framework for closed-loop robotic manipulation that automatically handles a category of objects, despite potentially unseen object instances and significant intra-category variations in shape, size and appearance. Previous approaches typically build a feedback loop on top of a real-time 6-DOF pose estimator. However, representing an object with a parameterized transformation from a fixed geometric template does not capture large intra-category shape variation. Hence we adopt the keypoint-based object representation proposed in kPAM for category-level pick-and-place, and extend it to closed-loop manipulation policies with contact-rich tasks. We first augment keypoints with local orientation information. Using the oriented keypoints, we propose a novel object-centric action representation in terms of regulating the linear/angular velocity or force/torque of these oriented keypoints. This formulation is surprisingly versatile -- we demonstrate that it can accomplish contact-rich manipulation tasks that require precision and dexterity for a category of objects with different shapes, sizes and appearances, such as peg-hole insertion for pegs and holes with significant shape variation and tight clearance. With the proposed object and action representation, our framework is also agnostic to the robot grasp pose and initial object configuration, making it flexible for integration and deployment.


title: Straggler-Resilient Distributed Machine Learning with Dynamic Backup Workers

abstract: With the increasing demand for large-scale training of machine learning models, consensus-based distributed optimization methods have recently been advocated as alternatives to the popular parameter server framework. In this paradigm, each worker maintains a local estimate of the optimal parameter vector, and iteratively updates it by waiting and averaging all estimates obtained from its neighbors, and then corrects it on the basis of its local dataset. However, the synchronization phase can be time consuming due to the need to wait for \textit{stragglers}, i.e., slower workers. An efficient way to mitigate this effect is to let each worker wait only for updates from the fastest neighbors before updating its local parameter. The remaining neighbors are called \textit{backup workers.} To minimize the globally training time over the network, we propose a fully distributed algorithm to dynamically determine the number of backup workers for each worker. We show that our algorithm achieves a linear speedup for convergence (i.e., convergence performance increases linearly with respect to the number of workers). We conduct extensive experiments on MNIST and CIFAR-10 to verify our theoretical results.


title: Optical Calibration System for the LUX-ZEPLIN (LZ) Outer Detector

abstract: The LUX-ZEPLIN experiment will search for dark matter particle interactions with a detector containing a total of 10 tonnes of liquid xenon. Surrounding the liquid xenon cryostat is an outer detector veto system with the primary aim of vetoing neutron single-scatter events in the liquid xenon that could mimic a weakly interacting massive particle (WIMP) dark matter signal. The outer detector consists of approximately 17 tonnes of gadolinium-loaded liquid scintillator confined to 10 acrylic tanks surrounding the cryostat and 228,000 litres of water as the outermost layer. It will be monitored by 120 inward-facing 8-inch photomultiplier tubes. An optical calibration system has been designed and built to calibrate and monitor these photomultiplier tubes allowing the veto system to reach its required efficiency and thus ensuring that LUX-ZEPLIN meets its target sensitivity.


title: A reproduction of Apple's bi-directional LSTM models for language identification in short strings

abstract: Language Identification is the task of identifying a document's language. For applications like automatic spell checker selection, language identification must use very short strings such as text message fragments. In this work, we reproduce a language identification architecture that Apple briefly sketched in a blog post. We confirm the bi-LSTM model's performance and find that it outperforms current open-source language identifiers. We further find that its language identification mistakes are due to confusion between related languages.


title: Speech-language Pre-training for End-to-end Spoken Language Understanding

abstract: End-to-end (E2E) spoken language understanding (SLU) can infer semantics directly from speech signal without cascading an automatic speech recognizer (ASR) with a natural language understanding (NLU) module. However, paired utterance recordings and corresponding semantics may not always be available or sufficient to train an E2E SLU model in a real production environment. In this paper, we propose to unify a well-optimized E2E ASR encoder (speech) and a pre-trained language model encoder (language) into a transformer decoder. The unified speech-language pre-trained model (SLP) is continually enhanced on limited labeled data from a target domain by using a conditional masked language model (MLM) objective, and thus can effectively generate a sequence of intent, slot type, and slot value for given input speech in the inference. The experimental results on two public corpora show that our approach to E2E SLU is superior to the conventional cascaded method. It also outperforms the present state-of-the-art approaches to E2E SLU with much less paired data.


title: Large Scale Distributed Collaborative Unlabeled Motion Planning with Graph Policy Gradients

abstract: In this paper, we present a learning method to solve the unlabelled motion problem with motion constraints and space constraints in 2D space for a large number of robots. To solve the problem of arbitrary dynamics and constraints we propose formulating the problem as a multi-agent problem. We are able to demonstrate the scalability of our methods for a large number of robots by employing a graph neural network (GNN) to parameterize policies for the robots. The GNN reduces the dimensionality of the problem by learning filters that aggregate information among robots locally, similar to how a convolutional neural network is able to learn local features in an image. Additionally, by employing a GNN we are also able to overcome the computational overhead of training policies for a large number of robots by first training graph filters for a small number of robots followed by zero-shot policy transfer to a larger number of robots. We demonstrate the effectiveness of our framework through various simulations.


title: COVID-19 detection from scarce chest x-ray image data using few-shot deep learning approach

abstract: In the current COVID-19 pandemic situation, there is an urgent need to screen infected patients quickly and accurately. Using deep learning models trained on chest X-ray images can become an efficient method for screening COVID-19 patients in these situations. Deep learning approaches are already widely used in the medical community. However, they require a large amount of data to be accurate. The open-source community collectively has made efforts to collect and annotate the data, but it is not enough to train an accurate deep learning model. Few-shot learning is a sub-field of machine learning that aims to learn the objective with less amount of data. In this work, we have experimented with well-known solutions for data scarcity in deep learning to detect COVID-19. These include data augmentation, transfer learning, and few-shot learning, and unsupervised learning. We have also proposed a custom few-shot learning approach to detect COVID-19 using siamese networks. Our experimental results showcased that we can implement an efficient and accurate deep learning model for COVID-19 detection by adopting the few-shot learning approaches even with less amount of data. Using our proposed approach we were able to achieve 96.4% accuracy an improvement from 83% using baseline models.


title: Automated Vehicle Crash Sequences: Patterns and Potential Uses in Safety Testing

abstract: With safety being one of the primary motivations for developing automated vehicles (AVs), extensive field and simulation tests are being carried out to ensure AVs can operate safely on roadways. Since 2014, the California DMV has been collecting AV collision and disengagement reports, which are valuable data sources for studying AV crash patterns. In this study, crash sequence data extracted from California AV collision reports were used to investigate patterns and how they may be used to develop AV test scenarios. Employing sequence analysis, this study evaluated 168 AV crashes (with AV in automatic driving mode before disengagement or collision) from 2015 to 2019. Analysis of subsequences showed that the most representative pattern in AV crashes was (collision following AV stop) type. Analysis of event transition showed that disengagement, as an event in 24 percent of all studied AV crash sequences, had a transition probability of 68 percent to an immediate collision. Cluster analysis characterized AV crash sequences into seven groups with distinctive crash dynamic features. Cross-tabulation analysis showed that sequence groups were significantly associated with variables measuring crash outcomes and describing environmental conditions. Crash sequences are useful for developing AV test scenarios. Based on the findings, a scenario-based AV safety testing framework was proposed with sequence of events embedded as a core component.


title: Urn models with random multiple drawing and random addition

abstract: We consider an urn model with multiple drawing and random time-dependent addition matrix. The model is very general with respect to previous literature: the number of sampled balls at each time-step is random, the addition matrix has general random entries. For the proportion of balls of a given color, we prove almost sure convergence results and fluctuation theorems (through CLTs in the sense of stable convergence and of almost sure conditional convergence, which are stronger than convergence in distribution). Asymptotic confidence intervals are given for the limit proportion, whose distribution is generally unknown.


title: K-Hairstyle: A Large-scale Korean Hairstyle Dataset for Virtual Hair Editing and Hairstyle Classification

abstract: The hair and beauty industry is a fast-growing industry. This led to the development of various applications, such as virtual hair dyeing or hairstyle transfer, to satisfy the customer's needs. Although several hairstyle datasets are available for these applications, they often consist of a relatively small number of images with low resolution, thus limiting their performance on high-quality hair editing. In response, we introduce a novel large-scale Korean hairstyle dataset, K-hairstyle, containing 500,000 high-resolution images. In addition, K-hairstyle includes various hair attributes annotated by Korean expert hairstylists as well as hair segmentation masks. We validate the effectiveness of our dataset via several applications, such as hair dyeing, hairstyle transfer, and hairstyle classification. K-hairstyle is publicly available at https://psh01087.github.io/K-Hairstyle/.


title: When and How Mixup Improves Calibration

abstract: In many machine learning applications, it is important for the model to provide confidence scores that accurately capture its prediction uncertainty. Although modern learning methods have achieved great success in predictive accuracy, generating calibrated confidence scores remains a major challenge. Mixup, a popular yet simple data augmentation technique based on taking convex combinations of pairs of training examples, has been empirically found to significantly improve confidence calibration across diverse applications. However, when and how Mixup helps calibration is still a mystery. In this paper, we theoretically prove that Mixup improves calibration in \textit{high-dimensional} settings by investigating natural statistical models. Interestingly, the calibration benefit of Mixup increases as the model capacity increases. We support our theories with experiments on common architectures and datasets. In addition, we study how Mixup improves calibration in semi-supervised learning. While incorporating unlabeled data can sometimes make the model less calibrated, adding Mixup training mitigates this issue and provably improves calibration. Our analysis provides new insights and a framework to understand Mixup and calibration.


title: The Reactivation of Main-Belt Comet 259P/Garradd (P/2008 R1)

abstract: We present observations of main-belt comet 259P/Garradd from four months prior to its 2017 perihelion passage to five months after perihelion using the Gemini North and South telescopes. The object was confirmed to be active during this period, placing it among seven MBCs confirmed to have recurrent activity. We find an average net pre-perihelion dust production rate for 259P in 2017 of dM/dt = 4.6+/-0.2 kg/s (assuming grain densities of rho = 2500 kg/m^3 and a mean effective particle size of a_d = 2 mm) and a best-fit start date of detectable activity of 2017 April 22+/-1, when the object was at a heliocentric distance of r_h = 1.96-/+0.03 au and a true anomaly of nu = 313.9+/-0.4 deg. We estimate the effective active fraction of 259P's surface area to be from f_act ~ 7x10^-3 to f_act ~ 6x10^-2 (corresponding to effective active areas of A_act ~ 8x10^3 m^2 to A_act ~ 7x10^4 m^2) at the start of its 2017 active period. A comparison of estimated total dust masses measured for 259P in 2008 and 2017 shows no evidence of changes in activity strength between the two active apparitions. The heliocentric distance of 259P's activity onset point is much smaller than those of other MBCs, suggesting that its ice reservoirs may be located at greater depths than on MBCs farther from the Sun, increasing the time needed for a solar irradiation-driven thermal wave to reach subsurface ice. We suggest that deeper ice on 259P could be a result of more rapid ice depletion caused by the object's closer proximity to the Sun compared to other MBCs.


title: A Multi-View Approach To Audio-Visual Speaker Verification

abstract: Although speaker verification has conventionally been an audio-only task, some practical applications provide both audio and visual streams of input. In these cases, the visual stream provides complementary information and can often be leveraged in conjunction with the acoustics of speech to improve verification performance. In this study, we explore audio-visual approaches to speaker verification, starting with standard fusion techniques to learn joint audio-visual (AV) embeddings, and then propose a novel approach to handle cross-modal verification at test time. Specifically, we investigate unimodal and concatenation based AV fusion and report the lowest AV equal error rate (EER) of 0.7% on the VoxCeleb1 dataset using our best system. As these methods lack the ability to do cross-modal verification, we introduce a multi-view model which uses a shared classifier to map audio and video into the same space. This new approach achieves 28% EER on VoxCeleb1 in the challenging testing condition of cross-modal verification.


title: Improving Fault Localization by Integrating Value and Predicate Based Causal Inference Techniques

abstract: Statistical fault localization (SFL) techniques use execution profiles and success/failure information from software executions, in conjunction with statistical inference, to automatically score program elements based on how likely they are to be faulty. SFL techniques typically employ one type of profile data: either coverage data, predicate outcomes, or variable values. Most SFL techniques actually measure correlation, not causation, between profile values and success/failure, and so they are subject to confounding bias that distorts the scores they produce. This paper presents a new SFL technique, named \emph{UniVal}, that uses causal inference techniques and machine learning to integrate information about both predicate outcomes and variable values to more accurately estimate the true failure-causing effect of program statements. \emph{UniVal} was empirically compared to several coverage-based, predicate-based, and value-based SFL techniques on 800 program versions with real faults.


title: Quasiparticle Pattern of Phenomena in Exotic Superconductors

abstract: The quasiparticle formalism invented by Lev Landau for description of conventional Fermi liquids is generalized to exotic superconductivity attributed to Cooper pairing, whose measured properties defy explanation within the standard BCS-Fermi Liquid description. We demonstrate that in such systems the quasiparticle number remains equal to particle number, just as in common Fermi liquids. We are then able to explain the puzzling relationship between the variation with doping $x$ of two key properties of the family La$_{2-x}$Sr$_x$Cu0$_4$ of exotic superconductors, namely the $T=0$ superfluid density $\rho_{s0}(x)$ and the coefficient $A_1(x)$ in the linear-in-$T$ component of the normal-state low-$T$ resistivity $\rho(T)=\rho_0+A_1T+A_2T^2$, in terms of the presence of interaction-induced flat bands in the ground states of these metals.


title: Topological Quantum Matter to Topological Phase Conversion: Fundamentals, Materials, Physical Systems for Phase Conversions, and Device Applications

abstract: The spin-orbit coupling field, an atomic magnetic field inside a Kramer's system, or discrete symmetries can create a topological torus in the Brillouin Zone and provide protected edge or surface states, which can contain relativistic fermions, namely, Dirac and Weyl Fermions. The topology-protected helical edge or surface states and the bulk electronic energy band define different quantum or topological phases of matters, offering an excellent prospect for some unique device applications. Device applications of the quantum materials rely primarily on understanding the topological properties, their mutual conversion processes under different external stimuli, and the physical system for achieving the phase conversion. There have been tremendous efforts in finding new topological materials with exotic topological phases. However, the application of the topological properties in devices is still limited due to the slow progress in developing the physical structures for controlling the topological phase conversions. Such control systems often require extreme tuning conditions or the fabrication of complex multi-layered topological structures. This review article highlights the details of the topological phases, their conversion processes, along with their potential physical systems, and the prospective application fields. A general overview of the critical factors for topological phases and the materials properties are further discussed to provide the necessary background for the following sections.


title: Realizations of Isostatic Material Frameworks

abstract: This paper studies the set of equivalent realizations of isostatic frameworks in two dimensions, and algorithms for finding all such realizations. We show that an isostatic framework has an even number of equivalent realizations that preserve edge lengths and connectivity. We enumerate the complete set of equivalent realizations for a toy framework with pinned boundary in two dimensions and study the impact of boundary length on the emergence of these realizations. To ameliorate the computational complexity of finding a solution to a large multivariate quadratic system corresponding to the constraints; alternative methods - based on constraint reduction and distance-based covering map or Cayley parameterization of the search space - are presented. The application of these methods is studied on atomic clusters, a model two-dimensional glasses, and jamming.


title: No-Regret Algorithms for Time-Varying Bayesian Optimization

abstract: In this paper, we consider the time-varying Bayesian optimization problem. The unknown function at each time is assumed to lie in an RKHS (reproducing kernel Hilbert space) with a bounded norm. We adopt the general variation budget model to capture the time-varying environment, and the variation is characterized by the change of the RKHS norm. We adapt the restart and sliding window mechanism to introduce two GP-UCB type algorithms: R-GP-UCB and SW-GP-UCB, respectively. We derive the first (frequentist) regret guarantee on the dynamic regret for both algorithms. Our results not only recover previous linear bandit results when a linear kernel is used, but complement the previous regret analysis of time-varying Gaussian process bandit under a Bayesian-type regularity assumption, i.e., each function is a sample from a Gaussian process.


title: Large-Size Free-Standing Single-crystal b-Ga2O3 Membranes Fabricated by Hydrogen Implantation and Lift-Off

abstract: In this paper, we have demonstrated the large-size free-standing single-crystal b-Ga2O3 NMs fabricated by the hydrogen implantation and lift-off process directly from MOCVD grown b-Ga2O3 epifilms on native substrates. The optimum implantation conditions were simulated with a Monte-Carlo simulation to obtain the high hydrogen concentration with a narrow ion distribution at the desired depth. Two as grown b-Ga2O3 samples with different orientation ([100] and [001]) were used and successfully create 1.2 um thick b-Ga2O3 NMs without any physical damages. These b-Ga2O3 NMs were then transfer-printed onto rigid and flexible substrates such as SiC substrate and polyimide substrate. Various material characterizations were performed to investigate the crystal quality, surface morphology, optical property, mechanical property, and bandgap before and after the lift-off and revealed that good material quality is maintained. This result offers several benefits in that the thickness, doping, and size of b-Ga2O3 NMs can be fully controlled. Moreover, more advanced b-Ga2O3-based NM structures such as (AlxGa1-x)2O3/Ga2O3 heterostructure NMs can be directly created from their bulk epitaxy substrates thus this result provides a viable route for the realization of high performance b-Ga2O3 NM-based electronics and optoelectronics that can be built on various substrates and platforms.


title: Simulating a Chemically-Fueled Molecular Motor with Nonequilibrium Molecular Dynamics

abstract: Most computer simulations of molecular dynamics take place under equilibrium conditions--in a closed, isolated system, or perhaps one held at constant temperature or pressure. Sometimes, extra tensions, shears, or temperature gradients are introduced to those simulations to probe one type of nonequilibrium response to external forces. Catalysts and molecular motors, however, function based on the nonequilibrium dynamics induced by a chemical reaction's thermodynamic driving force. In this scenario, simulations require chemostats capable of preserving the chemical concentrations of the nonequilibrium steady state. We develop such a dynamic scheme and use it to observe cycles of a new particle-based classical model of a catenane-like molecular motor. Molecular motors are frequently modeled with detailed-balance-breaking Markov models, and we explicitly construct such a picture by coarse graining the microscopic dynamics of our simulations in order to extract rates. This work identifies inter-particle interactions that tune those rates to create a functional motor, thereby yielding a computational playground to investigate the interplay between directional bias, current generation, and coupling strength in molecular information ratchets.


title: A structural approach to default modelling with pure jump processes

abstract: We present a general framework for the estimation of corporate default based on a firm's capital structure, when its assets are assumed to follow a pure jump L\'evy processes; this setup provides a natural extension to usual default metrics defined in diffusion (log-normal) models, and allows to capture extreme market events such as sudden drops in asset prices, which are closely linked to default occurrence. Within this framework, we introduce several pure jump processes featuring negative jumps only and derive practical closed formulas for equity prices, which enable us to use a moment-based algorithm to calibrate the parameters from real market data and to estimate the associated default metrics. A notable feature of these models is the redistribution of credit risk towards shorter maturity: this constitutes an interesting improvement to diffusion models, which are known to underestimate short term default probabilities. We also provide extensions to a model featuring both positive and negative jumps and discuss qualitative and quantitative features of the results. For readers convenience, practical tools for model implementation and GitHub links are also included.


title: Parallel Velocity Mixing Yielding Enhanced Electron Heating During Magnetic Pumping

abstract: Magnetic wave perturbations are observed in the solar wind and in the vicinity of Earth's bow shock. For such environments, recent work on magnetic pumping with electrons trapped in the magnetic perturbations have demonstrated the possibility of efficient energization of superthermal electrons. Here we also analyze the energization of such energetic electrons for which the transit time through the system is short compared to time scales associated with the magnetic field evolution. In particular, considering an idealized magnetic configuration we show how trapping/detrapping of energetic magnetized electrons can cause effective parallel velocity diffusion. This parallel diffusion, combined with naturally occurring mechanisms known to cause pitch angle scattering, such as Whistler waves, produces enhanced heating rates for magnetic pumping. We find that at low pitch angle scattering rates the combined mechanism enhances the heating beyond the predictions of the recent theory for magnetic pumping with trapped electrons.


title: I Know What You Imported Last Summer: A study of security threats in thePython ecosystem

abstract: The popularity of Python has risen rapidly over the past 15 years. It is a major language in some of the most exciting technologies today. This popularity has led to a large ecosystem of third-party packages available via the pip package registry which hosts more than 200,000 packages. These third-party packages can be reused by simply importing the package after installing using package managers like pip. The ease of reuse of third-party software comes with security risks putting millions of users in danger. In this project, we study the ecosystem to analyze this threat. The mature ecosystem of Python has multiple weak spots that we highlight in our project. First, we demonstrate how trivial it is to exploit the Python ecosystem. Then, we systematically analyze dependencies amongst packages, maintainers, and publicly reported security issues. Most attacks are possible only if users install malicious packages. We thus try to analyze and evaluate different methods used by attackers to force incorrect downloads. We quantify your ideas by estimating the potential threat that can be caused by exploiting a popular Python package. We also discuss methods used in the industry to defend against such attacks


title: Orbital Frustration and Emergent Flat Bands

abstract: We expand the concept of frustration in Mott insulators and quantum spin liquids to metals with flat bands. We show that when inter-orbital hopping $t_2$ dominates over intra-orbital hopping $t_1$, in a multiband system with strong spin-orbit coupling $\lambda$, electronic states with a narrow bandwidth $W\sim t_2^2/\lambda$ are formed compared to a bandwidth of order $t_1$ for intra-orbital hopping. We demonstrate the evolution of the electronic structure, Berry phase distributions for time-reversal and inversion breaking cases, and their imprint on the optical absorption, in a tight binding model of $d$-orbital hopping on a honeycomb lattice. Going beyond quantum Hall effect and twisted bilayer graphene, we provide an alternative mechanism and a richer materials platform for achieving flat bands poised at the brink of instabilities toward novel correlated and fractionalized metallic phases.


title: Greybody Radiation and Quasinormal Modes of Kerr-like Black Hole in Bumblebee Gravity Model

abstract: In the framework of the Lorentz symmetry breaking (LSB), we investigate the quasinormal modes (QNMs) and the greybody factors (GFs) of the Kerr-like black hole spacetime obtained from the bumblebee gravity model. In particular, we analyze the scalar and fermionic perturbations of the black hole within the framework of both semi-analytic WKB method and the time domain approach. The impacts of the LSB on the bosonic/fermionic QNMs and GFs of the Kerr-like black hole are investigated in detail. The obtained results are graphically depicted and discussed.


title: Some Hoeffding- and Bernstein-type Concentration Inequalities

abstract: We prove concentration inequalities for functions of independent random variables {under} sub-gaussian and sub-exponential conditions. The utility of the inequalities is demonstrated by an extension of the now classical method of Rademacher complexities to Lipschitz function classes and unbounded sub-exponential distribution.


title: On Euler systems for adjoint Hilbert modular Galois representations

abstract: We prove the existence of Euler systems for adjoint modular Galois representations using deformations of Galois representations coming from Hilbert modular forms and relate them to $p$-adic $L$-functions under a conjectural formula for the Fitting ideals of some equivariant congruence modules for abelian base change.


title: DEEPF0: End-To-End Fundamental Frequency Estimation for Music and Speech Signals

abstract: We propose a novel pitch estimation technique called DeepF0, which leverages the available annotated data to directly learns from the raw audio in a data-driven manner. F0 estimation is important in various speech processing and music information retrieval applications. Existing deep learning models for pitch estimations have relatively limited learning capabilities due to their shallow receptive field. The proposed model addresses this issue by extending the receptive field of a network by introducing the dilated convolutional blocks into the network. The dilation factor increases the network receptive field exponentially without increasing the parameters of the model exponentially. To make the training process more efficient and faster, DeepF0 is augmented with residual blocks with residual connections. Our empirical evaluation demonstrates that the proposed model outperforms the baselines in terms of raw pitch accuracy and raw chroma accuracy even using 77.4% fewer network parameters. We also show that our model can capture reasonably well pitch estimation even under the various levels of accompaniment noise.


title: What does LIME really see in images?

abstract: The performance of modern algorithms on certain computer vision tasks such as object recognition is now close to that of humans. This success was achieved at the price of complicated architectures depending on millions of parameters and it has become quite challenging to understand how particular predictions are made. Interpretability methods propose to give us this understanding. In this paper, we study LIME, perhaps one of the most popular. On the theoretical side, we show that when the number of generated examples is large, LIME explanations are concentrated around a limit explanation for which we give an explicit expression. We further this study for elementary shape detectors and linear models. As a consequence of this analysis, we uncover a connection between LIME and integrated gradients, another explanation method. More precisely, the LIME explanations are similar to the sum of integrated gradients over the superpixels used in the preprocessing step of LIME.


title: On k-folding map-germs and hidden symmetries of surfaces in the Euclidean 3-space

abstract: Let $M$ be a smooth surface in $\mathbb R^3$ (or a complex surface in $\mathbb C^3$) and $k\geq 2$ be an integer. At any point on $M$ and for any plane in $\mathbb R^3$, we construct a holomorphic map-germ $(\mathbb C^2,0)\to(\mathbb C^3,0)$ of the form $F_k(x,y)= (x,y^k,f(x,y))$, called a $k$-folding map-germ. We study in this paper the local singularities of $k$-folding map-germs and relate them to the extrinsic differential geometry of $M$. More precisely, we (1) stratify the jet space of $k$-folding map-germs so that the strata of codimension $\le 4$ correspond to topologically equivalent $\mathcal A$-finitely determined germs; (2) obtain the topological classification of $k$-folding map-germs on generic surfaces in $\mathbb R^3$ (or $\mathbb C^3$); (3) generalise the work of Bruce-Wilkinson on folding maps ($k=2$); (4) recover, in a unified way, results obtained by considering the contact of surfaces with lines, planes and spheres; and (5) discover new robust features on smooth surfaces in $\mathbb R^3$.


title: Freezing of a disorder induced quantum spin liquid

abstract: $\rm{Sr_2CuTe_{0.5}W_{0.5}O_6}$ is a square-lattice magnet with super-exchange between S=1/2 $\rm{Cu^{2+}}$ spins mediated by randomly distributed Te and W ions. Here, using sub-K temperature and 20 $\rm{\mu}$eV energy resolution neutron scattering experiments we show that this system transits from a gapless disorder-induced quantum spin liquid to a new quantum state below $\rm{T_f}$ = 1.7(1) K, exhibiting a weak frozen moment of <S>/S ~ 0.1 and low energy dynamic susceptibility,${\chi}''({\hbar\omega})$ linear in energy which is surprising for such a weak freezing in this highly fluctuating quantum regime.


title: Natural line bundles on completions of period mappings

abstract: We give conditions under which natural lines bundles associated with completions of period mappings are semi-ample and ample.


title: Does Culture Matter? Impact of Individualism and Uncertainty Avoidance on App Reviews

abstract: Mobile applications are often used by an international audience and therefore receive a high daily amount of user reviews from various countries. Previous work found evidence that app store reviews contain helpful information for software evolution processes. However, the cultural diversity of the reviews and its consequences on specific user feedback characteristics has only been researched to a limited extent so far. In this paper, we examine the influence of two cultural dimensions, Individualism and Uncertainty Avoidance on user feedback in Apple app store reviews written in different languages. For this purpose, we collected 647,141 reviews from eight countries and written in five languages over a period of six months. We then used manual content analysis and automated processing to examine a sample of 3,120 reviews. The results show that there is a statistically significant influence of Individualism and Uncertainty Avoidance on user feedback characteristics. The results of this study will help researchers and practitioners to reduce algorithm bias caused by less diversified training and test data and to raise awareness of the importance of analyzing diversified user feedback.


title: Gravitational Fragmentation of Extremely Metal-poor Circumstellar Discs

abstract: We study the gravitational fragmentation of circumstellar discs accreting extremely metal-poor ($Z \leq 10^{-3}$ Zsun) gas, performing a suite of three-dimensional hydrodynamic simulations using the adaptive mesh refinement code Enzo. We systematically follow the long-term evolution for 2000 years after the first protostar's birth, for the cases of $Z = 0$, $10^{-5}$, $10^{-4}$, and $10^{-3}$ Zsun. We show that evolution of number of self-gravitating clumps qualitatively changes with $Z$. Vigorous fragmentation induced by dust cooling occurs in the metal-poor cases, temporarily providing about 10 self-gravitating clumps at $Z = 10^{-5}$ and $10^{-4}$ Zsun. However, we also show that the fragmentation is a very sporadic process; after an early episode of the fragmentation, the number of clumps continuously decreases as they merge away in these cases. The vigorous fragmentation tends to occur later with the higher $Z$, reflecting that the dust-induced fragmentation is most efficient at the lower density. At $Z = 10^{-3}$ Zsun, as a result, the clump number stays smallest until the disc fragmentation starts in a late stage. We also show that the clump mass distribution also depends on the metallicity. A single or binary clump substantially more massive than the others appear only at $Z = 10^{-3}$ Zsun, whereas they are more evenly distributed in mass at the lower metallicities. We suggest that the disc fragmentation should provide the stellar multiple systems, but their properties drastically change with a tiny amount of metals.


title: Cometary Activity Begins at Kuiper Belt Distances: Evidence from C/2017 K2

abstract: We study the development of activity in the incoming long-period comet C/2017 K2 over the heliocentric distance range 9 < r_H < 16 AU. The comet continues to be characterized by a coma of sub-millimeter and larger particles ejected at low velocity. In a fixed co-moving volume around the nucleus we find that the scattering cross-section of the coma is related to the heliocentric distance by a power law with heliocentric index $s = 1.14\pm0.05$. This dependence is significantly weaker than the inverse square variation of the insolation as a result of two effects. These are, first, the heliocentric dependence of the dust velocity and, second, a lag effect due to very slow-moving particles ejected long before the observations were taken. A Monte Carlo model of the photometry shows that dust production beginning at r_H ~ 35 AU is needed to match the measured heliocentric index, with only a slight dependence on the particle size distribution. Mass loss rates in dust at 10 AU are of order 1000 kg/s, while loss rates in gas may be much smaller, depending on the unknown dust to gas ratio. Consequently, the ratio of the non-gravitational acceleration to the local solar gravity may, depending on the nucleus size, attain values comparable to values found in short-period comets at much smaller distances. Non-gravitational acceleration in C/2017 K2 and similarly distant comets, while presently unmeasured, may limit the accuracy with which we can infer the properties of the Oort cloud from the orbits of long-period comets.


title: Embracing Domain Differences in Fake News: Cross-domain Fake News Detection using Multi-modal Data

abstract: With the rapid evolution of social media, fake news has become a significant social problem, which cannot be addressed in a timely manner using manual investigation. This has motivated numerous studies on automating fake news detection. Most studies explore supervised training models with different modalities (e.g., text, images, and propagation networks) of news records to identify fake news. However, the performance of such techniques generally drops if news records are coming from different domains (e.g., politics, entertainment), especially for domains that are unseen or rarely-seen during training. As motivation, we empirically show that news records from different domains have significantly different word usage and propagation patterns. Furthermore, due to the sheer volume of unlabelled news records, it is challenging to select news records for manual labelling so that the domain-coverage of the labelled dataset is maximized. Hence, this work: (1) proposes a novel framework that jointly preserves domain-specific and cross-domain knowledge in news records to detect fake news from different domains; and (2) introduces an unsupervised technique to select a set of unlabelled informative news records for manual labelling, which can be ultimately used to train a fake news detection model that performs well for many domains while minimizing the labelling cost. Our experiments show that the integration of the proposed fake news model and the selective annotation approach achieves state-of-the-art performance for cross-domain news datasets, while yielding notable improvements for rarely-appearing domains in news datasets.


title: Segmentation-Renormalized Deep Feature Modulation for Unpaired Image Harmonization

abstract: Deep networks are now ubiquitous in large-scale multi-center imaging studies. However, the direct aggregation of images across sites is contraindicated for downstream statistical and deep learning-based image analysis due to inconsistent contrast, resolution, and noise. To this end, in the absence of paired data, variations of Cycle-consistent Generative Adversarial Networks have been used to harmonize image sets between a source and target domain. Importantly, these methods are prone to instability, contrast inversion, intractable manipulation of pathology, and steganographic mappings which limit their reliable adoption in real-world medical imaging. In this work, based on an underlying assumption that morphological shape is consistent across imaging sites, we propose a segmentation-renormalized image translation framework to reduce inter-scanner heterogeneity while preserving anatomical layout. We replace the affine transformations used in the normalization layers within generative networks with trainable scale and shift parameters conditioned on jointly learned anatomical segmentation embeddings to modulate features at every level of translation. We evaluate our methodologies against recent baselines across several imaging modalities (T1w MRI, FLAIR MRI, and OCT) on datasets with and without lesions. Segmentation-renormalization for translation GANs yields superior image harmonization as quantified by Inception distances, demonstrates improved downstream utility via post-hoc segmentation accuracy, and improved robustness to translation perturbation and self-adversarial attacks.


title: Representations of Degenerate Affine Hecke Algebra of Type $C_n$ Under the Etingof-Freund-Ma Functor

abstract: We compute the image of a polynomial $GL_N$-module under the Etingof-Freund-Ma functor \cite{EFM}. We give a combinatorial description of the image in terms of standard tableaux on a collection of skew shapes and analyze weights of the image in terms of contents.


title: Understanding the attitudes, knowledge sharing behaviors and task performance of core developers: A longitudinal study

abstract: Context: Prior research has established that a few individuals generally dominate project communication and source code changes during software development, regardless of task assignments at project initiation. Objective: While this phenomenon has been noted, prior research has not sought to understand these dominant individuals. Previous work has found that core communicators are the gatekeepers of their teams' knowledge, and the performance of these members was correlated with their teams' success. Building on this work, we have employed a longitudinal approach to study the way core developers' attitudes, knowledge sharing behaviors and task performance change over the course of their project. Method: We first used Social Network Analysis (SNA) and standard statistical analysis techniques to identify and select artifacts and central practitioners from ten different software development teams. We then applied psycholinguistic analysis and directed content analysis (CA) techniques to interpret the content of these practitioners' messages. Finally, we inspected core developers' activities at various points in time during systems' development. Results: Among our findings, we observe that core developers' attitudes and knowledge sharing behaviors were linked to their involvement in actual software development and the demands of their wider project teams. However, core developers appeared to naturally possess high levels of insightful characteristics. Conclusion: Project performance would likely benefit from strategies aimed at surrounding core developers with other competent communicators. Core developers should also be supported by a wider team who are willing to ask questions and challenge their ideas. Finally, the availability of adequate communication channels would help with maintaining positive team climate especially in distributed developments.(Abridged)


title: Relating IS Developers' Attitudes to Engagement

abstract: Increasing effort is being directed to understanding the personality profiles of highly engaged information systems (IS) developers and the impact of such profiles on development outcomes. However, there has been a lesser degree of attention paid to studying attitudes at a fine-grained level, and relating such attitudes to developers' in-process activities, in spite of the fact that social motivation theory notes the importance of such a relationship in general group work. We have therefore applied linguistic analysis, text mining and visualization, and statistical analysis techniques to artefacts developed by 474 developers to study these issues. Our results indicate that our sample of IS developers conveyed a range of attitudes while working to deliver systems features, and those practitioners who communicated the most were also the most engaged. Additionally, of eight linguistic dimensions considered, expressions regarding work and achievement, as well as insightful attitudes, were most closely related to developers' engagement. Accordingly, team diversity and the provision of active support for outcome-driven developers may contribute positively to maintaining team balance and performance.


title: Non-perturbative approach to the Bourgain-Spencer conjecture in stochastic homogenization

abstract: In the context of stochastic homogenization, the Bourgain-Spencer conjecture states that the ensemble-averaged solution of a divergence-form linear elliptic equation with random coefficients admits an intrinsic description in terms of higher-order homogenized equations with an accuracy four times better than the almost sure solution itself. While previous rigorous results were restricted to a perturbative regime with small ellipticity ratio, we make the very first progress in a non-perturbative setting, establishing half of the conjectured optimal accuracy. The validity of the full conjecture remains an open question and might in fact fail in general. Our approach involves the construction of a new corrector theory in stochastic homogenization: while only a bounded number of correctors can be constructed as stationary random fields in a strong sense, we show that twice as many stationary correctors can be defined in a Schwartz-like distributional sense on the probability space. We focus on the Gaussian setting for the coefficient field, and the proof relies heavily on Malliavin calculus.


title: On Automatic Parsing of Log Records

abstract: Software log analysis helps to maintain the health of software solutions and ensure compliance and security. Existing software systems consist of heterogeneous components emitting logs in various formats. A typical solution is to unify the logs using manually built parsers, which is laborious. Instead, we explore the possibility of automating the parsing task by employing machine translation (MT). We create a tool that generates synthetic Apache log records which we used to train recurrent-neural-network-based MT models. Models' evaluation on real-world logs shows that the models can learn Apache log format and parse individual log records. The median relative edit distance between an actual real-world log record and the MT prediction is less than or equal to 28%. Thus, we show that log parsing using an MT approach is promising.


title: Combining Machine Learning and Computational Chemistry for Predictive Insights Into Chemical Systems

abstract: Machine learning models are poised to make a transformative impact on chemical sciences by dramatically accelerating computational algorithms and amplifying insights available from computational chemistry methods. However, achieving this requires a confluence and coaction of expertise in computer science and physical sciences. This review is written for new and experienced researchers working at the intersection of both fields. We first provide concise tutorials of computational chemistry and machine learning methods, showing how insights involving both can be achieved. We then follow with a critical review of noteworthy applications that demonstrate how computational chemistry and machine learning can be used together to provide insightful (and useful) predictions in molecular and materials modeling, retrosyntheses, catalysis, and drug design.


title: Joint Dereverberation and Separation with Iterative Source Steering

abstract: We propose a new algorithm for joint dereverberation and blind source separation (DR-BSS). Our work builds upon the IRLMA-T framework that applies a unified filter combining dereverberation and separation. One drawback of this framework is that it requires several matrix inversions, an operation inherently costly and with potential stability issues. We leverage the recently introduced iterative source steering (ISS) updates to propose two algorithms mitigating this issue. Albeit derived from first principles, the first algorithm turns out to be a natural combination of weighted prediction error (WPE) dereverberation and ISS-based BSS, applied alternatingly. In this case, we manage to reduce the number of matrix inversion to only one per iteration and source. The second algorithm updates the ILRMA-T matrix using only sequential ISS updates requiring no matrix inversion at all. Its implementation is straightforward and memory efficient. Numerical experiments demonstrate that both methods achieve the same final performance as ILRMA-T in terms of several relevant objective metrics. In the important case of two sources, the number of iterations required is also similar.


title: Recovery of a cubic non-linearity in the wave equation in the weakly non-linear regime

abstract: We study the inverse problem of recovery a compactly supported non-linearity in the semilinear wave equation $u_{tt}-\Delta u+ \alpha(x) |u|^2u=0$, in two and three dimensions. We probe the medium with complex-valued harmonic waves of wavelength $h$ and amplitude $h^{-1/2}$, then they propagate in the weakly non-linear regime; and measure the transmitted wave when it exits the support of $\alpha$. We show that one can extract the Radon transform of $\alpha$ from the phase shift of such waves, and then one can recover $\alpha$. We also show that one can probe the medium with real-valued harmonic waves and obtain uniqueness for the linearized problem.


title: The Lack of Non-Thermal Motions in Galaxy Cluster Cores

abstract: We report the non-thermal pressure fraction (Pnt/Ptot) obtained from a three-dimensional triaxial analysis of 16 galaxy clusters in the CLASH sample using gravitational lensing (GL) data primarily from Subaru and HST, X-ray spectroscopic imaging from Chandra, and Sunyaev-Zel'dovich effect (SZE) data from Planck and Bolocam. Our results span the approximate radial range 0.015-0.4R200m (35-1000 kpc). At cluster-centric radii smaller than 0.1R200m the ensemble average Pnt/Ptot is consistent with zero with an upper limit of nine per cent, indicating that heating from active galactic nuclei and other relevant processes does not produce significant deviations from hydrostatic equilibrium (HSE). The ensemble average Pnt/Ptot increases outside of this radius to approximately 20 per cent at 0.4R200m, as expected from simulations, due to newly accreted material thermalizing via a series of shocks. Also in agreement with simulations, we find significant cluster-to-cluster variation in Pnt/Ptot and little difference in the ensemble average Pnt/Ptot based on dynamical state. We conclude that on average, even for diverse samples, HSE-derived masses in the very central regions of galaxy clusters require only modest corrections due to non-thermal motions.


title: Tunable plasmon-enhanced second-order optical nonlinearity in transition metal dichalcogenide nanotriangles

abstract: The development of nanomaterials with a large nonlinear susceptibility is essential for nonlinear nanophotonics. We show that transition-metal-dichalcogenide (TMD) nanotriangles have a large effective second-order susceptibility [$\chi^{(2)}$] at mid-infrared to near-infrared frequencies owing to their broken centrosymmetry. $\chi^{(2)}$ is calculated within the density-matrix formalism that accounts for dissipation and screening. $\chi^{(2)}$ peaks in the vicinity of both two-photon resonances (specified by the geometry) and plasmon resonances (tunable via the carrier density). Aligning the resonances yields the values of $\chi^{(2)}$ as high as $10^{-6}$ m/V. These findings underscore the potential of TMD nanotriangles for nonlinear nanophotonics, particularly second-harmonic generation.


title: Verifying High-Level Latency-Insensitive Designs with Formal Model Checking

abstract: Latency-insensitive design mitigates increasing interconnect delay and enables productive component reuse in complex digital systems. This design style has been adopted in high-level design flows because untimed functional blocks connected through latency-insensitive interfaces provide a natural communication abstraction. However, latency-insensitive design with high-level languages also introduces a unique set of verification challenges that jeopardize functional correctness. In particular, bugs due to invalid consumption of inputs and deadlocks can be difficult to detect and debug with dynamic simulation methods. To tackle these two classes of bugs, we propose formal model checking methods to guarantee that a high-level latency-insensitive design is unaffected by invalid input data and is free of deadlock. We develop a well-structured verification wrapper for each property to automatically construct the corresponding formal model for checking. Our experiments demonstrate that the formal checks are effective in realistic bug scenarios from high-level designs.


title: The Alekseevskii Conjecture in 9 and 10 dimensions

abstract: We show that noncompact homogeneous spaces not diffeomorphic to Euclidean space of dimension 9 or 10 admit no homogeneous Einstein metrics of negative Ricci curvature, with only three potential exceptions. The main ingredient in the proof is to show, via a cohomogeneity-one approach, that noncompact homogeneous spaces admitting an ideal isomorphic to $ \mathfrak{sl}_2(\mathbb{R}) $ admit no homogeneous Einstein metrics of negative Ricci curvature.


title: ReRankMatch: Semi-Supervised Learning with Semantics-Oriented Similarity Representation

abstract: This paper proposes integrating semantics-oriented similarity representation into RankingMatch, a recently proposed semi-supervised learning method. Our method, dubbed ReRankMatch, aims to deal with the case in which labeled and unlabeled data share non-overlapping categories. ReRankMatch encourages the model to produce the similar image representations for the samples likely belonging to the same class. We evaluate our method on various datasets such as CIFAR-10, CIFAR-100, SVHN, STL-10, and Tiny ImageNet. We obtain promising results (4.21% error rate on CIFAR-10 with 4000 labels, 22.32% error rate on CIFAR-100 with 10000 labels, and 2.19% error rate on SVHN with 1000 labels) when the amount of labeled data is sufficient to learn semantics-oriented similarity representation. The code is made publicly available at https://github.com/tqtrunghnvn/ReRankMatch.


title: Stragglers Are Not Disaster: A Hybrid Federated Learning Algorithm with Delayed Gradients

abstract: Federated learning (FL) is a new machine learning framework which trains a joint model across a large amount of decentralized computing devices. Existing methods, e.g., Federated Averaging (FedAvg), are able to provide an optimization guarantee by synchronously training the joint model, but usually suffer from stragglers, i.e., IoT devices with low computing power or communication bandwidth, especially on heterogeneous optimization problems. To mitigate the influence of stragglers, this paper presents a novel FL algorithm, namely Hybrid Federated Learning (HFL), to achieve a learning balance in efficiency and effectiveness. It consists of two major components: synchronous kernel and asynchronous updater. Unlike traditional synchronous FL methods, our HFL introduces the asynchronous updater which actively pulls unsynchronized and delayed local weights from stragglers. An adaptive approximation method, Adaptive Delayed-SGD (AD-SGD), is proposed to merge the delayed local updates into the joint model. The theoretical analysis of HFL shows that the convergence rate of the proposed algorithm is $\mathcal{O}(\frac{1}{t+\tau})$ for both convex and non-convex optimization problems.


title: Exponential stabilization for magnetic effected piezoelectric beams with time-varying delay and time-dependent weights

abstract: This paper is concerned with system of magnetic effected piezoelectric beams with interior time-varying delay and time-dependent weights, in which the beam is clamped at the two side points subject to a single distributed state feedback controller with a time-varying delay. By combining the semigroup theory with Kato's variable norm technique, we obtain the existence and uniqueness of solution. By imposing appropriate assumptions on the time-varying delay term and time-dependent weights, we introduce suitable perturbed Lyapunov functional to obtain exponential stability estimates.


title: Approximate Expected Utility Rationalization

abstract: We propose a new measure of deviations from expected utility theory. For any positive number~$e$, we give a characterization of the datasets with a rationalization that is within~$e$ (in beliefs, utility, or perceived prices) of expected utility theory. The number~$e$ can then be used as a measure of how far the data is to expected utility theory. We apply our methodology to data from three large-scale experiments. Many subjects in those experiments are consistent with utility maximization, but not with expected utility maximization. Our measure of distance to expected utility is correlated with subjects' demographic characteristics.


title: Data Augmentation with Signal Companding for Detection of Logical Access Attacks

abstract: The recent advances in voice conversion (VC) and text-to-speech (TTS) make it possible to produce natural sounding speech that poses threat to automatic speaker verification (ASV) systems. To this end, research on spoofing countermeasures has gained attention to protect ASV systems from such attacks. While the advanced spoofing countermeasures are able to detect known nature of spoofing attacks, they are not that effective under unknown attacks. In this work, we propose a novel data augmentation technique using a-law and mu-law based signal companding. We believe that the proposed method has an edge over traditional data augmentation by adding small perturbation or quantization noise. The studies are conducted on ASVspoof 2019 logical access corpus using light convolutional neural network based system. We find that the proposed data augmentation technique based on signal companding outperforms the state-of-the-art spoofing countermeasures showing ability to handle unknown nature of attacks.


title: Efficient Algorithms for Federated Saddle Point Optimization

abstract: We consider strongly convex-concave minimax problems in the federated setting, where the communication constraint is the main bottleneck. When clients are arbitrarily heterogeneous, a simple Minibatch Mirror-prox achieves the best performance. As the clients become more homogeneous, using multiple local gradient updates at the clients significantly improves upon Minibatch Mirror-prox by communicating less frequently. Our goal is to design an algorithm that can harness the benefit of similarity in the clients while recovering the Minibatch Mirror-prox performance under arbitrary heterogeneity (up to log factors). We give the first federated minimax optimization algorithm that achieves this goal. The main idea is to combine (i) SCAFFOLD (an algorithm that performs variance reduction across clients for convex optimization) to erase the worst-case dependency on heterogeneity and (ii) Catalyst (a framework for acceleration based on modifying the objective) to accelerate convergence without amplifying client drift. We prove that this algorithm achieves our goal, and include experiments to validate the theory.


title: Search for continuous gravitational waves from ten H.E.S.S. sources using a hidden Markov model

abstract: Isolated neutron stars are prime targets for continuous-wave (CW) searches by ground-based gravitational$-$wave interferometers. Results are presented from a CW search targeting ten pulsars. The search uses a semicoherent algorithm, which combines the maximum-likelihood $\mathcal{F}$-statistic with a hidden Markov model (HMM) to efficiently detect and track quasi$-$monochromatic signals which wander randomly in frequency. The targets, which are associated with TeV sources detected by the High Energy Stereoscopic System (H.E.S.S.), are chosen to test for gravitational radiation from young, energetic pulsars with strong $\mathrm{\gamma}$-ray emission, and take maximum advantage of the frequency tracking capabilities of HMM compared to other CW search algorithms. The search uses data from the second observing run of the Advanced Laser Interferometer Gravitational-Wave Observatory (aLIGO). It scans 1$-$Hz sub-bands around $f_*$, 4$f_*$/3, and 2$f_*$, where $f_*$ denotes the star's rotation frequency, in order to accommodate a physically plausible frequency mismatch between the electromagnetic and gravitational-wave emission. The 24 sub-bands searched in this study return 5,256 candidates above the Gaussian threshold with a false alarm probability of 1$\%$ per sub-band per target. Only 12 candidates survive the three data quality vetoes which are applied to separate non$-$Gaussian artifacts from true astrophysical signals. CW searches using the data from subsequent observing runs will clarify the status of the remaining candidates.


title: Vertical-orbital band center as an activity descriptor for hydrogen evolution reaction on single-atom-anchored 2D catalysts

abstract: The d-band center descriptor based on the adsorption strength of adsorbate has been widely used in understanding and predicting the catalytic activity in various metal catalysts. However, its applicability is unsure for the single-atom-anchored two-dimensional (2D) catalysts. Here, taking the hydrogen (H) adsorption on the single-atom-anchored 2D basal plane as example, we examine the influence of orbitals interaction on the bond strength of hydrogen adsorption. We find that the adsorption of H is formed mainly via the hybridization between the 1s orbital of H and the vertical dz2 orbital of anchored atoms. The other four projected d orbitals (dxy/dx2-y2, dxz/dyz) have no contribution to the H chemical bond. There is an explicit linear relation between the dz2-band center and the H bond strength. The dz2-band center is proposed as an activity descriptor for hydrogen evolution reaction (HER). We demonstrate that the dz2-band center is valid for the single-atom active sites on a single facet, such as the basal plane of 2D nanosheets. For the surface with multiple facets, such as the surface of three-dimensional (3D) polyhedral nanoparticles, the d-band center is more suitable.