title: Evaluating Adversarial Robustness with Expected Viable Performance

abstract: We introduce a metric for evaluating the robustness of a classifier, with particular attention to adversarial perturbations, in terms of expected functionality with respect to possible adversarial perturbations. A classifier is assumed to be non-functional (that is, has a functionality of zero) with respect to a perturbation bound if a conventional measure of performance, such as classification accuracy, is less than a minimally viable threshold when the classifier is tested on examples from that perturbation bound. Defining robustness in terms of an expected value is motivated by a domain general approach to robustness quantification.


title: Analysis of $b\rightarrow c\tau\bar{\nu}_\tau$ anomalies using weak effective Hamiltonian with complex couplings

abstract: Recently, the experimental measurements of the branching ratios and different polarization asymmetries for the processes occurring through flavor-changing-charged current $b\rightarrow c\tau\overline{\nu}_{\tau}$ transitions by BABAR, Belle, and LHCb show some sparkling differences with the corresponding SM predictions. Assuming the left handed neutrinos, we add the dimension-six vector, (pseudo-)scalar, and tensor operators with complex WCs to the SM WEH. Together with 60%, 30% and 10% constraints coming from the branching ratio of $B_{c}\to\tau\bar{\nu}_{\tau}$, we analyze the parametric space of these new physics WCs accommodating the current anomalies in the purview of the most recent HFLAV data of $R_{\tau/{\mu,e}}\left(D\right)$, $R_{\tau/{\mu,e}}\left(D^*\right)$ and Belle data of $F_{L}\left(D^*\right)$ and $P_{\tau}\left(D^*\right)$. Furthermore, we derive the sum rules which correlate these observables with $R_{\tau/{\mu,e}}\left(D\right)$ and $R_{\tau/{\mu,e}}\left(D^*\right)$. Using the best-fit points of the new complex WCs along with the latest measurements of $R_{\tau/{\mu,e}}\left(D^{(*)}\right)$, we predict the numerical values of the observable $R_{\tau/\ell}\left(\Lambda_c\right)$, $R_{\tau/\mu}\left(J/\psi\right)$ and $R_{\tau/\ell}\left(X_c\right)$ from the sum rules. Apart from finding the correlation matrix among the observables under consideration, we plot them graphically which is useful to discriminate different NP scenarios. Finally, we study the impact of these NP couplings on various angular and the CP triple product asymmetries, that could be measured in some ongoing and future experiments. The precise measurements of these observables are important to check the SM and extract the possible NP.


title: Guided mode evolution and ionization injection in meter-scale multi-GeV laser wakefield accelerators

abstract: We show that laser wakefield electron accelerators in meter-scale, low density hydrodynamic plasma waveguides operate in a new nonlinear propagation regime where sustained beating of lowest order modes of the ponderomotively modified channel plays a significant role, whether or not the injected pulse is linearly matched to the guide. For a continuously doped gas jet, this mode beating effect leads to ionization injection and a striated multi-GeV energy spectrum of multiple quasi-monoenergetic peaks; the same process in a locally doped jet produces single multi-GeV peaks with <10% energy spread. A 3-stage model of drive laser pulse evolution and ionization injection characterizes the beating effect and explains our experimental results.


title: Algebra of Self-Replication

abstract: Typical arguments for results like Kleene's Second Recursion Theorem and the existence of self-writing computer programs bear the fingerprints of equational reasoning and combinatory logic. In fact, the connection of combinatory logic and computability theory is very old, and this paper extends this connection in new ways. In one direction, we counter the main trend in both computability theory and combinatory logic of heading straight to undecidability. Instead, this paper proposes using several very small equational logics to examine results in computability theory itself. These logics are decidable via term rewriting. We argue that they have something interesting to say about computability theory. They are closely related to fragments of combinatory logic which are decidable, and so this paper contributes to the study of such fragments. The paper has a few surprising results such as a classification of quine programs (programs which output themselves) in two decidable fragments. The classification goes via examination of normal forms in term rewriting systems, hence the title of the paper. The classification is an explanation of why all quine programs (in any language) are "pretty much the same, except for inessential details." In addition, we study the relational structure whose objects are the programs with the relation "p expresses q" meaning that if the program p is run on nothing, then it eventually outputs the program q.


title: $W_m$-algebras and fractional powers of difference operators

abstract: In this paper we describe a Poisson pencil associated to the lattice $W_m$-algebras defined in \cite{IM}, and we prove that the Poisson pencil is equal to the one defined in \cite{MW} and \cite{CM} using a type of discrete Drinfel'd-Sokolov reduction. We then show that, much as in the continuous case, a family of Hamiltonians defined by fractional powers of difference operators commute with respect to both structures, defining the kernel of one of them and creating an integrable hierarchy in the Liouville sense.


title: Increasing the dimension of linear systems solved by classical or quantum binary optimization: A new method to solve large linear equation systems

abstract: Recently, binary optimization has become an attractive research topic due to the development of quantum computing and specialized classical systems inspired by quantum computing. These hardware systems promise to speed up the computation significantly. In this work, we propose a new method to solve linear systems written as a binary optimization problem. The procedure solves the problem efficiently and allows it to handle large linear systems. Our approach is founded on the geometry of the original linear problem and resembles the gradient conjugate method. The conjugated directions used can significantly improve the algorithm's convergence rate. We also show that a partial knowledge of the intrinsic geometry of the problem can divide the original problem into independent sub-problems of smaller dimensions. These sub-problems can then be solved using quantum or classical solvers. Although determining the geometry of the problem has an additional computational cost, it can substantially improve the performance of our method compared to previous implementations.


title: Hierarchical Attention and Graph Neural Networks: Toward Drift-Free Pose Estimation

abstract: The most commonly used method for addressing 3D geometric registration is the iterative closet-point algorithm, this approach is incremental and prone to drift over multiple consecutive frames. The Common strategy to address the drift is the pose graph optimization subsequent to frame-to-frame registration, incorporating a loop closure process that identifies previously visited places. In this paper, we explore a framework that replaces traditional geometric registration and pose graph optimization with a learned model utilizing hierarchical attention mechanisms and graph neural networks. We propose a strategy to condense the data flow, preserving essential information required for the precise estimation of rigid poses. Our results, derived from tests on the KITTI Odometry dataset, demonstrate a significant improvement in pose estimation accuracy. This improvement is especially notable in determining rotational components when compared with results obtained through conventional multi-way registration via pose graph optimization. The code will be made available upon completion of the review process.


title: Homology of loops on a splitting-rank symmetric space via the Geometric Satake for real groups

abstract: Using Nadler's Geometric Satake Equivalence for real reductive groups, we obtain a description of the equivariant homology of the loop space of splitting-rank symmetric spaces in terms of the relative dual group of the space. The description is in line with Yun and Zhu's calculation for the loop space of a compact Lie group. The formula hints at a relative duality for these spaces.


title: A Concise Overview of Safety Aspects in Human-Robot Interaction

abstract: As of today, robots exhibit impressive agility but also pose potential hazards to humans using/collaborating with them. Consequently, safety is considered the most paramount factor in human-robot interaction (HRI). This paper presents a multi-layered safety architecture, integrating both physical and cognitive aspects for effective HRI. We outline critical requirements for physical safety layers as service modules that can be arbitrarily queried. Further, we showcase an HRI scheme that addresses human factors and perceived safety as high-level constraints on a validated impact safety paradigm. The aim is to enable safety certification of human-friendly robots across various HRI scenarios.


title: TransientViT: A novel CNN - Vision Transformer hybrid real/bogus transient classifier for the Kilodegree Automatic Transient Survey

abstract: The detection and analysis of transient astronomical sources is of great importance to understand their time evolution. Traditional pipelines identify transient sources from difference (D) images derived by subtracting prior-observed reference images (R) from new science images (N), a process that involves extensive manual inspection. In this study, we present TransientViT, a hybrid convolutional neural network (CNN) - vision transformer (ViT) model to differentiate between transients and image artifacts for the Kilodegree Automatic Transient Survey (KATS). TransientViT utilizes CNNs to reduce the image resolution and a hierarchical attention mechanism to model features globally. We propose a novel KATS-T 200K dataset that combines the difference images with both long- and short-term images, providing a temporally continuous, multidimensional dataset. Using this dataset as the input, TransientViT achieved a superior performance in comparison to other transformer- and CNN-based models, with an overall area under the curve (AUC) of 0.97 and an accuracy of 99.44%. Ablation studies demonstrated the impact of different input channels, multi-input fusion methods, and cross-inference strategies on the model performance. As a final step, a voting-based ensemble to combine the inference results of three NRD images further improved the model's prediction reliability and robustness. This hybrid model will act as a crucial reference for future studies on real/bogus transient classification.


title: On the Constants of the Lang-Trotter Conjecture for CM Elliptic Curves

abstract: In 2021, Daqing Wan and Ping Xi studied the equivalence of the Lang-Trotter conjecture for CM elliptic curves and the Hardy-Littlewood conjecture for primes represented by a quadratic polynomial. Wan and Xi provided an alternative description of the Lang-Trotter conjecture under the Hardy-Littlewood conjecture. They obtained an explicit constant $\overline{\omega}_{E,r}$ in the asymptotics of the Lang-Trotter conjecture. They further conjectured that this particular constant would be equal to the constant $C_{E,r}$ in the asymptotics of the original Lang-Trotter conjecture. In this paper, we verify the same for $20$ CM elliptic curves, which also establishes the equivalence of the Lang-Trotter Conjecture and the Hardy-Littlewood Conjecture with respect to $r$, for these CM elliptic curves.


title: Holographic Limitations and Corrections to Quantum Information Protocols

abstract: We discuss the limitations imposed on entanglement distribution, quantum teleportation, and quantum communication by holographic bounds, such as the Bekenstein bound and Susskind's spherical entropy bound. For continuous-variable (CV) quantum information, we show how the naive application of holographic corrections disrupts well-established results. These corrections render perfect CV teleportation impossible, preclude uniform convergence in the teleportation simulation of lossy quantum channels, and impose a revised PLOB bound for quantum communication. While these mathematical corrections do not immediately impact practical quantum technologies, they are critical for a deeper theoretical understanding of quantum information theory.


