title: A Reassessment of the Quasi-Simultaneous Arrival Effect in Secondary Ion Mass Spectrometry

abstract: Quasi-simultaneous arrival (QSA) effects in secondary ion mass spectrometry can create mass-indepedent inaccuracies in isotope measurements when using electron multiplier detectors (EMs). The simple Poisson statistical model of QSA does not explain most experimental data. We present pulse-height distributions (PHDs) and time-series measurements to better study QSA. Our data show that PHDs and the distribution of multiple arrivals on the EM are not consistent with the Poisson model. Multiple arrivals are over-dispersed compared to Poisson and are closer to a negative binomial distribution. Through an emission-transmission-detection model we show that the QSA correction depends on the non-Poisson emission of multiple secondary ions, the secondary ion energy distribution, and other factors, making an analytical correction impractical. A standards-based correction for QSA is the best approach, and we show the proper way to calculate standards-normalized $\delta$ values to minimize the effect of QSA.


title: A Data-Driven Approach to Violin Making

abstract: Of all the characteristics of a violin, those that concern its shape are probably the most important ones, as the violin maker has complete control over them. Contemporary violin making, however, is still based more on tradition than understanding, and a definitive scientific study of the specific relations that exist between shape and vibrational properties is yet to come and sorely missed. In this article, using standard statistical learning tools, we show that the modal frequencies of violin tops can, in fact, be predicted from geometric parameters, and that artificial intelligence can be successfully applied to traditional violin making. We also study how modal frequencies vary with the thicknesses of the plate (a process often referred to as {\em plate tuning}) and discuss the complexity of this dependency. Finally, we propose a predictive tool for plate tuning, which takes into account material and geometric parameters.


title: AI Development for the Public Interest: From Abstraction Traps to Sociotechnical Risks

abstract: Despite interest in communicating ethical problems and social contexts within the undergraduate curriculum to advance Public Interest Technology (PIT) goals, interventions at the graduate level remain largely unexplored. This may be due to the conflicting ways through which distinct Artificial Intelligence (AI) research tracks conceive of their interface with social contexts. In this paper we track the historical emergence of sociotechnical inquiry in three distinct subfields of AI research: AI Safety, Fair Machine Learning (Fair ML) and Human-in-the-Loop (HIL) Autonomy. We show that for each subfield, perceptions of PIT stem from the particular dangers faced by past integration of technical systems within a normative social order. We further interrogate how these histories dictate the response of each subfield to conceptual traps, as defined in the Science and Technology Studies literature. Finally, through a comparative analysis of these currently siloed fields, we present a roadmap for a unified approach to sociotechnical graduate pedagogy in AI.


title: Problematic Machine Behavior: A Systematic Literature Review of Algorithm Audits

abstract: While algorithm audits are growing rapidly in commonality and public importance, relatively little scholarly work has gone toward synthesizing prior work and strategizing future research in the area. This systematic literature review aims to do just that, following PRISMA guidelines in a review of over 500 English articles that yielded 62 algorithm audit studies. The studies are synthesized and organized primarily by behavior (discrimination, distortion, exploitation, and misjudgement), with codes also provided for domain (e.g. search, vision, advertising, etc.), organization (e.g. Google, Facebook, Amazon, etc.), and audit method (e.g. sock puppet, direct scrape, crowdsourcing, etc.). The review shows how previous audit studies have exposed public-facing algorithms exhibiting problematic behavior, such as search algorithms culpable of distortion and advertising algorithms culpable of discrimination. Based on the studies reviewed, it also suggests some behaviors (e.g. discrimination on the basis of intersectional identities), domains (e.g. advertising algorithms), methods (e.g. code auditing), and organizations (e.g. Twitter, TikTok, LinkedIn) that call for future audit attention. The paper concludes by offering the common ingredients of successful audits, and discussing algorithm auditing in the context of broader research working toward algorithmic justice.


title: Fairness for Unobserved Characteristics: Insights from Technological Impacts on Queer Communities

abstract: Advances in algorithmic fairness have largely omitted sexual orientation and gender identity. We explore queer concerns in privacy, censorship, language, online safety, health, and employment to study the positive and negative effects of artificial intelligence on queer communities. These issues underscore the need for new directions in fairness research that take into account a multiplicity of considerations, from privacy preservation, context sensitivity and process fairness, to an awareness of sociotechnical impact and the increasingly important role of inclusive and participatory research processes. Most current approaches for algorithmic fairness assume that the target characteristics for fairness--frequently, race and legal gender--can be observed or recorded. Sexual orientation and gender identity are prototypical instances of unobserved characteristics, which are frequently missing, unknown or fundamentally unmeasurable. This paper highlights the importance of developing new approaches for algorithmic fairness that break away from the prevailing assumption of observed characteristics.


title: Clarification on Einstein's model for heat capacity of a solid

abstract: Seemingly different interpretations or descriptions of Einstein's model for the heat capacity of a solid can be found in textbooks and the literature. The purpose of this note is to clarify the equivalence of the different descriptions, which all lead to the same Einstein expression for the heat capacity of a solid of N atoms.


title: Concentration of Non-Isotropic Random Tensors with Applications to Learning and Empirical Risk Minimization

abstract: Dimension is an inherent bottleneck to some modern learning tasks, where optimization methods suffer from the size of the data. In this paper, we study non-isotropic distributions of data and develop tools that aim at reducing these dimensional costs by a dependency on an effective dimension rather than the ambient one. Based on non-asymptotic estimates of the metric entropy of ellipsoids -- that prove to generalize to infinite dimensions -- and on a chaining argument, our uniform concentration bounds involve an effective dimension instead of the global dimension, improving over existing results. We show the importance of taking advantage of non-isotropic properties in learning problems with the following applications: i) we improve state-of-the-art results in statistical preconditioning for communication-efficient distributed optimization, ii) we introduce a non-isotropic randomized smoothing for non-smooth optimization. Both applications cover a class of functions that encompasses empirical risk minization (ERM) for linear models.


title: Modeling and Forecasting of COVID-19 Spreading by Delayed Stochastic Differential Equations

abstract: The novel coronavirus disease (COVID-19) pneumonia has posed a great threat to the world recent months by causing many deaths and enormous economic damage worldwide. The first case of COVID-19 in Morocco was reported on 2 March 2020, and the number of reported cases has increased day by day. In this work, we extend the well-known SIR compartmental model to deterministic and stochastic time-delayed models in order to predict the epidemiological trend of COVID-19 in Morocco and to assess the potential role of multiple preventive measures and strategies imposed by Moroccan authorities. The main features of the work include the well-posedness of the models and conditions under which the COVID-19 may become extinct or persist in the population. Parameter values have been estimated from real data and numerical simulations are presented for forecasting the COVID-19 spreading as well as verification of theoretical results.


title: The Allison-Faulkner construction of $E_8$

abstract: We show that the Tits index $E_8^{133}$ cannot be obtained by means of the Tits construction over a field with no odd degree extensions. We construct two cohomological invariants, in degrees 6 and 8, of the Tits construction and the more symmetric Allison-Faulkner construction of Lie algebras of type $E_8$ and show that these invariants can be used to detect the isotropy rank.


title: Throwing a Sofa Through the Window

