title: Spatiotemporal Superresolution Measurement based on POD and Sparse Regression applied to a Supersonic Jet measured by PIV and Near-field Microphone

abstract: The present study proposed the framework of the spatiotemporal superresolution measurement based on the sparse regression with dimensionality reduction using the proper orthogonal decomposition (POD). The non-time-resolved particle image velocimetry (PIV) and the time-resolved near-field acoustic measurements using microphones were simultaneously performed for a Mach 1.35 supersonic jet. POD is applied to PIV and microphone data matrices and the sparse linear regression model of the reduced-order data is calculated using the least absolute shrinkage and selection operator regression. The effects of the hyperparameters of the superresolution measurement were quantitatively evaluated through randomized cross-validation. The superresolved velocity field indicated the smooth convection of the velocity fluctuations associated with the screech tone, while the convection of the large-scale structures at the downstream side was not observed. The proposed framework can reconstruct the unsteady fluctuation with multiple frequency phenomena, although the reconstruction is limited to the phenomena that are associated with the microphone output.


title: A search for two-component Majorana dark matter in a simplified model using the full exposure data of PandaX-II experiment

abstract: In the two-component Majorana dark matter model, one dark matter particle can scatter off the target nuclei, and turn into a slightly heavier component. In the framework of a simplified model with a vector boson mediator, both the tree-level and loop-level processes contribute to the signal in direct detection experiment. In this paper, we report the search results for such dark matter from PandaX-II experiment, using total data of the full 100.7 tonne$\cdot$day exposure. No significant excess is observed, so strong constraints on the combined parameter space of mediator mass and dark matter mass are derived. With the complementary search results from collider experiments, a large range of parameter space can be excluded.


title: Robust Perception Architecture Design for Automotive Cyber-Physical Systems

abstract: In emerging automotive cyber-physical systems (CPS), accurate environmental perception is critical to achieving safety and performance goals. Enabling robust perception for vehicles requires solving multiple complex problems related to sensor selection/ placement, object detection, and sensor fusion. Current methods address these problems in isolation, which leads to inefficient solutions. We present PASTA, a novel framework for global co-optimization of deep learning and sensing for dependable vehicle perception. Experimental results with the Audi-TT and BMW-Minicooper vehicles show how PASTA can find robust, vehicle-specific perception architecture solutions.


title: A Framework for CSI-Based Indoor Localization with 1D Convolutional Neural Networks

abstract: Modern indoor localization techniques are essential to overcome the weak GPS coverage in indoor environments. Recently, considerable progress has been made in Channel State Information (CSI) based indoor localization with signal fingerprints. However, CSI signal patterns can be complicated in the large and highly dynamic indoor spaces with complex interiors, thus a solution for solving this issue is urgently needed to expand the applications of CSI to a broader indoor space. In this paper, we propose an end-to-end solution including data collection, pattern clustering, denoising, calibration and a lightweight one-dimensional convolutional neural network (1D CNN) model with CSI fingerprinting to tackle this problem. We have also created and plan to open source a CSI dataset with a large amount of data collected across complex indoor environments at Colorado State University. Experiments indicate that our approach achieves up to 68.5% improved performance (mean distance error) with minimal number of parameters, compared to the best-known deep machine learning and CSI-based indoor localization works.


title: Multi-Head Attention Neural Network for Smartphone Invariant Indoor Localization

abstract: Smartphones together with RSSI fingerprinting serve as an efficient approach for delivering a low-cost and high-accuracy indoor localization solution. However, a few critical challenges have prevented the wide-spread proliferation of this technology in the public domain. One such critical challenge is device heterogeneity, i.e., the variation in the RSSI signal characteristics captured across different smartphone devices. In the real-world, the smartphones or IoT devices used to capture RSSI fingerprints typically vary across users of an indoor localization service. Conventional indoor localization solutions may not be able to cope with device-induced variations which can degrade their localization accuracy. We propose a multi-head attention neural network-based indoor localization framework that is resilient to device heterogeneity. An in-depth analysis of our proposed framework across a variety of indoor environments demonstrates up to 35% accuracy improvement compared to state-of-the-art indoor localization techniques.


title: Limit on the dark matter mass from its interaction with photons

abstract: In this work, we explore the phenomenology of generalized dark matter (GDM) which interacts with photons ($\gamma$). We assume that DM establishes elastic scattering with $\gamma$ when it has already become nonrelativistic, otherwise the abundance of DM today is disfavored by current observations. Within this scenario, the equation of state (EoS) of DM is determined by its mass ($m_\chi$) and the DM-$\gamma$ scattering cross-section. The distinctive imprints of a nonzero EoS of DM on CMB angular power spectrum allow us to set a lower limit on $m_\chi$ with Planck 2018 data alone, i.e., $m_{\chi} > 8.7$ keV at $95\%$ C.L. In the study of cosmic concordance problems, we find that the GDM scenario preserves the sound horizon ($r_s(z_*)$) predicted in the fiducial $\Lambda$CDM model, and thus does not solve the $H_0$ tension. When performing the joint analysis of Planck+LSS datasets, the best-fit $S_8= 0.785\pm 0.017$ closely matches the given $S_8$ prior. This suggests that the GDM scenario can be counted as a viable candidate to restore the $S_8$ ($\sigma_{8}$) tension.


title: How Not to Handle Keys: Timing Attacks on FIDO Authenticator Privacy

abstract: This paper presents a timing attack on the FIDO2 (Fast IDentity Online) authentication protocol that allows attackers to link user accounts stored in vulnerable authenticators, a serious privacy concern. FIDO2 is a new standard specified by the FIDO industry alliance for secure token online authentication. It complements the W3C WebAuthn specification by providing means to use a USB token or other authenticator as a second factor during the authentication process. From a cryptographic perspective, the protocol is a simple challenge-response where the elliptic curve digital signature algorithm is used to sign challenges. To protect the privacy of the user the token uses unique key pairs per service. To accommodate for small memory, tokens use various techniques that make use of a special parameter called a key handle sent by the service to the token. We identify and analyse a vulnerability in the way the processing of key handles is implemented that allows attackers to remotely link user accounts on multiple services. We show that for vulnerable authenticators there is a difference between the time it takes to process a key handle for a different service but correct authenticator, and for a different authenticator but correct service. This difference can be used to perform a timing attack allowing an adversary to link user's accounts across services. We present several real world examples of adversaries that are in a position to execute our attack and can benefit from linking accounts. We found that two of the eight hardware authenticators we tested were vulnerable despite FIDO level 1 certification. This vulnerability cannot be easily mitigated on authenticators because, for security reasons, they usually do not allow firmware updates. In addition, we show that due to the way existing browsers implement the WebAuthn standard, the attack can be executed remotely.


title: A Survey on Machine Learning for Geo-Distributed Cloud Data Center Management

abstract: Cloud workloads today are typically managed in a distributed environment and processed across geographically distributed data centers. Cloud service providers have been distributing data centers globally to reduce operating costs while also improving quality of service by using intelligent workload and resource management strategies. Such large scale and complex orchestration of software workload and hardware resources remains a difficult problem to solve efficiently. Researchers and practitioners have been trying to address this problem by proposing a variety of cloud management techniques. Mathematical optimization techniques have historically been used to address cloud management issues. But these techniques are difficult to scale to geo-distributed problem sizes and have limited applicability in dynamic heterogeneous system environments, forcing cloud service providers to explore intelligent data-driven and Machine Learning (ML) based alternatives. The characterization, prediction, control, and optimization of complex, heterogeneous, and ever-changing distributed cloud resources and workloads employing ML methodologies have received much attention in recent years. In this article, we review the state-of-the-art ML techniques for the cloud data center management problem. We examine the challenges and the issues in current research focused on ML for cloud management and explore strategies for addressing these issues. We also discuss advantages and disadvantages of ML techniques presented in the recent literature and make recommendations for future research directions.


title: Interaction of vortex stretching with wind power fluctuations

abstract: The transfer of turbulence kinetic energy from large to small scales occurs through vortex stretching. Also, statistical properties of the subgrid-scale energy fluxes depend on the alignment of the vorticity vector with the principal strain axis. A heuristic analysis of the present study indicates that vortex-stretching and the second invariant of the velocity gradient tensor provide a scale-adaptive parameterization of the subgrid-scale stresses and the local energy fluxes in the wakes of wind turbines. The scale-adaptivity underlies the restricted Euler dynamics of the filtered motion that vortex-stretching plays in the growth of the second invariant of filtered velocity gradient and the local energy transfer. We have analyzed wind power fluctuations in a utility-scale wind farm with $41$ actuator disks. The numerical results show that the spectrum of the wind power fluctuations follows a power law with a logarithmic slope of $-5/3$. Furthermore, POD analysis indicates that the wind power fluctuations depend on the incoming turbulence and its modulation by the wake interactions in wind farms.


title: Discrete ambiguities in a partial-wave analysis of pseudoscalar photoproduction with truncation in total angular momentum

abstract: The discrete ambiguities appearing in the complete experiment problem for single pseudoscalar meson photoproduction within truncated partial-wave analysis are discussed. It is shown that, in addition to the double ambiguity known from previous works, it is always necessary to take into account another ambiguity arising when truncation in total angular momentum is employed.


title: Collaborative Attention Memory Network for Video Object Segmentation

abstract: Semi-supervised video object segmentation is a fundamental yet Challenging task in computer vision. Embedding matching based CFBI series networks have achieved promising results by foreground-background integration approach. Despite its superior performance, these works exhibit distinct shortcomings, especially the false predictions caused by little appearance instances in first frame, even they could easily be recognized by previous frame. Moreover, they suffer from object's occlusion and error drifts. In order to overcome the shortcomings , we propose Collaborative Attention Memory Network with an enhanced segmentation head. We introduce a object context scheme that explicitly enhances the object information, which aims at only gathering the pixels that belong to the same category as a given pixel as its context. Additionally, a segmentation head with Feature Pyramid Attention(FPA) module is adopted to perform spatial pyramid attention structure on high-level output. Furthermore, we propose an ensemble network to combine STM network with all these new refined CFBI network. Finally, we evaluated our approach on the 2021 Youtube-VOS challenge where we obtain 6th place with an overall score of 83.5\%.


