title: Optimal anticodes, MSRD codes, and generalized weights in the sum-rank metric

abstract: Sum-rank metric codes have recently attracted the attention of many researchers, due to their relevance in several applications. Mathematically, the sum-rank metric is a natural generalization of both the Hamming metric and the rank metric. In this paper, we provide an Anticode Bound for the sum-rank metric, which extends the corresponding Hamming and rank-metric Anticode bounds. We classify then optimal anticodes, i.e., codes attaining the sum-rank metric Anticode Bound. We use these optimal anticodes to define generalized sum-rank weights and we study their main properties. In particular, we prove that the generalized weights of an MSRD code are determined by its parameters. As an application, in the Appendix we explain how generalized weights measure information leakage in multishot network coding.


title: Anomalous hydrodynamics in a class of scarred frustration-free Hamiltonians

abstract: Atypical eigenstates in the form of quantum scars and fragmentation of Hilbert space due to conservation laws provide obstructions to thermalization in the absence of disorder. In certain models with dipole and $U(1)$ conservation, the fragmentation results in subdiffusive transport. In this paper we study the interplay between scarring and weak fragmentation giving rise to anomalous hydrodynamics in a class of one-dimensional spin-$1$ frustration-free projector Hamiltonians, known as deformed Motzkin chain. The ground states and low-lying excitations of these chains exhibit large entanglement and critical slowdown. We show that at high energies the particular form of the projectors causes the emergence of disjoint Krylov subspaces for open boundary conditions, with an exact quantum scar being embedded in each subspace, leading to slow growth of entanglement and localized dynamics for specific out-of-equilibrium initial states. Furthermore, focusing on infinite temperature, we unveil that spin transport is subdiffusive, which we corroborate by simulations of constrained stochastic cellular automaton circuits. Compared to dipole moment conserving systems, the deformed Motzkin chain appears to belong to a different universality class with distinct dynamical transport exponent and only polynomially many Krylov subspaces.


title: On the degree of semi-stable reduction

abstract: For an abelian variety $A$ over a number field we study bounds depending only on the dimension of $A$ for the minimal degree $d(A)$ of a field extension over which $A$ acquires semi-stable reduction. We first compute $d(A)$ in terms of the cardinalities of the finite monodromy groups of $A$ which leads to a bound on $d(A)$ in terms of the classical Minkowski bound. We then show this bound is tight up to its $2$-part by considering $p$-adic coverings of the local points of a universal abelian scheme.


title: Clones in Deep Learning Code: What, Where, and Why?

abstract: Deep Learning applications are becoming increasingly popular. Developers of deep learning systems strive to write more efficient code. Deep learning systems are constantly evolving, imposing tighter development timelines and increasing complexity, which may lead to bad design decisions. A copy-paste approach is widely used among deep learning developers because they rely on common frameworks and duplicate similar tasks. Developers often fail to properly propagate changes to all clones fragments during a maintenance activity. To our knowledge, no study has examined code cloning practices in deep learning development. Given the negative impacts of clones on software quality reported in the studies on traditional systems, it is very important to understand the characteristics and potential impacts of code clones on deep learning systems. To this end, we use the NiCad tool to detect clones from 59 Python, 14 C# and 6 Java-based deep learning systems and an equal number of traditional software systems. We then analyze the frequency and distribution of code clones in deep learning and traditional systems. We do further analysis of the distribution of code clones using location-based taxonomy. We also study the correlation between bugs and code clones to assess the impacts of clones on the quality of the studied systems. Finally, we introduce a code clone taxonomy related to deep learning programs and identify the deep learning system development phases in which cloning has the highest risk of faults. Our results show that code cloning is a frequent practice in deep learning systems and that deep learning developers often clone code from files in distant repositories in the system. In addition, we found that code cloning occurs more frequently during DL model construction. And that hyperparameters setting is the phase during which cloning is the riskiest, since it often leads to faults.


title: Multilattice graphs and perfect domination

abstract: Perfect codes in the $n$-dimensio\-nal grid $\Lambda_n$ of the lattice $\mathbb{Z}^n$ ($0<n\in\mathbb{Z}$) and its quotient toroidal grids were obtained via the truncated distance in $\mathbb{Z}^n$ given between $u=(u_1,\cdots,u_n)$ and $v=(v_1, \ldots,v_n)$ as the graph distance $h(u,v)$ in $\Lambda_n$, if $|u_i-v_i|\le 1$, for all $i\in\{1, \ldots,n\}$, and as $n+1$, otherwise. Such codes are extended to multilattice graphs $\Gamma_n$ obtained by glueing ternary $n$-cubes along their codimension 1 ternary subcubes in such a way that each binary $n$-subcube is contained in a unique maximal lattice of $\Gamma_n$. The existence of an infinite number of isolated perfect truncated-metric codes of radius 2 in $\Gamma_n$ for $n=2$ is ascertained, leading to conjecture such existence for $n>2$ with radius $n$.


title: Proposal-based Few-shot Sound Event Detection for Speech and Environmental Sounds with Perceivers

abstract: Many applications involve detecting and localizing specific sound events within long, untrimmed documents, including keyword spotting, medical observation, and bioacoustic monitoring for conservation. Deep learning techniques often set the state-of-the-art for these tasks. However, for some types of events, there is insufficient labeled data to train such models. In this paper, we propose a region proposal-based approach to few-shot sound event detection utilizing the Perceiver architecture. Motivated by a lack of suitable benchmark datasets, we generate two new few-shot sound event localization datasets: "Vox-CASE," using clips of celebrity speech as the sound event, and "ESC-CASE," using environmental sound events. Our highest performing proposed few-shot approaches achieve 0.483 and 0.418 F1-score, respectively, with 5-shot 5-way tasks on these two datasets. These represent relative improvements of 72.5% and 11.2% over strong proposal-free few-shot sound event detection baselines.


title: Pitch-Informed Instrument Assignment Using a Deep Convolutional Network with Multiple Kernel Shapes

abstract: This paper proposes a deep convolutional neural network for performing note-level instrument assignment. Given a polyphonic multi-instrumental music signal along with its ground truth or predicted notes, the objective is to assign an instrumental source for each note. This problem is addressed as a pitch-informed classification task where each note is analysed individually. We also propose to utilise several kernel shapes in the convolutional layers in order to facilitate learning of efficient timbre-discriminative feature maps. Experiments on the MusicNet dataset using 7 instrument classes show that our approach is able to achieve an average F-score of 0.904 when the original multi-pitch annotations are used as the pitch information for the system, and that it also excels if the note information is provided using third-party multi-pitch estimation algorithms. We also include ablation studies investigating the effects of the use of multiple kernel shapes and comparing different input representations for the audio and the note-related information.


title: Towards Automating Structural Discovery in Scanning Transmission Electron Microscopy

abstract: Scanning transmission electron microscopy (STEM) is now the primary tool for exploring functional materials on the atomic level. Often, features of interest are highly localized in specific regions in the material, such as ferroelectric domain walls, extended defects, or second phase inclusions. Selecting regions to image for structural and chemical discovery via atomically resolved imaging has traditionally proceeded via human operators making semi-informed judgements on sampling locations and parameters. Recent efforts at automation for structural and physical discovery have pointed towards the use of "active learning" methods that utilize Bayesian optimization with surrogate models to quickly find relevant regions of interest. Yet despite the potential importance of this direction, there is a general lack of certainty in selecting relevant control algorithms and how to balance a priori knowledge of the material system with knowledge derived during experimentation. Here we address this gap by developing the automated experiment workflows with several combinations to both illustrate the effects of these choices and demonstrate the tradeoffs associated with each in terms of accuracy, robustness, and susceptibility to hyperparameters for structural discovery. We discuss possible methods to build descriptors using the raw image data and deep learning based semantic segmentation, as well as the implementation of variational autoencoder based representation. Furthermore, each workflow is applied to a range of feature sizes including NiO pillars within a La:SrMnO$_3$ matrix, ferroelectric domains in BiFeO$_3$, and topological defects in graphene. The code developed in this manuscript are open sourced and will be released at github.com/creangnc/AE_Workflows.


title: A Deep Graph Reinforcement Learning Model for Improving User Experience in Live Video Streaming

abstract: In this paper we present a deep graph reinforcement learning model to predict and improve the user experience during a live video streaming event, orchestrated by an agent/tracker. We first formulate the user experience prediction problem as a classification task, accounting for the fact that most of the viewers at the beginning of an event have poor quality of experience due to low-bandwidth connections and limited interactions with the tracker. In our model we consider different factors that influence the quality of user experience and train the proposed model on diverse state-action transitions when viewers interact with the tracker. In addition, provided that past events have various user experience characteristics we follow a gradient boosting strategy to compute a global model that learns from different events. Our experiments with three real-world datasets of live video streaming events demonstrate the superiority of the proposed model against several baseline strategies. Moreover, as the majority of the viewers at the beginning of an event has poor experience, we show that our model can significantly increase the number of viewers with high quality experience by at least 75% over the first streaming minutes. Our evaluation datasets and implementation are publicly available at https://publicresearch.z13.web.core.windows.net


title: Return of the TEDI: revisiting the Triple Evolution Dynamical Instability channel in triple stars

abstract: Triple-star systems exhibit a phenomenon known as the Triple Evolution Dynamical Instability (TEDI), in which mass loss in evolving triples triggers short-term dynamical instabilities, potentially leading to collisions of stars, exchanges, and ejections. Previous work has shown that the TEDI is an important pathway to head-on stellar collisions in the Galaxy, significantly exceeding the rate of collisions due to random encounters in globular clusters. Here, we revisit the TEDI evolutionary pathway using state-of-the-art population synthesis methods that self-consistently take into account stellar evolution and binary interactions, as well as gravitational dynamics and perturbations from passing stars in the field. We find Galactic TEDI-induced collision rates on the order of 1e-4/yr, consistent with previous studies which were based on more simplified methods. The majority of TEDI-induced collisions involve main sequence stars, potentially producing blue straggler stars. Collisions are also possible involving more evolved stars, potentially producing eccentric post-common-envelope systems, and white dwarfs collisions leading to Type Ia supernovae (although the latter with a negligible contribution to the Galactic rate). In our simulations, the TEDI is not only triggered by adiabatic wind mass loss, but also by Roche lobe overflow in the inner binary: when the donor star becomes less massive than the accretor, the inner binary orbit widens, triggering triple dynamical instability. We find that collision rates are increased by ~17% when fly-bys in the field are taken into account. In addition to collisions, we find that the TEDI produces ~1e-4/yr of unbound stars, although none with escape speeds in excess of 1e3 km/s.


