title: A Framework for Following Temporal Logic Instructions with Unknown Causal Dependencies

abstract: Teaching a deep reinforcement learning (RL) agent to follow instructions in multi-task environments is a challenging problem. We consider that user defines every task by a linear temporal logic (LTL) formula. However, some causal dependencies in complex environments may be unknown to the user in advance. Hence, when human user is specifying instructions, the robot cannot solve the tasks by simply following the given instructions. In this work, we propose a hierarchical reinforcement learning (HRL) framework in which a symbolic transition model is learned to efficiently produce high-level plans that can guide the agent efficiently solve different tasks. Specifically, the symbolic transition model is learned by inductive logic programming (ILP) to capture logic rules of state transitions. By planning over the product of the symbolic transition model and the automaton derived from the LTL formula, the agent can resolve causal dependencies and break a causally complex problem down into a sequence of simpler low-level sub-tasks. We evaluate the proposed framework on three environments in both discrete and continuous domains, showing advantages over previous representative methods.


title: MDA GAN: Adversarial-Learning-based 3-D Seismic Data Interpolation and Reconstruction for Complex Missing

abstract: The interpolation and reconstruction of missing traces is a crucial step in seismic data processing, moreover it is also a highly ill-posed problem, especially for complex cases such as high-ratio random discrete missing, continuous missing and missing in fault-rich or salt body surveys. These complex cases are rarely mentioned in current works. To cope with complex missing cases, we propose Multi-Dimensional Adversarial GAN (MDA GAN), a novel 3-D GAN framework. It keeps anisotropy and spatial continuity of the data after 3D complex missing reconstruction using three discriminators. The feature stitching module is designed and embedded in the generator to retain more information of the input data. The Tanh cross entropy (TCE) loss is derived, which provides the generator with the optimal reconstruction gradient to make the generated data smoother and continuous. We experimentally verified the effectiveness of the individual components of the study and then tested the method on multiple publicly available data. The method achieves reasonable reconstructions for up to 95% of random discrete missing and 100 traces of continuous missing. In fault and salt body enriched surveys, MDA GAN still yields promising results for complex cases. Experimentally it has been demonstrated that our method achieves better performance than other methods in both simple and complex cases.https://github.com/douyimin/MDA_GAN


title: Two-dimensional partitioned square ice confined in graphene/graphite nanocapillaries

abstract: As one of the most fascinating confined water/ice phenomena, two-dimensional square ice has been extensively studied and experimentally confirmed in recent years. Apart from the unidirectional homogeneous square icing patterns considered in previous studies, the multidirectional partitioned square icing patterns are discovered in this study and characterized by molecular dynamics (MD) simulations. Square icing parameters are proposed to quantitatively distinguish the partitioned patterns from the homogeneous patterns and the liquid water. The number of graphene monolayers n is varied in this study, and the results show that it is more energetically favorable to form partitioned square icing patterns when the water molecules are confined between graphite sheets (n >= 2) compared to graphene (n = 1). This phenomenon is insensitive to n as long as n >= 2, because of the short-range nature of the interaction between water molecules and the carbon substrate. Moreover, it is energetically unfavorable to form partitioned square icing patterns for a single layer of water molecules even for n >= 2, verifying that the interaction between layers of water molecules is another dominant factor in the formation of partitioned structures. The conversion from partitioned structure to homogenous square patterns is investigated by changing the pressure and the temperature. Based on the comprehensive MD simulations, this study unveils the formation mechanism of the partitioned square icing patterns.


title: Stability and instability of Kelvin waves

abstract: The $m$-waves of Kelvin are uniformly rotating patch solutions of the 2D Euler equations with $m$-fold rotational symmetry for $m\geq 2$. For Kelvin waves sufficiently close to the disc, we prove a nonlinear stability result up to an arbitrarily long time in the $L^1$ norm of the vorticity, for $m$-fold symmetric perturbations. To obtain this result, we first prove that the Kelvin wave is a strict local maximizer of the energy functional in some admissible class of patches, which had been claimed by Wan in 1986. This gives an orbital stability result with a support condition on the evolution of perturbations, but using a Lagrangian bootstrap argument which traces the particle trajectories of the perturbation, we are able to drop the condition on the evolution. Based on this unconditional stability result, we establish that long time filamentation, or formation of long arms, occurs near the Kelvin waves, which have been observed in various numerical simulations. Additionally, we discuss stability of annular patches in the same variational framework.


title: The Distressing Ads That Persist: Uncovering The Harms of Targeted Weight-Loss Ads Among Users with Histories of Disordered Eating

abstract: Targeted advertising can harm vulnerable groups when it targets individuals' personal and psychological vulnerabilities. We focus on how targeted weight-loss advertisements harm people with histories of disordered eating. We identify three features of targeted advertising that cause harm: the persistence of personal data that can expose vulnerabilities, over-simplifying algorithmic relevancy models, and design patterns encouraging engagement that can facilitate unhealthy behavior. Through a series of semi-structured interviews with individuals with histories of unhealthy body stigma, dieting, and disordered eating, we found that targeted weight-loss ads reinforced low self-esteem and deepened pre-existing anxieties around food and exercise. At the same time, we observed that targeted individuals demonstrated agency and resistance against distressing ads. Drawing on scholarship in postcolonial environmental studies, we use the concept of slow violence to articulate how online targeted advertising inflicts harms that may not be immediately identifiable. CAUTION: This paper includes media that could be triggering, particularly to people with an eating disorder. Please use caution when reading, printing, or disseminating this paper.


title: A new multiphysics finite element method for a Biot model with secondary consolidation

abstract: In this paper, we propose a new multiphysics finite element method for a Biot model with secondary consolidation in soil dynamics. To better describe the processes of deformation and diffusion underlying in the original model, we reformulate Biot model by a new multiphysics approach, which transforms the fluid-solid coupled problem to a fluid coupled problem--a generalized Stokes problem and a diffusion problem. Then, we give the energy law and prior error estimate of the weak solution. And we design a fully discrete time-stepping scheme to use mixed finite element method for $P_2-P_1-P_1$ element pairs to approximate the space variables and backward Euler method for the time variable, and we prove the discrete energy laws and the optimal convergence order error estimates. Also, we show some numerical examples to verify the theoretical results. Finally, we draw a conclusion to summarize the main results of this paper.


title: Supercurrent reversal in ferromagnetic hybrid nanowire Josephson junctions

abstract: We report supercurrent transport measurements in hybrid Josephson junctions comprised of semiconducting InAs nanowires with epitaxial ferromagnetic insulator EuS and superconducting Al coatings. The wires display a hysteretic superconducting window close to the coercivity, away from zero external magnetic field. Using a multi-interferometer setup, we measure the current-phase relation of multiple magnetic junctions and find an abrupt switch between $\pi$ and 0 phases within the superconducting window. We attribute the 0-$\pi$ transition to the discrete flipping of the EuS domains and provide a qualitative theory showing that a sizable exchange field can polarize the junction and lead to the supercurrent reversal. Both $0$ and $\pi$ phases can be realized at zero external field by demagnetizing the wire.


title: Convex Optimization for Nonequilibrium Steady States on a Hybrid Quantum Processor

abstract: Finding the transient and steady state properties of open quantum systems is a central problem in various fields of quantum technologies. Here, we present a quantum-assisted algorithm to determine the steady states of open system dynamics. By reformulating the problem of finding the fixed point of Lindblad dynamics as a feasibility semidefinite program, we bypass several well-known issues with variational quantum approaches to solving for steady states. We demonstrate that our hybrid approach allows us to estimate the steady states of higher dimensional open quantum systems and discuss how our method can find multiple steady states for systems with symmetries.


title: Convolutional Neural Network for Early Pulmonary Embolism Detection via Computed Tomography Pulmonary Angiography

abstract: This study was conducted to develop a computer-aided detection (CAD) system for triaging patients with pulmonary embolism (PE). The purpose of the system was to reduce the death rate during the waiting period. Computed tomography pulmonary angiography (CTPA) is used for PE diagnosis. Because CTPA reports require a radiologist to review the case and suggest further management, this creates a waiting period during which patients may die. Our proposed CAD method was thus designed to triage patients with PE from those without PE. In contrast to related studies involving CAD systems that identify key PE lesion images to expedite PE diagnosis, our system comprises a novel classification-model ensemble for PE detection and a segmentation model for PE lesion labeling. The models were trained using data from National Cheng Kung University Hospital and open resources. The classification model yielded 0.73 for receiver operating characteristic curve (accuracy = 0.85), while the mean intersection over union was 0.689 for the segmentation model. The proposed CAD system can distinguish between patients with and without PE and automatically label PE lesions to expedite PE diagnosis


title: A coherently excited Franson-type nonlocal correlation

abstract: Entanglement is the basic building block of quantum technologies whose property is in the unique quantum feature of nonlocal realism. However, such a nonlocal quantum property is known as just a weird phenomenon that cannot be obtained by any classical means. Recently, the mysterious quantum phenomena have been coherently interpreted using entangled photon pairs, where the quantum mystery has been found in the manipulated product-basis superposition of paired photons. Here, a coherence version of the Franson-type nonlocal correlation is presented by all means of classical physics. The resulting coherence solutions of the nonlocal correlation satisfy the same joint-phase relation of local parameters as in the quantum version. For the nonlocal correlation fringe, coherent manipulations of attenuated laser light are conducted by synchronized acousto-optic modulators to generate random but phase-matched photon pairs.


title: L2G: A Simple Local-to-Global Knowledge Transfer Framework for Weakly Supervised Semantic Segmentation

abstract: Mining precise class-aware attention maps, a.k.a, class activation maps, is essential for weakly supervised semantic segmentation. In this paper, we present L2G, a simple online local-to-global knowledge transfer framework for high-quality object attention mining. We observe that classification models can discover object regions with more details when replacing the input image with its local patches. Taking this into account, we first leverage a local classification network to extract attentions from multiple local patches randomly cropped from the input image. Then, we utilize a global network to learn complementary attention knowledge across multiple local attention maps online. Our framework conducts the global network to learn the captured rich object detail knowledge from a global view and thereby produces high-quality attention maps that can be directly used as pseudo annotations for semantic segmentation networks. Experiments show that our method attains 72.1% and 44.2% mIoU scores on the validation set of PASCAL VOC 2012 and MS COCO 2014, respectively, setting new state-of-the-art records. Code is available at https://github.com/PengtaoJiang/L2G.


