title: A displacement-controlled analytical procedure for post-buckling analysis demonstrated by revisiting Euler buckling problem

abstract: In view of the fundamental distinction between the force-controlled model and the displacement-controlled model in buckling problems of structures and the complexity of the asymptotic post-buckling analysis traditionally based on the force-controlled model, alternatively, we provide a straightforward theoretical procedure of the energy method for the buckling and post-buckling analysis completely based on the displacement-controlled model. The Euler buckling behavior is analytically tackled as a static displacement-controlled process as an example of the theoretical procedure, where no force potential energy component but compression and bending strain energy components are considered precisely at the deformed configuration for the total potential energy of the beams. Analytical solutions to the potential energy, structural deformation, internal forces and their critical results are obtained in closed-form for the beams with six typical boundary conditions. We find that these beams have only one unique but universal normalized potential energy surface depending on two dimensionless quantities. The valley bottom pathways on the potential energy surface show that the critical buckling state is not only a bifurcation point but also a valley-ridge inflection point, and the energy increases quadratically before the point and increases linearly with a slope of 2 beyond the point. The axial forces are gradually increasing during post-buckling, but are almost constant, indicating a symmetric neutral bifurcation buckling. Our theoretical expressions generally agree with the counterparts of the force-controlled model but exactly indicate somewhat differences. The present analytical procedure is basically useful to investigate any displacement-controlled buckling problems of beams, plates and shells.


title: Searching for resonance states in $^{22}$Ne($p,\gamma$)$^{23}$Na

abstract: Background: Globular clusters show strong correlations between different elements, such as the well-known sodium-oxygen anticorrelation. One of the main sources of uncertainty in this anticorrelation is the $^{22}$Ne($p,\gamma$)$^{23}$Na reaction rate, due to the possible influence of an unobserved resonance state at $E_\mathrm{x} = 8862$ keV ($E_\mathrm{r, c.m.} = 68$ keV). The influence of two higher-lying resonance states at $E_\mathrm{x} = 8894$ and $9000$ keV has already been ruled out by direct $^{22}$Ne($p,\gamma$)$^{23}$Na measurementsPurpose: To study excited states in $^{23}$Na above the proton threshold to determine if the unconfirmed resonance states in $^{23}$Na exist. Methods: The non-selective proton inelastic scattering reaction at low energies was used to search for excited states in $^{23}$Na above the proton threshold. Protons scattered from various targets were momentum-analysed in the Q3D magnetic spectrograph at the Maier-Leibnitz Laboratorium, Munich, Germany. Results: The resonance states previously reported at $E_\mathrm{x} = 8862$, $8894$ and $9000$ keV in other experiments were not observed in the present experiment at any angle. This result, combined with other non-observations of these resonance states in most other experiments, results in a strong presumption against the existence of these resonance states. Conclusions: The previously reported resonance states at $E_\mathrm{x} = 8862$, $8894$ and $9000$ keV are unlikely to exist and should be omitted from future evaluations of the $^{22}$Ne($p,\gamma$)$^{23}$Na reaction rates. Indirect studies using low-energy proton inelastic scattering are a simple and yet exceptionally powerful tool in helping to constrain astrophysical reaction rates by providing non-selective information of the excited states of nuclei.


title: Exponential Hardness of Reinforcement Learning with Linear Function Approximation

abstract: A fundamental question in reinforcement learning theory is: suppose the optimal value functions are linear in given features, can we learn them efficiently? This problem's counterpart in supervised learning, linear regression, can be solved both statistically and computationally efficiently. Therefore, it was quite surprising when a recent work \cite{kane2022computational} showed a computational-statistical gap for linear reinforcement learning: even though there are polynomial sample-complexity algorithms, unless NP = RP, there are no polynomial time algorithms for this setting. In this work, we build on their result to show a computational lower bound, which is exponential in feature dimension and horizon, for linear reinforcement learning under the Randomized Exponential Time Hypothesis. To prove this we build a round-based game where in each round the learner is searching for an unknown vector in a unit hypercube. The rewards in this game are chosen such that if the learner achieves large reward, then the learner's actions can be used to simulate solving a variant of 3-SAT, where (a) each variable shows up in a bounded number of clauses (b) if an instance has no solutions then it also has no solutions that satisfy more than (1-$\epsilon$)-fraction of clauses. We use standard reductions to show this 3-SAT variant is approximately as hard as 3-SAT. Finally, we also show a lower bound optimized for horizon dependence that almost matches the best known upper bound of $\exp(\sqrt{H})$.


title: An Educational Tool for Exploring the Pumping Lemma Property for Regular Languages

abstract: Pumping lemma has been a very difficult topic for students to understand in a theoretical computer science course due to a lack of tool support. In this paper, we present an active learning tool called MInimum PUmping length (MIPU) educational software to explore the pumping lemma property for regular languages. For a given regular language, MIPU offers three major functionalities: determining the membership of an input string, generating a list of short strings that belong to the language, and automatically calculating the minimal pumping length of the language. The software tool has been developed to provide educational assistance to students to better understand the concepts of pumping lemma and minimum pumping length, and promote active learning through hand-on practice.


title: Cycles of quadratic Latin squares and anti-perfect $1$-factorisations

abstract: A Latin square of order $n$ is an $n \times n$ matrix of $n$ symbols, such that each symbol occurs exactly once in each row and column. For an odd prime power $q$ let $\mathbb{F}_q$ denote the finite field of order $q$. A quadratic Latin square is a Latin square $\mathcal{L}[a, b]$ defined by, $$(\mathcal{L}[a, b])_{i, j} = \begin{cases} i + a(j-i) & \text{if } j-i \text{ is a quadratic residue in } \mathbb{F}_q, \\ i + b(j-i) & \text{otherwise}, \end{cases}$$ for some $\{a, b\} \subseteq \mathbb{F}_q$ such that $ab$ and $(a-1)(b-1)$ are quadratic residues in $\mathbb{F}_q$. Quadratic Latin squares have previously been used to construct perfect $1$-factorisations, mutually orthogonal Latin squares and atomic Latin squares. We first characterise quadratic Latin squares which are devoid of $2 \times 2$ Latin subsquares. Let $G$ be a graph and $\mathcal{F}$ a $1$-factorisation of $G$. If the union of every pair of $1$-factors in $\mathcal{F}$ induces a Hamiltonian cycle in $G$ then $\mathcal{F}$ is called perfect, and if there is no pair of $1$-factors in $\mathcal{F}$ which induce a Hamiltonian cycle in $G$ then $\mathcal{F}$ is called anti-perfect. We use quadratic Latin squares to construct new examples of anti-perfect $1$-factorisations of complete graphs and complete bipartite graphs. We also demonstrate that for each odd prime $p$, there are only finitely many orders $q$, which are powers of $p$, such that quadratic Latin squares of order $q$ could be used to construct perfect $1$-factorisations of complete graphs or complete bipartite graphs.


title: Range and strength of mechanical interactions of force dipoles in elastic fiber networks

abstract: Mechanical forces generated by myosin II molecular motors drive diverse cellular processes, most notably shape change, division and locomotion. These forces may be transmitted over long range through the cytoskeletal medium - a disordered, viscoelastic network of biopolymers. The resulting cell size scale force chains can in principle mediate mechanical interactions between distant actomyosin units, leading to self-organized structural order in the cell cytoskeleton. To investigate this process, we model the actin cytoskeleton on a percolated fiber lattice network, where fibers are modeled as linear elastic elements that can both bend and stretch, whereas myosin motors exert contractile force dipoles. We quantify the range and heterogeneity of force transmission in these networks in response to a force dipole, showing how these depend on varying bond dilution and fiber bending-to-stretching stiffness ratio. By analyzing clusters of nodes connected to highly strained bonds, as well as the decay rate of strain energy with distance from the force dipole, we show that long-range force transmission is screened out by fiber bending in diluted networks. We further characterize the difference in the propagation of tensile and compressive forces. This leads to a dependence of the mechanical interaction between a pair of force dipoles on their mutual separation and orientation. In more homogeneous networks, the interaction between force dipoles recapitulates the power law dependence on separation distance predicted by continuum elasticity theory, while in diluted networks, the interactions are short-ranged and fluctuate strongly with local network configurations. Altogether, our work suggests that elastic interactions between force dipoles in disordered, fibrous media can act as an organizing principle in biological materials.


title: Dependency Dialogue Acts -- Annotation Scheme and Case Study

abstract: In this paper, we introduce Dependency Dialogue Acts (DDA), a novel framework for capturing the structure of speaker-intentions in multi-party dialogues. DDA combines and adapts features from existing dialogue annotation frameworks, and emphasizes the multi-relational response structure of dialogues in addition to the dialogue acts and rhetorical relations. It represents the functional, discourse, and response structure in multi-party multi-threaded conversations. A few key features distinguish DDA from existing dialogue annotation frameworks such as SWBD-DAMSL and the ISO 24617-2 standard. First, DDA prioritizes the relational structure of the dialogue units and the dialog context, annotating both dialog acts and rhetorical relations as response relations to particular utterances. Second, DDA embraces overloading in dialogues, encouraging annotators to specify multiple response relations and dialog acts for each dialog unit. Lastly, DDA places an emphasis on adequately capturing how a speaker is using the full dialog context to plan and organize their speech. With these features, DDA is highly expressive and recall-oriented with regard to conversation dynamics between multiple speakers. In what follows, we present the DDA annotation framework and case studies annotating DDA structures in multi-party, multi-threaded conversations.


title: Individual bias and fluctuations in collective decision making: from algorithms to Hamiltonians