title: Testing the near-far connection with FIRE simulations: inferring the stellar mass function of the proto-Local Group at z > 6 using the fossil record of present-day galaxies

abstract: The shape of the low-mass (faint) end of the galaxy stellar mass function (SMF) or ultraviolet luminosity function (UVLF) at z > 6 is an open question for understanding which galaxies primarily drove cosmic reionisation. Resolved photometry of Local Group low-mass galaxies allows us to reconstruct their star formation histories, stellar masses, and UV luminosities at early times, and this fossil record provides a powerful `near-far' technique for studying the reionisation-era SMF/UVLF, probing orders of magnitude lower in mass than direct HST/JWST observations. Using 882 low-mass (Mstar < 10^9 Msun) galaxies across 11 Milky Way- and Local Group-analogue environments from the FIRE-2 cosmological baryonic zoom-in simulations, we characterise their progenitors at z ~ 6 - 9, the mergers/disruption of those progenitors over time, and how well their present-day fossil record traces the high-redshift SMF. A present-day galaxy with Mstar ~ 10^5 Msun (10^9 Msun) had ~1 (~30) progenitors at z ~ 7, and its main progenitor comprised ~100% (~50%) of the total stellar mass of all its progenitors at z ~ 7. We show that although only ~ 15% of the early population of low-mass galaxies survives to present day, the fossil record of surviving Local Group galaxies accurately traces the low-mass slope of the SMF at z ~ 6 - 9. We find no obvious mass dependence to the mergers and accretion, and show that applying this reconstruction technique to just the low-mass galaxies at z = 0 and not the MW/M31 hosts correctly recovers the slope of the SMF down to Mstar ~ 10^4.5 Msun at z > 6. Thus, we validate the `near-far' approach as an unbiased tool for probing low-mass reionisation-era galaxies.


title: Model-Based Generation of Attack-Fault Trees

abstract: Joint safety and security analysis of cyber-physical systems is a necessary step to correctly capture inter-dependencies between these properties. Attack-Fault Trees represent a combination of dynamic Fault Trees and Attack Trees and can be used to model and model-check a holistic view on both safety and security. Manually creating a complete AFT for the whole system is, however, a daunting task. It needs to span multiple abstraction layers, e.g., abstract application architecture and data flow as well as system and library dependencies that are affected by various vulnerabilities. We present an AFT generation tool-chain that facilitates this task using partial Fault and Attack Trees that are either manually created or mined from vulnerability databases. We semi-automatically create two system models that provide the necessary information to automatically combine these partial Fault and Attack Trees into complete AFTs using graph transformation rules.


title: OptiRoute: A Heuristic-assisted Deep Reinforcement Learning Framework for UAV-UGV Collaborative Route Planning

abstract: Unmanned aerial vehicles (UAVs) are capable of surveying expansive areas, but their operational range is constrained by limited battery capacity. The deployment of mobile recharging stations using unmanned ground vehicles (UGVs) significantly extends the endurance and effectiveness of UAVs. However, optimizing the routes of both UAVs and UGVs, known as the UAV-UGV cooperative routing problem, poses substantial challenges, particularly with respect to the selection of recharging locations. Here in this paper, we leverage reinforcement learning (RL) for the purpose of identifying optimal recharging locations while employing constraint programming to determine cooperative routes for the UAV and UGV. Our proposed framework is then benchmarked against a baseline solution that employs Genetic Algorithms (GA) to select rendezvous points. Our findings reveal that RL surpasses GA in terms of reducing overall mission time, minimizing UAV-UGV idle time, and mitigating energy consumption for both the UAV and UGV. These results underscore the efficacy of incorporating heuristics to assist RL, a method we refer to as heuristics-assisted RL, in generating high-quality solutions for intricate routing problems.


title: Property Graphs in Arachne

abstract: Analyzing large-scale graphs poses challenges due to their increasing size and the demand for interactive and user-friendly analytics tools. These graphs arise from various domains, including cybersecurity, social sciences, health sciences, and network sciences, where networks can represent interactions between humans, neurons in the brain, or malicious flows in a network. Exploring these large graphs is crucial for revealing hidden structures and metrics that are not easily computable without parallel computing. Currently, Python users can leverage the open-source Arkouda framework to efficiently execute Pandas and NumPy-related tasks on thousands of cores. To address large-scale graph analysis, Arachne, an extension to Arkouda, enables easy transformation of Arkouda dataframes into graphs. This paper proposes and evaluates three distributable data structures for property graphs, implemented in Chapel, that are integrated into Arachne. Enriching Arachne with support for property graphs will empower data scientists to extend their analysis to new problem domains. Property graphs present additional complexities, requiring efficient storage for extra information on vertices and edges, such as labels, relationships, and properties.


title: DiffusionWorldViewer: Exposing and Broadening the Worldview Reflected by Generative Text-to-Image Models

abstract: Generative text-to-image (TTI) models produce high-quality images from short textual descriptions and are widely used in academic and creative domains. Like humans, TTI models have a worldview, a conception of the world learned from their training data and task that influences the images they generate for a given prompt. However, the worldviews of TTI models are often hidden from users, making it challenging for users to build intuition about TTI outputs, and they are often misaligned with users' worldviews, resulting in output images that do not match user expectations. In response, we introduce DiffusionWorldViewer, an interactive interface that exposes a TTI model's worldview across output demographics and provides editing tools for aligning output images with user perspectives. In a user study with 18 diverse TTI users, we find that DiffusionWorldViewer helps users represent their varied viewpoints in generated images and challenge the limited worldview reflected in current TTI models.


title: TESS Spots a Super-Puff: The Remarkably Low Density of TOI-1420b

abstract: We present the discovery of TOI-1420b, an exceptionally low-density ($\rho = 0.08\pm0.02$ g cm$^{-3}$) transiting planet in a $P = 6.96$ day orbit around a late G dwarf star. Using transit observations from TESS, LCOGT, OPM, Whitin, Wendelstein, OAUV, Ca l'Ou, and KeplerCam along with radial velocity observations from HARPS-N and NEID, we find that the planet has a radius of $R_p$ = 11.9 $\pm$ 0.3 $R_\Earth$ and a mass of $M_p$ = 25.1 $\pm$ 3.8 $M_\Earth$. TOI-1420b is the largest-known planet with a mass less than $50M_\Earth$, indicating that it contains a sizeable envelope of hydrogen and helium. We determine TOI-1420b's envelope mass fraction to be $f_{env} = 82^{+7}_{-6}\%$, suggesting that runaway gas accretion occurred when its core was at most $4-5\times$ the mass of the Earth. TOI-1420b is similar to the planet WASP-107b in mass, radius, density, and orbital period, so a comparison of these two systems may help reveal the origins of close-in low-density planets. With an atmospheric scale height of 1950 km, a transmission spectroscopy metric of 580, and a predicted Rossiter-McLaughlin amplitude of about $17$ m s$^{-1}$, TOI-1420b is an excellent target for future atmospheric and dynamical characterization.


title: Gravitational Wave Resonance in Ultra-Light Dark Matter Halos

abstract: Ultra-Light Dark Matter (ULDM) halos constituted by Ultra-Light Axions (ULAs) generate gravitational potentials that oscillate in time. In this paper I show these potentials interact with gravitational waves, resonantly amplifying them. For all ULA masses considered, the resonance in the solar region is currently negligible, while in a denser dark matter environment, which may arise in different scenarios, it might become significant. The frequency of the amplified gravitational wave is equal to the ULA mass in the case of first resonance band, which represents the most efficient scenario.


title: End-to-end Learned Visual Odometry with Events and Frames

abstract: Visual Odometry (VO) is crucial for autonomous robotic navigation, especially in GPS-denied environments like planetary terrains. To improve robustness, recent model-based VO systems have begun combining standard and event-based cameras. Event cameras excel in low-light and high-speed motion, while standard cameras provide dense and easier-to-track features, even in low-textured areas. However, the field of image- and event-based VO still predominantly relies on model-based methods and is yet to fully integrate recent image-only advancements leveraging end-to-end learning-based architectures. Seamlessly integrating the two modalities remains challenging due to their different nature, one asynchronous, the other not, limiting the potential for a more effective image- and event-based VO. We introduce RAMP-VO, the first end-to-end learned image- and event-based VO system. It leverages novel Recurrent, Asynchronous, and Massively Parallel (RAMP) encoders capable of fusing asynchronous events with image data, providing 8x faster inference and 33% more accurate predictions than existing solutions. Despite being trained only in simulation, RAMP-VO outperforms image- and event-based methods by 46% and 60%, respectively, on traditional, real-world benchmarks as well as newly introduced Apollo and Malapert landing sequences, paving the way for robust and asynchronous VO in space.


title: The singular sets of degenerate and nonlocal elliptic equations on Poincar\'e-Einstein manifolds

abstract: The main objects of this paper include some degenerate and nonlocal elliptic operators which naturally arise in the conformal invariant theory of Poincar\'e-Einstein manifolds. These operators generally reflect the correspondence between the Riemannian geometry of a complete Poincar\'e-Einstein manifold and the conformal geometry of its associated conformal infinity. In this setting, we develop the quantitative differentiation theory that includes quantitative stratification for the singular set and Minkowski type estimates for the (quantitatively) stratified singular sets. All these, together with a new $\epsilon$-regularity result for degenerate/singular elliptic operators on Poincar\'e-Einstein manifolds, lead to uniform Hausdorff measure estimates for the singular sets. Furthermore, the main results in this paper provide a delicate synergy between the geometry of Poincar\'e-Einstein manifolds and the elliptic theory of associated degenerate elliptic operators.


title: How to Generate Popular Post Headlines on Social Media?

