title: Infinite $\{3,7\}$-surface in $\mathbb{H}^3$

abstract: Objects with large symmetry groups have been an interest for many mathematicians. A classical question in geometry is whether a surface with certain geometric features, such as completeness, curvature, etc..., can embed in $\mathbb{R}^3.$ In a recent paper, Lee constructs an infinite $\{3,7\}$-surface in $\mathbb{R}^3$ by gluing together prisms and antiprisms, in an attempt to find a periodic surface in $\mathbb{R}^3$ that is cover of Klein's quartic. While Lee's construction shows that such construction self-intersects in $\mathbb{R}^3$, it does not prove nor disprove the possibility of an embedding. In this paper, we explore a possible embedding of the genus three Klein's quartic, or its cover, in hyperbolic space.


title: Environmental cluster effects and galaxy evolution: The HI properties of the Abell clusters A85/A496/A2670

abstract: We study the impact of local environment on the transformation of spiral galaxies in three nearby ($z < 0.08$) Abell clusters: A85/A496/A2670. These systems were observed in HI with the Very Large Array, covering a volume extending beyond the virial radius and detecting 10, 58, 38 galaxies, respectively. High fractions (0.40--0.86) of bright spirals [log$(M_{*}/M_{\odot})=9-10$] are not detected in HI. We provide further evidence of environmental effects consisting in significant fractions (0.10--0.33) of abnormal objects and a number of red (passive) spirals, suggesting an ongoing process of quenching. Ram-pressure profiles, and the sample of the brightest spirals used as test particles for environmental effects, indicate that ram-pressure plays an important role in stripping and transforming late-types. Phase-space diagrams and our search for substructures helped to trace the dynamical stage of the three systems. This was used to compare the global cluster effects $vs.$ pre-processing, finding that the former is the dominating mechanism in the studied clusters. By contrasting the global distribution of HI normal $vs.$ HI disturbed spirals in the combined three clusters, we confirm the expected correlation of disturbed objects located, on average, at shorter projected radii. However, individual clusters do not necessarily follow this trend and we show that A496 and A2670 present an atypical behavior. In general we provide conclusive evidence about the dependence of the transformation of infalling spirals on the ensemble of cluster properties like mass, ICM density, dynamical stage and surrounding large-scale structure.


title: Binaries with possible compact components discovered from the LAMOST Time-Domain Survey of four $K$2 plates

abstract: Time-domain (TD) spectroscopic data from the Large Sky Area Multi-Object Fiber Spectroscopic Telescope (LAMOST) can provide accurate and high-cadence radial velocities (RVs). In this work, we search for binaries with compact components with RV monitoring method by using the LAMOST TD survey of four $K$2 plates. Three binary systems including an unseen white dwarf or neutron star are found. For each binary system, we estimate the stellar parameters of the visible star and orbital parameters, and finally calculate the binary mass function and the minimum mass of the unseen star. No obvious double-lined feature is seen from the LAMOST medium-resolution spectra of the three sources. In addition, we found no X-ray counterpart for all these sources but UV companions for two of them. Spectral disentangling also shows no additional component with optical absorption spectra, supporting that these systems contain compact objects.


title: Holographic cold dense matter constrained by neutron stars

abstract: The equation of state (EoS) for cold dense matter inside neutron stars is investigated by using holographic QCD models in the framework of the Einstein-Maxwell-dilaton (EMD) system and the improved Karch-Katz-Son-Stephanov (KKSS) action for matter part. This method of describing holographic nuclear matter in the EMD$+$KKSS framework is different from that by using the Dirac-Born-Infeld (DBI) action and the Chern-Simons (CS) terms. Combining with the Hebeler-Lattimer-Pethick-Schwenk (HLPS) intermediate equation of state (EoS), the hybrid EoS inside the neutron stars is constructed. The obtained hybrid EoS is located in the range that is defined by the low-density chiral effective theory, the high-density perturbative QCD, and the polytropic interpolations between them, and is constrained by the astrophysics observations. The square of the sound velocity reaches a maximum value larger than $0.8$ in the region of $2-5$ times the saturation baryon number density and approaches the conformal limit at the high baryon density range. The mass-radius relation and the tidal deformability of the neutron stars are in agreement with astrophysical measurements. The possible maximum mass for the neutron star is about $2.5 M_{\odot}$ and the radius is about $12 \mathrm{km}$ then. It is noticed that the holographic quark matter branch in the mass-radius relation is always unstable and the holographic nuclear matter can produce a stable branch. These results indicate that even in the core of the NS, the matter is still in the confinement phase and the quark matter is not favored.


title: Universal symplectic/orthogonal functions and general branching rules

abstract: In this paper, we introduce a family of universal symplectic functions $sp_\lambda(\mathbf{x}^{\pm};\mathbf{z})$ that include symplectic Schur functions $sp_\lambda(\mathbf{x}^{\pm})$, odd symplectic characters $sp_\lambda(\mathbf{x}^{\pm};z)$, universal symplectic characters $sp_\lambda(\mathbf{z})$ and intermediate symplectic characters as special examples. We also construct the skew versions of the universal symplectic functions by their vertex operator realization and derive Cauchy-type identities for $sp_\lambda(\mathbf{x}^{\pm};\mathbf{z})$ (and special cases) and show that they obey the general branching rules. In particular, we get Gelfand-Tsetlin representations of odd symplectic characters and two transition formulas between odd symplectic characters and symplectic Schur functions. Likewise we also introduce a new family of universal orthogonal functions $o_\lambda(\mathbf{x}^{\pm};\mathbf{z})$ and their skew versions. We have provided their vertex operator realizations and obtain Cauchy-type identities, transition formulas, and the branching rule. The universal orthogonal functions $o_\lambda(\mathbf{x}^{\pm};\mathbf{z})$ generalize orthogonal Schur functions $o_\lambda(\mathbf{x}^{\pm})$, odd orthogonal Schur functions $so_\lambda(\mathbf{x}^{\pm})$, universal orthogonal characters $o_\lambda(\mathbf{z})$ as well as intermediate orthogonal characters.


title: Non-IID Quantum Federated Learning with One-shot Communication Complexity

abstract: Federated learning refers to the task of machine learning based on decentralized data from multiple clients with secured data privacy. Recent studies show that quantum algorithms can be exploited to boost its performance. However, when the clients' data are not independent and identically distributed (IID), the performance of conventional federated algorithms is known to deteriorate. In this work, we explore the non-IID issue in quantum federated learning with both theoretical and numerical analysis. We further prove that a global quantum channel can be exactly decomposed into local channels trained by each client with the help of local density estimators. This observation leads to a general framework for quantum federated learning on non-IID data with one-shot communication complexity. Numerical simulations show that the proposed algorithm outperforms the conventional ones significantly under non-IID settings.


title: Global Schauder estimates for kinetic Kolmogorov-Fokker-Planck equations

abstract: We present global Schauder type estimates in all variables and unique solvability results in kinetic H\"older spaces for kinetic Kolmogorov-Fokker-Planck (KFP) equations. The leading coefficients are H\"older continuous in the $x, v$ variables and are merely measurable in the temporal variable. Our proof is inspired by Campanato's approach to Schauder estimates and does not rely on the estimates of the fundamental solution of the KFP operator.


title: Light propagation in (2+1)-dimensional electrodynamics: the case of linear constitutive laws

abstract: In this paper, we turn our attention to light propagation in three-dimensional electrodynamics. More specifically, we investigate the behavior of light rays in a continuous bi-dimensional hypothetical medium living in a three-dimensional ambient spacetime. Relying on a fully covariant approach, we assume that the medium is endowed with a local and linear response tensor which maps field strengths into excitations. In the geometric optics limit, we then obtain the corresponding Fresnel equation and, using well-known results from algebraic geometry, we derive the effective optical metric.


title: Optimizing the Performative Risk under Weak Convexity Assumptions

abstract: In performative prediction, a predictive model impacts the distribution that generates future data, a phenomenon that is being ignored in classical supervised learning. In this closed-loop setting, the natural measure of performance named performative risk ($\mathrm{PR}$), captures the expected loss incurred by a predictive model \emph{after} deployment. The core difficulty of using the performative risk as an optimization objective is that the data distribution itself depends on the model parameters. This dependence is governed by the environment and not under the control of the learner. As a consequence, even the choice of a convex loss function can result in a highly non-convex $\mathrm{PR}$ minimization problem. Prior work has identified a pair of general conditions on the loss and the mapping from model parameters to distributions that implies the convexity of the performative risk. In this paper, we relax these assumptions and focus on obtaining weaker notions of convexity, without sacrificing the amenability of the $\mathrm{PR}$ minimization problem for iterative optimization methods.


title: Quantum Corrections to Pair Production of Charged Black Holes in de Sitter Space

abstract: We compute Euclidean action of charged de Sitter black holes in four dimensional gravitational Euler-Heisenberg model. It turns out that the action of a general Euclidean dyonically charged black hole is still controlled by the total entropy contributed by the black hole outer horizon and the cosmological horizon. For smooth configurations, the Euclidean action can be interpreted as the black hole production rate in de Sitter space. We show that the 4-derivative couplings break the symmetry between the production rate of the purely electric black hole and that of the purely magnetic black hole. Although electromagnetic duality is no longer a symmetry, it induces a transformation on the 4-derivative couplings, mapping the physical quantities of a purely electric black hole to those of a purely magnetic black hole and vice versa. We also observe that under the same transformation, unitarity constraints on the 4-derivative couplings remain invariant.


title: Artifact-Tolerant Clustering-Guided Contrastive Embedding Learning for Ophthalmic Images

