title: Submodularity in Action: From Machine Learning to Signal Processing Applications

abstract: Submodularity is a discrete domain functional property that can be interpreted as mimicking the role of the well-known convexity/concavity properties in the continuous domain. Submodular functions exhibit strong structure that lead to efficient optimization algorithms with provable near-optimality guarantees. These characteristics, namely, efficiency and provable performance bounds, are of particular interest for signal processing (SP) and machine learning (ML) practitioners as a variety of discrete optimization problems are encountered in a wide range of applications. Conventionally, two general approaches exist to solve discrete problems: $(i)$ relaxation into the continuous domain to obtain an approximate solution, or $(ii)$ development of a tailored algorithm that applies directly in the discrete domain. In both approaches, worst-case performance guarantees are often hard to establish. Furthermore, they are often complex, thus not practical for large-scale problems. In this paper, we show how certain scenarios lend themselves to exploiting submodularity so as to construct scalable solutions with provable worst-case performance guarantees. We introduce a variety of submodular-friendly applications, and elucidate the relation of submodularity to convexity and concavity which enables efficient optimization. With a mixture of theory and practice, we present different flavors of submodularity accompanying illustrative real-world case studies from modern SP and ML. In all cases, optimization algorithms are presented, along with hints on how optimality guarantees can be established.


title: Light gravitino dark matter: LHC searches and Hubble tension

abstract: The recent measurements of the cosmological parameter $H_0$ from the direct local observations and the inferred value from the Cosmic Microwave Background show $\sim 4 \sigma$ discrepancy. This may indicate new physics beyond the standard $\Lambda$CDM. We investigate the keV gravitino dark matter that has a small fraction of non-thermal component (e.g. from the late decay of NLSP bino) under various cosmological constraints. We find such a scenario is highly predictive and can be tested by searching for the dilepton plus missing energy events at the LHC. Besides, we also discuss its implication for Hubble tension, however, which can be reduced to $3\sigma$ level marginally.


title: Extremal transitions via quantum Serre duality

abstract: Two varieties $Z$ and $\widetilde Z$ are said to be related by extremal transition if there exists a degeneration from $Z$ to a singular variety $\overline Z$ and a crepant resolution $\widetilde Z \to \overline Z$. In this paper we compare the genus-zero Gromov--Witten theory of toric hypersurfaces related by extremal transitions arising from toric blow-up. We show that the quantum $D$-module of $\widetilde Z$, after analytic continuation and restriction of a parameter, recovers the quantum $D$-module of $Z$. The proof provides a geometric explanation for both the analytic continuation and restriction parameter appearing in the theorem.


title: Roots of Two-Terminal Reliability

abstract: Assume that the vertices of a graph $G$ are always operational, but the edges of $G$ are operational independently with probability $p \in[0,1]$. For fixed vertices $s$ and $t$, the \emph{two-terminal reliability} of $G$ is the probability that the operational subgraph contains an $(s,t)$-path, while the \emph{all-terminal reliability} of $G$ is the probability that the operational subgraph contains a spanning tree. Both reliabilities are polynomials in $p$, and have very similar behaviour in many respects. However, unlike all-terminal reliability, little is known about the roots of two-reliability polynomials. In a variety of ways, we shall show that the nature and location of the roots of two-terminal reliability polynomials have significantly different properties than those held by roots of the all-terminal reliability.


title: Exotic entanglement for non-Hermitian Jaynes-Cummings Hamiltonians

abstract: We provide the first solution of a time-dependent metric operator for the non-Hermitian Jaynes-Cummings Hamiltonian. We use this solution to calculate the entanglement between two identical isolated such Hamiltonians. The presence of a non-Hermitian interaction term leads to a spontaneously broken $\mathcal{PT}$-symmetric regime which manifests itself in the exotic time-evolution of entanglement. When the symmetry is broken, oscillatory modes transition into decay. As such that there is a drastic difference in behaviour between the broken and unbroken regimes.


title: Parameterised post-Newtonian formalism for the effective field theory of dark energy via screened reconstructed Horndeski theories

abstract: We bring together two popular formalisms which generically parameterise deviations from General Relativity on astrophysical and cosmological scales, namely the parameterised post-Newtonian (PPN) formalism and the effective field theory (EFT) of dark energy and modified gravity. These separate formalisms are successfully applied to independently perform tests of gravity in their respective regimes of applicability on vastly different length scales. Nonlinear screening mechanisms indeed make it imperative to probe General Relativity across a wide range of scales. For a comprehensive interpretation of the complementary measurements it is important to connect them to effectively constrain the vast gravitational model space. We establish such a connection within the framework of Horndeski scalar-tensor theories restricted to a luminal propagation speed of gravitational waves. This is possible via the reconstruction of the family of linearly degenerate covariant Horndeski actions from the set of EFT functions and the subsequent derivation of the PPN parameters from the reconstructed theory. We outline the required conditions which ensure a reconstructed Horndeski model possesses a screening mechanism that enables significant modifications on cosmological scales while respecting stringent astrophysical bounds. Employing a scaling method, we then perform the general post-Newtonian expansion of the reconstructed models to derive their PPN parameters $\gamma$ and $\beta$ in their screened regimes.


title: Image Response Regression via Deep Neural Networks

abstract: Delineating the associations between images and a vector of covariates is of central interest in medical imaging studies. To tackle this problem of image response regression, we propose a novel nonparametric approach in the framework of spatially varying coefficient models, where the spatially varying functions are estimated through deep neural networks. Compared to existing solutions, the proposed method explicitly accounts for spatial smoothness and subject heterogeneity, has straightforward interpretations, and is highly flexible and accurate in capturing complex association patterns. A key idea in our approach is to treat the image voxels as the effective samples, which not only alleviates the limited sample size issue that haunts the majority of medical imaging studies, but also leads to more robust and reproducible results. Focusing on a broad family of piecewise smooth functions, we establish the estimation and selection consistency, and derive the asymptotic error bounds. We demonstrate the efficacy of the method through intensive simulations, and further illustrate its advantages with analyses of two functional magnetic resonance imaging datasets.


title: PACE Solver Description: Bute-Plus: A Bottom-Up Exact Solver for Treedepth

abstract: This note introduces Bute-Plus, an exact solver for the treedepth problem. The core of the solver is a positive-instance driven dynamic program that constructs an elimination tree of minimum depth in a bottom-up fashion. Three features greatly improve the algorithm's run time. The first of these is a specialised trie data structure. The second is a domination rule. The third is a heuristic presolve step can quickly find a treedepth decomposition of optimal depth for many instances.


title: Introduction to Machine Learning for Accelerator Physics

abstract: This pair of CAS lectures gives an introduction for accelerator physics students to the framework and terminology of machine learning (ML). We start by introducing the language of ML through a simple example of linear regression, including a probabilistic perspective to introduce the concepts of maximum likelihood estimation (MLE) and maximum a priori (MAP) estimation. We then apply the concepts to examples of neural networks and logistic regression. Next we introduce non-parametric models and the kernel method and give a brief introduction to two other machine learning paradigms, unsupervised and reinforcement learning. Finally we close with example applications of ML at a free-electron laser.


title: Learning Partially Known Stochastic Dynamics with Empirical PAC Bayes

abstract: Neural Stochastic Differential Equations model a dynamical environment with neural nets assigned to their drift and diffusion terms. The high expressive power of their nonlinearity comes at the expense of instability in the identification of the large set of free parameters. This paper presents a recipe to improve the prediction accuracy of such models in three steps: i) accounting for epistemic uncertainty by assuming probabilistic weights, ii) incorporation of partial knowledge on the state dynamics, and iii) training the resultant hybrid model by an objective derived from a PAC-Bayesian generalization bound. We observe in our experiments that this recipe effectively translates partial and noisy prior knowledge into an improved model fit.


title: Reply on Comments on Superstatistical properties of the one-dimensional Dirac oscillator by Abdelmalek Boumali et al

abstract: This paper is a reply on the comments of Castanos-Yepes et al, on our paper "Super Statistical properties of the one-dimensional Dirac oscillator" published in Physica A (2020)


title: Bayesian active learning for production, a systematic study and a reusable library

abstract: Active learning is able to reduce the amount of labelling effort by using a machine learning model to query the user for specific inputs. While there are many papers on new active learning techniques, these techniques rarely satisfy the constraints of a real-world project. In this paper, we analyse the main drawbacks of current active learning techniques and we present approaches to alleviate them. We do a systematic study on the effects of the most common issues of real-world datasets on the deep active learning process: model convergence, annotation error, and dataset imbalance. We derive two techniques that can speed up the active learning loop such as partial uncertainty sampling and larger query size. Finally, we present our open-source Bayesian active learning library, BaaL.


title: FISHING Net: Future Inference of Semantic Heatmaps In Grids

abstract: For autonomous robots to navigate a complex environment, it is crucial to understand the surrounding scene both geometrically and semantically. Modern autonomous robots employ multiple sets of sensors, including lidars, radars, and cameras. Managing the different reference frames and characteristics of the sensors, and merging their observations into a single representation complicates perception. Choosing a single unified representation for all sensors simplifies the task of perception and fusion. In this work, we present an end-to-end pipeline that performs semantic segmentation and short term prediction using a top-down representation. Our approach consists of an ensemble of neural networks which take in sensor data from different sensor modalities and transform them into a single common top-down semantic grid representation. We find this representation favorable as it is agnostic to sensor-specific reference frames and captures both the semantic and geometric information for the surrounding scene. Because the modalities share a single output representation, they can be easily aggregated to produce a fused output. In this work we predict short-term semantic grids but the framework can be extended to other tasks. This approach offers a simple, extensible, end-to-end approach for multi-modal perception and prediction.


title: Probability Theory with Superposition Events: A Classical Generalization in the Direction of Quantum Mechanics

