title: ReInform: Selecting paths with reinforcement learning for contextualized link prediction

abstract: We propose to use reinforcement learning to inform transformer-based contextualized link prediction models by providing paths that are most useful for predicting the correct answer. This is in contrast to previous approaches, that either used reinforcement learning (RL) to directly search for the answer, or based their prediction on limited or randomly selected context. Our experiments on WN18RR and FB15k-237 show that contextualized link prediction models consistently outperform RL-based answer search, and that additional improvements (of up to 13.5% MRR) can be gained by combining RL with a link prediction model. The PyTorch implementation of the RL agent is available at https://github.com/marina-sp/reinform


title: Nonlinear Electrodynamics without Birefringence

abstract: All solutions of the no-birefringence conditions for nonlinear electrodynamics are found. In addition to the known Born-Infeld and Plebanski cases, we find a ``reverse Born-Infeld'' case, which has a limit to Plebanski, and an ``extreme-Born-Infeld'' case, which arises as a Lagrangian constraint. Only Born-Infeld has a weak-field limit, and only Born-Infeld and extreme-Born Infeld avoid superluminal propagation in constant electromagnetic backgrounds, but all cases have a conformal strong-field limit that coincides with the strong-field limit of Born-Infeld found by Bialynicki-Birula.


title: convoHER2: A Deep Neural Network for Multi-Stage Classification of HER2 Breast Cancer

abstract: Generally, human epidermal growth factor 2 (HER2) breast cancer is more aggressive than other kinds of breast cancer. Currently, HER2 breast cancer is detected using expensive medical tests are most expensive. Therefore, the aim of this study was to develop a computational model named convoHER2 for detecting HER2 breast cancer with image data using convolution neural network (CNN). Hematoxylin and eosin (H&E) and immunohistochemical (IHC) stained images has been used as raw data from the Bayesian information criterion (BIC) benchmark dataset. This dataset consists of 4873 images of H&E and IHC. Among all images of the dataset, 3896 and 977 images are applied to train and test the convoHER2 model, respectively. As all the images are in high resolution, we resize them so that we can feed them in our convoHER2 model. The cancerous samples images are classified into four classes based on the stage of the cancer (0+, 1+, 2+, 3+). The convoHER2 model is able to detect HER2 cancer and its grade with accuracy 85% and 88% using H&E images and IHC images, respectively. The outcomes of this study determined that the HER2 cancer detecting rates of the convoHER2 model are much enough to provide better diagnosis to the patient for recovering their HER2 breast cancer in future.


title: Two Facets of SDE Under an Information-Theoretic Lens: Generalization of SGD via Training Trajectories and via Terminal States

abstract: Stochastic differential equations (SDEs) have been shown recently to characterize well the dynamics of training machine learning models with SGD. When the generalization error of the SDE approximation closely aligns with that of SGD in expectation, it provides two opportunities for understanding better the generalization behaviour of SGD through its SDE approximation. Firstly, viewing SGD as full-batch gradient descent with Gaussian gradient noise allows us to obtain trajectory-based generalization bound using the information-theoretic bound from Xu and Raginsky [2017]. Secondly, assuming mild conditions, we estimate the steady-state weight distribution of SDE and use information-theoretic bounds from Xu and Raginsky [2017] and Negrea et al. [2019] to establish terminal-state-based generalization bounds. Our proposed bounds have some advantages, notably the trajectory-based bound outperforms results in Wang and Mao [2022], and the terminal-state-based bound exhibits a fast decay rate comparable to stability-based bounds.


title: Anomalous sign inversion of spin-orbit torque in ferromagnetic/nonmagnetic bilayer systems due to self-induced spin-orbit torque

abstract: Self-induced spin-orbit torques (SI-SOTs) in ferromagnetic (FM) layers have been overlooked when estimating the spin Hall angle (SHA) of adjacent nonmagnetic (NM) layers. In this work, we observe anomalous sign inversion of the total SOT in the spin-torque ferromagnetic resonance due to the enhanced SI-SOT, and successfully rationalize the sign inversion through a theoretical calculation considering the SHE in both the NM and FM layers. The findings show that using an FM layer whose SHA sign is the same as that of the NM achieves efficient SOT-magnetization switching with the assistance of the SI-SOT. The contribution of the SI-SOT becomes salient for a weakly conductive NM layer, and conventional analyses that do not consider the SI-SOT can overestimate the SHA of the NM layer by a factor of more than 150.


title: Spatial regression-based transfer learning for prediction problems

abstract: Although spatial prediction is widely used for urban and environmental monitoring, its accuracy is often unsatisfactory if only a small number of samples are available in the study area. The objective of this study was to improve the prediction accuracy in such a case through transfer learning using larger samples obtained outside the study area. Our proposal is to pre-train latent spatial-dependent processes, which are difficult to transfer, and apply them as additional features in the subsequent transfer learning. The proposed method is designed to involve local spatial dependence and can be implemented easily. This spatial-regression-based transfer learning is expected to achieve a higher and more stable prediction accuracy than conventional learning, which does not explicitly consider local spatial dependence. The performance of the proposed method was examined using land price and crime predictions. These results suggest that the proposed method successfully improved the accuracy and stability of these spatial predictions.


title: Parametric triggering of vortices in toroidally trapped rotating Bose-Einstein condensates

abstract: We study the creation of vortices by triggering the rotating Bose-Einstein condensates in a toroidal trap with trap parameters such as laser beam waist and Gaussian potential depth. By numerically solving the time-dependent Gross-Pitaevskii equation in two dimensions, we observe a change in vortex structure and a considerable increase in the number of vortices when the waist of the irradiated laser beam is in consonance with the area of the condensate as we vary the Gaussian potential depth. By computing the root mean square radius of the condensate, we confirm the variation in the number of vortices generated as a function of the ratio between the root-mean-square radius of the condensate and the laser beam waist. In particular, the number of hidden vortices reaches the maximum value when the above ratio is close to the value 0.7. We find the variation in the number of vortices is rapid for deeper Gaussian potentials, and we conclude that the larger beam waist and deeper Gaussian potentials generate more vortices. Further, we calculate the number of vortices using the Feynman rule with Thomas Fermi approximation and compare them with the numerical results. We also observe that the critical rotation frequency decreases with an increase in depth of Gaussian potential.


title: The Isaac Newton Telescope monitoring survey of Local Group dwarf galaxies--V. The star formation history of Sagittarius dwarf irregular galaxy derived from long period variable stars

abstract: We conducted an optical monitoring survey of the Sagittarius dwarf irregular galaxy (SagDIG) during the period of June 2016 -- October 2017, using the 2.5-m Isaac Newton Telescope (INT) at La Palama. Our goal was to identify Long Period Variable stars (LPVs), namely asymptotic giant branch stars (AGBs) and red supergiant stars (RSGs), to obtain the Star Formation History (SFH) of isolated, metal-poor SagDIG. For our purpose, we used a method that relies on evaluating the relation between luminosity and the birth mass of these most evolved stars. We found $27$ LPV candidates within two half-light radii of SagDIG. $10$ LPV candidates were in common with previous studies, including one very dusty AGB (x-AGB). By adopting the metallicity $Z = 0.0002$ for older population and $Z=0.0004$ for younger ages, we estimated that the star formation rate changes from $0.0005\pm0.0002$ M$_{\odot}$yr$^{-1}$kpc$^{-2}$ ($13$ Gyr ago) to $0.0021 \pm 0.0010$ M$_{\odot}$yr$^{-1}$kpc$^{-2}$ ($0.06$ Gyr ago). Like many dwarf irregular galaxies, SagDIG has had continuous star formation activity across its lifetime, though with different rates, and experiences an enhancement of star formation since $z \simeq 1$. We also evaluated the total stellar mass within two half-light radii of SagDIG for three choices of metallicities. For metallicity $Z = 0.0002$ and $Z=0.0004$ we estimated the stellar mass M$_*$ = ($5.4 \pm 2.3$) $\times$ $10^ 6$ and ($3.0 \pm 1.3$) $\times$ $10^ 6$ M$_{\odot}$, respectively. Additionally, we determined a distance modulus $\mu$ = $25.27\pm0.05$ mag, using the tip of the red giant branch (TRGB).


title: Practical Challenges And Pitfalls Of Bluetooth Mesh Data Collection Experiments With Esp-32 Microcontrollers

abstract: Testing network algorithms in physical environments using real hardware is an important step to reduce the gap between theory and practice in the field, and an interesting way to explore technologies such as Bluetooth Mesh. We implemented a Bluetooth Mesh data collection strategy and deployed it in indoor and outdoor settings, using ESP-32 microcontrollers. This data collection strategy also covers an alternative packet routing strategy based on Bluetooth Mesh - MAM - already discussed and simulated in previous work using the OMNET++ simulator. We compared the real-world ESP-32 experiments with the past simulations, and the results differed significantly: the simulations predicted a +459\% unique message collection compared to the results we obtained with the ESP-32. Based on those results, we also identified vast room for improvement in our ESP-32 implementation for future work, including solving an unexpected packet duplication in the MAM algorithm implementation. Even so, MAM performed better than Bluetooth Mesh's default relay strategy, with up to +4.06\% more (unique) data messages collected. We also discuss some challenges we experienced when implementing, deploying, and running benchmarks using Bluetooth Mesh and the ESP-32 platform.


title: Theory of quasi-ballistic FET: steady-state regime and low-frequency noise

abstract: We present the theoretical analysis of steady state regimes and low-frequency noises in quasi-ballistic FETs. The noise analysis is based on the Langevin approach, which accounts for the microscopic sources of fluctuations originated from intrachannel electron scattering. The general formulas for local fluctuations of the carrier concentration, velocity and electrostatic potential as well, as their distributions along the channel are found as functions of applied voltage/current. Two circuit regimes with stabilized current and stabilized voltage are considered. The noise intensities for the devices with different ballisticity are compared. We suggest that the presented analysis makes better comprehension of physics of electron transport and fluctuations in quasi-ballistic FETs, improves their theoretical description and can be useful for device simulation and design.


