title: Shining Light into the Tunnel: Understanding and Classifying Network Traffic of Residential Proxies

abstract: Emerging in recent years, residential proxies (RESIPs) feature multiple unique characteristics when compared with traditional network proxies (e.g., commercial VPNs), particularly, the deployment in residential networks rather than data center networks, the worldwide distribution in tens of thousands of cities and ISPs, and the large scale of millions of exit nodes. All these factors allow RESIP users to effectively masquerade their traffic flows as ones from authentic residential users, which leads to the increasing adoption of RESIP services, especially in malicious online activities. However, regarding the (malicious) usage of RESIPs (i.e., what traffic is relayed by RESIPs), current understanding turns out to be insufficient. Particularly, previous works on RESIP traffic studied only the maliciousness of web traffic destinations and the suspicious patterns of visiting popular websites. Also, a general methodology is missing regarding capturing large-scale RESIP traffic and analyzing RESIP traffic for security risks. Furthermore, considering many RESIP nodes are found to be located in corporate networks and are deployed without proper authorization from device owners or network administrators, it is becoming increasingly necessary to detect and block RESIP traffic flows, which unfortunately is impeded by the scarcity of realistic RESIP traffic datasets and effective detection methodologies. To fill in these gaps, multiple novel tools have been designed and implemented in this study, which include a general framework to deploy RESIP nodes and collect RESIP traffic in a distributed manner, a RESIP traffic analyzer to efficiently process RESIP traffic logs and surface out suspicious traffic flows, and multiple machine learning based RESIP traffic classifiers to timely and accurately detect whether a given traffic flow is RESIP traffic or not.


title: Gradient contractivity of a rescaled resolvent on domains in Wiener spaces

abstract: Given an abstract Wiener space $(X,\gamma,H)$, we consider an open set $O\subseteq X$ which satisfies certain smoothness and mean-curvature conditions. We prove that the rescaled resolvent operator associated to the Ornstein-Uhlenbeck operator with homogeneous Dirichlet boundary conditions on $O$ is gradient contractive in $L^p(X,\gamma)$ for every $p\in(1,\infty)$. This is the Gaussian counterpart of an analogous result for the rescaled resolvent operator associated to the Laplace operator $\Delta$ in $L^p$ with respect to the Lebesgue measure, $p\in[1,\infty)$, with homogeneous Dirichlet boundary conditions on a bounded convex open set $O\subseteq \mathbb R^n$.


title: Fraenkel--Mostowski models revisited

abstract: I provide several natural properties of group actions which translate into fragments of axiom of choice in the associated permutation models of choiceless set theory.


title: Linear Stability Analysis of Relativistic Magnetized Jets: The Minimalist Approach

abstract: A minimalist approach to the linear stability problem in fluid dynamics is developed that ensures efficiency by utilizing only the essential elements required to find the eigenvalues for given boundary conditions. It is shown that the problem is equivalent to a single first-order ordinary differential equation, and that studying the argument of the unknown complex function in the eigenvalue space is sufficient to find the dispersion relation. The method is applied to a model for relativistic magnetized astrophysical jets.


title: Emergent intelligence of buckling-driven elasto-active structures

abstract: Active systems of self-propelled agents, e.g., birds, fish, and bacteria, can organize their collective motion into myriad autonomous behaviors. Ubiquitous in nature and across length scales, such phenomena are also amenable to artificial settings, e.g., where brainless self-propelled robots orchestrate their movements into spatio-temportal patterns via the application of external cues or when confined within flexible boundaries. Very much like their natural counterparts, these approaches typically require many units to initiate collective motion such that controlling the ensuing dynamics is challenging. Here, we demonstrate a novel yet simple mechanism that leverages nonlinear elasticity to tame near-diffusive motile particles in forming structures capable of directed motion and other emergent intelligent behaviors. Our elasto-active system comprises two centimeter-sized self-propelled microbots connected with elastic beams. These microbots exert forces that suffice to buckle the beam and set the structure in motion. We first rationalize the physics of the interaction between the beam and the microbots. Then we use reduced order models to predict the interactions of our elasto-active structure with boundaries, e.g., walls and constrictions, and demonstrate how they can exhibit intelligent behaviors such as maze navigation. The findings are relevant to designing intelligent materials or soft robots capable of autonomous space exploration, adaptation, and interaction with the surrounding environment.


title: Phase diagram of the quantum spin-1/2 Heisenberg-$\Gamma$ model on a frustrated zigzag chain

abstract: We investigate the quantum spin-1/2 zigzag chain with frustrated $J_1$-$J_2$ Heisenberg interactions, incorporating additional off-diagonal exchange interactions known as the $\Gamma$ term, both with and without an applied magnetic field. Based on the density-matrix renormalization group calculation, we map out the ground state phase diagram that shows a variety of magnetic and nonmagnetic phases including multicritical points and several exactly solvable points. Upon introducing a finite $\Gamma$ term, we observe the persistent dimer singlet state of the $J_1$-$J_2$ Heisenberg model, sustaining a nonzero spin gap, while also giving rise to a gapless nonmagnetic excitation, manifesting in the substantial zero-energy peak in the nematic dynamical structure factor. This gapless peak-mode remaining almost as a fluctuation to the ground state, induces dilute but robust concentration of nematicity on top of singlets on dimers, which we call the nematic singlet-dimer phase. When the whole nematic excited mode condenses and replaces the singlet, the nematic-dimer phase transforms to the Ising-type ferromagnetic or antiferromagnetic long-range orders that arise from the $\Gamma$ term spontaneously selecting magnetic easy axes. Its orientations dictate the type of magnetic order under geometric frustration effects as predicted by Landau's mean-field theory. These theoretical findings provide insights into the exotic low-temperature phase observed in YbCuS$_2$, characterized by gapless excitations and seemingly nonmagnetic behavior accompanied by incommensurate correlations.


title: One is all you need: Second-order Unification without First-order Variables

abstract: We consider the fragment of Second-Order unification, referred to as \emph{Second-Order Ground Unification (SOGU)}, with the following properties: (i) only one second-order variable allowed, (ii) first-order variables do not occur. We show that Hilbert's 10$^{th}$ problem is reducible to a \emph{necessary condition} for SOGU unifiability if the signature contains a binary function symbol and two constants, thus proving undecidability. This generalizes known undecidability results, as either first-order variable occurrences or multiple second-order variables were required for the reductions. Furthermore, we show that adding the following restriction:(i) the second-order variable has arity 1, (ii) the signature is finite, and (iii) the problem has \emph{bounded congruence}, results in a decidable fragment. The latter fragment is related to \emph{bounded second-order unification} in the sense that the number of bound variable occurrences is a function of the problem structure. We conclude with a discussion concerning the removal of the \emph{bounded congruence} restriction.


title: Optimizing Performance on Trinity Utilizing Machine Learning, Proxy Applications and Scheduling Priorities

abstract: The sheer number of nodes continues to increase in todays supercomputers, the first half of Trinity alone contains more than 9400 compute nodes. Since the speed of todays clusters are limited by the slowest nodes, it more important than ever to identify slow nodes, improve their performance if it can be done, and assure minimal usage of slower nodes during performance critical runs. This is an ongoing maintenance task that occurs on a regular basis and, therefore, it is important to minimize the impact upon its users by assessing and addressing slow performing nodes and mitigating their consequences while minimizing down time. These issues can be solved, in large part, through a systematic application of fast running hardware assessment tests, the application of Machine Learning, and making use of performance data to increase efficiency of large clusters. Proxy applications utilizing both MPI and OpenMP were developed to produce data as a substitute for long runtime applications to evaluate node performance. Machine learning is applied to identify underperforming nodes, and policies are being discussed to both minimize the impact of underperforming nodes and increase the efficiency of the system. In this paper, I will describe the process used to produce quickly performing proxy tests, consider various methods to isolate the outliers, and produce ordered lists for use in scheduling to accomplish this task.


title: Private Attribute Inference from Images with Vision-Language Models

abstract: As large language models (LLMs) become ubiquitous in our daily tasks and digital interactions, associated privacy risks are increasingly in focus. While LLM privacy research has primarily focused on the leakage of model training data, it has recently been shown that the increase in models' capabilities has enabled LLMs to make accurate privacy-infringing inferences from previously unseen texts. With the rise of multimodal vision-language models (VLMs), capable of understanding both images and text, a pertinent question is whether such results transfer to the previously unexplored domain of benign images posted online. To investigate the risks associated with the image reasoning capabilities of newly emerging VLMs, we compile an image dataset with human-annotated labels of the image owner's personal attributes. In order to understand the additional privacy risk posed by VLMs beyond traditional human attribute recognition, our dataset consists of images where the inferable private attributes do not stem from direct depictions of humans. On this dataset, we evaluate the inferential capabilities of 7 state-of-the-art VLMs, finding that they can infer various personal attributes at up to 77.6% accuracy. Concerningly, we observe that accuracy scales with the general capabilities of the models, implying that future models can be misused as stronger adversaries, establishing an imperative for the development of adequate defenses.


title: Scatter-Gather DMA Performance Analysis within an SoC-based Control System for Trapped-Ion Quantum Computing

abstract: Scatter-gather dynamic-memory-access (SG-DMA) is utilized in applications that require high bandwidth and low latency data transfers between memory and peripherals, where data blocks, described using buffer descriptors (BDs), are distributed throughout the memory system. The data transfer organization and requirements of a Trapped-Ion Quantum Computer (TIQC) possess characteristics similar to those targeted by SG-DMA. In particular, the ion qubits in a TIQC are manipulated by applying control sequences consisting primarily of modulated laser pulses. These optical pulses are defined by parameters that are (re)configured by the electrical control system. Variations in the operating environment and equipment make it necessary to create and run a wide range of control sequence permutations, which can be well represented as BD regions distributed across the main memory. In this paper, we experimentally evaluate the latency and throughput of SG-DMA on Xilinx radiofrequency SoC (RFSoC) devices under a variety of BD and payload sizes as a means of determining the benefits and limitations of an RFSoC system architecture for TIQC applications.