title: The Solar Memory From Hours to Decades

abstract: Waiting time distributions allow us to distinguish at least three different types of dynamical systems, such as (i) linear random processes (with no memory); (ii) nonlinear, avalanche-type, nonstationary Poisson processes (with memory during the exponential growth of the avalanche rise time); and (iii) chaotic systems in the state of a nonlinear limit cycle (with memory during the oscillatory phase). We describe the temporal evolution of the flare rate $\lambda(t) \propto t^p$ with a polynomial function, which allows us to distinguish linear ($p \approx 1$) from nonlinear ($p \gapprox 2$) events. The power law slopes $\alpha$ of observed waiting times (with full solar cycle coverage) cover a range of $\alpha=2.1-2.4$, which agrees well with our prediction of $\alpha = 2.0+1/p = 2.3-2.5$. The memory time can also be defined with the time evolution of the logistic equation, for which we find a relationship between the nonlinear growth time $\tau_G = \tau_{rise}/(4p)$ and the nonlinearity index $p$. We find a nonlinear evolution for most events, in particular for the clustering of solar flares ($p=2.2\pm0.1$), partially occulted flare events ($p=1.8\pm0.2$), and the solar dynamo ($p=2.8\pm0.5$). The Sun exhibits memory on time scales of $\lapprox$2 hours to 3 days (for solar flare clustering), 6 to 23 days (for partially occulted flare events), and 1.5 month to 1 year (for the rise time of the solar dynamo).


title: Simplified reconstruction of layered materials in EIT

abstract: This short note considerably simplifies a reconstruction method by the author (Comm. PDE, 45(9):1118--1133, 2020), for reconstructing piecewise constant layered conductivities (PCLC) from partial boundary measurements in electrical impedance tomography. Theory from monotonicity-based reconstruction of extreme inclusions eliminates most of the bookkeeping related to multiple components of each layer, and also simplifies the involved test operators. Moreover, the method no longer requires a priori lower and upper bounds to the unknown conductivity values.


title: Yoneda extensions of abelian quotient categories

abstract: Let $\mathcal{A}$ be a essentially small abelian category and $\mathcal{C}$ be a Serre subcategory of $\mathcal{A}$. Consider the quotient functor $q:\mathcal{A}\rightarrow \mathcal{A}/\mathcal{C}$. For an object $A\in \mathcal{A}$ and a non-negative integer $k$ we investigate when the natural map $q_{X,A}^i: \rm Ext^i_{\mathcal{A}}(X,A)\rightarrow Ext^i_{\mathcal{A}/\mathcal{C}}(q(X),q(A))$ is invertible for every $X\in \mathcal{A}$ and every $i\in\{0,1,\cdots,k\}$. In the end we give an application of the main theorem.


title: Extract the energy scale of anomalous $\gamma\gamma \to W^+W^-$ scattering in the vector boson scattering process using artificial neural networks

abstract: As a model independent approach to search for the signals of new physics~(NP) beyond the Standard Model~(SM), the SM effective field theory~(SMEFT) draws a lot of attention recently. The energy scale of a process is an important parameter in the study of an EFT such as the SMEFT. However, for the processes at a hadron collider with neutrinos in the final states, the energy scales are difficult to reconstruct. In this paper, we study the energy scale of anomalous $\gamma\gamma \to W^+W^-$ scattering in the vector boson scattering~(VBS) process $pp\to j j \ell^+\ell^-\nu\bar{\nu}$ at the large hadron collider~(LHC) using artificial neural networks~(ANNs). We find that the ANN is a powerful tool to reconstruct the energy scale of $\gamma\gamma \to W^+W^-$ scattering. The factors affecting the effects of ANNs are also studied. In addition, we make an attempt to interpret the ANN and arrive at an approximate formula which has only five fitting parameters and works much better than the approximation derived from kinematic analysis. With the help of ANN approach, the unitarity bound is applied as a cut on the energy scale of $\gamma\gamma \to W^+W^-$ scattering, which is found to has a significant suppressive effect on signal events. The sensitivity of the process $pp\to j j \ell^+\ell^-\nu\bar{\nu}$ to anomalous $\gamma\gamma WW$ couplings and the expected constraints on the coefficients at current and possible future LHC are also studied.


title: Adaptation and Generalization for Unknown Sensitive Factors of Variations

abstract: Assured AI in unrestricted settings is a critical problem. Our framework addresses AI assurance challenges lying at the intersection of domain adaptation, fairness, and counterfactuals analysis, operating via the discovery and intervention on factors of variations in data (e.g. weather or illumination conditions) that significantly affect the robustness of AI models. Robustness is understood here as insensitivity of the model performance to variations in sensitive factors. Sensitive factors are traditionally set in a supervised setting, whereby factors are known a-priori (e.g. for fairness this could be factors like sex or race). In contrast, our motivation is real-life scenarios where less, or nothing, is actually known a-priori about certain factors that cause models to fail. This leads us to consider various settings (unsupervised, domain generalization, semi-supervised) that correspond to different degrees of incomplete knowledge about those factors. Therefore, our two step approach works by a) discovering sensitive factors that cause AI systems to fail in a unsupervised fashion, and then b) intervening models to lessen these factor's influence. Our method considers 3 interventions consisting of Augmentation, Coherence, and Adversarial Interventions (ACAI). We demonstrate the ability for interventions on discovered/source factors to generalize to target/real factors. We also demonstrate how adaptation to real factors of variations can be performed in the semi-supervised case where some target factor labels are known, via automated intervention selection. Experiments show that our approach improves on baseline models, with regard to achieving optimal utility vs. sensitivity/robustness tradeoffs.


title: An Infinite Dimensional Virtual Cohomology Group of $\textbf{SL}_3(\mathbb{Z}[t])$

abstract: We prove that $\textbf{SL}_3(\mathbb{Z}[t])$ has a finite index subgroup $\Gamma$ such that $H^2(\Gamma; \mathbb{Q})$ is infinite dimensional. The proof uses the geometry of the Euclidean building for $\textbf{SL}_3(\mathbb{Q}((t^{-1})))$.


title: United We Learn Better: Harvesting Learning Improvements From Class Hierarchies Across Tasks

abstract: Attempts of learning from hierarchical taxonomies in computer vision have been mostly focusing on image classification. Though ways of best harvesting learning improvements from hierarchies in classification are far from being solved, there is a need to target these problems in other vision tasks such as object detection. As progress on the classification side is often dependent on hierarchical cross-entropy losses, novel detection architectures using sigmoid as an output function instead of softmax cannot easily apply these advances, requiring novel methods in detection. In this work we establish a theoretical framework based on probability and set theory for extracting parent predictions and a hierarchical loss that can be used across tasks, showing results across classification and detection benchmarks and opening up the possibility of hierarchical learning for sigmoid-based detection architectures.


title: Underwater inspection and intervention dataset

abstract: This paper presents a novel dataset for the development of visual navigation and simultaneous localisation and mapping (SLAM) algorithms as well as for underwater intervention tasks. It differs from existing datasets as it contains ground truth for the vehicle's position captured by an underwater motion tracking system. The dataset contains distortion-free and rectified stereo images along with the calibration parameters of the stereo camera setup. Furthermore, the experiments were performed and recorded in a controlled environment, where current and waves could be generated allowing the dataset to cover a wide range of conditions - from calm water to waves and currents of significant strength.


title: Discovering 3D Parts from Image Collections

abstract: Reasoning 3D shapes from 2D images is an essential yet challenging task, especially when only single-view images are at our disposal. While an object can have a complicated shape, individual parts are usually close to geometric primitives and thus are easier to model. Furthermore, parts provide a mid-level representation that is robust to appearance variations across objects in a particular category. In this work, we tackle the problem of 3D part discovery from only 2D image collections. Instead of relying on manually annotated parts for supervision, we propose a self-supervised approach, latent part discovery (LPD). Our key insight is to learn a novel part shape prior that allows each part to fit an object shape faithfully while constrained to have simple geometry. Extensive experiments on the synthetic ShapeNet, PartNet, and real-world Pascal 3D+ datasets show that our method discovers consistent object parts and achieves favorable reconstruction accuracy compared to the existing methods with the same level of supervision.


title: HI angular momentum mass relation

abstract: We study the relationship between the H{\sc i} specific angular momentum (j$_{\rm g}$) and the H{\sc i} mass (M$_{\rm g}$) for a sample of galaxies with well measured H{\sc i} rotation curves. We find that the relation is well described by an unbroken power law \jg $\propto$ \mg$^{\alpha}$ over the entire mass range (10$^{7}$-10$^{10.5}$ M$_{\odot}$), with $\alpha = 0.89 \pm 0.05$ (scatter 0.18 dex). This is in reasonable agreement with models which assume that evolutionary processes maintain H{\sc i} disks in a marginally stable state. The slope we observe is also significantly different from both the $j \propto M^{2/3}$ relation expected for dark matter haloes from tidal torquing models and the observed slope of the specific angular momentum-mass relation for the stellar component of disk galaxies. Our sample includes two H{\sc i}-bearing ultra diffuse galaxies, and we find that their angular momentum follows the same relation as other galaxies. The only discrepant galaxies in our sample are early-type galaxies with large rotating H{\sc i} disks which are found to have significantly higher angular momentum than expected from the power law relation. The H{\sc i} disks of all these early-type galaxies are misaligned or counter-rotating with respect to the stellar disks, consistent with the gas being recently accreted. We speculate that late stage wet mergers, as well as cold flows play a dominant role in determining the kinematics of the baryonic component of galaxies as suggested by recent numerical simulations.