title: A Conservative Cartesian Cut Cell Method for the Solution of the Incompressible Navier-Stokes Equations on Staggered Meshes

abstract: The treatment of complex geometries in Computational Fluid Dynamics applications is a challenging endeavor, which immersed boundary and cut-cell techniques can significantly simplify by alleviating the meshing process required by body-fitted meshes. These methods however introduce new challenges, as the formulation of accurate and well-posed discrete operators becomes nontrivial. Here, a conservative cartesian cut cell method is proposed for the solution of the incompressible Navier--Stokes equation on staggered Cartesian grids. Emphasis is set on the structure of the discrete operators, designed to mimic the properties of the continuous ones while retaining a nearest-neighbor stencil. For convective transport, a divergence is proposed and shown to also be skew-symmetric as long as the divergence-free condition is satisfied, ensuring mass, momentum and kinetic energy conservation (the latter in the inviscid limit). For viscous transport, conservative and symmetric operators are proposed for Dirichlet boundary conditions. Symmetry ensures the existence of a sink term (viscous dissipation) in the discrete kinetic energy budget, which is beneficial for stability. The cut-cell discretization possesses the much desired summation-by-parts (SBP) properties. In addition, it is fully conservative, mathematically provably stable and supports arbitrary geometries. The accuracy and robustness of the method are then demonstrated with flows past a circular cylinder and an airfoil.


title: Wireless Connectivity of a Ground-and-Air Sensor Network

abstract: This paper shows that, when considering outdoor scenarios and wireless communications using the IEEE 802.11 protocol with dipole antennas, the ground reflection is a significant propagation mechanism. This way, the Two-Ray model for this environment allows predicting, with some accuracy, the received signal power. This study is relevant for the application in the communication between overflying Unmanned Aerial Vehicles (UAVs) and ground sensors. In the proposed Wireless Sensor Network (WSN) scenario, the UAVs must receive information from the environment, which is collected by sensors positioned on the ground, and need to maintain connectivity between them and the base station, in order to maintain the quality of service, while moving through the environment.


title: Intelligent Reflecting Surfaces Assisted Millimeter Wave MIMO Full Duplex Systems

abstract: Full duplex (FD) systems suffer from very high hardware cost and high power consumption to mitigate the self-interference (SI) in the analog domain. Moreover, in millimeter wave (mmWave) they rely on hybrid beamforming (HYBF) as a signal processing tool to partially deal with the SI, which presents many drawbacks such as high insertion loss and high power consumption. This article proposes the use of near-field (NF-) IRSs for FD systems with the objective to solve the aforementioned issues cost-efficiently. Namely, we propose to truncate the analog/hybrid beamforming stage of the mmWave FD systems and compensate it with an NF-IRS, to simultaneously and smartly control the uplink (UL) and downlink (DL) channels, while assisting in shaping the SI channel: this to obtain very strong passive SI cancellation. A novel joint active and passive beamforming design for the weighted sum-rate (WSR) maximization of a NF-IRS-assisted mmWave point-to-point FD system is presented. Results show that the proposed solution fully reaps the benefits of the IRSs only when they operate in the NF, which leads to considerably higher gains compared to the conventional massive MIMO (mMIMO) mmWave FD and half duplex (HD) systems.


abstract: Complementary Labels Learning (CLL) arises in many real-world tasks such as private questions classification and online learning, which aims to alleviate the annotation cost compared with standard supervised learning. Unfortunately, most previous CLL algorithms were in a stable environment rather than an open and dynamic scenarios, where data collected from unseen augmented classes in the training process might emerge in the testing phase. In this paper, we propose a novel problem setting called Complementary Labels Learning with Augmented Classes (CLLAC), which brings the challenge that classifiers trained by complementary labels should not only be able to classify the instances from observed classes accurately, but also recognize the instance from the Augmented Classes in the testing phase. Specifically, by using unlabeled data, we propose an unbiased estimator of classification risk for CLLAC, which is guaranteed to be provably consistent. Moreover, we provide generalization error bound for proposed method which shows that the optimal parametric convergence rate is achieved for estimation error. Finally, the experimental results on several benchmark datasets verify the effectiveness of the proposed method.


title: Cluster transformations, the tetrahedron equation and three-dimensional gauge theories

abstract: We define three families of quivers in which the braid relations of the symmetric group $S_n$ are realized by mutations and automorphisms. A sequence of eight braid moves on a reduced word for the longest element of $S_4$ yields three trivial cluster transformations with 8, 32 and 32 mutations. For each of these cluster transformations, a unitary operator representing a single braid move in a quantum mechanical system solves the tetrahedron equation. The solutions thus obtained are constructed from the noncompact quantum dilogarithm and can be identified with the partition functions of three-dimensional $\mathcal{N} = 2$ supersymmetric gauge theories on a squashed three-sphere.


title: Non-centered parametric variational Bayes' approach for hierarchical inverse problems of partial differential equations

abstract: This paper proposes a non-centered parameterization based infinite-dimensional mean-field variational inference (NCP-iMFVI) approach for solving the hierarchical Bayesian inverse problems. This method can generate available estimates from the approximated posterior distribution efficiently. To avoid the mutually singular obstacle that occurred in the infinite-dimensional hierarchical approach, we propose a rigorous theory of the non-centered variational Bayesian approach. Since the non-centered parameterization weakens the connection between the parameter and the hyper-parameter, we can introduce the hyper-parameter to all terms of the eigendecomposition of the prior covariance operator. We also show the relationships between the NCP-iMFVI and infinite-dimensional hierarchical approaches with centered parameterization. The proposed algorithm is applied to three inverse problems governed by the simple smooth equation, the Helmholtz equation, and the steady-state Darcy flow equation. Numerical results confirm our theoretical findings, illustrate the efficiency of solving the iMFVI problem formulated by large-scale linear and nonlinear statistical inverse problems, and verify the mesh-independent property.


title: Recovering orthogonality from Quasi-type Kernel Polynomials using specific spectral transformations

abstract: In this work, the concept of quasi-type Kernel polynomials with respect to a moment functional is introduced. Difference equation satisfied by these polynomials along with the criterion for orthogonality conditions are discussed. The process of recovering orthogonality for the linear combination of a quasi-type kernel polynomial with another orthogonal polynomial, which is identified by involving linear spectral transformation, is provided. This process involves an expression of ratio of iterated kernel polynomials. This lead to considering the limiting case of ratio of kernel polynomials involving continued fractions. Special cases of such ratios in terms of certain continued fractions are exhibited.


title: TORE: Token Reduction for Efficient Human Mesh Recovery with Transformer

abstract: In this paper, we introduce a set of simple yet effective TOken REduction (TORE) strategies for Transformer-based Human Mesh Recovery from monocular images. Current SOTA performance is achieved by Transformer-based structures. However, they suffer from high model complexity and computation cost caused by redundant tokens. We propose token reduction strategies based on two important aspects, i.e., the 3D geometry structure and 2D image feature, where we hierarchically recover the mesh geometry with priors from body structure and conduct token clustering to pass fewer but more discriminative image feature tokens to the Transformer. Our method massively reduces the number of tokens involved in high-complexity interactions in the Transformer. This leads to a significantly reduced computational cost while still achieving competitive or even higher accuracy in shape recovery. Extensive experiments across a wide range of benchmarks validate the superior effectiveness of the proposed method. We further demonstrate the generalizability of our method on hand mesh recovery. Visit our project page at https://frank-zy-dou.github.io/projects/Tore/index.html.


title: A Comparison Between Different Formulations for Solving Axisymmetric Time-Harmonic Electromagnetic Wave Problems

abstract: In many time-harmonic electromagnetic wave problems, the considered geometry exhibits an axial symmetry. In this case, by exploiting a Fourier expansion along the azimuthal direction, fully three-dimensional (3D) calculations can be carried out on a two-dimensional (2D) angular cross section of the problem, thus significantly reducing the computational effort. However, the transition from a full 3D problem to a 2D analysis introduces additional difficulties such as, among others, a singularity in the variational formulation. In this work, we compare and discuss different finite element formulations to deal with these obstacles. Particular attention is paid to spurious modes and to the convergence behavior when using high-order elements.


title: Suffering from Vaccines or from Government? : Partisan Bias in COVID-19 Vaccine Adverse Events Coverage

abstract: Vaccine adverse events have been presumed to be a relatively objective measure that is immune to political polarization. The real-world data, however, shows the correlation between presidential disapproval ratings and the subjective severity of adverse events. This paper investigates the partisan bias in COVID vaccine adverse events coverage with language models that can classify the topic of vaccine-related articles and the political disposition of news comments. Based on 90K news articles from 52 major newspaper companies, we found that conservative media are inclined to report adverse events more frequently than their liberal counterparts, while the coverage itself was statistically uncorrelated with the severity of real-world adverse events. The users who support the conservative opposing party were more likely to write the popular comments from 2.3K random sampled articles on news platforms. This research implies that bipartisanship can still play a significant role in forming public opinion on the COVID vaccine even after the majority of the population's vaccination


title: A Survey on Differential Privacy with Machine Learning and Future Outlook

abstract: Nowadays, machine learning models and applications have become increasingly pervasive. With this rapid increase in the development and employment of machine learning models, a concern regarding privacy has risen. Thus, there is a legitimate need to protect the data from leaking and from any attacks. One of the strongest and most prevalent privacy models that can be used to protect machine learning models from any attacks and vulnerabilities is differential privacy (DP). DP is strict and rigid definition of privacy, where it can guarantee that an adversary is not capable to reliably predict if a specific participant is included in the dataset or not. It works by injecting a noise to the data whether to the inputs, the outputs, the ground truth labels, the objective functions, or even to the gradients to alleviate the privacy issue and protect the data. To this end, this survey paper presents different differentially private machine learning algorithms categorized into two main categories (traditional machine learning models vs. deep learning models). Moreover, future research directions for differential privacy with machine learning algorithms are outlined.