title: PyTorchGeoNodes: Enabling Differentiable Shape Programs for 3D Shape Reconstruction

abstract: We propose PyTorchGeoNodes, a differentiable module for reconstructing 3D objects from images using interpretable shape programs. In comparison to traditional CAD model retrieval methods, the use of shape programs for 3D reconstruction allows for reasoning about the semantic properties of reconstructed objects, editing, low memory footprint, etc. However, the utilization of shape programs for 3D scene understanding has been largely neglected in past works. As our main contribution, we enable gradient-based optimization by introducing a module that translates shape programs designed in Blender, for example, into efficient PyTorch code. We also provide a method that relies on PyTorchGeoNodes and is inspired by Monte Carlo Tree Search (MCTS) to jointly optimize discrete and continuous parameters of shape programs and reconstruct 3D objects for input scenes. In our experiments, we apply our algorithm to reconstruct 3D objects in the ScanNet dataset and evaluate our results against CAD model retrieval-based reconstructions. Our experiments indicate that our reconstructions match well the input scenes while enabling semantic reasoning about reconstructed objects.


title: Modulating Hamiltonian Approach to Quantum Many-Body Systems and Crystalline Topological Phases Protected by Generalized Magnetic Translations

abstract: We discuss the topology of the parameter space of invertible phases with an onsite symmetry $G$, i.e., quantum many-body ground states that have neither fractionalization nor spontaneous breaking of the symmetry. The classification of invertible phases is known to be obtained by counting the connected components in the parameter space of the invertible phases. We consider its generalization -- the deformation classes of the mappings from $n$-dimensional spheres $S^n$ to this parameter space for arbitrary integer $n$. We argue a direct one-to-one correspondence in the framework of lattice models between the non-contractibility of $S^n$ and (i) the classification of invertible phases in $d$ dimensions when $d\geq n$; or (ii) zero-dimensional invertible Hamiltonians parametrized by $S^{n-d}$ when $d<n$, using an isotropic modulating Hamiltonian approach. Explicitly, we construct the noncontractible spheres of two-dimensional invertible phases, i.e., $n=2$ and $d=2$. We also propose a large class of crystalline topological phases protected by a generalized magnetic translations.

categories: cond-mat.str-el cond-mat.stat-mech hep-th math-ph math.MP


title: Learning Deep Dynamical Systems using Stable Neural ODEs

abstract: Learning complex trajectories from demonstrations in robotic tasks has been effectively addressed through the utilization of Dynamical Systems (DS). State-of-the-art DS learning methods ensure stability of the generated trajectories; however, they have three shortcomings: a) the DS is assumed to have a single attractor, which limits the diversity of tasks it can achieve, b) state derivative information is assumed to be available in the learning process and c) the state of the DS is assumed to be measurable at inference time. We propose a class of provably stable latent DS with possibly multiple attractors, that inherit the training methods of Neural Ordinary Differential Equations, thus, dropping the dependency on state derivative information. A diffeomorphic mapping for the output and a loss that captures time-invariant trajectory similarity are proposed. We validate the efficacy of our approach through experiments conducted on a public dataset of handwritten shapes and within a simulated object manipulation task.


title: Azimuthal spin asymmetries in pion-polarized proton induced Drell-Yan process at COMPASS using holographic light-front QCD

abstract: We compute all the leading-twist azimuthal spin asymmetries in the pion-proton induced Drell-Yan process. These spin asymmetries arise from convolutions of the leading-twist transverse-momentum-dependent parton distributions (TMDs) of both the incoming pion and the target proton. We employ the holographic light-front pion wave functions for the pion TMDs, while for the proton TMDs, we utilize a light-front quark-diquark model constructed by the soft-wall AdS/QCD. The gluon rescattering is crucial to predict nonzero time-reversal odd TMDs. We study the utility of a nonperturbative SU$(3)$ gluon rescattering kernel, which extends beyond the typical assumption of perturbative U$(1)$ gluons. Subsequently, we employ Collins-Soper scale evolution at Next-to-Leading Logarithmic precision for the TMDs evolution. Our predictions for the spin asymmetries are consistent with the available experimental data from COMPASS and other phenomenological studies.


title: Quantum algorithm for copula-based risk aggregation using orthogonal series density estimation

abstract: Quantum Monte Carlo integration (QMCI) provides a quadratic speed-up over its classical counterpart, and its applications have been investigated in various fields, including finance. This paper considers its application to risk aggregation, one of the most important numerical tasks in financial risk management. Risk aggregation combines several risk variables and quantifies the total amount of risk, taking into account the correlation among them. For this task, there exists a useful tool called copula, with which the joint distribution can be generated from marginal distributions with a flexible correlation structure. Classically, the copula-based method utilizes sampling of risk variables. However, this procedure is not directly applicable to the quantum setting, where sampled values are not stored as classical data, and thus no efficient quantum algorithm is known. In this paper, we propose a quantum algorithm for copula-based risk aggregation that is compatible with QMCI. In our algorithm, we first estimate each marginal distribution as a series of orthogonal functions, where the coefficients can be calculated with QMCI. Then, by plugging the marginal distributions into the copula and obtaining the joint distribution, we estimate risk measures using QMCI again. With this algorithm, nearly quadratic quantum speed-up can be obtained for sufficiently smooth marginal distributions.


title: Gaussian Splatting Decoder for 3D-aware Generative Adversarial Networks

abstract: NeRF-based 3D-aware Generative Adversarial Networks (GANs) like EG3D or GIRAFFE have shown very high rendering quality under large representational variety. However, rendering with Neural Radiance Fields poses challenges for 3D applications: First, the significant computational demands of NeRF rendering preclude its use on low-power devices, such as mobiles and VR/AR headsets. Second, implicit representations based on neural networks are difficult to incorporate into explicit 3D scenes, such as VR environments or video games. 3D Gaussian Splatting (3DGS) overcomes these limitations by providing an explicit 3D representation that can be rendered efficiently at high frame rates. In this work, we present a novel approach that combines the high rendering quality of NeRF-based 3D-aware GANs with the flexibility and computational advantages of 3DGS. By training a decoder that maps implicit NeRF representations to explicit 3D Gaussian Splatting attributes, we can integrate the representational diversity and quality of 3D GANs into the ecosystem of 3D Gaussian Splatting for the first time. Additionally, our approach allows for a high resolution GAN inversion and real-time GAN editing with 3D Gaussian Splatting scenes. Project page: florian-barthel.github.io/gaussian_decoder


title: Exploring selective image matching methods for zero-shot and few-sample unsupervised domain adaptation of urban canopy prediction

abstract: We explore simple methods for adapting a trained multi-task UNet which predicts canopy cover and height to a new geographic setting using remotely sensed data without the need of training a domain-adaptive classifier and extensive fine-tuning. Extending previous research, we followed a selective alignment process to identify similar images in the two geographical domains and then tested an array of data-based unsupervised domain adaptation approaches in a zero-shot setting as well as with a small amount of fine-tuning. We find that the selective aligned data-based image matching methods produce promising results in a zero-shot setting, and even more so with a small amount of fine-tuning. These methods outperform both an untransformed baseline and a popular data-based image-to-image translation model. The best performing methods were pixel distribution adaptation and fourier domain adaptation on the canopy cover and height tasks respectively.


title: Noncommutative black hole in de Rham-Gabadadze-Tolley like massive gravity

abstract: We examine the behavior of non-commutative Schwarzschild black holes in the context of massive gravity. According to the investigation, corresponding to a minimal mass, the black hole can have two horizons, one horizon, or no horizon at all. Our results imply the existence of a stable black hole remnant, whose mass can be uniquely calculated in terms of the non-commutative parameter $\theta$ and gravity mass $m$. Thermodynamic features such as heat capacity and Hawking temperature are studied. We also examine a scalar linear perturbation on the black hole. Quasinormal frequencies are computed via Wentzel-Kramers-Brillouin(WKB) method with Pade improvement. All quasinormal frequencies considered in this work have a negative imaginary part. In the eikonal limit, we investigate the angular velocity and the Lyapunov exponent as a function of $M/\sqrt{\theta}$. Additionally, we explore the black hole's shadow across various model parameters. Our findings indicate that non-commutativity leads to a reduction in the black hole's shadow, with this effect exhibiting a nonlinear relationship. Furthermore, we observe that the inclusion of a massive graviton in the theory results in an increase in the black hole's shadow radius, particularly at greater observer distances.


title: A spin-refrigerated cavity quantum electrodynamic sensor

abstract: Quantum sensors based on solid-state defects, in particular nitrogen-vacancy (NV) centers in diamond, enable precise measurement of magnetic fields, temperature, rotation, and electric fields. However, the sensitivity of leading NV spin ensemble sensors remains far from the intrinsic spin-projection noise limit. Here we move towards this quantum limit of performance by introducing (i) a cavity quantum electrodynamic (cQED) hybrid system operating in the strong coupling regime, which enables high readout fidelity of an NV ensemble using microwave homodyne detection; (ii) a comprehensive nonlinear model of the cQED sensor operation, including NV ensemble inhomogeneity and optical polarization; and (iii) ``spin refrigeration'' where the optically-polarized spin ensemble sharply reduces the ambient-temperature microwave thermal noise, resulting in enhanced sensitivity. Applying these advances to magnetometry, we demonstrate a broadband sensitivity of 580 fT/$\sqrt{\mathrm{Hz}}$ around 15 kHz in ambient conditions. We then discuss the implications of this model for design of future magnetometers, including devices approaching 12 fT/$\sqrt{\mathrm{Hz}}$ sensitivity. Applications of these techniques extend to the fields of gyroscope and clock technologies.


title: Weighting methods for truncation by death in cluster-randomized trials