abstract: In this paper, we reconsider the spin model suggested recently to understand some features of collective decision making among higher organisms [A.T. Hartnett et al., Phys. Rev. Lett. 116 (2016) 038701]. Within the model, the state of an agent $i$ is described by the pair of variables corresponding to its opinion $S_i=\pm 1$ and a bias $\omega_i$ towards any of the opposing values of $S_i$. Collective decision making is interpreted as an approach to the equilibrium state within the non-linear voter model subject to a social pressure and a probabilistic algorithm. Here, we push such physical analogy further and give the statistical physics interpretation of the model, describing it in terms of the Hamiltonian of interaction and looking for the equilibrium state via explicit calculation of its partition function. We show that depending on the assumptions about the nature of social interactions two different Hamiltonians can be formulated, which can be solved with different methods. In such an interpretation the temperature serves as a measure of fluctuations, not considered before in the original model. We find exact solutions for the thermodynamics of the model on the complete graph. The general analytical predictions are confirmed using individual-based simulations. The simulations allow us also to study the impact of system size and initial conditions in the collective decision making in finite-sized systems, in particular with respect to convergence to metastable states.


title: A yeast cell cycle pulse generator model shows consistency with multiple oscillatory and checkpoint mutant datasets

abstract: The regulatory mechanisms driving progression of the yeast cell cycle appears to be comprised of an interacting network of transcription factors (TFs), cyclin-dependent kinases (CDK) and ubiquitin ligases. From a systems perspective the controlling regulatory network must produce robust periodic behavior during proliferative phases, but have the capability to halt the cycle when unfavorable conditions trigger a checkpoint arrest. How the individual components of the network contribute to these dynamical phenotypes remains an open question. Here we evaluate the capability of a simplified network model hypothesized to contain key elements of the regulation of cell-cycle progression to reproduce observed transcriptomic behaviors. We match time-series data from both cycling and checkpoint arrested cells to the predictions of a relatively simple cell-cycle network model using an asynchronous multi-level Boolean approach. We show that this single network model, despite its simplicity, is capable of exhibiting dynamical behavior similar to the datasets in most cases, and where it does not, we identified hypotheses that suggest missing components of the network.


title: Generalized Hypergeometric Functions for Degree k Hypersurface in CP^{N-1} and Intersection Numbers of Moduli Space of Quasimaps from CP^{1} with Two Marked Points to CP^{N-1}

abstract: In this paper, we derive the generalized hypergeometric functions used in mirror computation of degree k hypersurface in CP^{N-1} as generating functions of intersection numbers of the moduli space of quasimaps from CP^{1} with two marked points to CP^{N-1}.


title: Agile Modeling: From Concept to Classifier in Minutes

abstract: The application of computer vision to nuanced subjective use cases is growing. While crowdsourcing has served the vision community well for most objective tasks (such as labeling a "zebra"), it now falters on tasks where there is substantial subjectivity in the concept (such as identifying "gourmet tuna"). However, empowering any user to develop a classifier for their concept is technically difficult: users are neither machine learning experts, nor have the patience to label thousands of examples. In reaction, we introduce the problem of Agile Modeling: the process of turning any subjective visual concept into a computer vision model through a real-time user-in-the-loop interactions. We instantiate an Agile Modeling prototype for image classification and show through a user study (N=14) that users can create classifiers with minimal effort under 30 minutes. We compare this user driven process with the traditional crowdsourcing paradigm and find that the crowd's notion often differs from that of the user's, especially as the concepts become more subjective. Finally, we scale our experiments with simulations of users training classifiers for ImageNet21k categories to further demonstrate the efficacy.


title: DeepOHeat: Operator Learning-based Ultra-fast Thermal Simulation in 3D-IC Design

abstract: Thermal issue is a major concern in 3D integrated circuit (IC) design. Thermal optimization of 3D IC often requires massive expensive PDE simulations. Neural network-based thermal prediction models can perform real-time prediction for many unseen new designs. However, existing works either solve 2D temperature fields only or do not generalize well to new designs with unseen design configurations (e.g., heat sources and boundary conditions). In this paper, for the first time, we propose DeepOHeat, a physics-aware operator learning framework to predict the temperature field of a family of heat equations with multiple parametric or non-parametric design configurations. This framework learns a functional map from the function space of multiple key PDE configurations (e.g., boundary conditions, power maps, heat transfer coefficients) to the function space of the corresponding solution (i.e., temperature fields), enabling fast thermal analysis and optimization by changing key design configurations (rather than just some parameters). We test DeepOHeat on some industrial design cases and compare it against Celsius 3D from Cadence Design Systems. Our results show that, for the unseen testing cases, a well-trained DeepOHeat can produce accurate results with $1000\times$ to $300000\times$ speedup.


title: Two-Disk Compound Symmetry Groups

abstract: Symmetry is at the heart of much of mathematics, physics, and art. Traditional geometric symmetry groups are defined in terms of isometries of the ambient space of a shape or pattern. If we slightly generalize this notion to allow the isometries to operate on overlapping but non-identical metric spaces, we obtain what we call compound symmetry groups. A natural example is that of the groups generated by discrete rotations of overlapping disks in the plane. Investigation of these groups reveals a new family of fractals, as well as a rich structure that is intriguing both mathematically and artistically. We report on our initial investigations.


title: Operator Systems Generated by Projections

abstract: We construct a family of operator systems and $k$-AOU spaces generated by a finite number of projections satisfying a set of linear relations. This family is universal in the sense that the map sending the generating projections to any other set of projections which satisfy the same relations is completely positive. These operator systems are constructed as inductive limits of explicitly defined operator systems. By choosing the linear relations to be the nonsignalling relations from quantum correlation theory, we obtain a hierarchy of ordered vector spaces dual to the hierarchy of quantum correlation sets. By considering another set of relations, we also find a new necessary condition for the existence of a SIC-POVM.


title: Robust language-based mental health assessments in time and space through social media

abstract: Compared to physical health, population mental health measurement in the U.S. is very coarse-grained. Currently, in the largest population surveys, such as those carried out by the Centers for Disease Control or Gallup, mental health is only broadly captured through "mentally unhealthy days" or "sadness", and limited to relatively infrequent state or metropolitan estimates. Through the large scale analysis of social media data, robust estimation of population mental health is feasible at much higher resolutions, up to weekly estimates for counties. In the present work, we validate a pipeline that uses a sample of 1.2 billion Tweets from 2 million geo-located users to estimate mental health changes for the two leading mental health conditions, depression and anxiety. We find moderate to large associations between the language-based mental health assessments and survey scores from Gallup for multiple levels of granularity, down to the county-week (fixed effects $\beta = .25$ to $1.58$; $p<.001$). Language-based assessment allows for the cost-effective and scalable monitoring of population mental health at weekly time scales. Such spatially fine-grained time series are well suited to monitor effects of societal events and policies as well as enable quasi-experimental study designs in population health and other disciplines. Beyond mental health in the U.S., this method generalizes to a broad set of psychological outcomes and allows for community measurement in under-resourced settings where no traditional survey measures - but social media data - are available.


title: The Hardness of Optimization Problems on the Weighted Massively Parallel Computation Model

abstract: The topology-aware Massively Parallel Computation (MPC) model is proposed and studied recently, which enhances the classical MPC model by the awareness of network topology. The work of Hu et al. on topology-aware MPC model considers only the tree topology. In this paper a more general case is considered, where the underlying network is a weighted complete graph. We then call this model as Weighted Massively Parallel Computation (WMPC) model, and study the problem of minimizing communication cost under it. Two communication cost minimization problems are defined based on different pattern of communication, which are the Data Redistribution Problem and Data Allocation Problem. We also define four kinds of objective functions for communication cost, which consider the total cost, bottleneck cost, maximum of send and receive cost, and summation of send and receive cost, respectively. Combining the two problems in different communication pattern with the four kinds of objective cost functions, 8 problems are obtained. The hardness results of the 8 problems make up the content of this paper. With rigorous proof, we prove that some of the 8 problems are in P, some FPT, some NP-complete, and some W[1]-complete.


title: WPC: Whole-picture Workload Characterization

abstract: This article raises an important and challenging workload characterization issue: can we uncover each critical component across the stacks contributing what percentages to any specific bottleneck? The typical critical components include languages, programming frameworks, runtime environments, instruction set architectures (ISA), operating systems (OS), and microarchitecture. Tackling this issue could help propose a systematic methodology to guide the software and hardware co-design and critical component optimizations. We propose a whole-picture workload characterization (WPC) methodology to answer the above issue. In essence, WPC is an iterative ORFE loop consisting of four steps: Observation, Reference, Fusion, and Exploration. WPC observes different level data (observation), fuses and normalizes the performance data (fusion) with respect to the well-designed standard reference workloads suite (reference), and explores the software and hardware co-design space (exploration) to investigate the impacts of critical components across the stacks. We build and open-source the WPC tool. Our evaluations confirm WPC can quantitatively reveal the contributions of the language, framework, runtime environment, ISA, OS, and microarchitecture to the primary pipeline efficiency.


title: On the uniqueness of trapezoidal four-body central configurations

abstract: We study central configurations of the Newtonian four-body problem that form a trapezoid. Using a topological argument we prove that there is at most one trapezoidal central configuration for each cyclic ordering of the masses.


title: Quantum metrology algorithms for dark matter searches with clocks

abstract: Quantum algorithms such as dynamical decoupling can be used to improve the sensitivity of a quantum sensor to a signal while suppressing sensitivity to noise. Atomic clocks are among the most sensitive quantum sensors, with recent improvements in clock technology allowing for unprecedented precision and accuracy. These clocks are highly sensitive to variations in fundamental constants, making them ideal probes for local ultralight scalar dark matter. Further improvements to the sensitivity is expected in proposed nuclear clocks based on the thorium 229m isomer. We investigate the use of various quantum metrology algorithms in the search for dark matter using quantum clocks. We propose a new broadband dynamical decoupling algorithm and compare it with quantum metrology protocols that have been previously proposed and demonstrated, namely differential spectroscopy and narrowband dynamical decoupling. We conduct numerical simulations of scalar dark matter searches with realistic noise sources and accounting for dark matter decoherence. Finally, we discuss an alternative thorium nuclear transition excitation method that bypasses the technical challenges associated with vacuum ultraviolet lasers.


title: Astrometric Apparent Motion of High-redshift Radio Sources