abstract: Ophthalmic images and derivatives such as the retinal nerve fiber layer (RNFL) thickness map are crucial for detecting and monitoring ophthalmic diseases (e.g., glaucoma). For computer-aided diagnosis of eye diseases, the key technique is to automatically extract meaningful features from ophthalmic images that can reveal the biomarkers (e.g., RNFL thinning patterns) linked to functional vision loss. However, representation learning from ophthalmic images that links structural retinal damage with human vision loss is non-trivial mostly due to large anatomical variations between patients. The task becomes even more challenging in the presence of image artifacts, which are common due to issues with image acquisition and automated segmentation. In this paper, we propose an artifact-tolerant unsupervised learning framework termed EyeLearn for learning representations of ophthalmic images. EyeLearn has an artifact correction module to learn representations that can best predict artifact-free ophthalmic images. In addition, EyeLearn adopts a clustering-guided contrastive learning strategy to explicitly capture the intra- and inter-image affinities. During training, images are dynamically organized in clusters to form contrastive samples in which images in the same or different clusters are encouraged to learn similar or dissimilar representations, respectively. To evaluate EyeLearn, we use the learned representations for visual field prediction and glaucoma detection using a real-world ophthalmic image dataset of glaucoma patients. Extensive experiments and comparisons with state-of-the-art methods verified the effectiveness of EyeLearn for learning optimal feature representations from ophthalmic images.


title: In which it is proven that, for each parabolic quasi-Coxeter element in a finite real reflection group, the orbits of the Hurwitz action on its reflection factorizations are distinguished by the two obvious invariants

abstract: We prove that two reflection factorizations of a parabolic quasi-Coxeter element in a finite Coxeter group belong to the same Hurwitz orbit if and only if they generate the same subgroup and have the same multiset of conjugacy classes. As a lemma, we classify the finite Coxeter groups for which every reflection generating set that is minimal under inclusion is also of minimum size.


title: Unconventional gapless semiconductor in an extended martini lattice in covalent honeycomb materials

abstract: We study characteristic electronic structures in an extended martini lattice model and propose its materialization in $\pi$-electron networks constructed by designated chemisorption on graphene and silicene. By investigating the minimal tight-binding model, we reveal rich electronic structures tuned by the ratio of hopping parameters, ranging from the band insulator to the unconventional gapless semiconductor. Remarkably, the unconventional gapless semiconductor is characterized by a flat band at the Fermi level. Further, the density functional theory calculations for candidate materials reveal that the characteristic electronic structures can be realized by designated chemisorption or chemical substitution on graphene and silicene, and that the electronic structure near the Fermi level is tunable by the choice of the atomic species of adsorbed atoms. Our results open the way to search exotic electronic structures and their functionalities induced by an extended martini lattice.


title: WOC: A Handy Webcam-based 3D Online Chatroom

abstract: We develop WOC, a webcam-based 3D virtual online chatroom for multi-person interaction, which captures the 3D motion of users and drives their individual 3D virtual avatars in real-time. Compared to the existing wearable equipment-based solution, WOC offers convenient and low-cost 3D motion capture with a single camera. To promote the immersive chat experience, WOC provides high-fidelity virtual avatar manipulation, which also supports the user-defined characters. With the distributed data flow service, the system delivers highly synchronized motion and voice for all users. Deployed on the website and no installation required, users can freely experience the virtual online chat at https://yanch.cloud.


title: Cooperative coevolutionary Modified Differential Evolution with Distance-based Selection for Large-Scale Optimization Problems in noisy environments through an automatic Random Grouping

abstract: Many optimization problems suffer from noise, and nonlinearity check-based decomposition methods (e.g. Differential Grouping) will completely fail to detect the interactions between variables in multiplicative noisy environments, thus, it is difficult to decompose the large-scale optimization problems (LSOPs) in noisy environments. In this paper, we propose an automatic Random Grouping (aRG), which does not need any explicit hyperparameter specified by users. Simulation experiments and mathematical analysis show that aRG can detect the interactions between variables without the fitness landscape knowledge, and the sub-problems decomposed by aRG have smaller scales, which is easier for EAs to optimize. Based on the cooperative coevolution (CC) framework, we introduce an advanced optimizer named Modified Differential Evolution with Distance-based Selection (MDE-DS) to enhance the search ability in noisy environments. Compared with canonical DE, the parameter self-adaptation, the balance between diversification and intensification, and the distance-based probability selection endow MDE-DS with stronger ability in exploration and exploitation. To evaluate the performance of our proposal, we design $500$-D and $1000$-D problems with various separability in noisy environments based on the CEC2013 LSGO Suite. Numerical experiments show that our proposal has broad prospects to solve LSOPs in noisy environments and can be easily extended to higher-dimensional problems.


title: Detection of False Data Injection Attacks in Smart Grid: A Secure Federated Deep Learning Approach

abstract: As an important cyber-physical system (CPS), smart grid is highly vulnerable to cyber attacks. Amongst various types of attacks, false data injection attack (FDIA) proves to be one of the top-priority cyber-related issues and has received increasing attention in recent years. However, so far little attention has been paid to privacy preservation issues in the detection of FDIAs in smart grid. Inspired by federated learning, a FDIA detection method based on secure federated deep learning is proposed in this paper by combining Transformer, federated learning and Paillier cryptosystem. The Transformer, as a detector deployed in edge nodes, delves deep into the connection between individual electrical quantities by using its multi-head self-attention mechanism. By using federated learning framework, our approach utilizes the data from all nodes to collaboratively train a detection model while preserving data privacy by keeping the data locally during training. To improve the security of federated learning, a secure federated learning scheme is designed by combing Paillier cryptosystem with federated learning. Through extensive experiments on the IEEE 14-bus and 118-bus test systems, the effectiveness and superiority of the proposed method are verifed.


title: Optimal General Factor Problem and Jump System Intersection

abstract: In the optimal general factor problem, given a graph $G=(V, E)$ and a set $B(v) \subseteq \mathbb Z$ of integers for each $v \in V$, we seek for an edge subset $F$ of maximum cardinality subject to $d_F(v) \in B(v)$ for $v \in V$, where $d_F(v)$ denotes the number of edges in $F$ incident to $v$. A recent crucial work by Dudycz and Paluch shows that this problem can be solved in polynomial time if each $B(v)$ has no gap of length more than one. While their algorithm is very simple, its correctness proof is quite complicated. In this paper, we formulate the optimal general factor problem as the jump system intersection, and reveal when the algorithm by Dudycz and Paluch can be applied to this abstract form of the problem. By using this abstraction, we give another correctness proof of the algorithm, which is simpler than the original one. We also extend our result to the valuated case.


title: Index Tracking via Learning to Predict Market Sensitivities

abstract: Index funds are substantially preferred by investors nowadays, and market sensitivities are instrumental in managing index funds. An index fund is a mutual fund aiming to track the returns of a predefined market index (e.g., the S&P 500). A basic strategy to manage an index fund is replicating the index's constituents and weights identically, which is, however, cost-ineffective and impractical. To address this issue, it is required to replicate the index partially with accurately predicted market sensitivities. Accordingly, we propose a novel partial-replication method via learning to predict market sensitivities. We first examine deep-learning models to predict market sensitivities in a supervised manner with our data-processing methods. Then, we propose a partial-index-tracking optimization model controlling the net predicted market sensitivities of the portfolios and index to be the same. These processes' efficacy is corroborated by our experiments on the Korea Stock Price Index 200. Our experiments show a significant reduction of the prediction errors compared with historical estimations and competitive tracking errors of replicating the index utilizing fewer than half of the entire constituents. Therefore, we show that applying deep learning to predict market sensitivities is promising and that our portfolio construction methods are practically effective. Additionally, to our knowledge, this is the first study addressing market sensitivities focused on deep learning.


title: Using Case Description Information to Reduce Sensitivity to Bias for the Attributable Fraction Among the Exposed

abstract: The attributable fraction among the exposed (\textbf{AF}$_e$), also known as the attributable risk or excess fraction among the exposed, is the proportion of disease cases among the exposed that could be avoided by eliminating the exposure. Understanding the \textbf{AF}$_e$ for different exposures helps guide public health interventions. The conventional approach to inference for the \textbf{AF}$_e$ assumes no unmeasured confounding and could be sensitive to hidden bias from unobserved covariates. In this paper, we propose a new approach to reduce sensitivity to hidden bias for conducting statistical inference on the \textbf{AF}$_e$ by leveraging case description information. Case description information is information that describes the case, e.g., the subtype of cancer. The exposure may have more of an effect on some types of cases than other types. We explore how leveraging case description information can reduce sensitivity to bias from unmeasured confounding through an asymptotic tool, design sensitivity, and simulation studies. We allow for the possibility that leveraging case definition information may introduce additional selection bias through an additional sensitivity parameter. The proposed methodology is illustrated by re-examining alcohol consumption and the risk of postmenopausal invasive breast cancer using case description information on the subtype of cancer (hormone-sensitive or insensitive) using data from the Women's Health Initiative (WHI) Observational Study (OS).


title: BinImg2Vec: Augmenting Malware Binary Image Classification with Data2Vec

abstract: Rapid digitalisation spurred by the Covid-19 pandemic has resulted in more cyber crime. Malware-as-a-service is now a booming business for cyber criminals. With the surge in malware activities, it is vital for cyber defenders to understand more about the malware samples they have at hand as such information can greatly influence their next course of actions during a breach. Recently, researchers have shown how malware family classification can be done by first converting malware binaries into grayscale images and then passing them through neural networks for classification. However, most work focus on studying the impact of different neural network architectures on classification performance. In the last year, researchers have shown that augmenting supervised learning with self-supervised learning can improve performance. Even more recently, Data2Vec was proposed as a modality agnostic self-supervised framework to train neural networks. In this paper, we present BinImg2Vec, a framework of training malware binary image classifiers that incorporates both self-supervised learning and supervised learning to produce a model that consistently outperforms one trained only via supervised learning. We were able to achieve a 4% improvement in classification performance and a 0.5% reduction in performance variance over multiple runs. We also show how our framework produces embeddings that can be well clustered, facilitating model explanability.


title: TypoSwype: An Imaging Approach to Detect Typo-Squatting