abstract: Patient-centered outcomes, such as quality of life and length of hospital stay, are the focus in a wide array of clinical studies. However, participants in randomized trials for elderly or critically and severely ill patient populations may have truncated or undefined non-mortality outcomes if they do not survive through the measurement time point. To address truncation by death, the survivor average causal effect (SACE) has been proposed as a causally interpretable subgroup treatment effect defined under the principal stratification framework. However, the majority of methods for estimating SACE have been developed in the context of individually-randomized trials. Only limited discussions have been centered around cluster-randomized trials (CRTs), where methods typically involve strong distributional assumptions for outcome modeling. In this paper, we propose two weighting methods to estimate SACE in CRTs that obviate the need for potentially complicated outcome distribution modeling. We establish the requisite assumptions that address latent clustering effects to enable point identification of SACE, and we provide computationally-efficient asymptotic variance estimators for each weighting estimator. In simulations, we evaluate our weighting estimators, demonstrating their finite-sample operating characteristics and robustness to certain departures from the identification assumptions. We illustrate our methods using data from a CRT to assess the impact of a sedation protocol on mechanical ventilation among children with acute respiratory failure.


title: HLAT: High-quality Large Language Model Pre-trained on AWS Trainium

abstract: Getting large language models (LLMs) to perform well on the downstream tasks requires pre-training over trillions of tokens. This typically demands a large number of powerful computational devices in addition to a stable distributed training framework to accelerate the training. The growing number of applications leveraging AI/ML had led to a scarcity of the expensive conventional accelerators (such as GPUs), which begs the need for the alternative specialized-accelerators that are scalable and cost-efficient. AWS Trainium is the second-generation machine learning accelerator that has been purposely built for training large deep learning models. Its corresponding instance, Amazon EC2 trn1, is an alternative to GPU instances for LLM training. However, training LLMs with billions of parameters on trn1 is challenging due to its relatively nascent software ecosystem. In this paper, we showcase HLAT: a 7 billion parameter decoder-only LLM pre-trained using trn1 instances over 1.8 trillion tokens. The performance of HLAT is benchmarked against popular open source baseline models including LLaMA and OpenLLaMA, which have been trained on NVIDIA GPUs and Google TPUs, respectively. On various evaluation tasks, we show that HLAT achieves model quality on par with the baselines. We also share the best practice of using the Neuron Distributed Training Library (NDTL), a customized distributed training library for AWS Trainium to achieve efficient training. Our work demonstrates that AWS Trainium powered by the NDTL is able to successfully pre-train state-of-the-art LLM models with high performance and cost-effectiveness.


title: Parallel Implementations Assessment of a Spatial-Spectral Classifier for Hyperspectral Clinical Applications

abstract: Hyperspectral (HS) imaging presents itself as a non-contact, non-ionizing and non-invasive technique, proven to be suitable for medical diagnosis. However, the volume of information contained in these images makes difficult providing the surgeon with information about the boundaries in real-time. To that end, High-Performance-Computing (HPC) platforms become necessary. This paper presents a comparison between the performances provided by five different HPC platforms while processing a spatial-spectral approach to classify HS images, assessing their main benefits and drawbacks. To provide a complete study, two different medical applications, with two different requirements, have been analyzed. The first application consists of HS images taken from neurosurgical operations; the second one presents HS images taken from dermatological interventions. While the main constraint for neurosurgical applications is the processing time, in other environments, as the dermatological one, other requirements can be considered. In that sense, energy efficiency is becoming a major challenge, since this kind of applications are usually developed as hand-held devices, thus depending on the battery capacity. These requirements have been considered to choose the target platforms: on the one hand, three of the most powerful Graphic Processing Units (GPUs) available in the market; and, on the other hand, a low-power GPU and a manycore architecture, both specifically thought for being used in battery-dependent environments.


title: Constrained Object Placement Using Reinforcement Learning

abstract: Close and precise placement of irregularly shaped objects requires a skilled robotic system. Particularly challenging is the manipulation of objects that have sensitive top surfaces and a fixed set of neighbors. To avoid damaging the surface, they have to be grasped from the side, and during placement, their neighbor relations have to be maintained. In this work, we train a reinforcement learning agent that generates smooth end-effector motions to place objects as close as possible next to each other. During the placement, our agent considers neighbor constraints defined in a given layout of the objects while trying to avoid collisions. Our approach learns to place compact object assemblies without the need for predefined spacing between objects as required by traditional methods. We thoroughly evaluated our approach using a two-finger gripper mounted to a robotic arm with six degrees of freedom. The results show that our agent outperforms two baseline approaches in terms of object assembly compactness, thereby reducing the needed space to place the objects according to the given neighbor constraints. On average, our approach reduces the distances between all placed objects by at least 60%, with fewer collisions at the same compactness compared to both baselines.


title: Contextrast: Contextual Contrastive Learning for Semantic Segmentation

abstract: Despite great improvements in semantic segmentation, challenges persist because of the lack of local/global contexts and the relationship between them. In this paper, we propose Contextrast, a contrastive learning-based semantic segmentation method that allows to capture local/global contexts and comprehend their relationships. Our proposed method comprises two parts: a) contextual contrastive learning (CCL) and b) boundary-aware negative (BANE) sampling. Contextual contrastive learning obtains local/global context from multi-scale feature aggregation and inter/intra-relationship of features for better discrimination capabilities. Meanwhile, BANE sampling selects embedding features along the boundaries of incorrectly predicted regions to employ them as harder negative samples on our contrastive learning, resolving segmentation issues along the boundary region by exploiting fine-grained details. We demonstrate that our Contextrast substantially enhances the performance of semantic segmentation networks, outperforming state-of-the-art contrastive learning approaches on diverse public datasets, e.g. Cityscapes, CamVid, PASCAL-C, COCO-Stuff, and ADE20K, without an increase in computational cost during inference.


title: Flow-Acoustics: Theory and Benchmarking

abstract: The urgent need for transitioning to green energy solutions, particularly in the context of house heating and urban redensification, has brought the issue of fan noise aeroacoustics investigations to the forefront. As societies worldwide strive to mitigate climate change and reduce carbon emissions, adopting sustainable heating technologies such as air heat pumps has gained significant traction. In Germany, renowned for its commitment to environmental sustainability, the "TA L\"arm" regulations, derived from the "Bundes-Immissionsschutzgesetz," impose stringent limits on noise levels both inside and outside buildings across various applications. These regulations delineate permissible noise levels during daytime (6 AM to 10 PM) and nighttime (10 PM to 6 AM), with particular emphasis on protecting residential areas with low noise limits. Moreover, the noise limits prescribed for indoor environments are even more stringent. Given the necessity of maintaining acoustic comfort and quality of life, compliance with these regulations necessitates meticulous attention to noise generation sources, especially those associated with heating and ventilation systems. Consequently, understanding and mitigating fan noise through aeroacoustic investigations is essential to ensure the successful adoption and integration of green energy solutions in residential and urban settings. In the following, an experimental benchmark for a low-pressure rise axial fan (FAN-01) is presented, and several prediction methods of the sound pressure and sound power are evaluated.


title: Compressed Federated Reinforcement Learning with a Generative Model

abstract: Reinforcement learning has recently gained unprecedented popularity, yet it still grapples with sample inefficiency. Addressing this challenge, federated reinforcement learning (FedRL) has emerged, wherein agents collaboratively learn a single policy by aggregating local estimations. However, this aggregation step incurs significant communication costs. In this paper, we propose CompFedRL, a communication-efficient FedRL approach incorporating both \textit{periodic aggregation} and (direct/error-feedback) compression mechanisms. Specifically, we consider compressed federated $Q$-learning with a generative model setup, where a central server learns an optimal $Q$-function by periodically aggregating compressed $Q$-estimates from local agents. For the first time, we characterize the impact of these two mechanisms (which have remained elusive) by providing a finite-time analysis of our algorithm, demonstrating strong convergence behaviors when utilizing either direct or error-feedback compression. Our bounds indicate improved solution accuracy concerning the number of agents and other federated hyperparameters while simultaneously reducing communication costs. To corroborate our theory, we also conduct in-depth numerical experiments to verify our findings, considering Top-$K$ and Sparsified-$K$ sparsification operators.


title: What are human values, and how do we align AI to them?

abstract: There is an emerging consensus that we need to align AI systems with human values (Gabriel, 2020; Ji et al., 2024), but it remains unclear how to apply this to language models in practice. We split the problem of "aligning to human values" into three parts: first, eliciting values from people; second, reconciling those values into an alignment target for training ML models; and third, actually training the model. In this paper, we focus on the first two parts, and ask the question: what are "good" ways to synthesize diverse human inputs about values into a target for aligning language models? To answer this question, we first define a set of 6 criteria that we believe must be satisfied for an alignment target to shape model behavior in accordance with human values. We then propose a process for eliciting and reconciling values called Moral Graph Elicitation (MGE), which uses a large language model to interview participants about their values in particular contexts; our approach is inspired by the philosophy of values advanced by Taylor (1977), Chang (2004), and others. We trial MGE with a representative sample of 500 Americans, on 3 intentionally divisive prompts (e.g. advice about abortion). Our results demonstrate that MGE is promising for improving model alignment across all 6 criteria. For example, almost all participants (89.1%) felt well represented by the process, and (89%) thought the final moral graph was fair, even if their value wasn't voted as the wisest. Our process often results in "expert" values (e.g. values from women who have solicited abortion advice) rising to the top of the moral graph, without defining who is considered an expert in advance.


title: On Homomorphism Indistinguishability and Hypertree Depth