abstract: Radio-loud quasars at high redshift (z > 4) are rare objects in the Universe and rarely observed with Very Long Baseline Interferometry (VLBI). But some of them have flux density sufficiently high for monitoring of their apparent position. The instability of the astrometric positions could be linked to the astrophysical process in the jetted active galactic nuclei in the early Universe. Regular observations of the high-redshift quasars are used for estimating their apparent proper motion over several years. We have undertaken regular VLBI observations of several high-redshift quasars at 2.3 GHz (S band) and 8.4 GHz (X band) with a network of five radio telescopes: 40-m Yebes (Spain), 25-m Sheshan (China), and three 32-m telescopes of the Quasar VLBI Network (Russia) -- Svetloe, Zelenchukskaya, and Badary. Additional facilities joined this network occasionally. The sources have also been observed in three sessions with the European VLBI Network (EVN) in 2018--2019 and one Long Baseline Array (LBA) experiment in 2018. In addition, several experiments conducted with the Very Long Baseline Array (VLBA) in 2017--2018were used to improve the time sampling and the statistics. Based on these 37 astrometric VLBI experiments between 2017 and 2021, we estimated the apparent proper motions of four quasars: 0901+697, 1428+422, 1508+572, and 2101+600.


title: Efficient Hardware Primitives for Immediate Memory Reclamation in Optimistic Data Structures

abstract: Safe memory reclamation (SMR) algorithms are crucial for preventing use-after-free errors in optimistic data structures. SMR algorithms typically delay reclamation for safety and reclaim objects in batches for efficiency. It is difficult to strike a balance between performance and space efficiency. Small batch sizes and frequent reclamation attempts lead to high overhead, while freeing large batches can lead to long program interruptions and high memory footprints. An ideal SMR algorithm would forgo batching, and reclaim memory immediately, without suffering high reclamation overheads. To this end, we propose Conditional Access: a set of hardware instructions that offer immediate reclamation and low overhead in optimistic data structures. Conditional Access harnesses cache coherence to enable threads to efficiently detect potential use-after-free errors without explicit shared memory communication, and without introducing additional coherence traffic. We implement and evaluate Conditional Access in Graphite, a multicore simulator. Our experiments show that Conditional Access can rival the performance of highly optimized and carefully tuned SMR algorithms while simultaneously allowing immediate reclamation. This results in concurrent data structures with similar memory footprints to their sequential counterparts.


title: Chaotic Variational Auto encoder-based Adversarial Machine Learning

abstract: Machine Learning (ML) has become the new contrivance in almost every field. This makes them a target of fraudsters by various adversary attacks, thereby hindering the performance of ML models. Evasion and Data-Poison-based attacks are well acclaimed, especially in finance, healthcare, etc. This motivated us to propose a novel computationally less expensive attack mechanism based on the adversarial sample generation by Variational Auto Encoder (VAE). It is well known that Wavelet Neural Network (WNN) is considered computationally efficient in solving image and audio processing, speech recognition, and time-series forecasting. This paper proposed VAE-Deep-Wavelet Neural Network (VAE-Deep-WNN), where Encoder and Decoder employ WNN networks. Further, we proposed chaotic variants of both VAE with Multi-layer perceptron (MLP) and Deep-WNN and named them C-VAE-MLP and C-VAE-Deep-WNN, respectively. Here, we employed a Logistic map to generate random noise in the latent space. In this paper, we performed VAE-based adversary sample generation and applied it to various problems related to finance and cybersecurity domain-related problems such as loan default, credit card fraud, and churn modelling, etc., We performed both Evasion and Data-Poison attacks on Logistic Regression (LR) and Decision Tree (DT) models. The results indicated that VAE-Deep-WNN outperformed the rest in the majority of the datasets and models. However, its chaotic variant C-VAE-Deep-WNN performed almost similarly to VAE-Deep-WNN in the majority of the datasets.


title: The Araucaria project: High-precision orbital parallaxes and masses of binary stars. I. VLTI/GRAVITY observations of ten double-lined spectroscopic binaries

abstract: We aim to measure very precise and accurate model-independent masses and distances of detached binary stars. Precise masses at the $< 1$% level are necessary to test and calibrate stellar interior and evolution models, while precise and independent orbital parallaxes are essential to check for the next Gaia data releases. We combined RV measurements with interferometric observations to determine orbital and physical parameters of ten double-lined spectroscopic systems. We report new relative astrometry from VLTI/GRAVITY and, for some systems, new VLT/UVES spectra to determine the radial velocities of each component. We measured the distance of ten binary systems and the mass of their components with a precision as high as 0.03% (average level 0.2%). They are combined with other stellar parameters (effective temperatures, radii, flux ratios, etc.) to fit stellar isochrones and determine their evolution stage and age. We also compared our orbital parallaxes with Gaia and showed that half of the stars are beyond $1\sigma$ with our orbital parallaxes; although, their RUWE is below the frequently used cutoff of 1.4 for reliable Gaia astrometry. By fitting the telluric features in the GRAVITY spectra, we also estimated the accuracy of the wavelength calibration to be $\sim 0.02$% in high and medium spectral resolution modes. We demonstrate that combining spectroscopic and interferometric observations of binary stars provides extremely precise and accurate dynamical masses and orbital parallaxes. As they are detached binaries, they can be used as benchmark stars to calibrate stellar evolution models and test the Gaia parallaxes.


title: Locale Encoding For Scalable Multilingual Keyword Spotting Models

abstract: A Multilingual Keyword Spotting (KWS) system detects spokenkeywords over multiple locales. Conventional monolingual KWSapproaches do not scale well to multilingual scenarios because ofhigh development/maintenance costs and lack of resource sharing.To overcome this limit, we propose two locale-conditioned universalmodels with locale feature concatenation and feature-wise linearmodulation (FiLM). We compare these models with two baselinemethods: locale-specific monolingual KWS, and a single universalmodel trained over all data. Experiments over 10 localized languagedatasets show that locale-conditioned models substantially improveaccuracy over baseline methods across all locales in different noiseconditions.FiLMperformed the best, improving on average FRRby 61% (relative) compared to monolingual KWS models of similarsizes.


title: On uniqueness of elastic scattering from a cavity

abstract: The paper considers direct and inverse elastic scattering from a cavity in homogeneous medium with Dirichlet and Neumann boundary conditions. For direct scattering, existence and uniqueness are derived by variation approach. For inverse scattering, Fr$\acute{\rm e}$chet derivatives of the solution operators are investigated, which give local stability for Dirichlet case.


title: A Surrogate-Assisted Highly Cooperative Coevolutionary Algorithm for Hyperparameter Optimization in Deep Convolutional Neural Network

abstract: Convolutional neural networks (CNNs) have gained remarkable success in recent years. However, their performance highly relies on the architecture hyperparameters, and finding proper hyperparameters for a deep CNN is a challenging optimization problem owing to its high-dimensional and computationally expensive characteristics. Given these difficulties, this study proposes a surrogate-assisted highly cooperative hyperparameter optimization (SHCHO) algorithm for chain-styled CNNs. To narrow the large search space, SHCHO first decomposes the whole CNN into several overlapping sub-CNNs in accordance with the overlapping hyperparameter interaction structure and then cooperatively optimizes these hyperparameter subsets. Two cooperation mechanisms are designed during this process. One coordinates all the sub-CNNs to reproduce the information flow in the whole CNN and achieve macro cooperation among them, and the other tackles the overlapping components by simultaneously considering the involved two sub-CNNs and facilitates micro cooperation between them. As a result, a proper hyperparameter configuration can be effectively located for the whole CNN. Besides, SHCHO also employs the well-performing surrogate technique to assist in the hyperparameter optimization of each sub-CNN, thereby greatly reducing the expensive computational cost. Extensive experimental results on two widely-used image classification datasets indicate that SHCHO can significantly improve the performance of CNNs.


title: Borel sets without perfectly many overlapping translations IV

abstract: We show that, consistently, there exists a Borel set B subset Cantor admitting a sequence (eta_alpha:alpha<lambda) of distinct elements of Cantor such that (eta_alpha+B) cap (eta_beta+B) is uncountable for all alpha,beta<lambda but with no perfect set P such that |(eta+B) cap (nu+B)|>5 for any distinct eta,nu from P. This answers two questions from our previous works.


title: A Weaker Regularity Condition for the Multidimensional $\nu$-Moment Problem

abstract: We consider the problem of finding a $d$-dimensional spectral density through a moment problem which is characterized by an integer parameter $\nu$. Previous results showed that there exists an approximate solution under the regularity condition $\nu\geq d/2+1$. To realize the process corresponding to such a spectral density, one would take $\nu$ as small as possible. In this letter we show that this condition can be weaken as $\nu\geq d/2$.


title: SUPS: A Simulated Underground Parking Scenario Dataset for Autonomous Driving

abstract: Automatic underground parking has attracted considerable attention as the scope of autonomous driving expands. The auto-vehicle is supposed to obtain the environmental information, track its location, and build a reliable map of the scenario. Mainstream solutions consist of well-trained neural networks and simultaneous localization and mapping (SLAM) methods, which need numerous carefully labeled images and multiple sensor estimations. However, there is a lack of underground parking scenario datasets with multiple sensors and well-labeled images that support both SLAM tasks and perception tasks, such as semantic segmentation and parking slot detection. In this paper, we present SUPS, a simulated dataset for underground automatic parking, which supports multiple tasks with multiple sensors and multiple semantic labels aligned with successive images according to timestamps. We intend to cover the defect of existing datasets with the variability of environments and the diversity and accessibility of sensors in the virtual scene. Specifically, the dataset records frames from four surrounding fisheye cameras, two forward pinhole cameras, a depth camera, and data from LiDAR, inertial measurement unit (IMU), GNSS. Pixel-level semantic labels are provided for objects, especially ground signs such as arrows, parking lines, lanes, and speed bumps. Perception, 3D reconstruction, depth estimation, and SLAM, and other relative tasks are supported by our dataset. We also evaluate the state-of-the-art SLAM algorithms and perception models on our dataset. Finally, we open source our virtual 3D scene built based on Unity Engine and release our dataset at https://github.com/jarvishou829/SUPS.