title: A Labeling Task Design for Supporting Algorithmic Needs: Facilitating Worker Diversity and Reducing AI Bias

abstract: Studies on supervised machine learning (ML) recommend involving workers from various backgrounds in training dataset labeling to reduce algorithmic bias. Moreover, sophisticated tasks for categorizing objects in images are necessary to improve ML performance, further complicating micro-tasks. This study aims to develop a task design incorporating the fair participation of people, regardless of their specific backgrounds or task's difficulty. By collaborating with 75 labelers from diverse backgrounds for 3 months, we analyzed workers' log-data and relevant narratives to identify the task's hurdles and helpers. The findings revealed that workers' decision-making tendencies varied depending on their backgrounds. We found that the community that positively helps workers and the machine's feedback perceived by workers could make people easily engaged in works. Hence, ML's bias could be expectedly mitigated. Based on these findings, we suggest an extended human-in-the-loop approach that connects labelers, machines, and communities rather than isolating individual workers.


title: Precise Dynamical Masses of Epsilon Indi Ba and Bb: Evidence of Slowed Cooling at the L/T Transition

abstract: We report individual dynamical masses of $66.92 \pm 0.36 \; M_{Jup}$ and $53.25 \pm 0.29 \; M_{Jup}$ for the binary brown dwarfs $\varepsilon$ Indi Ba and Bb, measured from long term ($\approx 10$ yr) relative orbit monitoring and absolute astrometry monitoring data on the VLT. Relative astrometry with NACO fully constrains the Keplerian orbit of the binary pair, while absolute astrometry with FORS2 measures the system's parallax and mass ratio. We find a parallax consistent with the Hipparcos and Gaia values for $\varepsilon$ Indi A, and a mass ratio for $\varepsilon$ Indi Ba to Bb precise to better than $0.2\%$. $\varepsilon$ Indi Ba and Bb have spectral types T1-1.5 and T6, respectively. With an age of $3.5^{+0.8}_{-1.0}$ Gyr from $\varepsilon$ Indi A's activity, these brown dwarfs provide some of the most precise benchmarks for substellar cooling models. Assuming coevality, the very different luminosities of the two brown dwarfs and our moderate mass ratio imply a steep mass-luminosity relationship $L \propto M^{5.37 \pm 0.08}$ that can be explained by a slowed cooling rate in the L/T transition, as previously observed for other L/T binaries. Finally, we present a periodogram analysis of the near-infrared photometric data, but find no definitive evidence of periodic signals with a coherent phase.


title: Unraveling Attention via Convex Duality: Analysis and Interpretations of Vision Transformers

abstract: Vision transformers using self-attention or its proposed alternatives have demonstrated promising results in many image related tasks. However, the underpinning inductive bias of attention is not well understood. To address this issue, this paper analyzes attention through the lens of convex duality. For the non-linear dot-product self-attention, and alternative mechanisms such as MLP-mixer and Fourier Neural Operator (FNO), we derive equivalent finite-dimensional convex problems that are interpretable and solvable to global optimality. The convex programs lead to {\it block nuclear-norm regularization} that promotes low rank in the latent feature and token dimensions. In particular, we show how self-attention networks implicitly clusters the tokens, based on their latent similarity. We conduct experiments for transferring a pre-trained transformer backbone for CIFAR-100 classification by fine-tuning a variety of convex attention heads. The results indicate the merits of the bias induced by attention compared with the existing MLP or linear heads.


title: Asymptotically stable matchings and evolutionary dynamics of preference revelation games in marriage problems

abstract: The literature on centralized matching markets often assumes that a true preference of each player is known to herself and fixed, but empirical evidence casts doubt on its plausibility. To circumvent the problem, we consider evolutionary dynamics of preference revelation games in marriage problems. We formulate the asymptotic stability of a matching, indicating the dynamical robustness against sufficiently small changes in players' preference reporting strategies, and show that asymptotically stable matchings are stable when they exist. The simulation results of replicator dynamics are presented to demonstrate the asymptotic stability. We contribute a practical insight for market designers that a stable matching may be realized by introducing a learning period in which participants find appropriate reporting strategies through trial and error. We also open doors to a novel area of research by demonstrating ways to employ evolutionary game theory in studies on centralized markets.


title: An explicit comparison of anticyclotomic $p$-adic $L$-functions for Hida families

abstract: The aim of this note is to compare several anticyclotomic $p$-adic $L$-functions for modular forms and $p$-adic families of ordinary modular forms, which have been defined and studied from different perspectives by Skinner-Urban, Hida, Perin-Riou, Bertolini-Darmon, Vatsal, Chida-Hsieh, Longo-Vigni, Castella-Longo and Castella-Kim-Longo. The main result of this paper is a comparison between the central critical twist of the two-variable anticyclotomic $p$-adic $L$-function obtained as specialisation of the three-variable $p$-adic $L$-function of Skinner-Urban and the two-variable $p$-adic $L$-function introduced by one of the authors on collaboration with Vigni by means of $p$-adic families of Gross points.


title: Anticyclotomic main conjecture and the non-triviality of Rankin-Selberg $L$-values in Hida families

abstract: The aim of this paper is to prove the two-variable anticyclotomic Iwasawa main conjecture for Hida families and a definite version of the horizontal non-vanishing conjecture, which are formulated in Longo-Vigni. Our approach is based on the two-variable anticyclotomic control theorem for Selmer groups for Hida families and the relation between the two-variable anticyclotomic $L$-function for Hida families built out of $p$-adic families of Gross points on definite Shimura curves studied in Castella-Longo and Castella-Kim-Longo and the self-dual twist of the specialisation to the anticyclotomic line of the three-variable $p$-adic $L$-function of Skinner-Urban.


title: Event reconstruction of Compton telescopes using a multi-task neural network

abstract: We have developed a neural network model to perform event reconstruction of Compton telescopes. This model reconstructs events that consist of three or more interactions in a detector. It is essential for Compton telescopes to determine the time order of the gamma-ray interactions and whether the incident photon deposits all energy in a detector or it escapes from the detector. Our model simultaneously predicts these two essential factors using a multi-task neural network with three hidden layers of fully connected nodes. For verification, we have conducted numerical experiments using Monte Carlo simulation, assuming a large-area Compton telescope using liquid argon to measure gamma rays with energies up to $3.0\,\mathrm{MeV}$. The reconstruction model shows excellent performance of event reconstruction for multiple scattering events that consist of up to eight hits. The accuracies of hit order prediction are around $60\%$ while those of escape flags are higher than $70\%$ for up to eight-hit events of $4\pi$ isotropic photons. Compared with two other algorithms, a classical model and a physics-based probabilistic one, the present neural network method shows high performance in estimation accuracy particularly when the number of scattering is small, 3 or 4. Since simulation data easily optimize the network model, the model can be flexibly applied to a wide variety of Compton telescopes.


title: Region-Aware Metric Learning for Open World Semantic Segmentation via Meta-Channel Aggregation

abstract: As one of the most challenging and practical segmentation tasks, open-world semantic segmentation requires the model to segment the anomaly regions in the images and incrementally learn to segment out-of-distribution (OOD) objects, especially under a few-shot condition. The current state-of-the-art (SOTA) method, Deep Metric Learning Network (DMLNet), relies on pixel-level metric learning, with which the identification of similar regions having different semantics is difficult. Therefore, we propose a method called region-aware metric learning (RAML), which first separates the regions of the images and generates region-aware features for further metric learning. RAML improves the integrity of the segmented anomaly regions. Moreover, we propose a novel meta-channel aggregation (MCA) module to further separate anomaly regions, forming high-quality sub-region candidates and thereby improving the model performance for OOD objects. To evaluate the proposed RAML, we have conducted extensive experiments and ablation studies on Lost And Found and Road Anomaly datasets for anomaly segmentation and the CityScapes dataset for incremental few-shot learning. The results show that the proposed RAML achieves SOTA performance in both stages of open world segmentation. Our code and appendix are available at https://github.com/czifan/RAML.


title: M6-Rec: Generative Pretrained Language Models are Open-Ended Recommender Systems

abstract: Industrial recommender systems have been growing increasingly complex, may involve \emph{diverse domains} such as e-commerce products and user-generated contents, and can comprise \emph{a myriad of tasks} such as retrieval, ranking, explanation generation, and even AI-assisted content production. The mainstream approach so far is to develop individual algorithms for each domain and each task. In this paper, we explore the possibility of developing a unified foundation model to support \emph{open-ended domains and tasks} in an industrial recommender system, which may reduce the demand on downstream settings' data and can minimize the carbon footprint by avoiding training a separate model from scratch for every task. Deriving a unified foundation is challenging due to (i) the potentially unlimited set of downstream domains and tasks, and (ii) the real-world systems' emphasis on computational efficiency. We thus build our foundation upon M6, an existing large-scale industrial pretrained language model similar to GPT-3 and T5, and leverage M6's pretrained ability for sample-efficient downstream adaptation, by representing user behavior data as plain texts and converting the tasks to either language understanding or generation. To deal with a tight hardware budget, we propose an improved version of prompt tuning that outperforms fine-tuning with negligible 1\% task-specific parameters, and employ techniques such as late interaction, early exiting, parameter sharing, and pruning to further reduce the inference time and the model size. We demonstrate the foundation model's versatility on a wide range of tasks such as retrieval, ranking, zero-shot recommendation, explanation generation, personalized content creation, and conversational recommendation, and manage to deploy it on both cloud servers and mobile devices.


title: Penalty & Augmented Kaczmarz Methods For Linear Systems & Linear Feasibility Problems