abstract: In finite probability theory, events are subsets of the outcome set. Subsets can be represented by 1-dimensional column vectors. By extending the representation of events to two dimensional matrices, we can introduce "superposition events." Probabilities are introduced for classical events, superposition events, and their mixtures by using density matrices. Then probabilities for experiments or `measurements' of all these events can be determined in a manner exactly like in quantum mechanics (QM) using density matrices. Moreover the transformation of the density matrices induced by the experiments or `measurements' is the Luders mixture operation as in QM. And finally by moving the machinery into the n-dimensional vector space over Z_2, different basis sets become different outcome sets. That `non-commutative' extension of finite probability theory yields the pedagogical model of quantum mechanics over Z_2 that can model many characteristic non-classical results of QM.


title: Green Simulation Assisted Reinforcement Learning with Model Risk for Biomanufacturing Learning and Control

abstract: Biopharmaceutical manufacturing faces critical challenges, including complexity, high variability, lengthy lead time, and limited historical data and knowledge of the underlying system stochastic process. To address these challenges, we propose a green simulation assisted model-based reinforcement learning to support process online learning and guide dynamic decision making. Basically, the process model risk is quantified by the posterior distribution. At any given policy, we predict the expected system response with prediction risk accounting for both inherent stochastic uncertainty and model risk. Then, we propose green simulation assisted reinforcement learning and derive the mixture proposal distribution of decision process and likelihood ratio based metamodel for the policy gradient, which can selectively reuse process trajectory outputs collected from previous experiments to increase the simulation data-efficiency, improve the policy gradient estimation accuracy, and speed up the search for the optimal policy. Our numerical study indicates that the proposed approach demonstrates the promising performance.


title: Contrastive Learning for Weakly Supervised Phrase Grounding

abstract: Phrase grounding, the problem of associating image regions to caption words, is a crucial component of vision-language tasks. We show that phrase grounding can be learned by optimizing word-region attention to maximize a lower bound on mutual information between images and caption words. Given pairs of images and captions, we maximize compatibility of the attention-weighted regions and the words in the corresponding caption, compared to non-corresponding pairs of images and captions. A key idea is to construct effective negative captions for learning through language model guided word substitutions. Training with our negatives yields a $\sim10\%$ absolute gain in accuracy over randomly-sampled negatives from the training data. Our weakly supervised phrase grounding model trained on COCO-Captions shows a healthy gain of $5.7\%$ to achieve $76.7\%$ accuracy on Flickr30K Entities benchmark.


title: Approximate Simulation for Template-Based Whole-Body Control

abstract: Reduced-order template models are widely used to control high degree-of-freedom legged robots, but existing methods for template-based whole-body control rely heavily on heuristics and often suffer from robustness issues. In this letter, we propose a template-based whole-body control method grounded in the formal framework of approximate simulation. Our central contribution is to demonstrate how the Hamiltonian structure of rigid-body dynamics can be exploited to establish approximate simulation for a high-dimensional nonlinear system. The resulting controller is passive, more robust to push disturbances, uneven terrain, and modeling errors than standard QP-based methods, and naturally enables high center of mass walking. Our theoretical results are supported by simulation experiments with a 30 degree-of-freedom Valkyrie humanoid model.


title: A functional identity for Mahler measures of non-tempered polynomials

abstract: We establish a functional identity for Mahler measures of the two-parametric family $P_{a,c}(x,y)=a(x+1/x)+y+1/y+c$. Our result extends an identity proven in a paper of Lal\'{i}n, Zudilin and Samart. As a by-product, we obtain evaluations of $m(P_{a,c})$ for some algebraic values of $a$ and $c$ in terms of special values of $L$-functions and logarithms. We also give a sufficient condition for validity of a certain identity between the elliptic integrals of the first and the third kind, which implies several identities for $m(P_{a,c})$.


title: Amino acid-driven hydrophobization of alumina and production of particle stabilised foams in a broader pH range

abstract: The interaction of amino acids (glycine, L-valine, L-isoleucine and L-leucine) with alumina surface was studied to induce partial hydrophobization and production of ultrastable particle-stabilised foams. The evaluation of these amino acids was carried out by mechano-quantum simulations followed by experimental tests (foamability, zeta potential, contact angle and foam lifetime measurements). The experimental results agreed with the trends pointed out by the simulations. The selected amino acids interact with alumina particles in aqueous media and in a broader pH range, leading to hydrophobization of surfaces, which was more intense for amino acids with higher molecular mass (isoleucine and leucine). As a consequence, ultrastable foams with a longer lifetime (> 100 hours) were produced and the foam microstructure was preserved from ageing phenomena. Moreover, the attained foams were stable at different pH, opening up new possibilities to develop macroporous multiphasic ceramics, which can result in novel materials for thermal insulation at high temperatures.


abstract: The multi-poly-Bernoulli numbers are generalizations of the Bernoulli numbers. In this paper, we will prove Kummer-type congruences for multi-poly-Bernoulli numbers via $p$-adic distributions.


title: Seeds of Life in Space (SOLIS). X. Interstellar Complex Organic Molecules in the NGC 1333 IRAS 4A outflows

abstract: Aims: A unique environment to study how interstellar Complex Organic Molecules (iCOMs) can be formed is the shocked gas along low-mass protostellar outflows, as the dust mantles composition is sputtered into the gas phase. The chemical richness in these environments has been so far studied only in the L1157 blue shifted outflow. Methods: To understand if the L1157-B1 case is unique, we imaged the NGC 1333 IRAS 4A outflows using the NOEMA (NOrthern Extended Millimeter Array) interferometer as part of the IRAM SOLIS (Seeds Of Life in Space) Large Program and compared the observations with the GRAINOBLE+ gas phase astrochemical model. Results: Several iCOMs were detected in the IRAS 4A outflows: methanol (CH$_3$OH), acetaldehyde (CH$_3$CHO), formamide (NH$_2$CHO) and dimethyl ether (CH$_3$OCH$_3$), all sampling upper excitation energy up to $\sim$30 K. We found a significant chemical differentiation between the IRAS 4A1 outflow, showing a richer molecular content, and the IRAS 4A2 one. The CH$_3$OH/CH$_3$CHO abundance ratio is lower by a factor $\sim$4 in the former; furthermore the ratio in both outflows is lower by a factor $\sim$10 with respect to hot corinos values. Conclusions: After L1157-B1, IRAS 4A outflow is now the second outflow to show an evident chemical complexity. Given that CH$_3$OH is a grain surface species, GRAINOBLE+ reproduced our observations assuming acetaldehyde formation in gas phase by the reaction of ethyl radical (CH$_3$CH$_2$) with atomic oxygen. Moreover, the chemical differentiation between the two outflows suggests that the IRAS 4A1 outflow is likely younger than the IRAS 4A2 one. Further investigation is needed to constrain the age of the outflow and observations of even younger shocks are necessary and future spectroscopic studies on CH$_3$CH$_2$ are needed to be able to observe this species and provide strong constraints on the CH$_3$CHO formation.


title: Properties of a separable representation of optical potentials

abstract: Background: Separable interactions have a long history in nuclear physics. In the last few years, separable expansions have been used to represent the optical potential between a nucleon (proton or neutron) and a target. Purpose: We explore the non-local properties of these separable optical potentials as well as their convergence behavior. Method: For a couple of cases, we use the generalized Ersnt-Shakin-Thaler scheme to generate separable interactions starting from local optical potentials. We study the variation of the interaction with energy range and rank. Results: We find that, overall the off-diagonal behavior of the converged separable interaction deviates from the Gaussian form assumed by Perey and Buck. However, in the region surrounding the maximum depth the Gaussian form works quite well. Focusing on this region, we study potentials describing neutron elastic scattering on $^{16}$O and $^{48}$Ca for beam energies in the range of $ E=$10-50 MeV and explore several measures of non-locality of the separable interactions. Conclusions: When the energy range considered for generating the separable interaction is $0\le E_{range}\le 50$ MeV, the resulting non-locality is large and target dependent. Contrarily, the nonlocality obtained including larger energy ranges in the separable procedure is independent of the target and other details of the original local potential. We find that, even when including in the expansion many support points with energy ranges $0\le E_{range}\le 2400$ MeV, the resulting potential retains non-local behavior. Connections with microscopic optical potentials as well as other transformations used in the nucleon-nucleon domain are made.


title: Region-based Energy Neural Network for Approximate Inference

abstract: Region-based free energy was originally proposed for generalized belief propagation (GBP) to improve loopy belief propagation (loopy BP). In this paper, we propose a neural network based energy model for inference in general Markov random fields (MRFs), which directly minimizes the region-based free energy defined on region graphs. We term our model Region-based Energy Neural Network (RENN). Unlike message-passing algorithms, RENN avoids iterative message propagation and is faster. Also different from recent deep neural network based models, inference by RENN does not require sampling, and RENN works on general MRFs. RENN can also be employed for MRF learning. Our experiments on marginal distribution estimation, partition function estimation, and learning of MRFs show that RENN outperforms the mean field method, loopy BP, GBP, and the state-of-the-art neural network based model.


title: Functional connectome fingerprinting: Identifying individuals and predicting cognitive function via deep learning

abstract: The dynamic characteristics of functional network connectivity have been widely acknowledged and studied. Both shared and unique information has been shown to be present in the connectomes. However, very little has been known about whether and how this common pattern can predict the individual variability of the brain, i.e. "brain fingerprinting", which attempts to reliably identify a particular individual from a pool of subjects. In this paper, we propose to enhance the individual uniqueness based on an autoencoder network. More specifically, we rely on the hypothesis that the common neural activities shared across individuals may lessen individual discrimination. By reducing contributions from shared activities, inter-subject variability can be enhanced. Results show that that refined connectomes utilizing an autoencoder with sparse dictionary learning can successfully distinguish one individual from the remaining participants with reasonably high accuracy (up to 99:5% for the rest-rest pair). Furthermore, high-level cognitive behavior (e.g., fluid intelligence, executive function, and language comprehension) can also be better predicted using refined functional connectivity profiles. As expected, the high-order association cortices contributed more to both individual discrimination and behavior prediction. The proposed approach provides a promising way to enhance and leverage the individualized characteristics of brain networks.