title: Temporal-Channel Topology Enhanced Network for Skeleton-Based Action Recognition

abstract: Skeleton-based action recognition has become popular in recent years due to its efficiency and robustness. Most current methods adopt graph convolutional network (GCN) for topology modeling, but GCN-based methods are limited in long-distance correlation modeling and generalizability. In contrast, the potential of convolutional neural network (CNN) for topology modeling has not been fully explored. In this paper, we propose a novel CNN architecture, Temporal-Channel Topology Enhanced Network (TCTE-Net), to learn spatial and temporal topologies for skeleton-based action recognition. The TCTE-Net consists of two modules: the Temporal-Channel Focus module, which learns a temporal-channel focus matrix to identify the most critical feature representations, and the Dynamic Channel Topology Attention module, which dynamically learns spatial topological features, and fuses them with an attention mechanism to model long-distance channel-wise topology. We conduct experiments on NTU RGB+D, NTU RGB+D 120, and FineGym datasets. TCTE-Net shows state-of-the-art performance compared to CNN-based methods and achieves superior performance compared to GCN-based methods. The code is available at https://github.com/aikuniverse/TCTE-Net.


title: Comparison and Analysis of Cognitive Load under 2D/3D Visual Stimuli

abstract: With the increasing prevalence of 3D videos, investigating the differences of viewing experiences between 2D and 3D videos has become an important issue. In this study, we explored the cognitive load induced by 2D and 3D video stimuli under various cognitive tasks utilizing electroencephalogram (EEG) data. We also introduced the Cognitive Load Index (CLI), a metric which combines {\theta} and {\alpha} oscillations to evaluate the cognitive differences. Four video stimuli, each associated with typical cognitive tasks were adopted in our experiments. Subjects were exposed to both 2D and 3D video stimuli, and the corresponding EEG data were recorded. Then, we analyzed the power within the 0.5-45 Hz frequency of EEG data, and CLI was utilized to evaluate the brain activity of different subjects. According to our experiments and analysis, videos that involve simple observational tasks (P <0.05) consistently induced a higher cognitive load in subjects when they were viewing 3D videos. However, for videos that involve calculation tasks (P >0.05), the differences in cognitive load induced by 2D and 3D video were not obvious. Thus, we concluded that 3D videos could generally induce a higher cognitive load, but the extent of the differences also depended on the contents of the video stimuli and the viewing purpose.


title: Learning Parameterized Families of Games

abstract: Nearly all simulation-based games have environment parameters that affect incentives in the interaction but are not explicitly incorporated into the game model. To understand the impact of these parameters on strategic incentives, typical game-theoretic analysis involves selecting a small set of representative values, and constructing and analyzing separate game models for each value. We introduce a novel technique to learn a single model representing a family of closely related games that differ in the number of symmetric players or other ordinal environment parameters. Prior work trains a multi-headed neural network to output mixed-strategy deviation payoffs, which can be used to compute symmetric $\varepsilon$-Nash equilibria. We extend this work by making environment parameters into input dimensions of the regressor, enabling a single model to learn patterns which generalize across the parameter space. For continuous and discrete parameters, our results show that these generalized models outperform existing approaches, achieving better accuracy with far less data. This technique makes thorough analysis of the parameter space more tractable, and promotes analyses that capture relationships between parameters and incentives.


title: Abundance ratios of OH/CO and HCO+/CO as probes of the cosmic ray ionization rate in diffuse clouds

abstract: The cosmic-ray ionization rate (CRIR, $\zeta_2$) is one of the key parameters controlling the formation and destruction of various molecules in molecular clouds. However, the current most commonly used CRIR tracers, such as H$_3^+$, OH$^+$, and H$_2$O$^+$, are hard to detect and require the presence of background massive stars for absorption measurements. In this work, we propose an alternative method to infer the CRIR in diffuse clouds using the abundance ratios of OH/CO and HCO$^+$/CO. We have analyzed the response of chemical abundances of CO, OH, and HCO$^+$ on various environmental parameters of the interstellar medium in diffuse clouds and found that their abundances are proportional to $\zeta_2$. Our analytic expressions give an excellent calculation of the abundance of OH for $\zeta_2$ $\leq$10$^{-15}$ s$^{-1}$, which are potentially useful for modelling chemistry in hydrodynamical simulations. The abundances of OH and HCO$^+$ were found to monotonically decrease with increasing density, while the CO abundance shows the opposite trend. With high-sensitivity absorption transitions of both CO (1--0) and (2--1) lines from ALMA, we have derived the H$_2$ number densities ($n_{\rm H_2}$) toward 4 line-of-sights (LOSs); assuming a kinetic temperature of $T_{\rm k}=50\,{\rm K}$, we find a range of (0.14$\pm$0.03--1.2$\pm$0.1)$\times$10$^2$ cm$^{-3}$}. By comparing the observed and modelled HCO$^+$/CO ratios, we find that $\zeta_2$ in our diffuse gas sample is in the { range of $1.0_{-1.0}^{+14.8}$ $\times$10$^{-16}- 2.5_{-2.4}^{+1.4}$ $\times$10$^{-15}$ s$^{-1}$. This is $\sim$2 times higher than the average value measured at higher extinction, supporting an attenuation of CRs as suggested by theoretical models.


title: BrainCLIP: Bridging Brain and Visual-Linguistic Representation Via CLIP for Generic Natural Visual Stimulus Decoding

abstract: Due to the lack of paired samples and the low signal-to-noise ratio of functional MRI (fMRI) signals, reconstructing perceived natural images or decoding their semantic contents from fMRI data are challenging tasks. In this work, we propose, for the first time, a task-agnostic fMRI-based brain decoding model, BrainCLIP, which leverages CLIP's cross-modal generalization ability to bridge the modality gap between brain activity, image, and text. Our experiments demonstrate that CLIP can act as a pivot for generic brain decoding tasks, including zero-shot visual categories decoding, fMRI-image/text matching, and fMRI-to-image generation. Specifically, BrainCLIP aims to train a mapping network that transforms fMRI patterns into a well-aligned CLIP embedding space by combining visual and textual supervision. Our experiments show that this combination can boost the decoding model's performance on certain tasks like fMRI-text matching and fMRI-to-image generation. On the zero-shot visual category decoding task, BrainCLIP achieves significantly better performance than BraVL, a recently proposed multi-modal method specifically designed for this task. BrainCLIP can also reconstruct visual stimuli with high semantic fidelity and establishes a new state-of-the-art for fMRI-based natural image reconstruction in terms of high-level semantic features.


title: A Preliminary Study on Pattern Reconstruction for Optimal Storage of Wearable Sensor Data

abstract: Efficient querying and retrieval of healthcare data is posing a critical challenge today with numerous connected devices continuously generating petabytes of images, text, and internet of things (IoT) sensor data. One approach to efficiently store the healthcare data is to extract the relevant and representative features and store only those features instead of the continuous streaming data. However, it raises a question as to the amount of information content we can retain from the data and if we can reconstruct the pseudo-original data when needed. By facilitating relevant and representative feature extraction, storage and reconstruction of near original pattern, we aim to address some of the challenges faced by the explosion of the streaming data. We present a preliminary study, where we explored multiple autoencoders for concise feature extraction and reconstruction for human activity recognition (HAR) sensor data. Our Multi-Layer Perceptron (MLP) deep autoencoder achieved a storage reduction of 90.18% compared to the three other implemented autoencoders namely convolutional autoencoder, Long-Short Term Memory (LSTM) autoencoder, and convolutional LSTM autoencoder which achieved storage reductions of 11.18%, 49.99%, and 72.35% respectively. Encoded features from the autoencoders have smaller size and dimensions which help to reduce the storage space. For higher dimensions of the representation, storage reduction was low. But retention of relevant information was high, which was validated by classification performed on the reconstructed data.


title: Attention-based Spatial-Temporal Graph Convolutional Recurrent Networks for Traffic Forecasting

abstract: Traffic forecasting is one of the most fundamental problems in transportation science and artificial intelligence. The key challenge is to effectively model complex spatial-temporal dependencies and correlations in modern traffic data. Existing methods, however, cannot accurately model both long-term and short-term temporal correlations simultaneously, limiting their expressive power on complex spatial-temporal patterns. In this paper, we propose a novel spatial-temporal neural network framework: Attention-based Spatial-Temporal Graph Convolutional Recurrent Network (ASTGCRN), which consists of a graph convolutional recurrent module (GCRN) and a global attention module. In particular, GCRN integrates gated recurrent units and adaptive graph convolutional networks for dynamically learning graph structures and capturing spatial dependencies and local temporal relationships. To effectively extract global temporal dependencies, we design a temporal attention layer and implement it as three independent modules based on multi-head self-attention, transformer, and informer respectively. Extensive experiments on five real traffic datasets have demonstrated the excellent predictive performance of all our three models with all their average MAE, RMSE and MAPE across the test datasets lower than the baseline methods.


title: Smooth digital terrain modelling in irregular domain using adaptive finite element thin plate spline smoother

abstract: Digital terrain models of geological information occasionally require smooth data in domains with complex irregular boundaries due to its data distribution. Traditional thin plate splines produce visually pleasing surfaces, but they are too computationally expensive for data of large sizes. Finite element thin plate spline smoother (TPSFEM) is an alternative that uses first-order finite elements to efficiently interpolate and smooth large data sets. Previous studies focused on regular square domains, which are insufficient for real-world applications. This article builds on prior work and investigates the performance of the TPSFEM and adaptive mesh refinement for real-world data sets in irregular domains. The Dirichlet boundaries are approximated using the thin plate spline and data-dependent weights are applied to prevent over-refinement near boundaries. Three geological surveys (aerial, terrestrial and bathymetric) with distinct data distribution patterns were tested in the numerical experiments. We found that irregular domains with adaptive mesh refinement significantly improve the efficiency of the interpolation. While the inconsistency in approximated boundary conditions, we may prevent it using additional constraints like weights. This finding is also applicable to other finite element-based smoothers.


title: 3D tracking of particles in a dusty plasma by laser sheet tomography

abstract: The collective behavior of levitated particles in a weakly-ionized plasma (dusty plasma) has raised significant scientific interest. This is due to the complex array of forces acting on the particles, and their potential to act as in-situ diagnostics of the plasma environment. Ideally, the three-dimensional (3D) motion of many particles should be tracked for long periods of time. Typically, stereoscopic imaging using multiple cameras combined with particle image velocimetry (PIV) is used to obtain a velocity field of many particles, yet this method is limited by its sample volume and short time scales. Here we demonstrate a different, high-speed tomographic imaging method capable of tracking individual particles. We use a scanning laser sheet coupled to a single high-speed camera. We are able to identify and track tens of individual particles over centimeter length scales for several minutes, corresponding to more than 10,000 frames.


title: TS-Cabinet: Hierarchical Storage for Cloud-Edge-End Time-series Database

abstract: Hierarchical data storage is crucial for cloud-edge-end time-series database. Efficient hierarchical storage will directly reduce the storage space of local databases at each side and improve the access hit rate of data. However, no effective hierarchical data management strategy for cloud-edge-end time-series database has been proposed. To solve this problem, this paper proposes TS-Cabinet, a hierarchical storage scheduler for cloud-edge-end time-series database based on workload forecasting. To the best of our knowledge, it is the first work for hierarchical storage of cloud-edge-end time-series database. By building a temperature model, we calculate the current temperature for the timeseries data, and use the workload forecasting model to predict the data's future temperature. Finally, we perform hierarchical storage according to the data migration policy. We validate it on a public dataset, and the experimental results show that our method can achieve about 94% hit rate for data access on the cloud side and edge side, which is 12% better than the existing methods. TS-Cabinet can help cloud-edge-end time-series database avoid the storage overhead caused by storing the full amount of data at all three sides, and greatly reduce the data transfer overhead between each side when collaborative query processing.


title: Fair Attribute Completion on Graph with Missing Attributes

abstract: Tackling unfairness in graph learning models is a challenging task, as the unfairness issues on graphs involve both attributes and topological structures. Existing work on fair graph learning simply assumes that attributes of all nodes are available for model training and then makes fair predictions. In practice, however, the attributes of some nodes might not be accessible due to missing data or privacy concerns, which makes fair graph learning even more challenging. In this paper, we propose FairAC, a fair attribute completion method, to complement missing information and learn fair node embeddings for graphs with missing attributes. FairAC adopts an attention mechanism to deal with the attribute missing problem and meanwhile, it mitigates two types of unfairness, i.e., feature unfairness from attributes and topological unfairness due to attribute completion. FairAC can work on various types of homogeneous graphs and generate fair embeddings for them and thus can be applied to most downstream tasks to improve their fairness performance. To our best knowledge, FairAC is the first method that jointly addresses the graph attribution completion and graph unfairness problems. Experimental results on benchmark datasets show that our method achieves better fairness performance with less sacrifice in accuracy, compared with the state-of-the-art methods of fair graph learning. Code is available at: https://github.com/donglgcn/FairAC.


title: Impact of Thermal Variability on SOC Estimation Algorithms

abstract: While the efficiency of renewable energy components like inverters and PV panels is at an all-time high, there are still research gaps for batteries. Lithium-ion batteries have a lot of potential, but there are still some problems that need fixing, such as thermal management. Because of this, the battery management system accomplishes its goal. In order for a battery management system (BMS) to function properly, it must make accurate estimates of all relevant parameters, including state of health, state of charge, and temperature; however, for the purposes of this article, we will only discuss SOC. The goal of this article is to estimate the SOC of a lithium-ion battery at different temperatures. Comparing the Extended Kalam filter algorithm to coulomb counting at various temperatures concludes this exhaustive investigation. The graphene battery has the highest SOC when operated at the optimal temperature, as determined by extensive analysis and correlation between SOC and temperature is not linear


title: Jointly Optimizing Translations and Speech Timing to Improve Isochrony in Automatic Dubbing

abstract: Automatic dubbing (AD) is the task of translating the original speech in a video into target language speech. The new target language speech should satisfy isochrony; that is, the new speech should be time aligned with the original video, including mouth movements, pauses, hand gestures, etc. In this paper, we propose training a model that directly optimizes both the translation as well as the speech duration of the generated translations. We show that this system generates speech that better matches the timing of the original speech, compared to prior work, while simplifying the system architecture.


title: Frequency Disentangled Learning for Segmentation of Midbrain Structures from Quantitative Susceptibility Mapping Data

abstract: One often lacks sufficient annotated samples for training deep segmentation models. This is in particular the case for less common imaging modalities such as Quantitative Susceptibility Mapping (QSM). It has been shown that deep models tend to fit the target function from low to high frequencies. One may hypothesize that such property can be leveraged for better training of deep learning models. In this paper, we exploit this property to propose a new training method based on frequency-domain disentanglement. It consists of two main steps: i) disentangling the image into high- and low-frequency parts and feature learning; ii) frequency-domain fusion to complete the task. The approach can be used with any backbone segmentation network. We apply the approach to the segmentation of the red and dentate nuclei from QSM data which is particularly relevant for the study of parkinsonian syndromes. We demonstrate that the proposed method provides considerable performance improvements for these tasks. We further applied it to three public datasets from the Medical Segmentation Decathlon (MSD) challenge. For two MSD tasks, it provided smaller but still substantial improvements (up to 7 points of Dice), especially under small training set situations.