abstract: Typo-squatting domains are a common cyber-attack technique. It involves utilising domain names, that exploit possible typographical errors of commonly visited domains, to carry out malicious activities such as phishing, malware installation, etc. Current approaches typically revolve around string comparison algorithms like the Demaru-Levenschtein Distance (DLD) algorithm. Such techniques do not take into account keyboard distance, which researchers find to have a strong correlation with typical typographical errors and are trying to take account of. In this paper, we present the TypoSwype framework which converts strings to images that take into account keyboard location innately. We also show how modern state of the art image recognition techniques involving Convolutional Neural Networks, trained via either Triplet Loss or NT-Xent Loss, can be applied to learn a mapping to a lower dimensional space where distances correspond to image, and equivalently, textual similarity. Finally, we also demonstrate our method's ability to improve typo-squatting detection over the widely used DLD algorithm, while maintaining the classification accuracy as to which domain the input domain was attempting to typo-squat.


title: Robust joint modeling of sparsely observed paired functional data

abstract: A reduced-rank mixed effects model is developed for robust modeling of sparsely observed paired functional data. In this model, the curves for each functional variable are summarized using a few functional principal components, and the association of the two functional variables is modeled through the association of the principal component scores. Multivariate scale mixture of normal distributions is used to model the principal component scores and the measurement errors in order to handle outlying observations and achieve robust inference. The mean functions and principal component functions are modeled using splines and roughness penalties are applied to avoid overfitting. An EM algorithm is developed for computation of model fitting and prediction. A simulation study shows that the proposed method outperforms an existing method which is not designed for robust estimation. The effectiveness of the proposed method is illustrated in an application of fitting multi-band light curves of Type Ia supernovae.


title: Linear-in-Frequency Optical Conductivity over a broad range in the three-dimensional Dirac semimetal candidate Ir$_2$In$_8$Se

abstract: The optical conductivity of the new Dirac semimetal candidate Ir$_2$In$_8$Se is measured in a frequency range from 40 to 30000 cm$^{-1}$ at temperatures from 300 K down to 10 K. The measurement reveals that the compound is a low carrier density metal. We find that the real part of the conductivity $\sigma_1(\omega)$ is linear in frequency over a broad range from 500 to 4000 cm$^{-1}$ at 300 K and varies slightly with cooling. This linearity strongly suggests the presence of three-dimensional linear electronic bands with band crossings near the Fermi level. Band structure calculations indicate the presence of type-II Dirac points. By comparing our data with the optical conductivity computed from the band structure, we conclude that the observed linear dependence mainly originates from the Dirac cones and the transition between the Dirac cones and the next lower bands. In addition, a weak energy gap feature is resolved below the charge density wave phase transition temperature in reflectivity spectra. An enhanced structure arising from the imperfect Fermi surface nesting is identified in the electronic susceptibility function, suggesting a Fermi surface nesting driven instability.


title: Tweak: Towards Portable Deep Learning Models for Domain-Agnostic LoRa Device Authentication

abstract: Deep learning based device fingerprinting has emerged as a key method of identifying and authenticating devices solely via their captured RF transmissions. Conventional approaches are not portable to different domains in that if a model is trained on data from one domain, it will not perform well on data from a different but related domain. Examples of such domains include the receiver hardware used for collecting the data, the day/time on which data was captured, and the protocol configuration of devices. This work proposes Tweak, a technique that, using metric learning and a calibration process, enables a model trained with data from one domain to perform well on data from another domain. This process is accomplished with only a small amount of training data from the target domain and without changing the weights of the model, which makes the technique computationally lightweight and thus suitable for resource-limited IoT networks. This work evaluates the effectiveness of Tweak vis-a-vis its ability to identify IoT devices using a testbed of real LoRa-enabled devices under various scenarios. The results of this evaluation show that Tweak is viable and especially useful for networks with limited computational resources and applications with time-sensitive missions.


title: On the conjecture about the exponential reduced Sombor index

abstract: Let $G=(V(G),E(G))$ be a graph and $d(v)$ be the degree of the vertex $v\in V(G)$. The exponential reduced Sombor index of $G$, denoted by $e^{SO_{red}}(G)$, is defined as $$e^{SO_{red}}(G)=\sum_{uv\in E(G)}e^{\sqrt{(d(u)-1)^2+(d(v)-1)^2}}.$$ We obtain a characterization of extremal trees with the maximal exponential reduced Sombor index among all chemical trees of order $n$. This result shows the conjecture on the exponential reduced Sombor index proposed by Liu, You, Tang and Liu [On the reduced Sombor index and its applications, MATCH Commun. Math. Comput. Chem. 86 (2021) 729--753] is negative.


title: Development of Integral Field Spectrographs to Revolutionize Spectroscopic Observations of Solar Flares and other Energetic Solar Eruptions

abstract: The Sun's proximity offers us a unique opportunity to study in detail the physical processes on a star's surface; however, the highly dynamic nature of the stellar surface -- in particular, energetic eruptions such as flares and coronal mass ejections -- presents tremendous observational challenges. Spectroscopy probes the physical state of the solar atmosphere, but conventional scanning spectrographs and spectrometers are unable to capture the full evolutionary history of these dynamic events with a sufficiently wide field of view and high spatial, spectral, and temporal resolution. Resolving the physics of the dynamic sun requires gathering simultaneous spectra across a contiguous area over the full duration of these events, a goal now tantalizingly close to achievable with continued investment in developing powerful new Integral Field Spectrographs to serve as the foundation of both future ground- and space-based missions. This technology promises to revolutionize our ability to study solar flares and CMEs, addressing NASA's strategic objective to "understand the Sun, solar system, and universe." Since such events generate electromagnetic radiation and high-energy particles that disrupt terrestrial electric infrastructure, this investment not only advances humanity's scientific endeavors but also enhances our space weather forecasting capability to protect against threats to our technology-reliant civilization.


title: Optimizing quantum circuit parameters via SDP

abstract: In recent years, parameterized quantum circuits have become a major tool to design quantum algorithms for optimization problems. The challenge in fully taking advantage of a given family of parameterized circuits lies in finding a good set of parameters in a non-convex landscape that can grow exponentially to the number of parameters. We introduce a new framework for optimizing parameterized quantum circuits: round SDP solutions to circuit parameters. Within this framework, we propose an algorithm that produces approximate solutions for a quantum optimization problem called Quantum Max Cut. The rounding algorithm runs in polynomial time to the number of parameters regardless of the underlying interaction graph. The resulting 0.562-approximation algorithm for generic instances of Quantum Max Cut improves on the previously known best algorithms, which give approximation ratios of less than 0.54.


title: Dark quantum droplets and solitary waves in beyond-mean-field Bose-Einstein condensate mixtures

abstract: Quantum liquid-like states of matter have been realized in an ongoing series of experiments with ultracold Bose gases. Using a combination of analytical and numerical methods we identify the specific criteria for the existence of dark solitons in beyond-mean-field binary condensates, revealing how these excitations exist for both repulsive and attractive interactions, the latter leading to dark quantum droplets with properties intermediate between a dark soliton and a quantum droplet. The phenomenology of the these excitations are explored within the full parameter space of the model, revealing the novel spatial profile of the excitation that differs significantly from the Zakharov-Shabat (ZS) soliton; leading to a negative effective mass that is enhanced in the presence of the quantum fluctuations. Finally the dynamics of pairs of the excitations are explored, showing non-integrable dynamics and dark soliton bound-states in the attractive regime.


title: Semantic Communication-Empowered Physical-layer Network Coding

abstract: In a two-way relay channel (TWRC), physical-layer network coding (PNC) doubles the system throughput by turning superimposed signals transmitted simultaneously by different end nodes into useful network-coded information (known as PNC decoding). Prior works indicated that the PNC decoding performance is affected by the relative phase offset between the received signals from different nodes. In particular, some "bad" relative phase offsets could lead to huge performance degradation. Previous solutions to mitigate the relative phase offset effect were limited to the conventional bit-oriented communication paradigm, aiming at delivering a given information stream as quickly and reliably as possible. In contrast, this paper puts forth the first semantic communication-empowered PNC-enabled TWRC to address the relative phase offset issue, referred to as SC-PNC. Despite the bad relative phase offsets, SC-PNC directly extracts the semantic meaning of transmitted messages rather than ensuring accurate bit stream transmission. We jointly design deep neural network (DNN)-based transceivers at the end nodes and propose a semantic PNC decoder at the relay. Taking image delivery as an example, experimental results show that the SC-PNC TWRC achieves high and stable reconstruction quality for images under different channel conditions and relative phase offsets, compared with the conventional bit-oriented counterparts.


title: A Bayesian Approach to Probabilistic Solar Irradiance Forecasting

abstract: The output of solar power generation is significantly dependent on the available solar radiation. Thus, with the proliferation of PV generation in the modern power grid, forecasting of solar irradiance is vital for proper operation of the grid. To achieve an improved accuracy in prediction performance, this paper discusses a Bayesian treatment of probabilistic forecasting. The approach is demonstrated using publicly available data obtained from the Florida Automated Weather Network (FAWN). The algorithm is developed in Python and the results are compared with point forecasts, other probabilistic methods and actual field results obtained for the period.


abstract: Though graph representation learning (GRL) has made significant progress, it is still a challenge to extract and embed the rich topological structure and feature information in an adequate way. Most existing methods focus on local structure and fail to fully incorporate the global topological structure. To this end, we propose a novel Structure-Preserving Graph Representation Learning (SPGRL) method, to fully capture the structure information of graphs. Specifically, to reduce the uncertainty and misinformation of the original graph, we construct a feature graph as a complementary view via k-Nearest Neighbor method. The feature graph can be used to contrast at node-level to capture the local relation. Besides, we retain the global topological structure information by maximizing the mutual information (MI) of the whole graph and feature embeddings, which is theoretically reduced to exchanging the feature embeddings of the feature and the original graphs to reconstruct themselves. Extensive experiments show that our method has quite superior performance on semi-supervised node classification task and excellent robustness under noise perturbation on graph structure or node features.


title: Real-space model for activated processes in rejuvenation and memory behavior of glassy systems