title: Metaphorical Language Change Is Self-Organized Criticality

abstract: One way to resolve the actuation problem of metaphorical language change is to provide a statistical profile of metaphorical constructions and generative rules with antecedent conditions. Based on arguments from the view of language as complex systems and the dynamic view of metaphor, this paper argues that metaphorical language change qualifies as a self-organized criticality state and the linguistic expressions of a metaphor can be profiled as a fractal with spatio-temporal correlations. Synchronously, these metaphorical expressions self-organize into a self-similar, scale-invariant fractal that follows a power-law distribution; temporally, long range inter-dependence constrains the self-organization process by the way of transformation rules that are intrinsic of a language system. This argument is verified in the paper with statistical analyses of twelve randomly selected Chinese verb metaphors in a large-scale diachronic corpus.


title: The properties of wind and jet from a super-Eddington accretion flow around a supermassive black hole

abstract: Wind and jet are important medium of AGN feedback thus it is crucial to obtain their properties for the feedback study. In this paper we investigate the properties of wind and jet launched from a magnetized super-Eddington accretion flow around a supermassive black hole. For this aim, we have performed radiation magnetohydrodynamical simulation of a magnetically arrested super-Eddington accretion flows. We then have analyzed the simulation data by the ``virtual particle trajectory'' approach and obtained the mass flux, poloidal and toroidal velocities, and mass-flux-weighted momentum and energy fluxes of wind and jet. The mass flux is found to be 2-6 times higher than that obtained based on the time-averaged streamline method widely used in literature. The momentum flux of wind is found to be larger than that of jet, while the total energy flux of jet is at most 3 times larger than that of wind. These results are similar to the case of hot accretion flows and imply that winds likely play a more important role than jet in AGN feedback. The acceleration mechanism of wind and jet is analyzed and found to be dominated by Lorentz force rather than radiation force.


title: C-A test of DNA force fields

abstract: The DNA duplex may be locally strongly bent in complexes with proteins, for example, with polymerases or in a nucleosome. At such bends, the DNA helix is locally in the non-canonical forms A (with a narrow major groove and a large amount of north sugars) or C (with a narrow minor groove and a large share of BII phosphates). To model the formation of such complexes by molecular dynamics methods, the force field is required to reproduce these conformational transitions for a naked DNA. We analyzed the available experimental data on the B-C and B-A transitions under the conditions easily implemented in modeling: in an aqueous NaCl solution. We selected six DNA duplexes which conformations at different salt concentrations are known reliably enough. At low salt concentrations, poly(GC) and poly(A) are in the B-form, classical and slightly shifted to the A-form, respectively. The duplexes ATAT and GGTATACC have a strong and salt concentration dependent bias toward the A-form. The polymers poly(AC) and poly(G) take the C- and A-forms, respectively, at high salt concentrations. The reproduction of the behavior of these oligomers can serve as a test for the balance of interactions between the base stacking and the conformational flexibility of the sugar-phosphate backbone in a DNA force field. We tested the AMBER bsc1 and CHARMM36 force fields and their hybrids, and we failed to reproduce the experiment. In all the force fields, the salt concentration dependence is very weak. The known B-philicity of the AMBER force field proved to result from the B-philicity of its excessively strong base stacking. In the CHARMM force field, the B-form is a result of a fragile balance between the A-philic base stacking (especially for G:C pairs) and the C-philic backbone. Finally, we analyzed some recent simulations of the LacI-, SOX-4-, and Sac7d-DNA complex formation in the framework of the AMBER force field.


title: Comparison of different coding schemes for 1-bit ADC

abstract: This paper devotes to comparison of different coding schemes (various constructions of Polar and LDPC codes, Product codes and BCH codes) for the case when information is transmitted over AWGN channel with quantization with lowest possible complexity and resolution: 1-bit. We examine performance (in terms of Frame-error-rate -- FER) for schemes mentioned above and give some reasoning for results we obtained. Also we give some recommendations for choosing coding schemes for a given code rate and code length.


title: A privacy-preserving data storage and service framework based on deep learning and blockchain for construction workers' wearable IoT sensors

abstract: Classifying brain signals collected by wearable Internet of Things (IoT) sensors, especially brain-computer interfaces (BCIs), is one of the fastest-growing areas of research. However, research has mostly ignored the secure storage and privacy protection issues of collected personal neurophysiological data. Therefore, in this article, we try to bridge this gap and propose a secure privacy-preserving protocol for implementing BCI applications. We first transformed brain signals into images and used generative adversarial network to generate synthetic signals to protect data privacy. Subsequently, we applied the paradigm of transfer learning for signal classification. The proposed method was evaluated by a case study and results indicate that real electroencephalogram data augmented with artificially generated samples provide superior classification performance. In addition, we proposed a blockchain-based scheme and developed a prototype on Ethereum, which aims to make storing, querying and sharing personal neurophysiological data and analysis reports secure and privacy-aware. The rights of three main transaction bodies - construction workers, BCI service providers and project managers - are described and the advantages of the proposed system are discussed. We believe this paper provides a well-rounded solution to safeguard private data against cyber-attacks, level the playing field for BCI application developers, and to the end improve professional well-being in the industry.


title: PIC4rl-gym: a ROS2 modular framework for Robots Autonomous Navigation with Deep Reinforcement Learning

abstract: Learning agents can optimize standard autonomous navigation improving flexibility, efficiency, and computational cost of the system by adopting a wide variety of approaches. This work introduces the \textit{PIC4rl-gym}, a fundamental modular framework to enhance navigation and learning research by mixing ROS2 and Gazebo, the standard tools of the robotics community, with Deep Reinforcement Learning (DRL). The paper describes the whole structure of the PIC4rl-gym, which fully integrates DRL agent's training and testing in several indoor and outdoor navigation scenarios and tasks. A modular approach is adopted to easily customize the simulation by selecting new platforms, sensors, or models. We demonstrate the potential of our novel gym by benchmarking the resulting policies, trained for different navigation tasks, with a complete set of metrics.


title: Single Stage Multi-Pose Virtual Try-On

abstract: Multi-pose virtual try-on (MPVTON) aims to fit a target garment onto a person at a target pose. Compared to traditional virtual try-on (VTON) that fits the garment but keeps the pose unchanged, MPVTON provides a better try-on experience, but is also more challenging due to the dual garment and pose editing objectives. Existing MPVTON methods adopt a pipeline comprising three disjoint modules including a target semantic layout prediction module, a coarse try-on image generator and a refinement try-on image generator. These models are trained separately, leading to sub-optimal model training and unsatisfactory results. In this paper, we propose a novel single stage model for MPVTON. Key to our model is a parallel flow estimation module that predicts the flow fields for both person and garment images conditioned on the target pose. The predicted flows are subsequently used to warp the appearance feature maps of the person and the garment images to construct a style map. The map is then used to modulate the target pose's feature map for target try-on image generation. With the parallel flow estimation design, our model can be trained end-to-end in a single stage and is more computationally efficient, resulting in new SOTA performance on existing MPVTON benchmarks. We further introduce multi-task training and demonstrate that our model can also be applied for traditional VTON and pose transfer tasks and achieve comparable performance to SOTA specialized models on both tasks.


title: MARSIM: A light-weight point-realistic simulator for LiDAR-based UAVs

abstract: The emergence of low-cost, small form factor and light-weight solid-state LiDAR sensors have brought new opportunities for autonomous unmanned aerial vehicles (UAVs) by advancing navigation safety and computation efficiency. Yet the successful developments of LiDAR-based UAVs must rely on extensive simulations. Existing simulators can hardly perform simulations of real-world environments due to the requirements of dense mesh maps that are difficult to obtain. In this paper, we develop a point-realistic simulator of real-world scenes for LiDAR-based UAVs. The key idea is the underlying point rendering method, where we construct a depth image directly from the point cloud map and interpolate it to obtain realistic LiDAR point measurements. Our developed simulator is able to run on a light-weight computing platform and supports the simulation of LiDARs with different resolution and scanning patterns, dynamic obstacles, and multi-UAV systems. Developed in the ROS framework, the simulator can easily communicate with other key modules of an autonomous robot, such as perception, state estimation, planning, and control. Finally, the simulator provides 10 high-resolution point cloud maps of various real-world environments, including forests of different densities, historic building, office, parking garage, and various complex indoor environments. These realistic maps provide diverse testing scenarios for an autonomous UAV. Evaluation results show that the developed simulator achieves superior performance in terms of time and memory consumption against Gazebo and that the simulated UAV flights highly match the actual one in real-world environments. We believe such a point-realistic and light-weight simulator is crucial to bridge the gap between UAV simulation and experiments and will significantly facilitate the research of LiDAR-based autonomous UAVs in the future.


title: Error estimates and variance reduction for nonequilibrium stochastic dynamics

abstract: Equilibrium properties in statistical physics are obtained by computing averages with respect to Boltzmann-Gibbs measures, sampled in practice using ergodic dynamics such as the Langevin dynamics. Some quantities however cannot be computed by simply sampling the Boltzmann-Gibbs measure, in particular transport coefficients, which relate the current of some physical quantity of interest to the forcing needed to induce it. For instance, a temperature difference induces an energy current, the proportionality factor between these two quantities being the thermal conductivity. From an abstract point of view, transport coefficients can also be considered as some form of sensitivity analysis with respect to an added forcing to the baseline dynamics. There are various numerical techniques to estimate transport coefficients, which all suffer from large errors, in particular large statistical errors. This contribution reviews the most popular methods, namely the Green-Kubo approach where the transport coefficient is expressed as some time-integrated correlation function, and the approach based on longtime averages of the stochastic dynamics perturbed by an external driving (so-called nonequilibrium molecular dynamics). In each case, the various sources of errors are made precise, in particular the bias related to the time discretization of the underlying continuous dynamics, and the variance of the associated Monte Carlo estimators. Some recent alternative techniques to estimate transport coefficients are also discussed.