title: Uniqueness of Gibbs fields with unbounded random interactions on unbounded degree graphs

abstract: Gibbs fields with continuous spins are studied, the underlying graphs of which can be of unbounded vertex degree and the spin-spin pair interaction potentials are random and unbounded. A high-temperature uniqueness of such fields is proved to hold under the following conditions: (a) the vertex degree is of tempered growth, i.e., controlled in a certain way; (b) the interaction potentials $W_{xy}$ are such that $\|W_{xy}\|=\sup_{\sigma,\sigma'} |W_{xy}(\sigma, \sigma')|$ are independent (for different edges $\langle x, y \rangle$), identically distributed and exponentially integrable random variables.


title: CoSE: Compositional Stroke Embeddings

abstract: We present a generative model for complex free-form structures such as stroke-based drawing tasks. While previous approaches rely on sequence-based models for drawings of basic objects or handwritten text, we propose a model that treats drawings as a collection of strokes that can be composed into complex structures such as diagrams (e.g., flow-charts). At the core of the approach lies a novel autoencoder that projects variable-length strokes into a latent space of fixed dimension. This representation space allows a relational model, operating in latent space, to better capture the relationship between strokes and to predict subsequent strokes. We demonstrate qualitatively and quantitatively that our proposed approach is able to model the appearance of individual strokes, as well as the compositional structure of larger diagram drawings. Our approach is suitable for interactive use cases such as auto-completing diagrams. We make code and models publicly available at https://eth-ait.github.io/cose.


title: On induced graded simple modules over graded Steinberg algebras with applications to Leavitt path algebras

abstract: For an ample groupoid $\mathcal{G}$ and a unit $x$ of $\mathcal{G}$, Steinberg constructed the induction and restriction functors between the category of modules over the Steinberg algebra $A_R(\mathcal{G})$ and the category of modules over the isotropy group algebra $R\mathcal{G}_x$. In this paper, we prove a graded version of these functors and related results for the graded Steinberg algebra of a graded ample groupoid. As an application, the spectral simple and graded simple modules over the Leavitt path algebra $L_K(E)$ are classified. In particular, we show that many of previously known simple and graded simple $L_K(E)$-modules, including the Chen simple modules, are induced from (graded or non-graded) simple modules over isotropy group algebras.


title: Multiatlas Calibration of Biophysical Brain Tumor Growth Models with Mass Effect

abstract: We present a 3D fully-automatic method for the calibration of partial differential equation (PDE) models of glioblastoma (GBM) growth with mass effect, the deformation of brain tissue due to the tumor. We quantify the mass effect, tumor proliferation, tumor migration, and the localized tumor initial condition from a single multiparameteric Magnetic Resonance Imaging (mpMRI) patient scan. The PDE is a reaction-advection-diffusion partial differential equation coupled with linear elasticity equations to capture mass effect. The single-scan calibration model is notoriously difficult because the precancerous (healthy) brain anatomy is unknown. To solve this inherently ill-posed and ill-conditioned optimization problem, we introduce a novel inversion scheme that uses multiple brain atlases as proxies for the healthy precancer patient brain resulting in robust and reliable parameter estimation. We apply our method on both synthetic and clinical datasets representative of the heterogeneous spatial landscape typically observed in glioblastomas to demonstrate the validity and performance of our methods. In the synthetic data, we report calibration errors (due to the ill-posedness and our solution scheme) in the 10\%-20\% range. In the clinical data, we report good quantitative agreement with the observed tumor and qualitative agreement with the mass effect (for which we do not have a ground truth). Our method uses a minimal set of parameters and provides both global and local quantitative measures of tumor infiltration and mass effect.


title: A High Extinction Ratio Plasmonic Waveguide Polarizer

abstract: A novel method for increasing the extinction ratio of plasmonic waveguide polarizer has been investigated in this work. Aluminum was coated in a 20 microns multi-strips pattern on the top of a SU-8 waveguide to excite the surface plasmons. Simulation and experimental results have been shown the extinction ratio of the multi-strip polarizer is more than the single strip ones with the same total aluminum-coated length due to the coupling loss between Al coated and uncoated region and also the scattering at the edge of metal. This polarizer was characterized over a wide range of wavelengths and showed a high extinction ratio of 46 dB at 1550 nm and 26.8 dB at 980 nm wavelengths.


title: Functional John Ellipsoids

abstract: We introduce a new way of representing logarithmically concave functions on $\mathbb{R}^{d}$. It allows us to extend the notion of the largest volume ellipsoid contained in a convex body to the setting of logarithmically concave functions as follows. For every $s>0$, we define a class of non-negative functions on $\mathbb{R}^{d}$ derived from ellipsoids in $\mathbb{R}^{d+1}$. For any log-concave function $f$ on $\mathbb{R}^{d}$, and any fixed $s>0$, we consider functions belonging to this class, and find the one with the largest integral under the condition that it is pointwise less than or equal to $f$, and we call it the \emph{\jsfunction} of $f$. After establishing existence and uniqueness, we give a characterization of this function similar to the one given by John in his fundamental theorem. We find that John $s$-functions converge to characteristic functions of ellipsoids as $s$ tends to zero and to Gaussian densities as $s$ tends to infinity. As an application, we prove a quantitative Helly type result: the integral of the pointwise minimum of any family of log-concave functions is at least a constant $c_d$ multiple of the integral of the pointwise minimum of a properly chosen subfamily of size $3d+2$, where $c_d$ depends only on $d$.


title: Incremental Lossless Graph Summarization

abstract: Given a fully dynamic graph, represented as a stream of edge insertions and deletions, how can we obtain and incrementally update a lossless summary of its current snapshot? As large-scale graphs are prevalent, concisely representing them is inevitable for efficient storage and analysis. Lossless graph summarization is an effective graph-compression technique with many desirable properties. It aims to compactly represent the input graph as (a) a summary graph consisting of supernodes (i.e., sets of nodes) and superedges (i.e., edges between supernodes), which provide a rough description, and (b) edge corrections which fix errors induced by the rough description. While a number of batch algorithms, suited for static graphs, have been developed for rapid and compact graph summarization, they are highly inefficient in terms of time and space for dynamic graphs, which are common in practice. In this work, we propose MoSSo, the first incremental algorithm for lossless summarization of fully dynamic graphs. In response to each change in the input graph, MoSSo updates the output representation by repeatedly moving nodes among supernodes. MoSSo decides nodes to be moved and their destinations carefully but rapidly based on several novel ideas. Through extensive experiments on 10 real graphs, we show MoSSo is (a) Fast and 'any time': processing each change in near-constant time (less than 0.1 millisecond), up to 7 orders of magnitude faster than running state-of-the-art batch methods, (b) Scalable: summarizing graphs with hundreds of millions of edges, requiring sub-linear memory during the process, and (c) Effective: achieving comparable compression ratios even to state-of-the-art batch methods.


title: Fast and robust quantum state transfer in a topological Su-Schrieffer-Heeger chain with Next-to-Nearest-Neighbour interactions

abstract: We suggest a method for fast and robust quantum-state transfer in a Su-Schrieffer-Heeger (SSH) chain, which exploits the use of next-to-nearest-neighbour (NNN) interactions. The proposed quantum protocol combines a rapid change in one of the topological edge states, induced by a modulation of nearest-neighbour interactions, with a fine tuning of NNN interactions operating a counter-adiabatic driving. The latter cancels nonadiabatic excitations from the edge state multiplicity to the energy bands. We use this shortcut technique for topological pumping of edge states on a single dimerized chain and also through an interface that connects two dimerized Su-Schrieffer-Heeger chains with different topological order. We investigate the robustness of this protocol against both uncorrelated and correlated disorder, and demonstrate its strong resilience to the former in comparison to traditional adiabatic protocols for topological chains. We show that introducing spatial correlations in the disorder increases the robustness of the protocol, widening the range of its applicability.


title: Electrically Controlled Two-Dimensional Electron-Hole Fluids

abstract: We study the electronic properties of dual-gated electron-hole bilayers in which the two layers are separated by a perfectly opaque tunnel barrier. Combining an electrostatic and thermodynamic analysis with mean-field theory estimates of interacting system chemical potentials, we explain the dependence of the electron and hole densities on the two gate voltages. Because chemical potential jumps occur for both electrons and holes at neutrality, there is a finite area in gate voltage parameter space over which electron and hole densities are equal. In that regime the electron-hole pair density depends only on the sum of the two gate voltages. We are able to explain a recent experimental study of electrically controlled bilayers by allowing for interlayer tunneling and using a non-equilibrium steady-state transport picture.


title: Did State-sponsored Trolls Shape the 2016 US Presidential Election Discourse? Quantifying Influence on Twitter

abstract: It is a widely accepted fact that state-sponsored Twitter accounts operated during the 2016 US presidential election, spreading millions of tweets with misinformation and inflammatory political content. Whether these social media campaigns of the so-called "troll" accounts were able to manipulate public opinion is still in question. Here, we quantify the influence of troll accounts on Twitter by analyzing 152.5 million tweets (by 9.9 million users) from that period. The data contain original tweets from 822 troll accounts identified as such by Twitter itself. We construct and analyse a very large interaction graph of 9.3 million nodes and 169.9 million edges using graph analysis techniques, along with a game-theoretic centrality measure. Then, we quantify the influence of all Twitter accounts on the overall information exchange as is defined by the retweet cascades. We provide a global influence ranking of all Twitter accounts and we find that one troll account appears in the top-100 and four in the top-1000. This combined with other findings presented in this paper constitute evidence that the driving force of virality and influence in the network came from regular users - users who have not been classified as trolls by Twitter. On the other hand, we find that on average, troll accounts were tens of times more influential than regular users were. Moreover, 23% and 22% of regular accounts in the top-100 and top-1000 respectively, have now been suspended by Twitter. This raises questions about their authenticity and practices during the 2016 US presidential election.