abstract: We offer an alternative real-space description, based purely on activated processes, for the understanding of relaxation dynamics in hierarchical landscapes. To this end, we use the cluster model, a coarse-grained lattice model of a jammed system, to analyze rejuvenation and memory effects during aging after a hard quench. In this model, neighboring particles on a lattice aggregate through local interactions into clusters that fragment with a probability based on their size. Despite the simplicity of the cluster model, it has been shown to reproduce salient observables of the aging dynamics in colloidal systems, such as those accounting for particle mobility and displacements. Here, we probe the model for more complex quench protocols and show that it exhibits rejuvenation and memory effects similar to those attributed to the complex hierarchical structure of a glassy energy landscape.


title: Propagation of scalar and tensor gravitational waves in Horndeski theory

abstract: Gravitational waves travel through the distributions of matter and dark energy during propagation. For this reason, gravitational waves emitted from binary compact objects serve as a useful tool especially to probe the nature of dark energy. The geometrical optics approximation is a conventional way of investigating wave propagation. However, the approximation becomes less accurate as the wavelength approaches the curvature radius of the background, which can occur in generic situations. In this paper, we suggest a formulation for higher-order corrections of the geometrical optics expansion, applied to Horndeski theory which accommodates many dark energy models. At the level of the background, assuming that the derivative of the scalar field is non-vanishing and timelike, we choose the time slices to coincide with the contours of the scalar field. This choice of the background time slices is advantageous as the sound cones of both scalar and tensor gravitational waves are upright with respect to the background time slices whenever the scalar field behaves as a perfect fluid. We then analyze the equations of motion for scalar and tensor components of gravitational waves at the leading and next-to-leading order in the geometrical optics expansion, deriving the evolution equations for their amplitudes under certain conditions. In particular, for Generalized Brans-Dicke theories, we find a simple description of equations for gravitational waves in terms of an effective metric.


title: Diffusion Models: A Comprehensive Survey of Methods and Applications

abstract: Diffusion models have emerged as a powerful new family of deep generative models with record-breaking performance in many applications, including image synthesis, video generation, and molecule design. In this survey, we provide an overview of the rapidly expanding body of work on diffusion models, categorizing the research into three key areas: efficient sampling, improved likelihood estimation, and handling data with special structures. We also discuss the potential for combining diffusion models with other generative models for enhanced results. We further review the wide-ranging applications of diffusion models in fields spanning from computer vision, natural language generation, temporal data modeling, to interdisciplinary applications in other scientific disciplines. This survey aims to provide a contextualized, in-depth look at the state of diffusion models, identifying the key areas of focus and pointing to potential areas for further exploration. Github: https://github.com/YangLing0818/Diffusion-Models-Papers-Survey-Taxonomy.


title: Random Text Perturbations Work, but not Always

abstract: We present three large-scale experiments on binary text matching classification task both in Chinese and English to evaluate the effectiveness and generalizability of random text perturbations as a data augmentation approach for NLP. It is found that the augmentation can bring both negative and positive effects to the test set performance of three neural classification models, depending on whether the models train on enough original training examples. This remains true no matter whether five random text editing operations, used to augment text, are applied together or separately. Our study demonstrates with strong implication that the effectiveness of random text perturbations is task specific and not generally positive.


title: PCDNF: Revisiting Learning-based Point Cloud Denoising via Joint Normal Filtering

abstract: Recovering high quality surfaces from noisy point clouds, known as point cloud denoising, is a fundamental yet challenging problem in geometry processing. Most of the existing methods either directly denoise the noisy input or filter raw normals followed by updating point positions. Motivated by the essential interplay between point cloud denoising and normal filtering, we revisit point cloud denoising from a multitask perspective, and propose an end-to-end network, named PCDNF, to denoise point clouds via joint normal filtering. In particular, we introduce an auxiliary normal filtering task to help the overall network remove noise more effectively while preserving geometric features more accurately. In addition to the overall architecture, our network has two novel modules. On one hand, to improve noise removal performance, we design a shape-aware selector to construct the latent tangent space representation of the specific point by comprehensively considering the learned point and normal features and geometry priors. On the other hand, point features are more suitable for describing geometric details, and normal features are more conducive for representing geometric structures (e.g., sharp edges and corners). Combining point and normal features allows us to overcome their weaknesses. Thus, we design a feature refinement module to fuse point and normal features for better recovering geometric information. Extensive evaluations, comparisons, and ablation studies demonstrate that the proposed method outperforms state-of-the-arts for both point cloud denoising and normal filtering.


title: A Probabilistic Shaping Approach for Optical Region-of-Interest Signaling

abstract: We propose a probabilistic shaping approach for region-of-interest signaling, where a low-rate signal controls the desired probabilistic ranges of a high-rate data stream using a flexible distribution controller. In addition, we introduce run-length-aware values for frozen bit indices in systematic polar code to minimize the run-length without using run-length-limited code. Our compact system can support soft-decision forward-error-correction decoding with excellent spectral efficiency compared with related work based on hybrid modulation schemes.


title: Rethinking Efficiency and Redundancy in Training Large-scale Graphs

abstract: Large-scale graphs are ubiquitous in real-world scenarios and can be trained by Graph Neural Networks (GNNs) to generate representation for downstream tasks. Given the abundant information and complex topology of a large-scale graph, we argue that redundancy exists in such graphs and will degrade the training efficiency. Unfortunately, the model scalability severely restricts the efficiency of training large-scale graphs via vanilla GNNs. Despite recent advances in sampling-based training methods, sampling-based GNNs generally overlook the redundancy issue. It still takes intolerable time to train these models on large-scale graphs. Thereby, we propose to drop redundancy and improve efficiency of training large-scale graphs with GNNs, by rethinking the inherent characteristics in a graph. In this paper, we pioneer to propose a once-for-all method, termed DropReef, to drop the redundancy in large-scale graphs. Specifically, we first conduct preliminary experiments to explore potential redundancy in large-scale graphs. Next, we present a metric to quantify the neighbor heterophily of all nodes in a graph. Based on both experimental and theoretical analysis, we reveal the redundancy in a large-scale graph, i.e., nodes with high neighbor heterophily and a great number of neighbors. Then, we propose DropReef to detect and drop the redundancy in large-scale graphs once and for all, helping reduce the training time while ensuring no sacrifice in the model accuracy. To demonstrate the effectiveness of DropReef, we apply it to recent state-of-the-art sampling-based GNNs for training large-scale graphs, owing to the high precision of such models. With DropReef leveraged, the training efficiency of models can be greatly promoted. DropReef is highly compatible and is offline performed, benefiting the state-of-the-art sampling-based GNNs in the present and future to a significant extent.


title: Maxima of the $Q$-index of non-bipartite $C_{3}$-free graphs

abstract: A classic result in extremal graph theory, known as Mantel's theorem, states that every non-bipartite graph of order $n$ with size $m>\lfloor \frac{n^{2}}{4}\rfloor$ contains a triangle. Lin, Ning and Wu [Comb. Probab. Comput. 30 (2021) 258-270] proved a spectral version of Mantel's theorem for given order $n.$ Zhai and Shu [Discrete Math. 345 (2022) 112630] investigated a spectral version for fixed size $m.$ In this paper, we prove $Q$-spectral versions of Mantel's theorem.


title: Quantum storage of 1650 modes of single photons at telecom wavelength

abstract: To advance the full potential of quantum networks one should be able to distribute quantum resources over long distances at appreciable rates. As a consequence, all components in the networks need to have large multimode capacity to manipulate photonic quantum states. Towards this end, a multimode photonic quantum memory, especially one operating at telecom wavelength, remains a key challenge. Here we demonstrate a spectro-temporally multiplexed quantum memory at 1532 nm. Multimode quantum storage of telecom-band heralded single photons is realized by employing the atomic frequency comb protocol in a 10-m-long cryogenically cooled erbium doped silica fibre. The multiplexing encompasses five spectral channels - each 10 GHz wide - and in each of these up to 330 temporal modes, resulting in the simultaneous storage of 1650 modes of single photons. Our demonstrations open doors for high-rate quantum networks, which are essential for future quantum internet.


title: Global well-posedness of the viscous Camassa--Holm equation with gradient noise

abstract: We analyse a nonlinear stochastic partial differential equation that corresponds to a viscous shallow water equation (of the Camassa--Holm type) perturbed by a convective, position-dependent noise term. We establish the existence of weak solutions in $H^m$ ($m\in\mathbb{N}$) using Galerkin approximations and the stochastic compactness method. We derive a series of a priori estimates that combine a model-specific energy law with non-standard regularity estimates. We make systematic use of a stochastic Gronwall inequality and also stopping time techniques. The proof of convergence to a solution argues via tightness of the laws of the Galerkin solutions, and Skorokhod--Jakubowski a.s. representations of random variables in quasi-Polish spaces. The spatially dependent noise function constitutes a complication throughout the analysis, repeatedly giving rise to nonlinear terms that "balance" the martingale part of the equation against the second-order Stratonovich-to-It\^{o} correction term. Finally, via pathwise uniqueness, we conclude that the constructed solutions are probabilistically strong. The uniqueness proof is based on a finite-dimensional It\^{o} formula and a DiPerna--Lions type regularisation procedure, where the regularisation errors are controlled by first and second order commutators.


title: Marginal Regression on Transient State Occupation Probabilities with Clustered Multistate Process Data

abstract: Clustered multistate process data are commonly encountered in multicenter observational studies and clinical trials. A clinically important estimand with such data is the marginal probability of being in a particular transient state as a function of time. However, there is currently no method for nonparametric marginal regression analysis of these probabilities with clustered multistate process data. To address this problem, we propose a weighted functional generalized estimating equations approach which does not impose Markov assumptions or assumptions regarding the structure of the within-cluster dependence, and allows for informative cluster size (ICS). The asymptotic properties of the proposed estimators for the functional regression coefficients are rigorously established and a nonparametric hypothesis testing procedure for covariate effects is proposed. Simulation studies show that the proposed method performs well even with a small number of clusters, and that ignoring the within-cluster dependence and the ICS leads to invalid inferences. The proposed method is used to analyze data from a multicenter clinical trial on recurrent or metastatic squamous-cell carcinoma of the head and neck with a stratified randomization design.