abstract: Posts, as important containers of user-generated-content pieces on social media, are of tremendous social influence and commercial value. As an integral components of a post, the headline has a decisive contribution to the post's popularity. However, current mainstream method for headline generation is still manually writing, which is unstable and requires extensive human effort. This drives us to explore a novel research question: Can we automate the generation of popular headlines on social media? We collect more than 1 million posts of 42,447 celebrities from public data of Xiaohongshu, which is a well-known social media platform in China. We then conduct careful observations on the headlines of these posts. Observation results demonstrate that trends and personal styles are widespread in headlines on social medias and have significant contribution to posts's popularity. Motivated by these insights, we present MEBART, which combines Multiple preference-Extractors with Bidirectional and Auto-Regressive Transformers (BART), capturing trends and personal styles to generate popular headlines on social medias. We perform extensive experiments on real-world datasets and achieve state-of-the-art performance compared with several advanced baselines. In addition, ablation and case studies demonstrate that MEBART advances in capturing trends and personal styles.


title: Investigating End-to-End ASR Architectures for Long Form Audio Transcription

abstract: This paper presents an overview and evaluation of some of the end-to-end ASR models on long-form audios. We study three categories of Automatic Speech Recognition(ASR) models based on their core architecture: (1) convolutional, (2) convolutional with squeeze-and-excitation and (3) convolutional models with attention. We selected one ASR model from each category and evaluated Word Error Rate, maximum audio length and real-time factor for each model on a variety of long audio benchmarks: Earnings-21 and 22, CORAAL, and TED-LIUM3. The model from the category of self-attention with local attention and global token has the best accuracy comparing to other architectures. We also compared models with CTC and RNNT decoders and showed that CTC-based models are more robust and efficient than RNNT on long form audio.


title: Explicit Semiclassical Resonances from Many Delta Functions

abstract: We study the scattering resonances arising from multiple $h$-dependent Dirac delta functions on the real line in the semiclassical regime $h \rightarrow 0$. We focus on resonances lying in strings along curves of the form $\text{Im } z \sim -\gamma h\log(1/h)$ and find that resonances along such strings exist if and only if $\gamma$ is a slope of a Newton polygon we construct from the parameters. Furthermore, the set of these $\gamma$ corresponds to a complete and disjoint partitioning of a line segment with delta functions at interval endpoints. Hence, there are at most $N-1$ strings of resonances from $N$ delta functions, improving a bound from (Datchev, Marzuola, & Wunsch 2023). Lastly, we identify a 'dominant pair' of delta functions in the sense that they correspond to the longest-living string of resonances, this string is the only one of logarithmic shape with respect to $\text{Re } z$, and no delta functions between them can contribute to strings of resonances. The simple properties of delta functions permit elementary proofs, requiring just undergraduate analysis and linear algebra.


title: Extended defects-enhanced oxygen diffusion in ThO2

abstract: Oxygen self-diffusion is key to understanding stoichiometry and defect structures in oxide nuclear fuels. Experimentally, low activation-barrier oxygen migration was found in ThO$_2$, a candidate nuclear fuel, possibly due to short-circuit diffusion mechanisms. Here, we perform extensive molecular dynamics simulations to show that various types of extended defects can enhance oxygen self-diffusion with a much-reduced activation barrier in ThO$_2$. In this work, we consider extended defects including 1D (dislocation), 2D (grain boundary), and 3D (void) defects. Due to the distinct characteristics of each type of extended defect, the modulation of oxygen diffusion varies. These results provide a quantitative description of oxygen transport, which is significantly enhanced within a close distance (nanometer scale) from the extended defects. Among all these defects, grain boundary, particularly the $\Sigma 3$ twin boundary with a low formation energy, exhibits the strongest effect on increasing oxygen transport.


title: PINN-based viscosity solution of HJB equation

abstract: This paper proposed a novel PINN-based viscosity solution for HJB equations. Although there exists work using PINN to solve HJB, but none of them gives the solution in viscosity sense. This paper reveals the fact that using the convex neural network, one can guarantee the viscosity solution and thus the neural network can easily converge to the true solution of HJB despite of the starting point.


title: vSHARP: variable Splitting Half-quadratic ADMM algorithm for Reconstruction of inverse-Problems

abstract: Medical Imaging (MI) tasks, such as accelerated Parallel Magnetic Resonance Imaging (MRI), often involve reconstructing an image from noisy or incomplete measurements. This amounts to solving ill-posed inverse problems, where a satisfactory closed-form analytical solution is not available. Traditional methods such as Compressed Sensing (CS) in MRI reconstruction can be time-consuming or prone to obtaining low-fidelity images. Recently, a plethora of supervised and self-supervised Deep Learning (DL) approaches have demonstrated superior performance in inverse-problem solving, surpassing conventional methods. In this study, we propose vSHARP (variable Splitting Half-quadratic ADMM algorithm for Reconstruction of inverse Problems), a novel DL-based method for solving ill-posed inverse problems arising in MI. vSHARP utilizes the Half-Quadratic Variable Splitting method and employs the Alternating Direction Method of Multipliers (ADMM) to unroll the optimization process. For data consistency, vSHARP unrolls a differentiable gradient descent process in the image domain, while a DL-based denoiser, such as a U-Net architecture, is applied to enhance image quality. vSHARP also employs a dilated-convolution DL-based model to predict the Lagrange multipliers for the ADMM initialization. We evaluate the proposed model by applying it to the task of accelerated Parallel MRI Reconstruction on two distinct datasets. We present a comparative analysis of our experimental results with state-of-the-art approaches, highlighting the superior performance of vSHARP.


title: The Protein Engineering Tournament: An Open Science Benchmark for Protein Modeling and Design

abstract: The grand challenge of protein engineering is the development of computational models that can characterize and generate protein sequences for any arbitrary function. However, progress today is limited by lack of 1) benchmarks with which to compare computational techniques, 2) large datasets of protein function, and 3) democratized access to experimental protein characterization. Here, we introduce the Protein Engineering Tournament, a fully-remote, biennial competition for the development and benchmarking of computational methods in protein engineering. The tournament consists of two rounds: a first in silico round, where participants use computational models to predict biophysical properties for a set of protein sequences, and a second in vitro round, where participants are challenged to design new protein sequences, which are experimentally measured with open-source, automated methods to determine a winner. At the Tournament's conclusion, the experimental protocols and all collected data will be open-sourced for continued benchmarking and advancement of computational models. We hope the Protein Engineering Tournament will provide a transparent platform with which to evaluate progress in this field and mobilize the scientific community to conquer the grand challenge of computational protein engineering.


title: Small k-pairable states

abstract: A $k$-pairable $n$-qubit state is a resource state that allows Local Operations and Classical Communication (LOCC) protocols to generate EPR-pairs among any $k$-disjoint pairs of the $n$ qubits. Bravyi et al. introduced a family of $k$-pairable $n$-qubit states, where $n$ grows exponentially with $k$. Our primary contribution is to establish the existence of 'small' pairable quantum states. Specifically, we present a family of $k$-pairable $n$-qubit graph states, where $n$ is polynomial in $k$, namely $n=O(k^3\ln^3k)$. Our construction relies on probabilistic methods. Furthermore, we provide an upper bound on the pairability of any arbitrary quantum state based on the support of any local unitary transformation that has the shared state as a fixed point. This lower bound implies that the pairability of a graph state is at most half of the minimum degree up to local complementation of the underlying graph, i.e., $k(|G \rangle)\le \lceil \delta_{loc}(G)/2\rceil$. We also investigate the related combinatorial problem of $k$-vertex-minor-universality: a graph $G$ is $k$-vertex-minor-universal if any graph on any $k$ of its vertices is a vertex-minor of $G$. When a graph is $2k$-vertex-minor-universal, the corresponding graph state is $k$-pairable. More precisely, one can create not only EPR-pairs but also any stabilizer state on any $2k$ qubits through local operations and classical communication. We establish the existence of $k$-vertex-minor-universal graphs of order $O(k^4 \ln k)$. Finally, we explore a natural extension of pairability in the presence of errors or malicious parties and show that vertex-minor-universality ensures a robust form of pairability.


title: Quantum Circuit Optimization through Iteratively Pre-Conditioned Gradient Descent

abstract: For typical quantum subroutines in the gate-based model of quantum computing, explicit decompositions of circuits in terms of single-qubit and two-qubit entangling gates may exist. However, they often lead to large-depth circuits that are challenging for noisy intermediate-scale quantum (NISQ) hardware. Additionally, exact decompositions might only exist for some modular quantum circuits. Therefore, it is essential to find gate combinations that approximate these circuits to high fidelity with potentially low depth, for example, using gradient-based optimization. Traditional optimizers often run into problems of slow convergence requiring many iterations, and perform poorly in the presence of noise. Here we present iteratively preconditioned gradient descent (IPG) for optimizing quantum circuits and demonstrate performance speedups for state preparation and implementation of quantum algorithmic subroutines. IPG is a noise-resilient, higher-order algorithm that has shown promising gains in convergence speed for classical optimizations, converging locally at a linear rate for convex problems and superlinearly when the solution is unique. Specifically, we show an improvement in fidelity by a factor of $10^4$ for preparing a 4-qubit W state and a maximally entangled 5-qubit GHZ state compared to other commonly used classical optimizers tuning the same ansatz. We also show gains for optimizing a unitary for a quantum Fourier transform using IPG, and report results of running such optimized circuits on IonQ's quantum processing unit (QPU). Such faster convergence with promise for noise-resilience could provide advantages for quantum algorithms on NISQ hardware, especially since the cost of running each iteration on a quantum computer is substantially higher than the classical optimizer step.


title: An Empirical Study of Scaling Instruct-Tuned Large Multimodal Models