title: BIMxAR: BIM-Empowered Augmented Reality for Learning Architectural Representations

abstract: Literature review shows limited research investigating the utilization of Augmented Reality (AR) to improve learning and understanding architectural representations, specifically section views. In this study, we present an AR system prototype (BIMxAR), its new and accurate building-scale registration method, and its novel visualization features that facilitate the comprehension of building construction systems, materials configuration, and 3D section views of complex structures through the integration of AR, Building Information Modeling (BIM), and physical buildings. A pilot user study found improvements after students studied building section views in a physical building with AR, though not statistically significant, in terms of scores of the Santa Barbara Solids Test (SBST) and the Architectural Representations Test (ART). When incorporating time as a performance factor, the ART timed scores show a significant improvement in the posttest session. BIMxAR has the potential to enhance the students spatial abilities, particularly in understanding buildings and complex section views.


title: A Joint Learning Approach for Semi-supervised Neural Topic Modeling

abstract: Topic models are some of the most popular ways to represent textual data in an interpret-able manner. Recently, advances in deep generative models, specifically auto-encoding variational Bayes (AEVB), have led to the introduction of unsupervised neural topic models, which leverage deep generative models as opposed to traditional statistics-based topic models. We extend upon these neural topic models by introducing the Label-Indexed Neural Topic Model (LI-NTM), which is, to the extent of our knowledge, the first effective upstream semi-supervised neural topic model. We find that LI-NTM outperforms existing neural topic models in document reconstruction benchmarks, with the most notable results in low labeled data regimes and for data-sets with informative labels; furthermore, our jointly learned classifier outperforms baseline classifiers in ablation studies.


title: Speeding Up Sparsification using Inner Product Search Data Structures

abstract: We present a general framework that utilizes different efficient data structures to improve various sparsification problems involving an iterative process. We also provide insights and characterization for different iterative process, and answer that when should we use which data structures in what type of problem. We obtain improved running time for the following problems. * For constructing linear-sized spectral sparsifier (Batson, Spielman and Srivastava, 2012), all the existing deterministic algorithms require $\Omega(d^4)$ time. In this work, we provide the first deterministic algorithm that breaks that barrier which runs in $O(d^{\omega+1})$ time, where $\omega$ is the exponent of matrix multiplication. * For one-sided Kadison-Singer-typed discrepancy problem, we give fast algorithms for both small and large number of iterations. * For experimental design problem, we speed up a key swapping process. In the heart of our work is the design of a variety of different inner product search data structures that have efficient initialization, query and update time, compatible to dimensionality reduction and robust against adaptive adversary.


title: Early Evolution of a Newborn Magnetar with Strong Precession Motion in GRB 180620A

abstract: The observed early X-ray plateau in the afterglow lightcurves of some gamma-ray bursts (GRBs) is attributed to the dipole radiations (DRs) of a newborn magnetar. A quasi-periodic oscillation (QPO) signal in the plateau would be strong evidence of the magnetar precession motion. By making a time-frequency domain analysis for the X-ray afterglow lightcurve of GRB 180620A, we find a QPO signal of $\sim650$ seconds in its early X-ray plateau. We fit the lightcurve with a magnetar precession model by adopting the Markov chain Monte Carlo algorithm. The observed lightcurve and the QPO signal are well represented with our model. The derived magnetic field strength of the magnetar is $B_{\rm p}= (1.02^{+0.59}_{-0.61})\times10^{15}$~G. It rapidly spins down with angular velocity evolving as $\Omega_{s} \propto(1+t/\tau_{\rm sd})^{-0.96}$, where $\tau_{\rm sd}=9430$~s. Its precession velocity evolution is even faster than $\Omega_s$, i.e. $\Omega_{ p}\propto (1+t/\tau_{p})^{-2.18\pm0.11}$, where $\tau_{p}=2239\pm206$~s. The inferred braking index is $n=2.04$. We argue that the extra energy loss via the magnetospheric processes results in its rapid spin-down, a low braking index of the magnetar, and the strong precession motion.


title: Elastic Model Aggregation with Parameter Service

abstract: Model aggregation, the process that updates model parameters, is an important step for model convergence in distributed deep learning (DDL). However, the parameter server (PS), a popular paradigm of performing model aggregation, causes CPU underutilization in deep learning (DL) clusters, due to the bursty nature of aggregation and static resource allocation. To remedy this problem, we propose Parameter Service, an elastic model aggregation framework for DDL training, which decouples the function of model aggregation from individual training jobs and provides a shared model aggregation service to all jobs in the cluster. In Parameter Service, model aggregations are efficiently packed and dynamically migrated to fit into the available CPUs with negligible time overhead. Furthermore, Parameter Service can elastically manage its CPU resources based on its load to enhance resource efficiency. We have implemented Parameter Service in a prototype system called AutoPS and evaluated it via testbed experimentation and trace-driven simulations. AutoPS reduces up to 75% of CPU consumption with little or no performance impact on the training jobs. The design of Parameter Service is transparent to the users and can be incorporated in popular DL frameworks.


title: Red sizes of quivers

abstract: In this article, we will expand on the notions of maximal green and reddening sequences for quivers associated to cluster algebras. The existence of these sequences has been studied for a variety of applications related to Fomin and Zelevinsky's cluster algebras. Ahmad and Li considered a numerical measure of how close a quiver is to admitting a maximal green sequence called a red number. In this paper we generalized this notion to what we call unrestricted red numbers which are related to reddening sequences. In addition to establishing this more general framework we completely determine the red numbers and unrestricted red numbers for all finite mutation type quivers. Furthermore, we give conjectures on the possible values of red numbers and unrestricted red numbers in general.


title: MC-UNet Multi-module Concatenation based on U-shape Network for Retinal Blood Vessels Segmentation

abstract: Accurate segmentation of the blood vessels of the retina is an important step in clinical diagnosis of ophthalmic diseases. Many deep learning frameworks have come up for retinal blood vessels segmentation tasks. However, the complex vascular structure and uncertain pathological features make the blood vessel segmentation still very challenging. A novel U-shaped network named Multi-module Concatenation which is based on Atrous convolution and multi-kernel pooling is put forward to retinal vessels segmentation in this paper. The proposed network structure retains three layers the essential structure of U-Net, in which the atrous convolution combining the multi-kernel pooling blocks are designed to obtain more contextual information. The spatial attention module is concatenated with dense atrous convolution module and multi-kernel pooling module to form a multi-module concatenation. And different dilation rates are selected by cascading to acquire a larger receptive field in atrous convolution. Adequate comparative experiments are conducted on these public retinal datasets: DRIVE, STARE and CHASE_DB1. The results show that the proposed method is effective, especially for microvessels. The code will be put out at https://github.com/Rebeccala/MC-UNet


title: Transformer-Based Language Models for Software Vulnerability Detection

abstract: The large transformer-based language models demonstrate excellent performance in natural language processing. By considering the transferability of the knowledge gained by these models in one domain to other related domains, and the closeness of natural languages to high-level programming languages, such as C/C++, this work studies how to leverage (large) transformer-based language models in detecting software vulnerabilities and how good are these models for vulnerability detection tasks. In this regard, firstly, a systematic (cohesive) framework that details source code translation, model preparation, and inference is presented. Then, an empirical analysis is performed with software vulnerability datasets with C/C++ source codes having multiple vulnerabilities corresponding to the library function call, pointer usage, array usage, and arithmetic expression. Our empirical results demonstrate the good performance of the language models in vulnerability detection. Moreover, these language models have better performance metrics, such as F1-score, than the contemporary models, namely bidirectional long short-term memory and bidirectional gated recurrent unit. Experimenting with the language models is always challenging due to the requirement of computing resources, platforms, libraries, and dependencies. Thus, this paper also analyses the popular platforms to efficiently fine-tune these models and present recommendations while choosing the platforms.


title: Robust Model-based Inference for Non-Probability Samples

abstract: With the ubiquitous availability of unstructured data, growing attention is paid as how to adjust for selection bias in such non-probability samples. The majority of the robust estimators proposed by prior literature are either fully or partially design-based, which may lead to inefficient estimates if outlying (pseudo-)weights are present. In addition, correctly reflecting the uncertainty of the adjusted estimator remains a challenge when the available reference survey is complex in the sample design. This article proposes a fully model-based method for inference using non-probability samples where the goal is to predict the outcome variable for the entire population units. We employ a Bayesian bootstrap method with Rubin's combing rules to derive the adjusted point and interval estimates. Using Gaussian process regression, our method allows for kernel matching between the non-probability sample units and population units based on the estimated selection propensities when the outcome model is misspecified. The repeated sampling properties of our method are evaluated through two Monte Carlo simulation studies. Finally, we examine it on a real-world non-probability sample with the aim to estimate crash-attributed injury rates in different body regions in the United States.


title: Neural Implicit Flow: a mesh-agnostic dimensionality reduction paradigm of spatio-temporal data

abstract: High-dimensional spatio-temporal dynamics can often be encoded in a low-dimensional subspace. Engineering applications for modeling, characterization, design, and control of such large-scale systems often rely on dimensionality reduction to make solutions computationally tractable in real-time. Common existing paradigms for dimensionality reduction include linear methods, such as the singular value decomposition (SVD), and nonlinear methods, such as variants of convolutional autoencoders (CAE). However, these encoding techniques lack the ability to efficiently represent the complexity associated with spatio-temporal data, which often requires variable geometry, non-uniform grid resolution, adaptive meshing, and/or parametric dependencies. To resolve these practical engineering challenges, we propose a general framework called Neural Implicit Flow (NIF) that enables a mesh-agnostic, low-rank representation of large-scale, parametric, spatial-temporal data. NIF consists of two modified multilayer perceptrons (MLPs): (i) ShapeNet, which isolates and represents the spatial complexity, and (ii) ParameterNet, which accounts for any other input complexity, including parametric dependencies, time, and sensor measurements. We demonstrate the utility of NIF for parametric surrogate modeling, enabling the interpretable representation and compression of complex spatio-temporal dynamics, efficient many-spatial-query tasks, and improved generalization performance for sparse reconstruction.