abstract: $GC^k$ is a logic introduced by Scheidt and Schweikardt (2023) to express properties of hypergraphs. It is similar to first-order logic with counting quantifiers ($C$) adapted to the hypergraph setting. It has distinct sets of variables for vertices and for hyperedges and requires vertex variables to be guarded by hyperedge variables on every quantification. We prove that two hypergraphs $G$, $H$ satisfy the same sentences in the logic $GC^k$ with guard depth at most $k$ if, and only if, they are homomorphism indistinguishable over the class of hypergraphs of strict hypertree depth at most $k$. This lifts the analogous result for tree depth $\leq k$ and sentences of first-order logic with counting quantifiers of quantifier rank at most $k$ due to Grohe (2020) from graphs to hypergraphs. The guard depth of a formula is the quantifier rank with respect to hyperedge variables, and strict hypertree depth is a restriction of hypertree depth as defined by Adler, Gaven\v{c}iak and Klimo\v{s}ov\'a (2012). To justify this restriction, we show that for every $H$, the strict hypertree depth of $H$ is at most 1 larger than its hypertree depth, and we give additional evidence that strict hypertree depth can be viewed as a reasonable generalisation of tree depth for hypergraphs.


title: A Fast 3-Approximation for the Capacitated Tree Cover Problem with Edge Loads

abstract: The capacitated tree cover problem with edge loads is a variant of the tree cover problem, where we are given facility opening costs, edge costs and loads, as well as vertex loads. We try to find a tree cover of minimum cost such that the total edge and vertex load of each tree does not exceed a given bound. We present an $\mathcal{O}(m\log n)$ time 3-approximation algorithm for this problem. This is achieved by starting with a certain LP formulation. We give a combinatorial algorithm that solves the LP optimally in time $\mathcal{O}(m\log n)$. Then, we show that a linear time rounding and splitting technique leads to an integral solution that costs at most 3 times as much as the LP solution. Finally, we prove that the integrality gap of the LP is $3$, which shows that we can not improve the rounding step in general.


title: Homology operations for gravity algebras

abstract: Let $\mathcal{M}_{0,n+1}$ be the moduli space of genus zero Riemann surfaces with $n+1$ marked points. In this paper we compute $H_*^{\Sigma_n}(\mathcal{M}_{0,n+1};\mathbb{F}_p)$ and $H_*^{\Sigma_n}(\mathcal{M}_{0,n+1};\mathbb{F}_p(\pm 1))$ for any $n\in\mathbb{N}$ and any prime $p$, where $\mathbb{F}_p(\pm 1)$ denotes the sign representation of the symmetric group $\Sigma_n$. The interest in these homology groups is twofold: on the one hand classes in these equivariant homology groups parametrize homology operations for gravity algebras. On the other hand the homotopy quotient $(\mathcal{M}_{0,n+1})_{\Sigma_n}$ is a model for the classifying space for $B_n/Z(B_n)$, the quotient of the braid group $B_n$ by its center.


title: Adapting SAM for Surgical Instrument Tracking and Segmentation in Endoscopic Submucosal Dissection Videos

abstract: The precise tracking and segmentation of surgical instruments have led to a remarkable enhancement in the efficiency of surgical procedures. However, the challenge lies in achieving accurate segmentation of surgical instruments while minimizing the need for manual annotation and reducing the time required for the segmentation process. To tackle this, we propose a novel framework for surgical instrument segmentation and tracking. Specifically, with a tiny subset of frames for segmentation, we ensure accurate segmentation across the entire surgical video. Our method adopts a two-stage approach to efficiently segment videos. Initially, we utilize the Segment-Anything (SAM) model, which has been fine-tuned using the Low-Rank Adaptation (LoRA) on the EndoVis17 Dataset. The fine-tuned SAM model is applied to segment the initial frames of the video accurately. Subsequently, we deploy the XMem++ tracking algorithm to follow the annotated frames, thereby facilitating the segmentation of the entire video sequence. This workflow enables us to precisely segment and track objects within the video. Through extensive evaluation of the in-distribution dataset (EndoVis17) and the out-of-distribution datasets (EndoVis18 \& the endoscopic submucosal dissection surgery (ESD) dataset), our framework demonstrates exceptional accuracy and robustness, thus showcasing its potential to advance the automated robotic-assisted surgery.


title: A Cloud Resources Portfolio Optimization Business Model -- From Theory to Practice

abstract: Cloud resources have become increasingly important, with many businesses using cloud solutions to supplement or outright replace their existing IT infrastructure. However, as there is a plethora of providers with varying products, services, and markets, it has become increasingly more challenging to keep track of the best solutions for each application. Cloud service intermediaries aim to alleviate this problem by offering services that help users meet their requirements. This paper aims to lay the groundwork for developing a cloud portfolio management platform and its business model, defined via a business model canvas. Furthermore, a prototype of a platform is developed offering a cloud portfolio optimization service, using two algorithms developed in previous research to create suitable and well-utilized allocations for a customer's applications.


title: Self-playing Adversarial Language Game Enhances LLM Reasoning

abstract: We explore the self-play training procedure of large language models (LLMs) in a two-player adversarial language game called Adversarial Taboo. In this game, an attacker and a defender communicate around a target word only visible to the attacker. The attacker aims to induce the defender to speak the target word unconsciously, while the defender tries to infer the target word from the attacker's utterances. To win the game, both players should have sufficient knowledge about the target word and high-level reasoning ability to infer and express in this information-reserved conversation. Hence, we are curious about whether LLMs' reasoning ability can be further enhanced by self-play in this adversarial language game (SPAG). With this goal, we select several open-source LLMs and let each act as the attacker and play with a copy of itself as the defender on an extensive range of target words. Through reinforcement learning on the game outcomes, we observe that the LLMs' performances uniformly improve on a broad range of reasoning benchmarks. Furthermore, iteratively adopting this self-play process can continuously promote LLMs' reasoning abilities. The code is at https://github.com/Linear95/SPAG.


title: A Calibrated and Automated Simulator for Innovations in 5G

abstract: The rise of 5G deployments has created the environment for many emerging technologies to flourish. Self-driving vehicles, Augmented and Virtual Reality, and remote operations are examples of applications that leverage 5G networks' support for extremely low latency, high bandwidth, and increased throughput. However, the complex architecture of 5G hinders innovation due to the lack of accessibility to testbeds or realistic simulators with adequate 5G functionalities. Also, configuring and managing simulators are complex and time consuming. Finally, the lack of adequate representative data hinders the data-driven designs in 5G campaigns. Thus, we calibrated a system-level open-source simulator, Simu5G, following 3GPP guidelines to enable faster innovation in the 5G domain. Furthermore, we developed an API for automatic simulator configuration without knowing the underlying architectural details. Finally, we demonstrate the usage of the calibrated and automated simulator by developing an ML-based anomaly detection in a 5G Radio Access Network (RAN).


title: Lattice QCD determination of the normalization of the leading-twist photon distribution amplitude and susceptibility of the quark condensate

abstract: The normalization of the leading-twist photon distribution amplitude (DA), $f_{\gamma}^{\perp}$, is an important ingredient in the study of exclusive processes involving the photon emission by means of QCD sum-rules. In this paper we determine the up- , down- and strange-quark contribution to $f_{\gamma}^{\perp}$ by exploiting its relation to the zero-momentum two-point correlation function of the electromagnetic current $J_{\rm em}^{\mu}$ and the electric component of the tensor current $T^{\mu\nu}$. To that end we employ the gauge ensembles obtained by using $N_{f}=2+1+1$ Wilson-Clover twisted-mass quark flavors, generated by the Extended Twisted Mass (ETM) Collaboration, and after adding all sources of systematic uncertainties, we obtain a total error of $1.5\%$ and $3.5\%$, respectively, for the light- ($u$ and $d$) and strange-quark contribution to $f_{\gamma}^{\perp}(2~{\rm GeV})$ in the $\overline{\mathrm{MS}}$ scheme, thus improving their accuracy by a factor of $2.3$ and $2.8$, respectively. For the strange-quark contribution $f_{\gamma,s}^{\perp}(2~{\rm GeV})$, we observe a discrepancy with respect to previous lattice calculations. By combining our result with the world average lattice value of the chiral condensate, we obtain for the susceptibility of the quark condensate $\chi_d^{\overline{\mathrm{MS}}} (2\, {\rm GeV}) \simeq \chi_u^{\overline{\mathrm{MS}}} (2\, {\rm GeV}) =2.17(12)~{\rm GeV^{-2}}$.


title: Continuous Control Reinforcement Learning: Distributed Distributional DrQ Algorithms

abstract: Distributed Distributional DrQ is a model-free and off-policy RL algorithm for continuous control tasks based on the state and observation of the agent, which is an actor-critic method with the data-augmentation and the distributional perspective of critic value function. Aim to learn to control the agent and master some tasks in a high-dimensional continuous space. DrQ-v2 uses DDPG as the backbone and achieves out-performance in various continuous control tasks. Here Distributed Distributional DrQ uses Distributed Distributional DDPG as the backbone, and this modification aims to achieve better performance in some hard continuous control tasks through the better expression ability of distributional value function and distributed actor policies.


title: Efficient Parking Search using Shared Fleet Data

abstract: Finding an available on-street parking spot is a relevant problem of day-to-day life. In recent years, cities such as Melbourne and San Francisco deployed sensors that provide real-time information about the occupation of parking spots. Finding a free parking spot in such a smart environment can be modeled and solved as a Markov decision process (MDP). The problem has to consider uncertainty as available parking spots might not remain available until arrival due to other vehicles also claiming spots in the meantime. Knowing the parking intention of every vehicle in the environment would eliminate this uncertainty. Unfortunately, it does currently not seem realistic to have such data from all vehicles. In contrast, acquiring data from a subset of vehicles or a vehicle fleet appears feasible and has the potential to reduce uncertainty. In this paper, we examine the question of how useful sharing data within a vehicle fleet might be for the search times of particular drivers. We use fleet data to better estimate the availability of parking spots at arrival. Since optimal solutions for large scenarios are infeasible, we base our method on approximate solutions, which have been shown to perform well in single-agent settings. Our experiments are conducted on a simulation using real-world and synthetic data from the city of Melbourne. The results indicate that fleet data can significantly reduce search times for an available parking spot.


title: Cosmic Inflation at the Crossroads