abstract: Visual instruction tuning has recently shown encouraging progress with open-source large multimodal models (LMM) such as LLaVA and MiniGPT-4. However, most existing studies of open-source LMM are performed using models with 13B parameters or smaller. In this paper we present an empirical study of scaling LLaVA up to 33B and 65B/70B, and share our findings from our explorations in image resolution, data mixing and parameter-efficient training methods such as LoRA/QLoRA. These are evaluated by their impact on the multi-modal and language capabilities when completing real-world tasks in the wild. We find that scaling LMM consistently enhances model performance and improves language capabilities, and performance of LoRA/QLoRA tuning of LMM are comparable to the performance of full-model fine-tuning. Additionally, the study highlights the importance of higher image resolutions and mixing multimodal-language data to improve LMM performance, and visual instruction tuning can sometimes improve LMM's pure language capability. We hope that this study makes state-of-the-art LMM research at a larger scale more accessible, thus helping establish stronger baselines for future research. Code and checkpoints will be made public.


title: Optimization of probe separation distance and cooling time in multi-probe cryoablation technique by arranging probes in triangular and square pattern-A computational approach

abstract: Cryoablation is a minimally invasive and efficient therapy option for liver cancer. Liquid nitrogen was used to kill the unwanted cells via freezing. One of the challenges of cryosurgery is to destroy the complete tumor without damaging the surrounding healthy cells when the tumor is large. To overcome this challenge, multi-cryoprobes were arranged in a polygonal pattern to create a uniform cooling and optimum ablation zone in the tissue. Single, three, and four cryoprobes were placed in the center, triangle, and square patterns to analyze the temperature profile and ablation zone. The results showed that tissue will freeze quickly when cryoprobes are placed in a square pattern. After the treatment of 600 seconds, $99\%$, $96\%$, and $31\%$ of the tumor were killed using four, three, and single cryoprobes, respectively. One of the difficulties in the multi-probe technique is choosing the probe separation distance and cooling time. The volume of the ablation zone, the thermal damage to healthy cells, and the volume of tumor cells killed during the treatment for different probe separation distances of 10 mm, 15 mm, and 20 mm are analyzed. Compared to other settings, a multi-probe technique destroys the entire tumor with the least harm to healthy cells when probes are arranged in a square pattern with a 15 mm space between them.

categories: physics.med-ph cs.NA math-ph math.MP math.NA q-bio.TO


title: Exact Steering Bound for Two-Qubit Werner States

abstract: We investigate the relationship between projective measurements and positive operator-valued measures (POVMs) in the task of quantum steering. A longstanding open problem in the field has been whether POVMs are more powerful than projective measurements for the steerability of noisy singlet states, which are known as Werner states. We resolve this problem for two-qubit systems and show that the two are equally powerful, thereby closing the so-called Werner gap. Using the incompatible criteria for noisy POVMs and the connection between quantum steering and measurement incompatibility, we construct a local hidden state model for Werner states with Bloch sphere radius $r\leq 1/2$ under general POVMs. This construction also provides a local hidden variable model for a larger range of Werner states than previously known. {In contrast, we also show that projective measurements and POVMs can have inequivalent noise tolerances when using a fixed state ensemble to build different local hidden state models.} These results help clarify the relationship between projective measurements and POVMs for the tasks of quantum steering and nonlocal information processing.


title: Accelerated Gradient Descent via Long Steps

abstract: Recently Grimmer [1] showed for smooth convex optimization by utilizing longer steps periodically, gradient descent's textbook $LD^2/2T$ convergence guarantees can be improved by constant factors, conjecturing an accelerated rate strictly faster than $O(1/T)$ could be possible. Here we prove such a big-O gain, establishing gradient descent's first accelerated convergence rate in this setting. Namely, we prove a $O(1/T^{1.0564})$ rate for smooth convex minimization by utilizing a nonconstant nonperiodic sequence of increasingly large stepsizes. It remains open if one can achieve the $O(1/T^{1.178})$ rate conjectured by Das Gupta et. al. [2] or the optimal gradient method rate of $O(1/T^2)$. Big-O convergence rate accelerations from long steps follow from our theory for strongly convex optimization, similar to but somewhat weaker than those concurrently developed by Altschuler and Parrilo [3].


title: Asymptotic symmetries of projectively compact order one Einstein manifolds

abstract: We show that the boundary of a projectively compact Einstein manifold of dimension $n$ can be extended by a line bundle naturally constructed from the projective compactification. This extended boundary is such that its automorphisms can be identified with asymptotic symmetries of the compactification. The construction is motivated by the investigation of a new curved orbit decomposition for a $n+1$ dimensional manifold which we prove results in a line bundle over a projectively compact order one Einstein manifolds.


title: Power of quantum measurement in simulating unphysical operations

abstract: The manipulation of quantum states through linear maps beyond quantum operations has many important applications in various areas of quantum information processing. Current methods simulate unphysical maps by sampling physical operations, but in a classical way. In this work, we show that using quantum measurement in place of classical sampling leads to lower simulation costs for general Hermitian-preserving maps. Remarkably, we establish the equality between the simulation cost and the well-known diamond norm, thus closing a previously known gap and assigning diamond norm a universal operational meaning as a map's simulability. We demonstrate our method in two applications closely related to error mitigation and quantum machine learning, where it exhibits a favorable scaling. These findings highlight the power of quantum measurement in simulating unphysical operations, in which quantum interference is believed to play a vital role. Our work paves the way for more efficient sampling techniques and has the potential to be extended to more quantum information processing scenarios.


title: Coherent x-ray magnetic imaging with 5 nm resolution

abstract: Soft x-ray microscopy plays an important role in modern spintronics. However, the achievable resolution of most x-ray magnetic imaging experiments is above 10 nm, limiting access to fundamental and technologically relevant length scales. Here, we demonstrate x-ray magnetic microscopy with 5 nm resolution by combining holography-assisted coherent diffractive imaging with heterodyne amplification of the weak magnetic signal. The gain in resolution and contrast allows direct access to key magnetic properties, including domain wall profiles and the position of pinning sites. The ability to detect and map such properties with photons opens new horizons for element-specific, time-resolved, and in-operando research on magnetic materials and beyond.


title: Exact Diagonalization of $\mathrm{SU}(N)$ Fermi-Hubbard Models

abstract: We show how to perform exact diagonalizations of $\mathrm{SU}(N)$ Fermi-Hubbard models on $L$-site clusters separately in each irreducible representation ({irrep}) of $\mathrm{SU}(N)$. Using the representation theory of the unitary group $\mathrm{U}(L)$, we demonstrate that a convenient orthonormal basis, on which matrix elements of the Hamiltonian are very simple, is given by the set of {\it semistandard Young tableaux} (or, equivalently the Gelfand-Tsetlin patterns) corresponding to the targeted irrep. As an application of this color factorization, we study the robustness of some $\mathrm{SU}(N)$ phases predicted in the Heisenberg limit upon decreasing the on-site interaction $U$ on various lattices of size $L \leq 12$ and for $2 \leq N \leq 6$. In particular, we show that a long-range color ordered phase emerges for intermediate $U$ for $N=4$ at filling $1/4$ on the triangular lattice.


title: Sharpness versus bluntness in affine Weyl groups

abstract: We give an explanation of the bijection between geometric and arithmetic diagrams attached to supercuspidal unipotent representations of a simple p-adic group which is based purely on algebra. The second version contains much additional material compared to the first version.


title: How to Make Knockout Tournaments More Popular?

abstract: Given a mapping from a set of players to the leaves of a complete binary tree (called a seeding), a knockout tournament is conducted as follows: every round, every two players with a common parent compete against each other, and the winner is promoted to the common parent; then, the leaves are deleted. When only one player remains, it is declared the winner. This is a popular competition format in sports, elections, and decision-making. Over the past decade, it has been studied intensively from both theoretical and practical points of view. Most frequently, the objective is to seed the tournament in a way that "assists" (or even guarantees) some particular player to win the competition. We introduce a new objective, which is very sensible from the perspective of the directors of the competition: maximize the profit or popularity of the tournament. Specifically, we associate a "score" with every possible match, and aim to seed the tournament to maximize the sum of the scores of the matches that take place. We focus on the case where we assume a total order on the players' strengths, and provide a wide spectrum of results on the computational complexity of the problem.


title: Generating and Imputing Tabular Data via Diffusion and Flow-based Gradient-Boosted Trees

abstract: Tabular data is hard to acquire and is subject to missing values. This paper introduces a novel approach for generating and imputing mixed-type (continuous and categorical) tabular data utilizing score-based diffusion and conditional flow matching. In contrast to prior methods that rely on neural networks to learn the score function or the vector field, we adopt XGBoost, a widely used Gradient-Boosted Tree (GBT) technique. To test our method, we build one of the most extensive benchmarks for tabular data generation and imputation, containing 27 diverse datasets and 9 metrics. Through empirical evaluation across the benchmark, we demonstrate that our approach outperforms deep-learning generation methods in data generation tasks and remains competitive in data imputation. Notably, it can be trained in parallel using CPUs without requiring a GPU. Our Python and R code is available at https://github.com/SamsungSAILMontreal/ForestDiffusion.


title: Prompt a Robot to Walk with Large Language Models

abstract: Large language models (LLMs) pre-trained on vast internet-scale data have showcased remarkable capabilities across diverse domains. Recently, there has been escalating interest in deploying LLMs for robotics, aiming to harness the power of foundation models in real-world settings. However, this approach faces significant challenges, particularly in grounding these models in the physical world and in generating dynamic robot motions. To address these issues, we introduce a novel paradigm in which we use few-shot prompts collected from the physical environment, enabling the LLM to autoregressively generate low-level control commands for robots without task-specific fine-tuning. Experiments across various robots and environments validate that our method can effectively prompt a robot to walk. We thus illustrate how LLMs can proficiently function as low-level feedback controllers for dynamic motion control even in high-dimensional robotic systems. The project website and source code can be found at: https://prompt2walk.github.io/ .


title: Empirical Study of Mix-based Data Augmentation Methods in Physiological Time Series Data