title: Resiliency of Nonlinear Control Systems to Stealthy Sensor Attacks

abstract: In this work, we focus on analyzing vulnerability of nonlinear dynamical control systems to stealthy sensor attacks. We start by defining the notion of stealthy attacks in the most general form by leveraging Neyman-Pearson lemma; specifically, an attack is considered to be stealthy if it is stealthy from (i.e., undetected by) any intrusion detector -- i.e., the probability of the detection is not better than a random guess. We then provide a sufficient condition under which a nonlinear control system is vulnerable to stealthy attacks, in terms of moving the system to an unsafe region due to the attacks. In particular, we show that if the closed-loop system is incrementally exponentially stable while the open-loop plant is incrementally unstable, then the system is vulnerable to stealthy yet impactful attacks on sensors. Finally, we illustrate our results on a case study.


title: MTH5: an archive and exchangeable data format for magnetotelluric time series data

abstract: Magnetotellurics (MT) is a passive electromagnetic geophysical method that measures variations in subsurface electrical resistivity. MT data are collected in the time domain and processed in the frequency domain to produce estimates of a transfer function representing the Earth's electrical structure. Unfortunately, the MT community lacks metadata and data standards for time series data. As the community grows and findability, accessibility, interoperability, and reuse of digital assets (FAIR) data principles are enforced by government and funding agencies, a standard is needed for time series data. Presented here is a hierarchical data format (MTH5) that is logically formatted to how MT data are collected. Open-source Python packages are also described to read, write, and manipulate MTH5 files. These include a package to deal with metadata (\texttt{mt\symbol{95}metadata}) based on standards developed by the Working Group for Magnetotelluric Data Handling and Software assembled by the Incorporated Research Institutions for Seismology (IRIS), and \texttt{mth5}: a package to interact with MTH5 files that uses \texttt{mt\symbol{95}metadata}. Example code and workflows are presented.


title: DDOS: A MOS Prediction Framework utilizing Domain Adaptive Pre-training and Distribution of Opinion Scores

abstract: Mean opinion score (MOS) is a typical subjective evaluation metric for speech synthesis systems. Since collecting MOS is time-consuming, it would be desirable if there are accurate MOS prediction models for automatic evaluation. In this work, we propose DDOS, a novel MOS prediction model. DDOS utilizes domain adaptive pre-training to further pre-train self-supervised learning models on synthetic speech. And a proposed module is added to model the opinion score distribution of each utterance. With the proposed components, DDOS outperforms previous works on BVCC dataset. And the zero shot transfer result on BC2019 dataset is significantly improved. DDOS also wins second place in Interspeech 2022 VoiceMOS challenge in terms of system-level score.


title: Continuous Comodules

abstract: Let $R$ be a commutative ring with unity and $C$ be an $R$-coalgebra. The ring $R$ is clean if every $ r\in R $ is the sum of a unit and an idempotent element of $R$. An $R$-module $M$ is clean if the endomorphism ring of $M$ over $R$ is clean. Moreover, every continuous module is clean. We modify this idea to the comodule and coalgebra cases. A $C$-comodule $M$ is called a clean comodule if the $C$-comodule endomorphisms of $M$ are clean. We introduced continuous comodules and proved that every continuous comodules is a clean comodule.


title: Distributionally Robust Observable Strategic Queues

abstract: This paper presents an extension of Naor's analysis on the join-or-balk problem in observable M/M/1 queues. While all other Markovian assumptions still hold, we explore this problem assuming uncertain arrival rates under the distributionally robust settings. We first study the problem with the classical moment ambiguity set, where the support, mean, and mean-absolute deviation of the underlying distribution are known. Next, we extend the model to the data-driven setting, where decision makers only have access to a finite set of samples. We develop three optimal joining threshold strategies from the perspective of an individual customer, a social optimizer, and a revenue maximizer, such that their respective worst-case expected benefit rates are maximized. Finally, we compare our findings with Naor's original results and the traditional sample average approximation scheme.


title: Where to find lossless metals?

abstract: Hypothetical metals having optical absorption losses as low as those of the transparent insulators, if found, could revolutionize optoelectronics. We perform the first high-throughput search for lossless metals among all known inorganic materials in the databases of over 100,000 entries. The 381 candidates are identified -- having well-isolated partially-filled bands -- and are analyzed by defining the figures of merit and classifying their real-space conductive connectivity. The existing experimental evidence of most candidates being insulating, instead of conducting, is due to the limitation of current density functional theory in predicting narrow-band metals that are unstable against magnetism, structural distortion, or electron-electron interactions. We propose future research directions including conductive oxides, intercalating layered materials, and compressing these false-metal candidates under high pressures into eventual lossless metals.


title: A novel semantic-functional approach for multiuser event-trigger communication

abstract: This work introduces a new perspective for physical media sharing in multiuser communication by jointly considering (i) the meaning of the transmitted message and (ii) its function at the end user. Specifically, we have defined a scenario where multiple users (sensors) are continuously transmitting their own states concerning a predetermined event. On the receiver side there is an alarm monitoring system, whose function is to decide whether such a predetermined event has happened in a certain time period and, if yes, in which user. The media access control protocol proposed constitutes an alternative approach to the conventional physical layer methods, because the receiver does not decode the received waveform directly; rather, the relative position of the absence or presence of energy within a multidimensional resource space carries the (semantic) information. The protocol introduced here provides high efficiency in multiuser networks that operate with event-triggered sampling by enabling a constructive reconstruction of transmission collisions. We have demonstrated that the proposed method leads to a better event transmission efficiency than conventional methods like TDMA and slotted ALOHA. Remarkably, the proposed method achieves 100\% efficiency and 0\% error probability in almost all the studied cases, while consistently outperforming TDMA and slotted ALOHA.


title: Renormalization of $\langle\phi^2\rangle$ at the inner horizon of rotating, accreting black holes

abstract: Classically, the inner horizon of a perturbed, rotating black hole undergoes an instability known as mass inflation, wherein the spacetime curvature diverges as a result of hyper-relativistic crossing streams of ingoing and outgoing radiation. The generic outcome of this instability is currently believed to be a strong, spacelike singularity, potentially alongside a weak, null singularity surviving at late times. However, the quantum back-reaction in this regime has yet to be fully calculated for a realistic black hole spacetime. Here we consider a massless quantized scalar field $\phi$ over the inflationary Kasner spacetime, a recently developed model for the inner horizon geometry of a rotating, accreting black hole. With this spacetime, we use numerical adiabatic regularization to calculate $\langle\phi^2\rangle_\text{ren}$, the renormalized coincidence limit of the two-point correlation function, as a pointer to the behavior of the quantum stress-energy tensor. $\langle\phi^2\rangle_\text{ren}$ is generically found to be nonzero near the inner horizon, divergent where the curvature classically diverges, and larger for smaller black hole spins or accretion rates.


title: Explicit Feature Interaction-aware Graph Neural Networks

abstract: Graph neural networks (GNNs) are powerful tools for handling graph-structured data. However, their design often limits them to learning only higher-order feature interactions, leaving low-order feature interactions overlooked. To address this problem, we introduce a novel GNN method called explicit feature interaction-aware graph neural network (EFI-GNN). Unlike conventional GNNs, EFI-GNN is a multilayer linear network designed to model arbitrary-order feature interactions explicitly within graphs. To validate the efficacy of EFI-GNN, we conduct experiments using various datasets. The experimental results demonstrate that EFI-GNN has competitive performance with existing GNNs, and when a GNN is jointly trained with EFI-GNN, predictive performance sees an improvement. Furthermore, the predictions made by EFI-GNN are interpretable, owing to its linear construction. The source code of EFI-GNN is available at https://github.com/gim4855744/EFI-GNN


title: On the monogenity of quartic number fields defined by $x^4+ax^2+b$

abstract: For any quartic number field $K$ generated by a root $\alpha$ of an irreducible trinomial of type $x^4+ax^2+b\in Z[x]$, we characterize when $Z[\alpha]$ is integrally closed. Also for $p=2,3$, we explicitly give the highest power of $p$ dividing $i(K)$, the common index divisor of $K$. For a wide class of monogenic trinomials of this type we prove that up to equivalence there is only one generator of power integral bases in $K=Q(\alpha)$. We illustrate our statements with a series of examples.


title: Accelerating Attention through Gradient-Based Learned Runtime Pruning

abstract: Self-attention is a key enabler of state-of-art accuracy for various transformer-based Natural Language Processing models. This attention mechanism calculates a correlation score for each word with respect to the other words in a sentence. Commonly, only a small subset of words highly correlates with the word under attention, which is only determined at runtime. As such, a significant amount of computation is inconsequential due to low attention scores and can potentially be pruned. The main challenge is finding the threshold for the scores below which subsequent computation will be inconsequential. Although such a threshold is discrete, this paper formulates its search through a soft differentiable regularizer integrated into the loss function of the training. This formulation piggy backs on the back-propagation training to analytically co-optimize the threshold and the weights simultaneously, striking a formally optimal balance between accuracy and computation pruning. To best utilize this mathematical innovation, we devise a bit-serial architecture, dubbed LeOPArd, for transformer language models with bit-level early termination microarchitectural mechanism. We evaluate our design across 43 back-end tasks for MemN2N, BERT, ALBERT, GPT-2, and Vision transformer models. Post-layout results show that, on average, LeOPArd yields 1.9x and 3.9x speedup and energy reduction, respectively, while keeping the average accuracy virtually intact (<0.2% degradation)


