title: VID-WIN: Fast Video Event Matching with Query-Aware Windowing at the Edge for the Internet of Multimedia Things

abstract: Efficient video processing is a critical component in many IoMT applications to detect events of interest. Presently, many window optimization techniques have been proposed in event processing with an underlying assumption that the incoming stream has a structured data model. Videos are highly complex due to the lack of any underlying structured data model. Video stream sources such as CCTV cameras and smartphones are resource-constrained edge nodes. At the same time, video content extraction is expensive and requires computationally intensive Deep Neural Network (DNN) models that are primarily deployed at high-end (or cloud) nodes. This paper presents VID-WIN, an adaptive 2-stage allied windowing approach to accelerate video event analytics in an edge-cloud paradigm. VID-WIN runs parallelly across edge and cloud nodes and performs the query and resource-aware optimization for state-based complex event matching. VID-WIN exploits the video content and DNN input knobs to accelerate the video inference process across nodes. The paper proposes a novel content-driven micro-batch resizing, queryaware caching and micro-batch based utility filtering strategy of video frames under resource-constrained edge nodes to improve the overall system throughput, latency, and network usage. Extensive evaluations are performed over five real-world datasets. The experimental results show that VID-WIN video event matching achieves ~2.3X higher throughput with minimal latency and ~99% bandwidth reduction compared to other baselines while maintaining query-level accuracy and resource bounds.


title: Morphological classification of astronomical images with limited labelling

abstract: The task of morphological classification is complex for simple parameterization, but important for research in the galaxy evolution field. Future galaxy surveys (e.g. EUCLID) will collect data about more than a $10^9$ galaxies. To obtain morphological information one needs to involve people to mark up galaxy images, which requires either a considerable amount of money or a huge number of volunteers. We propose an effective semi-supervised approach for galaxy morphology classification task, based on active learning of adversarial autoencoder (AAE) model. For a binary classification problem (top level question of Galaxy Zoo 2 decision tree) we achieved accuracy 93.1% on the test part with only 0.86 millions markup actions, this model can easily scale up on any number of images. Our best model with additional markup achieves accuracy of 95.5%. To the best of our knowledge it is a first time AAE semi-supervised learning model used in astronomy.


title: A review on physical and data-driven based nowcasting methods using sky images

abstract: Amongst all the renewable energy resources (RES), solar is the most popular form of energy source and is of particular interest for its widely integration into the power grid. However, due to the intermittent nature of solar source, it is of the greatest significance to forecast solar irradiance to ensure uninterrupted and reliable power supply to serve the energy demand. There are several approaches to perform solar irradiance forecasting, for instance satellite-based methods, sky image-based methods, machine learning-based methods, and numerical weather prediction-based methods. In this paper, we present a review on short-term intra-hour solar prediction techniques known as nowcasting methods using sky images. Along with this, we also report and discuss which sky image features are significant for the nowcasting methods.


title: A Deep Transfer Learning-based Edge Computing Method for Home Health Monitoring

abstract: The health-care gets huge stress in a pandemic or epidemic situation. Some diseases such as COVID-19 that causes a pandemic is highly spreadable from an infected person to others. Therefore, providing health services at home for non-critical infected patients with isolation shall assist to mitigate this kind of stress. In addition, this practice is also very useful for monitoring the health-related activities of elders who live at home. The home health monitoring, a continuous monitoring of a patient or elder at home using visual sensors is one such non-intrusive sub-area of health services at home. In this article, we propose a transfer learning-based edge computing method for home health monitoring. Specifically, a pre-trained convolutional neural network-based model can leverage edge devices with a small amount of ground-labeled data and fine-tuning method to train the model. Therefore, on-site computing of visual data captured by RGB, depth, or thermal sensor could be possible in an affordable way. As a result, raw data captured by these types of sensors is not required to be sent outside from home. Therefore, privacy, security, and bandwidth scarcity shall not be issues. Moreover, real-time computing for the above-mentioned purposes shall be possible in an economical way.


title: UVStyle-Net: Unsupervised Few-shot Learning of 3D Style Similarity Measure for B-Reps

abstract: Boundary Representations (B-Reps) are the industry standard in 3D Computer Aided Design/Manufacturing (CAD/CAM) and industrial design due to their fidelity in representing stylistic details. However, they have been ignored in the 3D style research. Existing 3D style metrics typically operate on meshes or pointclouds, and fail to account for end-user subjectivity by adopting fixed definitions of style, either through crowd-sourcing for style labels or hand-crafted features. We propose UVStyle-Net, a style similarity measure for B-Reps that leverages the style signals in the second order statistics of the activations in a pre-trained (unsupervised) 3D encoder, and learns their relative importance to a subjective end-user through few-shot learning. Our approach differs from all existing data-driven 3D style methods since it may be used in completely unsupervised settings, which is desirable given the lack of publicly available labelled B-Rep datasets. More importantly, the few-shot learning accounts for the inherent subjectivity associated with style. We show quantitatively that our proposed method with B-Reps is able to capture stronger style signals than alternative methods on meshes and pointclouds despite its significantly greater computational efficiency. We also show it is able to generate meaningful style gradients with respect to the input shape, and that few-shot learning with as few as two positive examples selected by an end-user is sufficient to significantly improve the style measure. Finally, we demonstrate its efficacy on a large unlabeled public dataset of CAD models. Source code and data will be released in the future.


title: Fundamental Errors in Kane and Mertz's Alleged Debunking of Greater Male Variability in Mathematics Performance

abstract: Kane and Mertz's 2012 AMS Notices article "Debunking Myths about Gender and Mathematics Performance" claims to have debunked the greater male variability hypothesis with respect to mathematics abilities. The logical and statistical arguments supporting their claim, however, which are being widely cited in the scientific literature, contain fundamental errors. The methodology is critically flawed, the main logical premise is false, and the article omits reference to numerous published scientific research articles that contradict its findings. Most critically, Kane and Mertz's final conclusion that their data are inconsistent with the greater male variability hypothesis is wrong. The goal of the present note is to correct the scientific record with respect to those claims. Most importantly, by publicizing these errors, the Notices will reduce the chance of similar future errors being repeated.


title: Attention-augmented Spatio-Temporal Segmentation for Land Cover Mapping

abstract: The availability of massive earth observing satellite data provide huge opportunities for land use and land cover mapping. However, such mapping effort is challenging due to the existence of various land cover classes, noisy data, and the lack of proper labels. Also, each land cover class typically has its own unique temporal pattern and can be identified only during certain periods. In this article, we introduce a novel architecture that incorporates the UNet structure with Bidirectional LSTM and Attention mechanism to jointly exploit the spatial and temporal nature of satellite data and to better identify the unique temporal patterns of each land cover. We evaluate this method for mapping crops in multiple regions over the world. We compare our method with other state-of-the-art methods both quantitatively and qualitatively on two real-world datasets which involve multiple land cover classes. We also visualise the attention weights to study its effectiveness in mitigating noise and identifying discriminative time period.


title: Object detection for crabs in top-view seabed imagery

abstract: This report presents the application of object detection on a database of underwater images of different species of crabs, as well as aerial images of sea lions and finally the Pascal VOC dataset. The model is an end-to-end object detection neural network based on a convolutional network base and a Long Short-Term Memory detector.


title: Out-of-distribution Detection and Generation using Soft Brownian Offset Sampling and Autoencoders

abstract: Deep neural networks often suffer from overconfidence which can be partly remedied by improved out-of-distribution detection. For this purpose, we propose a novel approach that allows for the generation of out-of-distribution datasets based on a given in-distribution dataset. This new dataset can then be used to improve out-of-distribution detection for the given dataset and machine learning task at hand. The samples in this dataset are with respect to the feature space close to the in-distribution dataset and therefore realistic and plausible. Hence, this dataset can also be used to safeguard neural networks, i.e., to validate the generalization performance. Our approach first generates suitable representations of an in-distribution dataset using an autoencoder and then transforms them using our novel proposed Soft Brownian Offset method. After transformation, the decoder part of the autoencoder allows for the generation of these implicit out-of-distribution samples. This newly generated dataset then allows for mixing with other datasets and thus improved training of an out-of-distribution classifier, increasing its performance. Experimentally, we show that our approach is promising for time series using synthetic data. Using our new method, we also show in a quantitative case study that we can improve the out-of-distribution detection for the MNIST dataset. Finally, we provide another case study on the synthetic generation of out-of-distribution trajectories, which can be used to validate trajectory prediction algorithms for automated driving.


title: Image Embedding and Model Ensembling for Automated Chest X-Ray Interpretation

abstract: Chest X-ray (CXR) is perhaps the most frequently-performed radiological investigation globally. In this work, we present and study several machine learning approaches to develop automated CXR diagnostic models. In particular, we trained several Convolutional Neural Networks (CNN) on the CheXpert dataset, a large collection of more than 200k CXR labeled images. Then, we used the trained CNNs to compute embeddings of the CXR images, in order to train two sets of tree-based classifiers from them. Finally, we described and compared three ensembling strategies to combine together the classifiers trained. Rather than expecting some performance-wise benefits, our goal in this work is showing that the above two methodologies, i.e., the extraction of image embeddings and models ensembling, can be effective and viable to solve tasks that require medical imaging understanding. Our results in that perspective are encouraging and worthy of further investigation.


title: Spectrum statistics in the integrable Lieb-Liniger model

abstract: We address the old and widely debated question of the statistical properties of integrable quantum systems, through the analysis of the paradigmatic Lieb-Liniger model. This quantum many-body model of 1-d interacting bosons allows for the rigorous determination of energy spectra via the Bethe ansatz approach and our interest is understanding whether Poisson statistics is a characteristic feature of this model. Using both analytical and numerical studies we show that the properties of spectra strongly depend on whether the analysis is done for a full energy spectrum or for a single subset with fixed total momentum. We show that the Poisson distribution of spacing between nearest-neighbor energies can occur only for a set of energy levels with fixed total momentum, for neither too large nor too weak interaction strength, and for sufficiently high energy. On the other hand, when studying long-range correlations between energy levels, we found strong deviations from the predictions given by a Poisson process.


title: This Looks Like That... Does it? Shortcomings of Latent Space Prototype Interpretability in Deep Networks