abstract: Data augmentation is a common practice to help generalization in the procedure of deep model training. In the context of physiological time series classification, previous research has primarily focused on label-invariant data augmentation methods. However, another class of augmentation techniques (\textit{i.e., Mixup}) that emerged in the computer vision field has yet to be fully explored in the time series domain. In this study, we systematically review the mix-based augmentations, including mixup, cutmix, and manifold mixup, on six physiological datasets, evaluating their performance across different sensory data and classification tasks. Our results demonstrate that the three mix-based augmentations can consistently improve the performance on the six datasets. More importantly, the improvement does not rely on expert knowledge or extensive parameter tuning. Lastly, we provide an overview of the unique properties of the mix-based augmentation methods and highlight the potential benefits of using the mix-based augmentation in physiological time series data.


title: MindAgent: Emergent Gaming Interaction

abstract: Large Language Models (LLMs) have the capacity of performing complex scheduling in a multi-agent system and can coordinate these agents into completing sophisticated tasks that require extensive collaboration. However, despite the introduction of numerous gaming frameworks, the community has insufficient benchmarks towards building general multi-agents collaboration infrastructure that encompass both LLM and human-NPCs collaborations. In this work, we propose a novel infrastructure - MindAgent - to evaluate planning and coordination emergent capabilities for gaming interaction. In particular, our infrastructure leverages existing gaming framework, to i) require understanding of the coordinator for a multi-agent system, ii) collaborate with human players via un-finetuned proper instructions, and iii) establish an in-context learning on few-shot prompt with feedback. Furthermore, we introduce CUISINEWORLD, a new gaming scenario and related benchmark that dispatch a multi-agent collaboration efficiency and supervise multiple agents playing the game simultaneously. We conduct comprehensive evaluations with new auto-metric CoS for calculating the collaboration efficiency. Finally, our infrastructure can be deployed into real-world gaming scenarios in a customized VR version of CUISINEWORLD and adapted in existing broader Minecraft gaming domain. We hope our findings on LLMs and the new infrastructure for general-purpose scheduling and coordination can help shed light on how such skills can be obtained by learning from large language corpora.


title: Artificial Intelligence for Web 3.0: A Comprehensive Survey

abstract: Web 3.0 is the new generation of the Internet that is reconstructed with distributed technology, which focuses on data ownership and value expression. Also, it operates under the principle that data and digital assets should be owned and controlled by users rather than large corporations. In this survey, we explore the current development state of Web 3.0 and the application of AI Technology in Web 3.0. Through investigating the existing applications and components of Web 3.0, we propose an architectural framework for Web 3.0 from the perspective of ecological application scenarios. We outline and divide the ecology of Web 3.0 into four layers. The main functions of each layer are data management, value circulation, ecological governance, and application scenarios. Our investigation delves into the major challenges and issues present in each of these layers. In this context, AI has shown its strong potential to solve existing problems of Web 3.0. We illustrate the crucial role of AI in the foundation and growth of Web 3.0. We begin by providing an overview of AI, including machine learning algorithms and deep learning techniques. Then, we thoroughly analyze the current state of AI technology applications in the four layers of Web 3.0 and offer some insights into its potential future development direction.


title: Coloring and density theorems for configurations of a given volume

abstract: This is a treatise on finite point configurations spanning a fixed volume to be found in a single color-class of an arbitrary finite (measurable) coloring of the Euclidean space $\mathbb{R}^n$, or in a single large measurable subset $A\subseteq\mathbb{R}^n$. More specifically, we study vertex-sets of simplices, rectangular boxes, and parallelotopes, attempting to make progress on several open problems posed in the 1970s and the 1980s. As one of the highlights, we give the negative answer to a question of Erd\H{o}s and Graham, by coloring the Euclidean plane $\mathbb{R}^2$ in $25$ colors without creating monochromatic rectangles of unit area. More generally, we construct a finite coloring of the Euclidean space $\mathbb{R}^n$ such that no color-class contains the $2^m$ vertices of any (possibly rotated) $m$-dimensional rectangular box of volume $1$. A positive result is still possible if rectangular boxes of merely sufficiently large volumes are sought in a single color-class of a finite measurable coloring of $\mathbb{R}^n$, and we establish it under an additional assumption $n\geq m+1$. Also, motivated by a question of Graham on reasonable bounds in his result on monochromatic axes-aligned right-angled $m$-dimensional simplices, we establish its measurable coloring and density variants with polylogarithmic bounds, again in dimensions $n\geq m+1$. Next, we generalize a result of Erd\H{o}s and Mauldin, by constructing an infinite measure set $A\subseteq\mathbb{R}^n$ such that every $n$-parallelotope with vertices in $A$ has volume strictly smaller than $1$. Finally, some results complementing the literature on isometric embeddings of hypercube graphs and on the hyperbolic analogue of the Hadwiger--Nelson problem also follow as byproducts of our approaches.


title: Emergence of chaotic cluster synchronization in heterogeneous networks

abstract: Many real-world complex systems rely on cluster synchronization to function properly. A cluster of nodes exhibits synchronous behavior while others behave erratically. Predicting the emergence of these clusters and understanding the mechanism behind their structure and variation in response to parameter change is a daunting task in networks that lack symmetry. We unravel the mechanism for the emergence of cluster synchronization in heterogeneous random networks. We develop a heterogeneous mean field approximation together with a self-consistent theory to determine the onset and stability of the cluster. Our analysis shows that cluster synchronization occurs in a wide variety of heterogeneous networks, node dynamics, and coupling functions. The results could lead to a new understanding of the dynamical behavior of networks ranging from neural to social.

categories: nlin.AO cond-mat.dis-nn math.DS nlin.CD nlin.PS


title: GEDepth: Ground Embedding for Monocular Depth Estimation

abstract: Monocular depth estimation is an ill-posed problem as the same 2D image can be projected from infinite 3D scenes. Although the leading algorithms in this field have reported significant improvement, they are essentially geared to the particular compound of pictorial observations and camera parameters (i.e., intrinsics and extrinsics), strongly limiting their generalizability in real-world scenarios. To cope with this challenge, this paper proposes a novel ground embedding module to decouple camera parameters from pictorial cues, thus promoting the generalization capability. Given camera parameters, the proposed module generates the ground depth, which is stacked with the input image and referenced in the final depth prediction. A ground attention is designed in the module to optimally combine ground depth with residual depth. Our ground embedding is highly flexible and lightweight, leading to a plug-in module that is amenable to be integrated into various depth estimation networks. Experiments reveal that our approach achieves the state-of-the-art results on popular benchmarks, and more importantly, renders significant generalization improvement on a wide range of cross-domain tests.


title: Des-q: a quantum algorithm to provably speedup retraining of decision trees

abstract: Decision trees are widely adopted machine learning models due to their simplicity and explainability. However, as training data size grows, standard methods become increasingly slow, scaling polynomially with the number of training examples. In this work, we introduce Des-q, a novel quantum algorithm to construct and retrain decision trees for regression and binary classification tasks. Assuming the data stream produces small, periodic increments of new training examples, Des-q significantly reduces the tree retraining time, achieving a logarithmic complexity in the combined total number of old and new examples, even accounting for the time needed to load the new samples into quantum-accessible memory. Our approach to grow the tree from any given node involves performing piecewise linear splits to generate multiple hyperplanes, thus partitioning the input feature space into distinct regions. To determine the suitable anchor points for these splits, we develop an efficient quantum-supervised clustering method, building upon the q-means algorithm introduced by Kerenidis \etal We benchmark the simulated version of Des-q against the state-of-the-art classical methods on multiple data sets and observe that our algorithm exhibits similar performance to the state-of-the-art decision trees while significantly speeding up the periodic tree retraining.


title: A Multi-Token Coordinate Descent Method for Semi-Decentralized Vertical Federated Learning

abstract: Communication efficiency is a major challenge in federated learning (FL). In client-server schemes, the server constitutes a bottleneck, and while decentralized setups spread communications, they do not necessarily reduce them due to slower convergence. We propose Multi-Token Coordinate Descent (MTCD), a communication-efficient algorithm for semi-decentralized vertical federated learning, exploiting both client-server and client-client communications when each client holds a small subset of features. Our multi-token method can be seen as a parallel Markov chain (block) coordinate descent algorithm and it subsumes the client-server and decentralized setups as special cases. We obtain a convergence rate of $\mathcal{O}(1/T)$ for nonconvex objectives when tokens roam over disjoint subsets of clients and for convex objectives when they roam over possibly overlapping subsets. Numerical results show that MTCD improves the state-of-the-art communication efficiency and allows for a tunable amount of parallel communications.


title: Impact of Galactic dust non-Gaussianity on searches for B-modes from inflation

abstract: A key challenge in the search for primordial B-modes is the presence of polarized Galactic foregrounds, especially thermal dust emission. Power-spectrum-based analysis methods generally assume the foregrounds to be Gaussian random fields when constructing a likelihood and computing the covariance matrix. In this paper, we investigate how non-Gaussianity in the dust field instead affects CMB and foreground parameter inference in the context of inflationary B-mode searches, capturing this effect via modifications to the dust power-spectrum covariance matrix. For upcoming experiments such as the Simons Observatory, we find no dependence of the tensor-to-scalar ratio uncertainty $\sigma(r)$ on the degree of dust non-Gaussianity or the nature of the dust covariance matrix. We provide an explanation of this result, noting that when frequency decorrelation is negligible, dust in mid-frequency channels is cleaned using high-frequency data in a way that is independent of the spatial statistics of dust. We show that our results hold also for non-zero levels of frequency decorrelation that are compatible with existing data. We find, however, that neglecting the impact of dust non-Gaussianity in the covariance matrix can lead to inaccuracies in goodness-of-fit metrics. Care must thus be taken when using such metrics to test B-mode spectra and models, although we show that any such problems can be mitigated by using only cleaned spectrum combinations when computing goodness-of-fit statistics.


title: General In-Hand Object Rotation with Vision and Touch