title: Multi-scale temporal-frequency attention for music source separation

abstract: In recent years, deep neural networks (DNNs) based approaches have achieved the start-of-the-art performance for music source separation (MSS). Although previous methods have addressed the large receptive field modeling using various methods, the temporal and frequency correlations of the music spectrogram with repeated patterns have not been explicitly explored for the MSS task. In this paper, a temporal-frequency attention module is proposed to model the spectrogram correlations along both temporal and frequency dimensions. Moreover, a multi-scale attention is proposed to effectively capture the correlations for music signal. The experimental results on MUSDB18 dataset show that the proposed method outperforms the existing state-of-the-art systems with 9.51 dB signal-to-distortion ratio (SDR) on separating the vocal stems, which is the primary practical application of MSS.


title: TBPLaS: a Tight-Binding Package for Large-scale Simulation

abstract: TBPLaS is an open-source software package for the accurate simulation of physical systems with arbitrary geometry and dimensionality utilizing the tight-binding (TB) theory. It has an intuitive object-oriented Python application interface (API) and Cython/Fortran extensions for the performance critical parts, ensuring both flexibility and efficiency. Under the hood, numerical calculations are mainly performed by both exact diagonalizatin and the tight-binding propagation method (TBPM) without diagonalization. Especially, the TBPM is based on the numerical solution of time-dependent Schr\"odinger equation, achieving linear scaling with system size in both memory and CPU costs. Consequently, TBPLaS provides a numerically cheap approach to calculate the electronic, transport and optical properties of large tight-binding models with billions of atomic orbitals. Current capabilities of TBPLaS include the calculation of band structure, density of states, local density of states, quasi-eigenstates, optical conductivity, electrical conductivity, Hall conductivity, polarization function, dielectric function, plasmon dispersion, carrier mobility and velocity, localization length and free path, Z2 topological invariant, wave-packet propagation, etc. All the properties can be obtained with only a few lines of code. Other algorithms involving tight-binding Hamiltonians can be implemented easily thanks to its extensible and modular nature. In this paper, we discuss the theoretical framework, implementation details and common workflow of TBPLaS, and give a few demonstrations of its applications.

categories: cond-mat.mtrl-sci cond-mat.dis-nn cond-mat.mes-hall physics.comp-ph


title: An Explainer for Temporal Graph Neural Networks

abstract: Temporal graph neural networks (TGNNs) have been widely used for modeling time-evolving graph-related tasks due to their ability to capture both graph topology dependency and non-linear temporal dynamic. The explanation of TGNNs is of vital importance for a transparent and trustworthy model. However, the complex topology structure and temporal dependency make explaining TGNN models very challenging. In this paper, we propose a novel explainer framework for TGNN models. Given a time series on a graph to be explained, the framework can identify dominant explanations in the form of a probabilistic graphical model in a time period. Case studies on the transportation domain demonstrate that the proposed approach can discover dynamic dependency structures in a road network for a time period.


title: Axial transition form factors of octet baryons in the perturbative chiral quark model

abstract: We study the axial transition form factors $G_A^{B\to B'}(Q^2)$ as well as the axial charges $g_A^{B\to B'}$ of the octet baryons in the perturbative chiral quark model~(PCQM) with including both the ground and excited states in the intermediate quark propagators. The PCQM results on the $G_A^{B\to B'}(Q^2)$ and the $g_A^{B\to B'}$ are found in good agreement with the existing experimental data and the lattice-QCD values. The study figures out that the $G_A^{B\to B'}(Q^2)$ for all transitions behave in the dipolelike form, which is dominantly caused by the three-quark core. The meson cloud with the ground-state quark propagator also plays an extremely important role but results in a flat contribution. The excited-state quark propagator contributing to the $G_A^{B\to B'}(Q^2)$ could be regarded as the higher order correction and it is very limited.


title: Optimal Diagonal Preconditioning

abstract: Preconditioning has long been a staple technique in optimization, often applied to reduce the condition number of a matrix and speed up the convergence of algorithms. Although there are many popular preconditioning techniques in practice, most lack guarantees on reductions in condition number. Moreover, the degree to which we can improve over existing heuristic preconditioners remains an important practical question. In this paper, we study the problem of optimal diagonal preconditioning that achieves maximal reduction in the condition number of any full-rank matrix by scaling its rows and/or columns. We first reformulate the problem as a quasi-convex problem and provide a simple algorithm based on bisection. Then we develop an interior point algorithm with $O(\log(1/\epsilon))$ iteration complexity, where each iteration consists of a Newton update based on the Nesterov-Todd direction. Next, we specialize to one-sided optimal diagonal preconditioning problems, and demonstrate that they can be formulated as standard dual SDP problems. We then develop efficient customized solvers and study the empirical performance of our optimal diagonal preconditioning procedures through extensive experiments on large matrices. Our findings suggest that optimal diagonal preconditioners can significantly improve upon existing heuristics-based diagonal preconditioners at reducing condition numbers and speeding up iterative methods. Moreover, our implementation of customized solvers, combined with a random row/column sampling step, can find near-optimal diagonal preconditioners for matrices up to size 200,000 in reasonable time, demonstrating their practical appeal.


title: Study of $e^{+}e^{-}\to\eta\phi$ via Initial State Radiation at Belle

abstract: Using $980~fb^{-1}$ of data collected on and around the $\Upsilon(nS)(n=1,2,3,4,5)$ resonances with the Belle detector at the KEKB collider, we measure the cross section of $e^{+}e^{-}\to \eta\phi$ from threshold to $3.95~{\rm GeV}/c^{2}$ via initial-state radiation. From a multi-parameter fit assuming $\phi(2170)$ exists in the $\eta\phi$ final state according to previous measurement by BESIII, the resonant parameters of $\phi(1680)$ are determined to be $m_{\phi(1680)} = (1683 \pm 7 \pm 9)~{\rm MeV}/c^{2}$ (statistical and systematic errors, respectively), $\Gamma_{\phi(1680)} = (149 \pm 12 \pm 13)~{\rm MeV}$ and, depending on the possible presence of interfering resonances, $\Gamma^{e^{+}e^{-}}_{\phi(1680)}\cdot {\cal B}[\phi(1680)\to\eta\phi] = (122 \pm 6 \pm 13)~{\rm eV}$, $(219 \pm 15 \pm 18)~{\rm eV}$, $(163 \pm 11 \pm 13)~{\rm eV}$ or $(203 \pm 12 \pm 18)~{\rm eV}$. The branching fraction of $\phi(1680)\to\eta\phi$ decay is determined to be approximately 20%. Additionally, the branching fraction for $J/\psi\to\eta\phi$ is measured to be $(7.1\pm 1.0 \pm 0.5)\times 10^{-4}$. However, there is no significant observed $\phi(2170)$ signal in the $\eta\phi$ final states in this analysis, and correspondingly the upper limit for $\Gamma^{e^{+}e^{-}}_{\phi(2170)}\cdot {\cal B}(\phi(2170)\to\eta\phi)$ is determined to be either $0.17~{\rm eV}$ (for two fits), or $18.6~{\rm eV}$ (remaining two fits), at 90% confidence level.


title: The first fundamental theorem of invariant theory for the quantum queer superalgebra

abstract: The classical invariant theory for the queer Lie superalgebra is an investigation of the $\mathrm{U}(\mathfrak{q}_n)$-invariant sub-superalgebra of the symmetric superalgebra $\mathrm{Sym}(V^{\oplus r}\oplus V^{*\oplus s})$ for $V=\mathbb{C}^{n|n}$. We establish the first fundamental theorem of invariant theory for the quantum queer superalgebra $\mathrm{U}_q(\mathfrak{q}_n)$. The key ingredient is a quantum analog $\mathcal{O}_{r,s}$ of the symmetric superalgebra $\mathrm{Sym}(V^{\oplus r}\oplus V^{*\oplus s})$ that is created as a braided tensor product of a quantization $\mathsf{A}_{r,n}$ of $\mathrm{Sym}(V^{\oplus r})$ and a quantization $\bar{\mathsf{A}}_{s,n}$ of $\mathrm{Sym}(V^{*\oplus s})$. Since the quantum queer superalgebra $\mathrm{U}_q(\mathfrak{q}_n)$ is not quasi-triangular, our braided tensor product is created via an explicit intertwining operator instead of the universal $\mathcal{R}$-matrix.


title: Explainable AI for Android Malware Detection: Towards Understanding Why the Models Perform So Well?

abstract: Machine learning (ML)-based Android malware detection has been one of the most popular research topics in the mobile security community. An increasing number of research studies have demonstrated that machine learning is an effective and promising approach for malware detection, and some works have even claimed that their proposed models could achieve 99\% detection accuracy, leaving little room for further improvement. However, numerous prior studies have suggested that unrealistic experimental designs bring substantial biases, resulting in over-optimistic performance in malware detection. Unlike previous research that examined the detection performance of ML classifiers to locate the causes, this study employs Explainable AI (XAI) approaches to explore what ML-based models learned during the training process, inspecting and interpreting why ML-based malware classifiers perform so well under unrealistic experimental settings. We discover that temporal sample inconsistency in the training dataset brings over-optimistic classification performance (up to 99\% F1 score and accuracy). Importantly, our results indicate that ML models classify malware based on temporal differences between malware and benign, rather than the actual malicious behaviors. Our evaluation also confirms the fact that unrealistic experimental designs lead to not only unrealistic detection performance but also poor reliability, posing a significant obstacle to real-world applications. These findings suggest that XAI approaches should be used to help practitioners/researchers better understand how do AI/ML models (i.e., malware detection) work -- not just focusing on accuracy improvement.


title: CASU: Compromise Avoidance via Secure Update for Low-end Embedded Systems