abstract: The capability of Cosmic Inflation to explain the latest Cosmic Microwave Background and Baryonic Acoustic Oscillation data is assessed by performing Bayesian model comparison within the landscape of nearly three-hundred models of single-field slow-roll inflation. We present the first Bayesian data analysis based on the third-order slow-roll primordial power spectra. In particular, the fourth Hubble-flow function $\epsilon_4$ remains unbounded while the third function verifies, at two-sigma, $\epsilon_{3}\in[-0.4,0.5]$, which is perfectly compatible with the slow-roll predictions for the running of the spectral index. We also observe some residual excess of $B$-modes within the BICEP/Keck data favoring, at a non-statistically significant level, non-vanishing primordial tensor modes: $\log(\epsilon_{1}) > -3.9$, at $68\%$ confidence level. Then, for 283 models of single-field inflation, we compute the Bayesian evidence, the Bayesian dimensionality and the marginalized posteriors of all the models' parameters, including the ones associated with the reheating era. The average information gain on the reheating parameter $R_\mathrm{reh}$ reaches $1.3 \pm 0.18$ bits, which is more than a factor two improvement compared to the first Planck data release. As such, inflationary model predictions cannot meet data accuracy without specifying, or marginalizing over, the reheating kinematics. We also find that more than $40\%$ of the scenarios are now strongly disfavored, which shows that the constraining power of cosmological data is winning against the increase of the number of proposed models. In addition, about $20\%$ of all models have evidences within the most probable region and are all favored according to the Jeffreys' scale of Bayesian evidences.


title: The General and Finite Satisfiability Problems for PCTL are Undecidable

abstract: The general/finite PCTL satisfiability problem asks whether a given PCTL formula has a general/finite model. We show that the finite PCTL satisfiability problem is undecidable, and the general PCTL satisfiability problem is even highly undecidable (beyond the arithmetical hierarchy). Consequently, there are no sound deductive systems proving all generally/finitely valid PCTL formulae.


title: Navigating the Serious Game Design Landscape: A Comprehensive Reference Document

abstract: Within the evolving field of digital intervention, serious games emerge as promising tools for evidence-based interventions. Research indicates that gamified therapy, whether employed independently or in conjunction with online psychoeducation or traditional programs, proves more efficacious in delivering care to patients. As we navigate the intricate realm of serious game design, bridging the gap between therapeutic approaches and creative design proves complex. Professionals in clinical and research roles demonstrate innovative thinking yet face challenges in executing engaging therapeutic serious games due to the lack of specialized design skills and knowledge. Thus, a larger question remains: How might we aid and educate professionals in clinical and research roles the importance of game design to support their innovative therapeutic approaches? This study examines potential solutions aimed at facilitating the integration of gamification design principles into clinical study protocols, a pivotal aspect for aligning therapeutic practices with captivating narratives in the pursuit of innovative interventions. We propose two solutions, a flow chart framework for serious games or a comprehensive reference document encompassing gamification design principles and guidelines for best design practices. Through an examination of literature reviews, it was observed that selected design decisions varied across studies. Thus, we propose that the second solution, a comprehensive reference design guide, is more versatile and adaptable.


title: Space Regularity of Evolution Equations Driven by Rough Paths

abstract: In this paper, we consider the linear evolution equation $dy(t)=Ay(t)dt+Gy(t)dx(t)$, where $A$ is a closed operator, associated to a semigroup, with good smoothing effects in a Banach space $E$, $x$ is a nonsmooth path, which is $\eta$-H\"older continuous for some $\eta\in (1/3,1/2]$, and $G$ is a non-smoothing linear operator on $E$. We prove that the Cauchy problem associated with the previous equation admits a unique mild solution and we also show that the solution increases the regularity of the initial datum as soon as time evolves. Then, we show that the mild solution is also an integral solution and this allows us to prove a It\^o formula.


title: Rings whose Non-Invertible Elements are Strongly Nil-Clean

abstract: We consider in-depth and characterize in certain aspects those rings whose non-units are strongly nil-clean in the sense that they are a sum of commuting nilpotent and idempotent. In addition, we examine those rings in which the non-units are uniquely nil-clean in the sense that they are a sum of a nilpotent and an unique idempotent. In fact, we succeeded to prove that these two classes of rings can completely be characterized in terms of already well-studied and fully described sorts of rings.


title: ViTextVQA: A Large-Scale Visual Question Answering Dataset for Evaluating Vietnamese Text Comprehension in Images