abstract: We introduce RotateIt, a system that enables fingertip-based object rotation along multiple axes by leveraging multimodal sensory inputs. Our system is trained in simulation, where it has access to ground-truth object shapes and physical properties. Then we distill it to operate on realistic yet noisy simulated visuotactile and proprioceptive sensory inputs. These multimodal inputs are fused via a visuotactile transformer, enabling online inference of object shapes and physical properties during deployment. We show significant performance improvements over prior methods and the importance of visual and tactile sensing.


title: Code Representation Pre-training with Complements from Program Executions

abstract: Large language models (LLMs) for natural language processing have been grafted onto programming language modeling for advancing code intelligence. Although it can be represented in the text format, code is syntactically more rigorous in order to be properly compiled or interpreted to perform a desired set of behaviors given any inputs. In this case, existing works benefit from syntactic representations to learn from code less ambiguously in the forms of abstract syntax tree, control-flow graph, etc. However, programs with the same purpose can be implemented in various ways showing different syntactic representations while the ones with similar implementations can have distinct behaviors. Though trivially demonstrated during executions, such semantics about functionality are challenging to be learned directly from code, especially in an unsupervised manner. Hence, in this paper, we propose FuzzPretrain to explore the dynamic information of programs revealed by their test cases and embed it into the feature representations of code as complements. The test cases are obtained with the assistance of a customized fuzzer and are only required during pre-training. FuzzPretrain yielded more than 6%/9% mAP improvements on code search over its counterparts trained with only source code or AST, respectively. Our extensive experimental results show the benefits of learning discriminative code representations with program executions.


title: X-ray computed tomography reconstruction algorithm for refractive index gradient

abstract: The aim of this research is to reconstruct the 3D X-ray refractive index gradient maps by the proposed vector Radon transform and its inverse, assuming that the small-angle deviation condition is met. Theoretical analyses show that the X-ray beam can be modeled as a streamline with continuous change of direction in a row when measured in one grating period, which allows the extraction of the refraction angle signals. Experimental results show that all the 2D refraction signals of different directions can be acquired by a standard circular scanning procedure, which is typically used in the X-ray differential phase-contrast computed tomography. Furthermore, the 3D refractive index gradient maps that contain the directional density changes, can also be accurately reconstructed.


title: Introspective Deep Metric Learning

abstract: This paper proposes an introspective deep metric learning (IDML) framework for uncertainty-aware comparisons of images. Conventional deep metric learning methods focus on learning a discriminative embedding to describe the semantic features of images, which ignore the existence of uncertainty in each image resulting from noise or semantic ambiguity. Training without awareness of these uncertainties causes the model to overfit the annotated labels during training and produce unsatisfactory judgments during inference. Motivated by this, we argue that a good similarity model should consider the semantic discrepancies with awareness of the uncertainty to better deal with ambiguous images for more robust training. To achieve this, we propose to represent an image using not only a semantic embedding but also an accompanying uncertainty embedding, which describes the semantic characteristics and ambiguity of an image, respectively. We further propose an introspective similarity metric to make similarity judgments between images considering both their semantic differences and ambiguities. The gradient analysis of the proposed metric shows that it enables the model to learn at an adaptive and slower pace to deal with the uncertainty during training. The proposed IDML framework improves the performance of deep metric learning through uncertainty modeling and attains state-of-the-art results on the widely used CUB-200-2011, Cars196, and Stanford Online Products datasets for image retrieval and clustering. We further provide an in-depth analysis of our framework to demonstrate the effectiveness and reliability of IDML. Code: https://github.com/wzzheng/IDML.


title: Exploration and Comparison of Deep Learning Architectures to Predict Brain Response to Realistic Pictures

abstract: We present an exploration of machine learning architectures for predicting brain responses to realistic images on occasion of the Algonauts Challenge 2023. Our research involved extensive experimentation with various pretrained models. Initially, we employed simpler models to predict brain activity but gradually introduced more complex architectures utilizing available data and embeddings generated by large-scale pre-trained models. We encountered typical difficulties related to machine learning problems, e.g. regularization and overfitting, as well as issues specific to the challenge, such as difficulty in combining multiple input encodings, as well as the high dimensionality, unclear structure, and noisy nature of the output. To overcome these issues we tested single edge 3D position-based, multi-region of interest (ROI) and hemisphere predictor models, but we found that employing multiple simple models, each dedicated to a ROI in each hemisphere of the brain of each subject, yielded the best results - a single fully connected linear layer with image embeddings generated by CLIP as input. While we surpassed the challenge baseline, our results fell short of establishing a robust association with the data.

categories: q-bio.NC cs.AI cs.CV cs.HC cs.LG eess.SP


title: BDEC:Brain Deep Embedded Clustering model

abstract: An essential premise for neuroscience brain network analysis is the successful segmentation of the cerebral cortex into functionally homogeneous regions. Resting-state functional magnetic resonance imaging (rs-fMRI), capturing the spontaneous activities of the brain, provides the potential for cortical parcellation. Previous parcellation methods can be roughly categorized into three groups, mainly employing either local gradient, global similarity, or a combination of both. The traditional clustering algorithms, such as "K-means" and "Spectral clustering" may affect the reproducibility or the biological interpretation of parcellations; The region growing-based methods influence the expression of functional homogeneity in the brain at a large scale; The parcellation method based on probabilistic graph models inevitably introduce model assumption biases. In this work, we develop an assumption-free model called as BDEC, which leverages the robust data fitting capability of deep learning. To the best of our knowledge, this is the first study that uses deep learning algorithm for rs-fMRI-based parcellation. By comparing with nine commonly used brain parcellation methods, the BDEC model demonstrates significantly superior performance in various functional homogeneity indicators. Furthermore, it exhibits favorable results in terms of validity, network analysis, task homogeneity, and generalization capability. These results suggest that the BDEC parcellation captures the functional characteristics of the brain and holds promise for future voxel-wise brain network analysis in the dimensionality reduction of fMRI data.


title: Molecular Conformation Generation via Shifting Scores

abstract: Molecular conformation generation, a critical aspect of computational chemistry, involves producing the three-dimensional conformer geometry for a given molecule. Generating molecular conformation via diffusion requires learning to reverse a noising process. Diffusion on inter-atomic distances instead of conformation preserves SE(3)-equivalence and shows superior performance compared to alternative techniques, whereas related generative modelings are predominantly based upon heuristical assumptions. In response to this, we propose a novel molecular conformation generation approach driven by the observation that the disintegration of a molecule can be viewed as casting increasing force fields to its composing atoms, such that the distribution of the change of inter-atomic distance shifts from Gaussian to Maxwell-Boltzmann distribution. The corresponding generative modeling ensures a feasible inter-atomic distance geometry and exhibits time reversibility. Experimental results on molecular datasets demonstrate the advantages of the proposed shifting distribution compared to the state-of-the-art.


title: Reconstructing bifurcation diagrams of chaotic circuits with reservoir computing

abstract: Model-free reconstruction of the bifurcation diagrams of Chua's circuits by the technique of parameter-aware reservoir computing is investigated. We demonstrate that: (1) reservoir computer can be utilized as a noise filter to recover the system trajectory from noisy signals; (2) for a single Chua circuit, the machine trained by the noisy time series measured at several sampling states is capable of reconstructing the whole bifurcation diagram of the circuit with a high precision; (3) for two coupled chaotic Chua circuits of mismatched parameters, the machine trained by the noisy time series measured at several coupling strengths is able to anticipate the variation of the synchronization degree of the coupled circuits with respect to the coupling strength over a wide range. The studies verify the capability of the technique of parameter-aware reservoir computing in learning the dynamics of chaotic circuits from noisy signals, signifying the potential application of this technique in reconstructing the bifurcation diagram of real-world chaotic systems.


title: TCGF: A unified tensorized consensus graph framework for multi-view representation learning

abstract: Multi-view learning techniques have recently gained significant attention in the machine learning domain for their ability to leverage consistency and complementary information across multiple views. However, there remains a lack of sufficient research on generalized multi-view frameworks that unify existing works into a scalable and robust learning framework, as most current works focus on specific styles of multi-view models. Additionally, most multi-view learning works rely heavily on specific-scale scenarios and fail to effectively comprehend multiple scales holistically. These limitations hinder the effective fusion of essential information from multiple views, resulting in poor generalization. To address these limitations, this paper proposes a universal multi-view representation learning framework named Tensorized Consensus Graph Framework (TCGF). Specifically, it first provides a unified framework for existing multi-view works to exploit the representations for individual view, which aims to be suitable for arbitrary assumptions and different-scales datasets. Then, stacks them into a tensor under alignment basics as a high-order representation, allowing for the smooth propagation of consistency and complementary information across all views. Moreover, TCGF proposes learning a consensus embedding shared by adaptively collaborating all views to uncover the essential structure of the multi-view data, which utilizes view-consensus grouping effect to regularize the view-consensus representation. To further facilitate related research, we provide a specific implementation of TCGF for large-scale datasets, which can be efficiently solved by applying the alternating optimization strategy. Experimental results conducted on seven different-scales datasets indicate the superiority of the proposed TCGF against existing state-of-the-art multi-view learning methods.


title: Abelian Constructivist Lagrangian

abstract: Constructivist lagrangian propiates a diverse approach to field theory. Introduce the set action. Consider fields families under a same symmetry group. The resulting fields set extends the standard atomist field theory to a whole field theory. An associative physics is proposed. The grouping physics. The relationship between the part and the whole is considered. A third quantum type beyond Planck granularity and quantum mechanics wave-particle is obtained. The quantum inserted in the whole. Differentiated energy packets are formed. A quantum system is constituted. Quantum system with own norm is a necessary theoretical argument. More is different, once time said P.W. Anderson. Physics is challenged to make the passage from an isolated particle to a quantum system. A theory to describe the physics of part in the whole. A challenge to be interpreted under gauge symmetry. A symmetry of difference is proposed. Quantum diversities enlarging the meanings of interaction, induction, connectivity. The abelian constructivist lagrangian is explored. A quantum system assembled by fields families and gauge scalars is performed. It arises an environmental physics. Gauge scalars form substrutures with realities and potentialities. The volume of circumstances for each gauge scalar is calculated. Nonvirtual relationships are derived. Physical entities as masses, charges, coupling constants are expressed under constructivist properties. Functionalities will lead them to a physical behaviour beyond four interactions.