abstract: Deep neural networks that yield human interpretable decisions by architectural design have lately become an increasingly popular alternative to post hoc interpretation of traditional black-box models. Among these networks, the arguably most widespread approach is so-called prototype learning, where similarities to learned latent prototypes serve as the basis of classifying an unseen data point. In this work, we point to an important shortcoming of such approaches. Namely, there is a semantic gap between similarity in latent space and similarity in input space, which can corrupt interpretability. We design two experiments that exemplify this issue on the so-called ProtoPNet. Specifically, we find that this network's interpretability mechanism can be led astray by intentionally crafted or even JPEG compression artefacts, which can produce incomprehensible decisions. We argue that practitioners ought to have this shortcoming in mind when deploying prototype-based models in practice.


title: DNA topology dictates strength and flocculation in DNA-microtubule composites

abstract: Polymer composites are ubiquitous in biology and industry alike, owing to their emergent desirable mechanical properties not attainable in single-species systems. At the same time, polymer topology has been shown to play a key role in tuning the rheology of polymeric fluids. However, how topology impacts the rheology of composites remains poorly understood. Here, we create composites of rigid rods (microtubules) polymerized within entangled solutions of flexible linear and ring polymers (DNA). We couple linear and nonlinear optical tweezers microrheology with confocal microscopy and scaled particle theory to show that composites of linear DNA and microtubules exhibit a strongly non-monotonic dependence of elasticity and stiffness on microtubule concentration due to depletion-driven polymerization and flocculation of microtubules. In contrast, composites of ring DNA and microtubules show a much more modest monotonic increase in elastic strength with microtubule concentration, which we demonstrate arises from the increased ability of rings to mix with microtubules.


title: A Review on Serious Games for ADHD

abstract: Attention deficit and hyperactivity disorder (ADHD) have two main characteristics: inattention and impulsivity.It has many obstacles to the normal development of children and is very common among children.As an intervention, Serious games for ADHD(SGADs) have shown great potential and are very effective for these ADHD patients.Although many serious games have been developed for ADHD patients, but a review paper that summarizes and generalizes the topic of video games has not yet appeared.In this article, we first classified serious games about ADHD according to different platforms developed by video games, and then we conducted a systematic review of video games that can help children with ADHD diagnose and treat. Finally, we discussed and made suggestions based on the current development of SGADs.


title: Calibration of Spatio-Temporal Forecasts from Citizen Science Urban Air Pollution Data with Sparse Recurrent Neural Networks

