title: Wearable-based Classification of Running Styles with Deep Learning

abstract: Automatic classification of running styles can enable runners to obtain feedback with the aim of optimizing performance in terms of minimizing energy expenditure, fatigue, and risk of injury. To develop a system capable of classifying running styles using wearables, we collect a dataset from 10 healthy runners performing 8 different pre-defined running styles. Five wearable devices are used to record accelerometer data from different parts of the lower body, namely left and right foot, left and right medial tibia, and lower back. Using the collected dataset, we develop a deep learning solution which consists of a Convolutional Neural Network and Long Short-Term Memory network to first automatically extract effective features, followed by learning temporal relationships. Score-level fusion is used to aggregate the classification results from the different sensors. Experiments show that the proposed model is capable of automatically classifying different running styles in a subject-dependant manner, outperforming several classical machine learning methods (following manual feature extraction) and a convolutional neural network baseline. Moreover, our study finds that subject-independent classification of running styles is considerably more challenging than a subject-dependant scheme, indicating a high level of personalization in such running styles. Finally, we demonstrate that by fine-tuning the model with as few as 5% subject-specific samples, considerable performance boost is obtained.


title: Boundary and Taxonomy of Integrator Reach Sets

abstract: Over-approximating the forward reach sets of controlled dynamical systems subject to set-valued uncertainties is a common practice in systems-control engineering for the purpose of performance verification. However, specific algebraic and topological results for the geometry of such sets are rather uncommon even for simple linear systems such as the integrators. This work explores the geometry of the forward reach set of the integrator dynamics subject to box-valued uncertainties in its control inputs. Our contribution includes derivation of a closed-form formula for the support functions of these sets. This result, then enables us to deduce the parametric as well as the implicit equations describing the exact boundaries of these reach sets. Specifically, the implicit equations for the bounding hypersurfaces are shown to be given by vanishing of certain Hankel determinants. Finally, it is established that these sets are semialgebraic as well as translated zonoids. Such results should be useful to benchmark existing reach set over-approximation algorithms, and to help design new algorithms for the same.


title: Streaming data preprocessing via online tensor recovery for large environmental sensor networks

abstract: Measuring the built and natural environment at a fine-grained scale is now possible with low-cost urban environmental sensor networks. However, fine-grained city-scale data analysis is complicated by tedious data cleaning including removing outliers and imputing missing data. While many methods exist to automatically correct anomalies and impute missing entries, challenges still exist on data with large spatial-temporal scales and shifting patterns. To address these challenges, we propose an online robust tensor recovery (OLRTR) method to preprocess streaming high-dimensional urban environmental datasets. A small-sized dictionary that captures the underlying patterns of the data is computed and constantly updated with new data. OLRTR enables online recovery for large-scale sensor networks that provide continuous data streams, with a lower computational memory usage compared to offline batch counterparts. In addition, we formulate the objective function so that OLRTR can detect structured outliers, such as faulty readings over a long period of time. We validate OLRTR on a synthetically degraded National Oceanic and Atmospheric Administration temperature dataset, with a recovery error of 0.05, and apply it to the Array of Things city-scale sensor network in Chicago, IL, showing superior results compared with several established online and batch-based low rank decomposition methods.


title: A Lax Operator for $d=2$ $N=2$ Supergravity

abstract: General relativity and supergravity become integrable systems after dimensional reduction to two spacetime dimensions. This means the equations of motion can be encoded in the flatness condition for a Lax operator. Nicolai and Warner found Lax operators for dimensionally reduced supergravity. They gave explicit formulas primarily for the case with $N=16$ supersymmetry in two dimensions (which corresponds to $N=8$ supergravity in four dimensions). In this note, we derive analogous results for the case with $N=2$ supersymmetry in two dimensions (which corresponds to $N=1$ supergravity in four dimensions). This is the simplest example of the general fact that supergravity becomes an integrable system after dimensional reduction to two dimensions.


title: Physics for the masses: teaching Einsteinian gravity in primary school

abstract: Why is modern physics still today, more than 100 years after its birth, the privilege of an elite of scientists and unknown for the great majority of citizens? The answer is simple, since modern physics is in general not present in the standard physics curricula, except for some general outlines, in the final years of some secondary schools. But, is it possibile to teach modern physics in primary school? Is it effective? And, also, is it engaging for students? These are the simple questions which stimulated our research, based on an intervention performed in the last year of Italian primary school, focused on teaching gravity, according to the Einsteinian approach in the spirit of the Einstein First project, an international collaboration which aims to teach school age children the concepts of modern physics. The outcomes of our research study are in agreement with previous findings obtained in Australian schools, thus they contribute to validate them and show that there is no cultural effect, since the approach works in different education systems. Finally, our results are relevant also in terms of retention and prove that the students involved really understand the key ideas.


title: Compton-Thick AGN in the NuSTAR era VI: The observed Compton-thick fraction in the Local Universe

abstract: We present the analysis of simultaneous NuSTAR and XMM-Newton data of 8 Compton-thick (CT-) active galactic nuclei (AGN) candidates selected in the Swift-Burst Alert Telescope (BAT) 100 month survey. This work is part of an ongoing effort to find and characterize all CT-AGN in the local ($z\leq$0.05) Universe. We used two physically motivated models, MYTorus and borus02, to characterize the sources in the sample, finding 5 of them to be confirmed CT-AGN. These results represent an increase of $\sim19$% over the previous NuSTAR-confirmed, BAT-selected CT-AGN at $z\leq0.05$, bringing the total number to 32. This corresponds to an observed fraction of $\sim 8$\% of all AGN within this volume-limited sample, although it increases to $20\pm5$% when limiting the sample to $z\leq0.01$. Out of a sample of 48 CT-AGN candidates, selected using BAT and soft (0.3$-$10 keV) X-ray data, only 24 are confirmed as CT-AGN with the addition of the NuSTAR data. This highlights the importance of NuSTAR when classifying local obscured AGN. We also note that most of the sources in our full sample of 48 Seyfert 2 galaxies with NuSTAR data have significantly different line-of-sight and average torus column densities, favouring a patchy torus scenario.


title: Anisotropic finite-time singularity in the three-dimensional axisymmetric Euler equation with a swirl

abstract: The search of finite-time singularity solutions of Euler equations is considered for the case of an incompressible and inviscid fluid. Under the assumption that a finite-time blow-up solution may be spatially anisotropic as time goes by such that the flow contracts more rapidly into one direction than into the other, it can be shown that the dynamics of an axially symmetric flow with swirl may be approximated to a simpler hyperbolic system. By using the method of characteristics, it can be shown that generically the velocity flow exhibits multi-valued solutions appearing on a rim at a finite distance from the axis of rotation which displays a singular behavior in the radial derivatives of velocities. Moreover, the general solution shows a genuine blow-up which is also discussed. This singularity is generic for a vast number of smooth finite-energy initial conditions and is characterized by a local singular behavior of velocity gradients and accelerations.


title: Latin writing styles analysis with Machine Learning: New approach to old questions

abstract: In the Middle Ages texts were learned by heart and spread using oral means of communication from generation to generation. Adaptation of the art of prose and poems allowed keeping particular descriptions and compositions characteristic for many literary genres. Taking into account such a specific construction of literature composed in Latin, we can search for and indicate the probability patterns of familiar sources of specific narrative texts. Consideration of Natural Language Processing tools allowed us the transformation of textual objects into numerical ones and then application of machine learning algorithms to extract information from the dataset. We carried out the task consisting of the practical use of those concepts and observation to create a tool for analyzing narrative texts basing on open-source databases. The tool focused on creating specific search tools resources which could enable us detailed searching throughout the text. The main objectives of the study take into account finding similarities between sentences and between documents. Next, we applied machine learning algorithms on chosen texts to calculate specific features of them (for instance authorship or centuries) and to recognize sources of anonymous texts with a certain percentage.


title: Point-of-Interest Type Prediction using Text and Images

abstract: Point-of-interest (POI) type prediction is the task of inferring the type of a place from where a social media post was shared. Inferring a POI's type is useful for studies in computational social science including sociolinguistics, geosemiotics, and cultural geography, and has applications in geosocial networking technologies such as recommendation and visualization systems. Prior efforts in POI type prediction focus solely on text, without taking visual information into account. However in reality, the variety of modalities, as well as their semiotic relationships with one another, shape communication and interactions in social media. This paper presents a study on POI type prediction using multimodal information from text and images available at posting time. For that purpose, we enrich a currently available data set for POI type prediction with the images that accompany the text messages. Our proposed method extracts relevant information from each modality to effectively capture interactions between text and image achieving a macro F1 of 47.21 across eight categories significantly outperforming the state-of-the-art method for POI type prediction based on text-only methods. Finally, we provide a detailed analysis to shed light on cross-modal interactions and the limitations of our best performing model.


title: Are stripped envelope supernovae really deficient in $^{56}$Ni?

abstract: Recent works have indicated that the $^{56}$Ni masses estimated for Stripped Envelope SNe (SESNe) are systematically higher than those estimated for SNe II. Although this may suggest a distinct progenitor structure between these types of SNe, the possibility remains that this may be caused by observational bias. One important possible bias is that SESNe with low $^{56}$Ni mass are dim, and therefore they are more likely to escape detection. By investigating the distributions of the $^{56}$Ni mass and distance for the samples collected from the literature, we find that the current literature SESN sample indeed suffers from a significant observational bias, i.e., objects with low $^{56}$Ni mass - if they exist - will be missed, especially at larger distances. Note, however, that those distant objects in our sample are mostly SNe Ic-BL. We also conducted mock observations assuming that the $^{56}$Ni mass distribution for SESNe is intrinsically the same with that for SNe II. We find that the $^{56}$Ni mass distribution of the detected SESNe samples moves toward higher mass than the assumed intrinsic distribution, because of the difficulty in detecting the low-$^{56}$Ni mass SESNe. These results could explain the general trend of the higher $^{56}$Ni mass distribution (than SNe II) of SESNe found thus far in the literature. However, further finding clear examples of low-$^{56}$Ni mass SESNe ($\leq 0.01M_{\odot}$) is required to add weight to this hypothesis. Also, the objects with high $^{56}$Ni mass ($\gtrsim 0.2 M_{\odot}$) are not explained by our model, which may require an additional explanation.