title: Forgetful Experience Replay in Hierarchical Reinforcement Learning from Demonstrations

abstract: Currently, deep reinforcement learning (RL) shows impressive results in complex gaming and robotic environments. Often these results are achieved at the expense of huge computational costs and require an incredible number of episodes of interaction between the agent and the environment. There are two main approaches to improving the sample efficiency of reinforcement learning methods - using hierarchical methods and expert demonstrations. In this paper, we propose a combination of these approaches that allow the agent to use low-quality demonstrations in complex vision-based environments with multiple related goals. Our forgetful experience replay (ForgER) algorithm effectively handles errors in expert data and reduces quality losses when adapting the action space and states representation to the agent's capabilities. Our proposed goal-oriented structuring of replay buffer allows the agent to automatically highlight sub-goals for solving complex hierarchical tasks in demonstrations. Our method is universal and can be integrated into various off-policy methods. It surpasses all known existing state-of-the-art RL methods using expert demonstrations on various model environments. The solution based on our algorithm beats all the solutions for the famous MineRL competition and allows the agent to mine a diamond in the Minecraft environment.


title: Flame- and flow-conditioned vorticity transport in premixed swirl combustion

abstract: This paper presents an experimental analysis of flame-induced enstrophy transport in premixed swirl combustion at Karlovitz numbers between 20-50. Such flames posses a large-scale pressure field that -- in addition to the pressure fields associated with small-scale turbulent vortices -- can interact with density gradients to produce baroclinic torque. Simultaneous tomographic particle image velocimetry and formaldehyde planar laser induced fluorescence measurements are used to obtain high-resolution velocity and progress-variable fields. This allows statistical evaluation of the various terms in the enstrophy transport equation. The impact of small- and large-scale pressure gradients is assessed by conditioning the baroclinic torque on the position of the fluid within the instantaneous flame front, within the flame brush, and axially within the combustor. At all conditions studied, the baroclinic torque was a significant contributor to enstrophy transport, with a comparable magnitude to vortex stretching and viscous diffusion. Enstrophy attenuation and production by baroclinic torque tended to occur towards the reactant and product sides of the instantaneous flame surface, respectively. However, the value of the baroclinic torque also depended equally strongly on the position in the combustor. Hence, both small- and large-scale pressure fields can result in significant enstrophy changes through baroclinic torque. This is evidence both that flame-induced vorticity dynamics are significant in swirl combustion, and that large-scale geometry-dependent flow fields can impact flame-generated turbulence.


title: On the Diversity of M-Star Astrospheres and the Role of Galactic Cosmic Rays Within

abstract: With upcoming missions such as the James Webb Space Telescope (JWST), the European Extremely Large Telescope (ELT), and the Atmospheric Remote-sensing Infrared Exoplanet Large-survey (ARIEL), we soon will be on the verge of detecting and characterizing Earth-like exoplanetary atmospheres for the first time. These planets are most likely to be found around smaller and cooler K- and M-type stars. However, recent observations showed that their radiation environment might be much harsher than that of the Sun. Thus, the exoplanets are most likely exposed to an enhanced stellar radiation environment, which could affect their habitability, for example, in the form of a hazardous flux of energetic particles. Knowing the stellar radiation field, and being able to model the radiation exposure on the surface of a planet is crucial to assess its habitability. In this study, we present 3D magnetohydrodynamic (MHD)-based model efforts investigating M-stars, focusing on V374 Peg, Proxima Centauri, and LHS 1140, chosen because of their diverse astrospheric quantities. We show that V374 Peg has a much larger astrosphere (ASP) than our Sun, while Proxima Centauri and LHS 1140 most likely have ASPs comparable or even much smaller than the heliosphere, respectively. Based on a 1D transport model, for the first time, we provide numerical estimates of the modulation of Galactic cosmic rays (GCRs) within the three ASPs. We show that the impact of GCRs on the Earth-like exoplanets Proxima Centauri b and LHS 1140 b cannot be neglected in the context of exoplanetary habitability.


title: Pitch Control by LQR for Fixed Wing Aircraft During Microburst Encounter

abstract: In this study, a linear mathematical model representing longitudinal flight dynamics of an airplane is developed and responses of the aircraft during a microburst encounter are investigated. The effects of microburst that are acting on the aircraft are attempted to be suppressed with the elevator control surface of the aircraft, which is controlled by Linear Quadratic Regulator method. To illustrate the effectiveness of the proposed control method, numerous numbers of simulation studies is performed. As a result of the simulations, it is observed that effects of microburst on the pitching angle and altitude are significantly attenuated by the proposed control method. In addition, it is confirmed that the elevator control surface movement which provides the necessary controller input is within the physical capabilities of the aircraft.


title: Power operations in the Stolz--Teichner program

abstract: The Stolz--Teichner program proposes a deep connection between geometric field theories and certain cohomology theories. In this paper, we extend this connection by developing a theory of geometric power operations for geometric field theories restricted to closed bordisms. These operations satisfy relations analogous to the ones exhibited by their homotopical counterparts. We also provide computational tools to identify the geometrically defined operations with the usual power operations on complexified equivariant $K$-theory. Further, we use the geometric approach to construct power operations for complexified equivariant elliptic cohomology.


title: Localized structures on librational and rotational travelling waves in the sine-Gordon equation

abstract: We derive exact solutions to the sine--Gordon equation describing localized structures on the background of librational and rotational travelling waves. In the case of librational waves, the exact solution represents a localized spike in space-time coordinates (a rogue wave) which decays to the periodic background algebraically fast. In the case of rotational waves, the exact solution represents a kink propagating on the periodic background and decaying algebraically in the transverse direction to its propagation. These solutions model the universal patterns in the dynamics of fluxon condensates in the semi-classical limit. The different dynamics is related to different outcomes of modulational stability of the librational and rotational waves.


title: X(3872) Transport in Heavy-Ion Collisions

abstract: The production of the $X(3872)$ particle in heavy-ion collisions has been contemplated as an alternative probe of its internal structure. To investigate this conjecture, we perform transport calculations of the $X(3872)$ through the fireball formed in nuclear collisions at the LHC. Within a kinetic-rate equation approach as previously used for charmonia, the formation and dissociation of the $X(3872)$ is controlled by two transport parameters, i.e., its inelastic reaction rate and thermal-equilibrium limit in the evolving hot QCD medium. While the equilibrium limit is controlled by the charm production cross section in primordial nucleon-nucleon collisions (together with the spectra of charm states in the medium), the structure information is encoded in the reaction rate. We study how different scenarios for the rate affect the centrality dependence and transverse-momentum ($p_T$) spectra of the $X(3872)$. Larger reaction rates associated with the loosely bound molecule structure imply that it is formed later in the fireball evolution than the tetraquark and thus its final yields are generally smaller by around a factor of two, which is qualitatively different from most coalescence model calculations to date. The $p_T$ spectra provide further information as the later decoupling time within the molecular scenario leads to harder spectra caused by the blue-shift from the expanding fireball.


title: Convex Synthesis of Accelerated Gradient Algorithms for Optimization and Saddle Point Problems using Lyapunov functions

abstract: This paper considers the problem of designing accelerated gradient-based algorithms for optimization and saddle-point problems. The class of objective functions is defined by a generalized sector condition. This class of functions contains strongly convex functions with Lipschitz gradients but also non-convex functions, which allows not only to address optimization problems but also saddle-point problems. The proposed design procedure relies on a suitable class of Lyapunov functions and on convex semi-definite programming. The proposed synthesis allows the design of algorithms that reach the performance of state-of-the-art accelerated gradient methods and beyond.


title: On H\"older maps and prime gaps

abstract: Let $p_n$ denote the $n$th prime, and consider the function $1/n \mapsto 1/p_n$ which maps the reciprocals of the positive integers bijectively to the reciprocals of the primes. We show that H\"older continuity of this function is equivalent to a parameterised family of Cram\'er type estimates on the gaps between successive primes. Here the parameterisation comes from the H\"older exponent. In particular, we show that Cram\'er's conjecture is equivalent to the map $1/n \mapsto 1/p_n$ being Lipschitz. On the other hand, we show that the inverse map $1/p_n \mapsto 1/n$ is H\"older of all orders but not Lipshitz and this is independent of Cram\'er's conjecture.


title: Cross-Frequency Coupling During Thermoacoustic Oscillations in a Pressurized Aeronautical Gas Turbine Model Combustor

abstract: This paper demonstrates cross-frequency coupling between pressure, heat release rate, fuel spray and velocity oscillations in a model aeronautical gas turbine combustor operating at a pressure of approximately 10 atm. Heat release rate was characterized by 10 kHz chemiluminescence (CL) imaging of several species. Stereoscopic particle image velocimetry and laser Mie scattering from the fuel droplets were used to measure the gas velocity and spray dynamics, respectively, at 5 kHz. The pressure fluctuations were dominated by oscillations at a frequency $f_0$, whereas the spray, CL and velocity oscillated at approximately $2f_0$. All of these oscillations were nonstationary, exhibiting changes in frequency and amplitude. Comparing the time evolution of the dominant frequencies and amplitudes indicates a behavior consistent with mutually coupled self-oscillators; the observed dynamics of the 1:2 super-harmonic coupling is consistent synchronization via oscillation death. Furthermore, increases in the frequency of the ca. $f_0$ velocity oscillations away from the harmonic ratio (increased frequency detuning) were correlated with decreases in the power of the $f_0$ pressure oscillations. The corresponding nonreacting flow had a natural hydrodynamic mode at a frequency slightly greater than $2f_0$. Hence, the data are consistent with the $f_0$ acoustic mode "pulling" the hydrodynamic frequency towards the super-harmonic ratio.


title: Exact and computationally efficient Bayesian inference for generalized Markov modulated Poisson processes