title: Self-interaction corrected Kohn-Sham effective potentials using the density-consistent effective potential method

abstract: Density functional theory (DFT) and beyond-DFT methods are often used in combination with photoelectron spectroscopy to obtain physical insights into the electronic structure of molecules and solids. The Kohn-Sham eigenvalues are not electron removal energies except for the highest occupied orbital. The eigenvalues of the highest occupied molecular orbitals often underestimate the electron removal or ionization energies due to the self-interaction (SI) errors in approximate density functionals. In this work, we adapt and implement the density-consistent effective potential(DCEP) method of Kohut, Ryabinkin, and Staroverov to obtain SI corrected local effective potentials from the SI corrected Fermi-L\"owdin orbitals and density in the FLOSIC scheme. The implementation is used to obtain the density of states (photoelectron spectra) and HOMO-LUMO gaps for a set of molecules and polyacenes. Good agreement with experimental values is obtained compared to a range of SI uncorrected density functional approximations.


title: Efficient Episodic Learning of Nonstationary and Unknown Zero-Sum Games Using Expert Game Ensembles

abstract: Game theory provides essential analysis in many applications of strategic interactions. However, the question of how to construct a game model and what is its fidelity is seldom addressed. In this work, we consider learning in a class of repeated zero-sum games with unknown, time-varying payoff matrix, and noisy feedbacks, by making use of an ensemble of benchmark game models. These models can be pre-trained and collected dynamically during sequential plays. They serve as prior side information and imperfectly underpin the unknown true game model. We propose OFULinMat, an episodic learning algorithm that integrates the adaptive estimation of game models and the learning of the strategies. The proposed algorithm is shown to achieve a sublinear bound on the saddle-point regret. We show that this algorithm is provably efficient through both theoretical analysis and numerical examples. We use a dynamic honeypot allocation game as a case study to illustrate and corroborate our results. We also discuss the relationship and highlight the difference between our framework and the classical adversarial multi-armed bandit framework.


title: Beyond SDLC: Process Modeling and Documentation Using Thinging Machines

abstract: The software development life cycle (SDLC) is a procedure used to develop a software system that meets both the customer s needs and real-world requirements. The first phase of the SDLC involves creating a conceptual model that represents the involved domain in reality. In requirements engineering, building such a model is considered a bridge to the design and construction phases. However, this type of model can also serve as a basic model for identifying business processes and how these processes are interconnected to achieve the final result. This paper focuses on process modeling in organizations, per se, beyond its application in the SDLC when an organization needs further documentation to meet its growth needs and address regular changes over time. The resultant process documentation is created alongside the daily operations of the business process. The model provides process visualization and documentation to assist in defining work patterns, avoiding redundancy, or even designing new processes. In this paper, a proposed diagrammatic representation models each process using one diagram comprising five actions and two types of relationships to build three levels of depiction. These levels consist of a static description, events, and the behavior of the modeled process. The viability of a thinging machine is demonstrated by re-modeling some examples from the literature.


title: Don't Separate, Learn to Remix: End-to-End Neural Remixing with Joint Optimization

abstract: The task of manipulating the level and/or effects of individual instruments to recompose a mixture of recordings, or remixing, is common across a variety of applications such as music production, audio-visual post-production, podcasts, and more. This process, however, traditionally requires access to individual source recordings, restricting the creative process. To work around this, source separation algorithms can separate a mixture into its respective components. Then, a user can adjust their levels and mix them back together. This two-step approach, however, still suffers from audible artifacts and motivates further work. In this work, we learn to remix music directly by re-purposing Conv-TasNet, a well-known source separation model, into two neural remixing architectures. To do this, we use an explicit loss term that directly measures remix quality and jointly optimize it with a separation loss. We evaluate our methods using the Slakh and MUSDB18 datasets and report remixing performance as well as the impact on source separation as a byproduct. Our results suggest that learning-to-remix significantly outperforms a strong separation baseline and is particularly useful for small volume changes.


title: Detecting and characterising small-scale brightenings in solar imaging data

abstract: Observations of small-scale brightenings in the low solar atmosphere can provide valuable constraints on possible heating/heat-transport mechanisms. We present a method for the detection and analysis of brightenings and demonstrate its application to IRIS EUV time-series imagery. The method uses band-pass filtering, adaptive thresholding and centroid tracking, and records an event's position, duration, and total/maximum brightness. Area, brightness, and position are also recorded as functions of time throughout their lifetime. Detected brightenings can fragment or merge over time, thus the number of distinct regions constituting a brightening event is recorded over time and the maximum number of regions are recorded as a simple measure of an event's coherence/complexity. A test is made on a synthetic datacube composed of a static background based on IRIS data, Poisson noise and $\approx10^4$ randomly-distributed, moving, small-scale Gaussian brightenings. Maximum brightness, total brightness, area, and duration follow power-law distributions and the results show the range over which the method can extract information. The recorded maximum brightness is a reliable measure for the brightest and most accurately detected events with an error of 6%. Area, duration, and speed are generally underestimated by 15% with an uncertainty of 20-30%. Total brightness is underestimated by 30% with an uncertainty of 30%. Applying this method to real IRIS QS data spanning 19 minutes over a 54.40"$\times$55.23" FOV yields 2997 detections. 1340 of these either remain un-fragmented or fragment to two distinct regions at least once during their lifetime equating to an event density of $3.96\times10^{-4}$arcsec$^{-2}$s$^{-1}$. The method will be used for a future large-scale statistical analysis of several QS data sets from IRIS, other EUV imagers, as well as H-$\alpha$ and visible photospheric imagery.


title: A note on the mean values of the derivatives of $\zeta'/\zeta$

abstract: Assuming the Riemann hypothesis, we obtain a formula for the mean value of the $k$-derivative of $\zeta'/\zeta$, depending on the pair correlation of zeros of the Riemann zeta-function. This formula allows us to obtain new equivalences to Montgomery's pair correlation conjecture. This extends a result of Goldston, Gonek, and Montgomery where the mean value of $\zeta'/\zeta$ was considered.


title: Sign and Search: Sign Search Functionality for Sign Language Lexica