abstract: Visual Question Answering (VQA) is a complicated task that requires the capability of simultaneously processing natural language and images. Initially, this task was researched, focusing on methods to help machines understand objects and scene contexts in images. However, some text appearing in the image that carries explicit information about the full content of the image is not mentioned. Along with the continuous development of the AI era, there have been many studies on the reading comprehension ability of VQA models in the world. As a developing country, conditions are still limited, and this task is still open in Vietnam. Therefore, we introduce the first large-scale dataset in Vietnamese specializing in the ability to understand text appearing in images, we call it ViTextVQA (\textbf{Vi}etnamese \textbf{Text}-based \textbf{V}isual \textbf{Q}uestion \textbf{A}nswering dataset) which contains \textbf{over 16,000} images and \textbf{over 50,000} questions with answers. Through meticulous experiments with various state-of-the-art models, we uncover the significance of the order in which tokens in OCR text are processed and selected to formulate answers. This finding helped us significantly improve the performance of the baseline models on the ViTextVQA dataset. Our dataset is available at this \href{https://github.com/minhquan6203/ViTextVQA-Dataset}{link} for research purposes.


title: Context-Free Languages of String Diagrams

abstract: We introduce context-free languages of morphisms in monoidal categories, extending recent work on the categorification of context-free languages, and regular languages of string diagrams. Context-free languages of string diagrams include classical context-free languages of words, trees, and hypergraphs, when instantiated over appropriate monoidal categories. Using a contour-splicing adjunction, we prove a representation theorem for context-free languages of string diagrams: every such language arises as the image under a monoidal functor of a regular language of string diagrams.


title: Three classical probability problems: the Hungarian roulette

abstract: In this paper three unrelated problems will be discussed. What connects them is the rich methodology of classical probability theory. In the first two problems we have a complete answer to the problems raised; in the third case, what we call the Hungarian roulette problem, we only have a conjecture with heuristic justification.


title: Quantum Simulation of Open Quantum Dynamics via Non-Markovian Quantum State Diffusion

abstract: Quantum simulation of non-Markovian open quantum dynamics is essential but challenging for standard quantum computers due to their non-Hermitian nature, leading to non-unitary evolution, and the limitations of available quantum resources. Here we introduce a hybrid quantum-classical algorithm designed for simulating dissipative dynamics in system with non-Markovian environment. Our approach includes formulating a non-Markovian Stochastic Schr\"odinger equation with complex frequency modes (cNMSSE) where the non-Markovianity is characterized by the mode excitation. Following this, we utilize variational quantum simulation to capture the non-unitary evolution within the cNMSSE framework, leading to a substantial reduction in qubit requirements. To demonstrate our approach, we investigated the spin-boson model and dynamic quantum phase transitions (DQPT) within transverse field Ising model (TFIM). Significantly, our findings reveal the enhanced DQPT in TFIM due to non-Markovian behavior.


title: The foundation of generalized parallel connections, 2-sums, and segment-cosegment exchanges of matroids

abstract: We show that, under suitable hypotheses, the foundation of a generalized parallel connection of matroids is the relative tensor product of the foundations. Using this result, we show that the foundation of a 2-sum of matroids is the absolute tensor product of the foundations, and that the foundation of a matroid is invariant under segment-cosegment exchange.


title: Partial Differential Equations on Low-Dimensional Structures

abstract: This thesis pertains to the study of elliptic and parabolic partial differential equations on "thin" structures. The first main objective is to establish the strong and weak low-dimensional counterparts of the parabolic Neumann problem. The main technical result is proving the closedness of the low-dimensional second-order operator. To construct a semigroup, a variant of Magyar of the Hille-Yosida Theorem for non-invertible operators is adapted. An alternative direction of study is presented to extend the class of accessible initial data. Weak-type parabolic problems are defined, and the existence of solutions is obtained by the application of the Lions version of the Lax-Milgram Lemma. The second aspect of the thesis is to examine the higher regularity of weak solutions to low-dimensional elliptic problems. We prove that for any weak low-dimensional elliptic solution, some Cosserat vector field exists as a witness of the membership of the solution to the domain of the second-order operator.


title: Trajectory Planning using Reinforcement Learning for Interactive Overtaking Maneuvers in Autonomous Racing Scenarios

abstract: Conventional trajectory planning approaches for autonomous racing are based on the sequential execution of prediction of the opposing vehicles and subsequent trajectory planning for the ego vehicle. If the opposing vehicles do not react to the ego vehicle, they can be predicted accurately. However, if there is interaction between the vehicles, the prediction loses its validity. For high interaction, instead of a planning approach that reacts exclusively to the fixed prediction, a trajectory planning approach is required that incorporates the interaction with the opposing vehicles. This paper demonstrates the limitations of a widely used conventional sampling-based approach within a highly interactive blocking scenario. We show that high success rates are achieved for less aggressive blocking behavior but that the collision rate increases with more significant interaction. We further propose a novel Reinforcement Learning (RL)-based trajectory planning approach for racing that explicitly exploits the interaction with the opposing vehicle without requiring a prediction. In contrast to the conventional approach, the RL-based approach achieves high success rates even for aggressive blocking behavior. Furthermore, we propose a novel safety layer (SL) that intervenes when the trajectory generated by the RL-based approach is infeasible. In that event, the SL generates a sub-optimal but feasible trajectory, avoiding termination of the scenario due to a not found valid solution.


title: Cybersecurity in the Quantum Era: Assessing the Impact of Quantum Computing on Infrastructure

abstract: The emergence of quantum computing presents a double-edged sword for cybersecurity. While its immense power holds promise for advancements in various fields, it also threatens to crack the foundation of current encryption methods. This analysis explores the impact of quantum computing on critical infrastructure and cloud services, meticulously evaluating potential vulnerabilities across various layers, including applications, data, runtime, middleware, operating systems, virtualization, hardware, storage, and networks. We advocate for proactive security strategies and collaboration between sectors to develop and implement quantum-resistant cryptography. This crucial shift necessitates a comprehensive approach, and the paper introduces a tailored security blueprint encompassing nine critical infrastructure components. This blueprint strengthens each area's defenses against potential quantum-induced cyber threats. Our strategic vulnerability and risk assessment equips stakeholders with the knowledge to navigate the complex quantum threat landscape. This empowers them to make informed decisions about design, implementation, and policy formulation, ultimately bolstering the resilience of critical infrastructure. In essence, this analysis not only forecasts quantum threats but also offers a sophisticated, actionable framework for fortifying infrastructure and cloud environments against the multifaceted challenges of the quantum era. This proactive approach will ensure continued data security and a thriving digital landscape in the years to come


title: Discovery of the optical and radio counterpart to the fast X-ray transient EP240315a

abstract: Fast X-ray Transients (FXTs) are extragalactic bursts of soft X-rays first identified >10 years ago. Since then, nearly 40 events have been discovered, although almost all of these have been recovered from archival Chandra and XMM-Newton data. To date, optical sky surveys and follow-up searches have not revealed any multi-wavelength counterparts. The Einstein Probe, launched in January 2024, has started surveying the sky in the soft X-ray regime (0.5-4 keV) and will rapidly increase the sample of FXTs discovered in real time. Here, we report the first discovery of both an optical and radio counterpart to a distant FXT, the fourth source publicly released by the Einstein Probe. We discovered a fast-fading optical transient within the 3 arcmin localisation radius of EP240315a with the all-sky optical survey ATLAS, and our follow-up Gemini spectrum provides a redshift, z=4.859+/-0.002. Furthermore, we uncovered a radio counterpart in the S-band (3.0 GHz) with the MeerKAT radio interferometer. The optical (rest-frame UV) and radio luminosities indicate the FXT most likely originates from either a long gamma-ray burst or a relativistic tidal disruption event. This may be a fortuitous early mission detection by the Einstein Probe or may signpost a mode of discovery for high-redshift, high-energy transients through soft X-ray surveys, combined with locating multi-wavelength counterparts.


title: PD-Insighter: A Visual Analytics System to Monitor Daily Actions for Parkinson's Disease Treatment

abstract: People with Parkinson's Disease (PD) can slow the progression of their symptoms with physical therapy. However, clinicians lack insight into patients' motor function during daily life, preventing them from tailoring treatment protocols to patient needs. This paper introduces PD-Insighter, a system for comprehensive analysis of a person's daily movements for clinical review and decision-making. PD-Insighter provides an overview dashboard for discovering motor patterns and identifying critical deficits during activities of daily living and an immersive replay for closely studying the patient's body movements with environmental context. Developed using an iterative design study methodology in consultation with clinicians, we found that PD-Insighter's ability to aggregate and display data with respect to time, actions, and local environment enabled clinicians to assess a person's overall functioning during daily life outside the clinic. PD-Insighter's design offers future guidance for generalized multiperspective body motion analytics, which may significantly improve clinical decision-making and slow the functional decline of PD and other medical conditions.


title: Continual Offline Reinforcement Learning via Diffusion-based Dual Generative Replay

abstract: We study continual offline reinforcement learning, a practical paradigm that facilitates forward transfer and mitigates catastrophic forgetting to tackle sequential offline tasks. We propose a dual generative replay framework that retains previous knowledge by concurrent replay of generated pseudo-data. First, we decouple the continual learning policy into a diffusion-based generative behavior model and a multi-head action evaluation model, allowing the policy to inherit distributional expressivity for encompassing a progressive range of diverse behaviors. Second, we train a task-conditioned diffusion model to mimic state distributions of past tasks. Generated states are paired with corresponding responses from the behavior generator to represent old tasks with high-fidelity replayed samples. Finally, by interleaving pseudo samples with real ones of the new task, we continually update the state and behavior generators to model progressively diverse behaviors, and regularize the multi-head critic via behavior cloning to mitigate forgetting. Experiments demonstrate that our method achieves better forward transfer with less forgetting, and closely approximates the results of using previous ground-truth data due to its high-fidelity replay of the sample space. Our code is available at \href{https://github.com/NJU-RL/CuGRO}{https://github.com/NJU-RL/CuGRO}.


title: A note on the invertibility of oriented graphs

abstract: For an oriented graph $D$ and a set $X\subseteq V(D)$, the inversion of $X$ in $D$ is the graph obtained from $D$ by reversing the orientation of each edge that has both endpoints in $X$. Define the inversion number of $D$, denoted $inv(D)$, to be the minimum number of inversions required to obtain an acyclic oriented graph from $D$. We show that $inv({D_1 \rightarrow D_2}) > inv(D_1)$, for any oriented graphs $D_1$ and $D_2$ such that $inv(D_1) = inv(D_2) \ge 1$. This resolves a question of Aubian, Havet, H\"{o}rsch, Klingelhoefer, Nisse, Rambaud and Vermande. Our proof proceeds via a natural connection between the graph inversion number and the subgraph complementation number.


title: Assessing The Impact of CNN Auto Encoder-Based Image Denoising on Image Classification Tasks

abstract: Images captured from the real world are often affected by different types of noise, which can significantly impact the performance of Computer Vision systems and the quality of visual data. This study presents a novel approach for defect detection in casting product noisy images, specifically focusing on submersible pump impellers. The methodology involves utilizing deep learning models such as VGG16, InceptionV3, and other models in both the spatial and frequency domains to identify noise types and defect status. The research process begins with preprocessing images, followed by applying denoising techniques tailored to specific noise categories. The goal is to enhance the accuracy and robustness of defect detection by integrating noise detection and denoising into the classification pipeline. The study achieved remarkable results using VGG16 for noise type classification in the frequency domain, achieving an accuracy of over 99%. Removal of salt and pepper noise resulted in an average SSIM of 87.9, while Gaussian noise removal had an average SSIM of 64.0, and periodic noise removal yielded an average SSIM of 81.6. This comprehensive approach showcases the effectiveness of the deep AutoEncoder model and median filter, for denoising strategies in real-world industrial applications. Finally, our study reports significant improvements in binary classification accuracy for defect detection compared to previous methods. For the VGG16 classifier, accuracy increased from 94.6% to 97.0%, demonstrating the effectiveness of the proposed noise detection and denoising approach. Similarly, for the InceptionV3 classifier, accuracy improved from 84.7% to 90.0%, further validating the benefits of integrating noise analysis into the classification pipeline.


abstract: In this paper, we introduce the Iterated Invariant Extended Kalman Filter (IIEKF), which is an invariant extended Kalman filter (IEKF) where the updated state in the light of the latest measurement is defined as a maximum a posteriori (MAP) estimate. Under some compatibility requirements on the output map, we prove strong mathematical guarantees which echo those of the Kalman filter in the linear case. We apply the technique to two problems: solving a system of equations on a Lie group, and a problem of engineering interest, namely ego-localization of the hook of a crane. The latter serves as a benchmarking example, where the IIEKF favorably compares to other filters.


title: Bounds on Sphere Sizes in the Sum-Rank Metric and Coordinate-Additive Metrics

abstract: This paper provides new bounds on the size of spheres in any coordinate-additive metric with a particular focus on improving existing bounds in the sum-rank metric. We derive improved upper and lower bounds based on the entropy of a distribution related to the Boltzmann distribution, which work for any coordinate-additive metric. Additionally, we derive new closed-form upper and lower bounds specifically for the sum-rank metric that outperform existing closed-form bounds.


title: VASA-1: Lifelike Audio-Driven Talking Faces Generated in Real Time

abstract: We introduce VASA, a framework for generating lifelike talking faces with appealing visual affective skills (VAS) given a single static image and a speech audio clip. Our premiere model, VASA-1, is capable of not only producing lip movements that are exquisitely synchronized with the audio, but also capturing a large spectrum of facial nuances and natural head motions that contribute to the perception of authenticity and liveliness. The core innovations include a holistic facial dynamics and head movement generation model that works in a face latent space, and the development of such an expressive and disentangled face latent space using videos. Through extensive experiments including evaluation on a set of new metrics, we show that our method significantly outperforms previous methods along various dimensions comprehensively. Our method not only delivers high video quality with realistic facial and head dynamics but also supports the online generation of 512x512 videos at up to 40 FPS with negligible starting latency. It paves the way for real-time engagements with lifelike avatars that emulate human conversational behaviors.


title: Strings in metric spaces

abstract: We introduce strings in metric spaces and define string complexes of metric spaces. We describe the class of 2-dimensional topological spaces which arise in this way from finite metric spaces.


title: Arsenic diffusion in MOVPE-Grown GaAs/Ge epitaxial structures

abstract: Germanium is reemerging as a prominent material in the semiconductor field, particularly for electronic applications, photonics, photovoltaics and thermophotovoltaics. Its combination with III-V compound semiconductors through epitaxial growth by metal organic vapor phase epitaxy (MOVPE) is instrumental and thus, the comprehension of the sequential stages in such epitaxial processes is of great importance. During the deposition of GaAs on p-type Ge, the formation of n/p junctions occurs when As diffuses into Ge. It is found that this formation begins in the so-called AsH3 preexposure where Ge substrate is firstly exposed to AsH3. Also important is the fact that both free carrier profiles and As profiles indicate that prolonged AsH3 preexposure times lead to deeper diffusion depths for the same process time. This effect is concomitant with the degradation of the Ge surface morphology, characterized by higher roughness as the AsH3 preexposure duration is extended. Contrary to ion-implanted As in germanium, which shows quadratic dependent diffusivity, our MOVPE investigation using AsH3 indicates a linear relationship, consistent with Takenaka et al.'s MOVPE study using TBAs. Analyzing As profiles alongside simulations, with and without subsequent GaAs epitaxy, suggests the generation of Ge vacancies during the process, contributing to deeper As diffusion.


title: The Simultaneous Interval Number: A New Width Parameter that Measures the Similarity to Interval Graphs

abstract: We propose a novel way of generalizing the class of interval graphs, via a graph width parameter called the simultaneous interval number. This parameter is related to the simultaneous representation problem for interval graphs and defined as the smallest number $d$ of labels such that the graph admits a $d$-simultaneous interval representation, that is, an assignment of intervals and label sets to the vertices such that two vertices are adjacent if and only if the corresponding intervals, as well as their label sets, intersect. We show that this parameter is $\mathsf{NP}$-hard to compute and give several bounds for the parameter, showing in particular that it is sandwiched between pathwidth and linear mim-width. For classes of graphs with bounded parameter values, assuming that the graph is equipped with a simultaneous interval representation with a constant number of labels, we give $\mathsf{FPT}$ algorithms for the clique, independent set, and dominating set problems, and hardness results for the independent dominating set and coloring problems. The $\mathsf{FPT}$ results for independent set and dominating set are for the simultaneous interval number plus solution size. In contrast, both problems are known to be $\mathsf{W}[1]$-hard for linear mim-width plus solution size.


title: Design and experimental validation of a finite-size labyrinthine metamaterial for vibro-acoustics: enabling upscaling towards large-scale structures

abstract: In this paper, we present the design and experimental validation of a labyrinthine metamaterial for vibro-acoustic applications. Based on a 2D unit cell, different designs of finite-size metamaterial specimens in a sandwich configuration including two plates are proposed. The design phase includes an optimisation based on Bloch-Floquet analysis with the aims of maximising the band gap and extruding the specimens in the third dimension while keeping the absorption properties almost unaffected. By manufacturing and experimentally testing finite-sized specimens, we assess their capacity to mitigate vibrations in vibro-impact tests. The experiments confirm a band gap in the low- to mid-frequency range. Numerical models are employed to validate the experiments and to examine additional vibro-acoustic load cases. The metamaterial's performances are compared to benchmark solutions, usually employed for noise and vibration mitigation, showing a comparable efficacy in the band gap region. To eventually improve the metamaterial's performance, we optimise its interaction with the air and test different types of connections between the metamaterial and the homogeneous plates. This finally leads to metamaterial samples largely exceeding the benchmark performances in the band gap region and reveal the potential of interfaces for performance optimisation of composed structures.


title: Betti numbers of normal edge rings

abstract: A novel approach is introduced for computing the multi-graded Betti numbers of normal edge rings. This method is employed to delve into the edge rings of three distinct classes of simple graphs that adhere to the odd-cycle condition. These classes include compact graphs, which are devoid of even cycles and satisfy the odd-cycle condition; graphs comprised of multiple paths converging at two shared vertices; and graphs introduced in \cite{HHKO} that exhibit both even and odd cycles. Explicit formulas are provided for the multi-graded Betti numbers pertaining to the edge rings of these graphs.


title: The XUV-driven escape of the planets around TOI-431 & $\nu^2$ Lupi

abstract: One of the leading mechanisms invoked to explain the existence of the radius valley is atmospheric mass loss driven by X-ray and extreme-ultraviolet irradiation, with this process stripping the primordial envelopes of young, small planets to produce the observed bimodal distribution. We present an investigation into the TOI-431 and $\nu^2$ Lupi planetary systems, both of which host planets either side of the radius valley, to determine if their architectures are consistent with evolution by the XUV mechanism. With $\textit{XMM-Newton}$, we measure the current X-ray flux of each star, and see evidence for a stellar flare in the TOI-431 observations. We then simulate the evolution of all of the transiting planets across the two systems in response to the high-energy irradiation over their lifetimes. We use the measured X-ray fluxes as an anchor point for the XUV time evolution in our simulations, and employ several different models of estimating mass loss rates. While the simulations for TOI-431b encountered a problem with the initial calculated radii, we estimate a likely short ($\sim$ Myr) timespan for primordial envelope removal using reasonable assumptions for the initial planet. $\nu^2$ Lupi b is likely harder to strip, but is achieved in a moderate fraction of our simulations. None of our simulations stripped any of the lower density planets of their envelope, in line with prediction. We conclude that both systems are consistent with expectations for generation of the radius valley through XUV photoevaporation.


title: Climbing to the Top of the ATLAS 13 TeV data

abstract: The large amount of data recorded with the ATLAS detector at the Large Hadron Collider, corresponding to 140 fb$^{-1}$ of $pp$ collisions at a centre-of-mass energy of $\sqrt{s}=13$ TeV, has brought our knowledge of the top quark to the next level. The measurement of the top$-$antitop quark pair-production cross-section has reached a precision of 1.8% and the cross-section was measured differentially up to several TeV in several observables including the top-quark transverse momentum and top-quark-pair invariant mass. Single-top-quark production was studied in all production modes. Rare production processes where the top quark is associated with a vector boson, and four-top-quark production, have become accessible and precision measurements of several of these processes have reached cross-section uncertainties of around 10% or smaller. Innovative measurements of the top-quark mass and properties have also emerged, including the observation of quantum entanglement in the top-quark sector and tests of lepton-flavour universality using top-quark decays. Searches for flavour-changing neutral currents in the top-quark sector have been significantly improved, reaching branching-ratio exclusion limits ranging from $10^{-3}$ to $10^{-5}$. Many of these analyses have been used to set limits on Wilson coefficients within the effective field theory framework.


title: SCALE: Self-Correcting Visual Navigation for Mobile Robots via Anti-Novelty Estimation

abstract: Although visual navigation has been extensively studied using deep reinforcement learning, online learning for real-world robots remains a challenging task. Recent work directly learned from offline dataset to achieve broader generalization in the real-world tasks, which, however, faces the out-of-distribution (OOD) issue and potential robot localization failures in a given map for unseen observation. This significantly drops the success rates and even induces collision. In this paper, we present a self-correcting visual navigation method, SCALE, that can autonomously prevent the robot from the OOD situations without human intervention. Specifically, we develop an image-goal conditioned offline reinforcement learning method based on implicit Q-learning (IQL). When facing OOD observation, our novel localization recovery method generates the potential future trajectories by learning from the navigation affordance, and estimates the future novelty via random network distillation (RND). A tailored cost function searches for the candidates with the least novelty that can lead the robot to the familiar places. We collect offline data and conduct evaluation experiments in three real-world urban scenarios. Experiment results show that SCALE outperforms the previous state-of-the-art methods for open-world navigation with a unique capability of localization recovery, significantly reducing the need for human intervention. Code is available at https://github.com/KubeEdge4Robotics/ScaleNav.


title: Circuit-theoretic Joint Parameter-State Estimation -- Balancing Optimality and AC Feasibility

abstract: AC State Estimation (ACSE) is widely recognized as a practical approach for determining the grid states in steady-state conditions. It serves as a fundamental analysis to ensure grid security and is a reference for market dispatch. As grid complexity increases with rapid electrification and decarbonization, there is a growing need for more accurate knowledge of the grid operating state. However, existing ACSE algorithms have technical gaps. Critically, current ACSE algorithms are susceptible to erroneous system parameters, which are assumed to be fixed in traditional approaches. In this paper, we build a novel circuit-theoretic joint parameter-state estimation algorithm to address this limitation. The innovative algorithm builds an analogous equivalent circuit of the grid with states and certain parameters unknown. It solves a circuit-constrained optimization to estimate the most likely grid states and parameters given a set of measurements. Further, it quantifies the goodness of the estimated output by formulating tight convex envelopes around the original non-convex problem to quantify the quality of estimates. We compare the various proposed approaches on systems with up to 2869 nodes while demonstrating a tradeoff between solution optimality and model fidelity.


title: Numerical validation of the inverse cascade of surface gravity wave action

abstract: We report numerical simulations of surface gravity waves forced at small scale and the subsequent inverse cascade of wave action. We combine the spectral approach to simulating weakly nonlinear waves with the capabilities of modern Graphics Processing Units to reach unprecedented scale separation between the forcing and domain scales. The resulting broad inertial range allows for an unambiguous confirmation of the theoretical prediction for the spectrum in the inverse cascade regime, both in terms of spectral index and dependence of the spectral level on the action flux.


title: Automating REST API Postman Test Cases Using LLM

abstract: In the contemporary landscape of technological advancements, the automation of manual processes is crucial, compelling the demand for huge datasets to effectively train and test machines. This research paper is dedicated to the exploration and implementation of an automated approach to generate test cases specifically using Large Language Models. The methodology integrates the use of Open AI to enhance the efficiency and effectiveness of test case generation for training and evaluating Large Language Models. This formalized approach with LLMs simplifies the testing process, making it more efficient and comprehensive. Leveraging natural language understanding, LLMs can intelligently formulate test cases that cover a broad range of REST API properties, ensuring comprehensive testing. The model that is developed during the research is trained using manually collected postman test cases or instances for various Rest APIs. LLMs enhance the creation of Postman test cases by automating the generation of varied and intricate test scenarios. Postman test cases offer streamlined automation, collaboration, and dynamic data handling, providing a user-friendly and efficient approach to API testing compared to traditional test cases. Thus, the model developed not only conforms to current technological standards but also holds the promise of evolving into an idea of substantial importance in future technological advancements.


title: HSVI-based Online Minimax Strategies for Partially Observable Stochastic Games with Neural Perception Mechanisms

abstract: We consider a variant of continuous-state partially-observable stochastic games with neural perception mechanisms and an asymmetric information structure. One agent has partial information, with the observation function implemented as a neural network, while the other agent is assumed to have full knowledge of the state. We present, for the first time, an efficient online method to compute an $\varepsilon$-minimax strategy profile, which requires only one linear program to be solved for each agent at every stage, instead of a complex estimation of opponent counterfactual values. For the partially-informed agent, we propose a continual resolving approach which uses lower bounds, pre-computed offline with heuristic search value iteration (HSVI), instead of opponent counterfactual values. This inherits the soundness of continual resolving at the cost of pre-computing the bound. For the fully-informed agent, we propose an inferred-belief strategy, where the agent maintains an inferred belief about the belief of the partially-informed agent based on (offline) upper bounds from HSVI, guaranteeing $\varepsilon$-distance to the value of the game at the initial belief known to both agents.


title: Extending the Tavis-Cummings model for molecular ensembles -- Exploring the effects of dipole self energies and static dipole moments

abstract: Strong coupling of organic molecules to the vacuum field of a nanoscale cavity can be used to modify their chemical and physical properties. We extend the Tavis-Cummings model for molecular ensembles and show that the often neglected interaction terms arising from the static dipole moment and the dipole self-energy are essential for a correct description of the light-matter interaction in polaritonic chemistry. On the basis of a full quantum description, we simulate the excited-state dynamics and spectroscopy of MgH$^+$ molecules resonantly coupled to an optical cavity. We show that the inclusion of static dipole moments and the dipole self-energy is necessary to obtain a consistent model. We construct an efficient two-level system approach that reproduces the main features of the real molecular system and may be used to simulate larger molecular ensembles.


title: StyleCity: Large-Scale 3D Urban Scenes Stylization with Vision-and-Text Reference via Progressive Optimization

abstract: Creating large-scale virtual urban scenes with variant styles is inherently challenging. To facilitate prototypes of virtual production and bypass the need for complex materials and lighting setups, we introduce the first vision-and-text-driven texture stylization system for large-scale urban scenes, StyleCity. Taking an image and text as references, StyleCity stylizes a 3D textured mesh of a large-scale urban scene in a semantics-aware fashion and generates a harmonic omnidirectional sky background. To achieve that, we propose to stylize a neural texture field by transferring 2D vision-and-text priors to 3D globally and locally. During 3D stylization, we progressively scale the planned training views of the input 3D scene at different levels in order to preserve high-quality scene content. We then optimize the scene style globally by adapting the scale of the style image with the scale of the training views. Moreover, we enhance local semantics consistency by the semantics-aware style loss which is crucial for photo-realistic stylization. Besides texture stylization, we further adopt a generative diffusion model to synthesize a style-consistent omnidirectional sky image, which offers a more immersive atmosphere and assists the semantic stylization process. The stylized neural texture field can be baked into an arbitrary-resolution texture, enabling seamless integration into conventional rendering pipelines and significantly easing the virtual production prototyping process. Extensive experiments demonstrate our stylized scenes' superiority in qualitative and quantitative performance and user preferences.


title: Characterization of the multimode nature of single-photon sources based on spontaneous parametric down conversion

abstract: Single-photon sources are necessary components for many prospective quantum technologies. One candidate for a single-photon source is spontaneous parametric down conversion combined with a heralding photon detection. The heralded light pulse from such a source, is typically treated as single-mode, this treatment, however, is incomplete. We develop a full multimode description based on the exact Bogoliubov treatment of the down conversion process. We then provide a perturbative and effective treatment, which illustrates the most important physical mechanisms and permits analytical estimates of the success probability and purity of single-photon states under practical heralding conditions, both without relying on the precise detection time of the heralding photon and when accepting photons only in a narrow window around the time of the detection. This permits us to characterize the emitted light under three different assumptions for the pump pulse. For spontaneous parametric down conversion with a very short pump pulse, we find the single-mode description to be accurate, while for longer pump pulses and continuous pumping, a multimode description is necessary. Our findings can be used to guide the design of quantum information protocols based on heralded single-photon sources, as their performance may depend on the multimode nature of the sources.


title: Simplex Decomposition for Portfolio Allocation Constraints in Reinforcement Learning

abstract: Portfolio optimization tasks describe sequential decision problems in which the investor's wealth is distributed across a set of assets. Allocation constraints are used to enforce minimal or maximal investments into particular subsets of assets to control for objectives such as limiting the portfolio's exposure to a certain sector due to environmental concerns. Although methods for constrained Reinforcement Learning (CRL) can optimize policies while considering allocation constraints, it can be observed that these general methods yield suboptimal results. In this paper, we propose a novel approach to handle allocation constraints based on a decomposition of the constraint action space into a set of unconstrained allocation problems. In particular, we examine this approach for the case of two constraints. For example, an investor may wish to invest at least a certain percentage of the portfolio into green technologies while limiting the investment in the fossil energy sector. We show that the action space of the task is equivalent to the decomposed action space, and introduce a new reinforcement learning (RL) approach CAOSD, which is built on top of the decomposition. The experimental evaluation on real-world Nasdaq-100 data demonstrates that our approach consistently outperforms state-of-the-art CRL benchmarks for portfolio optimization.


title: Driver Fatigue Prediction using Randomly Activated Neural Networks for Smart Ridesharing Platforms

abstract: Drivers in ridesharing platforms exhibit cognitive atrophy and fatigue as they accept ride offers along the day, which can have a significant impact on the overall efficiency of the ridesharing platform. In contrast to the current literature which focuses primarily on modeling and learning driver's preferences across different ride offers, this paper proposes a novel Dynamic Discounted Satisficing (DDS) heuristic to model and predict driver's sequential ride decisions during a given shift. Based on DDS heuristic, a novel stochastic neural network with random activations is proposed to model DDS heuristic and predict the final decision made by a given driver. The presence of random activations in the network necessitated the development of a novel training algorithm called Sampling-Based Back Propagation Through Time (SBPTT), where gradients are computed for independent instances of neural networks (obtained via sampling the distribution of activation threshold) and aggregated to update the network parameters. Using both simulation experiments as well as on real Chicago taxi dataset, this paper demonstrates the improved performance of the proposed approach, when compared to state-of-the-art methods.


title: Generating Human Interaction Motions in Scenes with Text Control

abstract: We present TeSMo, a method for text-controlled scene-aware motion generation based on denoising diffusion models. Previous text-to-motion methods focus on characters in isolation without considering scenes due to the limited availability of datasets that include motion, text descriptions, and interactive scenes. Our approach begins with pre-training a scene-agnostic text-to-motion diffusion model, emphasizing goal-reaching constraints on large-scale motion-capture datasets. We then enhance this model with a scene-aware component, fine-tuned using data augmented with detailed scene information, including ground plane and object shapes. To facilitate training, we embed annotated navigation and interaction motions within scenes. The proposed method produces realistic and diverse human-object interactions, such as navigation and sitting, in different scenes with various object shapes, orientations, initial body positions, and poses. Extensive experiments demonstrate that our approach surpasses prior techniques in terms of the plausibility of human-scene interactions, as well as the realism and variety of the generated motions. Code will be released upon publication of this work at https://research.nvidia.com/labs/toronto-ai/tesmo.


title: Swarm-Based Trajectory Generation and Optimization for Stress-Aligned 3D Printing

abstract: In this study, we present a novel swarm-based approach for generating optimized stress-aligned trajectories for 3D printing applications. The method utilizes swarming dynamics to simulate the motion of virtual agents along the stress produced in a loaded part. Agent trajectories are then used as print trajectories. With this approach, the complex global trajectory generation problem is subdivided into a set of sequential and computationally efficient quadratic programs. Through comprehensive evaluations in both simulation and experiments, we compare our method with state-of-the-art approaches. Our results highlight a remarkable improvement in computational efficiency, achieving a 115x faster computation speed than existing methods. This efficiency, combined with the possibility to tune the trajectories spacing to match the deposition process constraints, makes the potential integration of our approach into existing 3D printing processes seamless. Additionally, the open-hole tensile specimen produced on a conventional fused filament fabrication set-up with our algorithm achieve a notable ~10% improvement in specific modulus compared to existing trajectory optimization methods.


title: Invariant Kalman Filtering with Noise-Free Pseudo-Measurements

abstract: In this paper, we focus on developing an Invariant Extended Kalman Filter (IEKF) for extended pose estimation for a noisy system with state equality constraints. We treat those constraints as noise-free pseudo-measurements. To this aim, we provide a formula for the Kalman gain in the limit of noise-free measurements and rank-deficient covariance matrix. We relate the constraints to group-theoretic properties and study the behavior of the IEKF in the presence of such noise-free measurements. We illustrate this perspective on the estimation of the motion of the load of an overhead crane, when a wireless inertial measurement unit is mounted on the hook.


title: Efficient Conditional Diffusion Model with Probability Flow Sampling for Image Super-resolution

abstract: Image super-resolution is a fundamentally ill-posed problem because multiple valid high-resolution images exist for one low-resolution image. Super-resolution methods based on diffusion probabilistic models can deal with the ill-posed nature by learning the distribution of high-resolution images conditioned on low-resolution images, avoiding the problem of blurry images in PSNR-oriented methods. However, existing diffusion-based super-resolution methods have high time consumption with the use of iterative sampling, while the quality and consistency of generated images are less than ideal due to problems like color shifting. In this paper, we propose Efficient Conditional Diffusion Model with Probability Flow Sampling (ECDP) for image super-resolution. To reduce the time consumption, we design a continuous-time conditional diffusion model for image super-resolution, which enables the use of probability flow sampling for efficient generation. Additionally, to improve the consistency of generated images, we propose a hybrid parametrization for the denoiser network, which interpolates between the data-predicting parametrization and the noise-predicting parametrization for different noise scales. Moreover, we design an image quality loss as a complement to the score matching loss of diffusion models, further improving the consistency and quality of super-resolution. Extensive experiments on DIV2K, ImageNet, and CelebA demonstrate that our method achieves higher super-resolution quality than existing diffusion-based image super-resolution methods while having lower time consumption. Our code is available at https://github.com/Yuan-Yutao/ECDP.