abstract: We study several variants of the problem of moving a convex polytope $K$, with $n$ edges, in three dimensions through a flat rectangular (and sometimes more general) window. Specifically: $\bullet$ We study variants where the motion is restricted to translations only, discuss situations where such a motion can be reduced to sliding (translation in a fixed direction), and present efficient algorithms for those variants, which run in time close to $O(n^{8/3})$. $\bullet$ We consider the case of a `gate' (an unbounded window with two parallel infinite edges), and show that $K$ can pass through such a window, by any collision-free rigid motion, if and only if it can slide through it. $\bullet$ We consider arbitrary compact convex windows, and show that if $K$ can pass through such a window $W$ (by any motion) then $K$ can slide through a gate of width equal to the diameter of $W$. $\bullet$ We study the case of a circular window $W$, and show that, for the regular tetrahedron $K$ of edge length $1$, there are two thresholds $1 > \delta_1\approx 0.901388 > \delta_2\approx 0.895611$, such that (a) $K$ can slide through $W$ if the diameter $d$ of $W$ is $\ge 1$, (b) $K$ cannot slide through $W$ but can pass through it by a purely translational motion when $\delta_1\le d < 1$, (c) $K$ cannot pass through $W$ by a purely translational motion but can do it when rotations are allowed when $\delta_2 \le d < \delta_1$, and (d) $K$ cannot pass through $W$ at all when $d < \delta_2$. $\bullet$ Finally, we explore the general setup, where we want to plan a general motion (with all six degrees of freedom) for $K$ through a rectangular window $W$, and present an efficient algorithm for this problem, with running time close to $O(n^4)$.


title: Generalised correlated batched bandits via the ARC algorithm with application to dynamic pricing

abstract: The Asymptotic Randomised Control (ARC) algorithm provides a rigorous approximation to the optimal strategy for a wide class of Bayesian bandits, while retaining low computational complexity. In particular, the ARC approach provides nearly optimal choices even when the payoffs are correlated or more than the reward is observed. The algorithm is guaranteed to asymptotically optimise the expected discounted payoff, with error depending on the initial uncertainty of the bandit. In this paper, we extend the ARC framework to consider a batched bandit problem where observations arrive from a generalised linear model. In particular, we develop a large sample approximation to allow correlated and generally distributed observation. We apply this to a classic dynamic pricing problem based on a Bayesian hierarchical model and demonstrate that the ARC algorithm outperforms alternative approaches.

categories: math.OC cs.CE cs.LG econ.GN q-fin.EC stat.ML


title: Periodic repeating fast radio bursts: interaction between a magnetized neutron star and its planet in an eccentric orbit

abstract: Fast radio bursts (FRBs) are mysterious transient phenomena. The study of repeating FRBs may provide useful information about their nature due to their redetectability. The two most famous repeating sources are FRBs 121102 and 180916, with a period of 157 days and 16.35 days, respectively. Previous studies suggest that the periodicity of FRBs is likely associated with neutron star (NS) binary systems. Here we introduce a new model which proposes that periodic repeating FRBs are due to the interaction of a NS with its planet in a highly elliptical orbit. The periastron of the planet is very close to the NS so that it would be partially disrupted by tidal force every time it passes through the periastron. Fragments generated in the process could interact with the compact star through the Alfv\'{e}n wing mechanism and produce FRBs. The model can naturally explain the repeatability of FRBs with a period ranging from a few days to several hundred days, but it generally requires that the eccentricity of the planet's orbit should be large enough. Taking FRBs 121102 and 180916 as examples, it is shown that the main features of the observed repeating behaviors can be satisfactorily accounted for.


title: Continuous-time dynamics and error scaling of noisy highly-entangling quantum circuits

abstract: We investigate the continuous-time dynamics of highly-entangling intermediate-scale quantum circuits in the presence of dissipation and decoherence. By compressing the Hilbert space to a time-dependent "corner" subspace that supports faithful representations of the density matrix, we simulate a noisy quantum Fourier transform processor with up to 21 qubits. Our method is efficient to compute with a controllable accuracy the time evolution of intermediate-scale open quantum systems with moderate entropy, while taking into account microscopic dissipative processes rather than relying on digital error models. The circuit size reached in our simulations allows to extract the scaling behaviour of error propagation with the dissipation rates and the number of qubits. Moreover, we show that depending on the dissipative mechanisms at play, the choice of input state has a strong impact on the performance of the quantum algorithm.


title: Overhead MNIST: A Benchmark Satellite Dataset

abstract: The research presents an overhead view of 10 important objects and follows the general formatting requirements of the most popular machine learning task: digit recognition with MNIST. This dataset offers a public benchmark extracted from over a million human-labelled and curated examples. The work outlines the key multi-class object identification task while matching with prior work in handwriting, cancer detection, and retail datasets. A prototype deep learning approach with transfer learning and convolutional neural networks (MobileNetV2) correctly identifies the ten overhead classes with an average accuracy of 96.7%. This model exceeds the peak human performance of 93.9%. For upgrading satellite imagery and object recognition, this new dataset benefits diverse endeavors such as disaster relief, land use management, and other traditional remote sensing tasks. The work extends satellite benchmarks with new capabilities to identify efficient and compact algorithms that might work on-board small satellites, a practical task for future multi-sensor constellations. The dataset is available on Kaggle and Github.


title: Quasi-Periodic Particle Acceleration in a Solar Flare

abstract: A common feature of electromagnetic emission from solar flares is the presence of intensity pulsations that vary as a function of time. Known as quasi-periodic pulsations (QPPs), these variations in flux appear to include periodic components and characteristic time-scales. Here, we analyse a GOES M3.7 class flare exhibiting pronounced QPPs across a broad band of wavelengths using imaging and time-series analysis. We identify QPPs in the timeseries of X-ray, low frequency radio and EUV wavelengths using wavelet analysis, and localise the region of the flare site from which the QPPs originate via X-ray and EUV imaging. It was found that the pulsations within the 171 \.A, 1600 \.A, soft X-ray (SXR), and hard X-ray (HXR) light curves yielded similar periods of $\sim$122 s, $\sim$131s, $\sim$123 s, and $\sim$137 s, respectively, indicating a common progenitor. The low frequency radio emission at 2.5 MHz contained a longer period of $\sim$231 s. Imaging analysis indicates that the location of the X-ray and EUV pulsations originates from a HXR footpoint linked to a system of nearby open magnetic field lines. Our results suggest that intermittent particle acceleration, likely due to 'bursty' magnetic reconnection, is responsible for the QPPs. The precipitating electrons accelerated towards the chromosphere produce the X-ray and EUV pulsations, while the escaping electrons result in low frequency radio pulses in the form of type III radio bursts. The modulation of the reconnection process, resulting in episodic particle acceleration, explains the presence of these QPPs across the entire spatial range of flaring emission.


title: Cross section measurement of $e^+e^- \to p\bar{p}\eta$ and $e^+e^- \to p\bar{p}\omega$ at center-of-mass energies between 3.773 GeV and 4.6 GeV

abstract: Based on $14.7~\textrm{fb}^{-1}$ of $e^+e^-$ annihilation data collected with the BESIII detector at the BEPCII collider at 17 different center-of-mass energies between $3.7730~\textrm{GeV}$ and $4.5995~\textrm{GeV}$, Born cross sections of the two processes $e^+e^- \to p\bar{p}\eta$ and $e^+e^- \to p\bar{p}\omega$ are measured for the first time. No indication of resonant production through a vector state $V$ is observed, and upper limits on the Born cross sections of $e^+e^- \to V \to p\bar{p}\eta$ and $e^+e^- \to V \to p\bar{p}\omega$ at the $90\%$ confidence level are calculated for a large parameter space in resonance masses and widths. For the current world average parameters of the $\psi(4230)$ of $m=4.2187~\textrm{GeV}/c^{2}$ and $\Gamma=44~\textrm{MeV}$, we find upper limits on resonant production of the $p\bar{p}\eta$ and $p\bar{p}\omega$ final states of $7.5~\textrm{pb}$ and $10.4~\textrm{pb}$ at the $90\%$ CL, respectively.


title: Physics-aware, deep probabilistic modeling of multiscale dynamics in the Small Data regime

abstract: The data-based discovery of effective, coarse-grained (CG) models of high-dimensional dynamical systems presents a unique challenge in computational physics and particularly in the context of multiscale problems. The present paper offers a probabilistic perspective that simultaneously identifies predictive, lower-dimensional coarse-grained (CG) variables as well as their dynamics. We make use of the expressive ability of deep neural networks in order to represent the right-hand side of the CG evolution law. Furthermore, we demonstrate how domain knowledge that is very often available in the form of physical constraints (e.g. conservation laws) can be incorporated with the novel concept of virtual observables. Such constraints, apart from leading to physically realistic predictions, can significantly reduce the requisite amount of training data which enables reducing the amount of required, computationally expensive multiscale simulations (Small Data regime). The proposed state-space model is trained using probabilistic inference tools and, in contrast to several other techniques, does not require the prescription of a fine-to-coarse (restriction) projection nor time-derivatives of the state variables. The formulation adopted is capable of quantifying the predictive uncertainty as well as of reconstructing the evolution of the full, fine-scale system which allows to select the quantities of interest a posteriori. We demonstrate the efficacy of the proposed framework in a high-dimensional system of moving particles.


title: Enabling Binary Neural Network Training on the Edge

abstract: The ever-growing computational demands of increasingly complex machine learning models frequently necessitate the use of powerful cloud-based infrastructure for their training. Binary neural networks are known to be promising candidates for on-device inference due to their extreme compute and memory savings over higher-precision alternatives. However, their existing training methods require the concurrent storage of high-precision activations for all layers, generally making learning on memory-constrained devices infeasible. In this article, we demonstrate that the backward propagation operations needed for binary neural network training are strongly robust to quantization, thereby making on-the-edge learning with modern models a practical proposition. We introduce a low-cost binary neural network training strategy exhibiting sizable memory footprint reductions while inducing little to no accuracy loss vs Courbariaux & Bengio's standard approach. These decreases are primarily enabled through the retention of activations exclusively in binary format. Against the latter algorithm, our drop-in replacement sees memory requirement reductions of 3--5$\times$, while reaching similar test accuracy in comparable time, across a range of small-scale models trained to classify popular datasets. We also demonstrate from-scratch ImageNet training of binarized ResNet-18, achieving a 3.78$\times$ memory reduction. Our work is open-source, and includes the Raspberry Pi-targeted prototype we used to verify our modeled memory decreases and capture the associated energy drops. Such savings will allow for unnecessary cloud offloading to be avoided, reducing latency, increasing energy efficiency, and safeguarding end-user privacy.


title: Curse of Dimensionality for TSK Fuzzy Neural Networks: Explanation and Solutions

abstract: Takagi-Sugeno-Kang (TSK) fuzzy system with Gaussian membership functions (MFs) is one of the most widely used fuzzy systems in machine learning. However, it usually has difficulty handling high-dimensional datasets. This paper explores why TSK fuzzy systems with Gaussian MFs may fail on high-dimensional inputs. After transforming defuzzification to an equivalent form of softmax function, we find that the poor performance is due to the saturation of softmax. We show that two defuzzification operations, LogTSK and HTSK, the latter of which is first proposed in this paper, can avoid the saturation. Experimental results on datasets with various dimensionalities validated our analysis and demonstrated the effectiveness of LogTSK and HTSK.


title: High-speed plasmonic electro-optic beam deflectors

abstract: Highly integrated active nanophotonics addressing both device footprint and operation speed demands is a key enabling technology for the next generation optical networks. Plasmonic systems have proven to be a serious contender to alleviate current performance limitations in electro-optic devices. Here, we demonstrate a plasmonic optical phased array (OPA) consisting of two 10-$\mu$m-long plasmonic phase shifters, utilized to control the far-field radiation pattern of two subwavelength-separated emitters for aliasing-free beam steering with an angular range of $\pm5^\circ$ and flat frequency response up to 18 GHz (with the potential bandwidth of 1.2 THz). Extreme optical and electrostatic field confinement with great spatial overlap results in high phase modulation efficiency ($V_{\pi}L=0.24\: \text{Vcm}$). The demonstrated approach of using plasmonic lithium niobate technology for optical beam manipulation offers inertia-free, robust, ultra-compact and high-speed beam steering.


title: A psychometric modeling approach to fuzzy rating data

abstract: Modeling fuzziness and imprecision in human rating data is a crucial problem in many research areas, including applied statistics, behavioral, social, and health sciences. Because of the interplay between cognitive, affective, and contextual factors, the process of answering survey questions is a complex task, which can barely be captured by standard (crisp) rating responses. Fuzzy rating scales have progressively been adopted to overcome some of the limitations of standard rating scales, including their inability to disentangle decision uncertainty from individual responses. The aim of this article is to provide a novel fuzzy scaling procedure which uses Item Response Theory trees (IRTrees) as a psychometric model for the stage-wise latent response process. In so doing, fuzziness of rating data is modeled using the overall rater's pattern of responses instead of being computed using a single-item based approach. This offers a consistent system for interpreting fuzziness in terms of individual-based decision uncertainty. A simulation study and two empirical applications are adopted to assess the characteristics of the proposed model and provide converging results about its effectiveness in modeling fuzziness and imprecision in rating data.


title: Privacy-Preserving Near Neighbor Search via Sparse Coding with Ambiguation

abstract: In this paper, we propose a framework for privacy-preserving approximate near neighbor search via stochastic sparsifying encoding. The core of the framework relies on sparse coding with ambiguation (SCA) mechanism that introduces the notion of inherent shared secrecy based on the support intersection of sparse codes. This approach is `fairness-aware', in the sense that any point in the neighborhood has an equiprobable chance to be chosen. Our approach can be applied to raw data, latent representation of autoencoders, and aggregated local descriptors. The proposed method is tested on both synthetic i.i.d data and real large-scale image databases.