title: Probing triaxial deformation of atomic nuclei in high-energy heavy ion collisions

abstract: Most atomic nuclei are deformed with a quadrupole shape described by its overall strength $\beta_2$ and triaxiality $\gamma$. The deformation can be accessed in high-energy heavy-ion collisions by measuring the collective flow response of the produced quark-gluon plasma to the eccentricity $\varepsilon_2$ and the density gradient $d_{\perp}$ in the initial state. Using analytical estimate and a Glauber model, I show that the variances, $\langle\varepsilon_2^2\rangle$ or $\langle(\delta d_{\perp}/d_{\perp})^2\rangle$, and skewnesses, $\langle\varepsilon_2^2\delta d_{\perp}/d_{\perp}\rangle$ or $\langle(\delta d_{\perp}/d_{\perp})^3\rangle$, have a simple analytical form of $a'+b'\beta_2^2$ and $a'+(b'+c'\cos(3\gamma))\beta_2^3$, respectively. From these, I constructed several normalized skewnesses to isolate the $\gamma$ dependence from that of $\beta_2$, and show that the correlations between any normalized skewness and any variance can constrain simultaneously the $\beta_2$ and $\gamma$. Assuming a linear relation with elliptic flow $v_2$ and mean-transverse momentum $[p_{\mathrm{T}}]$ of final state particles, similar conclusions are also expected for the variances and skewnesses of $v_2$ and $[p_{\mathrm{T}}]$. Our findings motivate a dedicated system scan of high-energy heavy ion collisions to measure triaxiality of atomic nuclei. This is better done by collisions of prolate, $\cos(3\gamma)=1$, and oblate nuclei, $\cos(3\gamma)=-1$, with well known $\beta_2$ values to calibrate the coefficients $b'$ and $c'$, followed by collisions of species of interest especially those with known $\beta_2$ but unknown $\gamma$. The results demonstrate the unique opportunities offered by high-energy collisions as a tool to perform interdisciplinary nuclear physics studies.


title: Backstepping Mean-Field Density Control for Large-Scale Heterogeneous Nonlinear Stochastic Systems

abstract: This work studies the problem of controlling the mean-field density of large-scale stochastic systems, which has applications in various fields such as swarm robotics. Recently, there is a growing amount of literature that employs mean-field partial differential equations (PDEs) to model the density evolution and uses density feedback to design control laws which, by acting on individual systems, stabilize their density towards a target profile. In spite of its stability property and computational efficiency, the success of density feedback relies on assuming the systems to be homogeneous first-order integrators (plus white noise) and ignores higher-order dynamics, making it less applicable in practice. In this work, we present a backstepping design algorithm that extends density control to heterogeneous and higher-order stochastic systems in strict-feedback forms. We show that the strict-feedback form in the individual level corresponds to, in the collective level, a PDE (of densities) distributedly driven by a collection of heterogeneous stochastic systems. The presented backstepping design then starts with a density feedback design for the PDE, followed by a sequence of stabilizing design for the remaining stochastic systems. We present a candidate control law with stability proof and apply it to nonholonomic mobile robots. A simulation is included to verify the effectiveness of the algorithm.


title: Introduction to Electromagnetism

abstract: The purpose of this course is to provide an introduction to Electromagnetic Theory. The foundations of electrodynamics starting from the nature of electrical force up to the level of Maxwell equations solutions are presented. It starts with the introduction of the concept of a field, which plays a very important role in the understanding of electricity and magnetism. In addition, moving electric charge is discussed as a topic of special importance in accelerator physics.


title: Obstruction to naive liftability of DG modules

abstract: The notion of naive liftability of DG modules is introduced in [9] and [10]. In this paper, we study the obstruction to naive liftability along extensions $A\to B$ of DG algebras, where $B$ is projective as an underlying graded $A$-module. We show that the obstruction to naive liftability of a semifree DG $B$-module $N$ is a certain cohomology class in Ext$^1_B(N,N\otimes_B J)$, where $J$ is the diagonal ideal. Our results on obstruction class enable us to give concrete examples of DG modules that do and do not satisfy the naive lifting property.


title: An unsupervised framework for tracing textual sources of moral change

abstract: Morality plays an important role in social well-being, but people's moral perception is not stable and changes over time. Recent advances in natural language processing have shown that text is an effective medium for informing moral change, but no attempt has been made to quantify the origins of these changes. We present a novel unsupervised framework for tracing textual sources of moral change toward entities through time. We characterize moral change with probabilistic topical distributions and infer the source text that exerts prominent influence on the moral time course. We evaluate our framework on a diverse set of data ranging from social media to news articles. We show that our framework not only captures fine-grained human moral judgments, but also identifies coherent source topics of moral change triggered by historical events. We apply our methodology to analyze the news in the COVID-19 pandemic and demonstrate its utility in identifying sources of moral change in high-impact and real-time social events.


title: On a Partition Identity of Lehmer

abstract: Euler's identity equates the number of partitions of any non-negative integer n into odd parts and the number of partitions of n into distinct parts. Beck conjectured and Andrews proved the following companion to Euler's identity: the excess of the number of parts in all partitions of n into odd parts over the number of parts in all partitions of n into distinct parts equals the number of partitions of n with exactly one even part (possibly repeated). Beck's original conjecture was followed by generalizations and so-called "Beck-type" companions to other identities. In this paper, we establish a collection of Beck-type companion identities to the following result mentioned by Lehmer at the 1974 International Congress of Mathematicians: the excess of the number of partitions of n with an even number of even parts over the number of partitions of n with an odd number of even parts equals the number of partitions of n into distinct, odd parts. We also establish various generalizations of Lehmer's identity, and prove related Beck-type companion identities. We use both analytic and combinatorial methods in our proofs.


title: On smoothing properties and Tao's gauge transform of the Benjamin-Ono equation on the torus

abstract: We prove smoothing properties of the solutions of the Benjamin-Ono equation in the Sobolev space $H^{s}(\mathbb{T},\mathbb{R})$ for any $s\ge 0$. To this end we show that Tao's gauge transform is a high frequency approximation of the nonlinear Fourier transform $\Phi$ for the Benjamin-Ono equation, constructed in our previous work. The results of this paper are manifestations of the quasi-linear character of the Benjamin-Ono equation.


title: Noncommutative Kepler Dynamics: symmetry groups and bi-Hamiltonian structures

abstract: Integrals of motion are constructed from noncommutative (NC) Kepler dynamics, generating $SO(3),$ $SO(4),$ and $SO(1,3)$ dynamical symmetry groups. The Hamiltonian vector field is derived in action-angle coordinates, and the existence of a hierarchy of bi-Hamiltonian structures is highlighted. Then, a family of Nijenhuis recursion operators is computed and discussed.


title: Cold Stop and Lyot Stop Designs for a New Infrared Exoplanet Imager at Keck Observatory

abstract: Santa Cruz Array of Lenslets for Exoplanet Spectroscopy (SCALES) is an instrument being designed for direct imaging of exoplanets in the infrared with the Adaptive Optics System of the W.M. Keck Observatory. The performance of SCALES will be largely affected by thermal transmission and emission from various sources, including the adaptive optics and instrument structures. The placement of a cold stop and a Lyot stop can preserve maximal and stable throughput while limiting the emission of instrument structures such as primary mirror segment gaps, secondary structures, and spider arms. Here we propose and compare three cold stops, a circular inner mask paired with circular, hexagonal, and serrated outer masks, as well as one Lyot stop design. Taking into account the pupil nutation and mirror emissivity, we model the throughput and the background emission for all designs to optimize the dimensions of the cold stop and the Lyot stop.


title: Non-Binary Diameter Perfect Constant-Weight Codes

abstract: Diameter perfect codes form a natural generalization for perfect codes. They are based on the code-anticode bound which generalizes the sphere-packing bound. The code-anticode bound was proved by Delsarte for distance-regular graphs and it holds for some other metrics too. In this paper we prove the bound for non-binary constant-weight codes with the Hamming metric and characterize the diameter perfect codes and the maximum size anticodes for these codes. We distinguish between six families of non-binary diameter constant-weight codes and four families of maximum size non-binary constant-weight anticodes. Each one of these families of diameter perfect codes raises some different questions. We consider some of these questions and leave lot of ground for further research. Finally, as a consequence, some t-intersecting families related to the well-known Erd\"{o}s-Ko-Rado theorem, are constructed.


title: The Galaxy Evolution Probe

abstract: The Galaxy Evolution Probe (GEP) is a concept for a mid- and far-infrared space observatory to measure key properties of large samples of galaxies with large and unbiased surveys. GEP will attempt to achieve zodiacal light and Galactic dust emission photon background-limited observations by utilizing a 6 Kelvin, 2.0 meter primary mirror and sensitive arrays of kinetic inductance detectors. It will have two instrument modules: a 10 - 400 micron hyperspectral imager with spectral resolution R = 8 (GEP-I) and a 24 - 193 micron, R = 200 grating spectrometer (GEP-S). GEP-I surveys will identify star-forming galaxies via their thermal dust emission and simultaneously measure redshifts using polycyclic aromatic hydrocarbon emission lines. Galaxy luminosities derived from star formation and nuclear supermassive black hole accretion will be measured for each source, enabling the cosmic star formation history to be measured to much greater precision than previously possible. Using optically thin far-infrared fine-structure lines, surveys with GEP-S will measure the growth of metallicity in the hearts of galaxies over cosmic time and extraplanar gas will be mapped in spiral galaxies in the local universe to investigate feedback processes. The science case and mission architecture designed to meet the science requirements are described, and the kinetic inductance detector and readout electronics state of the art and needed developments are described. This paper supersedes the GEP concept study report cited in it by providing new content, including: a summary of recent mid-infrared KID development, a discussion of microlens array fabrication for mid-infrared KIDs, and additional context for galaxy surveys. The reader interested in more technical details may want to consult the concept study report.