title: Geometric properties of partially hyperbolic measures and applications to measure rigidity

abstract: We give a geometric characterization of the quantitative non-integrability, introduced by Katz, of strong stable and unstable bundles of partially hyperbolic measures and sets in dimension 3. This is done via the use of higher order templates for the invariant bundles. Using the recent work of Katz, we derive some consequences, including the measure rigidity of $uu$-states and the existence of physical measures.


title: Measurement of reactor thermal neutron fluence of NTD-Ge by activation High-Purity Ge itself

abstract: In neutron transmutation doped germanium, the thermal neutron fluence of reactor irradiation is as high as 10$^{18}$~n$\cdot$cm$^{-2}$. For radiological safety reasons, general Co or Au neutron flux monitors cannot be easily used. We have experimentally demonstrated the feasibility of measuring the X-rays emitted by the NTD-Ge itself to determine the absolute thermal neutron fluence for the first time. A Micro-Megas Detector (MMD) and a Silicon Drift Detector (SDD) are set up to detect the tagging KX-rays with 9.2 keV and 10.3 keV cascading from the decays of $^{71}$Ge. Combined the detection efficiencies calculated by GEANT4, neutron fluence results given with proper accuracy by MMD and SDD are in a good agreement with each other.


title: RipViz: Finding Rip Currents by Learning Pathline Behavior

abstract: We present a hybrid machine learning and flow analysis feature detection method, RipViz, to extract rip currents from stationary videos. Rip currents are dangerous strong currents that can drag beachgoers out to sea. Most people are either unaware of them or do not know what they look like. In some instances, even trained personnel such as lifeguards have difficulty identifying them. RipViz produces a simple, easy to understand visualization of rip location overlaid on the source video. With RipViz, we first obtain an unsteady 2D vector field from the stationary video using optical flow. Movement at each pixel is analyzed over time. At each seed point, sequences of short pathlines, rather a single long pathline, are traced across the frames of the video to better capture the quasi-periodic flow behavior of wave activity. Because of the motion on the beach, the surf zone, and the surrounding areas, these pathlines may still appear very cluttered and incomprehensible. Furthermore, lay audiences are not familiar with pathlines and may not know how to interpret them. To address this, we treat rip currents as a flow anomaly in an otherwise normal flow. To learn about the normal flow behavior, we train an LSTM autoencoder with pathline sequences from normal ocean, foreground, and background movements. During test time, we use the trained LSTM autoencoder to detect anomalous pathlines (i.e., those in the rip zone). The origination points of such anomalous pathlines, over the course of the video, are then presented as points within the rip zone. RipViz is fully automated and does not require user input. Feedback from domain expert suggests that RipViz has the potential for wider use.


title: Unusual Nonlinear Optical Responses in Layered Ferroelectric Niobium Oxide Dihalides: Origin and Manipulation

abstract: Realization of large and highly tunable second-order nonlinear optical (NLO) responses, e.g., second-harmonic generation (SHG) and bulk photovoltaic effect (BPVE), is critical for developing modern optical and optoelectronic devices. Very recently, the two-dimensional van der Waals ferroelectric NbOX2 (X = Cl, Br or I) are discovered to exhibit unusually large and anisotropic SHG. However, the physical origin and possible tunability of NLO responses in NbOX2 remain to be unclear. In this article, we reveal that the large SHG in NbOCl2 is dominated by the synergy between large transition dipole moment and band-nesting-induced large intensity of electron-hole pairs. Remarkably, the NbOCl2 can exhibit dramatically different strain-dependent BPVE under different polarized light, originating from the interesting light-polarization-dependent orbital transition. Importantly, we successfully achieve a reversible ferroelectric-to-antiferroelectric phase transition via controlling ambient temperature or external pressure, accompanied by the greatly tunable NLO responses. Furthermore, we discover that the evolutions of SHG and BPVE in NbOX2 with variable X obey different rules. Our study provides a deep understanding on the novel NLO physics in NbOX2 and establishes great external-field tunability for device applications.


title: A Perspective on Ferrons

abstract: The duality between electric and magnetic dipoles in electromagnetism only partly applies to condensed matter. In particular, the elementary excitations of the magnetic and ferroelectric orders, namely magnons and ferrons, respectively, have received asymmetric attention from the condensed matter community in the past. In this perspective, we introduce and summarize the current state of the budding field of "ferronics" and speculate about its potential applications in thermal, information, and communication technology.