title: Generalized asymptotic formulae for estimating statistical significance in high energy physics analyses

abstract: Within the framework of likelihood-based statistical tests for high energy physics measurements, we derive generalized expressions for estimating the statistical significance of discovery using the asymptotic approximations of Wilks and Wald for a variety of measurement models. These models include arbitrary numbers of signal regions, control regions, and Gaussian constraints. We extend our expressions to use the representative or "Asimov" dataset proposed by Cowan et al. such that they are made data-free. While many of the generalized expressions are complicated and often involve solving systems of coupled, multivariate equations, we show these expressions reduce to closed-form results under simplifying assumptions. We also validate the predicted significance using toy-based data in select cases.


title: Spectroscopic evidence of mixed angular momentum symmetry in non-centrosymmetric Ru$_7$B$_3$

abstract: Superconducting crystals with lack of inversion symmetry can potentially host unconventional pairing. However, till date, no direct conclusive experimental evidence of such unconventional order parameters in non-centrosymmetric superconductors has been reported. In this paper, through direct measurement of the superconducting energy gap by scanning tunnelling spectroscopy, we report the existence of both $s$-wave (singlet) and $p$-wave (triplet) pairing symmetries in non-centrosymmetric Ru$_7$B$_3$. Our temperature and magnetic field dependent studies also indicate that the relative amplitudes of the singlet and triplet components of the order parameter change differently with temperature.


title: Eddy memory as an explanation of intra-seasonal periodic behavior in baroclinic eddies

abstract: The baroclinic annular mode (BAM) is a leading-order mode of the eddy-kinetic energy in the Southern Hemisphere exhibiting. oscillatory behavior at intra-seasonal time scales. The oscillation mechanism has been linked to transient eddy-mean flow interactions that remain poorly understood. Here we demonstrate that the finite memory effect in eddy-heat flux dependence on the large-scale flow can explain the origin of the BAM's oscillatory behavior. We represent the eddy memory effect by a delayed integral kernel that leads to a generalized Langevin equation for the planetary-scale heat equation. Using a mathematical framework for the interactions between planetary and synoptic-scale motions, we derive a reduced dynamical model of the BAM - a stochastically-forced oscillator with a period proportional to the geometric mean between the eddy-memory time scale and the diffusive eddy equilibration timescale. Our model provides a formal justification for the previously proposed phenomenological model of the BAM and could be used to explicitly diagnose the memory kernel and improve our understanding of transient eddy-mean flow interactions in the atmosphere.


title: Projections of modular forms on Eisenstein series and its application to Siegel's formula

abstract: Let $k \geq 2$ and $N$ be positive integers and let $\chi$ be a Dirichlet character modulo $N$. Let $f(z)$ be a modular form in $M_k(\Gamma_0(N),\chi)$. Then we have a unique decomposition $f(z)=E_f(z)+S_f(z)$, where $E_f(z) \in E_k(\Gamma_0(N),\chi)$ and $S_f(z) \in S_k(\Gamma_0(N),\chi)$. In this paper we give an explicit formula for $E_f(z)$ in terms of Eisenstein series. Then we apply our result to certain families of eta quotients and to representations of positive integers by $2k$-ary positive definite quadratic forms in order to give an alternative version of Siegel's formula for the weighted average number of representations of an integer by quadratic forms in the same genus. Our formula for the latter is in terms of generalized divisor functions and does not involve computation of local densities.


abstract: The classical Langevin Monte Carlo method looks for samples from a target distribution by descending the samples along the gradient of the target distribution. The method enjoys a fast convergence rate. However, the numerical cost is sometimes high because each iteration requires the computation of a gradient. One approach to eliminate the gradient computation is to employ the concept of ``ensemble." A large number of particles are evolved together so the neighboring particles provide gradient information to each other. In this article, we discuss two algorithms that integrate the ensemble feature into LMC and the associated properties. In particular, we find that if one directly surrogates the gradient using the ensemble approximation, the algorithm, termed Ensemble Langevin Monte Carlo, is unstable due to a high variance term. If the gradients are replaced by the ensemble approximations only in a constrained manner, to protect from the unstable points, the algorithm, termed Constrained Ensemble Langevin Monte Carlo, resembles the classical LMC up to an ensemble error but removes most of the gradient computation.


title: Solving the Hubble tension without spoiling Big Bang Nucleosynthesis

abstract: The Hubble parameter inferred from cosmic microwave background observations is consistently lower than that from local measurements, which could hint towards new physics. Solutions to the Hubble tension typically require a sizable amount of extra radiation $\Delta N^{}_{\rm eff}$ during recombination. However, the amount of $\Delta N^{}_{\rm eff}$ in the early Universe is unavoidably constrained by Big Bang Nucleosynthesis (BBN), which causes problems for such solutions. We present a possibility to evade this problem by introducing neutrino self-interactions via a simple Majoron-like coupling. The scalar is slightly heavier than $1~{\rm MeV}$ and allowed to be fully thermalized throughout the BBN era. The rise of neutrino temperature due to the entropy transfer via $\phi \to \nu\overline{\nu}$ reactions compensates the effect of a large $\Delta N^{}_{\rm eff}$ on BBN. Values of $\Delta N^{}_{\rm eff}$ as large as $0.7$ are in this case compatible with BBN. We perform a fit to the parameter space of the model.


title: Conditions de Kan sur les nerfs des $\omega$-cat\'egories

abstract: We show that the Street nerve of a strict $\omega$-category $C$ is a Kan complex (respectively a quasi-category) if and only if the $n$-cells of $C$ for $n\geq 1$ (respectively $n> 1$) are weakly invertible. Moreover, we equip $\mathcal{N}(C)$ with a structure of saturated complicial set where the $n$-simplices correspond to morphisms from the $n^{th}$ oriental to $C$ sending the unique non-trivial $n$-cell of the domain to a weakly invertible cell of $C$.


title: Communication-efficient k-Means for Edge-based Machine Learning

abstract: We consider the problem of computing the k-means centers for a large high-dimensional dataset in the context of edge-based machine learning, where data sources offload machine learning computation to nearby edge servers. k-Means computation is fundamental to many data analytics, and the capability of computing provably accurate k-means centers by leveraging the computation power of the edge servers, at a low communication and computation cost to the data sources, will greatly improve the performance of these analytics. We propose to let the data sources send small summaries, generated by joint dimensionality reduction (DR), cardinality reduction (CR), and quantization (QT), to support approximate k-means computation at reduced complexity and communication cost. By analyzing the complexity, the communication cost, and the approximation error of k-means algorithms based on carefully designed composition of DR/CR/QT methods, we show that: (i) it is possible to compute near-optimal k-means centers at a near-linear complexity and a constant or logarithmic communication cost, (ii) the order of applying DR and CR significantly affects the complexity and the communication cost, and (iii) combining DR/CR methods with a properly configured quantizer can further reduce the communication cost without compromising the other performance metrics. Our theoretical analysis has been validated through experiments based on real datasets.


title: A Systematic Comparison Study on Hyperparameter Optimisation of Graph Neural Networks for Molecular Property Prediction

abstract: Graph neural networks (GNNs) have been proposed for a wide range of graph-related learning tasks. In particular, in recent years, an increasing number of GNN systems were applied to predict molecular properties. However, a direct impediment is to select appropriate hyperparameters to achieve satisfactory performance with lower computational cost. Meanwhile, many molecular datasets are far smaller than many other datasets in typical deep learning applications. Most hyperparameter optimization (HPO) methods have not been explored in terms of their efficiencies on such small datasets in the molecular domain. In this paper, we conducted a theoretical analysis of common and specific features for two state-of-the-art and popular algorithms for HPO: TPE and CMA-ES, and we compared them with random search (RS), which is used as a baseline. Experimental studies are carried out on several benchmarks in MoleculeNet, from different perspectives to investigate the impact of RS, TPE, and CMA-ES on HPO of GNNs for molecular property prediction. In our experiments, we concluded that RS, TPE, and CMA-ES have their individual advantages in tackling different specific molecular problems. Finally, we believe our work will motivate further research on GNN as applied to molecular machine learning problems in chemistry and materials sciences.


title: Detecting the massive bosonic zero-mode in expanding cosmological spacetimes