abstract: Guaranteeing runtime integrity of embedded system software is an open problem. Trade-offs between security and other priorities (e.g., cost or performance) are inherent, and resolving them is both challenging and important. The proliferation of runtime attacks that introduce malicious code (e.g., by injection) into embedded devices has prompted a range of mitigation techniques. One popular approach is Remote Attestation (RA), whereby a trusted entity (verifier) checks the current software state of an untrusted remote device (prover). RA yields a timely authenticated snapshot of prover state that verifier uses to decide whether an attack occurred. Current RA schemes require verifier to explicitly initiate RA, based on some unclear criteria. Thus, in case of prover's compromise, verifier only learns about it late, upon the next RA instance. While sufficient for compromise detection, some applications would benefit from a more proactive, prevention-based approach. To this end, we construct CASU: Compromise Avoidance via Secure Updates. CASU is an inexpensive hardware/software co-design enforcing: (i) runtime software immutability, thus precluding any illegal software modification, and (ii) authenticated updates as the sole means of modifying software. In CASU, a successful RA instance serves as a proof of successful update, and continuous subsequent software integrity is implicit, due to the runtime immutability guarantee. This obviates the need for RA in between software updates and leads to unobtrusive integrity assurance with guarantees akin to those of prior RA techniques, with better overall performance.


title: Transverse phase space tomography in the CLARA accelerator test facility using image compression and machine learning

abstract: We describe a novel technique, based on image compression and machine learning, for transverse phase space tomography in two degrees of freedom in an accelerator beamline. The technique has been used in the CLARA accelerator test facility at Daresbury Laboratory: results from the machine learning method are compared with those from a conventional tomography algorithm (algebraic reconstruction), applied to the same data. The use of machine learning allows reconstruction of the 4D phase space distribution of the beam to be carried out much more rapidly than using conventional tomography algorithms, and also enables the use of image compression to reduce significantly the size of the data sets involved in the analysis. Results from the machine learning technique are at least as good as those from the algebraic reconstruction tomography in characterising the beam behaviour, in terms of the variation of the beam size in response to variation of the quadrupole strengths.


title: A 0.6V$-$1.8V Compact Temperature Sensor with 0.24{\deg}C Resolution, $\pm$1.4{\deg}C Inaccuracy and 1.06nJ per Conversion

abstract: This paper presents a fully-integrated CMOS temperature sensor for densely-distributed thermal monitoring in systems on chip supporting dynamic voltage and frequency scaling. The sensor front-end exploits a sub-threshold PMOS-based circuit to convert the local temperature into two biasing currents. These are then used to define two oscillation frequencies, whose ratio is proportional to absolute-temperature. Finally, the sensor back-end translates such frequency ratio into the digital temperature code. Thanks to its low-complexity architecture, the proposed design achieves a very compact footprint along with low-power consumption and high accuracy in a wide temperature range. Moreover, thanks to a simple embedded line regulation mechanism, our sensor supports voltage-scalability. The design was prototyped in a 180nm CMOS technology with a 0{\deg}C $-$ 100{\deg}C temperature detection range, a very wide supply voltage operating range from 0.6V up to 1.8V and very small silicon area occupation of just 0.021$mm^2$. Experimental measurements performed on 20 test chips have shown very competitive figures of merit, including a resolution of 0.24{\deg}C, an inaccuracy of $\pm$1.4{\deg}C, a sampling rate of about 1.5kHz and an energy per conversion of 1.06nJ at 30{\deg}C.


title: Critical field measure for topological superconductivity

abstract: A promising direction for harnessing the laws of quantum mechanics to perform quantum computation is the topological quantum computation, for which topological superconductivity is one of the physical platforms. Intensive theoretical studies have been carried out and followed by tremendous experimental efforts in the realization of topological superconductivity, though debates remain mainly because of the inadequacy of the convincing detection techniques. Here we report a theoretical finding in a superconductor with surface or edge states, where the critical field is found to obey the unique power-law temperature dependence $B_{c3}\sim (T_c-T)^{\gamma}$ with $T_c$ being the onset critical temperature of superconductivity and the fractional exponent $\gamma= 2/3$, differing from the conventional values of $\gamma=1/2$ and $1$. The topological surface superconductivity is hence expected in the three-dimensional (3D) system and the topological edge superconductivity in the two-dimensional (2D) system. The application of this measure to the intrinsic topological superconductors FeTe$_{1-x}$Se$_{x}$ ($x\sim 0.5$) supports the validity of such an accessible, convenient, and reliable transport technique for the identification of topological superconductivity. The new form of theory on topological superconductivity together with the developed identification technique is expected to guide the search of topological superconductors in future.


title: Modeling of Dense CSMA Networks using Random Sequential Adsorption Process

abstract: We model a dense wireless local area network where the access points (APs) employ carrier sense multiple access (CSMA)-type medium access control protocol. In our model, the spatial locations of the set of active APs are modeled using the random sequential adsorption (RSA) process, which is more accurate in terms of the density of active APs compared to the Mat\'ern hard-core point process of type-II (MHPP-II) commonly used for modeling CSMA networks. Leveraging the theory of the RSA process from the statistical physics literature, we provide an approximate but accurate analytical result for the medium access probability of the typical AP in the network. Further, we present a numerical approach to determine the pair correlation function $(\mathtt{PCF})$, which is useful for the accurate estimation of the interference statistics. Using the $\mathtt{PCF}$ result, we derive the signal-to-interference-plus-noise ratio coverage probability of the typical link in the network. We validate the accuracy of the theoretical results through extensive Monte Carlo simulations.


title: Pulse-Driven Self-Reconfigurable Meta-Antennas

abstract: Wireless communications and sensing have notably advanced thanks to the recent developments in both software and hardware. Although various modulation schemes have been proposed to efficiently use the limited frequency resources by exploiting several degrees of freedom, antenna performance is essentially governed by frequency only. Here, we present a new antenna design concept based on metasurfaces to manipulate antenna performances in response to the time width of electromagnetic pulses. We numerically and experimentally show that by using a proper set of spatially arranged metasurfaces loaded with lumped circuits, ordinary omnidirectional antennas can be reconfigured by the incident pulse width to exhibit directional characteristics varying over hundreds of milliseconds or billions of cycles, far beyond conventional performance. We demonstrate that the proposed concept can be applied for sensing, selective reception under simultaneous incidence and mutual communications as the first step to expand existing frequency resources based on pulse width.


title: Quantum Netlist Compiler (QNC)

abstract: Over the last decade, Quantum Computing hardware has rapidly developed and become a very intriguing, promising, and active research field among scientists worldwide. To achieve the desired quantum functionalities, quantum algorithms require translation from a high-level description to a machine-specific physical operation sequence. In contrast to classical compilers, state-of-the-art quantum compilers are in their infancy. We believe there is a research need for a quantum compiler that can deal with generic unitary operators and generate basic unitary operations according to quantum machines' diverse underlying technologies and characteristics. In this work, we introduce the Quantum Netlist Compiler (QNC) that converts arbitrary unitary operators or desired initial states of quantum algorithms to OpenQASM-2.0 circuits enabling them to run on actual quantum hardware. Extensive simulations were run on the IBM quantum systems. The results show that QNC is well suited for quantum circuit optimization and produces circuits with competitive success rates in practice.


title: Structural Bias for Aspect Sentiment Triplet Extraction

abstract: Structural bias has recently been exploited for aspect sentiment triplet extraction (ASTE) and led to improved performance. On the other hand, it is recognized that explicitly incorporating structural bias would have a negative impact on efficiency, whereas pretrained language models (PLMs) can already capture implicit structures. Thus, a natural question arises: Is structural bias still a necessity in the context of PLMs? To answer the question, we propose to address the efficiency issues by using an adapter to integrate structural bias in the PLM and using a cheap-to-compute relative position structure in place of the syntactic dependency structure. Benchmarking evaluation is conducted on the SemEval datasets. The results show that our proposed structural adapter is beneficial to PLMs and achieves state-of-the-art performance over a range of strong baselines, yet with a light parameter demand and low latency. Meanwhile, we give rise to the concern that the current evaluation default with data of small scale is under-confident. Consequently, we release a large-scale dataset for ASTE. The results on the new dataset hint that the structural adapter is confidently effective and efficient to a large scale. Overall, we draw the conclusion that structural bias shall still be a necessity even with PLMs.


title: Multilevel Richardson-Romberg and Importance Sampling in Derivative Pricing

abstract: In this paper, we propose and analyze a novel combination of multilevel Richardson-Romberg (ML2R) and importance sampling algorithm, with the aim of reducing the overall computational time, while achieving desired root-mean-squared error while pricing. We develop an idea to construct the Monte-Carlo estimator that deals with the parametric change of measure. We rely on the Robbins-Monro algorithm with projection, in order to approximate optimal change of measure parameter, for various levels of resolution in our multilevel algorithm. Furthermore, we propose incorporating discretization schemes with higher-order strong convergence, in order to simulate the underlying stochastic differential equations (SDEs) thereby achieving better accuracy. In order to do so, we study the Central Limit Theorem for the general multilevel algorithm. Further, we study the asymptotic behavior of our estimator, thereby proving the Strong Law of Large Numbers. Finally, we present numerical results to substantiate the efficacy of our developed algorithm.


title: Optimal design of lottery with cumulative prospect theory

abstract: A lottery is a popular form of gambling between a seller and multiple buyers, and its profitable design is of primary interest to the seller. Designing a lottery requires modeling the buyer decision-making process for uncertain outcomes. One of the most promising descriptive models of such decision-making is the cumulative prospect theory (CPT), which represents people's different attitudes towards gain and loss, and their overestimation of extreme events. In this study, we design a lottery that maximizes the seller's profit when the buyers follow CPT. The derived problem is nonconvex and constrained, and hence, it is challenging to directly characterize its optimal solution. We overcome this difficulty by reformulating the problem as a three-level optimization problem. The reformulation enables us to characterize the optimal solution. Based on this characterization, we propose an algorithm that computes the optimal lottery in linear time with respect to the number of lottery tickets. In addition, we provide an efficient algorithm for a more general setting in which the ticket price is constrained. To the best of the authors' knowledge, this is the first study that employs the CPT framework for designing an optimal lottery.