title: Pressure induced isostructural phase transition in biskyrmion host hexagonal MnNiGa

abstract: Magnetic skyrmions are vortex-like spin textures, which can be manipulated by external stress or pressure via magnetoelastic effects. Here, we present the observation of isostructural phase transition in a biskyrmion host hexagonal MnNiGa at a pressure around 4 GPa using pressure-dependent synchrotron x-ray powder diffraction (XRD) data analysis. Our XRD data reveals anisotropic compression behavior with pressure with different compression rates of the a-axis in the basal plane and the c-axis in the prismatic plane. However, the hexagonal symmetry remains unchanged for pressure up to 14 GPa. Fitting of unit cell volume with pressure using a second-order Birch-Murnagan equation of state reveals that the data to fall into two distinct curves for those above and below 4 GPa. The present study contributes to the understanding of crystal structure with the application of hydrostatic pressure in the biskyrmion host MnNiGa, wherein the skyrmion textures can be manipulated by pressure due to their magnetoelastic character.


title: Very High Energy Flat Spectral Radio Quasar Candidates

abstract: The attenuation of very high energy (VHE) photons by the extragalactic background light (EBL) prevents the observation of high redshift flat spectrum radio quasars (FSRQs). However, the correlation of VHE spectral index with source redshift suggests that EBL intensity may be less than what is predicted. This deviation can draw new constraints on opacity of the universe to VHE gamma-rays. Therefore, more FSRQs may fall above the sensitivity of the forthcoming VHE telescopes than the ones predicted by the existing EBL models. In order to account for the lower EBL intensity predicted by the index-redshift correlation, we introduce a redshift dependent correction factor to the opacity estimated from commonly used cosmological EBL model. Considering this modified opacity, we identify the plausible VHE FSRQ candidates by linearly extrapolating the \emph{Fermi} gamma-ray spectrum at 10 GeV to VHE regime. Our study suggests among 744 FSRQs reported in \emph{Fermi} fourth catalog-Data release 2 (4FGL-DR2), 32 FSRQs will be detectable by Cherenkov Telescope Array Observatory (CTAO). Since the FSRQS are proven to be highly variable, we assume a scenario where the average \emph{Fermi} gamma-ray flux increases by a factor of 10 and this predicts additional 90 FSRQs that can be detected by CTAO.


title: What You See is What You Get: Principled Deep Learning via Distributional Generalization

abstract: Having similar behavior at training time and test time $-$ what we call a "What You See Is What You Get" (WYSIWYG) property $-$ is desirable in machine learning. Models trained with standard stochastic gradient descent (SGD), however, do not necessarily have this property, as their complex behaviors such as robustness or subgroup performance can differ drastically between training and test time. In contrast, we show that Differentially-Private (DP) training provably ensures the high-level WYSIWYG property, which we quantify using a notion of distributional generalization. Applying this connection, we introduce new conceptual tools for designing deep-learning methods by reducing generalization concerns to optimization ones: to mitigate unwanted behavior at test time, it is provably sufficient to mitigate this behavior on the training data. By applying this novel design principle, which bypasses "pathologies" of SGD, we construct simple algorithms that are competitive with SOTA in several distributional-robustness applications, significantly improve the privacy vs. disparate impact trade-off of DP-SGD, and mitigate robust overfitting in adversarial training. Finally, we also improve on theoretical bounds relating DP, stability, and distributional generalization.


title: The Microscopic Diamond Anvil Cell: Stabilization of Superhard, Superconducting Carbon Allotropes at Ambient Pressure

abstract: A metallic covalently bonded carbon allotrope is predicted via first principles calculations. It is composed of an $sp^3$ carbon framework that acts as a diamond anvil cell by constraining the distance between parallel cis-polyacetylene chains. The distance between these $sp^2$ carbon atoms renders the phase metallic, and yields two well-nested nearly parallel bands that span the Fermi level. Calculations show that this phase is a conventional superconductor, with the motions of the $sp^2$ carbons being key contributors to the electron phonon coupling. The $sp^3$ carbon atoms impart superior mechanical properties, with a predicted Vickers hardness of 48~GPa. This phase, metastable at ambient conditions, could be made via cold compression of graphite to 40~GPa. A family of multifunctional materials with tunable superconducting and mechanical properties could be derived from this phase by varying the $sp^2$ versus $sp^3$ carbon content and by doping.


title: Leveraging Real Conversational Data for Multi-Channel Continuous Speech Separation

abstract: Existing multi-channel continuous speech separation (CSS) models are heavily dependent on supervised data - either simulated data which causes data mismatch between the training and real-data testing, or the real transcribed overlapping data, which is difficult to be acquired, hindering further improvements in the conversational/meeting transcription tasks. In this paper, we propose a three-stage training scheme for the CSS model that can leverage both supervised data and extra large-scale unsupervised real-world conversational data. The scheme consists of two conventional training approaches -- pre-training using simulated data and ASR-loss-based training using transcribed data -- and a novel continuous semi-supervised training between the two, in which the CSS model is further trained by using real data based on the teacher-student learning framework. We apply this scheme to an array-geometry-agnostic CSS model, which can use the multi-channel data collected from any microphone array. Large-scale meeting transcription experiments are carried out on both Microsoft internal meeting data and the AMI meeting corpus. The steady improvement by each training stage has been observed, showing the effect of the proposed method that enables leveraging real conversational data for CSS model training.


title: Muonic X-Ray Measurement for the Nuclear Charge Distribution: the Case of Stable Palladium Isotopes

abstract: Background: The nuclear charge radius and distribution are the most fundamental quantities of the atomic nucleus. From the muonic transition energies, the absolute charge radius has been experimentally obtained, while there have been no established methods to discuss the distribution. Purpose: The muonic transition energies for five palladium isotopes with the mass number $A = 104$, $105$, $106$, $108$ and $110$ were measured. The procedure to deduce the charge radii and the method to discuss the charge distribution from the muonic transition energies are proposed. Method: The experiment was performed at the MuSIC-M1 beamline at Research Center for Nuclear Physics, Osaka University. A continuous muon beam impinged on the enriched palladium targets. Muonic X rays were measured by high-purity germanium detectors. Results: The muonic transition energies up to $4f$-$3d$ transitions were determined for five palladium isotopes. Discussion and conclusion: The root-mean-square charge radii are deduced assuming the two-parameter Fermi distribution. The charge distribution of the nucleus is discussed employing the Barrett model. The muonic transition energies of the $3d$-$2p$ transitions are crucial to discuss both the charge radius and the charge distribution.


title: Local and 2-local derivations on Lie matrix rings over commutative involutive rings

abstract: In the present paper we prove that every 2-local inner derivation on the Lie ring of skew-adjoint matrices over a commutative $*$-ring is an inner derivation. We also apply our technique to various Lie algebras of infinite-dimensional skew-adjoint matrix-valued maps on a set and prove that every 2-local spatial derivation on such algebras is a spatial derivation. We also show that every local spatial derivation on the above Lie algebras is a derivation.


title: Reverse isoperimetric inequality for the lowest Robin eigenvalue of a triangle

abstract: We consider the Laplace operator on a triangle, subject to attractive Robin boundary conditions. We prove that the equilateral triangle is a local maximiser of the lowest eigenvalue among all triangles of a given area provided that the negative boundary parameter is sufficiently small in absolute value, with the smallness depending on the area only. Moreover, using various trial functions, we obtain sufficient conditions for the global optimality of the equilateral triangle under fixed area constraint in the regimes of small and large couplings. We also discuss the constraint of fixed perimeter.


title: Learning to Solve Travelling Salesman Problem with Hardness-adaptive Curriculum

abstract: Various neural network models have been proposed to tackle combinatorial optimization problems such as the travelling salesman problem (TSP). Existing learning-based TSP methods adopt a simple setting that the training and testing data are independent and identically distributed. However, the existing literature fails to solve TSP instances when training and testing data have different distributions. Concretely, we find that different training and testing distribution will result in more difficult TSP instances, i.e., the solution obtained by the model has a large gap from the optimal solution. To tackle this problem, in this work, we study learning-based TSP methods when training and testing data have different distributions using adaptive-hardness, i.e., how difficult a TSP instance can be for a solver. This problem is challenging because it is non-trivial to (1) define hardness measurement quantitatively; (2) efficiently and continuously generate sufficiently hard TSP instances upon model training; (3) fully utilize instances with different levels of hardness to learn a more powerful TSP solver. To solve these challenges, we first propose a principled hardness measurement to quantify the hardness of TSP instances. Then, we propose a hardness-adaptive generator to generate instances with different hardness. We further propose a curriculum learner fully utilizing these instances to train the TSP solver. Experiments show that our hardness-adaptive generator can generate instances ten times harder than the existing methods, and our proposed method achieves significant improvement over state-of-the-art models in terms of the optimality gap.


title: Rule-based Procedural Tree Modeling Approach

abstract: In some entertainment and virtual reality applications, it is necessary to model and draw the real world realistically, so as to improve the fidelity of natural scenes and make users have a better sense of immersion. However, due to the morphological structure of trees The complexity and variety present many challenges for photorealistic modeling and rendering of trees. This paper reviews the progress achieved in photorealistic modeling and rendering of tree branches, leaves, and bark over the past few decades. The main achievement is mainly a rule-based procedural tree modeling method.


title: Unsupervised Quantized Prosody Representation for Controllable Speech Synthesis

abstract: In this paper, we propose a novel prosody disentangle method for prosodic Text-to-Speech (TTS) model, which introduces the vector quantization (VQ) method to the auxiliary prosody encoder to obtain the decomposed prosody representations in an unsupervised manner. Rely on its advantages, the speaking styles, such as pitch, speaking velocity, local pitch variance, etc., are decomposed automatically into the latent quantize vectors. We also investigate the internal mechanism of VQ disentangle process by means of a latent variables counter and find that higher value dimensions usually represent prosody information. Experiments show that our model can control the speaking styles of synthesis results by directly manipulating the latent variables. The objective and subjective evaluations illustrated that our model outperforms the popular models.