abstract: In this work, we shed light on the so-called Kaczmarz method for solving Linear System (LS) and Linear Feasibility (LF) problems from a optimization point of view. We introduce well-known optimization approaches such as Lagrangian penalty and Augmented Lagrangian in the Randomized Kaczmarz (RK) method. In doing so, we propose two variants of the RK method namely the Randomized Penalty Kacmarz (RPK) method and Randomized Augmented Kacmarz (RAK) method. We carry out convergence analysis of the proposed methods and obtain linear convergence results.


title: EvoRobogami: Co-designing with Humans in Evolutionary Robotics Experiments

abstract: We study the effects of injecting human-generated designs into the initial population of an evolutionary robotics experiment, where subsequent population of robots are optimised via a Genetic Algorithm and MAP-Elites. First, human participants interact via a graphical front-end to explore a directly-parameterised legged robot design space and attempt to produce robots via a combination of intuition and trial-and-error that perform well in a range of environments. Environments are generated whose corresponding high-performance robot designs range from intuitive to complex and hard to grasp. Once the human designs have been collected, their impact on the evolutionary process is assessed by replacing a varying number of designs in the initial population with human designs and subsequently running the evolutionary algorithm. Our results suggest that a balance of random and hand-designed initial solutions provides the best performance for the problems considered, and that human designs are most valuable when the problem is intuitive. The influence of human design in an evolutionary algorithm is a highly understudied area, and the insights in this paper may be valuable to the area of AI-based design more generally.


title: An Empirical Study of Blockchain Repositories in GitHub

abstract: Blockchain is a distributed ledger technique that guarantees the traceability of transactions. Blockchain is adopted in multiple domains like finance (e.g., cryptocurrency), healthcare, security, and supply chain. In the open-source software (OSS) portal GitHub, we observe a growing adoption of Blockchain-based solutions. Given the rapid emergence of Blockchain-based solutions in our daily life and the evolving cryptocurrency market, it is important to know the status quo, how developers generally interact in those repos, and how much freedom they have in applying code changes. We report an empirical study of 3,664 Blockchain software repositories from GitHub. We divide the Blockchain repositories into two categories: Tool (e.g., SDKs) and Applications (e.g., service/solutions developed using SDKs). The Application category is further divided into two sub-categories: Crypto and Non-Crypto applications. In all Blockchain repository categories, the contribution interactions on commits are the most common interaction type. We found that more organizations contributing to the Blockchain repos than individual users. The median numbers of internal and external users in tools are higher than the application repos. We observed a higher degree of collaboration (e.g., for maintenance efforts) among users in Blockchain tools than those in the application repos. Among the artifacts, issues have a greater number of interactions than commits and pull requests. Related to autonomy we found that less than half of total project contributions are autonomous. Our findings offer implications to Blockchain stakeholders, like developers to stay aware of OSS practices around Blockchain software.


title: Linear Sigma Dark Matter

abstract: We present a model of self-interacting dark matter based on QCD-like theories and inspired by the proximity of $a_0(980\pm 20)$ to the $K\bar{K}(990)$ threshold. Dark matter is comprised of dark pions which self-scatter via the $\sigma$ resonance close to the $\pi\pi$ threshold. While the linear sigma model serves as a qualitative guide, a fully unitary description of the scattering in the strongly coupled regime is given by effective range theory. The introduction of a kinetically mixed dark photon allows the dark pion to either freeze-out or -in. We study the viable parameter space which explains the observed relic abundance while evading all current constraints. Searches for dark matter self interactions at different scales, (in)direct detection signals, and (in)visibly-decaying dark photons will test this model in the near future.


title: Efficient Stereo Depth Estimation for Pseudo LiDAR: A Self-Supervised Approach Based on Multi-Input ResNet Encoder

abstract: Perception and localization are essential for autonomous delivery vehicles, mostly estimated from 3D LiDAR sensors due to their precise distance measurement capability. This paper presents a strategy to obtain the real-time pseudo point cloud instead of the laser sensor from the image sensor. We propose an approach to use different depth estimators to obtain pseudo point clouds like LiDAR to obtain better performance. Moreover, the training and validating strategy of the depth estimator has adopted stereo imagery data to estimate more accurate depth estimation as well as point cloud results. Our approach to generating depth maps outperforms on KITTI benchmark while yielding point clouds significantly faster than other approaches.


title: A Linear Comb Filter for Event Flicker Removal

abstract: Event cameras are bio-inspired sensors that capture per-pixel asynchronous intensity change rather than the synchronous absolute intensity frames captured by a classical camera sensor. Such cameras are ideal for robotics applications since they have high temporal resolution, high dynamic range and low latency. However, due to their high temporal resolution, event cameras are particularly sensitive to flicker such as from fluorescent or LED lights. During every cycle from bright to dark, pixels that image a flickering light source generate many events that provide little or no useful information for a robot, swamping the useful data in the scene. In this paper, we propose a novel linear filter to preprocess event data to remove unwanted flicker events from an event stream. The proposed algorithm achieves over 4.6 times relative improvement in the signal-to-noise ratio when compared to the raw event stream due to the effective removal of flicker from fluorescent lighting. Thus, it is ideally suited to robotics applications that operate in indoor settings or scenes illuminated by flickering light sources.


title: Hopf Bifurcation in vibrational resonance through modulation of fast frequency

abstract: In this Letter we explore the possibility of a supercritical Hopf bifurcation in a typical parametric nonlinear oscillator which has been excited by two frequencies, one slow and the other fast, through the variation of the frequency of the rapidly oscillating driving force. Studies of nonlinear responses and bifurcations of such driven nonlinear systems are usually done by treating the strength of the fast drive as the control parameter. Here we show that, beyond its role in allowing one to study the dynamics with the slow and fast components nicely separated, the fast frequency can also be used as an independent control parameter for studying Hopf bifurcation.


title: Yet another Odd Radio Circle?

abstract: The Odd Radio Circles are newly identified diffuse radio sources at ~1 GHz frequency, with edge-brightened nearly circular morphology, which is remarkably similar to supernova remnants although a physical association with previous population of Galactic supernova remnants is challenging due to detections of the Odd Radio Circles at high Galactic latitudes. Here, a serendipitous identification of a new source in a LOFAR 144 MHz image with similar morphology as that of Odd Radio Circles is reported. This is the first reported identification of an Odd Radio Circle at a very low frequency and with the LOFAR.


title: Narrowing the LOCAL$\unicode{x2013}$CONGEST Gaps in Sparse Networks via Expander Decompositions

abstract: Many combinatorial optimization problems can be approximated within $(1 \pm \epsilon)$ factors in $\text{poly}(\log n, 1/\epsilon)$ rounds in the LOCAL model via network decompositions [Ghaffari, Kuhn, and Maus, STOC 2018]. These approaches require sending messages of unlimited size, so they do not extend to the CONGEST model, which restricts the message size to be $O(\log n)$ bits. In this paper, we develop a generic framework for obtaining $\text{poly}(\log n, 1/\epsilon)$-round $(1\pm \epsilon)$-approximation algorithms for many combinatorial optimization problems, including maximum weighted matching, maximum independent set, and correlation clustering, in graphs excluding a fixed minor in the CONGEST model. This class of graphs covers many sparse network classes that have been studied in the literature, including planar graphs, bounded-genus graphs, and bounded-treewidth graphs. Furthermore, we show that our framework can be applied to give an efficient distributed property testing algorithm for an arbitrary minor-closed graph property that is closed under taking disjoint union, significantly generalizing the previous distributed property testing algorithm for planarity in [Levi, Medina, and Ron, PODC 2018 & Distributed Computing 2021]. Our framework uses distributed expander decomposition algorithms [Chang and Saranurak, FOCS 2020] to decompose the graph into clusters of high conductance. We show that any graph excluding a fixed minor admits small edge separators. Using this result, we show the existence of a high-degree vertex in each cluster in an expander decomposition, which allows the entire graph topology of the cluster to be routed to a vertex. Similar to the use of network decompositions in the LOCAL model, the vertex will be able to perform any local computation on the subgraph induced by the cluster and broadcast the result over the cluster.


title: MATrIX -- Modality-Aware Transformer for Information eXtraction

abstract: We present MATrIX - a Modality-Aware Transformer for Information eXtraction in the Visual Document Understanding (VDU) domain. VDU covers information extraction from visually rich documents such as forms, invoices, receipts, tables, graphs, presentations, or advertisements. In these, text semantics and visual information supplement each other to provide a global understanding of the document. MATrIX is pre-trained in an unsupervised way with specifically designed tasks that require the use of multi-modal information (spatial, visual, or textual). We consider the spatial and text modalities all at once in a single token set. To make the attention more flexible, we use a learned modality-aware relative bias in the attention mechanism to modulate the attention between the tokens of different modalities. We evaluate MATrIX on 3 different datasets each with strong baselines.


title: Reasoning About Vectors using an SMT Theory of Sequences

abstract: Dynamic arrays, also referred to as vectors, are fundamental data structures used in many programs. Modeling their semantics efficiently is crucial when reasoning about such programs. The theory of arrays is widely supported but is not ideal, because the number of elements is fixed (determined by its index sort) and cannot be adjusted, which is a problem, given that the length of vectors often plays an important role when reasoning about vector programs. In this paper, we propose reasoning about vectors using a theory of sequences. We introduce the theory, propose a basic calculus adapted from one for the theory of strings, and extend it to efficiently handle common vector operations. We prove that our calculus is sound and show how to construct a model when it terminates with a saturated configuration. Finally, we describe an implementation of the calculus in cvc5 and demonstrate its efficacy by evaluating it on verification conditions for smart contracts and benchmarks derived from existing array benchmarks.


title: Can Bad Teaching Induce Forgetting? Unlearning in Deep Networks using an Incompetent Teacher