abstract: We examine a quantised massive scalar field in $(1+1)$-dimensional spatially compact cosmological spacetimes in which the early time and late time expansion laws provide distinguished definitions of Fock "in" and "out" vacua, with the possible exception of the spatially constant sector, which may become effectively massless at early or late times. We show, generalising the work of Ford and Pathinayake, that when such a massive zero mode occurs, the freedom in the respective "in" and "out" states is a family with two real parameters. As an application, we consider massive untwisted and twisted scalar fields in the $(1+1)$-dimensional spatially compact Milne spacetime, where the untwisted field has a massive "in" zero mode. We demonstrate, by a combination of analytic and numerical methods, that the choice of the massive "in" zero mode state has a significant effect on the response of an inertial Unruh-DeWitt detector, especially in the excitation part of the spectrum. The detector's peculiar velocity with respect to comoving cosmological observers has the strongest effect in the "in" vacuum of the untwisted field, where it shifts the excitation and de-excitation resonances towards higher values of the detector's energy gap.


title: RL-Scope: Cross-Stack Profiling for Deep Reinforcement Learning Workloads

abstract: Deep reinforcement learning (RL) has made groundbreaking advancements in robotics, data center management and other applications. Unfortunately, system-level bottlenecks in RL workloads are poorly understood; we observe fundamental structural differences in RL workloads that make them inherently less GPU-bound than supervised learning (SL). To explain where training time is spent in RL workloads, we propose RL-Scope, a cross-stack profiler that scopes low-level CPU/GPU resource usage to high-level algorithmic operations, and provides accurate insights by correcting for profiling overhead. Using RL-Scope, we survey RL workloads across its major dimensions including ML backend, RL algorithm, and simulator. For ML backends, we explain a $2.3\times$ difference in runtime between equivalent PyTorch and TensorFlow algorithm implementations, and identify a bottleneck rooted in overly abstracted algorithm implementations. For RL algorithms and simulators, we show that on-policy algorithms are at least $3.5\times$ more simulation-bound than off-policy algorithms. Finally, we profile a scale-up workload and demonstrate that GPU utilization metrics reported by commonly used tools dramatically inflate GPU usage, whereas RL-Scope reports true GPU-bound time. RL-Scope is an open-source tool available at https://github.com/UofT-EcoSystem/rlscope .


title: Quantum radiation from a classical point source

abstract: We study the radiation of photons from a classical charged particle. We particularly consider a situation where the particle has a constant velocity in the distant past, then is accelerated, and then has a constant velocity in the distant future. Starting with no photons in the distant past we seek to characterize the quantum state of the photon field in the distant future. Working in the Coulomb gauge and in a C* algebra formulation, we give sharp conditions on whether this state is or is not in Fock space.


title: Operation is the hardest teacher: estimating DNN accuracy looking for mispredictions

abstract: Deep Neural Networks (DNN) are typically tested for accuracy relying on a set of unlabelled real world data (operational dataset), from which a subset is selected, manually labelled and used as test suite. This subset is required to be small (due to manual labelling cost) yet to faithfully represent the operational context, with the resulting test suite containing roughly the same proportion of examples causing misprediction (i.e., failing test cases) as the operational dataset. However, while testing to estimate accuracy, it is desirable to also learn as much as possible from the failing tests in the operational dataset, since they inform about possible bugs of the DNN. A smart sampling strategy may allow to intentionally include in the test suite many examples causing misprediction, thus providing this way more valuable inputs for DNN improvement while preserving the ability to get trustworthy unbiased estimates. This paper presents a test selection technique (DeepEST) that actively looks for failing test cases in the operational dataset of a DNN, with the goal of assessing the DNN expected accuracy by a small and ''informative'' test suite (namely with a high number of mispredictions) for subsequent DNN improvement. Experiments with five subjects, combining four DNN models and three datasets, are described. The results show that DeepEST provides DNN accuracy estimates with precision close to (and often better than) those of existing sampling-based DNN testing techniques, while detecting from 5 to 30 times more mispredictions, with the same test suite size.


title: Revocation Statuses on the Internet

abstract: The modern Internet is highly dependent on the trust communicated via X.509 certificates. However, in some cases certificates become untrusted and it is necessary to revoke them. In practice, the problem of secure certificate revocation has not yet been solved, and today no revocation procedure (similar to Certificate Transparency w.r.t. certificate issuance) has been adopted to provide transparent and immutable history of all revocations. Instead, the status of most certificates can only be checked with Online Certificate Status Protocol (OCSP) and/or Certificate Revocation Lists (CRLs). In this paper, we present the first longitudinal characterization of the revocation statuses delivered by CRLs and OCSP servers from the time of certificate expiration to status disappearance. The analysis captures the status history of over 1 million revoked certificates, including 773K certificates mass-revoked by Let's Encrypt. Our characterization provides a new perspective on the Internet's revocation rates, quantifies how short-lived the revocation statuses are, highlights differences in revocation practices within and between different CAs, and captures biases and oddities in the handling of revoked certificates. Combined, the findings motivate the development and adoption of a revocation transparency standard.


title: Extended space and time correlations in strongly magnetized plasmas

abstract: Molecular dynamics simulations are used to show that strong magnetization significantly increases the space and time scales associated with interparticle correlations. The physical mechanism responsible is a channeling effect whereby particles are confined to move along narrow cylinders with a width characterized by the gyroradius and a length characterized by the collision mean free path. The predominant interaction is $180^\circ$ collisions at the ends of the collision cylinders, resulting in a long-range correlation parallel to the magnetic field. Its influence is demonstrated via the dependence of the velocity autocorrelation functions and self-diffusion coefficients on the domain size and run time in simulations of the one-component plasma. A very large number of particles, and therefore domain size, must be used to resolve the long-range correlations, suggesting that the number of charged particles in the collection must increase in order to constitute a plasma. Correspondingly, this effect significantly delays the time it takes to reach a diffusive regime, in which the mean square displacement of particles increases linearly in time. This result presents challenges for connecting measurements in non-neutral and ultracold neutral plasma experiments, as well as molecular dynamics simulations, with fluid transport properties due to their finite size.


title: The existence of instanton solutions to the $\mathbb{R}$-invariant Kapustin-Witten equations on $(0,\infty)\times \mathbb{R}^2\times \mathbb{R}$

abstract: A non-negative integer labeled set of model solutions to the $\mathbb{R}$-invariant Kapustin-Witten equations on $(0,\infty)\times \mathbb{R}^2\times \mathbb{R}$ plays a central role in Edward Witten's program to interpret the colored Jones polynomial or a knot in the context of SU(2) gauge theory. This paper explains why there are $\mathbb{R}$-invariant solutions to these equations on $(0,\infty)\times \mathbb{R}^2\times \mathbb{R}$ that interpolate between two model solutions as the $(0,\infty)$ parameter increases from 0 to $\infty$ while respecting the $\mathbb{R}^2$ factor asymptotics. The only constraint on the limiting pair of model solutions is this: Letting $m_0$ and $m_\infty$ denote their non-negative integer labels, then $m_0 - m_\infty$ must be a positive, even integer. (As explained in the paper, there is a $\mathbb{C}^{(m_0 -m_\infty - 2)/2}\times \mathbb{C}^*$ moduli space of these interpolation solutions.)


title: A Real-time Defense against Website Fingerprinting Attacks

abstract: Anonymity systems like Tor are vulnerable to Website Fingerprinting (WF) attacks, where a local passive eavesdropper infers the victim's activity. Current WF attacks based on deep learning classifiers have successfully overcome numerous proposed defenses. While recent defenses leveraging adversarial examples offer promise, these adversarial examples can only be computed after the network session has concluded, thus offer users little protection in practical settings. We propose Dolos, a system that modifies user network traffic in real time to successfully evade WF attacks. Dolos injects dummy packets into traffic traces by computing input-agnostic adversarial patches that disrupt deep learning classifiers used in WF attacks. Patches are then applied to alter and protect user traffic in real time. Importantly, these patches are parameterized by a user-side secret, ensuring that attackers cannot use adversarial training to defeat Dolos. We experimentally demonstrate that Dolos provides 94+% protection against state-of-the-art WF attacks under a variety of settings. Against prior defenses, Dolos outperforms in terms of higher protection performance and lower information leakage and bandwidth overhead. Finally, we show that Dolos is robust against a variety of adaptive countermeasures to detect or disrupt the defense.


title: A strongly universal cellular automaton on the heptagrid with seven states

abstract: In this paper, we prove that there is a strongly universal cellular automaton on the heptagrid with seven states which is rotation invariant. This improves a previous paper of the author where the automaton required ten states.


title: High-level Approaches to Detect Malicious Political Activity on Twitter

abstract: Our work represents another step into the detection and prevention of these ever-more present political manipulation efforts. We, therefore, start by focusing on understanding what the state-of-the-art approaches lack -- since the problem remains, this is a fair assumption. We find concerning issues within the current literature and follow a diverging path. Notably, by placing emphasis on using data features that are less susceptible to malicious manipulation and also on looking for high-level approaches that avoid a granularity level that is biased towards easy-to-spot and low impact cases. We designed and implemented a framework -- Twitter Watch -- that performs structured Twitter data collection, applying it to the Portuguese Twittersphere. We investigate a data snapshot taken on May 2020, with around 5 million accounts and over 120 million tweets (this value has since increased to over 175 million). The analyzed time period stretches from August 2019 to May 2020, with a focus on the Portuguese elections of October 6th, 2019. However, the Covid-19 pandemic showed itself in our data, and we also delve into how it affected typical Twitter behavior. We performed three main approaches: content-oriented, metadata-oriented, and network interaction-oriented. We learn that Twitter's suspension patterns are not adequate to the type of political trolling found in the Portuguese Twittersphere -- identified by this work and by an independent peer - nor to fake news posting accounts. We also surmised that the different types of malicious accounts we independently gathered are very similar both in terms of content and interaction, through two distinct analysis, and are simultaneously very distinct from regular accounts.


title: Regularization for convolutional kernel tensors to avoid unstable gradient problem in convolutional neural networks