title: Upper and Lower Bounds on Bit-Error Rate for Convolutional Codes

abstract: In this paper, we provide a new approach to the analytical estimation of the bit-error rate (BER) for convolutional codes for Viterbi decoding in the binary symmetric channel (BSC). The expressions we obtained for lower and upper BER bounds are based on the active distances of the code and their distance spectrum. The estimates are derived for convolutional codes with the rate $R=\frac{1}{2}$ but can be easily generalized for any convolutional code with rate $R=\frac 1n$ and systematic encoder. The suggested approach is not computationally expensive for any crossover probability of BSC channel and convolutional code memory, and it allows to obtain precise estimates of BER.


title: Photometric Properties of Jupiter Trojans detected by the Dark Energy Survey

abstract: The Jupiter Trojans are a large group of asteroids that are co-orbiting with Jupiter near its L4 and L5 Lagrange points. The study of Jupiter Trojans is crucial for testing different models of planet formation that are directly related to our understanding of solar system evolution. In this work, we select known Jupiter Trojans listed by the Minor Planet Center (MPC) from the full six years dataset (Y6) of the Dark Energy Survey (DES) to analyze their photometric properties. The DES data allow us to study Jupiter Trojans with a fainter magnitude limit than previous studies in a homogeneous survey with $griz$ band measurements. We extract a final catalog of 573 unique Jupiter Trojans. Our sample include 547 asteroids belonging to L5. This is one of the largest analyzed samples for this group. By comparing with the data reported by other surveys we found that the color distribution of L5 Trojans is similar to that of L4 Trojans. We find that L5 Trojans' $g - i$ and $g - r$ colors become less red with fainter absolute magnitudes, a trend also seen in L4 Trojans. Both the L4 and L5 clouds consistently show such a color-size correlation over an absolute magnitude range $11 < H < 18$. We also use DES colors to perform taxonomic classifications. C and P-type asteroids outnumber D-type asteroids in the L5 Trojans DES sample, which have diameters in the 5 - 20 km range. This is consistent with the color-size correlation.


title: Bifurcation analysis and steady state patterns in reaction-diffusion systems augmented with self- and cross-diffusion

abstract: In this article, we carry out a study of long-term behavior of reaction-diffusion systems augmented with self- and cross-diffusion, using an augmented Gray-Scott system as a general example. The methodology remains generic, and is therefore applicable to other systems. Simulations of the temporal model (nonlinear parabolic system) reveal the presence of steady states, often associated with energy dissipation. A Newton method based on a mixed finite element method is provided, in order to directly evaluate the steady states (nonlinear elliptic system) of the temporal system, and is validated against its solutions. Linear stability analysis (LSA) using Fourier analysis is carried out around homogeneous equilibria, and using spectral analysis around non-homogeneous ones. For the latter, the spectral problem is solved numerically. A multi-parameter bifurcation is reported. Original steady state patterns are unveiled, not observable with linear diffusion only. Two key observations are made: a dependency of the pattern with the initial condition of the system, and a dependency on the geometry of the domain.


title: Multi-timescale Event Detection in Nonintrusive Load Monitoring based on MDL Principle

abstract: Load event detection is the fundamental step for the event-based non-intrusive load monitoring (NILM). However, existing event detection methods with fixed parameters may fail in coping with the inherent multi-timescale characteristics of events and their event detection accuracy is easily affected by the load fluctuation. In this regard, this paper extends our previously designed two-stage event detection framework, and proposes a novel multi-timescale event detection method based on the principle of minimum description length (MDL). Following the completion of step-like event detection in the first stage, a long-transient event detection scheme with variable-length sliding window is designed for the second stage, which is intended to provide the observation and characterization of the same event at different time scales. In that, the context information in the aggregated load data is mined by motif discovery, and then based on the MDL principle, the proper observation scales are selected for different events and the corresponding detection results are determined. In the post-processing step, a load fluctuation location method based on voice activity detection (VAD) is proposed to identify and remove the unreasonable events caused by fluctuations. Based on newly proposed evaluation metrics, the comparison tests on public and private datasets demonstrate that our method achieves higher detection accuracy and integrity for events of various appliances across different scenarios.


title: Phase diagram of superconducting vortex ratchet motion in a superlattice with noncentrosymmetry

abstract: Ratchet motion of superconducting vortices, which is a directional flow of vortices in superconductors, is highly useful for exploring quantum phenomena and developing superconducting devices, such as superconducting diode and microwave antenna. However, because of the challenges in the quantitative characterization of the dynamic motion of vortices, a phase diagram of the vortex ratchet motion is still missing, especially in the superconductors with low dimensional structures. Here we establish a quantitative phase diagram of the vortex ratchet motion in a highly anisotropic superlattice superconductor, (SnS)1.17NbS2, using nonreciprocal magnetotransport. The (SnS)1.17NbS2, which possesses a layered atomic structure and noncentrosymmetry, exhibits nonreciprocal magnetotransport in a magnetic field perpendicular and parallel to the plane, which is considered a manifest of ratchet motion of superconducting vortices. We demonstrated that the ratchet motion is responsive to current excitation, magnetic field and thermal perturbation. Furthermore, we extrapolated a giant nonreciprocal coefficient ({\gamma}), which quantitatively describes the magnitude of the vortex ratchet motion, and eventually established phase diagrams of the ratchet motion of the vortices with a quantitative description. Last, we propose that the ratchet motion originates from the coexistence of pancake vortices (PVs) and Josephson vortices (JVs). The phase diagrams are desirable for controlling the vortex motion in superlattice superconductors and developing next-generation energy-efficient superconducting devices.


title: How studying black hole theory may help us to quantise gravity

abstract: Black holes are more than just odd-looking curiosities in gravity theory. They uniquely intertwine the basic principles of General Relativity with those of Quantum Theory. Just by demanding that they nevertheless obey acceptable laws of dynamics, just like stars and planets, we hit upon strange structures that must play key roles in the quantum effects that we expect in the gravitational force at ultrashort distance scales. It is explained why, in our approach to address the problem of information conservation, the usual expression for the temperature of Hawking's radiation is off by a factor 2.


title: Deep Smart Contract Intent Detection

abstract: Nowadays, security activities in smart contracts concentrate on vulnerability detection. Despite early success, we find that developers' intent to write smart contracts is a more noteworthy security concern because smart contracts with malicious intent have caused significant users' financial loss. Unfortunately, current approaches to identify the aforementioned malicious smart contracts rely on smart contract security audits, which entail huge manpower consumption and financial expenditure. To resolve this issue, we propose a novel deep learning-based approach, SmartIntentNN, to conduct automated smart contract intent detection. SmartIntentNN consists of three primary parts: a pre-trained sentence encoder to generate the contextual representations of smart contracts, a K-means clustering method to highlight intent-related representations, and a bidirectional LSTM-based (long-short term memory) multi-label classification network to predict the intents in smart contracts. To evaluate the performance of SmartIntentNN, we collect more than 40,000 real smart contracts and perform a series of comparison experiments with our selected baseline approaches. The experimental results demonstrate that SmartIntentNN outperforms all baselines by up to 0.8212 in terms of the f1-score metric.


title: Intelligence Processing Units Accelerate Neuromorphic Learning

abstract: Spiking neural networks (SNNs) have achieved orders of magnitude improvement in terms of energy consumption and latency when performing inference with deep learning workloads. Error backpropagation is presently regarded as the most effective method for training SNNs, but in a twist of irony, when training on modern graphics processing units (GPUs) this becomes more expensive than non-spiking networks. The emergence of Graphcore's Intelligence Processing Units (IPUs) balances the parallelized nature of deep learning workloads with the sequential, reusable, and sparsified nature of operations prevalent when training SNNs. IPUs adopt multi-instruction multi-data (MIMD) parallelism by running individual processing threads on smaller data blocks, which is a natural fit for the sequential, non-vectorized steps required to solve spiking neuron dynamical state equations. We present an IPU-optimized release of our custom SNN Python package, snnTorch, which exploits fine-grained parallelism by utilizing low-level, pre-compiled custom operations to accelerate irregular and sparse data access patterns that are characteristic of training SNN workloads. We provide a rigorous performance assessment across a suite of commonly used spiking neuron models, and propose methods to further reduce training run-time via half-precision training. By amortizing the cost of sequential processing into vectorizable population codes, we ultimately demonstrate the potential for integrating domain-specific accelerators with the next generation of neural networks.


title: A Review of NEST Models, and Their Application to Improvement of Particle Identification in Liquid Xenon Experiments

abstract: This paper discusses microphysical simulation of interactions in liquid xenon, the active detector medium in many leading rare-event physics searches, and describes experimental observables useful to understanding detector performance. The scintillation and ionization yield distributions for signal and background are presented using the Noble Element Simulation Technique, or NEST, which is a toolkit based upon experimental data and simple, empirical formulae. NEST models of light and of charge production as a function of particle type, energy, and electric field are reviewed, as well as of energy resolution and final pulse areas. After vetting of NEST against raw data, with several specific examples pulled from XENON, ZEPLIN, LUX / LZ, and PandaX, we interpolate and extrapolate its models to draw new conclusions on the properties of future detectors (e.g., XLZD), in terms of the best possible discrimination of electronic recoil backgrounds from the potential nuclear recoil signal due to WIMP dark matter. We find that the oft-quoted value of a 99.5% discrimination is likely too conservative. NEST shows that another order of magnitude improvement (99.95% discrimination) may be achievable with a high photon detection efficiency (g1 about 15-20%) and reasonably achievable drift field of approximately 300 V/cm.

categories: hep-ex astro-ph.IM nucl-ex physics.ins-det


title: Higgs decay to charmonia and the charm-quark Yukawa coupling