title: Nakano-Nadel type, Bogomolov-Sommese type vanishing and singular dual Nakano semi-positivity

abstract: In this article, we get properties for singular (dual) Nakano semi-positivity and obtain singular type vanishing theorem involving $L^2$-subsheaves on weakly pseudoconvex manifolds by $L^2$-estimates and $L^2$-type Dolbeault isomorphisms. As applications, Fujita's conjecture type theorem with singular Hermitian metrics is presented.


title: Geo-Spatio-Temporal Information Based 3D Cooperative Positioning in LOS/NLOS Mixed Environments

abstract: We propose a geographic and spatio-temporal information based distributed cooperative positioning (GSTICP) algorithm for wireless networks that require three-dimensional (3D) coordinates and operate in the line-of-sight (LOS) and nonline-of-sight (NLOS) mixed environments. First, a factor graph (FG) is created by factorizing the a posteriori distribution of the position-vector estimates and mapping the spatial-domain and temporal-domain operations of nodes onto the FG. Then, we exploit a geographic information based NLOS identification scheme to reduce the performance degradation caused by NLOS measurements. Furthermore, we utilize a finite symmetric sampling based scaled unscented transform (SUT) method to approximate the nonlinear terms of the messages passing on the FG with high precision, despite using only a small number of samples. Finally, we propose an enhanced anchor upgrading (EAU) mechanism to avoid redundant iterations. Our GSTICP algorithm supports any type of ranging measurement that can determine the distance between nodes. Simulation results and analysis demonstrate that our GSTICP has a lower computational complexity than the state-of-the-art belief propagation (BP) based localizers, while achieving an even more competitive positioning performance.


title: Stability of synchronization in simplicial complexes with multiple interaction layers

abstract: Understanding how the interplay between higher-order and multilayer structures of interconnections influences the synchronization behaviors of dynamical systems is a feasible problem of interest, with possible application in essential topics such as neuronal dynamics. Here, we provide a comprehensive approach for analyzing the stability of the complete synchronization state in simplicial complexes with numerous interaction layers. We show that the synchronization state exists as an invariant solution and derive the necessary condition for a stable synchronization state in presence of general coupling functions. It generalizes the well-known master stability function scheme to the higher-order structures with multiple interaction layers. We verify our theoretical results by employing them on networks of paradigmatic R\"{o}ssler oscillators and Sherman neuronal models, and demonstrate that the presence of group interactions considerably improves the synchronization phenomenon in the multilayer framework.


title: Semimetallic Kondo lattice behavior in YbPdAs with a distorted kagome structure

abstract: We have synthesized YbPdAs with the hexagonal ZrNiAl-type structure, in which the Yb-atoms form a distorted kagome sublattice in the hexagonal basal plane. Magnetic, transport, and thermodynamic measurements indicate that YbPdAs is a low-carrier Kondo lattice compound with an antiferromagnetic transition at $T_\mathrm{N}$ = 6.6 K, which is slightly suppressed in applied magnetic fields up to 9 T. The magnetic entropy at $T_\mathrm{N}$ recovers only 33\% of $R\ln{2}$, the full entropy of the ground state doublet of the Yb-ions. The resistivity displays a $-\ln T$ dependence between 30 and 15 K, followed by a broad maximum at $T\rm_{coh}$ = 12 K upon cooling. Below $T\rm_{coh}$, the magnetoresistance changes from negative to positive, suggesting a crossover from single-ion Kondo scattering processes at intermediate temperatures to coherent Kondo lattice behaviors at low temperatures. Both the Hall resistivity measurements and band structure calculations indicate a relatively low carrier concentration in YbPdAs. Our results suggest that YbPdAs could provide an opportunity for examining the interplay of Kondo physics and magnetic frustration in low carrier systems.


title: Constraining primordial tensor features with the anisotropies of the Cosmic Microwave Background

abstract: It is commonly assumed that the stochastic background of gravitational waves on cosmological scales follows an almost scale-independent power spectrum, as generically predicted by the inflationary paradigm. However, it is not inconceivable that the spectrum could have strongly scale-dependent features, generated, e.g., via transient dynamics of spectator axion-gauge fields during inflation. Using the temperature and polarisation maps from the \textit{Planck} and BICEP/Keck datasets, we search for such features, taking the example of a log-normal bump in the primordial tensor spectrum at CMB scales. We do not find any evidence for the existence of bump-like tensor features at present, but demonstrate that future CMB experiments such as LiteBIRD and CMB-S4 will greatly improve our prospects of determining the amplitude, location and width of such a bump. We also highlight the role of delensing in constraining these features at angular scales $\ell\gtrsim 100$.


title: Triage of the Gaia DR3 astrometric orbits. I. A sample of binaries with probable compact companions

abstract: In preparation for the release of the astrometric orbits of Gaia, Shahaf et al. (2019) proposed a triage technique to identify astrometric binaries with compact companions based on their astrometric semi-major axis, parallax, and primary mass. The technique requires the knowledge of the appropriate mass-luminosity relation to rule out single or close-binary main-sequence companions. The recent publication of the Gaia DR3 astrometric orbits used a schematic version of this approach, identifying 735 astrometric binaries that might have compact companions. In this communication, we return to the triage of the DR3 astrometric binaries with more careful analysis, estimating the probability for its astrometric secondary to be a compact object or a main-sequence close binary. We compile a sample of 177 systems with highly-probable non-luminous massive companions, which is smaller but cleaner than the sample reported in Gaia DR3. The new sample includes 8 candidates to be black-hole systems with compact-object masses larger than 2.4 $M_\odot$. The orbital-eccentricity$-$secondary-mass diagram of the other 169 systems suggests a tentative separation between the white-dwarf and the neutron-star binaries. Most white-dwarf binaries are characterized by small eccentricities of about 0.1 and masses of 0.6 $M_\odot$, while the neutron star binaries display typical eccentricities of 0.4 and masses of 1.3 $M_\odot$.


title: The crossed-sine wavefront sensor: first tests and results

abstract: The crossed-sine wavefront sensor (WFS) is a pupil plane wavefront sensor that measures the first derivatives of the wavefront. It is made by three main components: a gradient transmission filter (GTF) built from a product of sine functions rotated by 45 degrees around the optical axis, a 2x2 mini-lens array (MLA) at the focus of the tested optical system and a detector array located on a plane conjugated to the pupil. The basic principle consists in acquiring four pupil images simultaneously, each image being observed from different points located behind the GTF. After the simulation work which demonstrated the wavefront reconstruction capability, we are now in the phase of implementation of the prototype in the lab. The crossed-sine WFS could achieve a simultaneous high spatial resolution at the pupil of the tested optics and absolute measurement accuracy comparable to that attained by laser-interferometers. In this paper we introduce seven customized phase masks and make measurements of them.First tests and resultsare demonstrated, based on which we explore the performance of our crossed-sine WFS and make comparisons with that of the laser-interferomete


title: Domain Adaptation from Scratch

abstract: Natural language processing (NLP) algorithms are rapidly improving but often struggle when applied to out-of-distribution examples. A prominent approach to mitigate the domain gap is domain adaptation, where a model trained on a source domain is adapted to a new target domain. We present a new learning setup, ``domain adaptation from scratch'', which we believe to be crucial for extending the reach of NLP to sensitive domains in a privacy-preserving manner. In this setup, we aim to efficiently annotate data from a set of source domains such that the trained model performs well on a sensitive target domain from which data is unavailable for annotation. Our study compares several approaches for this challenging setup, ranging from data selection and domain adaptation algorithms to active learning paradigms, on two NLP tasks: sentiment analysis and Named Entity Recognition. Our results suggest that using the abovementioned approaches eases the domain gap, and combining them further improves the results.


title: On the oscillation of linear matrix Hamiltonian systems

abstract: The Riccati equation method is used to establish new oscillation criteria for linear matrix Hamiltonian systems. New approaches allow to extend and completed a result, obtained by S. Kumary and S. Umamaheswaram. The oscillation problem for linear matrix Hamiltonian systems in a new direction, which is to break the positive definiteness condition, imposed on one of the coeffcients of the system, is investigated. Some examples are provided for comparing the obtained results with each other and with the result of S. Kumary and S. Umamaheswaram, as well as to illustrate the applicability of these results.


title: Efficiency of estimators for locally asymptotically normal quantum statistical models

abstract: We herein establish an asymptotic representation theorem for locally asymptotically normal quantum statistical models. This theorem enables us to study the asymptotic efficiency of quantum estimators such as quantum regular estimators and quantum minimax estimators, leading to a universal tight lower bound beyond the i.i.d. assumption. This formulation complements the theory of quantum contiguity developed in the previous paper [Fujiwara and Yamagata, Bernoulli 26 (2020) 2105-2141], providing a solid foundation of the theory of weak quantum local asymptotic normality.


title: Quantum Phase Diagram and Spontaneously Emergent Topological Chiral Superconductivity in Doped Triangular-Lattice Mott Insulators

abstract: The topological superconducting state is a highly sought-after quantum state hosting topological order and Majorana excitations. In this work, we explore the mechanism to realize the topological superconductivity (TSC) in the doped Mott insulators with time-reversal symmetry (TRS). Through large-scale density matrix renormalization group study of an extended triangular-lattice $t$-$J$ model on the six- and eight-leg cylinders, we identify a $d+id$-wave chiral TSC with spontaneous TRS breaking, which is characterized by a Chern number $C=2$ and quasi-long-range superconducting order. We map out the quantum phase diagram by tuning the next-nearest-neighbor (NNN) electron hopping and spin interaction. In the weaker NNN-coupling regime, we identify a pseudogaplike phase with a charge stripe order coexisting with fluctuating superconductivity, which can be tuned into $d$-wave superconductivity by increasing the doping level and system width. The TSC emerges in the intermediate-coupling regime, which has a transition to a $d$-wave superconducting phase with larger NNN couplings. The emergence of the TSC is driven by geometrical frustrations and hole dynamics which suppress spin correlation and charge order, leading to a topological quantum phase transition.