title: Cosmology on a Gravitational Wave Background

abstract: It is a fact that the universe lives on a Gravitational Wave Background (GWB), which it may be in the form of extra energy, which is not contained in Einstein's field equations. In \cite{Matos:2021jef}, a new model was developed to explain the current accelerating expansion of the universe where a GWB was incorporated by extending Einstein's equations to $R_{\mu\nu}-\frac{1}{2}Rg_{\mu\nu}+\frac{2\pi^2}{{\lambda}^2}g_{\mu\nu}=\kappa ^2 T_{\mu\nu}$, where ${\lambda}$ is the Compton wavelength of the graviton. In the present work we show that this extended form agrees very well with the observations of Cosmic chronometers, Baryon Acoustic Oscillations and Pantheon SN type Ia, reproducing the observational data with a $\Delta\chi^2=3.26$ in favor of the present model compared to the $\Lambda$CDM. The values favored by these observations are $\Omega_{\rm m} = 0.31 \pm 0.02$, $H_0=68 \pm 0.02$ Km/s/Mpc, $\Omega_{\rm k} = 0.001\pm 0.011$; we also find an excellent consistence of this model with the Cosmic Microwave Background and the Matter Power Spectrum. We conclude that this model is an excellent alternative to explain the accelerating expansion of the universe without incorporating the cosmological constant.


title: Quantum relative entropy uncertainty relation

abstract: For classic systems, the thermodynamic uncertainty relation (TUR) states that the fluctuations of a current have a lower bound in terms of the entropy production. Some TURs are rooted in information theory, particularly derived from relations between observations (mean and variance) and dissimilarities, such as the Kullback-Leibler divergence, which plays the role of entropy production in stochastic thermodynamics. We generalize this idea for quantum systems, where we find a lower bound for the uncertainty of quantum observables given in terms of the quantum relative entropy. We apply the result to obtain a quantum thermodynamic uncertainty relation in terms of the quantum entropy production, valid for arbitrary dynamics and non-thermal environments.


title: Proof of the Collatz Conjecture by Collatz Graph

abstract: The 3n+1 problem, or Collatz problem, is an extremely simple to state, extremely hard to solve, problem. A number of Collatz graphs have been presented to visualize the Collatz sequences. The Collatz graph is grown by considering the bottom-up method with the inverse relation. If n is the Collatz functional value of m, then n is connected by m. The concept is simple, the tree-based graphs indeed provide a path starting from n down to the root, the number of 1, for a given seed n, and demonstrate the generated Collatz sequences eventually converges to 1. However, as a general case, due to the irregular structures, no one has yet proved the completeness of the Collatz graphs. By completeness we mean that the Collatz graph contains all positive integers n. This paper proves the Collatz conjecture by constructing a Collatz graph with the regular structure. The developed Collatz graph consists of Collatz nodes located various levels of the graph. In the developed graph, each node consists of all positive integers m which have the functional value n. A set of simple, yet efficient connection rules is also developed to construct the graph. Results show that the developed Collatz graph generates the Collatz trajectories for all positive integers and the sequences converge to 1. This proves the completeness of the developed Collatz graph and Collatz conjecture.


title: OpenAI Cribbed Our Tax Example, But Can GPT-4 Really Do Tax?

abstract: The authors explain where OpenAI got the tax law example in its livestream demonstration of GPT-4, why GPT-4 got the wrong answer, and how it fails to reliably calculate taxes.


title: Long-term Neurological Sequelae in Post-COVID-19 Patients: A Machine Learning Approach to Predict Outcomes

abstract: The COVID-19 pandemic has brought to light a concerning aspect of long-term neurological complications in post-recovery patients. This study delved into the investigation of such neurological sequelae in a cohort of 500 post-COVID-19 patients, encompassing individuals with varying illness severity. The primary aim was to predict outcomes using a machine learning approach based on diverse clinical data and neuroimaging parameters. The results revealed that 68% of the post-COVID-19 patients reported experiencing neurological symptoms, with fatigue, headache, and anosmia being the most common manifestations. Moreover, 22% of the patients exhibited more severe neurological complications, including encephalopathy and stroke. The application of machine learning models showed promising results in predicting long-term neurological outcomes. Notably, the Random Forest model achieved an accuracy of 85%, sensitivity of 80%, and specificity of 90% in identifying patients at risk of developing neurological sequelae. These findings underscore the importance of continuous monitoring and follow-up care for post-COVID-19 patients, particularly in relation to potential neurological complications. The integration of machine learning-based outcome prediction offers a valuable tool for early intervention and personalized treatment strategies, aiming to improve patient care and clinical decision-making. In conclusion, this study sheds light on the prevalence of long-term neurological complications in post-COVID-19 patients and demonstrates the potential of machine learning in predicting outcomes, thereby contributing to enhanced patient management and better health outcomes. Further research and larger studies are warranted to validate and refine these predictive models and to gain deeper insights into the underlying mechanisms of post-COVID-19 neurological sequelae.


title: FSO-QKD protocols under free space losses and device imperfections: a comparative study

abstract: Quantum key distribution (QKD) is a technique to establish a secret key between two parties through a quantum channel. Several QKD protocols have been proposed and implemented over optical fibers or free space links. The main challenge of operating QKD protocols over a free space link is atmospheric losses. In this paper, we have studied and compared the performance of single and entangled photon based QKD protocols by evaluating the quantum bit error rate and secure key rate for terrestrial free-space quantum communication by considering different free-space losses, such as geometrical losses, atmospheric losses as well as device imperfections.


title: Characterization of Magnetic Flux Contents for Flux Transfer Events and its Implications for Flux Rope Formation at the Earth's Magnetopause

abstract: Flux transfer events (FTEs) are a type of magnetospheric phenomena that exhibit distinctive observational signatures from the in-situ spacecraft measurements across the Earth's magnetopause. They are generally believed to possess a magnetic field configuration of a magnetic flux rope and formed through magnetic reconnection at the dayside magnetopause, sometimes accompanied with enhanced plasma convection in the ionosphere. We examine two FTE events under the condition of southward interplanetary magnetic field (IMF) with a dawn-dusk component at the magnetopause by applying the Grad-Shafranov (GS) reconstruction method to the in-situ measurements by the Magnetospheric Multiscale (MMS) spacecraft to derive the magnetic flux contents associated with the FTE flux ropes. In particular, given a cylindrical magnetic flux rope configuration derived from the GS reconstruction, the magnetic flux content can be characterized by both the toroidal (axial) and poloidal fluxes. We then estimate the amount of magnetic flux (i.e., the reconnection flux) encompassed by the area ``opened" in the ionosphere, based on the ground-based Super Dual Auroral Radar Network (SuperDARN) observations. We find that for event 1, the FTE flux rope is oriented in the approximate dawn-dusk direction, and the amount of its poloidal magnetic flux agrees with the corresponding reconnection flux. For event 2, the agreement among the estimates of the magnetic fluxes is uncertain. We provide a detailed description about our interpretation for the topological features of the FTE flux ropes, based on a formation scenario of sequential magnetic field reconnection between adjacent field lines, consistent with our results.


title: Improving Speech Recognition for African American English With Audio Classification

abstract: Automatic speech recognition (ASR) systems have been shown to have large quality disparities between the language varieties they are intended or expected to recognize. One way to mitigate this is to train or fine-tune models with more representative datasets. But this approach can be hindered by limited in-domain data for training and evaluation. We propose a new way to improve the robustness of a US English short-form speech recognizer using a small amount of out-of-domain (long-form) African American English (AAE) data. We use CORAAL, YouTube and Mozilla Common Voice to train an audio classifier to approximately output whether an utterance is AAE or some other variety including Mainstream American English (MAE). By combining the classifier output with coarse geographic information, we can select a subset of utterances from a large corpus of untranscribed short-form queries for semi-supervised learning at scale. Fine-tuning on this data results in a 38.5% relative word error rate disparity reduction between AAE and MAE without reducing MAE quality.


title: Rely-guarantee Reasoning about Concurrent Memory Management: Correctness, Safety and Security

abstract: Formal verification of concurrent operating systems (OSs) is challenging, in particular the verification of the dynamic memory management due to its complex data structures and allocation algorithm. An incorrect specification and implementation of the memory management may lead to system crashes or exploitable attacks. This article presents the first formal specification and mechanized proof of a concurrent memory management for a real-world OS concerning a comprehensive set of properties, including functional correctness, safety and security. To achieve the highest assurance evaluation level, we develop a fine-grained formal specification of the Zephyr RTOS buddy memory management, which closely follows the C code easing validation of the specification and the source code. The rely-guarantee-based compositional verification technique has been enforced over the formal model. To support formal verification of the security property, we extend our rely-guarantee framework PiCore by a compositional reasoning approach for integrity. Whilst the security verification of the design shows that it preserves the integrity property, the verification of the functional properties shows several problems. These verification issues are translated into finding three bugs in the C implementation of Zephyr, after inspecting the source code corresponding to the design lines breaking the properties.


title: A renewal approach to prove the Four Color Theorem unplugged, Part III: Diamond routes, canal lines and $\Sigma$-adjustments

abstract: This is the last part of three episodes to demonstrate a renewal approach for proving the Four Color Theorem without checking by a computer. The first and the second episodes have subtitles: ``RGB-tilings on maximal planar graphs'' and ``R/G/B Kempe chains in an extremum non-4-colorable MPG,'' where R/G/B stand for red, green and blue colors to paint on edges and an MPG stands for a maximal planar graph. We focus on an extremum non-4-colorable MPG $EP$ in the whole paper. In this part we introduce three tools based on RGB-tilings. They are diamond routes, normal and generalized canal lines or rings and $\Sigma$-adjustments. Using these tools, we show a major result of this paper: no four vertices of degree 5 form a diamond in any extremum $EP$.