abstract: After the great triumph of the Higgs discovery in 2012, the next target at the energy frontier will be to study the Higgs properties and to search for the next scale beyond the SM. Experimentally, the $H\to c \bar{c}$ channel would be extremely difficult to dig out because of both the weak Yukawa coupling and the daunting SM di-jet background. We propose to test the charm-quark Yukawa coupling at the LHC and future hadron colliders with the Higgs boson decay to $J/\psi$ via the charm-quark fragmentation. Using the non-relativistic quantum chromodynamics (NRQCD), we study the charmonia production via the Higgs boson decay channel $ H \to c \ \bar{c} + J/\psi $(or $ \eta_c $), where both the color-singlet and color-octet contributions are considered. Our result opens another door to improve determinations at the LHC of the Higgs Yukawa couplings: the final state from this decay mode is quite distinctive with $J/\psi\to e^+e^-,\, \mu^+\mu^-$ and the branching fraction is enhanced by the charm-quark fragmentation mechanism.


title: Kernel controlled real-time Complex Langevin simulation

abstract: This study explores the utility of a kernel in complex Langevin simulations of quantum real-time dynamics on the Schwinger-Keldysh contour. We give several examples where we use a systematic scheme to find kernels that restore correct convergence of complex Langevin. The schemes combine prior information we know about the system and the correctness of convergence of complex Langevin to construct a kernel. This allows us to simulate up to $1.5\beta$ on the real-time Schwinger-Keldysh contour with the $0+1$ dimensional anharmonic oscillator using $m=1,\lambda=24$, which was previously unattainable using the complex Langevin equation.


title: A topological transition-induced giant transverse thermoelectric effect in polycrystalline Dirac semimetal Mg3Bi2

abstract: To achieve thermoelectric energy conversion, a large transverse thermoelectric effect in topological materials is crucial. However, the general relationship between topological electronic structures and transverse thermoelectric effect remains unclear, restricting the rational design of novel transverse thermoelectric materials. Herein, we demonstrate a topological transition-induced giant transverse thermoelectric effect in polycrystalline Mn-doped Mg3+{\delta}Bi2 material, which has a competitively large transverse thermopower (617 uV/K), power factor (20393 uWm-1K-2), magnetoresistance (16600%), and electronic mobility (35280cm2V-1S-1). The high performance is triggered by the modulation of chemical pressure and disorder effects in the presence of Mn doping, which induces the transition from a topological insulator to a Dirac semimetal. The high-performance polycrystalline Mn-doped Mg3+{\delta} Bi2 described in this work robustly boosts transverse thermoelectric effect through topological phase transition, paving a new avenue for the material design of transverse thermoelectricity.


title: Overcoming positivity violations for density matrices in surface hopping

abstract: Fewest-switches surface hopping (FSSH) has emerged as one of the leading methods for modeling the quantum dynamics of molecular systems. While its original formulation was limited to adiabatic populations, the growing interest in the application of FSSH to coherent phenomena prompts the question how one should construct a complete density matrix based on FSSH trajectories. A straightforward solution is to define adiabatic coherences based on wavefunction coefficients. In this Paper, we demonstrate that inconsistencies introduced in the density matrix through such treatment may lead to a violation of positivity. We furthermore show that a recently proposed coherent generalization of FSSH results in density matrices that satisfy positivity, while yielding an improved accuracy throughout much (but not all) of parameter space.


title: The three-dimensional turbulent cellular flow

abstract: We study, by means of extensive direct numerical simulations, the turbulent flow produced by a two-dimensional cellular forcing in a cubic box with periodic boundary conditions. In spite of the strong anisotropy of the forcing, we find that turbulence recovers almost complete isotropy at small scales. Nonetheless, the signature of the forcing remains in the mean flow (averaged over time and over the homogeneous direction) and this allows to introduce a friction factor, whose dependence on the Reynolds number is investigated. We further find that the flow is characterized by large temporal fluctuations of the total energy, as a consequence of the exchange between the forced mean flow at large scales and turbulent fluctuations at small scales. Such temporal fluctuations produce a correction to the energy spectrum that can be explained by a simple dimensional argument.


title: Passive Micron-scale Time-of-Flight with Sunlight Interferometry

abstract: We introduce an interferometric technique for passive time-of-flight imaging and depth sensing at micrometer axial resolutions. Our technique uses a full-field Michelson interferometer, modified to use sunlight as the only light source. The large spectral bandwidth of sunlight makes it possible to acquire micrometer-resolution time-resolved scene responses, through a simple axial scanning operation. Additionally, the angular bandwidth of sunlight makes it possible to capture time-of-flight measurements insensitive to indirect illumination effects, such as interreflections and subsurface scattering. We build an experimental prototype that we operate outdoors, under direct sunlight, and in adverse environment conditions such as machine vibrations and vehicle traffic. We use this prototype to demonstrate, for the first time, passive imaging capabilities such as micrometer-scale depth sensing robust to indirect illumination, direct-only imaging, and imaging through diffusers.


title: Dual models for p-form mimetic gravity and their connection to perfect fluids consisting of (p+1)-branes

abstract: We propose an approach that allows one to reformulate $n$-dimensional $p$-form mimetic gravity (including usual mimetic gravity as particular case $p = 0$) as nonlinear $(n-p-1)$-form electrodynamics via electric-magnetic duality. The resulting dual Lagrangian density is just the square root of the ordinary quadratic Lagrangian density of $(n-p-1)$-form electrodynamics. By applying field transformation in the action, we show that for the arbitrary $p$ this dual theory transforms into the $(p+1)$-brane fluid: the model of the stack of the parallel $(p+1)$-dimensional branes foliating physical spacetime. As the structure of the field transformations depends on $p$, the sets of solutions in these models are related differently. We prove, that for $p = 0$ and $p = n-2$ dual mimetic models describe usual particle fluid with the potential flow and to the $(n-1)$-brane fluid respectively. For other values of $p$ not all mimetic solutions behave like that, in general, so we restrict ourselves only to the case $n = 4$, $p = 1$. In this case, we show, that mimetic formulation is dual to the well-known Nielsen-Olesen theory of "dual strings" and discuss the criterion indicating whether its solutions behave like string fluid. The cosmological solutions for these models in are also discussed.


title: Polynomial invariants which can distinguish the orientations of knots

abstract: This paper contains the first knot polynomials which can distinguish the orientations of classical knots and which make no excplicit use of the knot group. But they make extensive use of the meridian and of the longitude in a geometric way. Let $M$ be the topological moduli space of long knots up to regular isotopy, and for any natural number $n > 1$ let $M_n$ be the moduli space of all n-cables $nK$ of framed long knots $K$ which are twisted by a given string link $T$ to close to a knot in the solid torus, with a marked point on the knot at infinity. First we construct integer valued combinatorial 1-cocycles for $M_n$ by using Gauss diagram formulas for finite typ invariants. We observe then that our 1-cocycles allow to fix certain crossings of $nK$ as local parameters of the 1-cocycles. Finally, we transform the local parameter into an unordered set of global parameters by following the crossings in the isotopy. We evaluate now the 1-cocycles on a canonical loop in $M_n$. The outcome are polynomial valued invariants of $K$, where the variables are indexed by finite type invariants and by regular isotopy types of string links $T$.


title: Towards Ontology-Based Requirements Engineering for IoT-Supported Well-Being, Aging and Health

abstract: Ontologies serve as a one of the formal means to represent and model knowledge in computer science, electrical engineering, system engineering and other related disciplines. Ontologies within requirements engineering may be used for formal representation of system requirements. In the Internet of Things, ontologies may be used to represent sensor knowledge and describe acquired data semantics. Designing an ontology comprehensive enough with an appropriate level of knowledge expressiveness, serving multiple purposes, from system requirements specifications to modeling knowledge based on data from IoT sensors, is one of the great challenges. This paper proposes an approach towards ontology-based requirements engineering for well-being, aging and health supported by the Internet of Things. Such an ontology design does not aim at creating a new ontology, but extending the appropriate one already existing, SAREF4EHAW, in order align with the well-being, aging and health concepts and structure the knowledge within the domain. Other contributions include a conceptual formulation for Well-Being, Aging and Health and a related taxonomy, as well as a concept of One Well-Being, Aging and Health. New attributes and relations have been proposed for the new ontology extension, along with the updated list of use cases and particular ontological requirements not covered by the original ontology. Future work envisions full specification of the new ontology extension, as well as structuring system requirements and sensor measurement parameters to follow description logic.


title: Constraining the anomalous coupling of gravitational waves with double pulsar

abstract: We revisit the decay of the orbital period in binary systems that occurs due to the emission of gravitational waves in the context of modified gravity models where the coupling $G_{gw}$ between matter and on-shell gravitons is allowed to differ from the Newton constant $G_N$. Using the most precise orbital parameters of binary pulsars, those of the Double Pulsar, we constrain the ratio $G_{gw}/G_N$ to the level of $10^{-4}$, improving by two orders of magnitude the present bound on this quantity.


title: Accuracy Booster: Enabling 4-bit Fixed-point Arithmetic for DNN Training

abstract: The unprecedented demand for computing resources to train DNN models has led to a search for minimal numerical encoding. Recent state-of-the-art (SOTA) proposals advocate for multi-level scaled narrow bitwidth numerical formats. In this paper, we show that single-level scaling is sufficient to maintain training accuracy while maximizing arithmetic density. We identify a previously proposed single-level scaled format for 8-bit training, Hybrid Block Floating Point (HBFP), as the optimal candidate to minimize. We perform a full-scale exploration of the HBFP design space using mathematical tools to study the interplay among various parameters and identify opportunities for even smaller encodings across layers and epochs. Based on our findings, we propose Accuracy Booster, a mixed-mantissa HBFP technique that uses 4-bit mantissas for over 99% of all arithmetic operations in training and 6-bit mantissas only in the last epoch and first/last layers. We show Accuracy Booster enables increasing arithmetic density over all other SOTA formats by at least 2.3x while achieving state-of-the-art accuracies in 4-bit training.