title: Ergodic Decompositions of Dirichlet Forms under Order Isomorphisms

abstract: We study ergodic decompositions of Dirichlet spaces under intertwining via unitary order isomorphisms. We show that the ergodic decomposition of a quasi-regular Dirichlet space is unique up to a unique isomorphism of the indexing space. Furthermore, every unitary order isomorphism intertwining two quasi-regular Dirichlet spaces is decomposable over their ergodic decompositions up to conjugation via an isomorphism of the corresponding indexing spaces.


title: Genus two curves with everywhere good reduction over quadratic fields

abstract: We address the question of existence of absolutely simple abelian varieties of dimension 2 with everywhere good reduction over quadratic fields. The emphasis will be given to the construction of pairs $(K,C)$, where $K$ is a quadratic number field and $C$ is a genus $2$ curve with everywhere good reduction over $K$. We provide the first infinite sequence of pairs $(K,C)$ where $K$ is a real (complex) quadratic field and $C$ has everywhere good reduction over $K$. Moreover, we show that the Jacobian of $C$ is an absolutely simple abelian variety.


title: LinEasyBO: Scalable Bayesian Optimization Approach for Analog Circuit Synthesis via One-Dimensional Subspaces

abstract: A large body of literature has proved that the Bayesian optimization framework is especially efficient and effective in analog circuit synthesis. However, most of the previous research works only focus on designing informative surrogate models or efficient acquisition functions. Even if searching for the global optimum over the acquisition function surface is itself a difficult task, it has been largely ignored. In this paper, we propose a fast and robust Bayesian optimization approach via one-dimensional subspaces for analog circuit synthesis. By solely focusing on optimizing one-dimension subspaces at each iteration, we greatly reduce the computational overhead of the Bayesian optimization framework while safely maximizing the acquisition function. By combining the benefits of different dimension selection strategies, we adaptively balancing between searching globally and locally. By leveraging the batch Bayesian optimization framework, we further accelerate the optimization procedure by making full use of the hardware resources. Experimental results quantitatively show that our proposed algorithm can accelerate the optimization procedure by up to 9x and 38x compared to LP-EI and REMBOpBO respectively when the batch size is 15.


title: Rank of matrices with entries from a multiplicative group

abstract: We establish lower bounds on the rank of matrices in which all but the diagonal entries lie in a multiplicative group of small rank. Applying these bounds we show that the distance sets of finite pointsets in $\mathbb{R}^d$ generate high rank multiplicative groups and that multiplicative groups of small rank cannot contain large sumsets.


title: Learning compositional programs with arguments and sampling

abstract: One of the most challenging goals in designing intelligent systems is empowering them with the ability to synthesize programs from data. Namely, given specific requirements in the form of input/output pairs, the goal is to train a machine learning model to discover a program that satisfies those requirements. A recent class of methods exploits combinatorial search procedures and deep learning to learn compositional programs. However, they usually generate only toy programs using a domain-specific language that does not provide any high-level feature, such as function arguments, which reduces their applicability in real-world settings. We extend upon a state of the art model, AlphaNPI, by learning to generate functions that can accept arguments. This improvement will enable us to move closer to real computer programs. Moreover, we investigate employing an Approximate version of Monte Carlo Tree Search (A-MCTS) to speed up convergence. We showcase the potential of our approach by learning the Quicksort algorithm, showing how the ability to deal with arguments is crucial for learning and generalization.


title: On the resistance minimum in LaAlO$_3$/Eu$_{1-x}$La$_x$TiO$_3$/SrTiO$_3$ heterostructures

abstract: In this paper we study LaAlO$_3$/Eu$_{1-x}$La$_x$TiO$_3$/SrTiO$_3$ structures with nominally x = 0, 0.1 and different thicknesses of the Eu$_{1-x}$La$_x$TiO$_3$ layer. We observe that both systems have many properties similar to previously studied LaAlO$_3$/EuTiO$_3$/SrTiO$_3$ and other oxide interfaces, such as the formation of a 2D electron liquid for 1 or 2 unit cells of Eu$_{1-x}$La$_x$TiO$_3$; a metal-insulator transition driven by the thickness increase of Eu$_{1-x}$La$_x$TiO$_3$ layer; the presence of an Anomalous Hall effect (AHE) when driving the systems above the Lifshitz point with a backgate voltage; and a minimum in the temperature dependence of the sheet resistance below the Lifshitz point in the one-band regime, which becomes more pronounced with increasing gate voltage. However, and notwithstanding the likely presence of magnetism in the system, we do not attribute that minimum to the Kondo effect, but rather to the properties of SrTiO$_3$ crystal and the inevitable effects of charge trapping when using back gates.


title: Grassmannian Constellation Design for Noncoherent MIMO Systems Using Autoencoders

abstract: In this letter, we propose an autoencoder (AE) for designing Grassmannian constellations in noncoherent (NC) multiple-input multiple-output (MIMO) systems. To guarantee the properties of Grassmannian constellations, the proposed AE constructs the transmitted symbols following an unitary space-time modulation. It penalizes the difference between input and output symbols in terms of cross entropy during the training, which is regarded as a generic optimization method. The constellations learned by the proposed AE have substantial symbol error rate (SER) performance gains compared to the non-Grassmannian constellations and conventionally constructed Grassmannian constellations in high SNR regime. The resulting Grassmannian constellation of the proposed AE achieves higher diversity than the non-Grassmannian constellation in i.i.d. Rayleigh channels. Moreover, the proposed approach can be adaptive to different channel statistics by training with corresponding channel realizations.


title: An End-to-End learnable Flow Regularized Model for Brain Tumor Segmentation

abstract: Many segmentation tasks for biomedical images can be modeled as the minimization of an energy function and solved by a class of max-flow and min-cut optimization algorithms. However, the segmentation accuracy is sensitive to the contrasting of semantic features of different segmenting objects, as the traditional energy function usually uses hand-crafted features in their energy functions. To address these limitations, we propose to incorporate end-to-end trainable neural network features into the energy functions. Our deep neural network features are extracted from the down-sampling and up-sampling layers with skip-connections of a U-net. In the inference stage, the learned features are fed into the energy functions. And the segmentations are solved in a primal-dual form by ADMM solvers. In the training stage, we train our neural networks by optimizing the energy function in the primal form with regularizations on the min-cut and flow-conservation functions, which are derived from the optimal conditions in the dual form. We evaluate our methods, both qualitatively and quantitatively, in a brain tumor segmentation task. As the energy minimization model achieves a balance on sensitivity and smooth boundaries, we would show how our segmentation contours evolve actively through iterations as ensemble references for doctor diagnosis.


title: Predictive algorithms in dynamical sampling for burst-like forcing terms

abstract: In this paper, we consider the problem of recovery of a burst-like forcing term in an initial value problem (IVP) in the framework of dynamical sampling. We introduce an idea of using two particular classes of samplers that allow one to predict the solution of the IVP over a time interval without a burst. This leads to two different algorithms that stably and accurately approximate the burst-like forcing term even in the presence of a measurement acquisition error and a large background source.


title: Algorithme de recherche approximative dans un dictionnaire fond\'e sur une distance d'\'edition d\'efinie par blocs