abstract: Sign language lexica are a useful resource for researchers and people learning sign languages. Current implementations allow a user to search a sign either by its gloss or by selecting its primary features such as handshape and location. This study focuses on exploring a reverse search functionality where a user can sign a query sign in front of a webcam and retrieve a set of matching signs. By extracting different body joints combinations (upper body, dominant hand's arm and wrist) using the pose estimation framework OpenPose, we compare four techniques (PCA, UMAP, DTW and Euclidean distance) as distance metrics between 20 query signs, each performed by eight participants on a 1200 sign lexicon. The results show that UMAP and DTW can predict a matching sign with an 80\% and 71\% accuracy respectively at the top-20 retrieved signs using the movement of the dominant hand arm. Using DTW and adding more sign instances from other participants in the lexicon, the accuracy can be raised to 90\% at the top-10 ranking. Our results suggest that our methodology can be used with no training in any sign language lexicon regardless of its size.


title: Load Balancing: The Long Road from Theory to Practice

abstract: There is a long history of approximation schemes for the problem of scheduling jobs on identical machines to minimize the makespan. Such a scheme grants a $(1+\epsilon)$-approximation solution for every $\epsilon > 0$, but the running time grows exponentially in $1/\epsilon$. For a long time, these schemes seemed like a purely theoretical concept. Even solving instances for moderate values of $\epsilon$ seemed completely illusional. In an effort to bridge theory and practice, we refine recent ILP techniques to develop the fastest known approximation scheme for this problem. An implementation of this algorithm reaches values of $\epsilon$ lower than $2/11\approx 18.2\%$ within a reasonable timespan. This is the approximation guarantee of MULTIFIT, which, to the best of our knowledge, has the best proven guarantee of any non-scheme algorithm.


title: Imbalanced Adversarial Training with Reweighting

abstract: Adversarial training has been empirically proven to be one of the most effective and reliable defense methods against adversarial attacks. However, almost all existing studies about adversarial training are focused on balanced datasets, where each class has an equal amount of training examples. Research on adversarial training with imbalanced training datasets is rather limited. As the initial effort to investigate this problem, we reveal the facts that adversarially trained models present two distinguished behaviors from naturally trained models in imbalanced datasets: (1) Compared to natural training, adversarially trained models can suffer much worse performance on under-represented classes, when the training dataset is extremely imbalanced. (2) Traditional reweighting strategies may lose efficacy to deal with the imbalance issue for adversarial training. For example, upweighting the under-represented classes will drastically hurt the model's performance on well-represented classes, and as a result, finding an optimal reweighting value can be tremendously challenging. In this paper, to further understand our observations, we theoretically show that the poor data separability is one key reason causing this strong tension between under-represented and well-represented classes. Motivated by this finding, we propose Separable Reweighted Adversarial Training (SRAT) to facilitate adversarial training under imbalanced scenarios, by learning more separable features for different classes. Extensive experiments on various datasets verify the effectiveness of the proposed framework.


title: Secure Bayesian Federated Analytics for Privacy-Preserving Trend Detection

abstract: Federated analytics has many applications in edge computing, its use can lead to better decision making for service provision, product development, and user experience. We propose a Bayesian approach to trend detection in which the probability of a keyword being trendy, given a dataset, is computed via Bayes' Theorem; the probability of a dataset, given that a keyword is trendy, is computed through secure aggregation of such conditional probabilities over local datasets of users. We propose a protocol, named SAFE, for Bayesian federated analytics that offers sufficient privacy for production grade use cases and reduces the computational burden of users and an aggregator. We illustrate this approach with a trend detection experiment and discuss how this approach could be extended further to make it production-ready.


title: Learned upper bounds for the Time-Dependent Travelling Salesman Problem

abstract: Given a graph whose arc traversal times vary over time, the Time-Dependent Travelling Salesman Problem consists in finding a Hamiltonian tour of least total duration covering the vertices of the graph. The main goal of this work is to define tight upper bounds for this problem by reusing the information gained when solving instances with similar features. This is customary in distribution management, where vehicle routes have to be generated over and over again with similar input data. To this aim, we devise an upper bounding technique based on the solution of a classical (and simpler) time-independent Asymmetric Travelling Salesman Problem, where the constant arc costs are suitably defined by the combined use of a Linear Program and a mix of unsupervised and supervised Machine Learning techniques. The effectiveness of this approach has been assessed through a computational campaign on the real travel time functions of two European cities: Paris and London. The overall average gap between our heuristic and the best-known solutions is about 0.001\%. For 31 instances, new best solutions have been obtained.


title: Categorical and K-theoretic Hall algebras for quivers with potential

abstract: Given a quiver with potential $(Q,W)$, Kontsevich-Soibelman constructed a Hall algebra on the critical cohomology of the stack of representations of $(Q,W)$. Special cases of this construction are related to work of Nakajima, Varagnolo, Schiffmann-Vasserot, Maulik-Okounkov, Yang-Zhao etc. about geometric constructions of Yangians and their representations; indeed, given a quiver $Q$, there exists an associated pair $\left(\widetilde{Q},\widetilde{W}\right)$ whose CoHA is conjecturally the positive half of the Maulik-Okounkov Yangian $Y_{\text{MO}}(\mathfrak{g}_Q)$. For a quiver with potential $(Q,W)$, we follow a suggestion of Kontsevich-Soibelman and study a categorification of the above algebra constructed using categories of singularities. Its Grothendieck group is a K-theoretic Hall algebra (KHA) for quivers with potential. We construct representations using framed quivers and we prove a wall-crossing theorem for KHAs. We expect the KHA for $\left(\widetilde{Q},\widetilde{W}\right)$ to recover the positive part of quantum affine algebra $U_q\left(\widehat{\mathfrak{g}_Q}\right)$ defined by Okounkov-Smirnov.


title: Lighter Stacked Hourglass Human Pose Estimation

abstract: Human pose estimation (HPE) is one of the most challenging tasks in computer vision as humans are deformable by nature and thus their pose has so much variance. HPE aims to correctly identify the main joint locations of a single person or multiple people in a given image or video. Locating joints of a person in images or videos is an important task that can be applied in action recognition and object tracking. As have many computer vision tasks, HPE has advanced massively with the introduction of deep learning to the field. In this paper, we focus on one of the deep learning-based approaches of HPE proposed by Newell et al., which they named the stacked hourglass network. Their approach is widely used in many applications and is regarded as one of the best works in this area. The main focus of their approach is to capture as much information as it can at all possible scales so that a coherent understanding of the local features and full-body location is achieved. Their findings demonstrate that important cues such as orientation of a person, arrangement of limbs, and adjacent joints' relative location can be identified from multiple scales at different resolutions. To do so, they makes use of a single pipeline to process images in multiple resolutions, which comprises a skip layer to not lose spatial information at each resolution. The resolution of the images stretches as lower as 4x4 to make sure that a smaller spatial feature is included. In this study, we study the effect of architectural modifications on the computational speed and accuracy of the network.


title: Spin and Pseudo-Spin Symmetries in Radial Dirac Equation and Exceptional Hermite Polynomials

abstract: We have generalized the solutions of the radial Dirac equation with a tensor potential under spin and pseudospin symmetry limits to exceptional orthogonal Hermite polynomials family. We have obtained new general rational potential models which are the generalization of the nonlinear isotonic potential families and also energy dependent.


title: First principles prediction of the Al-Li phase diagram

abstract: The phase diagram of the Al-Li system was determined by means of first principles calculations in combination with the cluster expansion formalism and statistical mechanics. The ground state phases were determined from first principles calculations of fcc and bcc configurations in the whole compositional range while the phase transitions as a function of temperature were ascertained from the thermodynamic grand potential and the Gibbs free energies of the phases. Overall, the calculated phase diagram was in good agreement with the currently accepted experimental phase diagram but the simulations provided new insights that are important to optimize microstructure of these alloys by means of heat treatments. In particular, the structure of the potential GP zones, made up of Al0.5Li0.5 (001) monolayers embedded in Al matrix, was identified. It was found that Al3Li is a stable phase although the energy barrier for the transformation of Al3Li into AlLi is very small (a few meV) and can be overcome by thermal vibrations. Moreover, bcc AlLi was found to be formed by martensitic transformation of fcc configurations and Al3Li precipitates stand for favorable sites for the nucleation of AlLi because they contain the basic blocks of such fcc ordering. Finally, polynomial expressions of the Gibbs free energies of the different phases as a function of temperature and composition were given, so they can be used in mesoscale simulations of precipitation in Al-Li alloys.


title: Evaluating Relaxations of Logic for Neural Networks: A Comprehensive Study

abstract: Symbolic knowledge can provide crucial inductive bias for training neural models, especially in low data regimes. A successful strategy for incorporating such knowledge involves relaxing logical statements into sub-differentiable losses for optimization. In this paper, we study the question of how best to relax logical expressions that represent labeled examples and knowledge about a problem; we focus on sub-differentiable t-norm relaxations of logic. We present theoretical and empirical criteria for characterizing which relaxation would perform best in various scenarios. In our theoretical study driven by the goal of preserving tautologies, the Lukasiewicz t-norm performs best. However, in our empirical analysis on the text chunking and digit recognition tasks, the product t-norm achieves best predictive performance. We analyze this apparent discrepancy, and conclude with a list of best practices for defining loss functions via logic.


title: Egyptian Sign Language Recognition Using CNN and LSTM

abstract: Sign language is a set of gestures that deaf people use to communicate. Unfortunately, normal people don't understand it, which creates a communication gap that needs to be filled. Because of the variations in (Egyptian Sign Language) ESL from one region to another, ESL provides a challenging research problem. In this work, we are providing applied research with its video-based Egyptian sign language recognition system that serves the local community of deaf people in Egypt, with a moderate and reasonable accuracy. We present a computer vision system with two different neural networks architectures. The first is a Convolutional Neural Network (CNN) for extracting spatial features. The CNN model was retrained on the inception mod. The second architecture is a CNN followed by a Long Short-Term Memory (LSTM) for extracting both spatial and temporal features. The two models achieved an accuracy of 90% and 72%, respectively. We examined the power of these two architectures to distinguish between 9 common words (with similar signs) among some deaf people community in Egypt.


title: Spot What Matters: Learning Context Using Graph Convolutional Networks for Weakly-Supervised Action Detection

abstract: The dominant paradigm in spatiotemporal action detection is to classify actions using spatiotemporal features learned by 2D or 3D Convolutional Networks. We argue that several actions are characterized by their context, such as relevant objects and actors present in the video. To this end, we introduce an architecture based on self-attention and Graph Convolutional Networks in order to model contextual cues, such as actor-actor and actor-object interactions, to improve human action detection in video. We are interested in achieving this in a weakly-supervised setting, i.e. using as less annotations as possible in terms of action bounding boxes. Our model aids explainability by visualizing the learned context as an attention map, even for actions and objects unseen during training. We evaluate how well our model highlights the relevant context by introducing a quantitative metric based on recall of objects retrieved by attention maps. Our model relies on a 3D convolutional RGB stream, and does not require expensive optical flow computation. We evaluate our models on the DALY dataset, which consists of human-object interaction actions. Experimental results show that our contextualized approach outperforms a baseline action detection approach by more than 2 points in Video-mAP. Code is available at \url{https://github.com/micts/acgcn}


title: Reuse Cache for Heterogeneous CPU-GPU Systems

abstract: It is generally observed that the fraction of live lines in shared last-level caches (SLLC) is very small for chip multiprocessors (CMPs). This can be tackled using promotion-based replacement policies like re-reference interval prediction (RRIP) instead of LRU, dead-block predictors, or reuse-based cache allocation schemes. In GPU systems, similar LLC issues are alleviated using various cache bypassing techniques. These issues are worsened in heterogeneous CPU-GPU systems because the two processors have different data access patterns and frequencies. GPUs generally work on streaming data, but have many more threads accessing memory as compared to CPUs. As such, most traditional cache replacement and allocation policies prove ineffective due to the higher number of cache accesses in GPU applications, resulting in higher allocation for GPU cache lines, despite their minimal reuse. In this work, we implement the Reuse Cache approach for heterogeneous CPU-GPU systems. The reuse cache is a decoupled tag/data SLLC which is designed to only store the data that is being accessed more than once. This design is based on the observation that most of the cache lines in the LLC are stored but do not get reused before being replaced. We find that the reuse cache achieves within 0.5% of the IPC gains of a statically partitioned LLC, while decreasing the area cost of the LLC by an average of 40%.


title: Automata-based Optimal Planning with Relaxed Specifications

abstract: In this paper, we introduce an automata-based framework for planning with relaxed specifications. User relaxation preferences are represented as weighted finite state edit systems that capture permissible operations on the specification, substitution and deletion of tasks, with complex constraints on ordering and grouping. We propose a three-way product automaton construction method that allows us to compute minimal relaxation policies for the robots using standard shortest path algorithms. The three-way automaton captures the robot's motion, specification satisfaction, and available relaxations at the same time. Additionally, we consider a bi-objective problem that balances temporal relaxation of deadlines within specifications with changing and deleting tasks. Finally, we present the runtime performance and a case study that highlights different modalities of our framework.


title: Similarity and symmetry measures based on fuzzy descriptors of image objects` composition

abstract: The paper describes a method for measuring the similarity and symmetry of an image annotated with bounding boxes indicating image objects. The latter representation became popular recently due to the rapid development of fast and efficient deep-learning-based object-detection methods. The proposed approach allows for comparing sets of bounding boxes to estimate the degree of similarity of their underlying images. It is based on the fuzzy approach that uses the fuzzy mutual position (FMP) matrix to describe spatial composition and relations between bounding boxes within an image. A method of computing the similarity of two images described by their FMP matrices is proposed and the algorithm of its computation. It outputs the single scalar value describing the degree of content-based image similarity. By modifying the method`s parameters, instead of similarity, the reflectional symmetry of object composition may also be measured. The proposed approach allows for measuring differences in objects` composition of various intensities. It is also invariant to translation and scaling and - in case of symmetry detection - position and orientation of the symmetry axis. A couple of examples illustrate the method.


title: Transmission Spectroscopy of the Earth-Sun System to Inform the Search for Extrasolar Life

abstract: Upcoming NASA astrophysics missions such as the James Webb Space Telescope will search for signs of life on planets transiting nearby stars. Doing so will require co-adding dozens of transmission spectra to build up sufficient signal to noise while simultaneously accounting for challenging systematic effects such as surface/weather variability, atmospheric refraction, and stellar activity. To determine the magnitude and impacts of both stellar and planet variability on measured transmission spectra, we must assess the feasibility of stacking multiple transmission spectra of exo-Earths around their host stars. Using our own solar system, we can determine if current methodologies are sufficient to detect signs of life in Earth's atmosphere and measure the abundance of habitability indicators, such as H2O and CO2, and biosignature pairs, such as O2 and CH4. We assess the impact on transmission spectra of Earth transiting across the Sun from solar and planetary variability and identify remaining unknowns for understanding exoplanet transmission spectra. We conclude that a satellite observing Earth transits across the Sun from beyond L2 is necessary to address these long-standing concerns about the reliability of co-adding planet spectra at UV, optical, and infrared wavelengths from multiple transits in the face of relatively large astrophysical systematics.


title: Demand Forecasting in Smart Grid Using Long Short-Term Memory

abstract: Demand forecasting in power sector has become an important part of modern demand management and response systems with the rise of smart metering enabled grids. Long Short-Term Memory (LSTM) shows promising results in predicting time series data which can also be applied to power load demand in smart grids. In this paper, an LSTM based model using neural network architecture is proposed to forecast power demand. The model is trained with hourly energy and power usage data of four years from a smart grid. After training and prediction, the accuracy of the model is compared against the traditional statistical time series analysis algorithms, such as Auto-Regressive (AR), to determine the efficiency. The mean absolute percentile error is found to be 1.22 in the proposed LSTM model, which is the lowest among the other models. From the findings, it is clear that the inclusion of neural network in predicting power demand reduces the error of prediction significantly. Thus, the application of LSTM can enable a more efficient demand response system.


title: Deep learning reconstruction in ANTARES

abstract: ANTARES is currently the largest undersea neutrino telescope, located in the Mediterranean Sea and taking data since 2007. It consists of a 3D array of photo sensors, instrumenting about 10Mt of seawater to detect Cherenkov light induced by secondary particles from neutrino interactions. The event reconstruction and background discrimination is challenging and machine-learning techniques are explored to improve the performance. In this contribution, two case studies using deep convolutional neural networks are presented. In the first one, this approach is used to improve the direction reconstruction of low-energy single-line events, for which the reconstruction of the azimuth angle of the incoming neutrino is particularly difficult. We observe a promising improvement in resolution over classical reconstruction techniques and expect to at least double our sensitivity in the low-energy range, important for dark matter searches. The second study employs deep learning to reconstruct the visible energy of neutrino interactions of all flavors and for the multi-line setup of the full detector.


title: Charged Fluids in Porous Media

abstract: The Nernst-Planck-Darcy system models ionic electrodiffusion in porous media. We consider the system for two ionic species with opposite valences. We prove that the initial value problem for the Nernst-Planck-Darcy system in periodic domains in two or three dimensions has global weak solutions in $W^{1, p}$ ($p \geq 2$). We obtain furthermore global existence and uniqueness of smooth solutions for arbitrary large data.


title: Characterizing the Generalization Error of Gibbs Algorithm with Symmetrized KL information

abstract: Bounding the generalization error of a supervised learning algorithm is one of the most important problems in learning theory, and various approaches have been developed. However, existing bounds are often loose and lack of guarantees. As a result, they may fail to characterize the exact generalization ability of a learning algorithm. Our main contribution is an exact characterization of the expected generalization error of the well-known Gibbs algorithm in terms of symmetrized KL information between the input training samples and the output hypothesis. Such a result can be applied to tighten existing expected generalization error bound. Our analysis provides more insight on the fundamental role the symmetrized KL information plays in controlling the generalization error of the Gibbs algorithm.

categories: cs.LG cs.IT math.IT math.ST stat.ML stat.TH


title: Competitive Control

abstract: We consider control from the perspective of competitive analysis. Unlike much prior work on learning-based control, which focuses on minimizing regret against the best controller selected in hindsight from some specific class, we focus on designing an online controller which competes against a clairvoyant offline optimal controller. A natural performance metric in this setting is competitive ratio, which is the ratio between the cost incurred by the online controller and the cost incurred by the offline optimal controller. Using operator-theoretic techniques from robust control, we derive a computationally efficient state-space description of the the controller with optimal competitive ratio in both finite-horizon and infinite-horizon settings. We extend competitive control to nonlinear systems using Model Predictive Control (MPC) and present numerical experiments which show that our competitive controller can significantly outperform standard $H_2$ and $H_{\infty}$ controllers in the MPC setting.


title: On Families of Planar DAGs with Constant Stack Number

abstract: A $k$-stack layout (or $k$-page book embedding) of a graph consists of a total order of the vertices, and a partition of the edges into $k$ sets of non-crossing edges with respect to the vertex order. The stack number of a graph is the minimum $k$ such that it admits a $k$-stack layout. In this paper we study a long-standing problem regarding the stack number of planar directed acyclic graphs (DAGs), for which the vertex order has to respect the orientation of the edges. We investigate upper and lower bounds on the stack number of several families of planar graphs: We improve the constant upper bounds on the stack number of single-source and monotone outerplanar DAGs and of outerpath DAGs, and improve the constant upper bound for upward planar 3-trees. Further, we provide computer-aided lower bounds for upward (outer-) planar DAGs.


title: Quantum Annealing Algorithms for Boolean Tensor Networks

abstract: Quantum annealers manufactured by D-Wave Systems, Inc., are computational devices capable of finding high-quality solutions of NP-hard problems. In this contribution, we explore the potential and effectiveness of such quantum annealers for computing Boolean tensor networks. Tensors offer a natural way to model high-dimensional data commonplace in many scientific fields, and representing a binary tensor as a Boolean tensor network is the task of expressing a tensor containing categorical (i.e., {0, 1}) values as a product of low dimensional binary tensors. A Boolean tensor network is computed by Boolean tensor decomposition, and it is usually not exact. The aim of such decomposition is to minimize the given distance measure between the high-dimensional input tensor and the product of lower-dimensional (usually three-dimensional) tensors and matrices representing the tensor network. In this paper, we introduce and analyze three general algorithms for Boolean tensor networks: Tucker, Tensor Train, and Hierarchical Tucker networks. The computation of a Boolean tensor network is reduced to a sequence of Boolean matrix factorizations, which we show can be expressed as a quadratic unconstrained binary optimization problem suitable for solving on a quantum annealer. By using a novel method we introduce called \textit{parallel quantum annealing}, we demonstrate that tensor with up to millions of elements can be decomposed efficiently using a DWave 2000Q quantum annealer.


title: Untangling the Complexity in the Galactic Centre: a way to understand the origin of the gamma-ray emission from the inner Galaxy

abstract: The origin of the high-energy gamma-ray emission from the Milky Way center is still unclear and debated because of the impact of systematics afflicting the measurements from current experiments. Several theories and phenomenological models attempt to explain the intricate panorama. The presence of a PeVatron in the Central Molecular Zone or in its vicinity, the contribution of the hard-component of the diffuse gamma-ray emission, and dark matter annihilation scenario are among the most promising mechanisms for describing the observed excess. The development of increasingly precise models able to reproduce the measured gamma-ray emission is the challenge for the scientific community in view of the next generation telescopes. A detailed treatment of phenomenological models for the dubbed Cosmic Rays Sea (CR-sea) characterized by different configurations is scrutinized in comparison with the observed spectrum in the inner Galaxy, using DRAGON and GAMMASKY codes.


title: Toward High-Throughput Artificial Intelligence-Based Segmentation in Oncological PET Imaging

abstract: Artificial intelligence (AI) techniques for image-based segmentation have garnered much attention in recent years. Convolutional neural networks (CNNs) have shown impressive results and potential towards fully automated segmentation in medical imaging, and particularly PET imaging. To cope with the limited access to annotated data needed in supervised AI methods, given tedious and prone-to-error manual delineations, semi-supervised and unsupervised AI techniques have also been explored for segmentation of tumors or normal organs in single and bi-modality scans. This work provides a review of existing AI techniques for segmentation tasks and the evaluation criteria for translational AI-based segmentation efforts towards routine adoption in clinical workflows.


title: Investigating Text Simplification Evaluation

abstract: Modern text simplification (TS) heavily relies on the availability of gold standard data to build machine learning models. However, existing studies show that parallel TS corpora contain inaccurate simplifications and incorrect alignments. Additionally, evaluation is usually performed by using metrics such as BLEU or SARI to compare system output to the gold standard. A major limitation is that these metrics do not match human judgements and the performance on different datasets and linguistic phenomena vary greatly. Furthermore, our research shows that the test and training subsets of parallel datasets differ significantly. In this work, we investigate existing TS corpora, providing new insights that will motivate the improvement of existing state-of-the-art TS evaluation methods. Our contributions include the analysis of TS corpora based on existing modifications used for simplification and an empirical study on TS models performance by using better-distributed datasets. We demonstrate that by improving the distribution of TS datasets, we can build more robust TS models.


title: Hybrid simulation of energetic particles interacting with magnetohydrodynamics using a slow manifold algorithm and GPU acceleration

abstract: The hybrid method combining particle-in-cell and magnetohydrodynamics can be used to study the interaction between energetic particles and global plasma modes. In this paper we introduce the M3D-C1-K code, which is developed based on the M3D-C1 finite element code solving the magnetohydrodynamics equations, with a newly developed kinetic module simulating energetic particles. The particle pushing is done using a new algorithm by applying the Boris pusher to the classical Pauli particles to simulate the slow-manifold of particle orbits, with long-term accuracy and fidelity. The particle pushing can be accelerated using GPUs with a significant speedup. The moments of the particles are calculated using the $\delta f$ method, and are coupled into the magnetohydrodynamics simulation through pressure or current coupling schemes. Several linear simulations of magnetohydrodynamics modes driven by energetic particles have been conducted using M3D-C1-K, including fishbone, toroidal Alfv\'en eigenmodes and reversed shear Alfv\'en eigenmodes. Good agreement with previous results from other eigenvalue, kinetic and hybrid codes has been achieved.


title: Materials for Silicon Quantum Dots and their Impact on Electron Spin Qubits

abstract: Quantum computers have the potential to efficiently solve problems in logistics, drug and material design, finance, and cybersecurity. However, millions of qubits will be necessary for correcting inevitable errors in quantum operations. In this scenario, electron spins in gate-defined silicon quantum dots are strong contenders for encoding qubits, leveraging the microelectronics industry know-how for fabricating densely populated chips with nanoscale electrodes. The sophisticated material combinations used in commercially manufactured transistors, however, will have a very different impact on the fragile qubits. We review here some key properties of the materials that have a direct impact on qubit performance and variability.


title: Novel Direct Algorithm for Computing Simultaneous All-Levels Reliability of Multi-state Flow Networks

abstract: All kind of networks, e.g., Internet of Things, social networks, wireless sensor networks, transportation networks, 4g/5G, etc., are around us to benefit and help our daily life. The multistate flow network (MFN) is always used to model network structures and applications. The level d reliability, Rd, of the MFN is the success probability of sending at least d units of integer flow from the source node to the sink node. The reliability Rd is a popular index for designing, managing, controlling, and evaluating MFNs. The traditional indirect algorithms must have all d-MPs (special connected vectors) or d-MCs (special disconnected vectors) first, then use Inclusion-Exclusion Technique (IET) or Sum-of-disjoint Product (SDP) in terms of found d-MPs or d-MCs to calculate Rd. The above four procedures are all NP-Hard and #P-Hard and cannot calculate Rd for all d at the same time A novel algorithm based on the binary-addition-tree algorithm (BAT) is proposed to calculate the Rd directly for all d at the same time without using any of the above four procedures. The time complexity and demonstration of the proposed algorithm are analyzed, and examples are provided. An experiment is also conducted to compare the proposed algorithm and existing algorithms based on d-MPs, d-MCs, IET, and/or SDP to validate the proposed algorithm.


title: Nucleon-nucleon scattering with perturbative pions: The uncoupled $P$-wave channels

abstract: The uncoupled $P$-wave channels of nucleon-nucleon scattering are studied in an effective field theory (EFT) including a perturbative dibaryon field and perturbative pions. Good agreement between EFT results and the Nijmegen partial wave analysis is observed up to a center-of-mass momentum $k \approx 400$ MeV. Using a method that combines renormalization and fitting together, the long-standing convergence problem of EFTs in these channels with perturbative pions, for momenta above the pion mass is addressed from a new perspective.


title: The 2-category of 2-term complexes

abstract: We describe some of the basic properties of the 2-category of 2-term complexes in an abelian category, using butterflies as morphisms.


title: Discovering User-Interpretable Capabilities of Black-Box Planning Agents

abstract: Several approaches have been developed for answering users' specific questions about AI behavior and for assessing their core functionality in terms of primitive executable actions. However, the problem of summarizing an AI agent's broad capabilities for a user is comparatively new. This paper presents an algorithm for discovering from scratch the suite of high-level "capabilities" that an AI system with arbitrary internal planning algorithms/policies can perform. It computes conditions describing the applicability and effects of these capabilities in user-interpretable terms. Starting from a set of user-interpretable state properties, an AI agent, and a simulator that the agent can interact with, our algorithm returns a set of high-level capabilities with their parameterized descriptions. Empirical evaluation on several game-based scenarios shows that this approach efficiently learns descriptions of various types of AI agents in deterministic, fully observable settings. User studies show that such descriptions are easier to understand and reason with than the agent's primitive actions.


title: Bi-Bimodal Modality Fusion for Correlation-Controlled Multimodal Sentiment Analysis

abstract: Multimodal sentiment analysis aims to extract and integrate semantic information collected from multiple modalities to recognize the expressed emotions and sentiment in multimodal data. This research area's major concern lies in developing an extraordinary fusion scheme that can extract and integrate key information from various modalities. However, one issue that may restrict previous work to achieve a higher level is the lack of proper modeling for the dynamics of the competition between the independence and relevance among modalities, which could deteriorate fusion outcomes by causing the collapse of modality-specific feature space or introducing extra noise. To mitigate this, we propose the Bi-Bimodal Fusion Network (BBFN), a novel end-to-end network that performs fusion (relevance increment) and separation (difference increment) on pairwise modality representations. The two parts are trained simultaneously such that the combat between them is simulated. The model takes two bimodal pairs as input due to the known information imbalance among modalities. In addition, we leverage a gated control mechanism in the Transformer architecture to further improve the final output. Experimental results on three datasets (CMU-MOSI, CMU-MOSEI, and UR-FUNNY) verifies that our model significantly outperforms the SOTA. The implementation of this work is available at https://github.com/declare-lab/multimodal-deep-learning.


title: TOI-532b: The Habitable-zone Planet Finder confirms a Large Super Neptune in the Neptune Desert orbiting a metal-rich M dwarf host

abstract: We confirm the planetary nature of TOI-532b, using a combination of precise near-infrared radial velocities with the Habitable-zone Planet Finder, TESS light curves, ground based photometric follow-up, and high-contrast imaging. TOI-532 is a faint (J$\sim 11.5$) metal-rich M dwarf with Teff = $3957\pm69$ K and [Fe/H] = $0.38\pm0.04$; it hosts a transiting gaseous planet with a period of $\sim 2.3$ days. Joint fitting of the radial velocities with the TESS and ground-based transits reveal a planet with radius of $5.82\pm0.19$ R$_{\oplus}$, and a mass of $61.5_{-9.3}^{+9.7}$ M$_{\oplus}$. TOI-532b is the largest and most massive super Neptune detected around an M dwarf with both mass and radius measurements, and it bridges the gap between the Neptune-sized planets and the heavier Jovian planets known to orbit M dwarfs. It also follows the previously noted trend between gas giants and host star metallicity for M dwarf planets. In addition, it is situated at the edge of the Neptune desert in the Radius--Insolation plane, helping place constraints on the mechanisms responsible for sculpting this region of planetary parameter space.


title: Deeper Learning By Doing: Integrating Hands-On Research Projects Into a Machine Learning Course

abstract: Machine learning has seen a vast increase of interest in recent years, along with an abundance of learning resources. While conventional lectures provide students with important information and knowledge, we also believe that additional project-based learning components can motivate students to engage in topics more deeply. In addition to incorporating project-based learning in our courses, we aim to develop project-based learning components aligned with real-world tasks, including experimental design and execution, report writing, oral presentation, and peer-reviewing. This paper describes the organization of our project-based machine learning courses with a particular emphasis on the class project components and shares our resources with instructors who would like to include similar elements in their courses.


title: Locating and Platforms and Scheduling a Fleet of Drones for Emergency Delivery of Perishable Items

abstract: Motivated by issues dealing with delivery of emergency medical products during humanitarian disasters, this paper addresses the general problem of delivering perishable items to remote demands accessible only by helicopters or drones. Each drone operates out of platforms that may be move when not in use and each drone has a limited delivery range to service a demand points. Associated with each demand point is a disutility function, or a cost function, with respect to time that reflects preferred delivery clock time for the demanded item, as well as the item's perishability characteristic that models nonincreasing quality with time. The paper first addresses the problem of locating the platforms as well concurrently determining which platform serves which demand points and in what order to minimize total disutility for product delivery. The second scenario addresses the two-period problem where the platforms can be relocated, using useable road networks, after the first period. It can be easily proven that continuous time versions of these problems are NP-Hard. However, a practical "time-slot" version of the problem, where time is discretized into slots, can be solved by standard optimization software. Extensive computational experiments, using different drone delivery ranges as well as different drone fleet sizes, provide valuable insights on the performance of such drone delivery systems.


title: Relational Graph Neural Networks for Fraud Detection in a Super-App environment

abstract: Large digital platforms create environments where different types of user interactions are captured, these relationships offer a novel source of information for fraud detection problems. In this paper we propose a framework of relational graph convolutional networks methods for fraudulent behaviour prevention in the financial services of a Super-App. To this end, we apply the framework on different heterogeneous graphs of users, devices, and credit cards; and finally use an interpretability algorithm for graph neural networks to determine the most important relations to the classification task of the users. Our results show that there is an added value when considering models that take advantage of the alternative data of the Super-App and the interactions found in their high connectivity, further proofing how they can leverage that into better decisions and fraud detection strategies.


title: Bounds on the Norms of Maximal Operators on Weyl Sums

abstract: We obtain new estimates on the maximal operator applied to the Weyl sums. We also consider the quadratic case (that is, Gauss sums) in more details. In wide ranges of parameters our estimates are optimal and match lower bounds. Our approach is based on a combination of ideas of Baker (2021) and Chen and Shparlinski (2020).


title: A Speckle-Imaging Search for Close Triple Companions of Cataclysmic Binaries

abstract: The orbital periods of most eclipsing cataclysmic binaries are not undergoing linear secular decreases of order a few parts per billion as expected from simple theory. Instead, they show several parts per million increases and decreases on timescales of years to decades, ascribed to magnetic effects in their donors, triple companions, or both. To directly test the triple companion hypothesis, we carried out a speckle imaging survey of six of the nearest and brightest cataclysmic variables. We found no main sequence companions earlier than spectral types M4V in the separation range 0.02" - 1.2", corresponding to projected linear separations of 2 - 100 AU, and periods of 3 - 1000 years. We conclude that main sequence triple companions to CVs are not very common, but cannot rule out the presence of the faintest M dwarfs or close brown dwarf companions.


title: Possible studies of gluon transversity in the spin-1 deuteron at hadron-accelerator facilities

abstract: Chiral-odd gluon transversity distribution could shed light on a new aspect of hadron physics. Although we had much progress recently on quark transversity distributions, there is no experimental measurement on the gluon transversity. The gluon trasversity does not exist in the spin-1/2 nucleons and it exists in the spin-1 deuteron. Therefore, it could probe new hadron physics in the deuteron beyond the basic bound system of a proton and a neutron because the nucleons cannot contribute directly. Here, we explain that the gluon transversity can be measured at hadron accelerator facilities, such as Fermilab and NICA, in addition to charged-lepton scattering measurements at lepton accelerator facilities by showing cross sections of the proton-deuteron Drell-Yan process as an example.


title: Lamb waves sensor in liquid media utilizing higher-order quasi-longitudinal S5 and S6 modes

abstract: Higher-order quasi-longitudinal (QL) Lamb waves have been reported for sensor application in liquid media at a higher thickness-to-wavelength (h/l) ratio than the fundamental symmetric modes, with the main advantage of having higher operating frequency and reduction in the total size of the device without reducing the plate thickness. However, the trade-off in the reduction of the electromechanical coupling coefficient (K2) is a hinder in utilizing QL Lamb waves with higher-order numbers. Here we performed finite element simulation and verified experimentally the possibility of utilizing S5 and S6 QL Lamb wave modes in liquid media based on a two-port delay line device on a thick GaAs substrate. While the K2 values are lower for QL modes at higher-order numbers, the signal amplitude of S21 transmission parameter at the resonant frequency is still distinguishable from the noise floor. The result demonstrates the feasibility of higher-order modes at a higher h/l ratio for sensor application in liquid media, thus allowing further reduction in the wavelength and the total size of the sensor device.


title: Heterogeneous Responses to the U.S. Narrative Tax Changes: Evidence from the U.S. States

abstract: This paper investigates the assumption of homogeneous effects of federal tax changes across the U.S. states and identifies where and why that assumption may not be valid. More specifically, what determines the transmission mechanism of tax shocks at the state level? How vital are states' fiscal structures, financial conditions, labor market rigidities, and industry mix? Do these economic and structural characteristics drive the transmission mechanism of the tax changes at the state level at different horizons? This study employs a panel factor-augmented vector autoregression (FAVAR) technique to answer these issues. The findings show that state economies respond homogeneously in terms of employment and price levels; however, they react heterogeneously in real GDP and personal income growth. In most states, these reactions are statistically significant, and the heterogeneity in the effects of tax cuts is significantly related to the state's fiscal structure, manufacturing and financial composition, and the labor market's rigidity. A cross-state regression analysis shows that states with higher tax elasticity, higher personal income tax, strict labor market regulation, and economic policy uncertainties are relatively less responsive to federal tax changes. In contrast, the magnitude of the response in real GDP, personal income, and employment to tax cuts is relatively higher in states with a larger share of finance, manufacturing, lower tax burdens, and flexible credit markets.


title: Ising model close to $d=2$

abstract: The $d=2$ critical Ising model is described by an exactly solvable Conformal Field Theory (CFT). The deformation to $d=2+\epsilon$ is a relatively simple system at strong coupling outside of even dimensions. Using novel numerical and analytical conformal bootstrap methods in Lorentzian signature, we show that the leading corrections to the Ising data are more singular than $\epsilon$. There must be infinitely many new states due to the $d$-dependence of conformal symmetry. The linear independence of conformal blocks is central to this bootstrap approach, which can be extended to more rigorous studies of non-positive systems, such as non-unitary, defect/boundary and thermal CFTs.


title: Pressure distribution and flow dynamics in a nasal airway using a scale resolving simulation

abstract: Airflow through the nasal cavity exhibits a wide variety of fluid dynamicsbehaviour due to the intricacy of the nasal geometry. The flow is naturallyunsteady and perhaps turbulent, despite CFD in the literature that assumesa steady laminar flow. Time-dependent simulations can be used to generatedetailed data with the potential to uncover new flow behaviour, although theyare more computationally intensive compared with steady-state simulations. Furthermore, verification of CFD results has relied on reported pressure drop(e.g. nasal resistance) across the nasal airway although the geometries usedare different. This study investigated the unsteady nature of inhalation atflow rates of 10, 15, 20, and 30 L/min. A scale resolving CFD simulationusing a hybrid RANS-LES model was used and compared with experimentalmeasurements of the pressure distribution and the overall pressure drop in thenasal cavity. The experimental results indicated a large pressure drop acrossthe nasal valve, as well as across the nasopharynx with the latter attributedto a narrow cross-sectional area. At a flowrate of 30 L/min, the CFD simula-tions showed that the anterior half of the nasal cavity displayed dominantlylaminar but disturbed flow behaviour in the form of velocity fluctuations. Theposterior half of the nasal cavity displayed turbulent activity, characterised byerratic fluctuating velocities, which was enhanced by the wider cross-sectionalareas in the coronal plane. At 15L/min, the flow field was laminar dominantwith very little disturbance confirming a steady-state laminar flow assumptionis viable at this flow rate.


title: Rate-Independent Computation in Continuous Chemical Reaction Networks

abstract: Coupled chemical interactions in a well-mixed solution are commonly formalized as chemical reaction networks (CRNs). However, despite the widespread use of CRNs in the natural sciences, the range of computational behaviors exhibited by CRNs is not well understood. Here we study the following problem: what functions $f:\mathbb{R}^k \to \mathbb{R}$ can be computed by a CRN, in which the CRN eventually produces the correct amount of the "output" molecule, no matter the rate at which reactions proceed? This captures a previously unexplored, but very natural class of computations: for example, the reaction $X_1 + X_2 \to Y$ can be thought to compute the function $y = \min(x_1, x_2)$. Such a CRN is robust in the sense that it is correct no matter the kinetic model of chemistry, so long as it respects the stoichiometric constraints. We develop a reachability relation based on "what could happen" if reaction rates can vary arbitrarily over time. We define *stable computation* analogously to probability 1 computation in distributed computing, and connect it with a seemingly stronger notion of rate-independent computation based on convergence under a wide class of generalized rate laws. We also consider the "dual-rail representation" that can represent negative values as the difference of two concentrations and allows the composition of CRN modules. We prove that a function is rate-independently computable if and only if it is piecewise linear (with rational coefficients) and continuous (dual-rail representation), or non-negative with discontinuities occurring only when some inputs switch from zero to positive (direct representation). The many contexts where continuous piecewise linear functions are powerful targets for implementation, combined with the systematic construction we develop for computing these functions, demonstrate the potential of rate-independent chemical computation.


title: Bayesian Embeddings for Few-Shot Open World Recognition

abstract: As autonomous decision-making agents move from narrow operating environments to unstructured worlds, learning systems must move from a closed-world formulation to an open-world and few-shot setting in which agents continuously learn new classes from small amounts of information. This stands in stark contrast to modern machine learning systems that are typically designed with a known set of classes and a large number of examples for each class. In this work we extend embedding-based few-shot learning algorithms to the open-world recognition setting. We combine Bayesian non-parametric class priors with an embedding-based pre-training scheme to yield a highly flexible framework which we refer to as few-shot learning for open world recognition (FLOWR). We benchmark our framework on open-world extensions of the common MiniImageNet and TieredImageNet few-shot learning datasets. Our results show, compared to prior methods, strong classification accuracy performance and up to a 12% improvement in H-measure (a measure of novel class detection) from our non-parametric open-world few-shot learning scheme.


title: Mental Age Compatibility: Quantification through the Convolution of Probability Distributions

abstract: We build on the empirical finding that a human being's mental age is normally distributed around the chronological age. This opposes the frequent societal assumption "mental = chronological" which is known to be false in general but entertained for simplicity due to lack of methodology; hence disregarding that, f.e., people of different chronological ages can be much closer in their mental ages. As a quantitative approach on a scientific basis, we set up a general formula for the probability that two individuals of given ages are mentally within a certain range of years and investigate its implications i.a. by critically analyzing popular assumptions on age and computing statistical expectations within populations.


title: An Online Question Answering System based on Sub-graph Searching

abstract: Knowledge graphs (KGs) have been widely used for question answering (QA) applications, especially the entity based QA. However, searching an-swers from an entire large-scale knowledge graph is very time-consuming and it is hard to meet the speed need of real online QA systems. In this pa-per, we design a sub-graph searching mechanism to solve this problem by creating sub-graph index, and each answer generation step is restricted in the sub-graph level. We use this mechanism into a real online QA chat system, and it can bring obvious improvement on question coverage by well answer-ing entity based questions, and it can be with a very high speed, which en-sures the user experience of online QA.


title: Existence of singular rotationally symmetric gradient Ricci solitons in higher dimensions

abstract: By using fixed point argument we give a proof for the existence of singular rotationally symmetric steady and expanding gradient Ricci solitons in higher dimensions with metric $g=\frac{da^2}{h(a^2)}+a^2g_{S^n}$ for some function $h$ where $g_{S^n}$ is the standard metric on the unit sphere $S^n$ in $\mathbb{R}^n$ for any $n\ge 2$. More precisely for any $\lambda\ge 0$ and $c_0>0$, we prove that there exist infinitely many solutions $h\in C^2((0,\infty);\mathbb{R}^+)$ for the equation $2r^2h(r)h_{rr}(r)=(n-1)h(r)(h(r)-1)+rh_r(r)(rh_r(r)-\lambda r-(n-1))$, $h(r)>0$, in $(0,\infty)$ satisfying $\underset{\substack{r\to 0}}{\lim}\,r^{\sqrt{n}-1}h(r)=c_0$ and prove the higher order asymptotic behaviour of the global singular solutions near the origin. We also find conditions for the existence of unique global singular solution of such equation in terms of its asymptotic behaviour near the origin.


title: AutoTinyBERT: Automatic Hyper-parameter Optimization for Efficient Pre-trained Language Models

abstract: Pre-trained language models (PLMs) have achieved great success in natural language processing. Most of PLMs follow the default setting of architecture hyper-parameters (e.g., the hidden dimension is a quarter of the intermediate dimension in feed-forward sub-networks) in BERT (Devlin et al., 2019). Few studies have been conducted to explore the design of architecture hyper-parameters in BERT, especially for the more efficient PLMs with tiny sizes, which are essential for practical deployment on resource-constrained devices. In this paper, we adopt the one-shot Neural Architecture Search (NAS) to automatically search architecture hyper-parameters. Specifically, we carefully design the techniques of one-shot learning and the search space to provide an adaptive and efficient development way of tiny PLMs for various latency constraints. We name our method AutoTinyBERT and evaluate its effectiveness on the GLUE and SQuAD benchmarks. The extensive experiments show that our method outperforms both the SOTA search-based baseline (NAS-BERT) and the SOTA distillation-based methods (such as DistilBERT, TinyBERT, MiniLM and MobileBERT). In addition, based on the obtained architectures, we propose a more efficient development method that is even faster than the development of a single PLM.


title: Qualities of Quality: A Tertiary Review of Software Quality Measurement Research

abstract: This paper presents a tertiary review of software quality measurement research. To conduct this review, we examined an initial dataset of 7,811 articles and found 75 relevant and high-quality secondary analyses of software quality research. Synthesizing this body of work, we offer an overview of perspectives, measurement approaches, and trends. We identify five distinct perspectives that conceptualize quality as heuristic, as maintainability, as a holistic concept, as structural features of software, and as dependability. We also identify three key challenges. First, we find widespread evidence of validity questions with common measures. Second, we observe the application of machine learning methods without adequate evaluation. Third, we observe the use of aging datasets. Finally, from these observations, we sketch a path toward a theoretical framework that will allow software engineering researchers to systematically confront these weaknesses while remaining grounded in the experiences of developers and the real world in which code is ultimately deployed.


title: Products of Toeplitz and Hankel Operators on Fock-Sobolev Spaces

abstract: In this paper, we investigate the boundedness of Toeplitz product $T_{f}T_{g}$ and Hankel product $H_{f}^{*} H_{g}$ on Fock-Sobolev space for two polynomials $f$ and $g$ in $z,\overline{z}\in\mathbb{C}^{n}$. As a result, the boundedness of Toeplitz operator $T_{f}$ and Hankel operator $H_{f}$ with the polynomial symbol $f$ in $z,\overline{z}\in\mathbb{C}^{n}$ is characterized.


title: Using Perturbed Length-aware Positional Encoding for Non-autoregressive Neural Machine Translation

abstract: Non-autoregressive neural machine translation (NAT) usually employs sequence-level knowledge distillation using autoregressive neural machine translation (AT) as its teacher model. However, a NAT model often outputs shorter sentences than an AT model. In this work, we propose sequence-level knowledge distillation (SKD) using perturbed length-aware positional encoding and apply it to a student model, the Levenshtein Transformer. Our method outperformed a standard Levenshtein Transformer by 2.5 points in bilingual evaluation understudy (BLEU) at maximum in a WMT14 German to English translation. The NAT model output longer sentences than the baseline NAT models.


title: The multiple holomorph of centerless groups

abstract: Let $G$ be a group. The holomorph $\mathrm{Hol}(G)$ may be defined as the normalizer of the subgroup of either left or right translations in the group of all permutations of $G$. The multiple holomorph $\mathrm{NHol}(G)$ is in turn defined as the normalizer of the holomorph. Their quotient $T(G) = \mathrm{NHol}(G)/\mathrm{Hol}(G)$ has been computed for various families of groups $G$. In this paper, we consider the case when $G$ is centerless, and we shall show that $T(G)$ must be elementary $2$-abelian unless $G$ satisfies some fairly strong conditions. As an application of our main theorem, we are able to show that $T(G)$ has order $2$ when $G$ is an almost simple group, and $T(G)$ is elementary $2$-abelian when $G$ is a centerless perfect or complete group.


title: On Spectral Theory of Random Fields in the Ball

abstract: The paper investigates random fields in the ball. It studies three types of such fields: restrictions of scalar random fields in the ball to the sphere, spin, and vector random fields. The review of the existing results and new spectral theory for each of these classes of random fields are given. Examples of applications to classical and new models of these three types are presented. In particular, the Mat\'{e}rn model is used for illustrative examples. The derived spectral representations can be utilised to further study theoretical properties of such fields and to simulate their realisations. The obtained results can also find various applications for modelling and investigating ball data in cosmology, geosciences and embryology.


title: The observed impact of galaxy halo gas on fast radio bursts

abstract: Galaxies and groups of galaxies exist in dark-matter halos filled with diffuse gas. The diffuse gas represents up to 80\% of the mass in baryonic matter within the halos(1,2), but is difficult to detect because of its low density (particle number densities of $\lesssim10^{-4}$\,cm$^{-3}$) and high temperature (mostly greater than $10^{6}$\,K). Here we analyze the impact of diffuse gas associated with nearby galaxies using the dispersion measures (DMs) of extragalactic fast radio bursts (FRBs). FRB DMs provide direct measurements of the total ionized-gas contents along their sightlines. Out of a sample of 474 distant FRBs from the CHIME/FRB Catalog 1(3), we identify a subset of events that likely intersect the dark-matter halos of galaxies in the local Universe ($<40$\,Mpc). The mean DM of the galaxy-intersecting FRBs is larger than the non-intersecting DMs with probability $>0.99$ and the excess DM is $>90$\,pc\,cm$^{-3}$ with $>95\%$ confidence. The excess is larger than expected for the diffuse gas surrounding isolated galaxies, but may be explained by additional contributions from gas surrounding galaxy groups, including from the Local Group. This result demonstrates the predicted ability of FRBs to be used as sensitive, model-independent measures of the diffuse-gas contents of dark-matter halos(4-7).


title: Efficient Human Pose Estimation by Maximizing Fusion and High-Level Spatial Attention

abstract: In this paper, we propose an efficient human pose estimation network -- SFM (slender fusion model) by fusing multi-level features and adding lightweight attention blocks -- HSA (High-Level Spatial Attention). Many existing methods on efficient network have already taken feature fusion into consideration, which largely boosts the performance. However, its performance is far inferior to large network such as ResNet and HRNet due to its limited fusion operation in the network. Specifically, we expand the number of fusion operation by building bridges between two pyramid frameworks without adding layers. Meanwhile, to capture long-range dependency, we propose a lightweight attention block -- HSA, which computes second-order attention map. In summary, SFM maximizes the number of feature fusion in a limited number of layers. HSA learns high precise spatial information by computing the attention of spatial attention map. With the help of SFM and HSA, our network is able to generate multi-level feature and extract precise global spatial information with little computing resource. Thus, our method achieve comparable or even better accuracy with less parameters and computational cost. Our SFM achieve 89.0 in PCKh@0.5, 42.0 in PCKh@0.1 on MPII validation set and 71.7 in AP, 90.7 in AP@0.5 on COCO validation with only 1.7G FLOPs and 1.5M parameters. The source code will be public soon.


title: P4COM: In-Network Computation with Programmable Switches

abstract: Traditionally, switches only provide forwarding services and have no credits on computation in distributed computing frameworks. The emerging programmable switches make in-network computing (INC) possible, i.e., offloading some computation to the switch data plane. While some proposals have attempted to offload computation onto special hardwares (e.g., NetFPGA), many practical issues have not been addressed. Therefore, we propose P4COM - a user-friendly, memory-efficient, and fault-tolerant framework realizing in-network computation (e.g., MapReduce) with programmable switches. P4COM consists of three modules. First, P4COM automatically translates application logic to switch data plane programs with a lightweight interpreter. Second, P4COM adopts a memory management policy to efficiently utilize the limited switch on-chip memory. Third, P4COM provides a cutting-payload mechanism to handle packet losses. We have built a P4COM prototype with a Barefoot Tofino switch and multiple commodity servers. Through a combination of testbed experiments and large-scale simulations, we show that P4COM is able to achieve line-rate processing at 10Gbps links, and can increase the data shuffling throughput by 2-5 times for the MapReduce-style applications.


title: Rigidity and Flexibility of Polynomial Entropy

abstract: We introduce the notion of a one-way horseshoe and show that the polynomial entropy of an interval map is given by one-way horseshoes of iterates of the map, obtaining in such a way an analogue of Misiurewicz's theorem on topological entropy and standard `two-way' horseshoes. Moreover, if the map is of Sharkovskii type 1 then its polynomial entropy can also be computed by what we call chains of essential intervals. As a consequence we get a rigidity result that if the polynomial entropy of an interval map is finite, then it is an integer. We also describe the possible values of polynomial entropy of maps of all Sharkovskii types. As an application we compute the polynomial entropy of all maps in the logistic family. On the other hand, we show that in the class of all continua the polynomial entropy of continuous maps is very flexible. For every value $\alpha \in [0,\infty]$ there is a homeomorphism on a continuum with polynomial entropy $\alpha$. We discuss also possible values of the polynomial entropy of continuous maps on dendrites.


title: Recent Progress in Solar Atmospheric Neutrino Searches with IceCube

abstract: Cosmic-rays interacting with nucleons in the solar atmosphere produce a cascade of particles that give rise to a flux of high-energy neutrinos and gamma-rays. Fermi has observed this gamma-ray flux; however, the associated neutrino flux has escaped observation. In this contribution, we put forward two strategies to detect these neutrinos, which, if seen, would push forward our understanding of the solar atmosphere and provide a new testing ground of neutrino properties. First, we will extend the previous analysis, which used high-energy through-going muon events collected in the years of maximum solar activity and yielded only flux upper limits, to include data taken during the solar minimum from 2018 to 2020. Extending the analysis to the solar minimum is important as the gamma-ray data collected during past solar cycles indicates a possible enhancement in the high-energy neutrino flux. Second, we will incorporate sub-TeV events and include contributions from all neutrino flavors. These will improve our analysis sensitivity since the solar atmospheric spectrum is soft and, due to oscillation, contains significant contributions of all neutrino flavors. As we will present in this contribution, these complementary strategies yield a significant improvement in sensitivity, making substantial progress towards observing this flux.