title: Knowledge Graph Contrastive Learning Based on Relation-Symmetrical Structure

abstract: Knowledge graph embedding (KGE) aims at learning powerful representations to benefit various artificial intelligence applications. Meanwhile, contrastive learning has been widely leveraged in graph learning as an effective mechanism to enhance the discriminative capacity of the learned representations. However, the complex structures of KG make it hard to construct appropriate contrastive pairs. Only a few attempts have integrated contrastive learning strategies with KGE. But, most of them rely on language models ( e.g., Bert) for contrastive pair construction instead of fully mining information underlying the graph structure, hindering expressive ability. Surprisingly, we find that the entities within a relational symmetrical structure are usually similar and correlated. To this end, we propose a knowledge graph contrastive learning framework based on relation-symmetrical structure, KGE-SymCL, which mines symmetrical structure information in KGs to enhance the discriminative ability of KGE models. Concretely, a plug-and-play approach is proposed by taking entities in the relation-symmetrical positions as positive pairs. Besides, a self-supervised alignment loss is designed to pull together positive pairs. Experimental results on link prediction and entity classification datasets demonstrate that our KGE-SymCL can be easily adopted to various KGE models for performance improvements. Moreover, extensive experiments show that our model could outperform other state-of-the-art baselines.


title: EDEN: A Plug-in Equivariant Distance Encoding to Beyond the 1-WL Test

abstract: The message-passing scheme is the core of graph representation learning. While most existing message-passing graph neural networks (MPNNs) are permutation-invariant in graph-level representation learning and permutation-equivariant in node- and edge-level representation learning, their expressive power is commonly limited by the 1-Weisfeiler-Lehman (1-WL) graph isomorphism test. Recently proposed expressive graph neural networks (GNNs) with specially designed complex message-passing mechanisms are not practical. To bridge the gap, we propose a plug-in Equivariant Distance ENcoding (EDEN) for MPNNs. EDEN is derived from a series of interpretable transformations on the graph's distance matrix. We theoretically prove that EDEN is permutation-equivariant for all level graph representation learning, and we empirically illustrate that EDEN's expressive power can reach up to the 3-WL test. Extensive experiments on real-world datasets show that combining EDEN with conventional GNNs surpasses recent advanced GNNs.


title: MSGCorep: A package for corepresentations of magnetic space groups

abstract: Motivated by easy access to complete corepresentation (corep) data of all the 1651 magnetic space groups (MSGs) in three-dimensional space, we have developed a Mathematica package MSGCorep to provide an offline database of coreps and various functions to manipulate them, based on our previous package SpaceGroupIrep. One can use the package MSGCorep to obtain the elements of any MSG and magnetic little group, to calculate the multiplication of group elements, to obtain the small coreps at any k-point and full coreps of any magnetic k-star for any MSG and show them in a user-friendly table form, to calculate and show the decomposition of direct products of full coreps between any two specified magnetic k-stars, and to determine the small coreps of energy bands. Both single-valued and double-valued coreps are supported. In addition, the 122 magnetic point groups (MPGs) and their coreps are also supported by this package. To the best of our knowledge, MSGCorep is the first package that is able to calculate the direct product of full coreps for any MSG and able to determine small coreps of energy bands for general purpose. In a word, the MSGCorep package is an offline database and tool set for MSGs, MPGs, and their coreps, and it is very useful to study the symmetries in magnetic and nonmagnetic materials.


title: Generalization of Romanoff's theorem

abstract: We generalize Romanoff's theorem. Also, we obtain a result on sums related to Euler's totient function.


title: Moment-SoS Methods for Optimal Transport Problems

abstract: Most common Optimal Transport (OT) solvers are currently based on an approximation of underlying measures by discrete measures. However, it is sometimes relevant to work only with moments of measures instead of the measure itself, and many common OT problems can be formulated as moment problems (the most relevant examples being $L^p$-Wasserstein distances, barycenters, and Gromov-Wasserstein discrepancies on Euclidean spaces). We leverage this fact to develop a generalized moment formulation that covers these classes of OT problems. The transport plan is represented through its moments on a given basis, and the marginal constraints are expressed in terms of moment constraints. A practical computation then consists in considering a truncation of the involved moment sequences up to a certain order, and using the polynomial sums-of-squares hierarchy for measures supported on semi-algebraic sets. We prove that the strategy converges to the solution of the OT problem as the order increases. We also show how to approximate linear quantities of interest, and how to estimate the support of the optimal transport map from the computed moments using Christoffel-Darboux kernels. Numerical experiments illustrate the good behavior of the approach.

categories: math.NA cs.NA math.OC math.PR math.ST stat.TH


title: Monitoring the edges of product networks using distances

abstract: Foucaud {\it et al.} recently introduced and initiated the study of a new graph-theoretic concept in the area of network monitoring. Let $G$ be a graph with vertex set $V(G)$, $M$ a subset of $V(G)$, and $e$ be an edge in $E(G)$, and let $P(M, e)$ be the set of pairs $(x,y)$ such that $d_G(x, y)\neq d_{G-e}(x, y)$ where $x\in M$ and $y\in V(G)$. $M$ is called a \emph{distance-edge-monitoring set} if every edge $e$ of $G$ is monitored by some vertex of $M$, that is, the set $P(M, e)$ is nonempty. The {\em distance-edge-monitoring number} of $G$, denoted by $\operatorname{dem}(G)$, is defined as the smallest size of distance-edge-monitoring sets of $G$. For two graphs $G,H$ of order $m,n$, respectively, in this paper we prove that $\max\{m\operatorname{dem}(H),n\operatorname{dem}(G)\} \leq\operatorname{dem}(G\,\Box \,H) \leq m\operatorname{dem}(H)+n\operatorname{dem}(G) -\operatorname{dem}(G)\operatorname{dem}(H)$, where $\Box$ is the Cartesian product operation. Moreover, we characterize the graphs attaining the upper and lower bounds and show their applications on some known networks. We also obtain the distance-edge-monitoring numbers of join, corona, cluster, and some specific networks.


title: Methods for Cryo-EM Single Particle Reconstruction of Macromolecules having Continuous Heterogeneity

abstract: Macromolecules change their shape (conformation) in the process of carrying out their functions. The imaging by cryo-electron microscopy of rapidly-frozen, individual copies of macromolecules (single particles) is a powerful and general approach to understanding the motions and energy landscapes of macromolecules. Widely-used computational methods already allow the recovery of a few distinct conformations from heterogeneous single-particle samples, but the treatment of complex forms of heterogeneity such as the continuum of possible transitory states and flexible regions remains largely an open problem. In recent years there has been a surge of new approaches for treating the more general problem of continuous heterogeneity. This paper surveys the current state of the art in this area.


title: A discrete-ordinate weak Galerkin method for radiative transfer equation

abstract: This research article discusses a numerical solution of the radiative transfer equation based on the weak Galerkin finite element method. We discretize the angular variable by means of the discrete-ordinate method. Then the resulting semi-discrete hyperbolic system is approximated using the weak Galerkin method. The stability result for the proposed numerical method is devised. A priori error analysis is established under the suitable norm. In order to examine the theoretical results, numerical experiments are carried out.


title: Halted-Pendulum Relaxation: Application to White Dwarf Binary Initial Data

abstract: Studying compact star binaries and their mergers is integral to determining progenitors for observable transients. Today, compact-star mergers are typically studied via state-of-the-art computational fluid dynamics codes. One such numerical technique, Smoothed Particle Hydrodynamics (SPH), is frequently chosen for its excellent mass, energy, and momentum conservation. The natural treatment of vacuum and the ability to represent highly irregular morphologies make SPH an excellent tool for the study of compact-star binaries and mergers. For many scenarios, including binary systems, the outcome of simulations is only as accurate as the initial conditions. For SPH, it is essential to ensure that the particles are distributed regularly, representing the initial density profile but without long-range correlations. Particle noise in the form of high-frequency local motion and low-frequency global dynamics must be damped out. Damping the latter can be as computationally intensive as the actual simulation. We discuss a new and straightforward relaxation method, Halted-Pendulum Relaxation (HPR), to remove global oscillation modes of SPH particle configurations. In combination with effective external potentials representing gravitational and orbital forces, we show that HPR has an excellent performance in efficiently relaxing SPH particles to the desired density distribution and removing global oscillation modes. We compare the method to frequently used relaxation approaches and test it on a white dwarf binary model at its Roche lobe overflow limit. We highlight the importance of our method in achieving accurate initial conditions and its effect on achieving circular orbits and realistic accretion rates when compared with other general relaxation methods.


title: Exploring validation metrics for offline model-based optimisation with diffusion models