abstract: Statistical modeling of point patterns is an important and common problem in several areas. The Poisson process is the most common process used for this purpose, in particular, its generalization that considers the intensity function to be stochastic. This is called a Cox process and different choices to model the dynamics of the intensity gives rise to a wide range of models. We present a new class of unidimensional Cox process models in which the intensity function assumes parametric functional forms that switch among them according to a continuous-time Markov chain. A novel methodology is proposed to perform exact Bayesian inference based on MCMC algorithms. The term exact refers to the fact that no discrete time approximation is used and Monte Carlo error is the only source of inaccuracy. The reliability of the algorithms depends on a variety of specifications which are carefully addressed, resulting in a computationally efficient (in terms of computing time) algorithm and enabling its use with large data sets. Simulated and real examples are presented to illustrate the efficiency and applicability of the proposed methodology. A specific model to fit epidemic curves is proposed and used to analyze data from Dengue Fever in Brazil and COVID-19 in some countries.


title: Delta Schema Network in Model-based Reinforcement Learning

abstract: This work is devoted to unresolved problems of Artificial General Intelligence - the inefficiency of transfer learning. One of the mechanisms that are used to solve this problem in the area of reinforcement learning is a model-based approach. In the paper we are expanding the schema networks method which allows to extract the logical relationships between objects and actions from the environment data. We present algorithms for training a Delta Schema Network (DSN), predicting future states of the environment and planning actions that will lead to positive reward. DSN shows strong performance of transfer learning on the classic Atari game environment.


title: Temporal evolution of low-temperature phonon sidebands in WSe$_2$ monolayers

abstract: Low-temperature photoluminescence (PL) of hBN-encapsulated monolayer tungsten diselenide (WSe$_2$) shows a multitude of sharp emission peaks below the bright exciton. Some of them have been recently identified as phonon sidebands of momentum-dark states. However, the exciton dynamics behind the emergence of these sidebands has not been revealed yet. In this joint theory-experiment study, we theoretically predict and experimentally observe time-resolved PL providing microscopic insights into thermalization of hot excitons formed after optical excitation. In good agreement between theory and experiment, we demonstrate a spectral red-shift of phonon sidebands on a timescale of tens of picoseconds reflecting the phonon-driven thermalization of hot excitons in momentum-dark states. Furthermore, we predict the emergence of a transient phonon sideband that vanishes in the stationary PL. The obtained microscopic insights are applicable to a broad class of 2D materials with multiple exciton valleys.


title: Universally Quantized Neural Compression

abstract: A popular approach to learning encoders for lossy compression is to use additive uniform noise during training as a differentiable approximation to test-time quantization. We demonstrate that a uniform noise channel can also be implemented at test time using universal quantization (Ziv, 1985). This allows us to eliminate the mismatch between training and test phases while maintaining a completely differentiable loss function. Implementing the uniform noise channel is a special case of the more general problem of communicating a sample, which we prove is computationally hard if we do not make assumptions about its distribution. However, the uniform special case is efficient as well as easy to implement and thus of great interest from a practical point of view. Finally, we show that quantization can be obtained as a limiting case of a soft quantizer applied to the uniform noise channel, bridging compression with and without quantization.


title: Exchange-bias controlled correlations in magnetically encapsulated twisted van der Waals dichalcogenides

abstract: Twisted van der Waals materials have become a paradigmatic platform to realize exotic correlated states of matter. Here, we show that a twisted dichalcogenide bilayer (WSe$_2$) encapsulated between a magnetic van der Waals material (CrBr$_3$) features flat bands with tunable valley and spin flavors. We demonstrate that, when electron-electron interactions are included, spin-ferromagnetic and valley-ferromagnetic states emerge in the flat bands, stemming from the interplay between correlations, intrinsic spin-orbit coupling and exchange proximity effects. We show that the specific symmetry broken state is controlled by the relative alignment of the magnetization of the encapsulation, demonstrating the emergence of correlated states controlled by exchange bias. Our results put forward a new van der Waals heterostructure where symmetry broken states emerge from a genuine interplay between twist engineering, spin-orbit coupling and exchange proximity, providing a powerful starting point to explore exotic collective states of matter.


title: Some remarks on the companions conjecture for normal varieties

abstract: Drinfeld in 2010 proved the companions conjecture for smooth varieties over a finite field, generalizing L. Lafforgue's result for smooth curves. We study the obstruction to prove the conjecture for arbitrary normal varieties. To do this, we introduce a new property of morphisms. We verify this property in some cases, showing thereby the companions conjecture for some singular normal varieties.


title: Deep learning Profit & Loss

abstract: Building the future profit and loss (P&L) distribution of a portfolio holding, among other assets, highly non-linear and path-dependent derivatives is a challenging task. We provide a simple machinery where more and more assets could be accounted for in a simple and semi-automatic fashion. We resort to a variation of the Least Square Monte Carlo algorithm where interpolation of the continuation value of the portfolio is done with a feed forward neural network. This approach has several appealing features not all of them will be fully discussed in the paper. Neural networks are extremely flexible regressors. We do not need to worry about the fact that for multi assets payoff, the exercise surface could be non connected. Neither we have to search for smart regressors. The idea is to use, regardless of the complexity of the payoff, only the underlying processes. Neural networks with many outputs can interpolate every single assets in the portfolio generated by a single Monte Carlo simulation. This is an essential feature to account for the P&L distribution of the whole portfolio when the dependence structure between the different assets is very strong like the case where one has contingent claims written on the same underlying.


title: Bad Projections of the PSD Cone

abstract: The image of the cone of positive semidefinite matrices under a linear map is a convex cone. Pataki characterized the set of linear maps for which that image is not closed. The Zariski closure of this set is a hypersurface in the Grassmannian. Its components are the coisotropic hypersurfaces of symmetric determinantal varieties. We develop the convex algebraic geometry of such bad projections, with focus on explicit computations.


title: Two-stage catalytic hydrotreatment of highly nitrogenous biocrude from continuous hydrothermal liquefaction: A rational design of the stabilization stage

abstract: Effective catalytic hydrotreatment of highly nitrogenous biocrudes derived from the hydrothermal liquefaction (HTL) of primary sewage sludge and microalga Spirulina biomass was explored. A critical issue is the lack of thermal stability of raw HTL biocrudes at the severe conditions (~400 {\deg}C) required for hydrodenitrogenation. This fact suggests the need for a two-stage approach, involving a first low-temperature stabilization stage followed by another one operated at higher temperature. In this study, DSC was successfully used to indicate the thermal stability of both biocrudes. During hydrotreating, it was observed that complete deoxygenation was already achieved in the first stage at 350 {\deg}C, with limited coke formation. Moreover, after second stage up to 92% denitrogenation associated with the higher hydrogen consumption (39.9 g kg -1 for Spirulina and 36.9 g kg -1 for sewage sludge) was obtained for both biocrudes. Consequently, comparable oil yields but significantly less coke yields were recorded during two stage upgrading (1.0% for Spirulina and 0.7% for sewage sludge), compared to direct processing at 400 {\deg}C (9.1% for Spirulina and 3.4% for sewage sludge). In addition, the properties of the upgraded oils were enhanced by increasing the temperature in the first stage (310 {\deg}C, 330 {\deg}C and 350 {\deg}C respectively). Finally, the results indicated that remarkable drop in fuel properties were obtained, with respect to heteroatom (O and N) removal, HHV, and H/C ratio during the two stage hydrotreatment. Two-stage hydrotreating is therefore proposed as a successful approach for the upgrading of HTL biocrudes with high nitrogen content.


title: On Furstenberg systems of aperiodic multiplicative functions of Matomaki, Radziwill and Tao

abstract: It is shown that in a class of counterexamples to Elliott's conjecture by Matomaki, Radziwill and Tao, the Chowla conjecture holds along a subsequence.


title: When We First Met: Visual-Inertial Person Localization for Co-Robot Rendezvous

abstract: We aim to enable robots to visually localize a target person through the aid of an additional sensing modality -- the target person's 3D inertial measurements. The need for such technology may arise when a robot is to meet person in a crowd for the first time or when an autonomous vehicle must rendezvous with a rider amongst a crowd without knowing the appearance of the person in advance. A person's inertial information can be measured with a wearable device such as a smart-phone and can be shared selectively with an autonomous system during the rendezvous. We propose a method to learn a visual-inertial feature space in which the motion of a person in video can be easily matched to the motion measured by a wearable inertial measurement unit (IMU). The transformation of the two modalities into the joint feature space is learned through the use of a contrastive loss which forces inertial motion features and video motion features generated by the same person to lie close in the joint feature space. To validate our approach, we compose a dataset of over 60,000 video segments of moving people along with wearable IMU data. Our experiments show that our proposed method is able to accurately localize a target person with 80.7% accuracy using only 5 seconds of IMU data and video.


title: Lower bounds for the mean dissipated heat in an open quantum system

abstract: Landauer's principle provides a perspective on the physical meaning of information as well as on the minimum working cost of information processing. Whereas most studies have related the decrease in entropy during a computationally irreversible process to a lower bound of dissipated heat, recent efforts have also provided another lower bound associated with the thermodynamic fluctuation of heat. The coexistence of the two conceptually independent bounds has stimulated comparative studies of their close relationship or tightness; however, these studies were concerned with finite quantum systems that allowed the revival of erased information because of a finite recurrence time. We broaden these comparative studies further to open quantum systems with infinite recurrence times. By examining their dependence on the initial state, we find the independence of the thermodynamic bound from the initial coherence, whereas the entropic bound depends on both the initial coherence and population. A crucial role is indicated by the purity of the initial state: the entropic bound is tighter when the initial condition is sufficiently mixed, whereas the thermodynamic bound is tighter when the initial state is close to a pure state. These trends are consistent with previous results obtained for finite systems.


title: Forcing a classification of non-torsion Abelian groups of size at most $2^\mathfrak c$ with non-trivial convergent sequences