title: 2D-Block Geminals: a non 1-orthogonal and non 0-seniority model with reduced computational complexity

abstract: We present a new geminal product wave function ansatz where the geminals are not constrained to be strongly orthogonal nor to be of seniority zero. Instead, we introduce weaker orthogonality constraints between geminals which significantly lower the computational effort, without sacrificing the indistinguishability of the electrons. That is to say, the electron pairs corresponding to the geminals are not fully distinguishable, and their product has still to be antisymmetrized according to the Pauli principle to form a \textit{bona fide} electronic wave function.Our geometrical constraints translate into simple equations involving the traces of products of our geminal matrices. In the simplest non-trivial model, a set of solutions is given by block-diagonal matrices where each block is of size 2x2 and consists of either a Pauli matrix or a normalized diagonal matrix, multiplied by a complex parameter to be optimized. With this simplified ansatz for geminals, the number of terms in the calculation of the matrix elements of quantum observables is considerably reduced. A proof of principle is reported and confirms that the ansatz is more accurate than strongly orthogonal geminal products while remaining computationally affordable.

categories: physics.chem-ph math-ph math.MP quant-ph


title: Self-Score: Self-Supervised Learning on Score-Based Models for MRI Reconstruction

abstract: Recently, score-based diffusion models have shown satisfactory performance in MRI reconstruction. Most of these methods require a large amount of fully sampled MRI data as a training set, which, sometimes, is difficult to acquire in practice. This paper proposes a fully-sampled-data-free score-based diffusion model for MRI reconstruction, which learns the fully sampled MR image prior in a self-supervised manner on undersampled data. Specifically, we first infer the fully sampled MR image distribution from the undersampled data by Bayesian deep learning, then perturb the data distribution and approximate their probability density gradient by training a score function. Leveraging the learned score function as a prior, we can reconstruct the MR image by performing conditioned Langevin Markov chain Monte Carlo (MCMC) sampling. Experiments on the public dataset show that the proposed method outperforms existing self-supervised MRI reconstruction methods and achieves comparable performances with the conventional (fully sampled data trained) score-based diffusion methods.


title: Information Visualization for Effective Altruism

abstract: Effective altruism is a movement whose goal it to use evidence and reason to figure out how to benefit others as much as possible. This movement is becoming influential, but effective altruists still lack tools to help them understand complex humanitarian trade-offs and make good decisions based on data. Visualization-the study of computer-supported, visual representations of data meant to support understanding, communication, and decision makingcan help alleviate this issue. Conversely, effective altruism provides a powerful thinking framework for visualization research that focuses on humanitarian applications.


title: An embedding of the skein action on set partitions into the skein action on matchings

abstract: Rhoades defined a skein action of the symmetric group on noncrossing set partitions which generalized an action of the symmetric group on matchings. The $\mathfrak{S}_n$-action on matchings is made possible via the Ptolemy relation, while the action on set partitions is defined in terms of a set of skein relations that generalize the Ptolemy relation. The skein action on noncrossing set partitions has seen applications to coinvariant theory and coordinate rings of partial flag varieties. In this paper, we will show how Rhoades' $\mathfrak{S}_n$-module can be embedded into the $\mathfrak{S}_n$-module generated by matchings, thereby explaining how Rhoades' generalized skein relations all arise from the Ptolemy relation.


title: Needs and Challenges of Personal Data Visualisations in Mobile Health Apps: User Survey

abstract: Personal data visualisations are becoming a critical contributor toward the successful adoption of mobile health (m-health) apps. Thus, understanding user needs and challenges when using mobile personal data visualisation is essential to ensuring the adoption of these apps. This paper presents the results of a user survey to understand users' demographics, tasks, needs, and challenges of using mobile personal data visualisations. We had 56 complete responses. The survey's key findings are: 1) 51\% of the users use multiple health tracking apps to achieve their goals/needs; 2) bar charts and pie charts are the most favourable charts to view health data; 3) users prefer to visualise their data using a mix of text and charts - explanation is essential. Furthermore, the top three challenges reported by the participants are: too much data displayed, overlapping text, and visualisations are not helpful in information exploration. On the other hand, users' top three encouragement factors are easy-to-read presented data, easy to navigate, and quality data are shown in the chart. Furthermore, fun and curiosity are the primary drivers of m-health tracking apps. Finally, based on survey results, we propose data visualisation designing and developing guidelines that should avoid the reported challenges and ensure user satisfaction. In future work, we plan to contextualise our study and investigate the pain and gain of data visualised in the following m-health domains: sports activities, heart monitoring, blood pressure, sleeping pattern, and eating habits.


title: Human Activity Recognition on Microcontrollers with Quantized and Adaptive Deep Neural Networks

abstract: Human Activity Recognition (HAR) based on inertial data is an increasingly diffused task on embedded devices, from smartphones to ultra low-power sensors. Due to the high computational complexity of deep learning models, most embedded HAR systems are based on simple and not-so-accurate classic machine learning algorithms. This work bridges the gap between on-device HAR and deep learning, proposing a set of efficient one-dimensional Convolutional Neural Networks (CNNs) deployable on general purpose microcontrollers (MCUs). Our CNNs are obtained combining hyper-parameters optimization with sub-byte and mixed-precision quantization, to find good trade-offs between classification results and memory occupation. Moreover, we also leverage adaptive inference as an orthogonal optimization to tune the inference complexity at runtime based on the processed input, hence producing a more flexible HAR system. With experiments on four datasets, and targeting an ultra-low-power RISC-V MCU, we show that (i) We are able to obtain a rich set of Pareto-optimal CNNs for HAR, spanning more than 1 order of magnitude in terms of memory, latency and energy consumption; (ii) Thanks to adaptive inference, we can derive >20 runtime operating modes starting from a single CNN, differing by up to 10% in classification scores and by more than 3x in inference complexity, with a limited memory overhead; (iii) on three of the four benchmarks, we outperform all previous deep learning methods, reducing the memory occupation by more than 100x. The few methods that obtain better performance (both shallow and deep) are not compatible with MCU deployment. (iv) All our CNNs are compatible with real-time on-device HAR with an inference latency <16ms. Their memory occupation varies in 0.05-23.17 kB, and their energy consumption in 0.005 and 61.59 uJ, allowing years of continuous operation on a small battery supply.


title: FOLIO: Natural Language Reasoning with First-Order Logic

abstract: Large language models (LLMs) have achieved remarkable performance on a variety of natural language understanding tasks. However, existing benchmarks are inadequate in measuring the complex logical reasoning capabilities of a model. We present FOLIO, a human-annotated, logically complex and diverse dataset for reasoning in natural language (NL), equipped with first-order logic (FOL) annotations. FOLIO consists of 1,430 examples (unique conclusions), each paired with one of 487 sets of premises used to deductively reason for the validity of each conclusion. The logical correctness of the premises and conclusions is ensured by their FOL annotations, which are automatically verified by an FOL inference engine. In addition to the main NL reasoning task, NL-FOL pairs in FOLIO constitute a new NL-FOL translation dataset. Our experiments on FOLIO systematically evaluate the FOL reasoning ability of supervised fine-tuning on medium-sized language models. For both NL reasoning and NL-FOL translation, we benchmark multiple state-of-the-art language models. Our results show that a subset of FOLIO presents a challenge for one of the most capable {Large Language Model (LLM)} publicly available, GPT-4.


title: Geometric and Learning-based Mesh Denoising: A Comprehensive Survey

abstract: Mesh denoising is a fundamental problem in digital geometry processing. It seeks to remove surface noise, while preserving surface intrinsic signals as accurately as possible. While the traditional wisdom has been built upon specialized priors to smooth surfaces, learning-based approaches are making their debut with great success in generalization and automation. In this work, we provide a comprehensive review of the advances in mesh denoising, containing both traditional geometric approaches and recent learning-based methods. First, to familiarize readers with the denoising tasks, we summarize four common issues in mesh denoising. We then provide two categorizations of the existing denoising methods. Furthermore, three important categories, including optimization-, filter-, and data-driven-based techniques, are introduced and analyzed in detail, respectively. Both qualitative and quantitative comparisons are illustrated, to demonstrate the effectiveness of the state-of-the-art denoising methods. Finally, potential directions of future work are pointed out to solve the common problems of these approaches. A mesh denoising benchmark is also built in this work, and future researchers will easily and conveniently evaluate their methods with the state-of-the-art approaches.


title: genomepy: genes and genomes at your fingertips

abstract: Analyzing a functional genomics experiment, such as ATAC-, ChIP- or RNA-sequencing, requires reference data including a genome assembly and gene annotation. These resources can generally be retrieved from different organizations and in different versions. Most bioinformatic workflows require the user to supply this genomic data manually, which can be a tedious and error-prone process. Here we present genomepy, which can search, download, and preprocess the right genomic data for your analysis. Genomepy can search genomic data on NCBI, Ensembl, UCSC and GENCODE, and compare available gene annotations to enable an informed decision. The selected genome and gene annotation can be downloaded and preprocessed with sensible, yet controllable, defaults. Additional supporting data can be automatically generated or downloaded, such as aligner indexes, genome metadata and blacklists. Genomepy is freely available at https://github.com/vanheeringen-lab/genomepy under the MIT license and can be installed through pip or bioconda.


title: Accelerating LHC event generation with simplified pilot runs and fast PDFs

abstract: Poor computing efficiency of precision event generators for LHC physics has become a bottleneck for Monte-Carlo event simulation campaigns. We provide solutions to this problem by focusing on two major components of general-purpose event generators: The PDF evaluator and the matrix-element generator. For a typical production setup in the ATLAS experiment, we show that the two can consume about 80% of the total runtime. Using NLO simulations of $pp\to\ell^+\ell^-+\text{jets}$ and $pp\to t\bar{t}+\text{jets}$ as an example, we demonstrate that the computing footprint of LHAPDF and Sherpa can be reduced by factors of order 10, while maintaining the formal accuracy of the event sample. The improved codes are made publicly available.