abstract: Machine unlearning has become an important area of research due to an increasing need for machine learning (ML) applications to comply with the emerging data privacy regulations. It facilitates the provision for removal of certain set or class of data from an already trained ML model without requiring retraining from scratch. Recently, several efforts have been put in to make unlearning to be effective and efficient. We propose a novel machine unlearning method by exploring the utility of competent and incompetent teachers in a student-teacher framework to induce forgetfulness. The knowledge from the competent and incompetent teachers is selectively transferred to the student to obtain a model that doesn't contain any information about the forget data. We experimentally show that this method generalizes well, is fast and effective. Furthermore, we introduce the zero retrain forgetting (ZRF) metric to evaluate any unlearning method. Unlike the existing unlearning metrics, the ZRF score does not depend on the availability of the expensive retrained model. This makes it useful for analysis of the unlearned model after deployment as well. We present results of experiments conducted for random subset forgetting and class forgetting on various deep networks and across different application domains.~Source code is at: https://github.com/vikram2000b/bad-teaching-unlearning


title: A note on knot Floer thickness and the dealternating number

abstract: In this note, we give a short proof that knot Floer thickness is a lower bound on the dealternating number of a knot. The result is originally due to work of Abe and Kishimoto, Lowrance, and Turaev. Our proof is a modification of the Stipsicz-Szabo approach using Kauffman states to show that thickness bounds the minimal number of bad domains in a knot diagram.


title: Can We Do Better Than Random Start? The Power of Data Outsourcing

abstract: Many organizations have access to abundant data but lack the computational power to process the data. While they can outsource the computational task to other facilities, there are various constraints on the amount of data that can be shared. It is natural to ask what can data outsourcing accomplish under such constraints. We address this question from a machine learning perspective. When training a model with optimization algorithms, the quality of the results often relies heavily on the points where the algorithms are initialized. Random start is one of the most popular methods to tackle this issue, but it can be computationally expensive and not feasible for organizations lacking computing resources. Based on three different scenarios, we propose simulation-based algorithms that can utilize a small amount of outsourced data to find good initial points accordingly. Under suitable regularity conditions, we provide theoretical guarantees showing the algorithms can find good initial points with high probability. We also conduct numerical experiments to demonstrate that our algorithms perform significantly better than the random start approach.


title: Dimensionality Reduced Training by Pruning and Freezing Parts of a Deep Neural Network, a Survey

abstract: State-of-the-art deep learning models have a parameter count that reaches into the billions. Training, storing and transferring such models is energy and time consuming, thus costly. A big part of these costs is caused by training the network. Model compression lowers storage and transfer costs, and can further make training more efficient by decreasing the number of computations in the forward and/or backward pass. Thus, compressing networks also at training time while maintaining a high performance is an important research topic. This work is a survey on methods which reduce the number of trained weights in deep learning models throughout the training. Most of the introduced methods set network parameters to zero which is called pruning. The presented pruning approaches are categorized into pruning at initialization, lottery tickets and dynamic sparse training. Moreover, we discuss methods that freeze parts of a network at its random initialization. By freezing weights, the number of trainable parameters is shrunken which reduces gradient computations and the dimensionality of the model's optimization space. In this survey we first propose dimensionality reduced training as an underlying mathematical model that covers pruning and freezing during training. Afterwards, we present and discuss different dimensionality reduced training methods.


title: The duality between F-theory and the Heterotic String in $D=8$ with two Wilson lines

abstract: We construct non-geometric string compactifications by using the F-theory dual of the heterotic string compactified on a two-torus with two Wilson line parameters, together with a close connection between modular forms and the equations for certain K3 surfaces of Picard rank $16$. We construct explicit Weierstrass models for all inequivalent Jacobian elliptic fibrations supported on this family of K3 surfaces and express their parameters in terms of modular forms generalizing Siegel modular forms. In this way, we find a complete list of all dual non-geometric compactifications obtained by the partial higgsing of the heterotic string gauge algebra using two Wilson line parameters.


title: Dense Gas Formation via Collision-induced Magnetic Reconnection in a Disk Galaxy with a BiSymmetric Spiral Magnetic Field

abstract: Recently, a collision-induced magnetic reconnection (CMR) mechanism was proposed to explain a dense filament formation in the Orion A giant molecular cloud. A natural question is that whether CMR works elsewhere in the Galaxy. As an initial attempt to answer the question, this paper investigates the triggering of CMR and the production of dense gas in a flat-rotating disk with a modified BiSymmetric Spiral (BSS) magnetic field. Cloud-cloud collisions at field reversals in the disk are modeled with the Athena++ code. Under the condition that is representative of the warm neutral medium, the cloud-cloud collision successfully triggers CMR at different disk radii. However, dense gas formation is hindered by the dominating thermal pressure, unless a moderately stronger initial field $\gtrsim5\mu$G is present. The strong-field model, having a larger Lundquist number $S_L$ and lower plasma $\beta$, activates the plasmoid instability in the collision midplane, which is otherwise suppressed by the disk rotation. We speculate that CMR can be common if more clouds collide along field reversals. However, to witness the CMR process in numerical simulations, we need to significantly resolve the collision midplane with a spatial dynamic range $\gtrsim10^6$. If Milky Way spiral arms indeed coincide with field reversals in BSS, it is possible that CMR creates or maintains dense gas in the arms. High-resolution, high-sensitivity Zeeman/Faraday-Rotation observations are crucial for finding CMR candidates that have helical fields.


title: Can Galileons cause violation of the second law of black hole thermodynamics?

abstract: Galileons are stable null energy condition (NEC) violating perturbations. If these NEC violating modes are coupled to Einstein gravity, they can cause violation of the second law of black hole thermodynamics. We demonstrate that galileons can only be coupled to quadratic gravity since they are generated by consistent Kaluza-Klein reduction of the Einstein-Hilbert-Gauss-Bonnet action from 10-dimensions to 4-dimensions. As a result, the NEC violation of galileons can no longer be the source of the violation of the second law of black hole thermodynamics.


title: Deterministic 3-Server on a Circle and the Limitation of Canonical Potentials

abstract: The deterministic $k$-server conjecture states that there is a $k$-competitive deterministic algorithm for the $k$-server problem for any metric space. We show that the work function algorithm is $3$-competitive for the $3$-server problem on circle metrics, a case left open by Coester and Koutsoupias (2021). Our analysis follows the existing framework but introduces a new potential function which may be viewed as a relaxation of the counterpart by Coester and Koutsoupias (2021). We further notice that the new potential function and many existing ones can be rewritten in a canonical form. Through a computer-aided verification, however, we find that no such canonical potential function can resolve the deterministic $3$-server conjecture for general metric spaces under the current analysis framework.


title: Restricting Entries to All-Pay Contests

abstract: We study an all-pay contest where players with low abilities are filtered prior to the round of competing for prizes. These are often practiced due to limited resources or to enhance the competitiveness of the contest. We consider a setting where the designer admits a certain number of top players into the contest. The players admitted into the contest update their beliefs about their opponents based on the signal that their abilities are among the top. We find that their posterior beliefs, even with IID priors, are correlated and depend on players' private abilities, representing a unique feature of this game. We explicitly characterize the symmetric and unique Bayesian equilibrium strategy. We find that each admitted player's equilibrium effort is in general not monotone with the number of admitted players. Despite this non-monotonicity, surprisingly, all players exert their highest efforts when all players are admitted. This result holds generally -- it is true under any ranking-based prize structure, ability distribution, and cost function. We also discuss a two-stage extension where players with top first-stage efforts can proceed to the second stage competing for prizes.


title: Discretization of inherent ODEs and the geometric integration of DAEs with symmetries

abstract: Discretization methods for differential-algebraic equations (DAEs) are considered that are based on the integration of an associated inherent ordinary differential equation (ODE). This allows to make use of any discretization scheme suitable for the numerical integration of ODEs. For DAEs with symmetries it is shown that the inherent ODE can be constructed in such a way that it inherits the symmetry properties of the given DAE and geometric properties of its flow. This in particular allows the use of geometric integration schemes with a numerical flow that has analogous geometric properties.


title: Computerized Tomography Pulmonary Angiography Image Simulation using Cycle Generative Adversarial Network from Chest CT imaging in Pulmonary Embolism Patients

abstract: The purpose of this research is to develop a system that generates simulated computed tomography pulmonary angiography (CTPA) images clinically for pulmonary embolism diagnoses. Nowadays, CTPA images are the gold standard computerized detection method to determine and identify the symptoms of pulmonary embolism (PE), although performing CTPA is harmful for patients and also expensive. Therefore, we aim to detect possible PE patients through CT images. The system will simulate CTPA images with deep learning models for the identification of PE patients' symptoms, providing physicians with another reference for determining PE patients. In this study, the simulated CTPA image generation system uses a generative antagonistic network to enhance the features of pulmonary vessels in the CT images to strengthen the reference value of the images and provide a basis for hospitals to judge PE patients. We used the CT images of 22 patients from National Cheng Kung University Hospital and the corresponding CTPA images as the training data for the task of simulating CTPA images and generated them using two sets of generative countermeasure networks. This study is expected to propose a new approach to the clinical diagnosis of pulmonary embolism, in which a deep learning network is used to assist in the complex screening process and to review the generated simulated CTPA images, allowing physicians to assess whether a patient needs to undergo detailed testing for CTPA, improving the speed of detection of pulmonary embolism and significantly reducing the number of undetected patients.


title: Conformal capacity of hedgehogs

abstract: In this paper we discuss problems concerning the conformal condenser capacity of "hedgehogs", which are compact sets $E$ in the unit disk $\mathbb{D}=\{z:\,|z|<1\}$ consisting of a central body $E_0$ that is typically a smaller disk $\overline{\mathbb{D}}_r=\{z:\,|z|\le r\}$, $0<r<1$, and several spikes $E_k$ that are compact sets lying on radial intervals $I(\alpha_k)=\{te^{i\alpha_k}:\,0\le t<1\}$. The main questions we are concerned with are the following: (1) How does the conformal capacity ${\rm cap}(E)$ of $E=\cup_{k=0}^n E_k$ behave when the spikes $E_k$, $k=1,\ldots,n$, move along the intervals $I(\alpha_k)$ toward the central body if their hyperbolic lengths are preserved during the motion? (2) How does the capacity ${\rm cap}(E)$ depend on the distribution of angles between the spikes $E_k$? We prove several results related to these questions and discuss methods of applying symmetrization type transformations to study the capacity of hedgehogs. Several open problems, including problems on the capacity of hedgehogs in the three-dimensional hyperbolic space, also will be suggested.