abstract: We force a classification of all the Abelian groups of cardinality at most $2^\mathfrak c$ that admit a countably compact group with a non-trivial convergent sequence. In particular, we answer (consistently) Question 24 of Dikranjan and Shakhmatov for cardinality at most $2^{\mathfrak c}$, by showing that if a non-torsion Abelian group of size at most $2^\mathfrak c$ admits a countably compact Hausdorff group topology, then it admits a countably compact Hausdorff group topology with non-trivial convergent sequences.


title: WhoAmI: An Automatic Tool for Visual Recognition of Tiger and Leopard Individuals in the Wild

abstract: Photographs of wild animals in their natural habitats can be recorded unobtrusively via cameras that are triggered by motion nearby. The installation of such camera traps is becoming increasingly common across the world. Although this is a convenient source of invaluable data for biologists, ecologists and conservationists, the arduous task of poring through potentially millions of pictures each season introduces prohibitive costs and frustrating delays. We develop automatic algorithms that are able to detect animals, identify the species of animals and to recognize individual animals for two species. we propose the first fully-automatic tool that can recognize specific individuals of leopard and tiger due to their characteristic body markings. We adopt a class of supervised learning approach of machine learning where a Deep Convolutional Neural Network (DCNN) is trained using several instances of manually-labelled images for each of the three classification tasks. We demonstrate the effectiveness of our approach on a data set of camera-trap images recorded in the jungles of Southern India.


title: GCC: Graph Contrastive Coding for Graph Neural Network Pre-Training

abstract: Graph representation learning has emerged as a powerful technique for addressing real-world problems. Various downstream graph learning tasks have benefited from its recent developments, such as node classification, similarity search, and graph classification. However, prior arts on graph representation learning focus on domain specific problems and train a dedicated model for each graph dataset, which is usually non-transferable to out-of-domain data. Inspired by the recent advances in pre-training from natural language processing and computer vision, we design Graph Contrastive Coding (GCC) -- a self-supervised graph neural network pre-training framework -- to capture the universal network topological properties across multiple networks. We design GCC's pre-training task as subgraph instance discrimination in and across networks and leverage contrastive learning to empower graph neural networks to learn the intrinsic and transferable structural representations. We conduct extensive experiments on three graph learning tasks and ten graph datasets. The results show that GCC pre-trained on a collection of diverse datasets can achieve competitive or better performance to its task-specific and trained-from-scratch counterparts. This suggests that the pre-training and fine-tuning paradigm presents great potential for graph representation learning.


title: On the microscopic origin of reversible and irreversible reactions of LiNixCoyMnx cathode materials: Ni-O hybrid bond formation vs. cationic and anionic redox

abstract: Energy density limitations of layered oxides with different Ni contents, i.e., of the conventional cathode materials in Li-ion batteries, are investigated across the first discharge cycle using advanced spectroscopy and state-of-the-art diffraction. For the first time unambiguous experimental evidence is provided, that redox reactions in NCMs proceed via a reversible oxidation of Ni and a hybridization with O, and not, as widely assumed, via pure cationic or more recently discussed, pure anionic redox processes. Once Ni-O hybrid states are formed, the sites cannot be further oxidized. Instead, irreversible reactions set in which lead to a structural collapse and thus, the lack of ionic Ni limits the reversible capacity. Moreover, the degree of hybridization, which varies with the Ni content, triggers the electronic structure and the operation potential of the cathodes. With an increasing amount of Ni, the covalent character of the materials increases and the potential decreases.


title: High-Fidelity Generative Image Compression

abstract: We extensively study how to combine Generative Adversarial Networks and learned compression to obtain a state-of-the-art generative lossy compression system. In particular, we investigate normalization layers, generator and discriminator architectures, training strategies, as well as perceptual losses. In contrast to previous work, i) we obtain visually pleasing reconstructions that are perceptually similar to the input, ii) we operate in a broad range of bitrates, and iii) our approach can be applied to high-resolution images. We bridge the gap between rate-distortion-perception theory and practice by evaluating our approach both quantitatively with various perceptual metrics, and with a user study. The study shows that our method is preferred to previous approaches even if they use more than 2x the bitrate.


title: Multidimensional Bayesian IRT Model for Hierarchical Latent Structures

abstract: It is reasonable to consider, in many cases, that individuals' latent traits have a hierarchical structure such that more general traits are a suitable composition of more specific ones. Existing item response models that account for such hierarchical structure feature have considerable limitations in terms of modelling and/or inference. Motivated by those limitations and the importance of the theme, this paper aims at proposing an improved methodology in terms of both modelling and inference to deal with hierarchically structured latent traits in an item response theory context. From a modelling perspective, the proposed methodology allows for genuinely multidimensional items and all of the latent traits in the assumed hierarchical structure are on the same scale. Items are allowed to be dichotomous or of graded response. An efficient MCMC algorithm is carefully devised to sample from the joint posterior distribution of all the unknown quantities of the proposed model. In particular, all the latent trait parameters are jointly sampled from their full conditional distribution in a Gibbs sampling algorithm. The proposed methodology is applied to simulated data and a real dataset concerning the Enem exam in Brazil.


title: Positive currents on non-k\"ahlerian surfaces

abstract: We propose a classification of non-k\"ahlerian surfaces from a dynamical point of view and show how the known non-k\"ahlerian surfaces fit into it.


title: Discrete maximal operators over surfaces of higher codimension

abstract: Integration over curved manifolds with higher codimension and, separately, discrete variants of continuous operators, have been two important, yet separate themes in harmonic analysis, discrete geometry and analytic number theory research. Here we unite these themes to study discrete analogues of operators involving higher (intermediate) codimensional integration. We consider a maximal operator that averages over triangular configurations and prove several bounds that are close to optimal. A distinct feature of our approach is the use of multilinearity to obtain nontrivial $\ell^1$-estimates by a rather general idea that is likely to be applicable to other problems.


title: Playing Unique Games on Certified Small-Set Expanders

abstract: We give an algorithm for solving unique games (UG) instances whenever low-degree sum-of-squares proofs certify good bounds on the small-set-expansion of the underlying constraint graph via a hypercontractive inequality. Our algorithm is in fact more versatile, and succeeds even when the constraint graph is not a small-set expander as long as the structure of non-expanding small sets is (informally speaking) "characterized" by a low-degree sum-of-squares proof. Our results are obtained by rounding \emph{low-entropy} solutions -- measured via a new global potential function -- to sum-of-squares (SoS) semidefinite programs. This technique adds to the (currently short) list of general tools for analyzing SoS relaxations for \emph{worst-case} optimization problems. As corollaries, we obtain the first polynomial-time algorithms for solving any UG instance where the constraint graph is either the \emph{noisy hypercube}, the \emph{short code} or the \emph{Johnson} graph. The prior best algorithm for such instances was the eigenvalue enumeration algorithm of Arora, Barak, and Steurer (2010) which requires quasi-polynomial time for the noisy hypercube and nearly-exponential time for the short code and Johnson graphs. All of our results achieve an approximation of $1-\epsilon$ vs $\delta$ for UG instances, where $\epsilon>0$ and $\delta > 0$ depend on the expansion parameters of the graph but are independent of the alphabet size.


title: Design and Implementation of Time-Sensitive Wireless IoT Networks on Software-Defined Radio

abstract: Time-sensitive wireless networks are an important enabling building block for many emerging industrial Internet of Things (IoT) applications. Quick prototyping and evaluation of time-sensitive wireless technologies are desirable for R&D efforts. Software-defined radio (SDR), by allowing wireless signal processing on a personal computer (PC), has been widely used for such quick prototyping efforts. Unfortunately, because of the \textit{uncontrollable delay} between the PC and the radio board, SDR is generally deemed not suitable for time-sensitive wireless applications that demand communication with low and deterministic latency. For a rigorous evaluation of its suitability for industrial IoT applications, this paper conducts a quantitative investigation of the synchronization accuracy and end-to-end latency achievable by an SDR wireless system. To this end, we designed and implemented a time-slotted wireless system on the Universal Software Radio Peripheral (USRP) SDR platform. We developed a time synchronization mechanism to maintain synchrony among nodes in the system. To reduce the delays and delay jitters between the USRP board and its PC, we devised a {\textit{Just-in-time}} algorithm to ensure that packets sent by the PC to the USRP can reach the USRP just before the time slots they are to be transmitted. Our experiments demonstrate that $90\%$ ($100\%$) of the time slots of different nodes can be synchronized and aligned to within $ \pm 0.5$ samples or $ \pm 0.05\mu s$ ($ \pm 1.5$ samples or $ \pm 0.15\mu s$), and that the end-to-end packet delivery latency can be down to $3.75ms$. This means that SDR-based solutions can be applied in a range of IIoT applications that require tight synchrony and moderately low latency, e.g., sensor data collection, automated guided vehicle (AGV) control, and Human-Machine-Interaction (HMI).


title: Fabrication of Tungsten nanoprobes by Electrochemical etching: Role of cathode geometry and their use as electrical probe

abstract: Electrical measurement of nano-scale devices and structures requires skills and hardware to make nano-contacts. Such measurements have been difficult for number of laboratories due to cost of probe station and nano-probes. In the present work, we have demonstrated possibility of assembling low cost probe station using USB microscope (US $ 30) coupled with in-house developed probe station. We have explored the effect of shape of etching electrodes on the geometry of the microprobes developed. The variation in the geometry of copper wire electrode is observed to affect the probe length (0.58 mm to 2.15 mm) and its half cone angle (1.4 to 8.8 degree). These developed probes were used to make contact on micro patterned metal films and was used for electrical measurement along with semiconductor parameter analyzer. These probes show low contact resistance ( 4 ohm) and follows ohmic behavior. Such probes can be used for laboratories involved in teaching and multidisciplinary research activities and Atomic Force Microscopy.


title: High-frequency Graviton from Inflaton Oscillation