abstract: Convolutional neural networks are very popular nowadays. Training neural networks is not an easy task. Each convolution corresponds to a structured transformation matrix. In order to help avoid the exploding/vanishing gradient problem, it is desirable that the singular values of each transformation matrix are not large/small in the training process. We propose three new regularization terms for a convolutional kernel tensor to constrain the singular values of each transformation matrix. We show how to carry out the gradient type methods, which provides new insight about the training of convolutional neural networks.


title: Matching in Closed-Form: Equilibrium, Identification, and Comparative Statics

abstract: This paper provides closed-form formulas for a multidimensional two-sided matching problem with transferable utility and heterogeneity in tastes. When the matching surplus is quadratic, the marginal distributions of the characteristics are normal, and when the heterogeneity in tastes is of the continuous logit type, as in Choo and Siow (J Polit Econ 114:172-201, 2006), we show that the optimal matching distribution is also jointly normal and can be computed in closed form from the model primitives. Conversely, the quadratic surplus function can be identified from the optimal matching distribution, also in closed-form. The closed-form formulas make it computationally easy to solve problems with even a very large number of matches and allow for quantitative predictions about the evolution of the solution as the technology and the characteristics of the matching populations change.


title: Data-driven design of targeted gene panels for estimating immunotherapy biomarkers

abstract: We introduce a novel data-driven framework for the design of targeted gene panels for estimating exome-wide biomarkers in cancer immunotherapy. Our first goal is to develop a generative model for the profile of mutation across the exome, which allows for gene- and variant type-dependent mutation rates. Based on this model, we then propose a new procedure for estimating biomarkers such as tumour mutation burden and tumour indel nurden. Our approach allows the practitioner to select a targeted gene panel of a prespecified size, and then construct an estimator that only depends on the selected genes. Alternatively, the practitioner may apply our method to make predictions based on an existing gene panel, or to augment a gene panel to a given size. We demonstrate the excellent performance of our proposal using data from three non-small cell lung cancer studies, as well as data from six other cancer types.


title: Eliminating Sharp Minima from SGD with Truncated Heavy-tailed Noise

abstract: The empirical success of deep learning is often attributed to SGD's mysterious ability to avoid sharp local minima in the loss landscape, as sharp minima are known to lead to poor generalization. Recently, empirical evidence of heavy-tailed gradient noise was reported in many deep learning tasks, and it was shown in \c{S}im\c{s}ekli (2019a,b) that SGD can escape sharp local minima under the presence of such heavy-tailed gradient noise, providing a partial solution to the mystery. In this work, we analyze a popular variant of SGD where gradients are truncated above a fixed threshold. We show that it achieves a stronger notion of avoiding sharp minima: it can effectively eliminate sharp local minima entirely from its training trajectory. We characterize the dynamics of truncated SGD driven by heavy-tailed noises. First, we show that the truncation threshold and width of the attraction field dictate the order of the first exit time from the associated local minimum. Moreover, when the objective function satisfies appropriate structural conditions, we prove that as the learning rate decreases, the dynamics of heavy-tailed truncated SGD closely resemble those of a continuous-time Markov chain that never visits any sharp minima. Real data experiments on deep learning confirm our theoretical prediction that heavy-tailed SGD with gradient clipping finds a "flatter" local minima and achieves better generalization.


title: The scaling of social interactions across animal species

abstract: Social animals self-organise to create groups to increase protection against predators and productivity. One-to-one interactions are the building blocks of these emergent social structures and may correspond to friendship, grooming, communication, among other social relations. These structures should be robust to failures and provide efficient communication to compensate the costs of forming and maintaining the social contacts but the specific purpose of each social interaction regulates the evolution of the respective social networks. We collate 611 animal social networks and show that the number of social contacts $E$ scales with group size $N$ as a super-linear power-law $E=CN^{\beta}$ for various species of animals, including humans, other mammals and non-mammals. We identify that the power-law exponent $\beta$ varies according to the social function of the interactions as $\beta = 1+a/4$, with $a \approx {1,2,3,4}$. By fitting a multi-layer model to our data, we observe that the cost to cross social groups also varies according to social function. Relatively low costs are observed for physical contact, grooming and group membership which lead to small groups with high and constant social clustering. Offline friendship has similar patterns while online friendship shows weak social structures. The intermediate case of spatial proximity ($\beta=1.5$ and clustering dependency on network size quantitatively similar to friendship) suggests that proximity interactions may be as relevant for the spread of infectious diseases as for social processes like friendship.

categories: physics.soc-ph cond-mat.stat-mech nlin.AO physics.pop-ph stat.AP


title: Constraining alternatives to the Kerr black hole

abstract: The recent observation of the shadow of the supermassive compact object M87$^*$ by the Event Horizon Telescope (EHT) collaboration has opened up a new window to probe the strong gravity regime. In this paper, we study shadows cast by two viable alternatives to the Kerr black hole, and compare them with the shadow of M87$^{*}$. The first alternative is a horizonless compact object (HCO) having radius $r_0$ and exterior Kerr geometry. The second one is a rotating generalisation of the recently obtained one parameter ($r_0$) static metric by Simpson and Visser. This latter metric, constructed by using the Newman-Janis algorithm, is a special case of a parametrised rotating non-Kerr geometry obtained by Johannsen. Here, we constrain the parameter $r_0$ of these alternatives using the results from M87$^{*}$ observation. We find that, for the mass, inclination angle and the angular diameter of the shadow of M87$^{*}$ reported by the EHT collaboration, the maximum value of the parameter $r_0$ must be in the range $2.54r_{+}\leq r_{0,max}\leq 3.51r_{+}$ for the dimensionless spin range $0.5\leq a_{*}\leq 0.94$, with $r_{+}$ being the outer horizon radius of the Kerr black hole at the corresponding spin value. We conclude that these black hole alternatives having $r_0$ below this maximum range (i.e. $r_0\leq r_{0,max}$) is consistent with the size and deviation from circularity of the observed shadow of M87$^{*}$.


title: Deep Learning Models May Spuriously Classify Covid-19 from X-ray Images Based on Confounders

abstract: Identifying who is infected with the Covid-19 virus is critical for controlling its spread. X-ray machines are widely available worldwide and can quickly provide images that can be used for diagnosis. A number of recent studies claim it may be possible to build highly accurate models, using deep learning, to detect Covid-19 from chest X-ray images. This paper explores the robustness and generalization ability of convolutional neural network models in diagnosing Covid-19 disease from frontal-view (AP/PA), raw chest X-ray images that were lung field cropped. Some concerning observations are made about high performing models that have learned to rely on confounding features related to the data source, rather than the patient's lung pathology, when differentiating between Covid-19 positive and negative labels. Specifically, these models likely made diagnoses based on confounding factors such as patient age or image processing artifacts, rather than medically relevant information.


title: Antibacterial and antibiofilm activities of a traditional herbal formula against respiratory infection causing bacteria

abstract: The plants, Althaea officinalis, Tilia cordata and Psidium guaja have been used traditionally to treat respiratory infection symptoms. Flowers of A. officinalis and leaves of T. cordata and P. guaja have been used to treat cough, sore throat, catarrh, oral and pharyngeal mucosa irritation. Therefore, this study was designed to examine the antibacterial and antibiofilm effects of these plants individually as well as in combination, as a formula against respiratory infections causing pathogens. The tested pathogens were Extended Spectrum Beta-Lactamase producing Escherichia coli (ESBL), Beta-Lactamase producing Escherichia coli (BL), Beta-Lactamase producing Klebsiella pneumoniae (BL), Beta-Lactamase producing Pseudomonas aeruginosa (BL), Enterobacter cloacae, and Beta-Lactamase producing Staphylococcus aureus (BL). The tested plants were extracted using ethanol and then fractionated using different polarity solvents (hexane, ethyl acetate and water). Disc diffusion and microdilution (Minimum Inhibitory Concentration) methods were used to evaluate the antibacterial activity while the antibiofilm activity was tested using crystal violet assay. The results showed that A. officinalis and T. cordata extracts and fractions exhibited weak antibacterial activity having MIC values ranged from 6.25 to 12.5 mg/mL. P. guaja exhibited moderate antibacterial activity with MIC values ranged from 6.25 to 1.56 mg/mL. Combination between these plants extracts and fractions in equal proportion provides stronger antibacterial (with MIC values ranged from 6.25 to 0.8 mg/mL) and antibiofilm activities (MBIC50 was 0.2 mg/mL). Therefore, this study provides a valuable scientific knowledge to support the use of plants in combination rather than individually.


title: Geometric means of quasi-Toeplitz matrices

abstract: We study means of geometric type of quasi-Toeplitz matrices, that are semi-infinite matrices $A=(a_{i,j})_{i,j=1,2,\ldots}$ of the form $A=T(a)+E$, where $E$ represents a compact operator, and $T(a)$ is a semi-infinite Toeplitz matrix associated with the function $a$, with Fourier series $\sum_{\ell=-\infty}^{\infty} a_\ell e^{\mathfrak i \ell t}$, in the sense that $(T(a))_{i,j}=a_{j-i}$. If $a$ is \rv\ and essentially bounded, then these matrices represent bounded self-adjoint operators on $\ell^2$. We consider the case where $a$ is a continuous function, where quasi-Toeplitz matrices coincide with a classical Toeplitz algebra, and the case where $a$ is in the Wiener algebra, that is, has absolutely convergent Fourier series. We prove that if $a_1,\ldots,a_p$ are continuous and positive functions, or are in the Wiener algebra with some further conditions, then means of geometric type, such as the ALM, the NBMP and the Karcher mean of quasi-Toeplitz positive definite matrices associated with $a_1,\ldots,a_p$, are quasi-Toeplitz matrices associated with the geometric mean $(a_1\cdots a_p)^{1/p}$, which differ only by the compact correction. We show by numerical tests that these operator means can be practically approximated.


title: The VVV Open Cluster Project. Near-infrared sequences of NGC6067, NGC6259, NGC4815, Pismis18, Trumpler23, and Trumpler20