abstract: In model-based optimisation (MBO) we are interested in using machine learning to design candidates that maximise some measure of reward with respect to a black box function called the (ground truth) oracle, which is expensive to compute since it involves executing a real world process. In offline MBO we wish to do so without assuming access to such an oracle during training or validation, with makes evaluation non-straightforward. While an approximation to the ground oracle can be trained and used in place of it during model validation to measure the mean reward over generated candidates, the evaluation is approximate and vulnerable to adversarial examples. Measuring the mean reward of generated candidates over this approximation is one such `validation metric', whereas we are interested in a more fundamental question which is finding which validation metrics correlate the most with the ground truth. This involves proposing validation metrics and quantifying them over many datasets for which the ground truth is known, for instance simulated environments. This is encapsulated under our proposed evaluation framework which is also designed to measure extrapolation, which is the ultimate goal behind leveraging generative models for MBO. While our evaluation framework is model agnostic we specifically evaluate denoising diffusion models due to their state-of-the-art performance, as well as derive interesting insights such as ranking the most effective validation metrics as well as discussing important hyperparameters.


title: Delay-aware Backpressure Routing Using Graph Neural Networks

abstract: We propose a throughput-optimal biased backpressure (BP) algorithm for routing, where the bias is learned through a graph neural network that seeks to minimize end-to-end delay. Classical BP routing provides a simple yet powerful distributed solution for resource allocation in wireless multi-hop networks but has poor delay performance. A low-cost approach to improve this delay performance is to favor shorter paths by incorporating pre-defined biases in the BP computation, such as a bias based on the shortest path (hop) distance to the destination. In this work, we improve upon the widely-used metric of hop distance (and its variants) for the shortest path bias by introducing a bias based on the link duty cycle, which we predict using a graph convolutional neural network. Numerical results show that our approach can improve the delay performance compared to classical BP and existing BP alternatives based on pre-defined bias while being adaptive to interference density. In terms of complexity, our distributed implementation only introduces a one-time overhead (linear in the number of devices in the network) compared to classical BP, and a constant overhead compared to the lowest-complexity existing bias-based BP algorithms.


title: Mono-X signal and two component dark matter: new distinction criteria

abstract: The identification and isolation of two WIMP dark matter (DM) components at colliders is of wide interest on the one hand but extremely challenging on the other, especially when the dominant signal of both DM components is of the mono-X type ($X=\gamma, Z, H$). After emphasizing that an $e^+e^-$ collider is more suitable for this goal, we first identify the theoretical principles that govern the occurrence of two peaks in missing energy (ME) distribution, in a double-DM scenario. We then identify a variable that rather spectacularly elicits the double-peaking behaviour, namely, the plot of bin-wise statistical significance ($S/\sqrt{B}$) against ME. Using Gaussian fits of the histograms, we apply a set of criteria developed by us, to illustrate the above points numerically for suitable benchmarks.


title: Infinite constant gap length trees in products of thick Cantor sets

abstract: We show that products of sufficiently thick Cantor sets generate trees in the plane with constant distance between adjacent vertices. Moreover, we prove that the set of choices for this distance has non-empty interior. We allow our trees to be countably infinite, which further distinguishes this work from previous results on patterns in fractal sets. This builds on the authors' previous work on graphs and distance sets of products of Cantor sets of sufficient Newhouse thickness.


title: On a Double Series Representation of the Natural Logarithm, the Asymptotic Behavior of H\"older Means, and an Elementary Estimate for the Prime Counting Function

abstract: We present many novel results in number theory, including a double series formula for the natural logarithm and a proof concerning the H\"older mean based on the functional equation for the Riemann zeta function. We find a harmonic mean analogue of Chebyshev's inequality for the prime counting function involving the Euler-Mascheroni constant. Furthermore, we define a function taking the H\"older mean of all positive integers up to a given number and investigate its asymptotic behavior, finding two different patterns which are separated by the harmonic mean. Additionally, we discuss the behavior of said function at zero and discover a formula involving the Riemann zeta function, whose continuity we prove with Riemann's functional equation. Inspired by the alternating harmonic series, we find a double series formula for the natural logarithm, resulting in identities involving the Riemann zeta function, binomial coefficients, and logarithms.


title: Towards Robust Dataset Learning

abstract: Adversarial training has been actively studied in recent computer vision research to improve the robustness of models. However, due to the huge computational cost of generating adversarial samples, adversarial training methods are often slow. In this paper, we study the problem of learning a robust dataset such that any classifier naturally trained on the dataset is adversarially robust. Such a dataset benefits the downstream tasks as natural training is much faster than adversarial training, and demonstrates that the desired property of robustness is transferable between models and data. In this work, we propose a principled, tri-level optimization to formulate the robust dataset learning problem. We show that, under an abstraction model that characterizes robust vs. non-robust features, the proposed method provably learns a robust dataset. Extensive experiments on MNIST, CIFAR10, and TinyImageNet demostrate the effectiveness of our algorithm with different network initializations and architectures.


title: Continual Learning-Based MIMO Channel Estimation: A Benchmarking Study

abstract: With the proliferation of deep learning techniques for wireless communication, several works have adopted learning-based approaches to solve the channel estimation problem. While these methods are usually promoted for their computational efficiency at inference time, their use is restricted to specific stationary training settings in terms of communication system parameters, e.g., signal-to-noise ratio (SNR) and coherence time. Therefore, the performance of these learning-based solutions will degrade when the models are tested on different settings than the ones used for training. This motivates our work in which we investigate continual supervised learning (CL) to mitigate the shortcomings of the current approaches. In particular, we design a set of channel estimation tasks wherein we vary different parameters of the channel model. We focus on Gauss-Markov Rayleigh fading channel estimation to assess the impact of non-stationarity on performance in terms of the mean square error (MSE) criterion. We study a selection of state-of-the-art CL methods and we showcase empirically the importance of catastrophic forgetting in continuously evolving channel settings. Our results demonstrate that the CL algorithms can improve the interference performance in two channel estimation tasks governed by changes in the SNR level and coherence time.


title: HALSIE: Hybrid Approach to Learning Segmentation by Simultaneously Exploiting Image and Event Modalities

abstract: Event cameras detect changes in per-pixel intensity to generate asynchronous `event streams'. They offer great potential for accurate semantic map retrieval in real-time autonomous systems owing to their much higher temporal resolution and high dynamic range (HDR) compared to conventional cameras. However, existing implementations for event-based segmentation suffer from sub-optimal performance since these temporally dense events only measure the varying component of a visual signal, limiting their ability to encode dense spatial context compared to frames. To address this issue, we propose a hybrid end-to-end learning framework HALSIE, utilizing three key concepts to reduce inference cost by up to $20\times$ versus prior art while retaining similar performance: First, a simple and efficient cross-domain learning scheme to extract complementary spatio-temporal embeddings from both frames and events. Second, a specially designed dual-encoder scheme with Spiking Neural Network (SNN) and Artificial Neural Network (ANN) branches to minimize latency while retaining cross-domain feature aggregation. Third, a multi-scale cue mixer to model rich representations of the fused embeddings. These qualities of HALSIE allow for a very lightweight architecture achieving state-of-the-art segmentation performance on DDD-17, MVSEC, and DSEC-Semantic datasets with up to $33\times$ higher parameter efficiency and favorable inference cost (17.9mJ per cycle). Our ablation study also brings new insights into effective design choices that can prove beneficial for research across other vision tasks.


title: Measurement of $e^+e^-\rightarrow\Lambda\bar{\Lambda}\eta$ from 3.5106 to 4.6988 GeV and study of $\Lambda\bar{\Lambda}$ mass threshold enhancement

abstract: Using data samples with a total integrated luminosity of approximately 18 fb$^{-1}$ collected by the BESIII detector operating at the BEPCII, the process $e^+e^-\rightarrow\Lambda\bar{\Lambda} \eta$ is studied at center-of-mass energies between 3.5106 and 4.6988 GeV. The Born cross section for the process $e^+e^-\rightarrow\Lambda\bar{\Lambda}\eta$ is measured. No significant structure is observed in the Born cross section line shape. An enhancement near the $\Lambda\bar{\Lambda}$ mass threshold is observed for the first time in the process. The structure can be described by an $S$-wave Breit-Wigner function. Neglecting contribution of excited $\Lambda$ states and potential interferences, the mass and width are determined to be ($2356\pm 7\pm17$) MeV/$c^2$ and ($304\pm28\pm54$) MeV, respectively, where the first uncertainties are statistical and the second are systematic.


title: Investigating the Potential of Artificial Intelligence Powered Interfaces to Support Different Types of Memory for People with Dementia

abstract: There has been a growing interest in HCI to understand the specific technological needs of people with dementia and supporting them in self-managing daily activities. One of the most difficult challenges to address is supporting the fluctuating accessibility needs of people with dementia, which vary with the specific type of dementia and the progression of the condition. Researchers have identified auto-personalized interfaces, and more recently, Artificial Intelligence or AI-driven personalization as a potential solution to making commercial technology accessible in a scalable manner for users with fluctuating ability. However, there is a lack of understanding on the perceptions of people with dementia around AI as an aid to their everyday technology use and its role in their overall self-management systems, which include other non-AI technology, and human assistance. In this paper, we present future directions for the design of AI-based systems to personalize an interface for dementia-related changes in different types of memory, along with expectations for AI interactions with the user with dementia.


title: Nested invariant tori foliating a vector field and its curl: toward MHD equilibria and steady Euler flows in toroidal domains without continuous Euclidean isometries

abstract: This paper studies the problem of finding a three-dimensional solenoidal vector field such that both the vector field and its curl are tangential to a given family of toroidal surfaces. We show that this question can be translated into the problem of determining a periodic solution with periodic derivatives of a two-dimensional linear elliptic second-order partial differential equation on each toroidal surface, and prove the existence of smooth solutions. Examples of smooth solutions foliated by toroidal surfaces that are not invariant under continuous Euclidean isometries are also constructed explicitly, and they are identified as equilibria of anisotropic magnetohydrodynamics. The problem examined here represents a weaker version of a fundamental mathematical problem that arises in the context of magnetohydrodynamics and fluid mechanics concerning the existence of regular equilibrium magnetic fields and steady Euler flows in bounded domains without continuous Euclidean isometries. The existence of such configurations represents a key theoretical issue for the design of the confining magnetic field in nuclear fusion reactors known as stellarators.


title: A priori error estimates of two fully discrete coupled schemes for Biot's consolidation model

abstract: This paper concentrates on a priori error estimates of two fully discrete coupled schemes for Biot's consolidation model based on the three-field formulation introduced by Oyarzua et al. (SIAM Journal on Numerical Analysis, 2016). The spatial discretizations are based on the Taylor-Hood finite elements combined with Lagrange elements for the three primary variables. For time discretization, we consider two methods. One uses the backward Euler method, and the other applies a combination of the backward Euler and Crank-Nicolson methods. A priori error estimates show that the two schemes are unconditionally convergent with optimal error orders. Detailed numerical experiments are presented to validate the theoretical analysis.


title: Fujita exponent on stratified Lie groups