title: Unbiased Math Word Problems Benchmark for Mitigating Solving Bias

abstract: In this paper, we revisit the solving bias when evaluating models on current Math Word Problem (MWP) benchmarks. However, current solvers exist solving bias which consists of data bias and learning bias due to biased dataset and improper training strategy. Our experiments verify MWP solvers are easy to be biased by the biased training datasets which do not cover diverse questions for each problem narrative of all MWPs, thus a solver can only learn shallow heuristics rather than deep semantics for understanding problems. Besides, an MWP can be naturally solved by multiple equivalent equations while current datasets take only one of the equivalent equations as ground truth, forcing the model to match the labeled ground truth and ignoring other equivalent equations. Here, we first introduce a novel MWP dataset named UnbiasedMWP which is constructed by varying the grounded expressions in our collected data and annotating them with corresponding multiple new questions manually. Then, to further mitigate learning bias, we propose a Dynamic Target Selection (DTS) Strategy to dynamically select more suitable target expressions according to the longest prefix match between the current model output and candidate equivalent equations which are obtained by applying commutative law during training. The results show that our UnbiasedMWP has significantly fewer biases than its original data and other datasets, posing a promising benchmark for fairly evaluating the solvers' reasoning skills rather than matching nearest neighbors. And the solvers trained with our DTS achieve higher accuracies on multiple MWP benchmarks. The source code is available at https://github.com/yangzhch6/UnbiasedMWP.


title: Forecasting Solar Power Generation on the basis of Predictive and Corrective Maintenance Activities

abstract: Solar energy forecasting has seen tremendous growth in the last decade using historical time series collected from a weather station, such as weather variables wind speed and direction, solar radiance, and temperature. It helps in the overall management of solar power plants. However, the solar power plant regularly requires preventive and corrective maintenance activities that further impact energy production. This paper presents a novel work for forecasting solar power energy production based on maintenance activities, problems observed at a power plant, and weather data. The results accomplished on the datasets obtained from the 1MW solar power plant of PDEU (our university) that has generated data set with 13 columns as daily entries from 2012 to 2020. There are 12 structured columns and one unstructured column with manual text entries about different maintenance activities, problems observed, and weather conditions daily. The unstructured column is used to create a new feature column vector using Hash Map, flag words, and stop words. The final dataset comprises five important feature vector columns based on correlation and causality analysis.


title: Micromagnets dramatically enhance effects of viscous hydrodynamic flow in two-dimensional electron fluid

abstract: The hydrodynamic behavior of electron fluids in a certain range of temperatures and densities is well established in graphene and in 2D semiconductor heterostructures. The hydrodynamic regime is intrinsically based on electron-electron interactions, and therefore it provides a unique opportunity to study electron correlations. Unfortunately, in all existing measurements, the relative contribution of hydrodynamic effects to transport is rather small. Viscous hydrodynamic effects are masked by impurities, interaction with phonons, uncontrolled boundaries and ballistic effects. This essentially limits the accuracy of measurements of electron viscosity. Fundamentally, what causes viscous friction in the electron fluid is the property of the flow called vorticity. In this paper, we propose to use micromagnets to increase the vorticity by orders of magnitude. Experimental realization of this proposal will bring electron hydrodynamics to a qualitatively new precision level, as well as opening a new way to characterize and externally control the electron fluid.


title: Common Packing Patterns for Jammed Particles of Different Power Size Distributions

abstract: We introduce a model for particles that are extremely polydisperse in size compared to monodisperse and bidisperse systems. In two dimensions (2D), size polydispersity inhibits crystallization and increases packing fraction at jamming points. However, no packing pattern common to diverse polydisperse particles has been reported. We focused on polydisperse particles with a power size distribution $r^{-a}$ as a ubiquitous system that can be expected to be scale-invariant. We experimentally and numerically constructed 2D random packing for various polydisperse particles with different size exponents, $a$. Analysis of the packing pattern revealed a common contact number distribution for $a<3$ and a higher jamming point in $2<a<3$ than monodisperse systems. These findings demonstrate that the ambiguity of the characteristic length provides the common properties that leads to a novel classification scheme for polydisperse particles.


title: The Fairness of Machine Learning in Insurance: New Rags for an Old Man?

abstract: Since the beginning of their history, insurers have been known to use data to classify and price risks. As such, they were confronted early on with the problem of fairness and discrimination associated with data. This issue is becoming increasingly important with access to more granular and behavioural data, and is evolving to reflect current technologies and societal concerns. By looking into earlier debates on discrimination, we show that some algorithmic biases are a renewed version of older ones, while others show a reversal of the previous order. Paradoxically, while the insurance practice has not deeply changed nor are most of these biases new, the machine learning era still deeply shakes the conception of insurance fairness.


title: Effect of colloidal weight at different planar interfaces

abstract: In many physical and biological systems, particles and microorganisms move in the proximity of an interface. Understanding the dynamics of a particle suspended close to an interface is not only important conceptually but is crucial for practical applications ranging from the treatment of waste waters to industrial applications of self-assemblies. In this work, we experimentally investigate the effects of colloidal weight on its dynamics while moving in the close proximity of a variety of liquid-solid and liquid-air interfaces. Using an upward magnetic force, we change the effective weight of a superparamagnetic colloid. At water-glass interfaces, we observe the expected decrease of the diffusion coefficients with increasing effective weight. At liquid-air interfaces, while for a pure water-air interface there is a negligible dependency between the diffusivity and the effective weight, we find that in semi-dilute polymer solution at the solution-air interface the diffusivity of the particle shows similar behavior as those at liquid-solid interfaces. We implement a Brownian dynamics simulation to support our results and show how the interplay between hydrodynamic interactions and electrostatic interface repulsion explains the experimental results.


title: Nonperturbative renormalization of quantum thermodynamics from weak to strong couplings

abstract: By solving the exact master equation of open quantum systems, we formulate the quantum thermodynamics from weak to strong couplings. The open quantum systems exchange matters, energies and information with their reservoirs through quantum particles tunnelings that are described by the generalized Fano-Anderson Hamiltonians. We find that the exact solution of the reduced density matrix of these systems approaches a Gibbs-type state in the steady-state limit for both the weak and strong system-reservoir coupling strengths. When the couplings become strong, thermodynamic quantities of the system must be renormalized. The renormalization effects are obtained nonperturbatively after exactly traced over all reservoir states through the coherent state path integrals. The renormalized system Hamiltonian is characterized by the renormalized system energy levels and interactions, corresponding to the quantum work done by the system. The renormalized temperature is introduced to characterize the entropy production counting the heat transfer between the system and the reservoir. We further find that only with the renormalized system Hamiltonian and other renormalized thermodynamic quantities, can the exact steady state of the system be expressed as the standard Gibbs state. Consequently, the corresponding exact steady-state particle occupations in the renormalized system energy levels obey the Bose-Einstein and the Fermi-Dirac distributions for bosonic and fermionic systems, respectively. Thus, the conventional statistical mechanics and thermodynamics are thereby rigorously deduced from quantum dynamical evolution.


title: Fast and Provably Convergent Algorithms for Gromov-Wasserstein in Graph Data

abstract: In this paper, we study the design and analysis of a class of efficient algorithms for computing the Gromov-Wasserstein (GW) distance tailored to large-scale graph learning tasks. Armed with the Luo-Tseng error bound condition~\citep{luo1992error}, two proposed algorithms, called Bregman Alternating Projected Gradient (BAPG) and hybrid Bregman Proximal Gradient (hBPG) enjoy the convergence guarantees. Upon task-specific properties, our analysis further provides novel theoretical insights to guide how to select the best-fit method. As a result, we are able to provide comprehensive experiments to validate the effectiveness of our methods on a host of tasks, including graph alignment, graph partition, and shape matching. In terms of both wall-clock time and modeling performance, the proposed methods achieve state-of-the-art results.


title: On the Use of Refactoring in Security Vulnerability Fixes: An Exploratory Study on Maven Libraries

abstract: Third-party library dependencies are commonplace in today's software development. With the growing threat of security vulnerabilities, applying security fixes in a timely manner is important to protect software systems. As such, the community developed a list of software and hardware weakness known as Common Weakness Enumeration (CWE) to assess vulnerabilities. Prior work has revealed that maintenance activities such as refactoring code potentially correlate with security-related aspects in the source code. In this work, we explore the relationship between refactoring and security by analyzing refactoring actions performed jointly with vulnerability fixes in practice. We conducted a case study to analyze 143 maven libraries in which 351 known vulnerabilities had been detected and fixed. Surprisingly, our exploratory results show that developers incorporate refactoring operations in their fixes, with 31.9% (112 out of 351) of the vulnerabilities paired with refactoring actions. We envision this short paper to open up potential new directions to motivate automated tool support, allowing developers to deliver fixes faster, while maintaining their code.


title: The inverse Galois problem for connected algebraic groups

abstract: We show that each connected group scheme of finite type over an arbitrary ground field is isomorphic to the component of the identity inside the automorphism group scheme of some projective, geometrically integral scheme. The main ingredients are embeddings into smooth group schemes, equivariant completions, blow-ups of orbit closures, Fitting ideals for K\"ahler differentials, and Blanchard's Lemma.


title: Understanding urban congestion with biking traffic and routing detour ratio