abstract: Open clusters are central elements of our understanding of the Galactic disk evolution, as an accurate determination of their parameters leads to an unbiased picture of our Galaxy's structure. Extending the analysis towards fainter magnitudes in cluster sequences has a significant impact on the derived fundamental parameters, such as extinction and total mass. We perform a homogeneous analysis of six open stellar clusters in the Galactic disk using kinematic and photometric information from the Gaia DR2 and VVV surveys: NGC6067, NGC6259, NGC4815, Pismis18, Trumpler23, and Trumpler20. We implement two coarse-to-fine characterization methods: first, we employ Gaussian mixture models to tag fields around each open cluster in the proper motion space, and then we apply an unsupervised machine learning method to make the membership assignment to each cluster. For the studied clusters, with ages in the $\sim$120-1900 Myr range, we report an increase of $\sim$45 % new member candidates on average in our sample. The data-driven selection approach of cluster members makes our catalog a valuable resource for testing stellar evolutionary models and for assessing the cluster low-to-intermediate mass populations. This study is the first of a series intended to homogeneously reveal open cluster near-infrared sequences.


title: Identifying Influential Nodes in Weighted Networks using k-shell based HookeRank Algorithm

abstract: Finding influential spreaders is a crucial task in the field of network analysis because of numerous theoretical and practical importance. These nodes play vital roles in the information diffusion process, like viral marketing. Many real-life networks are weighted networks, but relatively less work has been done for finding influential nodes in the case of weighted networks as compared to unweighted networks. In this paper, we propose a k-shell-based HookeRank (KSHR) algorithm to identify spreaders in weighted networks. First, we propose weighted k-shell centrality of the node u by using the k-shell value of $u$, the k-shell value of its neighbors ($v$), and edge weight ($w_{uv}$) between them. We model edges present in the network as springs and edge weights as spring constants. Based on the notion of Hooke's law of elasticity, we assume a force equal to the weighted k-shell value acts on each node. In this arrangement, we formulate the KSHR centrality of each node using associated weighted k-shell value and the equivalent edge weight by taking care of series and parallel combination of edges up to 3-hop neighbors from the source node. The proposed algorithm finds influential nodes that can spread the information to the maximum number of nodes in the network. We compare our proposed algorithm with popular existing algorithms and observe that it outperforms them on many real-life and synthetic networks suing Susceptible-Infected-Recovered (SIR) information diffusion model.


title: Variations of Weyl's tube formula

abstract: In 1939 Weyl showed that the volume of spherical tubes around compact submanifolds M of Euclidean space depends solely on the induced Riemannian metric on M. Can this intrinsic nature of the tube volume be preserved for tubes with more general cross sections D than the round ball? Under sufficiently strong symmetry conditions on D the answer turns out to be yes.


title: TransUNet: Transformers Make Strong Encoders for Medical Image Segmentation

abstract: Medical image segmentation is an essential prerequisite for developing healthcare systems, especially for disease diagnosis and treatment planning. On various medical image segmentation tasks, the u-shaped architecture, also known as U-Net, has become the de-facto standard and achieved tremendous success. However, due to the intrinsic locality of convolution operations, U-Net generally demonstrates limitations in explicitly modeling long-range dependency. Transformers, designed for sequence-to-sequence prediction, have emerged as alternative architectures with innate global self-attention mechanisms, but can result in limited localization abilities due to insufficient low-level details. In this paper, we propose TransUNet, which merits both Transformers and U-Net, as a strong alternative for medical image segmentation. On one hand, the Transformer encodes tokenized image patches from a convolution neural network (CNN) feature map as the input sequence for extracting global contexts. On the other hand, the decoder upsamples the encoded features which are then combined with the high-resolution CNN feature maps to enable precise localization. We argue that Transformers can serve as strong encoders for medical image segmentation tasks, with the combination of U-Net to enhance finer details by recovering localized spatial information. TransUNet achieves superior performances to various competing methods on different medical applications including multi-organ segmentation and cardiac segmentation. Code and models are available at https://github.com/Beckschen/TransUNet.


title: Learning Optimal Strategies for Temporal Tasks in Stochastic Games

abstract: Synthesis from linear temporal logic (LTL) specifications provides assured controllers for systems operating in stochastic and potentially adversarial environments. Automatic synthesis tools, however, require a model of the environment to construct controllers. In this work, we introduce a model-free reinforcement learning (RL) approach to derive controllers from given LTL specifications even when the environment is completely unknown. We model the problem as a stochastic game (SG) between the controller and the adversarial environment; we then learn optimal control strategies that maximize the probability of satisfying the LTL specifications against the worst-case environment behavior. We first construct a product game using the deterministic parity automaton (DPA) translated from the given LTL specification. By deriving distinct rewards and discount factors from the acceptance condition of the DPA, we reduce the maximization of the worst-case probability of satisfying the LTL specification into the maximization of a discounted reward objective in the product game; this enables the use of model-free RL algorithms to learn an optimal controller strategy. To deal with the common scalability problems when the number of sets defining the acceptance condition of the DPA (usually referred as colors), is large, we propose a lazy color generation method where distinct rewards and discount factors are utilized only when needed, and an approximate method where the controller eventually focuses on only one color. In several case studies, we show that our approach is scalable to a wide range of LTL formulas, significantly outperforming existing methods for learning controllers from LTL specifications in SGs.


abstract: In this paper, the $P-V$ criticality and Joule-Thomson Expansion of Hayward-AdS black holes in 4D Einstein-Gauss-Bonnet gravity are studied in the extended phase space. We find the black hole always exhibits a phase transition similar to that of the Van der Waals system for any arbitrary positive parameters $\alpha$ and $g$. We also study the dependence of $\alpha$ and $g$ on the inversion curves and plot the inversion and isenthalpic curves in the $T-P$ plane, which can determine the cooling-heating regions.


title: On inf-convolution-based robust practical stabilization under computational uncertainty

abstract: This work is concerned with practical stabilization of nonlinear systems by means of inf-convolution-based sample-and-hold control. It is a fairly general stabilization technique based on a generic non-smooth control Lyapunov function (CLF) and robust to actuator uncertainty, measurement noise, etc. The stabilization technique itself involves computation of descent directions of the CLF. It turns out that non-exact realization of this computation leads not just to a quantitative, but also qualitative obstruction in the sense that the result of the computation might fail to be a descent direction altogether and there is also no straightforward way to relate it to a descent direction. Disturbance, primarily measurement noise, complicate the described issue even more. This work suggests a modified inf-convolution-based control that is robust w. r. t. system and measurement noise, as well as computational uncertainty. The assumptions on the CLF are mild, as, e. g., any piece-wise smooth function, which often results from a numerical LF/CLF construction, satisfies them. A computational study with a three-wheel robot with dynamical steering and throttle under various tolerances w. r. t. computational uncertainty demonstrates the relevance of the addressed issue and the necessity of modifying the used stabilization technique. Similar analyses may be extended to other methods which involve optimization, such as Dini aiming or steepest descent.


title: The Singleton Fallacy: Why Current Critiques of Language Models Miss the Point

abstract: This paper discusses the current critique against neural network-based Natural Language Understanding (NLU) solutions known as language models. We argue that much of the current debate rests on an argumentation error that we will refer to as the singleton fallacy: the assumption that language, meaning, and understanding are single and uniform phenomena that are unobtainable by (current) language models. By contrast, we will argue that there are many different types of language use, meaning and understanding, and that (current) language models are build with the explicit purpose of acquiring and representing one type of structural understanding of language. We will argue that such structural understanding may cover several different modalities, and as such can handle several different types of meaning. Our position is that we currently see no theoretical reason why such structural knowledge would be insufficient to count as "real" understanding.


title: A discontinuous Galerkin coupling for nonlinear elasto-acoustics

abstract: Inspired by medical applications of high-intensity ultrasound, we study a coupled elasto-acoustic problem with general acoustic nonlinearities of quadratic type as they arise, for example, in the Westervelt and Kuznetsov equations of nonlinear acoustics. We derive convergence rates in the energy norm of a finite element approximation to the coupled problem in a setting that involves different acoustic materials and hence jumps within material parameters. A subdomain-based discontinuous Galerkin approach realizes the acoustic-acoustic coupling of different materials. At the same time, elasto-acoustic interface conditions are used for a mutual exchange of forces between the different models. Numerical simulations back up the theoretical findings in a three-dimensional setting with academic test cases as well as in an application-oriented simulation, where the modeling of human tissue as an elastic versus an acoustic medium is compared.


title: Evolving Neuronal Plasticity Rules using Cartesian Genetic Programming

abstract: We formulate the search for phenomenological models of synaptic plasticity as an optimization problem. We employ Cartesian genetic programming to evolve biologically plausible human-interpretable plasticity rules that allow a given network to successfully solve tasks from specific task families. While our evolving-to-learn approach can be applied to various learning paradigms, here we illustrate its power by evolving plasticity rules that allow a network to efficiently determine the first principal component of its input distribution. We demonstrate that the evolved rules perform competitively with known hand-designed solutions. We explore how the statistical properties of the datasets used during the evolutionary search influences the form of the plasticity rules and discover new rules which are adapted to the structure of the corresponding datasets.


title: Long-time simulations with high fidelity on quantum hardware

abstract: Moderate-size quantum computers are now publicly accessible over the cloud, opening the exciting possibility of performing dynamical simulations of quantum systems. However, while rapidly improving, these devices have short coherence times, limiting the depth of algorithms that may be successfully implemented. Here we demonstrate that, despite these limitations, it is possible to implement long-time, high fidelity simulations on current hardware. Specifically, we simulate an XY-model spin chain on the Rigetti and IBM quantum computers, maintaining a fidelity of at least 0.9 for over 600 time steps. This is a factor of 150 longer than is possible using the iterated Trotter method. Our simulations are performed using a new algorithm that we call the fixed state Variational Fast Forwarding (fsVFF) algorithm. This algorithm decreases the circuit depth and width required for a quantum simulation by finding an approximate diagonalization of a short time evolution unitary. Crucially, fsVFF only requires finding a diagonalization on the subspace spanned by the initial state, rather than on the total Hilbert space as with previous methods, substantially reducing the required resources. We further demonstrate the viability of fsVFF through large numerical implementations of the algorithm, as well as an analysis of its noise resilience and the scaling of simulation errors.