abstract: We prove that $\frac{Q}{Q-2}$ is the Fujita exponent for a semilinear heat equation on an arbitrary stratified Lie group with homogeneous dimension $Q$. This covers the Euclidean case and gives new insight into proof techniques on nilpotent Lie groups. The equation we study has a forcing term which depends only upon a group element and has positive integral. The stratified Lie group structure plays an important role in our proofs, along with test function method and Banach fixed point theorem.


title: Evaluating Synthetically Generated Data from Small Sample Sizes: An Experimental Study

abstract: In this paper, we propose a method for measuring the similarity low sample tabular data with synthetically generated data with a larger number of samples than original. This process is also known as data augmentation. But significance levels obtained from non-parametric tests are suspect when sample size is small. Our method uses a combination of geometry, topology and robust statistics for hypothesis testing in order to compare the validity of generated data. We also compare the results with common global metric methods available in the literature for large sample size data.


title: There is no universal proper metric spaces for asymptotic dimension 1

abstract: Answering a question of Ma, Siegert, and Dydak we show that there is no universal proper metric space for the asymptotic dimension $n\ge1$.


title: Continuous sparse domination and dimensionless weighted estimates for the Bakry Riesz vector

abstract: We present a fundamentally new proof of the dimensionless Lp boundedness of the Bakry Riesz vector on manifolds with bounded geometry. Our proof has the significant advantage that it allows for a much stronger conclusion than previous arguments, namely that of some new dimensionless weighted estimates with optimal exponent. Part of the importance of this task lies in the novelty of the techniques: we develop the self similarity argument known as sparse domination in the setting of uniformly integrable cadlag Hilbert space valued martingales and extend the domination to a process with infinite memory. We provide a range of optimal weighted estimates and weak type estimates for these stochastic processes. Previous geometric Riesz transform estimates relied on Bellman functions and did not provide this range of weighted estimates. The development of sparse domination in this probabilistic setting and its use for high dimensional problems is new.


title: PIDray: A Large-scale X-ray Benchmark for Real-World Prohibited Item Detection

abstract: Automatic security inspection relying on computer vision technology is a challenging task in real-world scenarios due to many factors, such as intra-class variance, class imbalance, and occlusion. Most previous methods rarely touch the cases where the prohibited items are deliberately hidden in messy objects because of the scarcity of large-scale datasets, hindering their applications. To address this issue and facilitate related research, we present a large-scale dataset, named PIDray, which covers various cases in real-world scenarios for prohibited item detection, especially for deliberately hidden items. In specific, PIDray collects 124,486 X-ray images for $12$ categories of prohibited items, and each image is manually annotated with careful inspection, which makes it, to our best knowledge, to largest prohibited items detection dataset to date. Meanwhile, we propose a general divide-and-conquer pipeline to develop baseline algorithms on PIDray. Specifically, we adopt the tree-like structure to suppress the influence of the long-tailed issue in the PIDray dataset, where the first course-grained node is tasked with the binary classification to alleviate the influence of head category, while the subsequent fine-grained node is dedicated to the specific tasks of the tail categories. Based on this simple yet effective scheme, we offer strong task-specific baselines across object detection, instance segmentation, and multi-label classification tasks and verify the generalization ability on common datasets (e.g., COCO and PASCAL VOC). Extensive experiments on PIDray demonstrate that the proposed method performs favorably against current state-of-the-art methods, especially for deliberately hidden items. Our benchmark and codes will be released at https://github.com/lutao2021/PIDray.


title: Understanding the Bystander Effect on Toxic Twitter Conversations

abstract: In this study, we explore the power of group dynamics to shape the toxicity of Twitter conversations. First, we examine how the presence of others in a conversation can potentially diffuse Twitter users' responsibility to address a toxic direct reply. Second, we examine whether the toxicity of the first direct reply to a toxic tweet in conversations establishes the group norms for subsequent replies. By doing so, we outline how bystanders and the tone of initial responses to a toxic reply are explanatory factors which affect whether others feel uninhibited to post their own abusive or derogatory replies. We test this premise by analyzing a random sample of more than 156k tweets belonging to ~9k conversations. Central to this work is the social psychological research on the "bystander effect" documenting that the presence of bystanders has the power to alter the dynamics of a social situation. If the first direct reply reaffirms the divisive tone, other replies may follow suit. We find evidence of a bystander effect, with our results showing that an increased number of users participating in the conversation before receiving a toxic tweet is negatively associated with the number of Twitter users who responded to the toxic reply in a non-toxic way. We also find that the initial responses to toxic tweets within conversations is of great importance. Posting a toxic reply immediately after a toxic comment is negatively associated with users posting non-toxic replies and Twitter conversations becoming increasingly toxic.


title: On Baire property, compactness and completeness properties of spaces of Baire functions

abstract: A topological space $X$ is Baire if the intersection of any sequence of open dense subsets of $X$ is dense in $X$. One of the interesting problems for the space of Baire functions is the Banakh-Gabriyelyan problem: Let $\alpha$ be a countable ordinal. Characterize topological spaces $X$ and $Y$ for which the function space $B_{\alpha}(X,Y)$ is Baire. In this paper, for any Frechet space $Y$ , we have obtained a characterization topological spaces $X$ for which the function space $B_{\alpha}(X,Y)$ is Baire. In particular, we proved that $B_{\alpha}(X,\mathbb{R})$ is Baire if and only if $B_{\alpha}(X,Y)$ is Baire for any Banach space $Y$. Also we proved that many completeness and compactness properties coincide in spaces $B_{\alpha}(X,Y)$ for any Frechet space $Y$.


title: Sociality and Skill Sharing in the Garden

abstract: Gardening is an activity that involves a number of dimensions of increasing interest to HCI and CSCW researchers, including recreation, sustainability, and engagement with nature. This paper considers the garden setting in order to understand the role that collaborative and social computing technologies might play for practitioners engaging in outdoor skilled activities. We conducted participant observations with nine experienced gardeners aged 22-71 years. Through this process, we find that gardeners continuously configure their environments to accommodate their preferences for sociality. They share embodied skills and help others attune to sensory information in person, but also influence learning through the features in their garden that are observed by others. This paper provides an understanding of sociality in the garden, highlights skill sharing as a key domain for design in this space, and contributes design considerations for collaborative technologies in outdoor settings.


title: Determination of the coefficient of thermal expansion by measuring frequency of a heated music wire

abstract: Engaging with physical and material properties through empirical observation is a fundamental part of undergraduate physics and engineering education. Several works have proposed experiments to determine thermal physical constants of materials such as finding the coefficient of linear expansion. As Dajbych and Polak et al. have shown, methods for experimentally verifying physical constants can be done by measuring the frequency of a plucked high-carbon steel wire on a guitar. Building upon our previous work, we have extended our method to verify the coefficient of linear thermal expansion through an accessible procedure directed at introductory physics education.


title: Monopole Floer Homology and Real Structures

abstract: We define a "real" version of Kronheimer-Mrowka's monopole Floer homology for a 3-manifold equipped with an involution. As a special case, we obtain invariants for links via their double branched covers. The new input is the notion of a real spin-c structure, which consists of a spin-c structure along with a compatible anti-linear involution on the spinor bundle.


title: Assessing Opportunities of SYCL for Biological Sequence Alignment on GPU-based Systems

abstract: Bioinformatics and Computational Biology are two fields that have been exploiting GPUs for more than two decades, being CUDA the most used programming language for them. However, as CUDA is an NVIDIA proprietary language, it implies a strong portability restriction to a wide range of heterogeneous architectures, like AMD or Intel GPUs. To face this issue, the Khronos Group has recently proposed the SYCL standard, which is an open, royalty-free, cross-platform abstraction layer, that enables the programming of a heterogeneous system to be written using standard, single-source C++ code. Over the past few years, several implementations of this SYCL standard have emerged, being oneAPI the one from Intel. This paper presents the migration process of the SW\# suite, a biological sequence alignment tool developed in CUDA, to SYCL using Intel's oneAPI ecosystem. The experimental results show that SW\# was completely migrated with a small programmer intervention in terms of hand-coding. In addition, it was possible to port the migrated code between different architectures (considering multiple vendor GPUs and also CPUs), with no noticeable performance degradation on 5 different NVIDIA GPUs. Moreover, performance remained stable when switching to another SYCL implementation. As a consequence, SYCL and its implementations can offer attractive opportunities for the Bioinformatics community, especially considering the vast existence of CUDA-based legacy codes.


title: Effects of Non-Vanishing Net Charge in Balance Functions

abstract: We investigate the impact of non-vanishing net-charge in collision systems on measurements of balance functions and their integrals. We show that the nominal balance function definition yields integrals that deviate from unity because of the non-vanishing net-charge. However, the integral of unified balance functions is shown to appropriately converge to unity when measured in a sufficiently wide experimental acceptance. We furthermore explore the rate of convergence of unified balance functions integrals and study distortions imparted on the shape of balance functions when measurements are carried out in limited transverse momentum ($p_{\rm T}$) and rapidity ($y$) acceptances, such as those featured by experiments at the Large Hadron Collider or the Relativistic Heavy Ion Collider. We show that the shape and integral of unified balance functions may be strongly biased by reductions in the rapidity and transverse momentum acceptances of existing experiments.


title: RL Boltzmann Generators for Conformer Generation in Data-Sparse Environments

abstract: The generation of conformers has been a long-standing interest to structural chemists and biologists alike. A subset of proteins known as intrinsically disordered proteins (IDPs) fail to exhibit a fixed structure and, therefore, must also be studied in this light of conformer generation. Unlike in the small molecule setting, ground truth data are sparse in the IDP setting, undermining many existing conformer generation methods that rely on such data for training. Boltzmann generators, trained solely on the energy function, serve as an alternative but display a mode collapse that similarly preclude their direct application to IDPs. We investigate the potential of training an RL Boltzmann generator against a closely related "Gibbs score," and demonstrate that conformer coverage does not track well with such training. This suggests that the inadequacy of solely training against the energy is independent of the modeling modality