abstract: Bike-sharing systems have been regarded as a critical component of solutions towards the transition to greener and more sustainable transportation, with the benefits of reducing carbon emissions, improving public health, and mitigating congestion by replacing short-distance motorized trips. Due to better accessibility and usage flexibility, newly emergent dockless sharing bikes have become quite popular and are reviving the fashion of cycling in cities. Urban congestion is simultaneously influenced by heterogeneous saptio-temporal travel demands, topology and spatial characteristics of road networks, and the interplay between travel modes. In this paper, by considering aforementioned factors, we discover a robust sublinear scaling relation between the level of congestion for vehicles and the detour ratio weighted by biking traffic, which is intriguing given the fact that congestion and detour ratio is linearly independent. Such a scaling relation implies a strong interplay between vehicle traffic and cycling activities and can be applied in predictions for congestion or aggregated to more sophisticated traffic models. In addition, biking-traffic-weighted detour ratio can be applied to detect inefficient routes, which would help alleviate urban congestion, make better urban planning, and improve transportation efficiency and equity in cities.


title: ShiftAddNAS: Hardware-Inspired Search for More Accurate and Efficient Neural Networks

abstract: Neural networks (NNs) with intensive multiplications (e.g., convolutions and transformers) are capable yet power hungry, impeding their more extensive deployment into resource-constrained devices. As such, multiplication-free networks, which follow a common practice in energy-efficient hardware implementation to parameterize NNs with more efficient operators (e.g., bitwise shifts and additions), have gained growing attention. However, multiplication-free networks usually under-perform their vanilla counterparts in terms of the achieved accuracy. To this end, this work advocates hybrid NNs that consist of both powerful yet costly multiplications and efficient yet less powerful operators for marrying the best of both worlds, and proposes ShiftAddNAS, which can automatically search for more accurate and more efficient NNs. Our ShiftAddNAS highlights two enablers. Specifically, it integrates (1) the first hybrid search space that incorporates both multiplication-based and multiplication-free operators for facilitating the development of both accurate and efficient hybrid NNs; and (2) a novel weight sharing strategy that enables effective weight sharing among different operators that follow heterogeneous distributions (e.g., Gaussian for convolutions vs. Laplacian for add operators) and simultaneously leads to a largely reduced supernet size and much better searched networks. Extensive experiments and ablation studies on various models, datasets, and tasks consistently validate the efficacy of ShiftAddNAS, e.g., achieving up to a +7.7% higher accuracy or a +4.9 better BLEU score compared to state-of-the-art NN, while leading to up to 93% or 69% energy and latency savings, respectively. Codes and pretrained models are available at https://github.com/RICE-EIC/ShiftAddNAS.


title: Accelerated Gaussian quantum state transfer between two remote mechanical resonators

abstract: The main challenge in deterministic quantum state transfer between remote mechanical resonators is the local decoherence and the transmission losses in the communication channel. In the path of overcoming this limitation, here we employ a shortcut to adiabatic passage protocol to devise a fast and reliable evolution path between two remote mechanical modes in separate optomechanical systems. A quantum state transfer between the two nodes is conceived by engineering their coupling to an intermediate fiber optical channel. The coupling pulses are operated such that the dark eigenmode of the system is decoupled from the fiber modes and transitions to the bright modes are compensated for by counterdiabatic drives. We show that one obtains a quantum state transfer with high fidelity for various Gaussian states. The efficiency is compared to that of adiabatic passage protocol in the presence of losses and noises. Our results show that while the adiabatic passage protocol is very sensitive to the decoherence, the shortcut to adiabaticity provides a robust and fast quantum state transfer even for small values of the coupling strength. The performance of both protocols are also investigated for the case of multimode fiber through numerical and an effective single-model model which is found by the elimination of off-resonant fiber modes. Our findings may pave the way for using optomechanical systems in the realization of continuous-variable Gaussian quantum state transfer.


title: Design of Joint Source-Channel Codes Based on a Generic Protograph

abstract: In this paper, we propose using a generic protograph to design joint source-channel codes (JSCCs). We present a generalized algorithm, called protograph extrinsic information transfer for JSCC algorithm (PEXIT-JSCC algorithm), for analyzing the channel threshold of the proposed JSCC. We also propose a source generic protograph EXIT (SGP-EXIT) algorithm, which is more appropriate than the generalized source protograph extrinsic information transfer (GSP-EXIT) algorithm, for evaluating the source threshold of a generic protograph. Moreover, a collaborative optimization method based on the SGP-EXIT and PEXIT-JSCC algorithms is proposed to construct generic-protograph JSCCs with good source and channel thresholds. Finally, we construct generic-protograph JSCCs, analyze their decoding thresholds, and compare their theoretical and error performance with JSCC systems based on optimized double-protographs. Results show that our proposed codes can attain channel thresholds within 1 dB from the Shannon limit and outperform double-protograph-based JSCCs.


title: Spin dynamics of positively charged excitons in Cr$^+$-doped quantum dots probed by resonant photoluminescence

abstract: We study the dynamics of the spin system that consist of a positively charged II-VI semiconductor quantum dot doped with a single Cr$^+$ ion. The resonant photoluminescence (PL) of the positively charged exciton coupled with the Cr$^+$ spin is used to analyze the main spin relaxation channels. The intensity of the resonant PL is reduced by an optical pumping of the spin of the resident hole-Cr$^+$ complex that can be seen as a nano-magnet. The spin memory can be partially erased by a non-resonant optical excitation. This leads to an increase of the resonant PL signal. The resonant PL is co-circularly polarized and corresponds to relaxation channels that conserve the Cr$^+$ spin $\vert S_z \vert$. The observation in the resonant-PL excitation spectra of optical transitions with a change of the Cr$^+$ spin permits to determine the magnetic anisotropy of the magnetic atom. Optical pumping, auto-correlation measurements and the power dependence of the PL intensity distribution show that the effective temperature of the hole-Cr$^+$ spin system is affected by the optical excitation through the local generation of phonons.


title: Using artificial intelligence to detect chest X-rays with no significant findings in a primary health care setting in Oulu, Finland

abstract: Objectives: To assess the use of artificial intelligence-based software in ruling out chest X-ray cases, with no significant findings in a primary health care setting. Methods: In this retrospective study, a commercially available artificial intelligence (AI) software was used to analyse 10 000 chest X-rays of Finnish primary health care patients. In studies with a mismatch between an AI normal report and the original radiologist report, a consensus read by two board-certified radiologists was conducted to make the final diagnosis. Results: After the exclusion of cases not meeting the study criteria, 9579 cases were analysed by AI. Of these cases, 4451 were considered normal in the original radiologist report and 4644 after the consensus reading. The number of cases correctly found nonsignificant by AI was 1692 (17.7% of all studies and 36.4% of studies with no significant findings). After the consensus read, there were nine confirmed false-negative studies. These studies included four cases of slightly enlarged heart size, four cases of slightly increased pulmonary opacification and one case with a small unilateral pleural effusion. This gives the AI a sensitivity of 99.8% (95% CI= 99.65-99.92) and specificity of 36.4 % (95% CI= 35.05-37.84) for recognising significant pathology on a chest X-ray. Conclusions: AI was able to correctly rule out 36.4% of chest X-rays with no significant findings of primary health care patients, with a minimal number of false negatives that would lead to effectively no compromise on patient safety. No critical findings were missed by the software.


title: When to Use Multi-Task Learning vs Intermediate Fine-Tuning for Pre-Trained Encoder Transfer Learning

abstract: Transfer learning (TL) in natural language processing (NLP) has seen a surge of interest in recent years, as pre-trained models have shown an impressive ability to transfer to novel tasks. Three main strategies have emerged for making use of multiple supervised datasets during fine-tuning: training on an intermediate task before training on the target task (STILTs), using multi-task learning (MTL) to train jointly on a supplementary task and the target task (pairwise MTL), or simply using MTL to train jointly on all available datasets (MTL-ALL). In this work, we compare all three TL methods in a comprehensive analysis on the GLUE dataset suite. We find that there is a simple heuristic for when to use one of these techniques over the other: pairwise MTL is better than STILTs when the target task has fewer instances than the supporting task and vice versa. We show that this holds true in more than 92% of applicable cases on the GLUE dataset and validate this hypothesis with experiments varying dataset size. The simplicity and effectiveness of this heuristic is surprising and warrants additional exploration by the TL community. Furthermore, we find that MTL-ALL is worse than the pairwise methods in almost every case. We hope this study will aid others as they choose between TL methods for NLP tasks.


title: Localizing branes with bifurcating bulks