title: Interface Optimization via Fullerene Blends Enables Open-Circuit Voltages of 1.35 V in CH3NH3Pb(I0.8Br0.2)3 Solar Cells

abstract: Non-radiative recombination processes are the biggest hindrance to approaching the radiative limit of the open-circuit voltage for wide-band gap perovskite solar cells. In addition, to high bulk quality, good interfaces and good energy level alignment for majority carriers at charge transport layer-absorber interfaces are crucial to minimize non-radiative recombination pathways. By tuning the lowest-unoccupied molecular-orbital of electron transport layers via the use of different fullerenes and fullerene blends, we demonstrate open-circuit voltages exceeding 1.35 V in CH3NH3Pb(I0.8Br0.2)3 device. Further optimization of mobility in binary fullerenes electron transport layer can boost the power conversion efficiency as high as 18.6%. We note in particular that the Voc-fill factor product is > 1.085 V, which is the highest value reported for halide perovskites with this band gap.


title: Propagator-cancelling scalar fields

abstract: We examine a large class of scalar quantum field theories where vertices are able to cancel adjacent propagators. These theories are obtained as diffeomorphisms of the field variable of a free field. Their connected correlations functions can be computed efficiently with an algebraic procedure dubbed connected perspective in earlier work. Specifically, (1) We compare the Feynman rules in momentum-space to their position-space counterparts, they agree. This is a a-posteriori justification for the Feynman rules of the connected perspective. (2) We extend the connected perspective to also incorporate counterterm vertices. (3) We examine a specific choice of diffeomorphism that assumes the vertices at different valence proportional to each other. We find that these relations lead to various simplifications. (4) We perturbatively compute the connected 2-point function to all orders for an arbitrary diffeomorphism of a massless field. We thereby give a systematic perturbative derivation of the exponential superpropagator known from the literature. (5) We compute a number of one- and two-loop counterterms. We find that for the specific diffeomorphism, the one-loop counterterms arise from the bare vertices by a non-linear redefinition of the momentum. (6) We show that every diffeomorphism fulfils a set of infinitely many Slavnov-Taylor-like identities which express diffeomorphism-invariance of the S-matrix at loop-level. Finally, we comment on surprising similarities between the structure of propagator-cancelling scalar theories and gauge theories .


title: An isolated logarithmic layer

abstract: To isolate the multiscale dynamics of the logarithmic layer of wall-bounded turbulent flows, a novel numerical experiment is conducted in which the mean tangential Reynolds stress is eliminated except in a subregion corresponding to the typical location of the logarithmic layer in channels. Various statistical comparisons against channel flow databases show that, despite some differences, this modified flow system reproduces the kinematics and dynamics of natural logarithmic layers well, even in the absence of a buffer and an outer zone. This supports the previous idea that the logarithmic layer has its own autonomous dynamics. In particular, the results suggest that the mean velocity gradient and the wall-parallel scale of the largest eddies are determined by the height of the tallest momentum-transferring motions, implying that the very large-scale motions of wall-bounded flows are not an intrinsic part of logarithmic-layer dynamics. Using a similar set-up, an isolated layer with a constant total stress, representing the logarithmic layer without a driving force, is simulated and examined.


title: Meta-PU: An Arbitrary-Scale Upsampling Network for Point Cloud

abstract: Point cloud upsampling is vital for the quality of the mesh in three-dimensional reconstruction. Recent research on point cloud upsampling has achieved great success due to the development of deep learning. However, the existing methods regard point cloud upsampling of different scale factors as independent tasks. Thus, the methods need to train a specific model for each scale factor, which is both inefficient and impractical for storage and computation in real applications. To address this limitation, in this work, we propose a novel method called ``Meta-PU" to firstly support point cloud upsampling of arbitrary scale factors with a single model. In the Meta-PU method, besides the backbone network consisting of residual graph convolution (RGC) blocks, a meta-subnetwork is learned to adjust the weights of the RGC blocks dynamically, and a farthest sampling block is adopted to sample different numbers of points. Together, these two blocks enable our Meta-PU to continuously upsample the point cloud with arbitrary scale factors by using only a single model. In addition, the experiments reveal that training on multiple scales simultaneously is beneficial to each other. Thus, Meta-PU even outperforms the existing methods trained for a specific scale factor only.


title: On the computational solution of vector-density based continuum dislocation dynamics models: a comparison of two plastic distortion and stress update algorithms

abstract: Continuum dislocation dynamics models of mesoscale plasticity consist of dislocation transport-reaction equations coupled with crystal mechanics equations. The coupling between these two sets of equations is such that dislocation transport gives rise to the evolution of plastic distortion (strain), while the evolution of the latter fixes the stress from which the dislocation velocity field is found via a mobility law. Earlier solutions of these equations employed a staggered solution scheme for the two sets of equations in which the plastic distortion was updated via time integration of its rate, as found from Orowan's law. In this work, we show that such a direct time integration scheme can suffer from accumulation of numerical errors. We introduce an alternative scheme based on field dislocation mechanics that ensures consistency between the plastic distortion and the dislocation content in the crystal. The new scheme is based on calculating the compatible and incompatible parts of the plastic distortion separately, and the incompatible part is calculated from the current dislocation density field. Stress field and dislocation transport calculations were implemented within a finite element based discretization of the governing equations, with the crystal mechanics part solved by a conventional Galerkin method and the dislocation transport equations by the least squares method. A simple test is first performed to show the accuracy of the two schemes for updating the plastic distortion, which shows that the solution method based on field dislocation mechanics is more accurate. This method then was used to simulate an austenitic steel crystal under uniaxial loading and multiple slip conditions.


title: Genus two curves with full $\sqrt{3}$-level structure and Tate-Shafarevich groups

abstract: We give an explicit rational parameterization of the surface $\mathcal{H}_3$ over $\mathbb{Q}$ whose points parameterize genus 2 curves~$C$ with full $\sqrt{3}$-level structure on their Jacobian $J$. We use this model to construct abelian surfaces $A$ with the property that $\mathrm{Sha}(A_d)[3] \neq 0$ for a positive proportion of quadratic twists $A_d$. In fact, for $100\%$ of $x \in \mathcal{H}_3(\mathbb{Q})$, this holds for the surface $A = \mathrm{Jac}(C_x)/\langle P \rangle$, where $P$ is the marked point of order $3$. Our methods also give an explicit bound on the average rank of $J_d(\mathbb{Q})$, as well as statistical results on the size of $\#C_d(\mathbb{Q})$, as $d$ varies through squarefree integers.


title: Derivation of the Backpropagation Algorithm Based on Derivative Amplification Coefficients

abstract: The backpropagation algorithm for neural networks is widely felt hard to understand, despite the existence of some well-written explanations and/or derivations. This paper provides a new derivation of this algorithm based on the concept of derivative amplification coefficients. First proposed by this author for fully connected cascade networks, this concept is found to well carry over to conventional feedforward neural networks and it paves the way for the use of mathematical induction in establishing a key result that enables backpropagation for derivative amplification coefficients. Then we establish the connection between derivative amplification coefficients and error coefficients (commonly referred to as errors in the literature), and show that the same backpropagation procedure can be used for error coefficients. The entire derivation is thus rigorous, simple, and elegant.


title: Monte Carlo Rollout Policy for Recommendation Systems with Dynamic User Behavior

abstract: We model online recommendation systems using the hidden Markov multi-state restless multi-armed bandit problem. To solve this we present Monte Carlo rollout policy. We illustrate numerically that Monte Carlo rollout policy performs better than myopic policy for arbitrary transition dynamics with no specific structure. But, when some structure is imposed on the transition dynamics, myopic policy performs better than Monte Carlo rollout policy.


title: Distributed Storage Allocations for Optimal Service Rates

abstract: Redundant storage maintains the performance of distributed systems under various forms of uncertainty. This paper considers the uncertainty in node access and download service. We consider two access models under two download service models. In one access model, a user can access each node with a fixed probability, and in the other, a user can access a random fixed-size subset of nodes. We consider two download service models. In the first (small file) model, the randomness associated with the file size is negligible. In the second (large file) model, randomness is associated with both the file size and the system's operations. We focus on the service rate of the system. For a fixed redundancy level, the systems' service rate is determined by the allocation of coded chunks over the storage nodes. We consider quasi-uniform allocations, where coded content is uniformly spread among a subset of nodes. The question we address asks what the size of this subset (spreading) should be. We show that in the small file model, concentrating the coded content to a minimum-size subset is universally optimal. For the large file model, the optimal spreading depends on the system parameters. These conclusions hold for both access models.


title: Discovering a set of policies for the worst case reward

abstract: We study the problem of how to construct a set of policies that can be composed together to solve a collection of reinforcement learning tasks. Each task is a different reward function defined as a linear combination of known features. We consider a specific class of policy compositions which we call set improving policies (SIPs): given a set of policies and a set of tasks, a SIP is any composition of the former whose performance is at least as good as that of its constituents across all the tasks. We focus on the most conservative instantiation of SIPs, set-max policies (SMPs), so our analysis extends to any SIP. This includes known policy-composition operators like generalized policy improvement. Our main contribution is a policy iteration algorithm that builds a set of policies in order to maximize the worst-case performance of the resulting SMP on the set of tasks. The algorithm works by successively adding new policies to the set. We show that the worst-case performance of the resulting SMP strictly improves at each iteration, and the algorithm only stops when there does not exist a policy that leads to improved performance. We empirically evaluate our algorithm on a grid world and also on a set of domains from the DeepMind control suite. We confirm our theoretical results regarding the monotonically improving performance of our algorithm. Interestingly, we also show empirically that the sets of policies computed by the algorithm are diverse, leading to different trajectories in the grid world and very distinct locomotion skills in the control suite.