title: Spin dynamics and exchange interaction in orthoferrite TbFeO$_3$ with non-Kramers rare-earth ion

abstract: The low-temperature spin dynamics of the orthorhombic TbFeO$_3$ perovskite has been studied. It has been found that the inelastic neutron scattering (INS) spectrum contains two modes corresponding to different sublattices in the compound. The iron subsystem orders antiferromagnetically at T$_N$ = 632 K and exhibits the high-energy magnon dispersion. Magnetic dynamics of this subsystem has been described using the linear spin wave theory and our solution yields sizable anisotropy between in-plane and out-of-plane exchange interactions. This approach was previously used to describe the magnon dispersion in the TmFeO$_3$ compound. Three non-dispersive crystal electric field levels corresponding to Tb$^{3+}$ ions have been established in the region below 40 meV at about 17, 26, and 35 meV. Study of diffuse scattering at different temperatures has elucidated the behavior of the magnetic correlation length. The behavior of the Tb$^{3+}$ ion subsystem has been numerically described in the framework of the point charge model. The numerical data agree satisfactorily with the experiment and with the general concept of the single-ion approximation applied to the rare-earth subsystem of orthorhombic perovskites.


title: Speech Pre-training with Acoustic Piece

abstract: Previous speech pre-training methods, such as wav2vec2.0 and HuBERT, pre-train a Transformer encoder to learn deep representations from audio data, with objectives predicting either elements from latent vector quantized space or pre-generated labels (known as target codes) with offline clustering. However, those training signals (quantized elements or codes) are independent across different tokens without considering their relations. According to our observation and analysis, the target codes share obvious patterns aligned with phonemized text data. Based on that, we propose to leverage those patterns to better pre-train the model considering the relations among the codes. The patterns we extracted, called "acoustic piece"s, are from the sentence piece result of HuBERT codes. With the acoustic piece as the training signal, we can implicitly bridge the input audio and natural language, which benefits audio-to-text tasks, such as automatic speech recognition (ASR). Simple but effective, our method "HuBERT-AP" significantly outperforms strong baselines on the LibriSpeech ASR task.


title: Three Laws of Technology Rise or Fall

abstract: Newton's laws of motion perfectly explain or approximate physical phenomena in our everyday life. Are there any laws that explain or approximate technology's rise or fall? After reviewing thirteen information technologies that succeeded, this article concludes three laws of technology and derives five corollaries to explain or approximate the rise or fall of technology. Three laws are the laws of technology inertia, technology change force, and technology action and reaction. Five corollaries are the corollaries of measurement of technology change force, technology breakthrough, technology monopoly, technology openness, and technology business opportunity. I present how to use the laws and the corollaries to analyze an emerging technology -- the open-source RISC-V processor. Also, I elaborate on benchmarks' role in applying those laws.


title: An odd-frequency Cooper pair around a magnetic impurity

abstract: The Yu-Shiba-Rusinov (YSR) state appears as a bound state of a quasiparticle at a magnetic atom embedded in a superconductor. We discuss why the YSR state has energy below the superconducting gap and why the pair potential changes the sign at the magnetic atom. Although a magnetic atom in a superconductor has been considered as a pair breaker since 1960s, we propose an alternative physical picture to explain these reasons. We show that a magnetic atom converts a spin-singlet s-wave Cooper pair into an odd-frequency pair rather than breaking it. The odd-frequency pairing correlations always coexist with the quasiparticle states below the gap. The YSR state is an example of such a subgap quasiparticle state. The paramagnetic property of an odd-frequency pair explains the sign change of the pair potential at a magnetic atom and the decrease of superconducting transition temperature in the presence of many magnetic impurities.


title: Pretraining Text Encoders with Adversarial Mixture of Training Signal Generators

abstract: We present a new framework AMOS that pretrains text encoders with an Adversarial learning curriculum via a Mixture Of Signals from multiple auxiliary generators. Following ELECTRA-style pretraining, the main encoder is trained as a discriminator to detect replaced tokens generated by auxiliary masked language models (MLMs). Different from ELECTRA which trains one MLM as the generator, we jointly train multiple MLMs of different sizes to provide training signals at various levels of difficulty. To push the discriminator to learn better with challenging replaced tokens, we learn mixture weights over the auxiliary MLMs' outputs to maximize the discriminator loss by backpropagating the gradient from the discriminator via Gumbel-Softmax. For better pretraining efficiency, we propose a way to assemble multiple MLMs into one unified auxiliary model. AMOS outperforms ELECTRA and recent state-of-the-art pretrained models by about 1 point on the GLUE benchmark for BERT base-sized models.


title: Domain wall formation and magnon localization in twisted chromium trihalides

abstract: The rise of twistronics has revolutionized the field of condensed matter physics, and more specifically the future applications of two-dimensional materials. At small twist angles, the microscopic world becomes strongly correlated, and unexpected physical phenomena such as superconductivity emerge. For magnetic layers, stacking plays a crucial role in the magnetic exchange coupling between the layers leading to non-trivial spin configurations and flat spin-wave dispersion when twisted. In this work, we give a short overview of the most recent theoretical and experimental works reporting the effect of twist angles on two-dimensional magnets. Besides, we discuss the effect of the twist angle and the local antiferromagnetic interlayer exchange coupling on the formation of antiferromagnetic domains in chromium trihalides. Finally, we show some preliminary results on the effect of the stacking and the twist angle on the spin-wave dispersion of bilayer CrI$_3$


title: HIT-UAV: A high-altitude infrared thermal dataset for Unmanned Aerial Vehicle-based object detection

abstract: We present the HIT-UAV dataset, a high-altitude infrared thermal dataset for object detection applications on Unmanned Aerial Vehicles (UAVs). The dataset comprises 2,898 infrared thermal images extracted from 43,470 frames in hundreds of videos captured by UAVs in various scenarios including schools, parking lots, roads, and playgrounds. Moreover, the HIT-UAV provides essential flight data for each image, such as flight altitude, camera perspective, date, and daylight intensity. For each image, we have manually annotated object instances with bounding boxes of two types (oriented and standard) to tackle the challenge of significant overlap of object instances in aerial images. To the best of our knowledge, the HIT-UAV is the first publicly available high-altitude UAV-based infrared thermal dataset for detecting persons and vehicles. We have trained and evaluated well-established object detection algorithms on the HIT-UAV. Our results demonstrate that the detection algorithms perform exceptionally well on the HIT-UAV compared to visual light datasets since infrared thermal images do not contain significant irrelevant information about objects. We believe that the HIT-UAV will contribute to various UAV-based applications and researches. The dataset is freely available at https://github.com/suojiashun/HIT-UAV-Infrared-Thermal-Dataset.


title: Analysis of a class of globally divergence-free HDG methods for stationary Navier-Stokes equations

abstract: This paper analyzes a class of globally divergence-free (and therefore pressure-robust) hybridizable discontinuous Galerkin (HDG) finite element methods for stationary Navier-Stokes equations. The methods use the $\mathcal{P}_{k}/\mathcal{P}_{k-1}$ $(k\geq1)$ discontinuous finite element combination for the velocity and pressure approximations in the interior of elements, and piecewise $\mathcal{P}_k/\mathcal{P}_{k}$ for the trace approximations of the velocity and pressure on the inter-element boundaries. It is shown that the uniqueness condition for the discrete solution is guaranteed by that for the continuous solution together with a sufficiently small mesh size. Based on the derived discrete HDG Sobolev embedding properties, optimal error estimates are obtained. Numerical experiments are performed to verify the theoretical analysis.


title: Emergent SUSY in two dimensions

abstract: We propose a renormalization group flow with emergent supersymmetry in two dimensions from a non-Lagrangian theory. The ultraviolet theory does not have supersymmetry while the infrared theory does. We constrain the flow both analytically and numerically (truncated conformal space approach). Analytic constraints include a new spin constraint.


title: Composite Spatial Monte Carlo Integration Based on Generalized Least Squares

abstract: Although evaluation of the expectations on the Ising model is essential in various applications, it is mostly infeasible because of intractable multiple summations. Spatial Monte Carlo integration (SMCI) is a sampling-based approximation. It can provide high-accuracy estimations for such intractable expectations. To evaluate the expectation of a function of variables in a specific region (called target region), SMCI considers a larger region containing the target region (called sum region). In SMCI, the multiple summation for the variables in the sum region is precisely executed, and that in the outer region is evaluated by the sampling approximation such as the standard Monte Carlo integration. It is guaranteed that the accuracy of the SMCI estimator improves monotonically as the size of the sum region increases. However, a haphazard expansion of the sum region could cause a combinatorial explosion. Therefore, we hope to improve the accuracy without such an expansion. In this paper, based on the theory of generalized least squares (GLS), a new effective method is proposed by combining multiple SMCI estimators. The validity of the proposed method is demonstrated theoretically and numerically. The results indicate that the proposed method can be effective in the inverse Ising problem (or Boltzmann machine learning).

categories: stat.CO cond-mat.dis-nn cs.LG physics.data-an stat.ML


title: Expressive Singing Synthesis Using Local Style Token and Dual-path Pitch Encoder

abstract: This paper proposes a controllable singing voice synthesis system capable of generating expressive singing voice with two novel methodologies. First, a local style token module, which predicts frame-level style tokens from an input pitch and text sequence, is proposed to allow the singing voice system to control musical expression often unspecified in sheet music (e.g., breathing and intensity). Second, we propose a dual-path pitch encoder with a choice of two different pitch inputs: MIDI pitch sequence or f0 contour. Because the initial generation of a singing voice is usually executed by taking a MIDI pitch sequence, one can later extract an f0 contour from the generated singing voice and modify the f0 contour to a finer level as desired. Through quantitative and qualitative evaluations, we confirmed that the proposed model could control various musical expressions while not sacrificing the sound quality of the singing voice synthesis system.


title: Cascade of magnetic-field-driven quantum phase transitions in Ce3Pd20Si6