title: Self-similarity Driven Scale-invariant Learning for Weakly Supervised Person Search

abstract: Weakly supervised person search aims to jointly detect and match persons with only bounding box annotations. Existing approaches typically focus on improving the features by exploring relations of persons. However, scale variation problem is a more severe obstacle and under-studied that a person often owns images with different scales (resolutions). On the one hand, small-scale images contain less information of a person, thus affecting the accuracy of the generated pseudo labels. On the other hand, the similarity of cross-scale images is often smaller than that of images with the same scale for a person, which will increase the difficulty of matching. In this paper, we address this problem by proposing a novel one-step framework, named Self-similarity driven Scale-invariant Learning (SSL). Scale invariance can be explored based on the self-similarity prior that it shows the same statistical properties of an image at different scales. To this end, we introduce a Multi-scale Exemplar Branch to guide the network in concentrating on the foreground and learning scale-invariant features by hard exemplars mining. To enhance the discriminative power of the features in an unsupervised manner, we introduce a dynamic multi-label prediction which progressively seeks true labels for training. It is adaptable to different types of unlabeled data and serves as a compensation for clustering based strategy. Experiments on PRW and CUHK-SYSU databases demonstrate the effectiveness of our method.


title: Complementary to Multiple Labels: A Correlation-Aware Correction Approach

abstract: \textit{Complementary label learning} (CLL) requires annotators to give \emph{irrelevant} labels instead of relevant labels for instances. Currently, CLL has shown its promising performance on multi-class data by estimating a transition matrix. However, current multi-class CLL techniques cannot work well on multi-labeled data since they assume each instance is associated with one label while each multi-labeled instance is relevant to multiple labels. Here, we show theoretically how the estimated transition matrix in multi-class CLL could be distorted in multi-labeled cases as they ignore co-existing relevant labels. Moreover, theoretical findings reveal that calculating a transition matrix from label correlations in \textit{multi-labeled CLL} (ML-CLL) needs multi-labeled data, while this is unavailable for ML-CLL. To solve this issue, we propose a two-step method to estimate the transition matrix from candidate labels. Specifically, we first estimate an initial transition matrix by decomposing the multi-label problem into a series of binary classification problems, then the initial transition matrix is corrected by label correlations to enforce the addition of relationships among labels. We further show that the proposal is classifier-consistent, and additionally introduce an MSE-based regularizer to alleviate the tendency of BCE loss overfitting to noises. Experimental results have demonstrated the effectiveness of the proposed method.


title: The Isotope Effect and Critical Magnetic Fields of Superconducting YH$_{6}$: A Migdal-Eliashberg Theory Approach

abstract: The emergence of near-ambient temperature superconductivity under pressure in the metal hydride systems has motivated a desire to further understand such remarkable properties, specifically critical magnetic fields. YH$_6$ is suggested to be a departure from conventional superconductivity, due to apparent anomalous behavior. Using density functional calculations in conjunction with Migdal-Eliashberg theory we show that in YH$_6$ the critical temperature and the isotope effect under pressure, as well as the high critical fields, are consistent with strong-coupling conventional superconductivity; a property anticipated to extend to other related systems. Furthermore, the strong-coupling corrections occur to the expected BCS values for the Ginzburg-Landau parameter ($\kappa_{1}(T)$), London penetration depth ($\lambda_{L}(T)$), electromagnetic coherence length ($\xi(T)$), and the energy gap ($\Delta_{0}$).


title: Automated Structural-level Alignment of Multi-view TLS and ALS Point Clouds in Forestry

abstract: Access to highly detailed models of heterogeneous forests from the near surface to above the tree canopy at varying scales is of increasing demand as it enables more advanced computational tools for analysis, planning, and ecosystem management. LiDAR sensors available through different scanning platforms including terrestrial, mobile and aerial have become established as one of the primary technologies for forest mapping due to their inherited capability to collect direct, precise and rapid 3D information of a scene. However, their scalability to large forest areas is highly dependent upon use of effective and efficient methods of co-registration of multiple scan sources. Surprisingly, work in forestry in GPS denied areas has mostly resorted to methods of co-registration that use reference based targets (e.g., reflective, marked trees), a process far from scalable in practice. In this work, we propose an effective, targetless and fully automatic method based on an incremental co-registration strategy matching and grouping points according to levels of structural complexity. Empirical evidence shows the method's effectiveness in aligning both TLS-to-TLS and TLS-to-ALS scans under a variety of ecosystem conditions including pre/post fire treatment effects, of interest to forest inventory surveyors.


title: Fully Composable and Adequate Verified Compilation with Direct Refinements between Open Modules (Technical Report)

abstract: Verified compilation of open modules (i.e., modules whose functionality depends on other modules) provides a foundation for end-to-end verification of modular programs ubiquitous in contemporary software. However, despite intensive investigation in this topic for decades, the proposed approaches are still difficult to use in practice as they rely on assumptions about the internal working of compilers which make it difficult for external users to apply the verification results. We propose an approach to verified compositional compilation without such assumptions in the setting of verifying compilation of heterogeneous modules written in first-order languages supporting global memory and pointers. Our approach is based on the memory model of CompCert and a new discovery that a Kripke relation with a notion of memory protection can serve as a uniform and composable semantic interface for the compiler passes. By absorbing the rely-guarantee conditions on memory evolution for all compiler passes into this Kripke Memory Relation and by piggybacking requirements on compiler optimizations onto it, we get compositional correctness theorems for realistic optimizing compilers as refinements that directly relate native semantics of open modules and that are ignorant of intermediate compilation processes. Such direct refinements support all the compositionality and adequacy properties essential for verified compilation of open modules. We have applied this approach to the full compilation chain of CompCert with its Clight source language and demonstrated that our compiler correctness theorem is open to composition and intuitive to use with reduced verification complexity through end-to-end verification of non-trivial heterogeneous modules that may freely invoke each other (e.g., mutually recursively).


title: Generalization Bounds for Set-to-Set Matching with Negative Sampling

abstract: The problem of matching two sets of multiple elements, namely set-to-set matching, has received a great deal of attention in recent years. In particular, it has been reported that good experimental results can be obtained by preparing a neural network as a matching function, especially in complex cases where, for example, each element of the set is an image. However, theoretical analysis of set-to-set matching with such black-box functions is lacking. This paper aims to perform a generalization error analysis in set-to-set matching to reveal the behavior of the model in that task.


title: Early Star Charts of the Dutch East India Company

abstract: As the European maritime powers expanded their reach beyond north Atlantic coastal waters to distant lands as far away as the East Indies, access to a practical means of maritime navigation in the southern hemisphere became imperative. The first few voyages undertaken by the Dutch East India Company and its predecessor explicitly aimed at compiling star charts and constellations that were only visible south of the Equator, as practical navigation aids. The oldest known star atlas of southern constellations was published in 1603 by Frederick de Houtman. Controversies have plagued de Houtman's astronomical credentials from their inception, however, with contemporaries variously attributing the early southern star charts to Pieter Dirkszoon Keyser, de Houtman, or even to their tutor Petrus Plancius. The balance of available evidence suggests that Keyser initially led the astronomical observing campaign, ably assisted by de Houtman. Upon Keyser's untimely death, de Houtman embraced a leading role in compiling astronomical observations for maritime navigation purposes, whereas Plancius most probably led the delineation of the 12 new southern constellations that soon became part and parcel of the nautical consciousness.


title: Complexity of Many-Body Interactions in Transition Metals via Machine-Learned Force Fields from the TM23 Data Set

abstract: This work examines challenges associated with the accuracy of machine-learned force fields (MLFFs) for bulk solid and liquid phases of d-block elements. In exhaustive detail, we contrast the performance of force, energy, and stress predictions across the transition metals for two leading MLFF models: a kernel-based atomic cluster expansion method implemented using sparse Gaussian processes (FLARE), and an equivariant message-passing neural network (NequIP). Early transition metals present higher relative errors and are more difficult to learn relative to late platinum- and coinage-group elements, and this trend persists across model architectures. Trends in complexity of interatomic interactions for different metals are revealed via comparison of the performance of representations with different many-body order and angular resolution. Using arguments based on perturbation theory on the occupied and unoccupied d states near the Fermi level, we determine that the large, sharp d density of states both above and below the Fermi level in early transition metals leads to a more complex, harder-to-learn potential energy surface for these metals. Increasing the fictitious electronic temperature (smearing) modifies the angular sensitivity of forces and makes the early transition metal forces easier to learn. This work illustrates challenges in capturing intricate properties of metallic bonding with current leading MLFFs and provides a reference data set for transition metals, aimed at benchmarking the accuracy and improving the development of emerging machine-learned approximations.

categories: cond-mat.mtrl-sci physics.app-ph physics.chem-ph physics.comp-ph


title: Secure End-to-End Communications with Lightweight Cryptographic Algorithm

abstract: The field of lightweight cryptography has been gaining popularity as traditional cryptographic techniques are challenging to implement in resource-limited environments. This research paper presents an approach to utilizing the ESP32 microcontroller as a hardware platform to implement a lightweight cryptographic algorithm. Our approach employs KATAN32, the smallest block cipher of the KATAN family, with an 80-bit key and 32-bit blocks. The algorithm requires less computational power as it employs an 80 unsigned 64-bit integer key for encrypting and decrypting data. During encryption, a data array is passed into the encryption function with a key, which is then used to fill a buffer with an encrypted array. Similarly, the decryption function utilizes a buffer to fill an array of original data in 32 unsigned 64-bit integers. This study also investigates the optimal implementation of cryptography block ciphers, benchmarking performance against various metrics, including memory requirements (RAM), throughput, power consumption, and security. Our implementation demonstrates that data can be securely transmitted end-to-end with good throughput and low power consumption.


title: Raw Image Reconstruction with Learned Compact Metadata