title: Manipulation Planning Among Movable Obstacles Using Physics-Based Adaptive Motion Primitives

abstract: Robot manipulation in cluttered scenes often requires contact-rich interactions with objects. It can be more economical to interact via non-prehensile actions, for example, push through other objects to get to the desired grasp pose, instead of deliberate prehensile rearrangement of the scene. For each object in a scene, depending on its properties, the robot may or may not be allowed to make contact with, tilt, or topple it. To ensure that these constraints are satisfied during non-prehensile interactions, a planner can query a physics-based simulator to evaluate the complex multi-body interactions caused by robot actions. Unfortunately, it is infeasible to query the simulator for thousands of actions that need to be evaluated in a typical planning problem as each simulation is time-consuming. In this work, we show that (i) manipulation tasks (specifically pick-and-place style tasks from a tabletop or a refrigerator) can often be solved by restricting robot-object interactions to adaptive motion primitives in a plan, (ii) these actions can be incorporated as subgoals within a multi-heuristic search framework, and (iii) limiting interactions to these actions can help reduce the time spent querying the simulator during planning by up to 40x in comparison to baseline algorithms. Our algorithm is evaluated in simulation and in the real-world on a PR2 robot using PyBullet as our physics-based simulator. Supplementary video: \url{https://youtu.be/ABQc7JbeJPM}.


title: Prophet Matching Meets Probing with Commitment

abstract: We consider the online stochastic matching problem for bipartite graphs where edges adjacent to an online node must be probed to determine if they exist, based on known edge probabilities. Our algorithms respect commitment, in that if a probed edge exists, it must be used in the matching. We study this matching problem subject to a downward-closed constraint on each online node's allowable edge probes. Our setting generalizes the commonly studied patience (or time-out) constraint which limits the number of probes that can be made to an online node's adjacent edges. We introduce a new LP that we prove is a relaxation of an optimal offline probing algorithm (the adaptive benchmark) and which overcomes the limitations of previous LP relaxations. (1) A tight $\frac{1}{2}$ ratio when the stochastic graph is generated from a known stochastic type graph where the $t^{th}$ online node is drawn independently from a known distribution $\scr{D}_{\pi(t)}$ and $\pi$ is chosen adversarially. We refer to this setting as the known i.d. stochastic matching problem with adversarial arrivals. (2) A $1-1/e$ ratio when the stochastic graph is generated from a known stochastic type graph where the $t^{th}$ online node is drawn independently from a known distribution $\scr{D}_{\pi(t)}$ and $\pi$ is a random permutation. We refer to this setting as the known i.d. stochastic matching problem with random order arrivals. Our results improve upon the previous best competitive ratio of $0.46$ in the known i.i.d. setting against the standard adaptive benchmark. Moreover, we are the first to study the prophet secretary matching problem in the context of probing, where we match the best known classical result.


title: We might walk together, but I run faster: Network Fairness and Scalability in Blockchains

abstract: Blockchain-based Distributed Ledgers (DLs) promise to transform the existing financial system by making it truly democratic. In the past decade, blockchain technology has seen many novel applications ranging from the banking industry to real estate. However, in order to be adopted universally, blockchain systems must be scalable to support a high volume of transactions. As we increase the throughput of the DL system, the underlying peer-to-peer network might face multiple levels of challenges to keep up with the requirements. Due to varying network capacities, the slower nodes would be at a relative disadvantage compared to the faster ones, which could negatively impact their revenue. In order to quantify their relative advantage or disadvantage, we introduce two measures of network fairness, $p_f$, the probability of frontrunning and $\alpha_f$, the publishing fairness. We show that as we scale the blockchain, both these measures deteriorate, implying that the slower nodes face a disadvantage at higher throughputs. It results in the faster nodes getting more than their fair share of the reward while the slower nodes (slow in terms of network quality) get less. Thus, fairness and scalability in blockchain systems do not go hand in hand. In a setting with rational miners, lack of fairness causes miners to deviate from the "longest chain rule" or undercut, which would reduce the blockchain's resilience against byzantine adversaries. Hence, fairness is not only a desirable property for a blockchain system but also essential for the security of the blockchain and any scalable blockchain protocol proposed must ensure fairness.


title: An Unbiased Estimator of the Full-sky CMB Angular Power Spectrum at Large Scales using Neural Networks

abstract: Accurate estimation of the Cosmic Microwave Background (CMB) angular power spectrum is enticing due to the prospect for precision cosmology it presents. Galactic foreground emissions, however, contaminate the CMB signal and need to be subtracted reliably in order to lessen systematic errors on the CMB temperature estimates. Typically bright foregrounds in a region lead to further uncertainty in temperature estimates in the area even after some foreground removal technique is performed and hence determining the underlying full-sky angular power spectrum poses a challenge. We explore the feasibility of utilizing artificial neural networks to predict the angular power spectrum of the full sky CMB temperature maps from the observed angular power spectrum of the partial sky in which CMB temperatures in some bright foreground regions are masked. We present our analysis at large angular scales with two different masks. We produce unbiased predictions of the full-sky angular power spectrum and recover the underlying theoretical power spectrum using neural networks. Our predictions are also uncorrelated to a large extent. We further show that the multipole-space covariances of the predictions of full-sky spectra made by the ANNs are much smaller than those of the estimates obtained using the pseudo-$C_\ell$ method.


title: Magnetic field amplification by the Weibel instability at planetary and astrophysical high-Mach-number shocks

abstract: Collisionless shocks are ubiquitous in the Universe and often associated with strong magnetic field. Here we use large-scale particle-in-cell simulations of non-relativistic perpendicular shocks in the high-Mach-number regime to study the amplification of magnetic field within shocks. The magnetic field is amplified at the shock transition due to the ion-ion two-stream Weibel instability. The normalized magnetic-field strength strongly correlates with the Alfv\'enic Mach number. Mock spacecraft measurements derived from PIC simulations are fully consistent with those taken in-situ at Saturn's bow shock by the Cassini spacecraft.

categories: astro-ph.HE astro-ph.EP physics.comp-ph physics.plasm-ph physics.space-ph


title: Few-nucleon matrix elements in pionless effective field theory in a finite volume

abstract: Pionless effective field theory in a finite volume (FVEFT$_{\pi\!/}$) is investigated as a framework for the analysis of multi-nucleon spectra and matrix elements calculated in lattice QCD (LQCD). By combining FVEFT$_{\pi\!/}$ with the stochastic variational method, the spectra of nuclei with atomic number $A\in\{2,3\}$ are matched to existing finite-volume LQCD calculations at heavier-than-physical quark masses corresponding to a pion mass $m_\pi=806$ MeV, thereby enabling infinite-volume binding energies to be determined using infinite-volume variational calculations. Based on the variational wavefunctions that are constructed in this approach, the finite-volume matrix elements of various local operators are computed in FVEFT$_{\pi\!/}$ and matched to LQCD calculations of the corresponding QCD operators in the same volume, thereby determining the relevant one and two-body EFT counterterms and enabling an extrapolation of the LQCD matrix elements to infinite volume. As examples, the scalar, tensor, and axial matrix elements are considered, as well as the magnetic moments and the isovector longitudinal momentum fraction.


title: Convergence rate to the Tracy-Widom laws for the largest eigenvalue of Wigner matrices

abstract: We show that the fluctuations of the largest eigenvalue of a real symmetric or complex Hermitian Wigner matrix of size $N$ converge to the Tracy--Widom laws at a rate $O(N^{-1/3+\omega})$, as $N$ tends to infinity. For Wigner matrices this improves the previous rate $O(N^{-2/9+\omega})$ obtained by Bourgade [5] for generalized Wigner matrices. Our result follows from a Green function comparison theorem, originally introduced by Erd\H{o}s, Yau and Yin [19] to prove edge universality, on a finer spectral parameter scale with improved error estimates. The proof relies on the continuous Green function flow induced by a matrix-valued Ornstein--Uhlenbeck process. Precise estimates on leading contributions from the third and fourth order moments of the matrix entries are obtained using iterative cumulant expansions and recursive comparisons for correlation functions, along with uniform convergence estimates for correlation kernels of the Gaussian invariant ensembles.


title: Soccer Event Detection Using Deep Learning

abstract: Event detection is an important step in extracting knowledge from the video. In this paper, we propose a deep learning approach to detect events in a soccer match emphasizing the distinction between images of red and yellow cards and the correct detection of the images of selected events from other images. This method includes the following three modules: i) the variational autoencoder (VAE) module to differentiate between soccer images and others image, ii) the image classification module to classify the images of events, and iii) the fine-grain image classification module to classify the images of red and yellow cards. Additionally, a new dataset was introduced for soccer images classification that is employed to train the networks mentioned in the paper. In the final section, 10 UEFA Champions League matches are used to evaluate the networks' performance and precision in detecting the events. The experiments demonstrate that the proposed method achieves better performance than state-of-the-art methods.


title: Quantum Shape Effects

abstract: Can we change the shape of a domain without altering its sizes? By introducing a size-invariant shape transformation, we propose the existence and explore the consequences of a new type of physical effect appearing at the quantum scales, which we call here as "quantum shape effect". By completely separating the shape effects from size effects, we show that shape alone becomes a control parameter on the thermodynamic state functions of confined systems at nanoscale. We develop an overlapped quantum boundary layer method to analytically predict the quantum shape effects, reducing a thermodynamic problem into a geometric one and revealing the profound link between the geometry and thermodynamics at the quantum scales. Furthermore, we introduce the isoformal, shape preserving, process which opens up the possibility of a new generation of thermodynamic cycles operating at nanoscale with unique features. As a whole, this thesis constitutes the proposition and a comprehensive investigation of the theory, construction of the methodology and exploration of the applications of quantum shape effects in thermodynamics.