abstract: Magnetically hidden order is a hypernym for electronic ordering phenomena that are visible to macroscopic thermodynamic probes but whose microscopic symmetry cannot be revealed with conventional neutron or x-ray diffraction. In a handful of f-electron systems, the ordering of odd-rank multipoles leads to order parameters with a vanishing neutron cross-section. Among them, Ce$_3$Pd$_{20}$Si$_6$ is known for its unique phase diagram exhibiting two distinct multipolar-ordered ground states (phases II and II'), separated by a field-driven quantum phase transition associated with a putative change in the ordered quadrupolar moment from $O_2^0$ to $O_{xy}$. Using torque magnetometry at subkelvin temperatures, here we find another phase transition at higher fields above 12 T, which appears only for low-symmetry magnetic field directions $\mathbf{B} \parallel \langle11L\rangle$ with $1 < L \leq 2$. While the order parameter of this new phase II'' remains unknown, the discovery renders Ce$_3$Pd$_{20}$Si$_6$ a unique material with two field-driven phase transitions between distinct multipolar phases. They are both clearly manifested in the magnetic-field dependence of the field-induced (111) Bragg intensities measured with neutron scattering for $\mathbf{B} \parallel [112]$. We also find from inelastic neutron scattering that the number of nondegenerate collective excitations induced by the magnetic field correlates with the number of phases in the magnetic phase diagram for the same field direction. Furthermore, the magnetic excitation spectrum suggests that the new phase II'' may have a different propagation vector, revealed by the minimum in the dispersion that may represent the Goldstone mode of this hidden-order phase.


title: Towards Automatic Construction of Filipino WordNet: Word Sense Induction and Synset Induction Using Sentence Embeddings

abstract: Wordnets are indispensable tools for various natural language processing applications. Unfortunately, wordnets get outdated, and producing or updating wordnets can be slow and costly in terms of time and resources. This problem intensifies for low-resource languages. This study proposes a method for word sense induction and synset induction using only two linguistic resources, namely, an unlabeled corpus and a sentence embeddings-based language model. The resulting sense inventory and synonym sets can be used in automatically creating a wordnet. We applied this method on a corpus of Filipino text. The sense inventory and synsets were evaluated by matching them with the sense inventory of the machine translated Princeton WordNet, as well as comparing the synsets to the Filipino WordNet. This study empirically shows that the 30% of the induced word senses are valid and 40% of the induced synsets are valid in which 20% are novel synsets.


title: A note on asymptotically exact a posteriori error estimates for mixed Laplace eigenvalue problems

abstract: We derive optimal and asymptotically exact a posteriori error estimates for the approximation of the Laplace eigenvalue problem. To do so, we combine two results from the literature. First, we use the hypercircle techniques developed for mixed eigenvalue approximations with Raviart-Thomas Finite elements. In addition, we use the post-processings introduced for the eigenvalue and eigenfunction based on mixed approximations with the Brezzi-Douglas-Marini Finite element. To combine these approaches, we define a novel additional local post-processing for the fluxes that appropriately modifies the divergence. Consequently, the new flux can be used to derive upper bounds and still shows good approximation properties. Numerical examples validate the theory and motivate the use of an adaptive mesh refinement.


title: Quasi-periodic oscillations of the X-ray burst from the magnetar SGR J1935+2154 and associated with the fast radio burst FRB 200428

abstract: The origin(s) and mechanism(s) of fast radio bursts (FRBs), which are short radio pulses from cosmological distances, have remained a major puzzle since their discovery. We report a strong Quasi-Periodic Oscillation(QPO) of 40 Hz in the X-ray burst from the magnetar SGR J1935+2154 and associated with FRB 200428, significantly detected with the Hard X-ray Modulation Telescope (Insight-HXMT) and also hinted by the Konus-Wind data. QPOs from magnetar bursts have only been rarely detected; our 3.4 sigma (p-value is 2.9e-4) detection of the QPO reported here reveals the strongest QPO signal observed from magnetars (except in some very rare giant flares), making this X-ray burst unique among magnetar bursts. The two X-ray spikes coinciding with the two FRB pulses are also among the peaks of the QPO. Our results suggest that at least some FRBs are related to strong oscillation processes of neutron stars. We also show that we may overestimate the significance of the QPO signal and underestimate the errors of QPO parameters if QPO exists only in a fraction of the time series of a X-ray burst which we use to calculate the Leahy-normalized periodogram.


title: The General Index of Software Engineering Papers

abstract: We introduce the General Index of Software Engineering Papers, a dataset of fulltext-indexed papers from the most prominent scientific venues in the field of Software Engineering. The dataset includes both complete bibliographic information and indexed ngrams (sequence of contiguous words after removal of stopwords and non-words, for a total of 577 276 382 unique n-grams in this release) with length 1 to 5 for 44 581 papers retrieved from 34 venues over the 1971-2020 period.The dataset serves use cases in the field of meta-research, allowing to introspect the output of software engineering research even when access to papers or scholarly search engines is not possible (e.g., due to contractual reasons). The dataset also contributes to making such analyses reproducible and independently verifiable, as opposed to what happens when they are conducted using 3rd-party and non-open scholarly indexing services.The dataset is available as a portable Postgres database dump and released as open data.


title: Arabic Text-To-Speech (TTS) Data Preparation

abstract: People may be puzzled by the fact that voice over recordings data sets exist in addition to Text-to-Speech (TTS), Synthesis system advancements, albeit this is not the case. The goal of this study is to explain the relevance of TTS as well as the data preparation procedures. TTS relies heavily on recorded data since it can have a substantial influence on the outcomes of TTS modules. Furthermore, whether the domain is specialized or general, appropriate data should be developed to address all predicted language variants and domains. Different recording methodologies, taking into account quality and behavior, may also be advantageous in the development of the module. In light of the lack of Arabic language in present synthesizing systems, numerous variables that impact the flow of recorded utterances are being considered in order to manipulate an Arabic TTS module. In this study, two viewpoints will be discussed: linguistics and the creation of high-quality recordings for TTS. The purpose of this work is to offer light on how ground-truth utterances may influence the evolution of speech systems in terms of naturalness, intelligibility, and understanding. Well provide voice actor specs as well as data specs that will assist both voice actors and voice coaches in the studio as well as the annotators who will be evaluating the audios.


title: Calibration Strategy of the JUNO-TAO Experiment

abstract: The Taishan Antineutrino Observatory (JUNO-TAO, or TAO) is a satellite detector for the Jiangmen Underground Neutrino Observatory (JUNO). Located near the Taishan reactor, TAO independently measures the reactor's antineutrino energy spectrum with unprecedented energy resolution. To achieve this goal, energy response must be well calibrated. Using the Automated Calibration Unit (ACU) and the Cable Loop System (CLS) of TAO, multiple radioactive sources are deployed to various positions in the detector to perform a precise calibration of energy response. The non-linear energy response can be controlled within 0.6% with different energy points of these radioactive sources. It can be further improved by using $^{12}\rm B$ decay signals produced by cosmic muons. Through the energy non-uniformity calibration, residual non-uniformity is less than 0.2%. The energy resolution degradation and energy bias caused by the residual non-uniformity can be controlled within 0.05% and 0.3%, respectively. In addition, the stability of other detector parameters, such as the gain of each silicon photo-multiplier, can be monitored with a special ultraviolet LED calibration system.


title: Deep learning-based approach to reveal tumor mutational burden status from whole slide images across multiple cancer types

abstract: Tumor mutational burden (TMB) is a potential genomic biomarker of immunotherapy. However, TMB detected through whole exome sequencing lacks clinical penetration in low-resource settings. In this study, we proposed a multi-scale deep learning framework to address the detection of TMB status from routinely used whole slide images for a multiple cancer TMB prediction model (MC- TMB). The MC-TMB achieved a mean area under the curve (AUC) of 0.818 (0.804-0.831) in the cross-validation cohort, which showed superior performance to each single-scale model. The improvements of MC-TMB over the single-tumor models were also confirmed by the ablation tests on x10 magnification, and the highly concerned regions typically correspond to dense lymphocytic infiltration and heteromorphic tumor cells. MC-TMB algorithm also exhibited good generalization on the external validation cohort with an AUC of 0.732 (0.683-0.761), and better performance when compared to other methods. In conclusion, we proposed a deep learning-based approach to reveal tumor mutational burden status from routinely used pathological slides across multiple cancer types.


title: Amplitude Factorization in the Electroweak Standard Model

abstract: We lay out the basis of factorization at the amplitude level for processes involving the entire Standard Model. The factorization appears in a generalized eikonal approximation in which we expand around a quasi-soft limit for massive gauge bosons, fermions, and scalars. We use the chirality-flow formalism together with a flow basis for isospin to express loop exchanges or emissions as operators in chirality and isospin flow. This forms the basis for amplitude evolution with parton exchange and branching in the full Standard Model, including the electroweak sector.


title: Quasinormal modes of self-dual black holes in loop quantum gravity

abstract: We study the evolution of a test scalar field on the background geometry of a regular loop quantum black hole (LQBH) characterized by two loop quantum gravity (LQG) correction parameters, namely, the polymeric function and the minimum area gap. The calculations of quasinormal frequencies in asymptotically flat spacetime are performed with the help of higher-order WKB expansion and related Pad\'{e} approximants, the improved asymptotic iteration method (AIM), and time-domain integration. The effects of free parameters of the theory on the quasinormal modes are studied and deviations from those of the Schwarzschild BHs are investigated. We show that the LQG correction parameters have opposite effects on the quasinormal frequencies and the LQBHs are dynamically stable.


title: Some special curves in the unit tangent bundles of surfaces

abstract: The aim of this paper is to give some characterizations for N-Legendre and N-slant curves in the unit tangent bundles of surfaces endowed with natural diagonal lifted structures.


title: Texture-Dependent Frequency Selective Reconstruction of Non-Regularly Sampled Images

abstract: There exist many scenarios where pixel information is available only on a non-regular subset of pixel positions. For further processing, however, it is required to reconstruct such images on a regular grid. Besides many other algorithms, frequency selective reconstruction can be applied for this task. It performs a block-wise generation of a sparse signal model as an iterative superposition of Fourier basis functions and uses this model to replace missing or corrupted pixels in an image. In this paper, it is shown that it is not required to spend the same amount of iterations on both homogeneous and heterogeneous regions. Hence, a new texture-dependent approach for frequency selective reconstruction is introduced that distributes the number of iterations depending on the texture of the regions to be reconstructed. Compared to the original frequency selective reconstruction and depending on the number of iterations, visually noticeable gains in PSNR of up to 1.47 dB can be achieved.


title: Korean Online Hate Speech Dataset for Multilabel Classification: How Can Social Science Improve Dataset on Hate Speech?

abstract: We suggest a multilabel Korean online hate speech dataset that covers seven categories of hate speech: (1) Race and Nationality, (2) Religion, (3) Regionalism, (4) Ageism, (5) Misogyny, (6) Sexual Minorities, and (7) Male. Our 35K dataset consists of 24K online comments with Krippendorff's Alpha label accordance of .713, 2.2K neutral sentences from Wikipedia, 1.7K additionally labeled sentences generated by the Human-in-the-Loop procedure and rule-generated 7.1K neutral sentences. The base model with 24K initial dataset achieved the accuracy of LRAP .892, but improved to .919 after being combined with 11K additional data. Unlike the conventional binary hate and non-hate dichotomy approach, we designed a dataset considering both the cultural and linguistic context to overcome the limitations of western culture-based English texts. Thus, this paper is not only limited to presenting a local hate speech dataset but extends as a manual for building a more generalized hate speech dataset with diverse cultural backgrounds based on social science perspectives.


title: The chirality-dependent second-order spin current in systems with time-reversal symmetry

abstract: Spin currents proportional to the first- and second-order of the electric field are calculated in a specific tight-binding model with time-reversal symmetry. Specifically, a tight-binding model with time-reversal symmetry is constructed with chiral hopping and spin-orbit coupling. The spin conductivity of the model is calculated using the Boltzmann equation. As a result, it is clarified that the first-order spin current of the electric field vanishes, while the second-order spin current can be finite. Furthermore, the spin current changes its sign by reversing the chirality of the model. The present results reveal the existence of spin currents in systems with time-reversal symmetry depending on the chirality of the system. They may provide useful information for understanding the chirality-dependent spin polarization phenomena in systems with time-reversal symmetry.


title: Deficit hawks: robust new physics searches with unknown backgrounds

abstract: Searches for new physics often face unknown backgrounds, causing false detections or weakened upper limits. This paper introduces the deficit hawk technique, which mitigates unknown backgrounds by testing multiple options for data cuts, such as fiducial volumes or energy thresholds. Combining the power of likelihood ratios with the robustness of the interval-searching techniques, deficit hawks could improve mean upper limits on new physics by a factor two for experiments with partial or speculative background knowledge. Deficit hawks are well-suited to analyses that use machine learning or other multidimensional discrimination techniques, and can be extended to permit discoveries in regions without unknown background.


title: The OmegaWhite Survey for Short-Period Variable Stars VII: High amplitude, short period blue variables

abstract: Blue Large Amplitude Pulsators (BLAPs) are a relatively new class of blue variable stars showing periodic variations in their light curves with periods shorter than a few tens of mins and amplitudes of more than ten percent. We report nine blue variable stars identified in the OmegaWhite survey conducted using ESO's VST, which show a periodic modulation in the range 7-37 min and an amplitude in the range 0.11-0.28 mag. We have obtained a series of followup photometric and spectroscopic observations made primarily using SALT and telescopes at SAAO. We find four stars which we identify as BLAPs, one of which was previously known. One star, OW J0820--3301, appears to be a member of the V361 Hya class of pulsating stars and is spatially close to an extended nebula. One further star, OW J1819--2729, has characteristics similar to the sdAV pulsators. In contrast, OW J0815--3421 is a binary star containing an sdB and a white dwarf with an orbital period of 73.7 min, making it only one of six white dwarf-sdB binaries with an orbital period shorter than 80 min. Finally, high cadence photometry of four of the candidate BLAPs show features which we compare with notch-like features seen in the much longer period Cepheid pulsators.


title: Lower Bounds for Restricted Schemes in the Two-Adaptive Bitprobe Model

abstract: In the adaptive bitprobe model answering membership queries in two bitprobes, we consider the class of restricted schemes as introduced by Kesh and Sharma (Discrete Applied Mathematics 2021). In that paper, the authors showed that such restricted schemes storing subsets of size 2 require $\Omega(m^\frac{2}{3})$ space. In this paper, we generalise the result to arbitrary subsets of size $n$, and prove that the space required for such restricted schemes will be $\Omega(\left(\frac{m}{n}\right)^{1 - \frac{1}{\lfloor n / 4 \rfloor + 2}})$.


title: Quantum pure noise-induced transitions: A truly nonclassical limit cycle sensitive to number parity

abstract: It is universally accepted that noise may bring order to complex nonequilibrium systems. Most strikingly, entirely new states not seen in the noiseless system can be induced purely by including multiplicative noise -- an effect known as pure noise-induced transitions. It was first observed in superfluids in the 1980s. Recent results in complex nonequilibrium systems have also shown how new collective states emerge from such pure noise-induced transitions, such as the foraging behavior of insect colonies, and schooling in fish. Here we report such effects of noise in a quantum-mechanical system without a classical limit. We use a minimal model of a nonlinearly damped oscillator in a fluctuating environment that is analytically tractable, and whose microscopic physics can be understood. When multiplicative environmental noise is included, the system is seen to transition to a limit-cycle state. The noise-induced quantum limit cycle also exhibits other genuinely nonclassical traits, such as Wigner negativity and number-parity sensitive circulation in phase space. Such quantum limit cycles are also conservative. These properties are in stark contrast to those of a widely used limit cycle in the literature, which is dissipative and loses all Wigner negativity. Our results establish the existence of a pure noise-induced transition that is nonclassical and unique to open quantum systems. They illustrate a fundamental difference between quantum and classical noise.


title: Dynamic Non-Regular Sampling Sensor Using Frequency Selective Reconstruction

abstract: Both a high spatial and a high temporal resolution of images and videos are desirable in many applications such as entertainment systems, monitoring manufacturing processes, or video surveillance. Due to the limited throughput of pixels per second, however, there is always a trade-off between acquiring sequences with a high spatial resolution at a low temporal resolution or vice versa. In this paper, a modified sensor concept is proposed which is able to acquire both a high spatial and a high temporal resolution. This is achieved by dynamically reading out only a subset of pixels in a non-regular order to obtain a high temporal resolution. A full high spatial resolution is then obtained by performing a subsequent three-dimensional reconstruction of the partially acquired frames. The main benefit of the proposed dynamic readout is that for each frame, different sampling points are available which is advantageous since this information can significantly enhance the reconstruction quality of the proposed reconstruction algorithm. Using the proposed dynamic readout strategy, gains in PSNR of up to 8.55 dB are achieved compared to a static readout strategy. Compared to other state-of-the-art techniques like frame rate up-conversion or super-resolution which are also able to reconstruct sequences with both a high spatial and a high temporal resolution, average gains in PSNR of up to 6.58 dB are possible.


title: Free-Floating Planets, the Einstein Desert, and 'Oumuamua

abstract: We complete the survey for finite-source/point-lens (FSPL) giant-source events in 2016-2019 KMTNet microlensing data. The 30 FSPL events show a clear gap in Einstein radius, $9\,\mu{\rm as}<\theta_{\rm E} <26\,\mu{\rm as}$, which is consistent with the gap in Einstein timescales near $t_{\rm E}\sim 0.5\,$days found by Mroz et al. (2017) in an independent sample of point-source/point-lens (PSPL) events. We demonstrate that the two surveys are consistent. We estimate that the 4 events below this gap are due to a power-law distribution of free-floating planet candidates (FFPs) $dN_{\rm FFP}/d\log M = (0.4\pm 0.2)\,(M/38 M_\oplus)^{-p}$/star, with $0.9\lesssim p \lesssim 1.2$. There are substantially more FFPs than known bound planets, implying that the bound planet power-law index $\gamma=0.6$ is likely shaped by the ejection process at least as much as by formation. The mass density per decade of FFPs in the Solar neighborhood is of the same order as that of 'Oumuamua-like objects. In particular, if we assume that 'Oumuamua is part of the same process that ejected the FFPs to very wide or unbound orbits, the power-law index is $p=0.92\pm 0.06$. If the Solar System's endowment of Neptune-mass objects in Neptune-like orbits is typical, which is consistent with the results of Poleski et al. (2021), then these could account for a substantial fraction of the FFPs in the Neptune-mass range.


title: Multi-scale Context-aware Network with Transformer for Gait Recognition

abstract: Although gait recognition has drawn increasing research attention recently, since the silhouette differences are quite subtle in spatial domain, temporal feature representation is crucial for gait recognition. Inspired by the observation that humans can distinguish gaits of different subjects by adaptively focusing on clips of varying time scales, we propose a multi-scale context-aware network with transformer (MCAT) for gait recognition. MCAT generates temporal features across three scales, and adaptively aggregates them using contextual information from both local and global perspectives. Specifically, MCAT contains an adaptive temporal aggregation (ATA) module that performs local relation modeling followed by global relation modeling to fuse the multi-scale features. Besides, in order to remedy the spatial feature corruption resulting from temporal operations, MCAT incorporates a salient spatial feature learning (SSFL) module to select groups of discriminative spatial features. Extensive experiments conducted on three datasets demonstrate the state-of-the-art performance. Concretely, we achieve rank-1 accuracies of 98.7%, 96.2% and 88.7% under normal walking, bag-carrying and coat-wearing conditions on CASIA-B, 97.5% on OU-MVLP and 50.6% on GREW. The source code will be available at https://github.com/zhuduowang/MCAT.git.


title: Asymptotically Efficient Estimation of Ergodic Rough Fractional Ornstein-Uhlenbeck Process under Continuous Observations

abstract: We consider the problem of asymptotically efficient estimation of drift parameters of the ergodic fractional Ornstein-Uhlenbeck process under continuous observations when the Hurst parameter $H<1/2$ and the mean of its stationary distribution is not equal to zero. In this paper, we derive asymptotically efficient rates and variances of estimators of drift parameters and prove an asymptotic efficiency of a maximum likelihood estimator of drift parameters.


title: mulEEG: A Multi-View Representation Learning on EEG Signals

abstract: Modeling effective representations using multiple views that positively influence each other is challenging, and the existing methods perform poorly on Electroencephalogram (EEG) signals for sleep-staging tasks. In this paper, we propose a novel multi-view self-supervised method (mulEEG) for unsupervised EEG representation learning. Our method attempts to effectively utilize the complementary information available in multiple views to learn better representations. We introduce diverse loss that further encourages complementary information across multiple views. Our method with no access to labels beats the supervised training while outperforming multi-view baseline methods on transfer learning experiments carried out on sleep-staging tasks. We posit that our method was able to learn better representations by using complementary multi-views.


title: Dust SEDs in Milky Way-like galaxies in the IllustrisTNG simulations based on the evolution of grain size distribution

abstract: To understand how the evolution of grain size distribution in galaxies affects observed dust properties, we apply a post-processing dust evolution model to galaxy merger trees from the IllustrisTNG cosmological hydrodynamical simulation. Our dust model includes stellar dust production, sputtering in hot gas, dust growth by accretion and coagulation in the dense interstellar medium (ISM), and shattering in the diffuse ISM. We decompose the grain size distribution into different dust species depending on the elemental abundances and the dense ISM fraction given by the simulation. In our previous work, we focused on Milky Way (MW) analogs and reproduced the observed MW extinction curve. In this study, we compute dust spectral energy distributions (SEDs) for the MW analogues. Our simulated SEDs broadly reproduce the observed MW SED within their dispersion and so does the observational data of nearby galaxies, although they tend to underpredict the MW SED at short wavelengths where emission is dominated by polycyclic aromatic hydrocarbons (PAHs). We find that metallicity and dense gas fraction are the most critical factors for the SED shape, through their influence on coagulation and shattering.The overall success of our models in reproducing the MW SED further justifies the dust evolution processes included in the model and predicts the dispersion in the SEDs caused by the variety in the assembly history. We also show that the most significant increase in the dust SED occurs between redshifts $z\sim 3$ and 2 in the progenitors of the simulated MW-like galaxies.


title: A direct construction of a full family of Whitham solitary waves

abstract: Starting with the periodic waves earlier constructed for the gravity Whitham equation, we parameterise the solution curves through relative wave height, and use a limiting argument to obtain a full family of solitary waves. The resulting branch starts from the zero solution, traverses unique points in the wave speed-wave height space, and reaches a singular highest wave at $\varphi(0) = \frac{\mu}{2}$. The construction is based on uniform estimates improved from earlier work on periodic waves for the same equation, together with limiting arguments and a Galilean transform to exclude vanishing waves and waves levelling off at negative surface depth. In fact, the periodic waves can be proved to converge locally uniformly to a wave with negative tails, which is then transformed to the desired branch of solutions. The paper also contains some proof concerning uniqueness and continuity for signed solutions (improved touching lemma).


title: Three-species drift-diffusion models for memristors

abstract: A system of drift-diffusion equations for the electron, hole, and oxygene vacancy densities in a semiconductor, coupled to the Poisson equation for the electric potential, is analyzed in a bounded domain with mixed Dirichlet-Neumann boundary conditions. This system describes the dynamics of charge carriers in a memristor device. Memristors can be seen as nonlinear resistors with memory, mimicking the conductance response of biological synapses. In the fast-relaxation limit, the system reduces to a drift-diffusion system for the oxygene vacancy density and electric potential, which is often used in neuromorphic applications. The following results are proved: the global existence of weak solutions to the full system in any space dimension; the uniform-in-time boundedness of the solutions to the full system and the fast-relaxation limit in two space dimensions; the global existence and weak-strong uniqueness analysis of the reduced system. Numerical experiments in one space dimension illustrate the behavior of the solutions and reproduce hysteresis effects in the current-voltage characteristics.


title: PALBERT: Teaching ALBERT to Ponder

abstract: Currently, pre-trained models can be considered the default choice for a wide range of NLP tasks. Despite their SoTA results, there is practical evidence that these models may require a different number of computing layers for different input sequences, since evaluating all layers leads to overconfidence in wrong predictions (namely overthinking). This problem can potentially be solved by implementing adaptive computation time approaches, which were first designed to improve inference speed. Recently proposed PonderNet may be a promising solution for performing an early exit by treating the exit layer's index as a latent variable. However, the originally proposed exit criterion, relying on sampling from trained posterior distribution on the probability of exiting from the $i$-th layer, introduces major variance in exit layer indices, significantly reducing the resulting model's performance. In this paper, we propose improving PonderNet with a novel deterministic Q-exit criterion and a revisited model architecture. We adapted the proposed mechanism to ALBERT and RoBERTa and compared it with recent methods for performing an early exit. We observed that the proposed changes can be considered significant improvements on the original PonderNet architecture and outperform PABEE on a wide range of GLUE tasks. In addition, we also performed an in-depth ablation study of the proposed architecture to further understand Lambda layers and their performance.


title: Recursive Frequency Selective Reconstruction of Non-Regularly Sampled Video Data

abstract: High resolution images can be acquired using a non-regular sampling sensor which consists of an underlying low resolution sensor that is covered with a non-regular sampling mask. The reconstructed high resolution image is then obtained during post-processing. Recently, it has been shown that the temporal correlation between neighboring frames can be exploited in order to enhance the reconstruction quality of non-regularly sampled video data. In this paper, a new recursive multi-frame reconstruction approach is proposed in order to further increase the reconstruction quality. By using a new reference order, previously reconstructed frames can be used for the subsequent motion estimation and a new weighting function allows for the incorporation of multiple pixels projected onto the same position. With the new recursive multi-frame approach, a visually noticeable average gain in PSNR of up to 1.13 dB with respect to a state-of-the-art single-frame reconstruction approach can be achieved. Compared to the existing multi-frame approach, a gain of 0.31 dB is possible. SSIM results show the same behavior as PSNR results. Additionally, the pre-reconstruction step of the existing multi-frame approach can be avoided and the new algorithm is, in general, capable of real-time processing.


title: Finiteness properties of some groups of piecewise projective homeomorphisms

abstract: The Lodha-Moore group $G$ first arose as a finitely presented counterexample to von Neumann's conjecture. The group $G$ acts on the unit interval via piecewise projective homemorphisms. A result of Lodha shows that $G$ in fact has type $F_{\infty}$. Here we will describe $G$ as a group that is "locally determined" by an inverse semigroup $S_{2}$, in the sense of the author's joint work with Hughes. The semigroup $S_{2}$ is generated by three linear fractional transformations $A$, $B$, and $C_{2}$, where $A$ and $B$ are elliptical transformations of the hyperbolic plane and $C_{2}$ is a hyperbolic translation. Following a general procedure delineated by Farley and Hughes, we offer a new proof that $G$ has type $F_{\infty}$. Our proof simultaneously shows that various groups acting on the line, the circle, and the Cantor set have type $F_{\infty}$. We also prove analogous results for the groups that are locally determined by an inverse semigroup $S_{3}$, which shares the generators $A$ and $B$ with $S_{2}$, but replaces $C_{2}$ with a different hyperbolic translation $C_{3}$.


title: Free-fall non-universality in quantum theory

abstract: We show by embodying the Einstein equivalence principle - local Poincar\'{e} invariance - and general covariance in quantum theory that wave-function spreading rules out the universality of free fall, i.e. the free-fall trajectory of a quantum (test) particle depends on its internal properties. We provide a quantitative estimate of the free-fall non-universality in terms of the E\"{o}tv\"{o}s parameter, which turns out to be measurable in atom interferometry.


title: Global dynamics of the $2d$ NLS with white noise potential and generic polynomial nonlinearity

abstract: Using an approach introduced by Hairer-Labb\' e we construct a unique global dynamics for the NLS on $\T^2$ with a white noise potential and an arbitrary polynomial nonlinearity. We build the solutions as a limit of classical solutions (up to a phase shift) of the same equation with smoothed potentials. This is an improvement on previous contributions of us and Debussche-Weber dealing with quartic nonlinearities and cubic nonlinearities respectively.


title: Single-shot Embedding Dimension Search in Recommender System

abstract: As a crucial component of most modern deep recommender systems, feature embedding maps high-dimensional sparse user/item features into low-dimensional dense embeddings. However, these embeddings are usually assigned a unified dimension, which suffers from the following issues: (1) high memory usage and computation cost. (2) sub-optimal performance due to inferior dimension assignments. In order to alleviate the above issues, some works focus on automated embedding dimension search by formulating it as hyper-parameter optimization or embedding pruning problems. However, they either require well-designed search space for hyperparameters or need time-consuming optimization procedures. In this paper, we propose a Single-Shot Embedding Dimension Search method, called SSEDS, which can efficiently assign dimensions for each feature field via a single-shot embedding pruning operation while maintaining the recommendation accuracy of the model. Specifically, it introduces a criterion for identifying the importance of each embedding dimension for each feature field. As a result, SSEDS could automatically obtain mixed-dimensional embeddings by explicitly reducing redundant embedding dimensions based on the corresponding dimension importance ranking and the predefined parameter budget. Furthermore, the proposed SSEDS is model-agnostic, meaning that it could be integrated into different base recommendation models. The extensive offline experiments are conducted on two widely used public datasets for CTR prediction tasks, and the results demonstrate that SSEDS can still achieve strong recommendation performance even if it has reduced 90\% parameters. Moreover, SSEDS has also been deployed on the WeChat Subscription platform for practical recommendation services. The 7-day online A/B test results show that SSEDS can significantly improve the performance of the online recommendation model.