abstract: While raw images exhibit advantages over sRGB images (e.g., linearity and fine-grained quantization level), they are not widely used by common users due to the large storage requirements. Very recent works propose to compress raw images by designing the sampling masks in the raw image pixel space, leading to suboptimal image representations and redundant metadata. In this paper, we propose a novel framework to learn a compact representation in the latent space serving as the metadata in an end-to-end manner. Furthermore, we propose a novel sRGB-guided context model with improved entropy estimation strategies, which leads to better reconstruction quality, smaller size of metadata, and faster speed. We illustrate how the proposed raw image compression scheme can adaptively allocate more bits to image regions that are important from a global perspective. The experimental results show that the proposed method can achieve superior raw image reconstruction results using a smaller size of the metadata on both uncompressed sRGB images and JPEG images.


title: A priori bounds for elastic scattering by deterministic and random unbounded rough surfaces

abstract: This paper investigates the elastic scattering by unbounded deterministic and random rough surfaces, which both are assumed to be graphs of Lipschitz continuous functions. For the deterministic case, an a priori bound explicitly dependent on frequencies is derived by the variational approach. For the scattering by random rough surfaces with a random source, well-posedness of the corresponding variation problem is proved. Moreover, a similar bound with explicit dependence on frequencies for the random case is also established based upon the deterministic result, Pettis measurability theorem and Bochner's integrability Theorem.


title: Some new restricted maximal operators of Fej\'er means of Walsh-Fourier series in the space $H_{1/2}$

abstract: In this paper we derive the maximal subspace of natural numbers $\left\{n_{k}:k\geq 0\right\}$, such that the restricted maximal operator, defined by $\sup_{k\in \mathbb{N}}\left\vert \sigma_{n_{k}}F \right\vert$ on this subspace of Fej\'er means of Walsh-Fourier series is bounded from the martingale Hardy space $H_{1/2}$ to the Lebesgue space $L_{1/2}$. The sharpness of this result is also proved.


title: Current-Induced Metallization and Valence Transition in Black SmS

abstract: A strongly-correlated insulator, samarium mono-sulfide (SmS), presents not only the pressure-induced insulator-to-metal transition (IMT) with the color change from black to golden-yellow but also current-induced IMT (CIMT) with negative resistance. To clarify the origin of the CIMT of SmS, the electronic structure change has been investigated by optical reflectivity and angle-integrated photoelectron spectra by applying an electric current. At lower temperatures than about 100 K, where the nonlinear $V$-$I$ curve has been observed, the carrier density rapidly increases, accompanied by decreasing relaxation time of carriers with increasing current. Then, the direct gap size increases, and the mean valence changes from Sm$^{2+}$-dominant SmS to the mixed-valent one with increasing current. These results suggest that the CIMT originates from increasing the Sm $4f$-$5d$ hybridization intensity induced by the applied current.


title: Informality, Education-Occupation Mismatch, and Wages: Evidence from India

abstract: This article examines the intertwining relationship between informality and education-occupation mismatch and the consequent impact on wages. In particular, we discuss two issues: first, the relative importance of informality and education-occupation mismatch in determining wages, and second, the relevance of EOM for formal and informal workers. The analysis reveals that although both informality and EOM are significant determinants of wages, the former is more crucial for a developing country like India. Further, we find that EOM is one of the crucial determinants of wages for formal workers, but it is not critical for informal workers. The study highlights the need for considering the bifurcation of formal-informal workers to understand the complete dynamics of EOM, especially for developing countries where informality is predominant.


title: Inaccurate Label Distribution Learning

abstract: Label distribution learning (LDL) trains a model to predict the relevance of a set of labels (called label distribution (LD)) to an instance. The previous LDL methods all assumed the LDs of the training instances are accurate. However, annotating highly accurate LDs for training instances is time-consuming and very expensive, and in reality the collected LD is usually inaccurate and disturbed by annotating errors. For the first time, this paper investigates the problem of inaccurate LDL, i.e., developing an LDL model with noisy LDs. We assume that the noisy LD matrix is a linear combination of an ideal LD matrix and a sparse noise matrix. Consequently, the problem of inaccurate LDL becomes an inverse problem, where the objective is to recover the ideal LD and noise matrices from the noisy LDs. We hypothesize that the ideal LD matrix is low-rank due to the correlation of labels and utilize the local geometric structure of instances captured by a graph to assist in recovering the ideal LD. This is based on the premise that similar instances are likely to share the same LD. The proposed model is finally formulated as a graph-regularized low-rank and sparse decomposition problem and numerically solved by the alternating direction method of multipliers. Furthermore, a specialized objective function is utilized to induce a LD predictive model in LDL, taking into account the recovered label distributions. Extensive experiments conducted on multiple datasets from various real-world tasks effectively demonstrate the efficacy of the proposed approach. \end{abstract}


title: Better Generative Replay for Continual Federated Learning

abstract: Federated learning is a technique that enables a centralized server to learn from distributed clients via communications without accessing the client local data. However, existing federated learning works mainly focus on a single task scenario with static data. In this paper, we introduce the problem of continual federated learning, where clients incrementally learn new tasks and history data cannot be stored due to certain reasons, such as limited storage and data retention policy. Generative replay based methods are effective for continual learning without storing history data, but adapting them for this setting is challenging. By analyzing the behaviors of clients during training, we find that the unstable training process caused by distributed training on non-IID data leads to a notable performance degradation. To address this problem, we propose our FedCIL model with two simple but effective solutions: model consolidation and consistency enforcement. Our experimental results on multiple benchmark datasets demonstrate that our method significantly outperforms baselines.


title: Introducing Depth into Transformer-based 3D Object Detection

abstract: In this paper, we present DAT, a Depth-Aware Transformer framework designed for camera-based 3D detection. Our model is based on observing two major issues in existing methods: large depth translation errors and duplicate predictions along depth axes. To mitigate these issues, we propose two key solutions within DAT. To address the first issue, we introduce a Depth-Aware Spatial Cross-Attention (DA-SCA) module that incorporates depth information into spatial cross-attention when lifting image features to 3D space. To address the second issue, we introduce an auxiliary learning task called Depth-aware Negative Suppression loss. First, based on their reference points, we organize features as a Bird's-Eye-View (BEV) feature map. Then, we sample positive and negative features along each object ray that connects an object and a camera and train the model to distinguish between them. The proposed DA-SCA and DNS methods effectively alleviate these two problems. We show that DAT is a versatile method that enhances the performance of all three popular models, BEVFormer, DETR3D, and PETR. Our evaluation on BEVFormer demonstrates that DAT achieves a significant improvement of +2.8 NDS on nuScenes val under the same settings. Moreover, when using pre-trained VoVNet-99 as the backbone, DAT achieves strong results of 60.0 NDS and 51.5 mAP on nuScenes test. Our code will be soon.


title: Interlayer donor-acceptor pair excitons in MoSe2/WSe2 moir\'e heterobilayer

abstract: Localized interlayer excitons (LIXs) in two-dimensional moir\'e superlattices exhibit sharp and dense emission peaks, making them promising as highly tunable single-photon sources. However, the fundamental nature of these LIXs is still elusive. Here, we show the donor-acceptor pair (DAP) mechanism as one of the origins of these excitonic peaks. Numerical simulation results of the DAP model agree with the experimental photoluminescence spectra of LIX in the moir\'e MoSe2/WSe2 heterobilayer. In particular, we find that the emission energy-lifetime correlation and the nonmonotonic power dependence of the lifetime agree well with the DAP IX model. Our results provide insight into the physical mechanism of LIX formation in moir\'e heterostructures and pave new directions for engineering interlayer exciton properties in moir\'e superlattices.


title: TBFormer: Two-Branch Transformer for Image Forgery Localization

abstract: Image forgery localization aims to identify forged regions by capturing subtle traces from high-quality discriminative features. In this paper, we propose a Transformer-style network with two feature extraction branches for image forgery localization, and it is named as Two-Branch Transformer (TBFormer). Firstly, two feature extraction branches are elaborately designed, taking advantage of the discriminative stacked Transformer layers, for both RGB and noise domain features. Secondly, an Attention-aware Hierarchical-feature Fusion Module (AHFM) is proposed to effectively fuse hierarchical features from two different domains. Although the two feature extraction branches have the same architecture, their features have significant differences since they are extracted from different domains. We adopt position attention to embed them into a unified feature domain for hierarchical feature investigation. Finally, a Transformer decoder is constructed for feature reconstruction to generate the predicted mask. Extensive experiments on publicly available datasets demonstrate the effectiveness of the proposed model.


title: Accurate Gaussian-Process-based Distance Fields with applications to Echolocation and Mapping

abstract: This paper introduces a novel method to estimate distance fields from noisy point clouds using Gaussian Process (GP) regression. Distance fields, or distance functions, gained popularity for applications like point cloud registration, odometry, SLAM, path planning, shape reconstruction, etc. A distance field provides a continuous representation of the scene defined as the shortest distance from any query point and the closest surface. The key concept of the proposed method is the transformation of a GP-inferred latent scalar field into an accurate distance field by using a reverting function related to the kernel inverse. The latent field can be interpreted as a smooth occupancy map. This paper provides the theoretical derivation of the proposed method as well as a novel uncertainty proxy for the distance estimates. The improved performance compared with existing distance fields is demonstrated with simulated experiments. The level of accuracy of the proposed approach enables novel applications that rely on precise distance estimation: this work presents echolocation and mapping frameworks for ultrasonic-guided wave sensing in metallic structures. These methods leverage the proposed distance field with a physics-based measurement model accounting for the propagation of the ultrasonic waves in the material. Real-world experiments are conducted to demonstrate the soundness of these frameworks.


title: All-polarization-maintaining linear cavity fiber lasers mode-locked by nonlinear polarization evolution in stretched pulse regime