abstract: We study the problem of evolution of bulk 5-fluids having an embedded braneworld with a flat, de Sitter, or anti-de Sitter geometry. We introduce new variables to express the Einstein equations as a dynamical system that depends on the equation of state parameter $\gamma$ and exponent $\lambda$. For linear fluids (i.e., $\lambda=1$), our formulation leads to a partial decoupling of the equations and thus to an exact solution. We find that such a fluid develops a transcritical bifurcation around the value $\gamma=-1/2$, and study how this behaviour affects to stability of the solutions. For nonlinear fluids, the situation is more diverse. We find an overall attractor at $\lambda=1/2$ and draw enough phase portraits to exhibit in detail the overall dynamics. We show that the value $\lambda =3/2$ is structurally unstable and typical for other forms of $\lambda$. Consequently, we observe a noticeable dependence of the qualitative behaviour of the solutions on different `polytropic' forms of the fluid bulk. In addition, we prove the existence of a Dulac function for nonlinear fluids, signifying the impossibility of closed orbits in certain subsets of the phase space. We also provide ample numerical evidence of gravity localizing solutions on the brane which satisfy all energy conditions.


title: The Hamilton compression of highly symmetric graphs

abstract: We say that a Hamilton cycle $C=(x_1,\ldots,x_n)$ in a graph $G$ is $k$-symmetric, if the mapping $x_i\mapsto x_{i+n/k}$ for all $i=1,\ldots,n$, where indices are considered modulo $n$, is an automorphism of $G$. In other words, if we lay out the vertices $x_1,\ldots,x_n$ equidistantly on a circle and draw the edges of $G$ as straight lines, then the drawing of $G$ has $k$-fold rotational symmetry, i.e., all information about the graph is compressed into a $360^\circ/k$ wedge of the drawing. The maximum $k$ for which there exists a $k$-symmetric Hamilton cycle in $G$ is referred to as the Hamilton compression of $G$. We investigate the Hamilton compression of four different families of vertex-transitive graphs, namely hypercubes, Johnson graphs, permutahedra and Cayley graphs of abelian groups. In several cases we determine their Hamilton compression exactly, and in other cases we provide close lower and upper bounds. The constructed cycles have a much higher compression than several classical Gray codes known from the literature. Our constructions also yield Gray codes for bitstrings, combinations and permutations that have few tracks and/or that are balanced.


title: Isogeometric Hierarchical Model Reduction for advection-diffusion process simulation in microchannels

abstract: Microfluidics proved to be a key technology in various applications, allowing to reproduce large-scale laboratory settings at a more sustainable small-scale. The current effort is focused on enhancing the mixing process of different passive species at the micro-scale, where a laminar flow regime damps turbulence effects. Chaotic advection is often used to improve mixing effects also at very low Reynolds numbers. In particular, we focus on passive micromixers, where chaotic advection is mainly achieved by properly selecting the geometry of microchannels. In such a context, reduced order modeling can play a role, especially in the design of new geometries. In this chapter, we verify the reliability and the computational benefits lead by a Hierarchical Model (HiMod) reduction when modeling the transport of a passive scalar in an S-shaped microchannel. Such a geometric configuration provides an ideal setting where to apply a HiMod approximation, which exploits the presence of a leading dynamics to commute the original three-dimensional model into a system of one-dimensional coupled problems. It can be proved that HiMod reduction guarantees a very good accuracy when compared with a high-fidelity model, despite a drastic reduction in terms of number of unknowns.


title: Local Completeness Logic on Kleene Algebra with Tests

abstract: Local Completeness Logic (LCL) has been put forward as a program logic for proving both the correctness and incorrectness of program specifications. LCL is an abstract logic, parameterized by an abstract domain that allows combining over- and under-approximations of program behaviors. It turns out that LCL instantiated to the trivial singleton abstraction boils down to O'Hearn incorrectness logic, which allows us to prove the presence of program bugs. It has been recently proved that suitable extensions of Kleene algebra with tests (KAT) allow representing both O'Hearn incorrectness and Hoare correctness program logics within the same equational framework. In this work, we generalize this result by showing how KATs extended either with a modal diamond operator or with a top element are able to represent the local completeness logic LCL. This is achieved by studying how these extended KATs can be endowed with an abstract domain so as to define the validity of correctness/incorrectness LCL triples and to show that the LCL proof system is logically sound and, under some hypotheses, complete.


title: Planning to Practice: Efficient Online Fine-Tuning by Composing Goals in Latent Space

abstract: General-purpose robots require diverse repertoires of behaviors to complete challenging tasks in real-world unstructured environments. To address this issue, goal-conditioned reinforcement learning aims to acquire policies that can reach configurable goals for a wide range of tasks on command. However, such goal-conditioned policies are notoriously difficult and time-consuming to train from scratch. In this paper, we propose Planning to Practice (PTP), a method that makes it practical to train goal-conditioned policies for long-horizon tasks that require multiple distinct types of interactions to solve. Our approach is based on two key ideas. First, we decompose the goal-reaching problem hierarchically, with a high-level planner that sets intermediate subgoals using conditional subgoal generators in the latent space for a low-level model-free policy. Second, we propose a hybrid approach which first pre-trains both the conditional subgoal generator and the policy on previously collected data through offline reinforcement learning, and then fine-tunes the policy via online exploration. This fine-tuning process is itself facilitated by the planned subgoals, which breaks down the original target task into short-horizon goal-reaching tasks that are significantly easier to learn. We conduct experiments in both the simulation and real world, in which the policy is pre-trained on demonstrations of short primitive behaviors and fine-tuned for temporally extended tasks that are unseen in the offline data. Our experimental results show that PTP can generate feasible sequences of subgoals that enable the policy to efficiently solve the target tasks.


title: Thinking outside the box: Numerical Relativity with particles

abstract: To date, essentially all simulation codes that solve the full set of Einstein's equations are performed in the framework of Eulerian hydrodynamics. The exception is our recently developed Numerical Relativity code SPHINCS_BSSN which solves the commonly used BSSN formulation of the Einstein equations on a structured mesh and the matter equations via Lagrangian particles. We show here, for the first time, SPHINCS_BSSN neutron star merger simulations with piecewise polytropic approximations to four nuclear matter equations of state. In this set of neutron star merger simulations we focus on perfectly symmetric binary systems that are irrotational and have 1.3 $M_\odot$ masses. We introduce some further methodological refinements (a new way of steering dissipation, an improved particle-mesh mapping) and we explore the impact of the exponent that enters in the calculation of the thermal pressure contribution. We find that it leaves a noticeable imprint on the gravitational wave amplitude (calculated via both quadrupole approximation and the $\Psi_4$-formalism) and has a noticeable impact on the amount of dynamic ejecta. Consistent with earlier findings, we only find a few times $10^{-3}$ \Msun as dynamic ejecta in the studied equal mass binary systems, with softer equations of state (which are more prone to shock formation) ejecting larger amounts of matter. In all of the cases, we see a credible high-velocity ($\sim0.5 .. 0.7c$) ejecta component of $\sim 10^{-4}$ \Msun that is launched at contact from the interface between the two neutron stars. Such a high-velocity component has been suggested to produce an early, blue precursor to the main kilonova emission and it could also potentially cause a kilonova afterglow.


title: Nonlinear corrections to the single differential cross section for neutral current e-p scattering at the NLO approximation

abstract: We present the effects of nonlinear corrections to the single differential cross section d\sigma/dQ^2 and the reduced cross section \sigma_r (x,Q^2) for the neutral current (NC) e-p scattering at the leading order (LO) and the next-to-leading order (NLO) approximations in perturbative quantum chromo dynamics (QCD). Technically, based on the double Laplace transform method, we first derive the effects of the nonlinear corrections to the proton structure functions F2(x,Q^2) and FL(x,Q^2) and consequently obtain the corresponding single differential and reduced cross sections. Our results clearly indicate the consistency of the nonlinear behavior of the quark and gluon distributions at low x values. Our numerical results ( obtained in a range of the virtuality 8.5 < Q2 < 5000 GeV ^2 and the Bjorken scale 10^(-5)< x < 1) show that the effects of these nonlinear corrections to the proton structure functions are more noticeable at x < 0.001 and, to some extent, control the incremental trend of these functions at low x values. Moreover, a comparison of our numerical results of the single differential and reduced cross sections at the NLO approximations with those of H1 collaboration data shows that the nonlinear corrections increase the accuracy of calculations rather than the linear calculations at low to moderate Q^2 values for low x values.


title: Latent Variable Method Demonstrator -- Software for Understanding Multivariate Data Analytics Algorithms

abstract: The ever-increasing quantity of multivariate process data is driving a need for skilled engineers to analyze, interpret, and build models from such data. Multivariate data analytics relies heavily on linear algebra, optimization, and statistics and can be challenging for students to understand given that most curricula do not have strong coverage in the latter three topics. This article describes interactive software - the Latent Variable Demonstrator (LAVADE) - for teaching, learning, and understanding latent variable methods. In this software, users can interactively compare latent variable methods such as Partial Least Squares (PLS), and Principal Component Regression (PCR) with other regression methods such as Least Absolute Shrinkage and Selection Operator (lasso), Ridge Regression (RR), and Elastic Net (EN). LAVADE helps to build intuition on choosing appropriate methods, hyperparameter tuning, and model coefficient interpretation, fostering a conceptual understanding of the algorithms' differences. The software contains a data generation method and three chemical process datasets, allowing for comparing results of datasets with different levels of complexity. LAVADE is released as open-source software so that others can apply and advance the tool for use in teaching or research.


title: On Clique Incidence Matrices and Derivatives of Clique Polynomials

abstract: The ordinary generating function of the number of complete subgraphs (cliques) of $G$, denoted by $C(G,x)$, is called the The clique polynomial of the graph $G$. In this paper, we first introduce some \emph{clique} incidence matrices associated by a simple graph $G$ as a generalization of the classical vertex-edge incidence matrix of $G$. Then, using these clique incidence matrices, we obtain two clique-counting identities that can be used for deriving two combinatorial formulas for the first and the second derivatives of clique polynomials. Finally, we conclude the paper with several open questions and conjectures about possible extensions of our main results for higher derivatives of clique polynomials.


title: Compatibility of the Dimensional Reduction and Variation Procedures for a Quadratic Curvature Model with a Kaluza-Klein Ansatz

abstract: The introduction of extra dimensions is an invaluable strategy for the unification of gravity with other physical fields. Nevertheless, the matter in hand is to be eventually reduced to the actual 4D spacetime. The Kaluza-Klein theory is no exception to this well-known scheme. There are two procedures to obtain the field equations from a higher dimensional action. One can either take the variation of the effective action in that higher dimension and then reduce the resulting equations or reduce the higher dimensional action to the actual 4D and henceforward take the variations with respect to the constituent fields of the theory. Here, for the case of a quadratic curvature model with a Kaluza-Klein ansatz the field equations are obtained from the reduced action and compatibility of these two procedures is discussed in detail.


title: Learning to Remove Clutter in Real-World GPR Images Using Hybrid Data

abstract: The clutter in the ground-penetrating radar (GPR) radargram disguises or distorts subsurface target responses, which severely affects the accuracy of target detection and identification. Existing clutter removal methods either leave residual clutter or deform target responses when facing complex and irregular clutter in the real-world radargram. To tackle the challenge of clutter removal in real scenarios, a clutter-removal neural network (CR-Net) trained on a large-scale hybrid dataset is presented in this study. The CR-Net integrates residual dense blocks into the U-Net architecture to enhance its capability in clutter suppression and target reflection restoration. The combination of the mean absolute error (MAE) loss and the multi-scale structural similarity (MS-SSIM) loss is used to effectively drive the optimization of the network. To train the proposed CR-Net to remove complex and diverse clutter in real-world radargrams, the first large-scale hybrid dataset named CLT-GPR dataset containing clutter collected by different GPR systems in multiple scenarios is built. The CLT-GPR dataset significantly improves the generalizability of the network to remove clutter in real-world GPR radargrams. Extensive experimental results demonstrate that the CR-Net achieves superior performance over existing methods in removing clutter and restoring target responses in diverse real-world scenarios. Moreover, the CR-Net with its end-to-end design does not require manual parameter tuning, making it highly suitable for automatically producing clutter-free radargrams in GPR applications. The CLT-GPR dataset and the code implemented in the paper can be found at https://haihan-sun.github.io/GPR.html.


title: Light-shift-free and dead-zone-free atomic orientation based scalar magnetometry using a single amplitude-modulated beam

abstract: Detection dead zones and heading errors induced by light shifts are two important problems in optically pumped scalar magnetometry. We introduce an atomic orientation based single-beam magnetometry scheme to simultaneously solve these problems, using a polarization-reversing and path-bending Herriott cavity. Here, a reflection mirror is inserted into the cavity to bend the optical paths in the middle, and divide them into two separated orthogonal regions to avoid the detection dead zone. Moreover, half-wave plates are added in the center of each optical region, so that the light polarization is flipped each time it passes the wave plates and the light shift effects are spatially averaged out. This operation is demonstrated to eliminate the unnoticed heading errors induced by ac light shifts. The methods developed in this paper are robust to use, and easy to be applied in other atomic devices.


title: On the exterior Dirichlet problem for Hessian type fully nonlinear elliptic equations

abstract: We treat the exterior Dirichlet problem for a class of fully nonlinear elliptic equations of the form $$f(\lambda(D^2u))=g(x),$$ with prescribed asymptotic behavior at infinity. The equations of this type had been studied extensively by Caffarelli--Nirenberg--Spruck \cite{Caffarelli1985}, Trudinger \cite{Trudinger1995} and many others, and there had been significant discussions on the solvability of the classical Dirichlet problem via the continuity method, under the assumption that $f$ is a concave function. In this paper, based on the Perron's method, we establish an exterior existence and uniqueness result for viscosity solutions of the equations by assuming $f$ to satisfy certain structure conditions as in \cite{Caffarelli1985,Trudinger1995}, which may embrace the well-known Monge--Amp\`ere equations, Hessian equations and Hessian quotient equations as special cases but do not require the concavity.


title: Composing General Audio Representation by Fusing Multilayer Features of a Pre-trained Model

abstract: Many application studies rely on audio DNN models pre-trained on a large-scale dataset as essential feature extractors, and they extract features from the last layers. In this study, we focus on our finding that the middle layer features of existing supervised pre-trained models are more effective than the late layer features for some tasks. We propose a simple approach to compose features effective for general-purpose applications, consisting of two steps: (1) calculating feature vectors along the time frame from middle/late layer outputs, and (2) fusing them. This approach improves the utility of frequency and channel information in downstream processes, and combines the effectiveness of middle and late layer features for different tasks. As a result, the feature vectors become effective for general purposes. In the experiments using VGGish, PANNs' CNN14, and AST on nine downstream tasks, we first show that each layer output of these models serves different tasks. Then, we demonstrate that the proposed approach significantly improves their performance and brings it to a level comparable to that of the state-of-the-art. In particular, the performance of the non-semantic speech (NOSS) tasks greatly improves, especially on Speech commands V2 with VGGish of +77.1 (14.3% to 91.4%).


title: A setup for grazing incidence fast atom diffraction

abstract: We describe a UHV setup for grazing incidence fast atom diffraction (GIFAD) experiments. The overall geometry is simply a source of keV atoms facing an imaging detector. Therefore, It is very similar to the geometry of RHEED experiments, reflection high energy electron diffraction used to monitor growth at surfaces. Several custom instrumental developments are described making GIFAD operation efficient and straightforward. The difficulties associated with accurately measuring the small scattering angle and the related calibration are carefully analyzed.


title: State feedback control law design for an age-dependent SIR model

abstract: An age-dependent SIR model is considered with the aim to develop a state-feedback vaccination law in order to eradicate a disease. A dynamical analysis of the system is performed using the principle of linearized stability and shows that, if the basic reproduction number is larger than 1, the disease free equilibrium is unstable. This result justifies the developement of a vaccination law. Two approaches are used. The first one is based on a dicretization of the partial integro-differential equations (PIDE) model according to the age. In this case a linearizing feedback law is found using Isidori's theory. Conditions guaranteeing stability and positivity are established. The second approach yields a linearizing feedback law developed for the PIDE model. This law is deduced from the one obtained for the ODE case. Using semigroup theory, stability conditions are also obtained. Finally, numerical simulations are presented to reinforce the theoretical arguments.


title: Decays of a bino-like particle in the low-mass regime

abstract: We study the phenomenology associated with a light bino-like neutralino with mass under the tau mass in the context of the R-parity violating Minimal Supersymmetric Standard Model. This is a well-motivated example of scenarios producing potentially light and long-lived exotic particles, which might be testable in far-detector experiments, such as the FASER experiment at the Large Hadron Collider. A quantitative assessment of the discovery potential or the extraction of limits run through a detailed understanding of the interactions of the light exotic fermion with Standard Model matter, in particular, the hadronic sector. Here, we propose a systematic analysis of the decays of such a particle and proceed to a model-independent derivation of the low-energy effects, so that this formalism may be transposed to other UV-completions or even stand as an independent effective field theory. We then stress the diversity of the possible phenomenology and more specifically discuss the features associated with the R-parity violating supersymmetric framework, for example neutron-antineutron oscillations.


title: Dual-Cross-Polarized GPR Measurement Method for Detection and Orientation Estimation of Shallowly Buried Elongated Object

abstract: Detecting a shallowly buried and elongated object and estimating its orientation using a commonly adopted co-polarized GPR system is challenging due to the presence of strong ground clutter that masks the target reflection. A cross-polarized configuration can be used to suppress ground clutter and reveal the object reflection, but it suffers from inconsistent detection capability which significantly varies with different object orientations. To address this issue, we propose a dual-cross-polarized detection (DCPD) method which utilizes two cross-polarized antennas with a special arrangement to detect the object. The signals reflected by the object and collected by the two antennas are combined in a rotationally invariant manner to ensure both effective ground clutter suppression and consistent detection irrespective of the object orientation. In addition, we present a dual-cross-polarized orientation estimation (DCPOE) algorithm to estimate the object orientation from the two cross-polarized data. The proposed DCPOE algorithm is less affected by environmental noise and performs robust and accurate azimuth angle estimation. The effectiveness of the proposed techniques in the detection and orientation estimation and their advantages over the existing method have been demonstrated using experimental data. Comparison results show that the maximum and average errors are 22.3{\deg} and 10.9{\deg} for the Alford rotation algorithm, while those are 4.9{\deg} and 1.8{\deg} for the proposed DCPOE algorithm in the demonstrated shallowly buried object cases. The proposed techniques can be unified in a framework to facilitate the investigation and mapping of shallowly buried and elongated targets.


title: Brachial Plexus Nerve Trunk Segmentation Using Deep Learning: A Comparative Study with Doctors' Manual Segmentation

abstract: Ultrasound-guided nerve block anesthesia (UGNB) is a high-tech visual nerve block anesthesia method that can observe the target nerve and its surrounding structures, the puncture needle's advancement, and local anesthetics spread in real-time. The key in UGNB is nerve identification. With the help of deep learning methods, the automatic identification or segmentation of nerves can be realized, assisting doctors in completing nerve block anesthesia accurately and efficiently. Here, we establish a public dataset containing 320 ultrasound images of brachial plexus (BP). Three experienced doctors jointly produce the BP segmentation ground truth and label brachial plexus trunks. We design a brachial plexus segmentation system (BPSegSys) based on deep learning. BPSegSys achieves experienced-doctor-level nerve identification performance in various experiments. We evaluate BPSegSys' performance in terms of intersection-over-union (IoU), a commonly used performance measure for segmentation experiments. Considering three dataset groups in our established public dataset, the IoU of BPSegSys are 0.5238, 0.4715, and 0.5029, respectively, which exceed the IoU 0.5205, 0.4704, and 0.4979 of experienced doctors. In addition, we show that BPSegSys can help doctors identify brachial plexus trunks more accurately, with IoU improvement up to 27%, which has significant clinical application value.


title: BayesMix: Bayesian Mixture Models in C++

abstract: We describe BayesMix, a C++ library for MCMC posterior simulation for general Bayesian mixture models. The goal of BayesMix is to provide a self-contained ecosystem to perform inference for mixture models to computer scientists, statisticians and practitioners. The key idea of this library is extensibility, as we wish the users to easily adapt our software to their specific Bayesian mixture models. In addition to the several models and MCMC algorithms for posterior inference included in the library, new users with little familiarity on mixture models and the related MCMC algorithms can extend our library with minimal coding effort. Our library is computationally very efficient when compared to competitor software. Examples show that the typical code runtimes are from two to 25 times faster than competitors for data dimension from one to ten. Our library is publicly available on Github at https://github.com/bayesmix-dev/bayesmix/.


title: Is the right-angled building associated to a universal group unique?

abstract: A universal group is a subgroup of the group of type preserving automorphisms of a right-angled building and hence associated to this building. A question is then if this universal group can act chamber-transitively and with compact open stabilisers on a different right-angled building of the same type. We answer this question and define two universal groups associated to different right-angled buildings which are isomorphic as topological groups.