title: A renewal approach to prove the Four Color Theorem unplugged, Part II: R/G/B Kempe chains in an extremum non-4-colorable MPG

abstract: This is the second part of three episodes to demonstrate a renewal approach for proving the Four Color Theorem without checking by a computer. The first and the third episodes have subtitles: ``RGB-tilings on maximal planar graphs'' and ``Diamond routes, canal lines and $\Sigma$-adjustments,'' where R/G/B stand for red, green and blue colors to paint on edges and an MPG stands for a maximal planar graph. We focus on an extremum non-4-colorable MPG $EP$ in the whole paper. In this second part, we refresh the false proof on $EP$ by Kempe for the Four Color Theorem. And then using single color tilings or RGB-tilings on $EP$, we offer a renewal point of view through R/G/B Kempe chains to enhance our coloring skill, either in vertex-colorings or in edge-colorings. We discover many fundamental theorems associated with R-/RGB-tilings and 4-colorability; an adventure study on One Piece, which is either an MPG or an $n$-semi-MPG; many if-and-only-if statements for $EP-\{e\}$ by using Type A or Type B $e$-diamond and Kempe chains. This work started on May 31, 2018 and was first announced by the author~\cite{Liu2020} on Jan.\ 22, 2020, when the pandemic just occurred.


title: Detecting covariate drift in text data using document embeddings and dimensionality reduction

abstract: Detecting covariate drift in text data is essential for maintaining the reliability and performance of text analysis models. In this research, we investigate the effectiveness of different document embeddings, dimensionality reduction techniques, and drift detection methods for identifying covariate drift in text data. We explore three popular document embeddings: term frequency-inverse document frequency (TF-IDF) using Latent semantic analysis(LSA) for dimentionality reduction and Doc2Vec, and BERT embeddings, with and without using principal component analysis (PCA) for dimensionality reduction. To quantify the divergence between training and test data distributions, we employ the Kolmogorov-Smirnov (KS) statistic and the Maximum Mean Discrepancy (MMD) test as drift detection methods. Experimental results demonstrate that certain combinations of embeddings, dimensionality reduction techniques, and drift detection methods outperform others in detecting covariate drift. Our findings contribute to the advancement of reliable text analysis models by providing insights into effective approaches for addressing covariate drift in text data.


title: CaSAR: Contact-aware Skeletal Action Recognition

abstract: Skeletal Action recognition from an egocentric view is important for applications such as interfaces in AR/VR glasses and human-robot interaction, where the device has limited resources. Most of the existing skeletal action recognition approaches use 3D coordinates of hand joints and 8-corner rectangular bounding boxes of objects as inputs, but they do not capture how the hands and objects interact with each other within the spatial context. In this paper, we present a new framework called Contact-aware Skeletal Action Recognition (CaSAR). It uses novel representations of hand-object interaction that encompass spatial information: 1) contact points where the hand joints meet the objects, 2) distant points where the hand joints are far away from the object and nearly not involved in the current action. Our framework is able to learn how the hands touch or stay away from the objects for each frame of the action sequence, and use this information to predict the action class. We demonstrate that our approach achieves the state-of-the-art accuracy of 91.3% and 98.4% on two public datasets, H2O and FPHA, respectively.


title: Energy stable neural network for gradient flow equations

abstract: In this paper, we propose an energy stable network (EStable-Net) for solving gradient flow equations. The solution update scheme in our neural network EStable-Net is inspired by a proposed auxiliary variable based equivalent form of the gradient flow equation. EStable-Net enables decreasing of a discrete energy along the neural network, which is consistent with the property in the evolution process of the gradient flow equation. The architecture of the neural network EStable-Net consists of a few energy decay blocks, and the output of each block can be interpreted as an intermediate state of the evolution process of the gradient flow equation. This design provides a stable, efficient and interpretable network structure. Numerical experimental results demonstrate that our network is able to generate high accuracy and stable predictions.


title: A novel approach to measuring the scope of patent claims based on probabilities obtained from (large) language models

abstract: This work proposes to measure the scope of a patent claim as the reciprocal of self-information contained in this claim. Self-information is calculated based on a probability of occurrence of the claim, where this probability is obtained from a language model. Grounded in information theory, this approach is based on the assumption that an unlikely concept is more informative than a usual concept, insofar as it is more surprising. In turn, the more surprising the information required to define the claim, the narrower its scope. Seven language models are considered, ranging from simplest models (each word or character has an identical probability) to intermediate models (based on average word or character frequencies), to large language models (LLMs) such as GPT2 and davinci-002. Remarkably, when using the simplest language models to compute the probabilities, the scope becomes proportional to the reciprocal of the number of words or characters involved in the claim, a metric already used in previous works. Application is made to multiple series of patent claims directed to distinct inventions, where each series consists of claims devised to have a gradually decreasing scope. The performance of the language models is then assessed through several ad hoc tests. The LLMs outperform models based on word and character frequencies, which themselves outdo the simplest models based on word or character counts. Interestingly, however, the character count appears to be a more reliable indicator than the word count.


title: A probabilistic proof of some integral formulas involving incomplete gamma functions

abstract: The theory of normal variance mixture distributions is used to provide elementary derivations of closed-form expressions for the definite integrals $\int_0^\infty x^{-2\nu}\cos(bx)\gamma(\nu,\alpha x^2)\,\mathrm{d}x$ (for $\nu>1/2$, $b>0$ $\alpha>0$) and $\int_0^\infty x^{2\nu-1}\cos(bx)\Gamma(-\nu,\alpha x^2)\,\mathrm{d}x$ (for $\nu>0$, $b>0$ $\alpha>0$), where $\gamma(a,x)$ and $\Gamma(a,x)$ are the lower and upper incomplete gamma functions, respectively. The method of proof is of independent interest and could be used to derive further new definite integral formulas.


title: Dynamical network stability analysis of multiple biological ages provides a framework for understanding the aging process

abstract: Widespread interest in non-destructive biomarkers of aging has led to a curse of plenty: a multitude of biological ages that each proffers a 'true' health-adjusted age of an individual. While each measure provides salient information on the aging process, they are each univariate, in contrast to the "hallmark" and "pillar" theories of aging which are explicitly multidimensional, multicausal and multiscale. Fortunately, multiple biological ages can be systematically combined into a multidimensional network representation. The interaction network between these biological ages permits analysis of the multidimensional effects of aging, as well as quantification of causal influences during both natural aging and, potentially, after anti-aging intervention. The behaviour of the system as a whole can then be explored using dynamical network stability analysis which identifies new, efficient biomarkers that quantify long term resilience scores on the timescale between measurements (years). We demonstrate this approach using a set of 8 biological ages from the longitudinal Swedish Adoption/Twin Study of Aging (SATSA). After extracting an interaction network between these biological ages, we observed that physiological age, a proxy for cardiometabolic health, serves as a central node in the network, implicating it as a key vulnerability for slow, age-related decline. We furthermore show that while the system as a whole is stable, there is a weakly stable direction along which recovery is slow - on the timescale of a human lifespan. This slow direction provides an aging biomarker which correlates strongly with chronological age and predicts longitudinal decline in health - suggesting that it estimates an important driver of age-related changes.


title: The Optimized path for the public transportation of Incheon in South Korea

abstract: Path-finding is one of the most popular subjects in the field of computer science. Pathfinding strategies determine a path from a given coordinate to another. The focus of this paper is on finding the optimal path for the bus transportation system based on passenger demand. This study is based on bus stations in Incheon, South Korea, and we show that our modified A* algorithm performs better than other basic pathfinding algorithms such as the Genetic and Dijkstra. Our proposed approach can find the shortest path in real-time even for large amounts of data(points).


title: Multi-Agent Deep Reinforcement Learning for Cooperative and Competitive Autonomous Vehicles using AutoDRIVE Ecosystem

abstract: This work presents a modular and parallelizable multi-agent deep reinforcement learning framework for imbibing cooperative as well as competitive behaviors within autonomous vehicles. We introduce AutoDRIVE Ecosystem as an enabler to develop physically accurate and graphically realistic digital twins of Nigel and F1TENTH, two scaled autonomous vehicle platforms with unique qualities and capabilities, and leverage this ecosystem to train and deploy multi-agent reinforcement learning policies. We first investigate an intersection traversal problem using a set of cooperative vehicles (Nigel) that share limited state information with each other in single as well as multi-agent learning settings using a common policy approach. We then investigate an adversarial head-to-head autonomous racing problem using a different set of vehicles (F1TENTH) in a multi-agent learning setting using an individual policy approach. In either set of experiments, a decentralized learning architecture was adopted, which allowed robust training and testing of the approaches in stochastic environments, since the agents were mutually independent and exhibited asynchronous motion behavior. The problems were further aggravated by providing the agents with sparse observation spaces and requiring them to sample control commands that implicitly satisfied the imposed kinodynamic as well as safety constraints. The experimental results for both problem statements are reported in terms of quantitative metrics and qualitative remarks for training as well as deployment phases.


title: DeepHEN: quantitative prediction essential lncRNA genes and rethinking essentialities of lncRNA genes

abstract: Gene essentiality refers to the degree to which a gene is necessary for the survival and reproductive efficacy of a living organism. Although the essentiality of non-coding genes has been documented, there are still aspects of non-coding genes' essentiality that are unknown to us. For example, We do not know the contribution of sequence features and network spatial features to essentiality. As a consequence, in this work, we propose DeepHEN that could answer the above question. By buidling a new lncRNA-proteion-protein network and utilizing both representation learning and graph neural network, we successfully build our DeepHEN models that could predict the essentiality of lncRNA genes. Compared to other methods for predicting the essentiality of lncRNA genes, our DeepHEN model not only tells whether sequence features or network spatial features have a greater influence on essentiality but also addresses the overfitting issue of those methods caused by the low number of essential lncRNA genes, as evidenced by the results of enrichment analysis.