abstract: We point out that there is a high-frequency tail of the stochastic inflationary gravitational wave background that scales as $f^{-1/2}$ with frequency $f$. This contribution comes from the graviton vacuum fluctuation amplified by the inflaton coherent oscillation during the reheating stage. It contains information on inflaton properties such as the inflaton mass as well as the thermal history of the early Universe.


title: Breaking Type Safety in Go: An Empirical Study on the Usage of the unsafe Package

abstract: A decade after its first release, the Go programming language has become a major programming language in the development landscape. While praised for its clean syntax and C-like performance, Go also contains a strong static type-system that prevents arbitrary type casting and arbitrary memory access, making the language type-safe by design. However, to give developers the possibility of implementing low-level code, Go ships with a special package called unsafe that offers developers a way around the type-safety of Go programs. The package gives greater flexibility to developers but comes at a higher risk of runtime errors, chances of non-portability, and the loss of compatibility guarantees for future versions of Go. In this paper, we present the first large-scale study on the usage of the unsafe package in 2,438 popular Go projects. Our investigation shows that unsafe is used in 24% of Go projects, motivated primarily by communicating with operating systems and C code, but is also commonly used as a source of performance optimization. Developers are willing to use unsafe to break language specifications (e.g., string immutability) for better performance and 6% of analyzed projects that use unsafe perform risky pointer conversions that can lead to program crashes and unexpected behavior. Furthermore, we report a series of real issues faced by projects that use unsafe, from crashing errors and non-deterministic behavior to having their deployment restricted from certain popular environments. Our findings can be used to understand how and why developers break type-safety in Go, and help motivate further tools and language development that could make the usage of unsafe in Go even safer.


title: About detecting very low mass black holes in LAr detectors

abstract: The nature of dark matter is still an open problem. The simplest assumption is that gravity is the only force coupled certainly to dark matter and thus the micro black holes could be a viable candidate. We investigated the possibility of direct detection of micro black holes with masses around and upward the Planck scale (10$^{-5}$ g), ensuring classical gravitational treatment of these objects in the next generation of huge LAr detectors. We show that the signals (ionization and scintillation) produced in LAr enable the discrimination between micro black holes or other particles. It is expected that the trajectories of these micro black holes will appear as crossing the whole active medium, in any direction, producing uniform ionization and scintillation on all the path.


title: Fiducial and Posterior Sampling

abstract: The fiducial coincides with the posterior in a group model equipped with the right Haar prior. This result is here generalized. For this the underlying probability space of Kolmogorov is replaced by a $\sigma$-finite measure space and fiducial theory is presented within this frame. Examples are presented that demonstrate that this also gives good alternatives to existing Bayesian sampling methods. It is proved that the results provided here for fiducial models imply that the theory of invariant measures for groups cannot be generalized directly to loops: There exist a smooth one-dimensional loop where an invariant measure does not exist. Keywords: Conditional sampling, Improper prior, Haar prior, Sufficient statistic, Quasi-group


title: Optical estimation of unitary Gaussian processes without phase reference using Fock states

abstract: Since a general Gaussian process is phase-sensitive, a stable phase reference is required to take advantage of this feature. When the reference is missing, either due to the volatile nature of the measured sample or the measurement's technical limitations, the resulting process appears as random in phase. Under this condition, we consider two single-mode Gaussian processes, displacement and squeezing. We show that these two can be efficiently estimated using photon number states and photon number resolving detectors. For separate estimation of displacement and squeezing, the practical estimation errors for hundreds of probes' ensembles can saturate the Cram\'{e}r-Rao bound even for arbitrary small values of the estimated parameters and under realistic losses. The estimation of displacement with Fock states always outperforms estimation using Gaussian states with equivalent energy and optimal measurement. For estimation of squeezing, Fock states outperform Gaussian methods, but only when their energy is large enough. Finally, we show that Fock states can also be used to estimate the displacement and the squeezing simultaneously.


title: A novel sentence embedding based topic detection method for micro-blog

abstract: Topic detection is a challenging task, especially without knowing the exact number of topics. In this paper, we present a novel approach based on neural network to detect topics in the micro-blogging dataset. We use an unsupervised neural sentence embedding model to map the blogs to an embedding space. Our model is a weighted power mean word embedding model, and the weights are calculated by attention mechanism. Experimental result shows our embedding method performs better than baselines in sentence clustering. In addition, we propose an improved clustering algorithm referred as relationship-aware DBSCAN (RADBSCAN). It can discover topics from a micro-blogging dataset, and the topic number depends on dataset character itself. Moreover, in order to solve the problem of parameters sensitive, we take blog forwarding relationship as a bridge of two independent clusters. Finally, we validate our approach on a dataset from sina micro-blog. The result shows that we can detect all the topics successfully and extract keywords in each topic.


title: Directional Multivariate Ranking

abstract: User-provided multi-aspect evaluations manifest users' detailed feedback on the recommended items and enable fine-grained understanding of their preferences. Extensive studies have shown that modeling such data greatly improves the effectiveness and explainability of the recommendations. However, as ranking is essential in recommendation, there is no principled solution yet for collectively generating multiple item rankings over different aspects. In this work, we propose a directional multi-aspect ranking criterion to enable a holistic ranking of items with respect to multiple aspects. Specifically, we view multi-aspect evaluation as an integral effort from a user that forms a vector of his/her preferences over aspects. Our key insight is that the direction of the difference vector between two multi-aspect preference vectors reveals the pairwise order of comparison. Hence, it is necessary for a multi-aspect ranking criterion to preserve the observed directions from such pairwise comparisons. We further derive a complete solution for the multi-aspect ranking problem based on a probabilistic multivariate tensor factorization model. Comprehensive experimental analysis on a large TripAdvisor multi-aspect rating dataset and a Yelp review text dataset confirms the effectiveness of our solution.


title: I know why you like this movie: Interpretable Efficient Multimodal Recommender

abstract: Recently, the Efficient Manifold Density Estimator (EMDE) model has been introduced. The model exploits Local Sensitive Hashing and Count-Min Sketch algorithms, combining them with a neural network to achieve state-of-the-art results on multiple recommender datasets. However, this model ingests a compressed joint representation of all input items for each user/session, so calculating attributions for separate items via gradient-based methods seems not applicable. We prove that interpreting this model in a white-box setting is possible thanks to the properties of EMDE item retrieval method. By exploiting multimodal flexibility of this model, we obtain meaningful results showing the influence of multiple modalities: text, categorical features, and images, on movie recommendation output.


title: Genome as a functional program

abstract: We discuss a model of genome as a program with functional architecture and consider the approach to Darwinian evolution as a learning problem for functional programming. In particular we introduce a model of learning for some class of functional programs. This approach is related to information geometry -- the learning model uses some kind of distance in the information space (the reduction graph of the model), we consider statistical sum over paths in the reduction graph and discuss relation of this sum to temperature learning.


title: Uncertainty Principle based optimization; new metaheuristics framework

abstract: To more flexibly balance between exploration and exploitation, a new meta-heuristic method based on Uncertainty Principle concepts is proposed in this paper. UP is is proved effective in multiple branches of science. In the branch of quantum mechanics, canonically conjugate observables such as position and momentum cannot both be distinctly determined in any quantum state. In the same manner, the branch of Spectral filtering design implies that a nonzero function and its Fourier transform cannot both be sharply localized. After delving into such concepts on Uncertainty Principle and their variations in quantum physics, Fourier analysis, and wavelet design, the proposed framework is described in terms of algorithm and flowchart. Our proposed optimizer's idea is based on an inherent uncertainty in performing local search versus global solution search. A set of compatible metrics for each part of the framework is proposed to derive preferred form of algorithm. Evaluations and comparisons at the end of paper show competency and distinct capability of the algorithm over some of the well-known and recently proposed metaheuristics.


title: You Only Spike Once: Improving Energy-Efficient Neuromorphic Inference to ANN-Level Accuracy

abstract: In the past decade, advances in Artificial Neural Networks (ANNs) have allowed them to perform extremely well for a wide range of tasks. In fact, they have reached human parity when performing image recognition, for example. Unfortunately, the accuracy of these ANNs comes at the expense of a large number of cache and/or memory accesses and compute operations. Spiking Neural Networks (SNNs), a type of neuromorphic, or brain-inspired network, have recently gained significant interest as power-efficient alternatives to ANNs, because they are sparse, accessing very few weights, and typically only use addition operations instead of the more power-intensive multiply-and-accumulate (MAC) operations. The vast majority of neuromorphic hardware designs support rate-encoded SNNs, where the information is encoded in spike rates. Rate-encoded SNNs could be seen as inefficient as an encoding scheme because it involves the transmission of a large number of spikes. A more efficient encoding scheme, Time-To-First-Spike (TTFS) encoding, encodes information in the relative time of arrival of spikes. While TTFS-encoded SNNs are more efficient than rate-encoded SNNs, they have, up to now, performed poorly in terms of accuracy compared to previous methods. Hence, in this work, we aim to overcome the limitations of TTFS-encoded neuromorphic systems. To accomplish this, we propose: (1) a novel optimization algorithm for TTFS-encoded SNNs converted from ANNs and (2) a novel hardware accelerator for TTFS-encoded SNNs, with a scalable and low-power design. Overall, our work in TTFS encoding and training improves the accuracy of SNNs to achieve state-of-the-art results on MNIST MLPs, while reducing power consumption by 1.46$\times$ over the state-of-the-art neuromorphic hardware.


title: Using machine learning to identify nontraditional spatial dependence in occupancy data