abstract: Nonlinear polarization evolution (NPE) is among the most advanced techniques for obtaining ultrashort pulses with excellent optical performance. However, it is challenging to design environmentally stable NPE fiber oscillators using only polarization-maintaining (PM) fibers. Here, we use the same PM fiber and non-reciprocal phase shifter to design two different devices, which are capable of acting as effective NPE saturable absorbers (SAs) in two all-PM linear cavity fiber lasers. These two laser setups differ in the position of the non-reciprocal phase shifter, the presence of which is crucial for the proposed fiber lasers to reduce their mode-locking thresholds and achieve high repetition rates above 100 MHz. The mode-locking principle and pulse evolution in the laser cavity are investigated theoretically. The first all-PM fiber oscillator emits sub-200 fs stretched pulses with low peak powers. The second oscillator, with a simpler architecture, directly delivers stretched pulses with high peak powers, the spectral bandwidth greater than 30 nm, and the pulse duration less than 90 fs. To the best of our knowledge, 79 fs achieved in this design is the shortest pulse duration provided by PM fiber lasers using NPE mode-lockers.


title: AugGPT: Leveraging ChatGPT for Text Data Augmentation

abstract: Text data augmentation is an effective strategy for overcoming the challenge of limited sample sizes in many natural language processing (NLP) tasks. This challenge is especially prominent in the few-shot learning scenario, where the data in the target domain is generally much scarcer and of lowered quality. A natural and widely-used strategy to mitigate such challenges is to perform data augmentation to better capture the data invariance and increase the sample size. However, current text data augmentation methods either can't ensure the correct labeling of the generated data (lacking faithfulness) or can't ensure sufficient diversity in the generated data (lacking compactness), or both. Inspired by the recent success of large language models, especially the development of ChatGPT, which demonstrated improved language comprehension abilities, in this work, we propose a text data augmentation approach based on ChatGPT (named AugGPT). AugGPT rephrases each sentence in the training samples into multiple conceptually similar but semantically different samples. The augmented samples can then be used in downstream model training. Experiment results on few-shot learning text classification tasks show the superior performance of the proposed AugGPT approach over state-of-the-art text data augmentation methods in terms of testing accuracy and distribution of the augmented samples.


title: Leaking from the phase space of the Riemann-Liouville fractional standard map

abstract: In this work we characterize the escape of orbits from the phase space of the Riemann-Liouville (RL) fractional standard map (fSM). The RL-fSM, given in action-angle variables, is derived from the equation of motion of the kicked rotor when the second order derivative is substituted by a RL derivative of fractional order $\alpha$. Thus, the RL-fSM is parameterized by $K$ and $\alpha\in(1,2]$ which control the strength of nonlinearity and the fractional order of the RL derivative, respectively. Indeed, for $\alpha=2$ and given initial conditions, the RL-fSM reproduces Chirikov's standard map. By computing the survival probability $P_{\text{S}}(n)$ and the frequency of escape $P_{\text{E}}(n)$, for a hole of hight $h$ placed in the action axis, we observe two scenarios: When the phase space is ergodic, both scattering functions are scale invariant with the typical escape time $n_{\text{typ}}=\exp\langle \ln n \rangle \propto (h/K)^2$. In contrast, when the phase space is not ergodic, the scattering functions show a clear non-universal and parameter-dependent behavior.


title: A semi-ordinary $p$-stabilization of Siegel Eisenstein series for symplectic groups and its $p$-adic interpolation (updated on 2023/02/23)

abstract: For any rational prime $p$, we define a certain $p$-stabilization of holomorphic Siegel Eisenstein series for the symplectic group $\text{Sp}(2n)_{/\mathbb{Q}}$ of an arbitrary genus $n \ge 1$. In addition, we derive an explicit formula for the Fourier coefficients and conclude their $p$-adic interpolation problems. Consequently, for any odd prime $p$, we deduce the existence of a $\Lambda$-adic form (in the sense of A. Wiles, H. Hida and R.L. Taylor) such that after taking a suitable constant multiple, it interpolates $p$-adic analytic families of the above-mentioned $p$-stabilized Siegel Eisenstein series with nebentypus characters locally trivial at $p$ and Siegel Eisenstein series with nebentypus characters locally non-trivial at $p$ simultaneously. This can be viewed as a quite natural generalization of the ordinary $\Lambda$-adic Eisenstein series for $\text{GL}(2)_{/\mathbb{Q}}$.


title: Metafiber transforming arbitrarily structured light

abstract: Structured light has proven useful for numerous photonic applications. However, the current use of structured light in optical fiber science and technology is severely limited by mode mixing or by the lack of optical elements that can be integrated onto fiber end-faces for complex wavefront control, and hence generation of structured light is still handled outside the fiber via bulky optics in free space. We report a metafiber platform capable of creating arbitrarily structured light on the hybrid-order Poincar\'e sphere. Polymeric metasurfaces, with unleashed height degree of freedom and a greatly expanded 3D meta-atom library, were laser nanoprinted and interfaced with polarization-maintaining single-mode fibers. Multiple metasurfaces were interfaced on the fiber end-faces, transforming the fiber output into different structured-light fields, including cylindrical vector beams, circularly polarized vortex beams, and an arbitrary vector field. Our work provides a new paradigm for advancing optical fiber science and technology towards fiber-integrated light shaping, which may find important applications in fiber communications, fiber lasers and sensors, endoscopic imaging, fiber lithography, and lab-on-fiber technology.


title: Myocardial Infarction Detection from ECG: A Gramian Angular Field-based 2D-CNN Approach

abstract: This paper presents a novel method for myocardial infarction (MI) detection using lead II of electrocardiogram (ECG). Under our proposed method, we first clean the noisy ECG signals using db4 wavelet, followed by an R-peak detection algorithm to segment the ECG signals into beats. We then translate the ECG timeseries dataset to an equivalent dataset of gray-scale images using Gramian Angular Summation Field (GASF) and Gramian Angular Difference Field (GADF) operations. Subsequently, the gray-scale images are fed into a custom two-dimensional convolutional neural network (2D-CNN) which efficiently differentiates the ECG beats of the healthy subjects from the ECG beats of the subjects with MI. We train and test the performance of our proposed method on a public dataset, namely, Physikalisch Technische Bundesanstalt (PTB) ECG dataset from Physionet. Our proposed approach achieves an average classification accuracy of 99.68\%, 99.80\%, 99.82\%, and 99.84\% under GASF dataset with noise and baseline wander, GADF dataset with noise and baseline wander, GASF dataset with noise and baseline wander removed, and GADF dataset with noise and baseline wander removed, respectively. Our proposed method is able to cope with additive noise and baseline wander, and does not require handcrafted features by a domain expert. Most importantly, this work opens the floor for innovation in wearable devices (e.g., smart watches, wrist bands etc.) to do accurate, real-time and early MI detection using a single-lead (lead II) ECG.


title: Corrections to Friedmann equations inspired by Kaniadakis entropy

abstract: Adopting the thermodynamics-gravity conjecture, and assuming the entropy associated with the apparent horizon of the Friedmann-Robertson-Walker (FRW) universe has the form of the generalized Kaniadakis entropy, we extract the modified Friedmann equations describing the evolution of the universe using the first law of thermodynamics on the apparent horizon. We then investigate the validity of the generalized second law of thermodynamics for the universe enclosed by the apparent horizon.


title: Choice Fusion as Knowledge for Zero-Shot Dialogue State Tracking

abstract: With the demanding need for deploying dialogue systems in new domains with less cost, zero-shot dialogue state tracking (DST), which tracks user's requirements in task-oriented dialogues without training on desired domains, draws attention increasingly. Although prior works have leveraged question-answering (QA) data to reduce the need for in-domain training in DST, they fail to explicitly model knowledge transfer and fusion for tracking dialogue states. To address this issue, we propose CoFunDST, which is trained on domain-agnostic QA datasets and directly uses candidate choices of slot-values as knowledge for zero-shot dialogue-state generation, based on a T5 pre-trained language model. Specifically, CoFunDST selects highly-relevant choices to the reference context and fuses them to initialize the decoder to constrain the model outputs. Our experimental results show that our proposed model achieves outperformed joint goal accuracy compared to existing zero-shot DST approaches in most domains on the MultiWOZ 2.1. Extensive analyses demonstrate the effectiveness of our proposed approach for improving zero-shot DST learning from QA.


title: Self-Assembling DNA Complexes with a Wheel Graph Structure

abstract: The Watson-Crick complementary properties of DNA make DNA a useful tool for the self-assembly of various target complexes. Concepts from graph theory can be used to model the self-assembling process in which the vertices of the graph represent $k$-armed branched junction molecules, called tiles. We seek to determine the minimum number of tile and cohesive-end types necessary to create the desired self-assembled complex. Although results are known for a few infinite classes of graphs, many classes of graphs remain unsolved. We present results for the wheel graph within the restrictions of three different settings.


title: Performance Analysis of Quantum Error-Correcting Surface Codes over Asymmetric Channels

abstract: One of the main challenge for an efficient implementation of quantum information technologies is how to counteract quantum noise. Quantum error correcting codes are therefore of primary interest for the evolution towards quantum computing and quantum Internet. We here analyze the performance of surface codes, one of the most important class for practical implementations, on both symmetric and asymmetric quantum channels. We derive approximate expressions, confirmed by simulations, to evaluate the performance of surface codes and of XZZX codes, and provide a metric to assess the advantage of codes with respect to uncoded systems. Our findings allow to characterize the performance by means of analytical formulas of surface codes, like, for example, the [[13, 1, 3]], the [[23, 1, 3/5]], the [[33, 1, 3/7]], and the [[41, 1, 5]] surface codes.


title: Motivic Serre group and Sato--Tate conjecture

abstract: This paper concerns the Algebraic Sato--Tate and Sato--Tate conjectures, based on Serre's original motivic formulation, with an eye towards explicit computations of Sato--Tate groups. We build on the algebraic framework for the Sato--Tate conjecture introduced in a previous paper, which used Deligne's motivic category for absolute Hodge cycles and was restricted to motives of odd weight. Here, we allow general weight and some other motivic categories, notably Andr\'e's motivic category of motivated cycles; moreover, some results are also new in the odd weight case. The paper consists of two parts; in the first part we work in the framework of strongly compatible families of $l$-adic representations associated with pure, rational, polarized Hodge structures, while in the second part we use the language of motives.