abstract: We propose an algorithm for approximative dictionary lookup, where altered strings are matched against reference forms. The algorithm makes use of a divergence function between strings -- broadly belonging to the family of edit distances; it finds dictionary entries whose distance to the search string is below a certain threshold. The divergence function is not the classical edit distance (DL distance); it is adaptable to a particular corpus, and is based on elementary alteration costs defined on character blocks, rather than on individual characters. Nous proposons un algorithme de recherche approximative de cha\^ines dans un dictionnaire \`a partir de formes alt\'er\'ees. Cet algorithme est fond\'e sur une fonction de divergence entre cha\^ines~ -- une sorte de distance d'\'edition: il recherche des entr\'ees pour lesquelles la distance \`a la cha\^ine cherch\'ee est inf\'erieure \`a un certain seuil. La fonction utilis\'ee n'est pas la distance d'\'edition classique (distance DL); elle est adapt\'ee \`a un corpus, et se fonde sur la prise en compte de co\^uts d'alt\'eration \'el\'ementaires d\'efinis non pas sur des caract\`eres, mais sur des sous-cha\^ines (des blocs de caract\`eres).


title: Model-Independent Quantum Phases Classifier

abstract: Machine learning has revolutionized many fields of science and technology. Through the $k$-Nearest Neighbors algorithm, we develop a model-independent classifier, where the algorithm can classify phases of a model to which it has never had access. For this, we study three distinct spin-$1$ models with some common phases: the XXZ chains with uniaxial single-ion-type anisotropy, the bound alternating XXZ chains, and the bilinear biquadratic chain. We show that, with high probability, algorithms trained with two of these models can determine common phases with the third. It is the first step toward a universal classifier, where an algorithm is able to detect any phase with no knowledge about the Hamiltonian, only knowing partial information about the quantum state.


title: Reducing Computational Complexity of Tensor Contractions via Tensor-Train Networks

abstract: There is a significant expansion in both volume and range of applications along with the concomitant increase in the variety of data sources. These ever-expanding trends have highlighted the necessity for more versatile analysis tools that offer greater opportunities for algorithmic developments and computationally faster operations than the standard flat-view matrix approach. Tensors, or multi-way arrays, provide such an algebraic framework which is naturally suited to data of such large volume, diversity, and veracity. Indeed, the associated tensor decompositions have demonstrated their potential in breaking the Curse of Dimensionality associated with traditional matrix methods, where a necessary exponential increase in data volume leads to adverse or even intractable consequences on computational complexity. A key tool underpinning multi-linear manipulation of tensors and tensor networks is the standard Tensor Contraction Product (TCP). However, depending on the dimensionality of the underlying tensors, the TCP also comes at the price of high computational complexity in tensor manipulation. In this work, we resort to diagrammatic tensor network manipulation to calculate such products in an efficient and computationally tractable manner, by making use of Tensor Train decomposition (TTD). This has rendered the underlying concepts easy to perceive, thereby enhancing intuition of the associated underlying operations, while preserving mathematical rigour. In addition to bypassing the cumbersome mathematical multi-linear expressions, the proposed Tensor Train Contraction Product model is shown to accelerate significantly the underlying computational operations, as it is independent of tensor order and linear in the tensor dimension, as opposed to performing the full computations through the standard approach (exponential in tensor order).


title: Tree-constrained Pointer Generator for End-to-end Contextual Speech Recognition

abstract: Contextual knowledge is important for real-world automatic speech recognition (ASR) applications. In this paper, a novel tree-constrained pointer generator (TCPGen) component is proposed that incorporates such knowledge as a list of biasing words into both attention-based encoder-decoder and transducer end-to-end ASR models in a neural-symbolic way. TCPGen structures the biasing words into an efficient prefix tree to serve as its symbolic input and creates a neural shortcut between the tree and the final ASR output distribution to facilitate recognising biasing words during decoding. Systems were trained and evaluated on the Librispeech corpus where biasing words were extracted at the scales of an utterance, a chapter, or a book to simulate different application scenarios. Experimental results showed that TCPGen consistently improved word error rates (WERs) compared to the baselines, and in particular, achieved significant WER reductions on the biasing words. TCPGen is highly efficient: it can handle 5,000 biasing words and distractors and only add a small overhead to memory use and computation cost.


title: Roughness-induced critical phenomenon analogy for turbulent friction factor explained by a co-spectral budget model

abstract: Drawing on an analogy to critical phenomena, it was shown that the Nikuradse turbulent friction factor ($f_t$) measurements in pipes of radius $R$ and wall roughness $r$ can be collapsed onto a one-dimensional curve expressed as a conveyance law $f_t Re^{1/4}=g_o(\chi)$, where $Re$ is a bulk Reynolds number, $\chi =Re^{3/4}\left({r}/{R}\right)$. The implicit function $g_o(.)$ was conjectured based on matching two asymptotic limits of $f_t$. However, the connection between $g_o(.)$ and the phenomenon it proclaims to represent - turbulent eddies - remains lacking. Using models for the wall-normal velocity spectrum and return-to-isotropy for pressure-strain effects to close a co-spectral density budget, a derivation of $g_o(.)$ is offered. The proposed method explicitly derives the solution of the conveyance law and provides a physical interpretation of $\chi$ as a dimensionless length scale reflecting the competition between viscous sublayer thickness and characteristic height of roughness elements. The application of the proposed method to other published measurements spanning roughness and Reynolds numbers beyond the original Nikuradse range is further discussed.


title: An Ensemble Approach for Annotating Source Code Identifiers with Part-of-speech Tags

abstract: This paper presents an ensemble part-of-speech tagging approach for source code identifiers. Ensemble tagging is a technique that uses machine-learning and the output from multiple part-of-speech taggers to annotate natural language text at a higher quality than the part-of-speech taggers are able to obtain independently. Our ensemble uses three state-of-the-art part-of-speech taggers: SWUM, POSSE, and Stanford. We study the quality of the ensemble's annotations on five different types of identifier names: function, class, attribute, parameter, and declaration statement at the level of both individual words and full identifier names. We also study and discuss the weaknesses of our tagger to promote the future amelioration of these problems through further research. Our results show that the ensemble achieves 75\% accuracy at the identifier level and 84-86\% accuracy at the word level. This is an increase of +17\% points at the identifier level from the closest independent part-of-speech tagger.


title: A Novel Multi-Centroid Template Matching Algorithm and Its Application to Cough Detection

abstract: Cough is a major symptom of respiratory-related diseases. There exists a tremendous amount of work in detecting coughs from audio but there has been no effort to identify coughs from solely inertial measurement unit (IMU). Coughing causes motion across the whole body and especially on the neck and head. Therefore, head motion data during coughing captured by a head-worn IMU sensor could be leveraged to detect coughs using a template matching algorithm. In time series template matching problems, K-Nearest Neighbors (KNN) combined with elastic distance measurement (esp. Dynamic Time Warping (DTW)) achieves outstanding performance. However, it is often regarded as prohibitively time-consuming. Nearest Centroid Classifier is thereafter proposed. But the accuracy is comprised of only one centroid obtained for each class. Centroid-based Classifier performs clustering and averaging for each cluster, but requires manually setting the number of clusters. We propose a novel self-tuning multi-centroid template-matching algorithm, which can automatically adjust the number of clusters to balance accuracy and inference time. Through experiments conducted on synthetic datasets and a real-world earbud-based cough dataset, we demonstrate the superiority of our proposed algorithm and present the result of cough detection with a single accelerometer sensor on the earbuds platform.


title: Stability of the Fulde-Ferrell-Larkin-Ovchinnikov states in anisotropic systems and critical behavior at thermal $m$-axial Lifshitz points

abstract: We revisit the question concerning stability of nonuniform superfluid states of the Fulde-Ferrell-Larkin-Ovchinnikov (FFLO) type to thermal and quantum fluctuations. Invoking the properties of the putative phase diagram of two-component Fermi mixtures, on general grounds we argue, that for isotropic, continuum systems the phase diagram hosting a long-range-ordered FFLO-type phase envisaged by the mean-field theory cannot be stable to fluctuations at any temperature $T>0$ in any dimensionality $d<4$. In contrast, in layered unidirectional systems the lower critical dimension for the onset of FFLO-type long-range order accompanied by a Lifshitz point at $T>0$ is $d=5/2$. In consequence, its occurrence is excluded in $d=2$, but not in $d=3$. We propose a relatively simple method, based on nonperturbative renormalization group to compute the critical exponents of the thermal $m$-axial Lifshitz point continuously varying $m$, spatial dimensionality $d$ and the number of order parameter components $N$. We point out the possibility of a robust, fine-tuning free occurrence of a quantum Lifshitz point in the phase diagram of imbalanced Fermi mixtures.


title: Field-Based Plot Extraction Using UAV RGB Images

abstract: Unmanned Aerial Vehicles (UAVs) have become popular for use in plant phenotyping of field based crops, such as maize and sorghum, due to their ability to acquire high resolution data over field trials. Field experiments, which may comprise thousands of plants, are planted according to experimental designs to evaluate varieties or management practices. For many types of phenotyping analysis, we examine smaller groups of plants known as "plots." In this paper, we propose a new plot extraction method that will segment a UAV image into plots. We will demonstrate that our method achieves higher plot extraction accuracy than existing approaches.


title: Sizing from the Smallest Scales: The Mass of the Milky Way

abstract: As the Milky Way and its satellite system become more entrenched in near field cosmology efforts, the need for an accurate mass estimate of the Milky Way's dark matter halo is increasingly critical. With the second and early third data releases of stellar proper motions from {\it Gaia}, several groups calculated full $6$D phase-space information for the population of Milky Way satellite galaxies. Utilizing these data in comparison to subhalo properties drawn from the Phat ELVIS simulations, we constrain the Milky Way dark matter halo mass to be $\sim 1-1.2\times10^{12}~\msun$. We find that the kinematics of subhalos drawn from more- or less-massive hosts (i.e. $>1.2\times10^{12}~\msun$ or $<10^{12}~\msun$) are inconsistent, at the $3\sigma$ confidence level, with the observed velocities of the Milky Way satellites. The preferred host halo mass for the Milky Way is largely insensitive to the exclusion of systems associated with the Large Magellanic Cloud, changes in galaxy formation thresholds, and variations in observational completeness. As more Milky Way satellites are discovered, their velocities (radial, tangential, and total) plus Galactocentric distances will provide further insight into the mass of the Milky Way dark matter halo.


title: Structure of radiative corrections in a strong constant crossed field in the bubble-chain approximation

abstract: We present a calculation of the electron mass operator combining the bubble-chain photon and the leading order electron propagators in a strong constant crossed electromagnetic field. The photon propagator is obtained by a summation of the Dyson series over 1PI polarization loop insertions and is accounted for in general form. By applying the derived mass operator, we find the bubble-chain electron propagator and the elastic scattering amplitude. The results are expressed in the general form of expansion over $\gamma$-matrix structures, each multiplied by a scalar invariant function of the electron virtuality and the quantum dynamical parameter $\chi$. We perform their asymptotic analysis and identify the dominant contribution at $\chi\gg 1$. The presented calculations can be generalized by replacing the leading order electron propagator with the bubble-chain one. This will allow a consistent study the Dyson-Schwinger equations in the fully nonperturbative regime $\alpha\chi^{2/3}\gtrsim1$ within the bubble-chain approximation. In addition, we accompany our paper with the open-access computer-algebraic scripts containing all the presented computations [https://github.com/ArsenyMironov/SFQED-Loops].


title: Selecting Optimal Trace Clustering Pipelines with AutoML

abstract: Trace clustering has been extensively used to preprocess event logs. By grouping similar behavior, these techniques guide the identification of sub-logs, producing more understandable models and conformance analytics. Nevertheless, little attention has been posed to the relationship between event log properties and clustering quality. In this work, we propose an Automatic Machine Learning (AutoML) framework to recommend the most suitable pipeline for trace clustering given an event log, which encompasses the encoding method, clustering algorithm, and its hyperparameters. Our experiments were conducted using a thousand event logs, four encoding techniques, and three clustering methods. Results indicate that our framework sheds light on the trace clustering problem and can assist users in choosing the best pipeline considering their scenario.


title: Neural networks and standard cosmography with newly calibrated high redshift GRB observations

abstract: Gamma-ray bursts (GRBs) detected at high redshift can be used to trace the cosmic expansion history. However, the calibration of their luminosity distances is not an easy task in comparison to Type Ia Supernovae (SNeIa). To calibrate these data, correlations between their luminosity and other observed properties of GRBs need to be identified, and we must consider the validity of our assumptions about these correlations over their entire observed redshift range. In this work, we propose a new method to calibrate GRBs as cosmological distance indicators using SNeIa observations with a machine learning architecture. As well we include a new data GRB calibrated sample using extended cosmography in a redshift range above $z>3.6$. An overview of this machine learning technique was developed in [1] to study the evolution of dark energy models at high redshift. The aim of the method developed in this work is to combine two networks: a Recurrent Neural Network (RNN) and a Bayesian Neural Network (BNN). Using this computational approach, denoted RNN+BNN, we extend the network's efficacy by adding the computation of covariance matrices to the Bayesian process. Once this is done, the SNeIa distance-redshift relation can be tested on the full GRB sample and therefore used to implement a cosmographic reconstruction of the distance-redshift relation in different regimes. Thus, our newly-trained neural network is used to constrain the parameters describing the kinematical state of the Universe via a cosmographic approach at high redshifts (up to $z\approx 10$), wherein we require a very minimal set of assumptions on the deep learning architecture itself that do not rely on dynamical equations for any specific theory of gravity.


title: Properly learning decision trees in almost polynomial time

abstract: We give an $n^{O(\log\log n)}$-time membership query algorithm for properly and agnostically learning decision trees under the uniform distribution over $\{\pm 1\}^n$. Even in the realizable setting, the previous fastest runtime was $n^{O(\log n)}$, a consequence of a classic algorithm of Ehrenfeucht and Haussler. Our algorithm shares similarities with practical heuristics for learning decision trees, which we augment with additional ideas to circumvent known lower bounds against these heuristics. To analyze our algorithm, we prove a new structural result for decision trees that strengthens a theorem of O'Donnell, Saks, Schramm, and Servedio. While the OSSS theorem says that every decision tree has an influential variable, we show how every decision tree can be "pruned" so that every variable in the resulting tree is influential.


title: Fast and Robust Characterization of Dielectric Slabs Using Rectangular Waveguides

abstract: Waveguide characterization of dielectric materials is a convenient and broadband approach for measuring dielectric constant. In conventional microwave measurements, material samples are usually mechanically shaped to fit the waveguide opening and measured in closed waveguides. This method is not practical for millimeter-wave and sub-millimeter-wave measurements where the waveguide openings become tiny, and it is rather difficult to shape the sample to exactly the same dimensions as the waveguide cross-section. In this paper, we present a method that allows one to measure arbitrarily shaped dielectric slabs that extend outside waveguides. In this method, the measured sample is placed between two waveguide flanges, creating a discontinuity. The measurement system is characterized as an equivalent Pi-circuit, and the circuit elements of the Pi-circuit are extracted from the scattering parameters. We have found that the equivalent shunt impedance of the measured sample is only determined by the material permittivity and is rather insensitive to the sample shape, position, sizes, and other structural details of the discontinuity. This feature can be leveraged for accurate measurements of permittivity. The proposed method is very useful for measuring the permittivity of medium-loss and high-loss dielectrics from microwave to sub-terahertz frequencies.


title: Springer fibers and the Delta Conjecture at $t=0$

abstract: We introduce a family of varieties $Y_{n,\lambda,s}$, which we call the \emph{$\Delta$-Springer varieties}, that generalize the type A Springer fibers. We give an explicit presentation of the cohomology ring $H^*(Y_{n,\lambda,s})$ and show that there is a symmetric group action on this ring generalizing the Springer action on the cohomology of a Springer fiber. In particular, the top cohomology groups are induction products of Specht modules with trivial modules. The $\lambda=(1^k)$ case of this construction gives a compact geometric realization for the expression in the Delta Conjecture at $t=0$. Finally, we generalize results of De Concini and Procesi on the scheme of diagonal nilpotent matrices by constructing an ind-variety $Y_{n,\lambda}$ whose cohomology ring is isomorphic to the coordinate ring of the scheme-theoretic intersection of an Eisenbud--Saltman rank variety and diagonal matrices.


title: Countable products and countable sums of compact metrizable spaces in the absence of the Axiom of Choice

abstract: The main aim of the article is to show, in the absence of the Axiom of Choice, relationships between the following, independent of $\mathbf{ZF}$, statements: "Every countable product of compact metrizable spaces is separable (respectively, compact)" and "Every countable product of compact metrizable spaces is metrizable". Statements related to the above-mentioned ones are also studied. Permutation models (among them new ones) are shown in which a countable sum (also a countable product) of metrizable spaces need not be metrizable, countable unions of countable sets are countable and there is a countable family of non-empty sets of size at most $2^{\aleph_0}$ which does not have a choice function. A new permutation model is constructed in which every uncountable compact metrizable space is of size at least $2^{\aleph_0}$ but a denumerable family of denumerable sets need not have a multiple choice function.


title: An Algorithm for Local Transverse Feedback Linearization

abstract: Given a multi-input, nonlinear, time-invariant, control-affine system and a controlled invariant, closed, embedded submanifold $\mathsf{N}$, the local transverse feedback linearization (TFL) problem seeks a coordinate and feedback transformation such that, in transformed coordinates, the dynamics governing the system's transverse evolution with respect to $\mathsf{N}$ are linear, time-invariant and controllable. The transformed system is said to be in the TFL normal form. Checkable necessary and sufficient conditions for this problem to be solvable are known, but, unfortunately, the literature does not present a prescription that constructs the required transformation for multi-input systems. In this article we present an algorithm that produces a virtual output of suitable vector relative degree that, using input-output feedback linearization, puts the system into TFL normal form. The procedure is based on dual conditions for TFL and is fundamentally different from existing methods, such as the GS and Blended algorithms, because of the "desired" zero dynamics manifold $\mathsf{N}$. The proposed algorithm is the first to take into consideration the desired zero dynamics manifold.


title: Searching for Efficient Multi-Stage Vision Transformers

abstract: Vision Transformer (ViT) demonstrates that Transformer for natural language processing can be applied to computer vision tasks and result in comparable performance to convolutional neural networks (CNN), which have been studied and adopted in computer vision for years. This naturally raises the question of how the performance of ViT can be advanced with design techniques of CNN. To this end, we propose to incorporate two techniques and present ViT-ResNAS, an efficient multi-stage ViT architecture designed with neural architecture search (NAS). First, we propose residual spatial reduction to decrease sequence lengths for deeper layers and utilize a multi-stage architecture. When reducing lengths, we add skip connections to improve performance and stabilize training deeper networks. Second, we propose weight-sharing NAS with multi-architectural sampling. We enlarge a network and utilize its sub-networks to define a search space. A super-network covering all sub-networks is then trained for fast evaluation of their performance. To efficiently train the super-network, we propose to sample and train multiple sub-networks with one forward-backward pass. After that, evolutionary search is performed to discover high-performance network architectures. Experiments on ImageNet demonstrate that ViT-ResNAS achieves better accuracy-MACs and accuracy-throughput trade-offs than the original DeiT and other strong baselines of ViT. Code is available at https://github.com/yilunliao/vit-search.


title: Using Temperature Sensitivity to Estimate Shiftable Electricity Demand: Implications for power system investments and climate change

abstract: Growth of intermittent renewable energy and climate change make it increasingly difficult to manage electricity demand variability. Centralized storage can help but is costly. An alternative is to shift demand. Cooling and heating demands are substantial and can be economically shifted using thermal storage. To estimate what thermal storage, employed at scale, might do to reshape electricity loads, we pair fine-scale weather data with hourly electricity use to estimate the share of temperature-sensitive demand across 31 regions that span the continental United States. We then show how much variability can be reduced by shifting temperature-sensitive loads, with and without improved transmission between regions. We find that approximately three quarters of within-day, within-region demand variability can be eliminated by shifting just half of temperature-sensitive demand. The variability-reducing benefits of shifting temperature-sensitive demand complement those gained from improved interregional transmission, and greatly mitigate the challenge of serving higher peaks under climate change.


title: RIFLE: Imputation and Robust Inference from Low Order Marginals

abstract: The ubiquity of missing values in real-world datasets poses a challenge for statistical inference and can prevent similar datasets from being analyzed in the same study, precluding many existing datasets from being used for new analyses. While an extensive collection of packages and algorithms have been developed for data imputation, the overwhelming majority perform poorly if there are many missing values and low sample sizes, which are unfortunately common characteristics in empirical data. Such low-accuracy estimations adversely affect the performance of downstream statistical models. We develop a statistical inference framework for regression and classification in the presence of missing data without imputation. Our framework, RIFLE (Robust InFerence via Low-order moment Estimations), estimates low-order moments of the underlying data distribution with corresponding confidence intervals to learn a distributionally robust model. We specialize our framework to linear regression and normal discriminant analysis, and we provide convergence and performance guarantees. This framework can also be adapted to impute missing data. In numerical experiments, we compare RIFLE to several state-of-the-art approaches (including MICE, Amelia, MissForest, KNN-imputer, MIDA, and Mean Imputer) for imputation and inference in the presence of missing values. Our experiments demonstrate that RIFLE outperforms other benchmark algorithms when the percentage of missing values is high and/or when the number of data points is relatively small. RIFLE is publicly available at https://github.com/optimization-for-data-driven-science/RIFLE.


title: Rare-event properties in a classical stochastic model describing the evolution of random unitary circuits

abstract: We investigate the statistics of selected rare events in a (1+1)-dimensional (classical) stochastic growth model which describes the evolution of (quantum) random unitary circuits. In such classical formulation, particles are created and/or annihilated at each step of the evolution process, according to rules which generally favor a growing cluster size. We apply a large-deviation approach based on biased Monte Carlo simulations, with suitable adaptations, to evaluate (a) the probability of ending up with a single particle at a specified final time $t_f$, and (b) the probability of having particles outside the light cone, defined by a "butterfly velocity" $v_B$, at $t_f$. Morphological features of single-particle final configurations are discussed, in connection with whether the location of such particle is inside or outside the light cone; we find that joint occurrence of both events of types (a) and (b) drives significant changes to such features, signalling a second-order phase transition.


title: Coverage and Rate Analysis in Coexisting Terahertz and RF Finite Wireless Networks

abstract: Wireless communications over Terahertz (THz)-band frequencies are vital enablers of ultra-high rate applications and services in sixth-generation (6G) networks. However, THz communications suffer from poor coverage because of inherent THz features such as high penetration losses, severe path loss, and significant molecular absorption. To surmount these critical challenges and fully exploit the THz band, we explore a coexisting radio frequency (RF) and THz finite indoor network in which THz small cells are deployed to provide high data rates, and RF macrocells are deployed to satisfy coverage requirements. Using stochastic geometry tools, we assess the performance of coexisting RF and THz networks in terms of coverage probability and average achievable rate. The accuracy of the analytical results is validated with Monte-Carlo simulations. Several insights are devised for accurate tuning and optimization of THz system parameters, including the fraction of THz access points (APs) to deploy, and the THz bias. The obtained results recognize a clear coverage/rate trade-off where a high fraction of THz AP improves the rate significantly but may degrade the coverage performance. Furthermore, the location of the user in the finite area highly affects the fraction of THz APs that optimizes the performance.


title: Abbott Dimension, Mathematics Inspired by Flatland

abstract: What is the "right way" to define dimension? Mathematicians working in the early and middle $20$th-century formalized three intuitive definitions of dimension that all turned out to be equivalent on separable metric spaces. But were these definitions the "right" ones? What would it mean to have the "right" definition of dimension? In this paper we attempt to inspire thought about these questions by introducing Abbott dimension, a geometrically intuitive definition of dimension based on Edwin Abbott's $1884$ novella \emph{Flatland}. We show that while Abbott dimension has intuitive appeal, it does not always agree with the classical definitions of dimension on separable metric spaces.


title: The VoicePrivacy 2020 Challenge: Results and findings

abstract: This paper presents the results and analyses stemming from the first VoicePrivacy 2020 Challenge which focuses on developing anonymization solutions for speech technology. We provide a systematic overview of the challenge design with an analysis of submitted systems and evaluation results. In particular, we describe the voice anonymization task and datasets used for system development and evaluation. Also, we present different attack models and the associated objective and subjective evaluation metrics. We introduce two anonymization baselines and provide a summary description of the anonymization systems developed by the challenge participants. We report objective and subjective evaluation results for baseline and submitted systems. In addition, we present experimental results for alternative privacy metrics and attack models developed as a part of the post-evaluation analysis. Finally, we summarize our insights and observations that will influence the design of the next VoicePrivacy challenge edition and some directions for future voice anonymization research.


title: Measuring Information from Moments

abstract: We investigate the problem of representing information measures in terms of the moments of the underlying random variables. First, we derive polynomial approximations of the conditional expectation operator. We then apply these approximations to bound the best mean-square error achieved by a polynomial estimator -- referred to here as the PMMSE. In Gaussian channels, the PMMSE coincides with the minimum mean-square error (MMSE) if and only if the input is either Gaussian or constant, i.e., if and only if the conditional expectation of the input of the channel given the output is a polynomial of degree at most 1. By combining the PMMSE with the I-MMSE relationship, we derive new formulas for information measures (e.g., differential entropy, mutual information) that are given in terms of the moments of the underlying random variables. As an application, we introduce estimators for information measures from data via approximating the moments in our formulas by sample moments. These estimators are shown to be asymptotically consistent and possess desirable properties, e.g., invariance to affine transformations when used to estimate mutual information.


title: Dash: Semi-Supervised Learning with Dynamic Thresholding

abstract: While semi-supervised learning (SSL) has received tremendous attentions in many machine learning tasks due to its successful use of unlabeled data, existing SSL algorithms use either all unlabeled examples or the unlabeled examples with a fixed high-confidence prediction during the training progress. However, it is possible that too many correct/wrong pseudo labeled examples are eliminated/selected. In this work we develop a simple yet powerful framework, whose key idea is to select a subset of training examples from the unlabeled data when performing existing SSL methods so that only the unlabeled examples with pseudo labels related to the labeled data will be used to train models. The selection is performed at each updating iteration by only keeping the examples whose losses are smaller than a given threshold that is dynamically adjusted through the iteration. Our proposed approach, Dash, enjoys its adaptivity in terms of unlabeled data selection and its theoretical guarantee. Specifically, we theoretically establish the convergence rate of Dash from the view of non-convex optimization. Finally, we empirically demonstrate the effectiveness of the proposed method in comparison with state-of-the-art over benchmarks.


title: Radio-frequency driving of an attractive Fermi gas in a one-dimensional optical lattice

abstract: We investigate the response to radio-frequency driving of an ultracold gas of attractively interacting fermions in a one-dimensional optical lattice. We study the system dynamics by monitoring the driving-induced population transfer to a third state, and the evolution of the momentum density and pair distributions. Depending on the frequency of the radio-frequency field, two different dynamical regimes emerge when considering the evolution of the third level population. One regime exhibits (off)resonant many-body oscillations reminiscent of Rabi oscillations in a discrete two-level system, while the other displays a strong linear rise. Within this second regime, we connect, via linear response theory, the extracted transfer rate to the system single-particle spectral function, and infer the nature of the excitations from Bethe ansatz calculations. In addition, we show that this radio-frequency technique can be employed to gain insights into this many-body system coupling mechanism away from equilibrium. This is done by monitoring the momentum density redistributions and the evolution of the pair correlations during the drive. Capturing such non-equilibrium physics goes beyond a linear response treatment, and is achieved here by conducting time-dependent matrix product state simulations.


title: Discovery of ASKAP J173608.2-321635 as a Highly-Polarized Transient Point Source with the Australian SKA Pathfinder

abstract: We report the discovery of a highly-polarized, highly-variable, steep-spectrum radio source, ASKAP J173608.2-321635, located $\sim$4\,deg from the Galactic center in the Galactic plane. The source was detected six times between 2020 January and 2020 September as part of the Australian Square Kilometre Array Pathfinder Variables and Slow Transients (ASKAP VAST) survey at 888\,MHz. It exhibited a high degree ($\sim 25$\%) of circular polarization when it was visible. We monitored the source with the MeerKAT telescope from 2020 November to 2021 February on a 2--4 week cadence. The source was not detected with MeerKAT before 2021 February 07 when it appeared and reached a peak flux density of 5.6\,mJy. The source was still highly circularly polarized, but also showed up to 80\% linear polarization, and then faded rapidly with a timescale of one day. The rotation measure of the source varied significantly, from $-11.8\pm0.8$\,rad\,m$^{-2}$ to $-64.0\pm1.5$\,rad\,m$^{-2}$, over three days. No X-ray counterpart was found in follow-up \textit{Swift} or \textit{Chandra} observations about a week after the first MeerKAT detection, with upper limits of $\sim 5.0\times10^{31}$\,erg\,s$^{-1}$ (0.3--8\,keV, assuming a distance $\sim10$ kpc). No counterpart is seen in new or archival near-infrared observations down to $J=20.8$\,mag. We discuss possible identifications for ASKAP J173608.2-321635 including a low-mass star/substellar object with extremely low infrared luminosity, a pulsar with scatter-broadened pulses, a transient magnetar, or a Galactic Center Radio Transient: none of these fully explains the observations, which suggests that ASKAP J173608.2-321635 may represent part of a new class of objects being discovered through radio imaging surveys.


title: Cut-Toggling and Cycle-Toggling for Electrical Flow and Other p-Norm Flows

abstract: We study the problem of finding flows in undirected graphs so as to minimize the weighted $p$-norm of the flow for any $p > 1$. When $p=2$, the problem is that of finding an electrical flow, and its dual is equivalent to solving a Laplacian linear system. The case $p = \infty$ corresponds to finding a min-congestion flow, which is equivalent to max-flows. A typical algorithmic construction for such problems considers vertex potentials corresponding to the flow conservation constraints, and has two simple types of update steps: cycle toggling, which modifies the flow along a cycle, and cut toggling, which modifies all potentials on one side of a cut. Both types of steps are typically performed relative to a spanning tree $T$; then the cycle is a fundamental cycle of $T$, and the cut is a fundamental cut of $T$. In this paper, we show that these simple steps can be used to give a novel efficient implementation for the $p = 2$ case and to find near-optimal $p$-norm flows in a low number of iterations for all values of $p > 1$. Compared to known faster algorithms for these problems, our algorithms are simpler, more combinatorial, and also expose several underlying connections between these algorithms and dynamic graph data structures that have not been formalized previously.


title: Simply-connected manifolds with large homotopy stable classes

abstract: For every $k \geq 2$ and $n \geq 2$ we construct $n$ pairwise homotopically inequivalent simply-connected, closed $4k$-dimensional manifolds, all of which are stably diffeomorphic to one another. Each of these manifolds has hyperbolic intersection form and is stably parallelisable. In dimension $4$, we exhibit an analogous phenomenon for spin$^{c}$ structures on $S^2 \times S^2$. For $m\geq 1$, we also provide similar $(4m{-}1)$-connected $8m$-dimensional examples, where the number of homotopy types in a stable diffeomorphism class is related to the order of the image of the stable $J$-homomorphism $\pi_{4m-1}(SO) \to \pi^s_{4m-1}$.


title: Regular polytopes, sphere packings and Apollonian sections

abstract: In this paper, we explore the geometry and the arithmetic of a family of polytopal sphere packings induced by regular polytopes in any dimension. We prove that every integral polytope is crystallographic, and we show that there are 11 crystallographic regular polytopes in any dimension. After introducing the notion of Apollonian section, we determine which Platonic crystallographic packings emerge as cross-sections of the Apollonian arrangements of the regular 4-polytopes. Additionally, we compute the M\"obius spectrum of every regular polytope.


title: Developing Products Update-Alert System for e-Commerce Websites Users Using HTML Data and Web Scraping Technique

abstract: Websites are regarded as domains of limitless information which anyone and everyone can access. The new trend of technology put us to change the way we are doing our business. The Internet now is fastly becoming a new place for business and the advancement in this technology gave rise to the number of e-commerce websites. This made the lifestyle of marketers/vendors, retailers and consumers (collectively regarded as users in this paper) easy, because it provides easy platforms to sale/order items through the internet. This also requires that the users will have to spend a lot of time and effort to search for the best product deals, products updates and offers on e-commerce websites. They have to filter and compare search results by themselves which takes a lot of time and there are chances of ambiguous results. In this paper, we applied web crawling and scraping methods on an e-commerce website to get HTML data for identifying products updates based on the current time. The HTML data is preprocessed to extract details of the products such as name, price, post date and time, etc. to serve as useful information for users.


title: Multi-Queues Can Be State-of-the-Art Priority Schedulers

abstract: Designing and implementing efficient parallel priority schedulers is an active research area. An intriguing proposed design is the Multi-Queue: given $n$ threads and $m\ge n$ distinct priority queues, task insertions are performed uniformly at random, while, to delete, a thread picks two queues uniformly at random, and removes the observed task of higher priority. This approach scales well, and has probabilistic rank guarantees: roughly, the rank of each task removed, relative to remaining tasks in all other queues, is $O(m)$ in expectation. Yet, the performance of this pattern is below that of well-engineered schedulers, which eschew theoretical guarantees for practical efficiency. We investigate whether it is possible to design and implement a Multi-Queue-based task scheduler that is both highly efficient and has analytical guarantees. We propose a new variant called the Stealing Multi-Queue (SMQ), a cache-efficient variant of the Multi-Queue, which leverages both queue affinity -- each thread has a local queue, from which tasks are usually removed; but, with some probability, threads also attempt to steal higher-priority tasks from the other queues -- and task batching, that is, the processing of several tasks in a single insert / delete step. These ideas are well-known for task scheduling without priorities; our theoretical contribution is showing that, despite relaxations, this design can still provide rank guarantees, which in turn implies bounds on total work performed. We provide a general SMQ implementation that can surpass state-of-the-art schedulers such as Galois and PMOD in terms of performance on popular graph-processing benchmarks. Notably, the performance improvement comes mainly from the superior rank guarantees provided by our scheduler, confirming that analytically-reasoned approaches can still provide performance improvements for priority task scheduling.


title: Nina Nikolaevna Uraltseva

abstract: Nina Uraltseva has made lasting contributions to mathematics with her pioneering work in various directions in analysis and PDEs and the development of elegant and sophisticated analytical techniques. She is most renowned for her early work on linear and quasilinear equations of elliptic and parabolic type in collaboration with Olga Ladyzhenskaya, which is the category of classics, but her contributions to the other areas such as degenerate and geometric equations, variational inequalities, and free boundaries are equally deep and significant. In this article, we give an overview of Nina Uraltseva's work with some details on selected results.


title: Semantic Slicing of Architectural Change Commits: Towards Semantic Design Review

abstract: Software architectural changes involve more than one module or component and are complex to analyze compared to local code changes. Development teams aiming to review architectural aspects (design) of a change commit consider many essential scenarios such as access rules and restrictions on usage of program entities across modules. Moreover, design review is essential when proper architectural formulations are paramount for developing and deploying a system. Untangling architectural changes, recovering semantic design, and producing design notes are the crucial tasks of the design review process. To support these tasks, we construct a lightweight tool [4] that can detect and decompose semantic slices of a commit containing architectural instances. A semantic slice consists of a description of relational information of involved modules, their classes, methods and connected modules in a change instance, which is easy to understand to a reviewer. We extract various directory and naming structures (DANS) properties from the source code for developing our tool. Utilizing the DANS properties, our tool first detects architectural change instances based on our defined metric and then decomposes the slices (based on string processing). Our preliminary investigation with ten open-source projects (developed in Java and Kotlin) reveals that the DANS properties produce highly reliable precision and recall (93-100%) for detecting and generating architectural slices. Our proposed tool will serve as the preliminary approach for the semantic design recovery and design summary generation for the project releases.


title: Improve photon number discrimination for a superconducting series nanowire detector by applying a digital matched filter

abstract: Photon number resolving (PNR) is an important capacity for detectors working in quantum and classical applications. Although a conventional superconducting nanowire single-photon detector (SNSPD) is not a PNR detector, by arranging nanowires in a series array and multiplexing photons over space, such series PNR-SNSPD can gain quasi-PNR capacity. However, the accuracy and maximum resolved photon number are both limited by the signal-to-noise (SNR) ratio of the output pulses. Here, we introduce a matched filter, which is an optimal filter in terms of SNR for SNSPD pulses. Experimentally, compared to conventional readout using a room-temperature amplifier, the normalized spacing between pulse amplitudes from adjacent photon number detections increased by a maximum factor of 2.1 after the matched filter. Combining with a cryogenic amplifier to increase SNR further, such spacing increased by a maximum factor of 5.3. In contrast to a low pass filter, the matched filter gave better SNRs while maintaining good timing jitters. Minimum timing jitter of 55 ps was obtained experimentally. Our results suggest that the matched filter is a useful tool for improving the performance of the series PNR-SNSPD and the maximum resolved photon number can be expected to reach 65 or even large.


title: Bayesian Detectability of Induced Polarisation in Airborne Electromagnetic Data using Reversible Jump Sequential Monte Carlo

abstract: Detection of induced polarisation (IP) effects in airborne electromagnetic (AEM) measurements does not yet have an established methodology. This contribution develops a Bayesian approach to the IP-detectability problem using decoupled transdimensional layered models, and applies an approach novel to geophysics whereby transdimensional proposals are used within the embarrassingly parallelisable and robust static Sequential Monte Carlo (SMC) class of algorithms for the simultaneous inference of parameters and models. Henceforth referring to this algorithm as Reversible Jump Sequential Monte Carlo (RJSMC), the statistical methodological contributions to the algorithm account for adaptivity considerations for multiple models and proposal types, especially surrounding particle impoverishment in unlikely models. Methodological contributions to solid Earth geophysics include the decoupled model approach and proposal of a statistic that use posterior model odds for IP detectability. A case study is included investigating detectability of IP effects in AEM data at a broad scale.


title: Quori: A Community-Informed Design of a Socially Interactive Humanoid Robot

abstract: Hardware platforms for socially interactive robotics can be limited by cost or lack of functionality. This paper presents the overall system -- design, hardware, and software -- for Quori, a novel, affordable, socially interactive humanoid robot platform for facilitating non-contact human-robot interaction (HRI) research. The design of the system is motivated by feedback sampled from the HRI research community. The overall design maintains a balance of affordability and functionality. Initial Quori testing and a six-month deployment are presented. Ten Quori platforms have been awarded to a diverse group of researchers from across the United States to facilitate HRI research to build a community database from a common platform.


title: Controllable deep melody generation via hierarchical music structure representation

abstract: Recent advances in deep learning have expanded possibilities to generate music, but generating a customizable full piece of music with consistent long-term structure remains a challenge. This paper introduces MusicFrameworks, a hierarchical music structure representation and a multi-step generative process to create a full-length melody guided by long-term repetitive structure, chord, melodic contour, and rhythm constraints. We first organize the full melody with section and phrase-level structure. To generate melody in each phrase, we generate rhythm and basic melody using two separate transformer-based networks, and then generate the melody conditioned on the basic melody, rhythm and chords in an auto-regressive manner. By factoring music generation into sub-problems, our approach allows simpler models and requires less data. To customize or add variety, one can alter chords, basic melody, and rhythm structure in the music frameworks, letting our networks generate the melody accordingly. Additionally, we introduce new features to encode musical positional information, rhythm patterns, and melodic contours based on musical domain knowledge. A listening test reveals that melodies generated by our method are rated as good as or better than human-composed music in the POP909 dataset about half the time.


title: Probing isovector scalar mesons in the charmless three-body $B$ decays

abstract: We propose to study the multiparticle configurations of isovector scalar mesons, saying $a_0(980)$ and $a_0(1450)$, in the charmless three-body $B$ decays by considering the width effects. Two scenarios of $a_0$ configurations are assumed, in which the first one take $a_0(980)$ as the lowest-lying $q{\bar q}$ state and $a_0(1450)$ as the first radial excited state, the second one take $a_0(1450)$ as the lowest-lying $q{\bar q}$ state and $a_0(1950)$ as the first radial excited state while $a_0(980)$ is not a $q{\bar q}$ state. Within these two scenarios, we do the PQCD calculation for the quasi-two-body $B \to a_0 \left[\to K{\bar K}/\pi\eta \right] h$ decays and extract the corresponding branching fractions of two-body $B \to a_0 h$ decays under the narrow width approximation. Our predictions show that the first scenario of $a_0(980)$ configuration can not be excluded by the available measurements in $B$ decays, the contributions from $a_0(1450)$ to the branching fractions in most channels are comparable in the first and second scenarios. Several channels are suggested for the forthcoming experimental measurements to reveal the multiparticle configurations of $a_0$, such as the channel $B^0 \to a_0^-(980) \left[\to \pi^-\eta \right] \pi^+$ with the largest predicted branching fraction, the channels $B^0 \to a_0^{\pm}(1450) \left[\to K^\pm{\bar K}^0, \pi^\pm\eta \right] \pi^\mp$ whose branching fractions obtained in the second scenario is about three times larger in magnitude than that obtained in the first scenario, and also the channels $B^+ \to a_0^+(1950) \left[ K^+{\bar K}^0/\pi^+\eta \right] K^0$ whose branching fractions are linear dependent on the partial width $\Gamma_{a_0(1950) \to KK/\pi\eta}$.


title: Agon: A Scalable Competitive Scheduler for Large Heterogeneous Systems

abstract: This work proposes a competitive scheduling approach, designed to scale to large heterogeneous multicore systems. This scheduler overcomes the challenges of (1) the high computation overhead of near-optimal schedulers, and (2) the error introduced by inaccurate performance predictions. This paper presents Agon, a neural network-based classifier that selects from a range of schedulers, from simple to very accurate, and learns which scheduler provides the right balance of accuracy and overhead for each scheduling interval. Agon also employs a de-noising frontend allowing the individual schedulers to be tolerant towards noise in performance predictions, producing better overall schedules. By avoiding expensive scheduling overheads, Agon improves average system performance by 6\% on average, approaching the performance of an oracular scheduler (99.1% of oracle performance).


title: TabFairGAN: Fair Tabular Data Generation with Generative Adversarial Networks

abstract: With the increasing reliance on automated decision making, the issue of algorithmic fairness has gained increasing importance. In this paper, we propose a Generative Adversarial Network for tabular data generation. The model includes two phases of training. In the first phase, the model is trained to accurately generate synthetic data similar to the reference dataset. In the second phase we modify the value function to add fairness constraint, and continue training the network to generate data that is both accurate and fair. We test our results in both cases of unconstrained, and constrained fair data generation. In the unconstrained case, i.e. when the model is only trained in the first phase and is only meant to generate accurate data following the same joint probability distribution of the real data, the results show that the model beats state-of-the-art GANs proposed in the literature to produce synthetic tabular data. Also, in the constrained case in which the first phase of training is followed by the second phase, we train the network and test it on four datasets studied in the fairness literature and compare our results with another state-of-the-art pre-processing method, and present the promising results that it achieves. Comparing to other studies utilizing GANs for fair data generation, our model is comparably more stable by using only one critic, and also by avoiding major problems of original GAN model, such as mode-dropping and non-convergence, by implementing a Wasserstein GAN.


title: GNSS Outlier Mitigation Via Graduated Non-Convexity Factor Graph Optimization

abstract: Accurate and globally referenced global navigation satellite system (GNSS) based vehicular positioning can be achieved in outlier-free open areas. However, the performance of GNSS can be significantly degraded by outlier measurements, such as multipath effects and non-line-of-sight (NLOS) receptions arising from signal reflections of buildings. Inspired by the advantage of batch historical data in resisting outlier measurements, in this paper, we propose a graduated non-convexity factor graph optimization (FGO-GNC) to improve the GNSS positioning performance, where the impact of GNSS outliers is mitigated by estimating the optimal weightings of GNSS measurements. Different from the existing local solutions, the proposed FGO-GNC employs the non-convex Geman McClure (GM) function to globally estimate the weightings of GNSS measurements via a coarse-to-fine relaxation. The effectiveness of the proposed method is verified through several challenging datasets collected in urban canyons of Hong Kong using automobile level and low-cost smartphone level GNSS receivers.


title: Towards Making the Most of Dialogue Characteristics for Neural Chat Translation

abstract: Neural Chat Translation (NCT) aims to translate conversational text between speakers of different languages. Despite the promising performance of sentence-level and context-aware neural machine translation models, there still remain limitations in current NCT models because the inherent dialogue characteristics of chat, such as dialogue coherence and speaker personality, are neglected. In this paper, we propose to promote the chat translation by introducing the modeling of dialogue characteristics into the NCT model. To this end, we design four auxiliary tasks including monolingual response generation, cross-lingual response generation, next utterance discrimination, and speaker identification. Together with the main chat translation task, we optimize the NCT model through the training objectives of all these tasks. By this means, the NCT model can be enhanced by capturing the inherent dialogue characteristics, thus generating more coherent and speaker-relevant translations. Comprehensive experiments on four language directions (English-German and English-Chinese) verify the effectiveness and superiority of the proposed approach.


title: On-ground calibrations of the GRID-02 gamma-ray detector

abstract: The Gamma-Ray Integrated Detectors (GRID) are a space project to monitor the transient gamma-ray sky in the multi-messenger astronomy era using multiple detectors on-board CubeSats. The second GRID detector, GRID-02, was launched in 2020. The performance of the detector, including the energy response, effective area, angular response, and temperature-bias dependence, is calibrated in the laboratory and presented here. These measurements are compared with particle tracing simulations and validate the Geant4 model that will be used for generating detector responses.


title: Variable Augmented Network for Invertible Modality Synthesis-Fusion

abstract: As an effective way to integrate the information contained in multiple medical images under different modalities, medical image synthesis and fusion have emerged in various clinical applications such as disease diagnosis and treatment planning. In this paper, an invertible and variable augmented network (iVAN) is proposed for medical image synthesis and fusion. In iVAN, the channel number of the network input and output is the same through variable augmentation technology, and data relevance is enhanced, which is conducive to the generation of characterization information. Meanwhile, the invertible network is used to achieve the bidirectional inference processes. Due to the invertible and variable augmentation schemes, iVAN can not only be applied to the mappings of multi-input to one-output and multi-input to multi-output, but also be applied to one-input to multi-output. Experimental results demonstrated that the proposed method can obtain competitive or superior performance in comparison to representative medical image synthesis and fusion methods.


title: Matrix Orthogonal Polynomials, non-abelian Toda lattice and B\"acklund transformation

abstract: A connection between matrix orthogonal polynomials and non-abelian integrable lattices is investigated in this paper. The normalization factors of matrix orthogonal polynomials expressed by quasi-determinant are shown to be solutions of non-abelian Toda lattice in semi-discrete and full-discrete cases. Moreover, with a moment modification method, we demonstrate that the B\"acklund transformation of non-abelian Toda given by Popowicz is equivalent to the non-abelian Volterra lattice, whose solutions could be expressed by quasi-determinants as well.


title: Clock Skew Compensation Algorithm Immune to Floating-Point Precision Loss

abstract: We propose a novel clock skew compensation algorithm based on Bresenham's line drawing algorithm. The proposed algorithm can avoid the effect of limited floating-point precision (e.g., 32-bit single precision) on clock skew compensation and thereby provide high-precision time synchronization even with resource-constrained sensor nodes in wireless sensor networks.


title: Supporting CUDA for an extended RISC-V GPU architecture

abstract: With the rapid development of scientific computation, more and more researchers and developers are committed to implementing various workloads/operations on different devices. Among all these devices, NVIDIA GPU is the most popular choice due to its comprehensive documentation and excellent development tools. As a result, there are abundant resources for hand-writing high-performance CUDA codes. However, CUDA is mainly supported by only commercial products and there has been no support for open-source H/W platforms. RISC-V is the most popular choice for hardware ISA, thanks to its elegant design and open-source license. In this project, we aim to utilize these existing CUDA codes with RISC-V devices. More specifically, we design and implement a pipeline that can execute CUDA source code on an RISC-V GPU architecture. We have succeeded in executing CUDA kernels with several important features, like multi-thread and atomic instructions, on an RISC-V GPU architecture.


title: Reaction mechanism study for multinucleon transfer processes in collisions of spherical and deformed nuclei at energies near and above the Coulomb barrier: The $^{16}$O+$^{154}$Sm reaction

abstract: Background: Multinucleon transfer reactions at energies around the Coulomb barrier offer a vital opportunity to study rich physics of nuclear structure and dynamics. Despite the continuous development in the field, we have still limited knowledge about how deformation - one of the representative nuclear structures - affects multinucleon transfer reactions. Purpose: To shed light on the effect of deformation in multinucleon transfer processes, we study the $^{16}$O+$^{154}$Sm reaction at $E_{\rm lab}$=85 MeV (around the Coulomb barrier) and 134 MeV (substantially above the Coulomb barrier), where the target nucleus, $^{154}$Sm, is a well-established, deformed nucleus. Results: Angular distributions for elastic scattering and for various transfer channels were measured over a wide angular range at the BARC-TIFR pelletron-Linac accelerator facility, Mumbai. The $Q$-value- and angle-integrated isotope production cross sections have been extracted from the measured angular distributions. The experimental data are analyzed along with time-dependent Hartree-Fock calculations. For the lower incident energy case, we find a reasonable agreement between the measurements and the TDHF calculations for a-few-nucleon transfer channels; whereas TDHF underestimates cross sections for many-nucleon transfers, consistent with earlier works. On the other side, we find that calculated cross sections for secondary reaction products for the higher incident energy case, qualitatively explains the measured trends of isotopic distributions observed for the lower energy. The latter observation indicates possible underestimation of excitation energies in the present TDHF+GEMINI analysis. Although certain orientation effects were observed in TDHF results, it is difficult to disentangle them from the $Q$-value- and angle-integrated production cross sections. (Shortened due to the arXiv's length limit.)


title: FLASHE: Additively Symmetric Homomorphic Encryption for Cross-Silo Federated Learning

abstract: Homomorphic encryption (HE) is a promising privacy-preserving technique for cross-silo federated learning (FL), where organizations perform collaborative model training on decentralized data. Despite the strong privacy guarantee, general HE schemes result in significant computation and communication overhead. Prior works employ batch encryption to address this problem, but it is still suboptimal in mitigating communication overhead and is incompatible with sparsification techniques. In this paper, we propose FLASHE, an HE scheme tailored for cross-silo FL. To capture the minimum requirements of security and functionality, FLASHE drops the asymmetric-key design and only involves modular addition operations with random numbers. Depending on whether to accommodate sparsification techniques, FLASHE is optimized in computation efficiency with different approaches. We have implemented FLASHE as a pluggable module atop FATE, an industrial platform for cross-silo FL. Compared to plaintext training, FLASHE slightly increases the training time by $\leq6\%$, with no communication overhead.