abstract: With their continued increase in coverage and quality, data collected from personal air quality monitors has become an increasingly valuable tool to complement existing public health monitoring systems over urban areas. However, the potential of using such `citizen science data' for automatic early warning systems is hampered by the lack of models able to capture the high resolution, nonlinear spatio-temporal features stemming from local emission sources such as traffic, residential heating and commercial activities. In this work, we propose a machine learning approach to forecast high frequency spatial fields which has two distinctive advantages from standard neural network methods in time: 1) sparsity of the neural network via a spike-and-slab prior, and 2) a small parametric space. The introduction of stochastic neural networks generates additional uncertainty, and in this work we propose a fast approach for ensure that the forecast is correctly assessed (calibration), both marginally and spatially. We focus on assessing exposure to urban air pollution in San Francisco, and our results suggest an improvement of over 58% in the mean squared error over standard time series approach with a calibrated forecast for up to 5 days.


title: Leader Election in Arbitrarily Connected Networks with Process Crashes and Weak Channel Reliability

abstract: A channel from a process p to a process q satisfies the ADD property if there are constants K and D, unknown to the processes, such that in any sequence of K consecutive messages sent by p to q, at least one of them is delivered to q at most D time units after it has been sent. This paper studies implementations of an eventual leader, namely, an {\Omega} failure detector, in an arbitrarily connected network of eventual ADD channels, where processes may fail by crashing. It first presents an algorithm that assumes that processes initially know n, the total number of processes, sending messages of size O( log n). Then, it presents a second algorithm that does not assume the processes know n. Eventually the size of the messages sent by this algorithm is also O( log n). These are the first implementations of leader election in the ADD model. In this model, only eventually perfect failure detectors were considered, sending messages of size O(n log n).


title: Active restructuring of cytoskeleton composites leads to increased mechanical stiffness, memory, and heterogeneity

abstract: The composite cytoskeleton, comprising interacting networks of semiflexible actin and rigid microtubules, actively generates forces and restructures using motor proteins such as myosins to enable key mechanical processes including cell motility and mitosis. Yet, how motor-driven activity alters the mechanics of cytoskeleton composites remains an open challenge. Here, we perform optical tweezers microrheology on actin-microtubule composites driven by myosin II motors to show that motor activity increases the linear viscoelasticity and elastic storage of the composite by active restructuring to a network of tightly-packed filament clusters and bundles. Our nonlinear microrheology measurements performed hours after cessation of activity show that the motor-contracted structure is stable and robust to nonlinear forcing. Unique features of the nonlinear response include increased mechanical stiffness, memory and heterogeneity, coupled with suppressed filament bending following motor-driven restructuring. Our results shed important new light onto the interplay between viscoelasticity and non-equilibrium dynamics in active polymer composites such as the cytoskeleton.


title: Accuracy and stability analysis of the Semi-Lagrangian method for stiff hyperbolic relaxation systems and kinetic BGK model

abstract: In this paper, we develop a family of third order asymptotic-preserving (AP) and asymptotically accurate (AA) diagonally implicit Runge-Kutta (DIRK) time discretization methods for the stiff hyperbolic relaxation systems and kinetic Bhatnagar-Gross-Krook (BGK) model in the semi-Lagrangian (SL) setting. The methods are constructed based on an accuracy analysis of the SL scheme for stiff hyperbolic relaxation systems and kinetic BGK model in the limiting fluid regime when the Knudsen number approaches $0$. An extra order condition for the asymptotic third order accuracy in the limiting regime is derived. Linear Von Neumann stability analysis of the proposed third order DIRK methods are performed to a simplified two-velocity linear kinetic model. Extensive numerical tests are presented to demonstrate the AA, AP and stability properties of our proposed schemes.


title: Cousin's lemma in second-order arithmetic

abstract: Cousin's lemma is a compactness principle that naturally arises when studying the gauge integral, a generalisation of the Lebesgue integral. We study the axiomatic strength of Cousin's lemma for various classes of functions, using Friedman and Simpson's reverse mathematics in second-order arithmetic. We prove that, over $\mathsf{RCA}_0$: (i) Cousin's lemma for continuous functions is equivalent to $\mathsf{WKL}_0$; (ii) Cousin's lemma for Baire class 1 functions is equivalent to $\mathsf{ACA}_0$; (iii) Cousin's lemma for Baire class 2 functions, or for Borel functions, are both equivalent to $\mathsf{ATR}_0$ (modulo some induction).


title: LASR: Learning Articulated Shape Reconstruction from a Monocular Video

abstract: Remarkable progress has been made in 3D reconstruction of rigid structures from a video or a collection of images. However, it is still challenging to reconstruct nonrigid structures from RGB inputs, due to its under-constrained nature. While template-based approaches, such as parametric shape models, have achieved great success in modeling the "closed world" of known object categories, they cannot well handle the "open-world" of novel object categories or outlier shapes. In this work, we introduce a template-free approach to learn 3D shapes from a single video. It adopts an analysis-by-synthesis strategy that forward-renders object silhouette, optical flow, and pixel values to compare with video observations, which generates gradients to adjust the camera, shape and motion parameters. Without using a category-specific shape template, our method faithfully reconstructs nonrigid 3D structures from videos of human, animals, and objects of unknown classes. Code will be available at lasr-google.github.io .


title: Building a Distributed Computing System for LDMX: Challenges of creating and operating a lightweight e-infrastructure for small-to-medium size accelerator experiments

abstract: Particle physics experiments rely extensively on computing and data services, making e-infrastructure an integral part of the research collaboration. Constructing and operating distributed computing can however be challenging for a smaller-scale collaboration. The Light Dark Matter eXperiment (LDMX) is a planned small-scale accelerator-based experiment to search for dark matter in the sub-GeV mass region. Finalizing the design of the detector relies on Monte-Carlo simulation of expected physics processes. A distributed computing pilot project was proposed to better utilize available resources at the collaborating institutes, and to improve scalability and reproducibility. This paper outlines the chosen lightweight distributed solution, presenting requirements, the component integration steps, and the experiences using a pilot system for tests with large-scale simulations. The system leverages existing technologies wherever possible, minimizing the need for software development, and deploys only non-intrusive components at the participating sites. The pilot proved that integrating existing components can dramatically reduce the effort needed to build and operate a distributed e-infrastructure, making it attainable even for smaller research collaborations.


title: Graph-based Multilingual Product Retrieval in E-commerce Search

abstract: Nowadays, with many e-commerce platforms conducting global business, e-commerce search systems are required to handle product retrieval under multilingual scenarios. Moreover, comparing with maintaining per-country specific e-commerce search systems, having a universal system across countries can further reduce the operational and computational costs, and facilitate business expansion to new countries. In this paper, we introduce a universal end-to-end multilingual retrieval system, and discuss our learnings and technical details when training and deploying the system to serve billion-scale product retrieval for e-commerce search. In particular, we propose a multilingual graph attention based retrieval network by leveraging recent advances in transformer-based multilingual language models and graph neural network architectures to capture the interactions between search queries and items in e-commerce search. Offline experiments on five countries data show that our algorithm outperforms the state-of-the-art baselines by 35% recall and 25% mAP on average. Moreover, the proposed model shows significant increase of conversion/revenue in online A/B experiments and has been deployed in production for multiple countries.


title: Spin Wave Interference Detection via Inverse Spin Hall Effect

abstract: In this letter, we present experimental data demonstrating spin wave interference detection using spin Hall effect (ISHE). Two coherent spin waves are excited in a yttrium-iron garnet (YIG) waveguide by continuous microwave signals. The initial phase difference between the spin waves is controlled by the external phase shifter. The ISHE voltage is detected at a distance of 2 mm and 4 mm away from the spin wave generating antennae by an attached Pt layer. Experimental data show ISHE voltage oscillation as a function of the phase difference between the two interfering spin waves. This experiment demonstrates an intriguing possibility of using ISHE in spin wave logic circuit converting spin wave phase into an electric signal


title: Everyday algorithm auditing: Understanding the power of everyday users in surfacing harmful algorithmic behaviors

abstract: A growing body of literature has proposed formal approaches to audit algorithmic systems for biased and harmful behaviors. While formal auditing approaches have been greatly impactful, they often suffer major blindspots, with critical issues surfacing only in the context of everyday use once systems are deployed. Recent years have seen many cases in which everyday users of algorithmic systems detect and raise awareness about harmful behaviors that they encounter in the course of their everyday interactions with these systems. However, to date little academic attention has been granted to these bottom-up, user-driven auditing processes. In this paper, we propose and explore the concept of everyday algorithm auditing, a process in which users detect, understand, and interrogate problematic machine behaviors via their day-to-day interactions with algorithmic systems. We argue that everyday users are powerful in surfacing problematic machine behaviors that may elude detection via more centrally-organized forms of auditing, regardless of users' knowledge about the underlying algorithms. We analyze several real-world cases of everyday algorithm auditing, drawing lessons from these cases for the design of future platforms and tools that facilitate such auditing behaviors. Finally, we discuss work that lies ahead, toward bridging the gaps between formal auditing approaches and the organic auditing behaviors that emerge in everyday use of algorithmic systems.


title: Hilbert bundles with ends

abstract: Given a countable metric space, we can consider its end. Then a basis of a Hilbert space indexed by the metric space defines an end of the Hilbert space, which is a new notion and different from an end as a metric space. Such an indexed basis also defines unitary operators of finite propagation, and these operators preserve an end of a Hilbert space. Then, we can define a Hilbert bundle with end, which lightens up new structures of Hilbert bundles. In a special case, we can define characteristic classes of Hilbert bundles with ends, which are new invariants of Hilbert bundles. We show Hilbert bundles with ends appear in natural contexts. First, we generalize the pushforward of a vector bundle along a finite covering to an infinite covering, which is a Hilbert bundle with end under a mild condition. Then we compute characteristic classes of some pushforwards along infinite coverings. Next, we will show the spectral decompositions of nice differential operators give rise to Hilbert bundles with ends, which elucidate new features of spectral decompositions. The spectral decompositions we will consider are the Fourier transform and the harmonic oscillators.


title: On the twisted octonionic eigenvalue problem and some sextics hypersurfaces related to the Cartan cubic

abstract: We revisit the octonionic eigenvalue problem from a geometric perspective. In particular, we study a tautological sheaf defined on a sextic related to this problem, the Ogievetski\^i-Dray-Manogue sextic. We then define and study a twisted version of the octonionic eigenvalue problem. A new sextic arises in this setting and we study the corresponding tautological sheaf supported on it. This twisted version of the octonionic eigenvalue problem is eminently more symmetric than the original one, as reflected by the last result we prove in this paper : the automorphism group of the twisted octonionic eigenvalue problem, though not isomorphic to $\mathrm{E}_6$, acts prehomogeneously on the exceptional Jordan algebra $\mathrm{J}_{3}(\mathbb{O})$. This is in sharp contrast with the fact that the generic orbit for the action of the automorphism group of the classical octonionic eigenvalue problem has (at least) codimension $6$ in $\mathrm{J}_{3}(\mathbb{O})$.


title: Hierarchies, entropy, and quantitative propagation of chaos for mean field diffusions

abstract: This paper develops a non-asymptotic, local approach to quantitative propagation of chaos for a wide class of mean field diffusive dynamics. For a system of $n$ interacting particles, the relative entropy between the marginal law of $k$ particles and its limiting product measure is shown to be $O((k/n)^2)$ at each time, as long as the same is true at time zero. A simple Gaussian example shows that this rate is optimal. The main assumption is that the limiting measure obeys a certain functional inequality, which is shown to encompass many potentially irregular but not too singular finite-range interactions, as well as some infinite-range interactions. This unifies the previously disparate cases of Lipschitz versus bounded measurable interactions, improving the best prior bounds of $O(k/n)$ which were deduced from global estimates involving all $n$ particles. We also cover a class of models for which qualitative propagation of chaos and even well-posedness of the McKean-Vlasov equation were previously unknown. At the center of a new approach is a differential inequality, derived from a form of the BBGKY hierarchy, which bounds the $k$-particle entropy in terms of the $(k+1)$-particle entropy.


title: Flavor and CP from String Theory

abstract: Modular transformations of string theory are shown to play a crucial role in the discussion of discrete flavor symmetries in the Standard Model. They include CP transformations and provide a unification of CP with traditional flavor symmetries within the framework of the "eclectic flavor" scheme. The unified flavor group is non-universal in moduli space and exhibits the phenomenon of "Local Flavor Unification", where different sectors of the theory (like quarks and leptons) can be subject to different flavor structures.


title: Sharp threshold for the Erd\H{o}s-Ko-Rado theorem

abstract: For positive integers $n$ and $k$ with $n\geq 2k+1$, the Kneser graph $K(n,k)$ is the graph with vertex set consisting of all $k$-sets of $\{1,\dots,n\}$, where two $k$-sets are adjacent exactly when they are disjoint. The independent sets of $K(n,k)$ are $k$-uniform intersecting families, and hence the maximum size independent sets are given by the Erd\H{o}s-Ko-Rado Theorem. Let $K_p(n,k)$ be a random spanning subgraph of $K(n,k)$ where each edge is included independently with probability $p$. Bollob\'as, Narayanan, and Raigorodskii asked for what $p$ does $K_p(n,k)$ have the same independence number as $K(n,k)$ with high probability. For $n=2k+1$, we prove a hitting time result, which gives a sharp threshold for this problem at $p=3/4$. Additionally, completing work of Das and Tran and work of Devlin and Kahn, we determine a sharp threshold function for all $n>2k+1$.


title: RIS-Aided Cell-Free Massive MIMO: Performance Analysis and Competitiveness

abstract: In this paper, we consider and study a cell-free massive MIMO (CF-mMIMO) system aided with reconfigurable intelligent surfaces (RISs), where a large number of access points (APs) cooperate to serve a smaller number of users with the help of RIS technology. We consider imperfect channel state information (CSI), where each AP uses the local channel estimates obtained from the uplink pilots and applies conjugate beamforming for downlink data transmission. Additionally, we consider random beamforming at the RIS during both training and data transmission phases. This allows us to eliminate the need of estimating each RIS assisted link, which has been proven to be a challenging task in literature. We then derive a closed-form expression for the achievable rate and use it to evaluate the system's performance supported with numerical results. We show that the RIS provided array gain improves the system's coverage, and provides nearly a 2-fold increase in the minimum rate and a 1.5-fold increase in the per-user throughput. We also use the results to provide preliminary insights on the number of RISs that need to be used to replace an AP, while achieving similar performance as a typical CF-mMIMO system with dense AP deployment.


title: Do language models learn typicality judgments from text?

abstract: Building on research arguing for the possibility of conceptual and categorical knowledge acquisition through statistics contained in language, we evaluate predictive language models (LMs) -- informed solely by textual input -- on a prevalent phenomenon in cognitive science: typicality. Inspired by experiments that involve language processing and show robust typicality effects in humans, we propose two tests for LMs. Our first test targets whether typicality modulates LM probabilities in assigning taxonomic category memberships to items. The second test investigates sensitivities to typicality in LMs' probabilities when extending new information about items to their categories. Both tests show modest -- but not completely absent -- correspondence between LMs and humans, suggesting that text-based exposure alone is insufficient to acquire typicality knowledge.


abstract: Applying an operator product expansion approach we update the Standard Model prediction of the $B_c$ lifetime from over 20 years ago. The non-perturbative velocity expansion is carried out up to third order in the relative velocity of the heavy quarks. The scheme dependence is studied using three different mass schemes for the $\bar b$ and $c$ quarks, resulting in three different values consistent with each other and with experiment. Special focus has been laid on renormalon cancellation in the computation. Uncertainties resulting from scale dependence, neglecting the strange quark mass, non-perturbative matrix elements and parametric uncertainties are discussed in detail. The resulting uncertainties are still rather large compared to the experimental ones, and therefore do not allow for clear-cut conclusions concerning New Physics effects in the $B_c$ decay.


title: Paley's inequality for nonabelian groups

abstract: This article studies Paley's theory for lacunary Fourier series on (nonabelian) discrete groups. The results unify and generalize the work of Rudin for abelian discrete groups and the work of Lust-Piquard and Pisier for operator valued functions, and provide new examples of Paley sequences and $\Lambda(p)$ sets on free groups.


title: Derivations on algebras of one-point compactification of affine semigroups

abstract: For any affine semigroup $S$ the set $S\cup\{\infty\}$ has a natural structure of semigroup, additionally if $S$ is endowed with the discrete topology, the semigroup $S\cup\{\infty\}$ can be studied as the one-point compactification of $S$. In this article we study the derivations on the semigroup algebra $\mathbb{C}[S\cup\{\infty\}]$ in relation to the derivations on the semigroup algebra $\mathbb{C}[S]$ considering the metrizable topology on $\mathbb{C}[S\cup\{\infty\}]$ induced by the one-point compactification topology of $S\cup\{\infty\}$.


title: Similarity Downselection: A Python implementation of a heuristic search algorithm for finding the set of the n most dissimilar items with an application in conformer sampling

abstract: Finding the set of the n items most dissimilar from each other out of a larger population becomes increasingly difficult and computationally expensive as either n or the population size grows large. Finding the set of the n most dissimilar items is different than simply sorting an array of numbers because there exists a pairwise relationship between each item and all other items in the population. For instance, if you have a set of the most dissimilar n=4 items, one or more of the items from n=4 might not be in the set n=5. An exact solution would have to search all possible combinations of size n in the population, exhaustively. We present an open-source software called similarity downselection (SDS), written in Python and freely available on GitHub. SDS implements a heuristic algorithm for quickly finding the approximate set(s) of the n most dissimilar items. We benchmark SDS against a Monte Carlo method, which attempts to find the exact solution through repeated random sampling. We show that for SDS to find the set of n most dissimilar conformers, our method is not only orders of magnitude faster, but is also more accurate than running the Monte Carlo for 1,000,000 iterations, each searching for set sizes n=3-7 out of a population of 50,000. We also benchmark SDS against the exact solution for example small populations, showing SDS produces a solution close to the exact solution in these instances.


title: On products of $l_{s,r}$-nuclear and close operators

abstract: We study the possibilities of factorizations of products of nuclear operators of different types through the Schatten-von Neumann operators in Hilbert spaces with giving some applications to eigenvalues problems.


title: Learning Controllable Content Generators

abstract: It has recently been shown that reinforcement learning can be used to train generators capable of producing high-quality game levels, with quality defined in terms of some user-specified heuristic. To ensure that these generators' output is sufficiently diverse (that is, not amounting to the reproduction of a single optimal level configuration), the generation process is constrained such that the initial seed results in some variance in the generator's output. However, this results in a loss of control over the generated content for the human user. We propose to train generators capable of producing controllably diverse output, by making them "goal-aware." To this end, we add conditional inputs representing how close a generator is to some heuristic, and also modify the reward mechanism to incorporate that value. Testing on multiple domains, we show that the resulting level generators are capable of exploring the space of possible levels in a targeted, controllable manner, producing levels of comparable quality as their goal-unaware counterparts, that are diverse along designer-specified dimensions.


title: A Convexly Constrained LiGME Model and Its Proximal Splitting Algorithm

abstract: For the sparsity-rank-aware least squares estimations, the LiGME (Linearly involved Generalized Moreau Enhanced) model was established recently in [Abe, Yamagishi, Yamada, 2020] to use certain nonconvex enhancements of linearly involved convex regularizers without losing their overall convexities. In this paper, for further advancement of the LiGME model by incorporating multiple a priori knowledge as hard convex constraints, we newly propose a convexly constrained LiGME (cLiGME) model. The cLiGME model can utilize multiple convex constraints while preserving benefits achieved by the LiGME model. We also present a proximal splitting type algorithm for the proposed cLiGME model. Numerical experiments demonstrate the efficacy of the proposed model and the proposed optimization algorithm in a scenario of signal processing application.


title: Approximate inversion of discrete Fourier integral operators

abstract: This paper introduces a factorization for the inverse of discrete Fourier integral operators that can be applied in quasi-linear time. The factorization starts by approximating the operator with the butterfly factorization. Next, a hierarchical matrix representation is constructed for the hermitian matrix arising from composing the Fourier integral operator with its adjoint. This representation is inverted efficiently with a new algorithm based on the hierarchical interpolative factorization. By combining these two factorizations, an approximate inverse factorization for the Fourier integral operator is obtained as a product of $O(\log N)$ sparse matrices of size $N\times N$. The resulting approximate inverse factorization can be used as a direct solver or as a preconditioner. Numerical examples on 1D and 2D Fourier integral operators, including a generalized Radon transform, demonstrate the performance of this new approach.


title: Tackling Imbalanced Data in Cybersecurity with Transfer Learning: A Case with ROP Payload Detection

abstract: In recent years, deep learning gained proliferating popularity in the cybersecurity application domain, since when being compared to traditional machine learning, it usually involves less human effort, produces better results, and provides better generalizability. However, the imbalanced data issue is very common in cybersecurity, which can substantially deteriorate the performance of the deep learning models. This paper introduces a transfer learning based method to tackle the imbalanced data issue in cybersecurity using Return-Oriented Programming (ROP) payload detection as a case study. We achieved 0.033 average false positive rate, 0.9718 average F1 score and 0.9418 average detection rate on 3 different target domain programs using 2 different source domain programs, with 0 benign training data samples in the target domain. The performance improvement compared to the baseline is a trade-off between false positive rate and detection rate. Using our approach, the number of false positives is reduced by 23.20%, and as a trade-off, the number of detected malicious samples is reduced by 0.50%.


title: A Note on the Convolution of Circle Impulses

abstract: We present a formula for the convolution $\delta_{C_1}*\delta_{C_2}$ of two circle impulses. The derivation uses a classical addition theorem for Bessel functions.


title: Abelian varieties not isogenous to Jacobians over global fields

abstract: We prove the existence of abelian varieties not isogenous to Jacobians over characterstic $p$ function fields. Our methods involve studying the action of degree $p$ Hecke operators on hypersymmetric points, as well as their effect on the formal neighborhoods using Serre Tate co-ordinates. We moreover use our methods to provide another proof over number fields, as well as proving a version of this result over finite fields.


title: Spreading-splashing transition of nanofluid droplets on a smooth flat surface

abstract: Even a small fraction of nanoparticles in fluids affects the splashing behavior of a droplet upon impact on a smooth surface. Nanofluid drop impact onto a smooth sapphire substrate is experimentally investigated over wide ranges of Reynolds ($10^2<\mathrm{Re}<10^4$) and Weber ($50<\mathrm{We}<500$) numbers for three nanofluid mass concentrations (0.01%, 0.1%, 1%) using high-speed photography. Nanofluids are prepared by diluting a commercial Al$_2$O$_3$-water nanofluid in aqueous glycerol solutions without dispersants. In total, 30 samples are prepared and 1799 data points are acquired. Every sample is experimentally characterized prior to droplet impact measurements in terms of stability, density, viscosity, and surface tension to demonstrate the observed outcomes on the We-Re maps. Each droplet impact condition is repeated at least 3 times to ensure good repeatability. The non-monotonic behavior of the spreading-to-splashing transition remains the same for nanofluids. However, nanofluids influence this boundary by promoting splashing at low Reynolds numbers. We explain this behavior by increased lamella spreading speed and lift during the lamella spreading stage. Finally, we develop an empirical correlation which describes the splashing threshold dependency on nanoparticle concentration for the first time.


title: Parallel Strategies for Direct Multisearch

abstract: Direct Multisearch (DMS) is a Derivative-free Optimization class of algorithms suited for computing approximations to the complete Pareto front of a given Multiobjective Optimization problem. It has a well-supported convergence analysis and simple implementations present a good numerical performance, both in academic test sets and in real applications. Recently, this numerical performance was improved with the definition of a search step based on the minimization of quadratic polynomial models, corresponding to the algorithm BoostDMS. In this work, we propose and numerically evaluate the performance of parallelization strategies for this solver, applied to the search and to the poll steps. The final parallelized version not only considerably decreases the computational time required for solving a Multiobjective Optimization problem, but also increases the quality of the computed approximation to the Pareto front. Extensive numerical results will be reported in an academic test set and in a chemical engineering application.


title: A universal deep learning strategy for designing high-quality-factor photonic resonances

abstract: Resonance is instrumental in modern optics and photonics for novel phenomena such as cavity quantum electrodynamics and electric-field-induced transparency. While one can use numerical simulations to sweep geometric and material parameters of optical structures, these simulations usually require considerably long calculation time (spanning from several hours to several weeks) and substantial computational resources. Such requirements significantly limit their applicability in understanding and inverse designing structures with desired resonance performances. Recently, the introduction of artificial intelligence allows for faster predictions of resonance with less demanding computational requirements. However, current end-to-end deep learning approaches generally fail to predict resonances with high quality-factors (Q-factor). Here, we introduce a universal deep learning strategy that can predict ultra-high Q-factor resonances by decomposing spectra with an adaptive data acquisition (ADA) method while incorporating resonance information. We exploit bound states in the continuum (BICs) with an infinite Q-factor to testify this resonance-informed deep learning (RIDL) strategy. The trained RIDL strategy achieves high-accuracy prediction of reflection spectra and photonic band structures while using a considerably small training dataset. We further develop an inverse design algorithm based on the RIDL strategy for a symmetry-protected BIC on a suspended silicon nitride photonic crystal (PhC) slab. The predicted and measured angle-resolved band structures show minimum differences. We expect the RIDL strategy to apply to many other physical phenomena which exhibit Gaussian, Lorentzian, and Fano resonances.


title: Comparing Lagrange and Mixed finite element methods using MFEM library

abstract: In this paper, we develop two finite element formulations for the Laplace problem and find the way in which they are equivalent. Then we compare the solutions obtained by both formulations, by changing the order of the shape functions and the refinement level of the mesh (star with rhomboidal elements). And, we will give an overview of MFEM library from the LLNL (Lawrence Livermore National Laboratory), as it is the library used to obtain the solutions.


title: Can small-scale baryon inhomogeneities resolve the Hubble tension? An investigation with ACT DR4

abstract: Small-scale inhomogeneities in the baryon density around recombination have been proposed as a solution to the tension between local and global determinations of the Hubble constant. These baryon clumping models make distinct predictions for the cosmic microwave background anisotropy power spectra on small angular scales. We use recent data from the Atacama Cosmology Telescope to test these predictions. No evidence for baryon clumping is found, assuming a range of parameterizations for time-independent baryon density probability distribution functions. The inferred Hubble constant remains in significant tension with the SH0ES measurement.


title: Intrinsic room-temperature piezoelectric quantum anomalous hall insulator in Janus monolayer $\mathrm{Fe_2IX}$ (X=Cl and Br)

abstract: A two-dimensional (2D) material with piezoelectricity, topological and ferromagnetic (FM) orders, namely 2D piezoelectric quantum anomalous hall insulator (PQAHI), may open new opportunities to realize novel physics and applications. Here, by first-principles calculations, a family of 2D Janus monolayer $\mathrm{Fe_2IX}$ (X=Cl and Br) with dynamic, mechanical and thermal stabilities is predict to be room-temperature PQAHI. At the absence of spin-orbit coupling (SOC), monolayer $\mathrm{Fe_2IX}$ (X=Cl and Br) is a half Dirac semimetal state. When the SOC is included, these monolayers become quantum anomalous hall (QAH) states with sizable gaps (more than two hundred meV) and two chiral edge modes (Chern number C=2). It is also found that monolayer $\mathrm{Fe_2IX}$ (X=Cl and Br) possesses robust QAH states against biaxial strain. By symmetry analysis, it is found that only out-of-plane piezoelectric response can be induced by a uniaxial strain in the basal plane. The calculated out-of-plane $d_{31}$ of $\mathrm{Fe_2ICl}$ ($\mathrm{Fe_2IBr}$) is 0.467 pm/V (0.384 pm/V), which is higher than or comparable with ones of other 2D known materials. Meanwhile, using Monte Carlo (MC) simulations, the Curie temperature $T_C$ is estimated to be 429/403 K for monolayer $\mathrm{Fe_2ICl}$/$\mathrm{Fe_2IBr}$ at FM ground state, which is above room temperature. Finally, the interplay of electronic correlations with nontrivial band topology is studied to confirm the robustness of QAH state. The combination of piezoelectricity, topological and FM orders makes monolayer $\mathrm{Fe_2IX}$ (X=Cl and Br) become a potential platform for multi-functional spintronic applications with large gap and high $T_C$. Our works provide possibility to use the piezotronic effect to control QAH effects, and can stimulate further experimental works.


title: A Decision Procedure for a Theory of Finite Sets with Finite Integer Intervals

abstract: In this paper we extend a decision procedure for the Boolean algebra of finite sets with cardinality constraints ($\mathcal{L}_{\lvert\cdot\rvert}$) to a decision procedure for $\mathcal{L}_{\lvert\cdot\rvert}$ extended with set terms denoting finite integer intervals ($\mathcal{L}_{[\,]}$). In $\mathcal{L}_{[\,]}$ interval limits can be integer linear terms including \emph{unbounded variables}. These intervals are a useful extension because they allow to express non-trivial set operators such as the minimum and maximum of a set, still in a quantifier-free logic. Hence, by providing a decision procedure for $\mathcal{L}_{[\,]}$ it is possible to automatically reason about a new class of quantifier-free formulas. The decision procedure is implemented as part of the $\{log\}$ tool. The paper includes a case study based on the elevator algorithm showing that $\{log\}$ can automatically discharge all its invariance lemmas some of which involve intervals.


title: A Recursive Measure of Voting Power that Satisfies Reasonable Postulates

abstract: We design a recursive measure of voting power based on partial as well as full voting efficacy. Classical measures, by contrast, incorporate solely full efficacy. We motivate our design by representing voting games using a division lattice and via the notion of random walks in stochastic processes, and show the viability of our recursive measure by proving it satisfies a plethora of postulates that any reasonable voting measure should satisfy. These include the iso-invariance, dummy, dominance, donation, minimum-power bloc, and quarrel postulates.


title: Search for lepton-flavor violating decays of the Higgs boson in the $\mu\tau$ and e$\tau$ final states in proton-proton collisions at $\sqrt{s}$ = 13 TeV

abstract: A search is presented for lepton-flavor violating decays of the Higgs boson to $\mu\tau$ and e$\tau$. The data set corresponds to an integrated luminosity of 137 fb$^{-1}$ collected at the LHC in proton-proton collisions at a center-of-mass energy of 13 TeV. No significant excess has been found, and the results are interpreted in terms of upper limits on lepton-flavor violating branching fractions of the Higgs boson. The observed (expected) upper limits on the branching fractions are, respectively, $\mathcal{B}($H $\to\mu\tau)$ $\lt$ 0.15 (0.15)% and $\mathcal{B}($H$\to$e$\tau)$ $\lt$ 0.22 (0.16)% at 95% confidence level.


title: Groupoid Twisted Partial Actions

abstract: The main goal of this paper is to introduce the notion of twisted partial action of groupoids. We generalize the theorem about the existence of an enveloping action, also known as the globalization theorem, and show that the crossed products of the twisted partial action and of its associated twisted global action are Morita equivalent. Finally, we generalize the concepts of partial projective representation and partial Schur multiplier for a groupoid, and we show the interaction between groupoid partial projective representions and groupoid twisted partial actions.


title: Autonomic Management of Power Consumption with IoT and Fog Computing

abstract: We introduce a system for Autonomic Management of Power Consumption in setups that involve Internet of Things (IoT) and Fog Computing. The Central IoT (CIoT) is a Fog Computing based solution to provide advanced orchestration mechanisms to manage dynamic duty cycles for extra energy savings. The solution works by adjusting Home (H) and Away (A) cycles based on contextual information, like environmental conditions, user behavior, behavior variation, regulations on energy and network resources utilization, among others. Performance analysis through a proof of concept present average energy savings of 58.4%, reaching up to 61.51% when augmenting with a scheduling system and variable long sleep cycles (LS). However, there is no linear relation increasing LS time and more savings. The significance of this research is to promote autonomic management as a solution to develop more energy efficient buildings and smarter cities, towards sustainable goals.


title: Efficient Weight factorization for Multilingual Speech Recognition

abstract: End-to-end multilingual speech recognition involves using a single model training on a compositional speech corpus including many languages, resulting in a single neural network to handle transcribing different languages. Due to the fact that each language in the training data has different characteristics, the shared network may struggle to optimize for all various languages simultaneously. In this paper we propose a novel multilingual architecture that targets the core operation in neural networks: linear transformation functions. The key idea of the method is to assign fast weight matrices for each language by decomposing each weight matrix into a shared component and a language dependent component. The latter is then factorized into vectors using rank-1 assumptions to reduce the number of parameters per language. This efficient factorization scheme is proved to be effective in two multilingual settings with $7$ and $27$ languages, reducing the word error rates by $26\%$ and $27\%$ rel. for two popular architectures LSTM and Transformer, respectively.


title: A Dataset of Information-Seeking Questions and Answers Anchored in Research Papers

abstract: Readers of academic research papers often read with the goal of answering specific questions. Question Answering systems that can answer those questions can make consumption of the content much more efficient. However, building such tools requires data that reflect the difficulty of the task arising from complex reasoning about claims made in multiple parts of a paper. In contrast, existing information-seeking question answering datasets usually contain questions about generic factoid-type information. We therefore present QASPER, a dataset of 5,049 questions over 1,585 Natural Language Processing papers. Each question is written by an NLP practitioner who read only the title and abstract of the corresponding paper, and the question seeks information present in the full text. The questions are then answered by a separate set of NLP practitioners who also provide supporting evidence to answers. We find that existing models that do well on other QA tasks do not perform well on answering these questions, underperforming humans by at least 27 F1 points when answering them from entire papers, motivating further research in document-grounded, information-seeking QA, which our dataset is designed to facilitate.


title: Stationary distributions of propelled particles as a system with quenched disorder

abstract: This article is the exploration of the viewpoint within which propelled particles in a steady-state are regarded as a system with quenched disorder. The analogy is exact when the rate of the drift orientation vanishes and the linear potential, representing the drift, becomes part of an external potential, resulting in the effective potential $u_{eff}$. The stationary distribution is then calculated as a disorder-averaged quantity by considering all contributing drift orientations. To extend this viewpoint to the case when a drift orientation evolves in time, we reformulate the relevant Fokker-Planck equation as a self-consistent relation. One interesting aspect of this formulation is that it is represented in terms of the Boltzmann factor $e^{-\beta u_{eff}}$. In the case of a run-and-tumble model, the formulation reveals an effective interaction between particles.


title: A Sobolev space theory for the Stochastic Partial Differential Equations with space-time non-local operators

abstract: We deal with the Sobolev space theory for the stochastic partial differential equation (SPDE) driven by Wiener processes $$ \partial_{t}^{\alpha}u=\left( \phi(\Delta) u +f(u) \right) + \partial_t^\beta \sum_{k=1}^\infty \int_0^t g^k(u)\,dw_s^k, \quad t>0, x\in \mathbb{R}^d; \,\,\, u(0,\cdot)=u_0 $$ as well as the SPDE driven by space-time white noise $$ \partial^{\alpha}_{t}u=\phi(\Delta)u + f(u) + \partial^{\beta-1}_{t}h(u) \dot{W}, \quad t>0,x\in \mathbb{R}^d; \quad u(0,\cdot)=u_{0}. $$ Here, $\alpha\in (0,1), \beta\in (-\infty, \alpha+1/2)$, $\{w_t^k : k=1,2,\cdots\}$ is a family of independent one-dimensional Wiener processes, and $\dot{W}$ is a space-time white noise defined on $[0,\infty)\times \mathbb{R}^d$. The time non-local operator $\partial_{t}^{\gamma}$ denotes the Caputo fractional derivative if $\gamma>0$ and the Riemann-Liouville fractional integral if $\gamma\leq0$. The the spatial non-local operator $\phi(\Delta)$ is a type of integro-differential operator whose symbol is $-\phi(|\xi|^2)$, where $\phi$ is a Bernstein function satisfying \begin{equation*} \kappa_0\left(\frac{R}{r}\right)^{\delta_{0}} \leq \frac{\phi(R)}{\phi(r)}, \qquad \forall\,\, 0<r<R<\infty \end{equation*} with some constants $\kappa_0>0$ and $\delta_0\in (0,1]$. We prove the uniqueness and existence results in Sobolev spaces, and obtain the maximal regularity results of solutions.


title: BasisNet: Two-stage Model Synthesis for Efficient Inference

abstract: In this work, we present BasisNet which combines recent advancements in efficient neural network architectures, conditional computation, and early termination in a simple new form. Our approach incorporates a lightweight model to preview the input and generate input-dependent combination coefficients, which later controls the synthesis of a more accurate specialist model to make final prediction. The two-stage model synthesis strategy can be applied to any network architectures and both stages are jointly trained. We also show that proper training recipes are critical for increasing generalizability for such high capacity neural networks. On ImageNet classification benchmark, our BasisNet with MobileNets as backbone demonstrated clear advantage on accuracy-efficiency trade-off over several strong baselines. Specifically, BasisNet-MobileNetV3 obtained 80.3% top-1 accuracy with only 290M Multiply-Add operations, halving the computational cost of previous state-of-the-art without sacrificing accuracy. With early termination, the average cost can be further reduced to 198M MAdds while maintaining accuracy of 80.0% on ImageNet.


title: Retrieving Data Permutations from Noisy Observations: High and Low Noise Asymptotics

abstract: This paper considers the problem of recovering the permutation of an n-dimensional random vector X observed in Gaussian noise. First, a general expression for the probability of error is derived when a linear decoder (i.e., linear estimator followed by a sorting operation) is used. The derived expression holds with minimal assumptions on the distribution of X and when the noise has memory. Second, for the case of isotropic noise (i.e., noise with a diagonal scalar covariance matrix), the rates of convergence of the probability of error are characterized in the high and low noise regimes. In the low noise regime, for every dimension n, the probability of error is shown to behave proportionally to {\sigma}, where {\sigma} is the noise standard deviation. Moreover, the slope is computed exactly for several distributions and it is shown to behave quadratically in n. In the high noise regime, for every dimension n, the probability of correctness is shown to behave as 1/{\sigma}, and the exact expression for the rate of convergence is also provided.


title: Low Temperature Domain Wall Freezing and Non-Equilibrium Dynamics in the Transverse-Field Ising Model Material CoNb$_2$O$_6$

abstract: CoNb$_2$O$_6$ is a rare realization of the transverse field Ising model (TFIM), making it a useful tool for studying both equilibrium and non-equilibrium many-body quantum physics. Despite a large body of work dedicated to characterizing this material, details of the ordered states in the presence of relatively weak transverse fields have not been discussed in detail. Here, we present a detailed study of CoNb$_2$O$_6$ via ac susceptibility measurements in order to further characterize its low temperature behavior in the presence of a transverse field. Specifically, we call attention to an unconventional freezing transition in zero-field below T$_F$ = 1.2~K, occurring \emph{within} the well-known commensurate antiferromagnetic (CAFM) state that onsets at $T_{N2}$ = 1.9~K. We performed a series of transverse-field quenches into this frozen state, which resulted in a slowly relaxing susceptibility, $\chi^{\prime}(t)$, that followed a logarithmic decay within the time range measured. We discuss the frozen state in the context of the freezing of previously discussed "free" chains arising from domain walls between the four degenerate sublattices of the CAFM state. We also attempted to observe Kibble-Zurek scaling by quenching the transverse field into the frozen state at different rates. This produced a null result; the behavior can be fully explained by coarsening of domains over the timescale of the quenches. The absence of a clear Kibble-Zurek scaling is itself surprising, given the proposed ubiquity of the phenomenon for general second order phase transitions.


title: Tachyons with any Spin

abstract: In earlier work we showed how to handle the Group Theoretical issue of the Little Group for spin 1/2 tachyons by introducing a special metric in the Hilbert space of one-particle states. Here that technique is extended to tachyons of any spin. Examining the bi-linear algebra of the generating matrices for spin 5/2, we find a complete basis for the Gell-Mann matrices that form the Lie algebra for SU(3). A Dirac-like equation is developed for tachyons of any integer-plus-one-half spin; and it shows multiple distinct mass eigenvalues. The primary model shows a mass spectrum (in the case of j = 5/2) that roughly mimics the known data on masses of the three neutrinos; the model can be tweaked to fit that experimental data precisely.


title: Schwinger pair production in inhomogeneous electric fields with symmetrical frequency chirp

abstract: Pair production in inhomogeneous electric fields with symmetrical frequency chirp is studied numerically using the Dirac-Heisenberg-Wigner formalism. We investigate high- and low-frequency modes and consider two carrier envelope phases. Momentum spectrum is sensitive to chirp causing different interference effect for different spatial scales as well as the carrier phase of the external field. The reduced particle number is in general enhanced with increasing chirp. The effect of spatial scale of the field on the reduced particle number is also examined. It is found that it is enhanced at small spatial scale but is almost unchangeable at large spatial scales for the considered field parameters. On the other hand, at small spatial scale, the reduced particle number is enhanced by one or two orders when chirp is applied with the exception of cosine low-frequency field which is only a few times larger. Moreover it is found that the reduced particle number is further increased by symmetrical chirp at about two times by comparing to the usual asymmetrical chirp in high frequency field.


title: Imitation Learning via Simultaneous Optimization of Policies and Auxiliary Trajectories

abstract: Imitation learning (IL) is a frequently used approach for data-efficient policy learning. Many IL methods, such as Dataset Aggregation (DAgger), combat challenges like distributional shift by interacting with oracular experts. Unfortunately, assuming access to oracular experts is often unrealistic in practice; data used in IL frequently comes from offline processes such as lead-through or teleoperation. In this paper, we present a novel imitation learning technique called Collocation for Demonstration Encoding (CoDE) that operates on only a fixed set of trajectory demonstrations. We circumvent challenges with methods like back-propagation-through-time by introducing an auxiliary trajectory network, which takes inspiration from collocation techniques in optimal control. Our method generalizes well and more accurately reproduces the demonstrated behavior with fewer guiding trajectories when compared to standard behavioral cloning methods. We present simulation results on a 7-degree-of-freedom (DoF) robotic manipulator that learns to exhibit lifting, target-reaching, and obstacle avoidance behaviors.


title: Structured dataset documentation: a datasheet for CheXpert

abstract: Billions of X-ray images are taken worldwide each year. Machine learning, and deep learning in particular, has shown potential to help radiologists triage and diagnose images. However, deep learning requires large datasets with reliable labels. The CheXpert dataset was created with the participation of board-certified radiologists, resulting in the strong ground truth needed to train deep learning networks. Following the structured format of Datasheets for Datasets, this paper expands on the original CheXpert paper and other sources to show the critical role played by radiologists in the creation of reliable labels and to describe the different aspects of the dataset composition in detail. Such structured documentation intends to increase the awareness in the machine learning and medical communities of the strengths, applications, and evolution of CheXpert, thereby advancing the field of medical image analysis. Another objective of this paper is to put forward this dataset datasheet as an example to the community of how to create detailed and structured descriptions of datasets. We believe that clearly documenting the creation process, the contents, and applications of datasets accelerates the creation of useful and reliable models.


title: Optical induced Spin Current in Monolayer NbSe$_2$

abstract: Monolayer NbSe2 is a metallic two-dimensional (2D) transition-metal dichalcogenide material. Owing to the lattice structure and the strong atomic spin-orbit coupling (SOC) field, monolayer NbSe2 possesses Ising-type SOC which acts as effective Zeeman field, leading to the unconventional topological spin properties. In this paper, we numerically calculate spin-dependent optical conductivity of monolayer NbSe2 using Kubo formula based on an effective tight-binding model which includes $d_{z^2}$, $d_{x^2-y^2}$ and $d_{xy}$ orbitals of Nb atom. Numerical calculation indicates that the up- and down-spin have opposite sign of Hall current, so the pure spin Hall current can be generated in monolayer NbSe2 under light irradiation, owing to the topological nature of monolayer NbSe2, i.e., finite spin Berry curvature. The spin Hall angle is also evaluated. The optical induced spin Hall current can be enhanced by the electron doping and persists even at room temperature. Our results will serve to design opt-spintronics devices such as spin current harvesting by light irradiation on the basis of 2D materials.


title: Estimating Design Operating Characteristics in Bayesian Adaptive Clinical Trials

abstract: Bayesian adaptive designs have gained popularity in all phases of clinical trials with numerous new developments in the past few decades. During the COVID-19 pandemic, the need to establish evidence for the effectiveness of vaccines, therapeutic treatments and policies that could resolve or control the crisis emphasized the advantages offered by efficient and flexible clinical trial designs. In many COVID-19 clinical trials, due to the high level of uncertainty, Bayesian adaptive designs were considered advantageous. Designing Bayesian adaptive trials, however, requires extensive simulation studies that are generally considered challenging, particularly in time-sensitive settings such as a pandemic. In this article, we propose a set of methods for efficient estimation and uncertainty quantification for design operating characteristics of Bayesian adaptive trials. Specifically, we model the sampling distribution of Bayesian probability statements that are commonly used as the basis of decision making. To showcase the implementation and performance of the proposed approach, we use a clinical trial design with an ordinal disease-progression scale endpoint that was popular among COVID-19 trial. However, the proposed methodology may be applied generally in clinical trial context where design operating characteristics cannot be obtained analytically.


title: DExperts: Decoding-Time Controlled Text Generation with Experts and Anti-Experts

abstract: Despite recent advances in natural language generation, it remains challenging to control attributes of generated text. We propose DExperts: Decoding-time Experts, a decoding-time method for controlled text generation that combines a pretrained language model with "expert" LMs and/or "anti-expert" LMs in a product of experts. Intuitively, under the ensemble, tokens only get high probability if they are considered likely by the experts, and unlikely by the anti-experts. We apply DExperts to language detoxification and sentiment-controlled generation, where we outperform existing controllable generation methods on both automatic and human evaluations. Moreover, because DExperts operates only on the output of the pretrained LM, it is effective with (anti-)experts of smaller size, including when operating on GPT-3. Our work highlights the promise of tuning small LMs on text with (un)desirable attributes for efficient decoding-time steering.


title: The limiting absorption principle for massless Dirac operators, properties of spectral shift functions, and an application to the Witten index of non-Fredholm operators

abstract: We derive a limiting absorption principle on any compact interval in $\mathbb{R} \backslash \{0\}$ for the free massless Dirac operator, $H_0 = \alpha \cdot (-i \nabla)$ in $[L^2(\mathbb{R}^n)]^N$, $n \geq 2$, $N=2^{\lfloor(n+1)/2\rfloor}$, and then prove the absence of singular continuous spectrum of interacting massless Dirac operators $H = H_0 +V$, where $V$ decays like $O(|x|^{-1 - \varepsilon})$. Expressing the spectral shift function $\xi(\,\cdot\,; H,H_0)$ as normal boundary values of regularized Fredholm determinants, we prove that for sufficiently decaying $V$, $\xi(\,\cdot\,;H,H_0) \in C((-\infty,0) \cup (0,\infty))$, and that the left and right limits at zero, $\xi(0_{\pm}; H,H_0)$, exist. Introducing the non-Fredholm operator $\boldsymbol{D}_{\boldsymbol{A}} = \frac{d}{dt} + \boldsymbol{A}$ in $L^2\big(\mathbb{R};[L^2(\mathbb{R}^n)]^N\big)$, where $\boldsymbol{A} = \boldsymbol{A_-} + \boldsymbol{B}$, $\boldsymbol{A_-}$, and $\boldsymbol{B}$ are generated in terms of $H, H_0$ and $V$, via $A(t) = A_- + B(t)$, $A_- = H_0$, $B(t)=b(t) V$, $t \in \mathbb{R}$, assuming $b$ is smooth, $b(-\infty) = 0$, $b(+\infty) = 1$, and introducing $\boldsymbol{H_1} = \boldsymbol{D}_{\boldsymbol{A}}^{*} \boldsymbol{D}_{\boldsymbol{A}}$, $\boldsymbol{H_2} = \boldsymbol{D}_{\boldsymbol{A}} \boldsymbol{D}_{\boldsymbol{A}}^{*}$, one of the principal results in this manuscript expresses the $k$th resolvent regularized Witten index $W_{k,r}(\boldsymbol{D}_{\boldsymbol{A}})$ ($k \in \mathbb{N}$, $k \geq \lceil n/2 \rceil$) in terms of spectral shift functions as \[ W_{k,r}(\boldsymbol{D}_{\boldsymbol{A}}) = \xi(0_+; \boldsymbol{H_2}, \boldsymbol{H_1}) = [\xi(0_+;H,H_0) + \xi(0_-;H,H_0)]/2. \] Here $L^2(\mathbb{R};\mathcal{H}) = \int_{\mathbb{R}}^{\oplus} dt \, \mathcal{H}$ and $\boldsymbol{T} = \int_{\mathbb{R}}^{\oplus} dt \, T(t)$ abbreviate direct integrals.


title: Drastic change in inelastic scattering depending on the development of dineutron correlation in $^{10}$Be

abstract: We investigated the development and breaking of the dineutron correlation in $^{10}$Be by analyzing the elastic and inelastic scatterings with a framework combing the microscopic structure and reaction models. For studying the structure, the $^{10}$Be nucleus was constructed under the assumption of a four-body ($\alpha + \alpha + n + n$) cluster model. In this work, we focused on the change in the inner structure for the 0$_1^+$, 2$_1^+$, and 2$_2^+$ states when the strength of the spin-orbit interaction is varied. The inner structure, including various physical quantities such as energy, radius, and transition strength, is drastically influenced by the strength of the spin-orbit interaction. In particular, the development and breaking of the dineutron correlation is governed by the spin-orbit strength. The differences in the inner structure can be manifested by applying the obtained wave functions to elastic and inelastic scatterings with a proton target at $E/A =$ 59.4 and 200 MeV. Although the 0$_1^+$ and 2$_1^+$ states are significantly influenced by the spin-orbit strength of the nuclear structure calculation, the elastic and inelastic cross sections are not much affected. On the other hand, the inelastic cross section of the 2$_2^+$ state depends greatly on the spin-orbit strength of the structure calculation. Thus, we discovered a way to measure the degree of the development of dineutron cluster structure based on its sensitivity to the inelastic cross section of the 2$_2^+$ state of $^{10}$Be.


title: Efficient Masked Face Recognition Method during the COVID-19 Pandemic

abstract: The coronavirus disease (COVID-19) is an unparalleled crisis leading to a huge number of casualties and security problems. In order to reduce the spread of coronavirus, people often wear masks to protect themselves. This makes face recognition a very difficult task since certain parts of the face are hidden. A primary focus of researchers during the ongoing coronavirus pandemic is to come up with suggestions to handle this problem through rapid and efficient solutions. In this paper, we propose a reliable method based on occlusion removal and deep learning-based features in order to address the problem of the masked face recognition process. The first step is to remove the masked face region. Next, we apply three pre-trained deep Convolutional Neural Networks (CNN) namely, VGG-16, AlexNet, and ResNet-50, and use them to extract deep features from the obtained regions (mostly eyes and forehead regions). The Bag-of-features paradigm is then applied to the feature maps of the last convolutional layer in order to quantize them and to get a slight representation comparing to the fully connected layer of classical CNN. Finally, Multilayer Perceptron (MLP) is applied for the classification process. Experimental results on Real-World-Masked-Face-Dataset show high recognition performance compared to other state-of-the-art methods.


title: Weather impact on daily cases of COVID-19 in Saudi Arabia using machine learning

abstract: COVID-19 was announced by the World Health Organisation (WHO) as a global pandemic. The severity of the disease spread is determined by various factors such as the countries' health care capacity and the enforced lockdown. However, it is not clear if a country's climate acts as a contributing factor towards the number of infected cases. This paper aims to examine the relationship between COVID-19 and the weather of 89 cities in Saudi Arabia using machine learning techniques. We compiled and preprocessed data using the official daily report of the Ministry of Health of Saudi Arabia for COVID-19 cases and obtained historical weather data aligned with the reported case daily reports. We preprocessed and prepared the data to be used in models' training and evaluation. Our results show that temperature and wind have the strongest association with the spread of the pandemic. Our main contribution is data collection, preprocessing, and prediction of daily cases. For all tested models, we used cross-validation of K-fold of K=5. Our best model is the random forest that has a Mean Square Error(MSE), Root Mean Square (RMSE), Mean Absolute Error (MAE), and R{2} of 97.30, 9.86, 1.85, and 82.3\%, respectively.


title: Improved Approximation for Longest Common Subsequence over Small Alphabets

abstract: This paper investigates the approximability of the Longest Common Subsequence (LCS) problem. The fastest algorithm for solving the LCS problem exactly runs in essentially quadratic time in the length of the input, and it is known that under the Strong Exponential Time Hypothesis the quadratic running time cannot be beaten. There are no such limitations for the approximate computation of the LCS however, except in some limited scenarios. There is also a scarcity of approximation algorithms. When the two given strings are over an alphabet of size $k$, returning the subsequence formed by the most frequent symbol occurring in both strings achieves a $1/k$ approximation for the LCS. It is an open problem whether a better than $1/k$ approximation can be achieved in truly subquadratic time ($O(n^{2-\delta})$ time for constant $\delta>0$). A recent result [Rubinstein and Song SODA'2020] showed that a $1/2+\epsilon$ approximation for the LCS over a binary alphabet is possible in truly subquadratic time, provided the input strings have the same length. In this paper we show that if a $1/2+\epsilon$ approximation (for $\epsilon>0$) is achievable for binary LCS in truly subquadratic time when the input strings can be unequal, then for every constant $k$, there is a truly subquadratic time algorithm that achieves a $1/k+\delta$ approximation for $k$-ary alphabet LCS for some $\delta>0$. Thus the binary case is the hardest. We also show that for every constant $k$, if one is given two strings of \emph{equal} length over a $k$-ary alphabet, one can obtain a $1/k+\epsilon$ approximation for some constant $\epsilon>0$ in truly subquadratic time, thus extending the Rubinstein and Song result to all alphabets of constant size.


title: Recent Advances on Sub-Nyquist Sampling-Based Wideband Spectrum Sensing

abstract: Cognitive radio (CR) is a promising technology enabling efficient utilization of the spectrum resource for future wireless systems. As future CR networks are envisioned to operate over a wide frequency range, advanced wideband spectrum sensing (WBSS) capable of quickly and reliably detecting idle spectrum bands across a wide frequency span is essential. In this article, we provide an overview of recent advances on sub-Nyquist sampling-based WBSS techniques, including compressed sensing-based methods and compressive covariance sensing-based methods. An elaborate discussion of the pros and cons of each approach is presented, along with some challenging issues for future research. A comparative study suggests that the compressive covariance sensing-based approach offers a more competitive solution for reliable real-time WBSS.


title: Explicit minimal embedded resolutions of divisors on models of the projective line

abstract: Let $K$ be a discretely valued field with ring of integers $\mathcal{O}_K$ with perfect residue field. Let $K(x)$ be the rational function field in one variable. Let $\mathbb{P}^1_{\mathcal{O}_K}$ be the standard smooth model of $\mathbb{P}^1_K$ with coordinate $x$ on irreducible special fiber. Let $f(x) \in \mathcal{O}_K[x]$ be a monic irreducible polynomial with corresponding divisor of zeroes $\text{div}_0(f)$ on $\mathbb{P}^1_{\mathcal{O}_K}$. We give an explicit description of the minimal embedded resolution $\mathcal{Y}$ of the pair $(\mathbb{P}^1_{\mathcal{O}_K}, \text{div}_0(f))$ by using Mac Lane's theory to write down the discrete valuations on $K(x)$ corresponding to the irreducible components of the special fiber of $\mathcal{Y}$.


title: Coulomb screening effect on the Hoyle state energy in thermal plasmas

abstract: The first excited $J^\pi=0^+$ state of $^{12}$C, the so-called Hoyle state, plays an essential role in a triple-$\alpha$ ($^4$He) reaction, which is a main contributor to the synthesis of $^{12}$C in a burning star. We investigate the Coulomb screening effects on the energy shift of the Hoyle state in a thermal plasma environment using precise three-$\alpha$ model calculations. The Coulomb screening effect between $\alpha$ clusters are taken into account within the Debye-H\"uckel approximation. To generalize our study, we utilize two standard $\alpha$-cluster models, which treat the Pauli principle between the $\alpha$ particles differently. We find that the energy shifts do not depend on these models and follow a simple estimation in the zero-size limit of the Hoyle state when the Coulomb screening length is as large as a value typical of such a plasma consisting of electrons and $\alpha$ particles.


title: A Symbolic Regression Method for Dynamic Modeling and Control of Quadrotor UAVs

abstract: This paper presents a mathematic dynamic model of a quadrotor unmanned aerial vehicle (QUAV) by using the symbolic regression approach and then proposes a hierarchical control scheme for trajectory tracking. The symbolic regression approach is capable of constructing analytical quadrotor dynamic equations only through the collected data, which relieves the burden of first principle modeling. To facilitate position tracking control of a QUAV, the design of controller can be decomposed into two parts: a proportional-integral controller for the position subsystem is first designed to obtain the desired horizontal position and the backstepping method for the attitude subsystem is developed to ensure that the Euler angles and the altitude can fast converge to the reference values. The effectiveness is verified through experiments on a benchmark multicopter simulator.


title: Towards Sharper Utility Bounds for Differentially Private Pairwise Learning

abstract: Pairwise learning focuses on learning tasks with pairwise loss functions, depends on pairs of training instances, and naturally fits for modeling relationships between pairs of samples. In this paper, we focus on the privacy of pairwise learning and propose a new differential privacy paradigm for pairwise learning, based on gradient perturbation. Except for the privacy guarantees, we also analyze the excess population risk and give corresponding bounds under both expectation and high probability conditions. We use the \textit{on-average stability} and the \textit{pairwise locally elastic stability} theories to analyze the expectation bound and the high probability bound, respectively. Moreover, our analyzed utility bounds do not require convex pairwise loss functions, which means that our method is general to both convex and non-convex conditions. Under these circumstances, the utility bounds are similar to (or better than) previous bounds under convexity or strongly convexity assumption, which are attractive results.


title: Local Analogs to High-Redshift Galaxies: I. Characterization of Dust Emission and Star Formation History

abstract: Star-forming dwarf galaxies have properties similar to those expected in high-redshift galaxies. Hence, these local galaxies may provide insights into the evolution of the first galaxies, and the physical processes at work. We present a sample of eleven potential local analogs to high-$z$ (LAHz) galaxies. The sample consists of blue compact dwarf galaxies, selected to have spectral energy distributions that fit galaxies at $1.5<z<4$. We use SOFIA-HAWC+ observations combined with optical and near-infrared data to characterize the dust properties, star formation rate (SFR) and star formation histories (SFH) of the sample of LAHz. We employ Bayesian analysis to characterize the dust using two-component black-body models. Using the LIGHTNING package we fit the spectral energy distribution of the LAHz galaxies over the FUV-FIR wavelength range, and derive the SFH in five time-steps up to a look-back time of 13.3 Gyr. Of the eleven LAHz candidates, six galaxies have SFH consistent with no star formation activity at look-back times beyond 1 Gyr. The remaining galaxies show residual levels of star formation at ages $\gtrsim$1\,Gyr, making them less suitable as local analogs. The six young galaxies stand out in our sample by having the lowest gas-phase metallicities. They are characterized by warmer dust, having the highest specific SFR, and the highest gas mass fractions. The young age of these six galaxies suggests that merging is less important as a driver of the star formation activity. The six LAHz candidates are promising candidates for studies of the gas dynamics role in driving star formation.


title: Non-linear extension of the dynamical linear response of spins; extended Heisenberg model

abstract: We introduce a new extended Heisenberg model. The model contains the orbital-dependent spins together with the retarded effects of spin torque. The model is directly derived from the dynamical linear response functions on the transversal spin fluctuation. Our model allows us to address effects which are not accessible via the usual Heisenberg model. With the model, we can describe not only the relaxation effects due to the Landau damping caused by the Stoner excitations, but also the nesting effects of the Fermi surface. We discuss possibilities of the extended Heisenberg model based on the high-resolution plots of the spin susceptibility for Fe.


title: SpeechMoE: Scaling to Large Acoustic Models with Dynamic Routing Mixture of Experts

abstract: Recently, Mixture of Experts (MoE) based Transformer has shown promising results in many domains. This is largely due to the following advantages of this architecture: firstly, MoE based Transformer can increase model capacity without computational cost increasing both at training and inference time. Besides, MoE based Transformer is a dynamic network which can adapt to the varying complexity of input instances in realworld applications. In this work, we explore the MoE based model for speech recognition, named SpeechMoE. To further control the sparsity of router activation and improve the diversity of gate values, we propose a sparsity L1 loss and a mean importance loss respectively. In addition, a new router architecture is used in SpeechMoE which can simultaneously utilize the information from a shared embedding network and the hierarchical representation of different MoE layers. Experimental results show that SpeechMoE can achieve lower character error rate (CER) with comparable computation cost than traditional static networks, providing 7.0%-23.0% relative CER improvements on four evaluation datasets.


title: ConCAD: Contrastive Learning-based Cross Attention for Sleep Apnea Detection

abstract: With recent advancements in deep learning methods, automatically learning deep features from the original data is becoming an effective and widespread approach. However, the hand-crafted expert knowledge-based features are still insightful. These expert-curated features can increase the model's generalization and remind the model of some data characteristics, such as the time interval between two patterns. It is particularly advantageous in tasks with the clinically-relevant data, where the data are usually limited and complex. To keep both implicit deep features and expert-curated explicit features together, an effective fusion strategy is becoming indispensable. In this work, we focus on a specific clinical application, i.e., sleep apnea detection. In this context, we propose a contrastive learning-based cross attention framework for sleep apnea detection (named ConCAD). The cross attention mechanism can fuse the deep and expert features by automatically assigning attention weights based on their importance. Contrastive learning can learn better representations by keeping the instances of each class closer and pushing away instances from different classes in the embedding space concurrently. Furthermore, a new hybrid loss is designed to simultaneously conduct contrastive learning and classification by integrating a supervised contrastive loss with a cross-entropy loss. Our proposed framework can be easily integrated into standard deep learning models to utilize expert knowledge and contrastive learning to boost performance. As demonstrated on two public ECG dataset with sleep apnea annotation, ConCAD significantly improves the detection performance and outperforms state-of-art benchmark methods.


title: Lambek pregroups are Frobenius spiders in preorders

abstract: "Spider" is a nickname of special Frobenius algebras, a fundamental structure from mathematics, physics, and computer science. Pregroups are a fundamental structure from linguistics. Pregroups and spiders have been used together in natural language processing: one for syntax, the other for semantics. It turns out that pregroups themselves can be characterized as pointed spiders in the category of preordered relations, where they naturally arise from grammars. The other way around, preordered spider algebras in general can be characterized as unions of pregroups. This extends the characterization of relational spider algebras as disjoint unions of groups. The compositional framework that emerged with the results suggests new ways to understand and apply the basis structures in machine learning and data analysis.


title: Radial dynamics of an encapsulated microbubble with interface energy

abstract: In this work, a mathematical model based on interface energy is proposed within the framework of surface continuum mechanics to study the dynamics of encapsulated bubbles. The interface model naturally induces a residual stress field into the bulk of the bubble, with possible expansion/shrinkage from a stress-free configuration to a natural equilibrium configuration. The significant influence of interface area strain and the coupled effect of stretch and curvature is observed in the numerical simulations based on constrained optimization. Due to the bending rigidity related to additional terms, the dynamic interface tension can become negative, but not due to the interface area strain. The coupled effect of interface strain and curvature term observed is new and plays a dominant role in the dominant compression behavior of encapsulated bubbles observed in the experiments. We validate our model by fitting experimental data of $1.7\,\mu$m, $1.4\,\mu$m, and $1\,\mu$m radii bubbles by calculating the optimized parameters. Our work also highlights the role of interface parameters and natural configuration gas pressure in estimating the size-independent viscoelastic material properties of encapsulated bubbles with interesting future developments.


title: Partial wave analysis of $K^+N$ scattering and the possibility of pentaquark $\Theta^+(1540)$

abstract: Elastic $K^+ n\to K^+ n$ and charge exchange $K^+n\to K^0p$ reactions at low momenta are investigated using the partial wave analysis. Isospin relation gives constrains for the partial $s$- and $p$-waves among elastic $K^+p$, $K^+n$ and charge exchange $K^+n\to K^0p$ amplitudes. Two sets of the phase shift for these partial waves in the isoscalar channel are obtained from the fit of experimental data on total and differential cross sections. Polarization observable leads to a good criterion to decide which set is valid. Differential cross section data near $P_{\rm Lab}=434$ MeV/$c$ suggests a possibility of a resonance, e.g., the exotic $\Theta^+(1540)$ baryon around $\sqrt{s}\simeq$ 1.54GeV.


title: Utilizing Skipped Frames in Action Repeats via Pseudo-Actions

abstract: In many deep reinforcement learning settings, when an agent takes an action, it repeats the same action a predefined number of times without observing the states until the next action-decision point. This technique of action repetition has several merits in training the agent, but the data between action-decision points (i.e., intermediate frames) are, in effect, discarded. Since the amount of training data is inversely proportional to the interval of action repeats, they can have a negative impact on the sample efficiency of training. In this paper, we propose a simple but effective approach to alleviate to this problem by introducing the concept of pseudo-actions. The key idea of our method is making the transition between action-decision points usable as training data by considering pseudo-actions. Pseudo-actions for continuous control tasks are obtained as the average of the action sequence straddling an action-decision point. For discrete control tasks, pseudo-actions are computed from learned action embeddings. This method can be combined with any model-free reinforcement learning algorithm that involves the learning of Q-functions. We demonstrate the effectiveness of our approach on both continuous and discrete control tasks in OpenAI Gym.


title: Adaptive Domain-Specific Normalization for Generalizable Person Re-Identification

abstract: Although existing person re-identification (Re-ID) methods have shown impressive accuracy, most of them usually suffer from poor generalization on unseen target domain. Thus, generalizable person Re-ID has recently drawn increasing attention, which trains a model on source domains that generalizes well on unseen target domain without model updating. In this work, we propose a novel adaptive domain-specific normalization approach (AdsNorm) for generalizable person Re-ID. It describes unseen target domain as a combination of the known source ones, and explicitly learns domain-specific representation with target distribution to improve the model's generalization by a meta-learning pipeline. Specifically, AdsNorm utilizes batch normalization layers to collect individual source domains' characteristics, and maps source domains into a shared latent space by using these characteristics, where the domain relevance is measured by a distance function of different domain-specific normalization statistics and features. At the testing stage, AdsNorm projects images from unseen target domain into the same latent space, and adaptively integrates the domain-specific features carrying the source distributions by domain relevance for learning more generalizable aggregated representation on unseen target domain. Considering that target domain is unavailable during training, a meta-learning algorithm combined with a customized relation loss is proposed to optimize an effective and efficient ensemble model. Extensive experiments demonstrate that AdsNorm outperforms the state-of-the-art methods. The code is available at: https://github.com/hzphzp/AdsNorm.


title: Cohomology of the moduli of Higgs bundles via positive characteristic

abstract: For any two degrees coprime to the rank, we construct a family of ring isomorphisms parameterized by GSp(2g) between the cohomology of the moduli spaces of stable Higgs bundles which preserve the perverse filtrations. As consequences, we prove two structural results concerning the cohomology of Higgs moduli which are predicted by the P=W conjecture in non-abelian Hodge theory: (1) Galois conjugation for character varieties preserves the perverse filtrations for the corresponding Higgs moduli spaces. (2) The restriction of the Hodge-Tate decomposition for a character variety to each piece of the perverse filtration for the corresponding Higgs moduli space gives also a decomposition. Our proof uses reduction to positive characteristic and relies on the non-abelian Hodge correspondence in characteristic p between Dolbeault and de Rham moduli spaces.