abstract: Spatial models for occupancy data are used to estimate and map the true presence of a species, which may depend on biotic and abiotic factors as well as spatial autocorrelation. Traditionally researchers have accounted for spatial autocorrelation in occupancy data by using a correlated normally distributed site-level random effect, which might be incapable of identifying nontraditional spatial dependence such as discontinuities and abrupt transitions. Machine learning approaches have the potential to identify and model nontraditional spatial dependence, but these approaches do not account for observer errors such as false absences. By combining the flexibility of Bayesian hierarchal modeling and machine learning approaches, we present a general framework to model occupancy data that accounts for both traditional and nontraditional spatial dependence as well as false absences. We demonstrate our framework using six synthetic occupancy data sets and two real data sets. Our results demonstrate how to identify and model both traditional and nontraditional spatial dependence in occupancy data which enables a broader class of spatial occupancy models that can be used to improve predictive accuracy and model adequacy.


title: Interpolation and Learning with Scale Dependent Kernels

abstract: We study the learning properties of nonparametric ridge-less least squares. In particular, we consider the common case of estimators defined by scale dependent kernels, and focus on the role of the scale. These estimators interpolate the data and the scale can be shown to control their stability through the condition number. Our analysis shows that are different regimes depending on the interplay between the sample size, its dimensions, and the smoothness of the problem. Indeed, when the sample size is less than exponential in the data dimension, then the scale can be chosen so that the learning error decreases. As the sample size becomes larger, the overall error stop decreasing but interestingly the scale can be chosen in such a way that the variance due to noise remains bounded. Our analysis combines, probabilistic results with a number of analytic techniques from interpolation theory.


title: An Efficient Spiking Neural Network for Recognizing Gestures with a DVS Camera on the Loihi Neuromorphic Processor

abstract: Spiking Neural Networks (SNNs), the third generation NNs, have come under the spotlight for machine learning based applications due to their biological plausibility and reduced complexity compared to traditional artificial Deep Neural Networks (DNNs). These SNNs can be implemented with extreme energy efficiency on neuromorphic processors like the Intel Loihi research chip, and fed by event-based sensors, such as DVS cameras. However, DNNs with many layers can achieve relatively high accuracy on image classification and recognition tasks, as the research on learning rules for SNNs for real-world applications is still not mature. The accuracy results for SNNs are typically obtained either by converting the trained DNNs into SNNs, or by directly designing and training SNNs in the spiking domain. Towards the conversion from a DNN to an SNN, we perform a comprehensive analysis of such process, specifically designed for Intel Loihi, showing our methodology for the design of an SNN that achieves nearly the same accuracy results as its corresponding DNN. Towards the usage of the event-based sensors, we design a pre-processing method, evaluated for the DvsGesture dataset, which makes it possible to be used in the DNN domain. Hence, based on the outcome of the first analysis, we train a DNN for the pre-processed DvsGesture dataset, and convert it into the spike domain for its deployment on Intel Loihi, which enables real-time gesture recognition. The results show that our SNN achieves 89.64% classification accuracy and occupies only 37 Loihi cores. The source code for generating our experiments is available online at https://github.com/albertomarchisio/EfficientSNN.


title: Gate-tunable non-volatile photomemory effect in MoS$_2$ transistors

abstract: Non-volatile memory devices have been limited to flash architectures that are complex devices. Here, we present a unique photomemory effect in MoS$_2$ transistors. The photomemory is based on a photodoping effect - a controlled way of manipulating the density of free charges in monolayer MoS$_2$ using a combination of laser exposure and gate voltage application. The photodoping promotes changes on the conductance of MoS$_2$ leading to photomemory states with high memory on/off ratio. Such memory states are non-volatile with an expectation of retaining up to 50 % of the information for tens of years. Furthermore, we show that the photodoping is gate-tunable, enabling control of the recorded memory states. Finally, we propose a model to explain the photodoping, and we provide experimental evidence supporting such a phenomenon. In summary, our work includes the MoS$_2$ phototransistors in the non-volatile memory devices and expands the possibilities of memory application beyond conventional memory architectures.


title: Multilevel Image Thresholding Using a Fully Informed Cuckoo Search Algorithm

abstract: Though effective in the segmentation, conventional multilevel thresholding methods are computationally expensive as exhaustive search are used for optimal thresholds to optimize the objective functions. To overcome this problem, population-based metaheuristic algorithms are widely used to improve the searching capacity. In this paper, we improve a popular metaheuristic called cuckoo search using a ring topology based fully informed strategy. In this strategy, each individual in the population learns from its neighborhoods to improve the cooperation of the population and the learning efficiency. Best solution or best fitness value can be obtained from the initial random threshold values, whose quality is evaluated by the correlation function. Experimental results have been examined on various numbers of thresholds. The results demonstrate that the proposed algorithm is more accurate and efficient than other four popular methods.


title: Learning Precise Spike Timings with Eligibility Traces

abstract: Recent research in the field of spiking neural networks (SNNs) has shown that recurrent variants of SNNs, namely long short-term SNNs (LSNNs), can be trained via error gradients just as effective as LSTMs. The underlying learning method (e-prop) is based on a formalization of eligibility traces applied to leaky integrate and fire (LIF) neurons. Here, we show that the proposed approach cannot fully unfold spike timing dependent plasticity (STDP). As a consequence, this limits in principle the inherent advantage of SNNs, that is, the potential to develop codes that rely on precise relative spike timings. We show that STDP-aware synaptic gradients naturally emerge within the eligibility equations of e-prop when derived for a slightly more complex spiking neuron model, here at the example of the Izhikevich model. We also present a simple extension of the LIF model that provides similar gradients. In a simple experiment we demonstrate that the STDP-aware LIF neurons can learn precise spike timings from an e-prop-based gradient signal.


title: Classifier-independent Lower-Bounds for Adversarial Robustness

abstract: We theoretically analyse the limits of robustness to test-time adversarial and noisy examples in classification. Our work focuses on deriving bounds which uniformly apply to all classifiers (i.e all measurable functions from features to labels) for a given problem. Our contributions are two-fold. (1) We use optimal transport theory to derive variational formulae for the Bayes-optimal error a classifier can make on a given classification problem, subject to adversarial attacks. The optimal adversarial attack is then an optimal transport plan for a certain binary cost-function induced by the specific attack model, and can be computed via a simple algorithm based on maximal matching on bipartite graphs. (2) We derive explicit lower-bounds on the Bayes-optimal error in the case of the popular distance-based attacks. These bounds are universal in the sense that they depend on the geometry of the class-conditional distributions of the data, but not on a particular classifier. Our results are in sharp contrast with the existing literature, wherein adversarial vulnerability of classifiers is derived as a consequence of nonzero ordinary test error.


title: ZKPs: Does This Make The Cut? Recent Advances and Success of Zero-Knowledge Security Protocols

abstract: How someone can get health insurance without sharing his health information? How you can get a loan without disclosing your credit score? There is a method to certify certain attributes of various data, either this is health metrics or finance information, without revealing the data itself or any other kind of personal data. This method is known as zero-knowledge proofs. Zero-Knowledge techniques are mathematical methods used to verify things without sharing or revealing underlying data. Zero-Knowledge protocols have vast applications from simple identity schemes and blockchains to defense research programs and nuclear arms control


title: Evolution of a plasma column measured through modulation of a high-energy proton beam

abstract: Plasma wakefield acceleration is a method for accelerating particle beams using electromagnetic fields that are orders of magnitude larger than those found in conventional radio frequency cavities. The core component of a plasma wakefield accelerator is the plasma source, which ranges from millimeter-scale gas jets used in laser-driven experiments, to the ten-meter-long rubidium cell used in the AWAKE experiment. The density of the neutral gas is a controlled input to the experiment, but the density of the plasma after ionization depends on many factors. AWAKE uses a high-energy proton beam to drive the plasma wakefield, and the wakefield acts back on the proton bunch by modulating it at the plasma frequency. We infer the plasma density by measuring the frequency of modulation of the proton bunch, and we measure the evolution of the density versus time by varying the arrival of the proton beam with respect to the ionizing laser pulse. Using this technique, we uncover a microsecond-long period of a stable plasma density followed by a rapid decay in density. The stability of the plasma after ionization has implications for the design of much longer vapor cells that could be used to accelerate particle beams to extremely high energies.


title: Communication-Efficient Robust Federated Learning Over Heterogeneous Datasets

abstract: This work investigates fault-resilient federated learning when the data samples are non-uniformly distributed across workers, and the number of faulty workers is unknown to the central server. In the presence of adversarially faulty workers who may strategically corrupt datasets, the local messages exchanged (e.g., local gradients and/or local model parameters) can be unreliable, and thus the vanilla stochastic gradient descent (SGD) algorithm is not guaranteed to converge. Recently developed algorithms improve upon vanilla SGD by providing robustness to faulty workers at the price of slowing down convergence. To remedy this limitation, the present work introduces a fault-resilient proximal gradient (FRPG) algorithm that relies on Nesterov's acceleration technique. To reduce the communication overhead of FRPG, a local (L) FRPG algorithm is also developed to allow for intermittent server-workers parameter exchanges. For strongly convex loss functions, FRPG and LFRPG have provably faster convergence rates than a benchmark robust stochastic aggregation algorithm. Moreover, LFRPG converges faster than FRPG while using the same communication rounds. Numerical tests performed on various real datasets confirm the accelerated convergence of FRPG and LFRPG over the robust stochastic aggregation benchmark and competing alternatives.


title: Guaranteed phase synchronization of hybrid oscillators using symbolic Euler's method: The Brusselator and biped examples

abstract: The phenomenon of phase synchronization was evidenced in the 17th century by Huygens while observing two pendulums of clocks leaning against the same wall. This phenomenon has more recently appeared as a widespread phenomenon in nature, and turns out to have multiple industrial applications. The exact parameter values of the system for which the phenomenon manifests itself are however delicate to obtain in general, and it is interesting to find formal sufficient conditions to guarantee phase synchronization. Using the notion of reachability, we give here such a formal method. More precisely, our method selects a portion $S$ of the state space, and shows that any solution starting at $S$ returns to $S$ within a fixed number of periods $k$. Besides, our method shows that the components of the solution are then (almost) in phase. We explain how the method applies on the Brusselator reaction-diffusion and the biped walker examples.