title: Faster Game Solving by Fixpoint Acceleration

abstract: We propose a method for solving parity games with acyclic (DAG) sub-structures by computing nested fixpoints of a DAG attractor function that lives over the non-DAG parts of the game, thereby restricting the domain of the involved fixpoint operators. Intuitively, this corresponds to accelerating fixpoint computation by inlining cycle-free parts during the solution of parity games, leading to earlier convergence. We also present an economic later-appearence-record construction that takes Emerson-Lei games to parity games, and show that it preserves DAG sub-structures; it follows that the proposed method can be used also for the accelerated solution of Emerson-Lei games.


title: Algebraic Complete Integrability of the (a_4^{\left(2\right)}) Toda lattice

abstract: The aim of this work is focused on the investigation of the algebraic complete integrability (a.c.i) of the Toda lattice associated with the twisted affine Lie algebra (a_4^{\left(2\right)}). First, we prove that the generic fiber of the momentum map for this system is an affine part of an abelian surface. Second, we show that the flows of integrable vector fields on this surface are linear. Finally, using the formal Laurent solutions of the system, we provide a detailed geometric description of these abelian surfaces and the divisor at infinity.


title: Stability of the Abstract Thermoelastic System with Singularity

abstract: In this paper, we analyze an abstract thermoelastic system, where the heat conduction follows the Cattaneo law. Zero becomes a spectrum point of the system operator when the coupling and thermal damping parameters of the system satisfy specific conditions. We obtain the decay rates of solutions to the system with or without the inertial term. Furthermore, the decay rate of the system without inertial terms is shown to be optimal.


title: Detecting Compromised IoT Devices Using Autoencoders with Sequential Hypothesis Testing

abstract: IoT devices fundamentally lack built-in security mechanisms to protect themselves from security attacks. Existing works on improving IoT security mostly focus on detecting anomalous behaviors of IoT devices. However, these existing anomaly detection schemes may trigger an overwhelmingly large number of false alerts, rendering them unusable in detecting compromised IoT devices. In this paper we develop an effective and efficient framework, named CUMAD, to detect compromised IoT devices. Instead of directly relying on individual anomalous events, CUMAD aims to accumulate sufficient evidence in detecting compromised IoT devices, by integrating an autoencoder-based anomaly detection subsystem with a sequential probability ratio test (SPRT)-based sequential hypothesis testing subsystem. CUMAD can effectively reduce the number of false alerts in detecting compromised IoT devices, and moreover, it can detect compromised IoT devices quickly. Our evaluation studies based on the public-domain N-BaIoT dataset show that CUMAD can on average reduce the false positive rate from about 3.57% using only the autoencoder-based anomaly detection scheme to about 0.5%; in addition, CUMAD can detect compromised IoT devices quickly, with less than 5 observations on average.


title: A Complete System for Automated 3D Semantic-Geometric Mapping of Corrosion in Industrial Environments

abstract: Corrosion, a naturally occurring process leading to the deterioration of metallic materials, demands diligent detection for quality control and the preservation of metal-based objects, especially within industrial contexts. Traditional techniques for corrosion identification, including ultrasonic testing, radio-graphic testing, and magnetic flux leakage, necessitate the deployment of expensive and bulky equipment on-site for effective data acquisition. An unexplored alternative involves employing lightweight, conventional camera systems, and state-of-the-art computer vision methods for its identification. In this work, we propose a complete system for semi-automated corrosion identification and mapping in industrial environments. We leverage recent advances in LiDAR-based methods for localization and mapping, with vision-based semantic segmentation deep learning techniques, in order to build semantic-geometric maps of industrial environments. Unlike previous corrosion identification systems available in the literature, our designed multi-modal system is low-cost, portable, semi-autonomous and allows collecting large datasets by untrained personnel. A set of experiments in an indoor laboratory environment, demonstrate quantitatively the high accuracy of the employed LiDAR based 3D mapping and localization system, with less then $0.05m$ and 0.02m average absolute and relative pose errors. Also, our data-driven semantic segmentation model, achieves around 70\% precision when trained with our pixel-wise manually annotated dataset.


title: A sustainable development perspective on urban-scale roof greening priorities and benefits

abstract: Greenspaces are tightly linked to human well-being. Yet, rapid urbanization has exacerbated greenspace exposure inequality and declining human life quality. Roof greening has been recognized as an effective strategy to mitigate these negative impacts. Understanding priorities and benefits is crucial to promoting green roofs. Here, using geospatial big data, we conduct an urban-scale assessment of roof greening at a single building level in Hong Kong from a sustainable development perspective. We identify that 85.3\% of buildings reveal potential and urgent demand for roof greening. We further find green roofs could increase greenspace exposure by \textasciitilde61\% and produce hundreds of millions (HK\$) in economic benefits annually but play a small role in urban heat mitigation (\textasciitilde0.15\degree{C}) and annual carbon emission offsets (\textasciitilde0.8\%). Our study offers a comprehensive assessment of roof greening, which could provide reference for sustainable development in cities worldwide, from data utilization to solutions and findings.


title: PV-S3: Advancing Automatic Photovoltaic Defect Detection using Semi-Supervised Semantic Segmentation of Electroluminescence Images

abstract: Photovoltaic (PV) systems allow us to tap into all abundant solar energy, however they require regular maintenance for high efficiency and to prevent degradation. Traditional manual health check, using Electroluminescence (EL) imaging, is expensive and logistically challenging making automated defect detection essential. Current automation approaches require extensive manual expert labeling, which is time-consuming, expensive, and prone to errors. We propose PV-S3 (Photovoltaic-Semi Supervised Segmentation), a Semi-Supervised Learning approach for semantic segmentation of defects in EL images that reduces reliance on extensive labeling. PV-S3 is a Deep learning model trained using a few labeled images along with numerous unlabeled images. We introduce a novel Semi Cross-Entropy loss function to train PV-S3 which addresses the challenges specific to automated PV defect detection, such as diverse defect types and class imbalance. We evaluate PV-S3 on multiple datasets and demonstrate its effectiveness and adaptability. With merely 20% labeled samples, we achieve an absolute improvement of 9.7% in IoU, 29.9% in Precision, 12.75% in Recall, and 20.42% in F1-Score over prior state-of-the-art supervised method (which uses 100% labeled samples) on UCF-EL dataset (largest dataset available for semantic segmentation of EL images) showing improvement in performance while reducing the annotation costs by 80%.


title: Solute segregation in polycrystalline aluminum from hybrid Monte Carlo and molecular dynamics simulations with a unified neuroevolution potential

abstract: One of the most effective methods to enhance the strength of aluminum alloys involves modifying grain boundaries (GBs) through solute segregation. However, the fundamental mechanisms of solute segregation and their impacts on material properties remain elusive. In this study, we implemented highly efficient hybrid Monte Carlo and molecular dynamics (MCMD) algorithms in the graphics process units molecular dynamics (GPUMD) package. Using this efficient MCMD approach combined with a general-purpose machine-learning-based neuroevolution potential (NEP) for 16 elemental metals and their alloys, we simulated the segregation of 15 solutes in polycrystalline Al. Our results elucidate the segregation behavior and trends of 15 solutes in polycrystalline Al. Additionally, we investigated the impact of solutes on the strength of polycrystalline Al. The mechanisms underlying solute strengthening and embrittlement were analyzed at the atomistic level, revealing the importance of GB cohesion, as well as the nucleation and movement of Shockley dislocations, in determining the material's strength. We anticipate that our developed methods, along with our insights into solute segregation behavior in polycrystalline Al, will be valuable for the design of Al alloys and other multi-component materials, including medium-entropy materials, high-entropy materials, and complex concentrated alloys.


title: Tunable Nanoislands Decorated Tapered Optical Fibers Reveal Concurrent Contributions in Through-Fiber SERS Detection

abstract: Creating plasmonic nanoparticles on a tapered optical fiber tip enables a remote SERS sensing probe, ideal for challenging sampling scenarios like biological tissue, specific cells, on-site environmental monitoring, and deep brain structures. However, nanoparticle patterns fabricated from current bottom-up methods are mostly random, making geometry control difficult. Uneven statistical distribution, clustering, and multilayer deposition introduce uncertainty in correlating device performance with morphology. Here, we employ a tunable solid-state dewetting method to create densely packed monolayer Au nanoislands (NIs) with varied geometric parameters, directly contacting the silica TF surface. These patterns exhibit analyzable nanoparticle sizes, densities, and uniform distribution across the entire taper surface, enabling a systematic investigation of particle size, density, and analyte effects on the SERS performance of the through-fiber detection system. The study is focused on the SERS response of a widely employed benchmark Rhodamine 6G molecule and Serotonin, a neurotransmitter with high relevance for the neuroscience field. The numerical simulations and limit of detection (LOD) experiments on R6G show that the increase of the total near-field enhancement volume promotes the SERS sensitivity of the probe. However, for serotonin we observed a different behavior linked to its interaction with the nanoparticle's surface. The obtained LOD is as low as 10-7 M, a value not achieved so far in a through-fiber detection scheme. Therefore, we believe our work offers a strategy to design nanoparticle-based remote SERS sensing probes and provide new clues to discover and understand the intricate plasmonic-driven chemical reactions.


title: Clio: Real-time Task-Driven Open-Set 3D Scene Graphs

abstract: Modern tools for class-agnostic image segmentation (e.g., SegmentAnything) and open-set semantic understanding (e.g., CLIP) provide unprecedented opportunities for robot perception and mapping. While traditional closed-set metric-semantic maps were restricted to tens or hundreds of semantic classes, we can now build maps with a plethora of objects and countless semantic variations. This leaves us with a fundamental question: what is the right granularity for the objects (and, more generally, for the semantic concepts) the robot has to include in its map representation? While related work implicitly chooses a level of granularity by tuning thresholds for object detection, we argue that such a choice is intrinsically task-dependent. The first contribution of this paper is to propose a task-driven 3D scene understanding problem, where the robot is given a list of tasks in natural language and has to select the granularity and the subset of objects and scene structure to retain in its map that is sufficient to complete the tasks. We show that this problem can be naturally formulated using the Information Bottleneck (IB), an established information-theoretic framework. The second contribution is an algorithm for task-driven 3D scene understanding based on an Agglomerative IB approach, that is able to cluster 3D primitives in the environment into task-relevant objects and regions and executes incrementally. The third contribution is to integrate our task-driven clustering algorithm into a real-time pipeline, named Clio, that constructs a hierarchical 3D scene graph of the environment online using only onboard compute, as the robot explores it. Our final contribution is an extensive experimental campaign showing that Clio not only allows real-time construction of compact open-set 3D scene graphs, but also improves the accuracy of task execution by limiting the map to relevant semantic concepts.


title: Should Teleoperation Be like Driving in a Car? Comparison of Teleoperation HMIs

abstract: Since Automated Driving Systems are not expected to operate flawlessly, Automated Vehicles will require human assistance in certain situations. For this reason, teleoperation offers the opportunity for a human to be remotely connected to the vehicle and assist it. The Remote Operator can provide extensive support by directly controlling the vehicle, eliminating the need for Automated Driving functions. However, due to the physical disconnection to the vehicle, monitoring and controlling is challenging compared to driving in the vehicle. Therefore, this work follows the approach of simplifying the task for the Remote Operator by separating the path and velocity input. In a study using a miniature vehicle, different operator-vehicle interactions and input devices were compared based on collisions, task completion time, usability and workload. The evaluation revealed significant differences between the three implemented prototypes using a steering wheel, mouse and keyboard or a touchscreen. The separate input of path and velocity via mouse and keyboard or touchscreen is preferred but is slower compared to parallel input via steering wheel.


title: Resampling-free Particle Filters in High-dimensions

abstract: State estimation is crucial for the performance and safety of numerous robotic applications. Among the suite of estimation techniques, particle filters have been identified as a powerful solution due to their non-parametric nature. Yet, in high-dimensional state spaces, these filters face challenges such as 'particle deprivation' which hinders accurate representation of the true posterior distribution. This paper introduces a novel resampling-free particle filter designed to mitigate particle deprivation by forgoing the traditional resampling step. This ensures a broader and more diverse particle set, especially vital in high-dimensional scenarios. Theoretically, our proposed filter is shown to offer a near-accurate representation of the desired posterior distribution in high-dimensional contexts. Empirically, the effectiveness of our approach is underscored through a high-dimensional synthetic state estimation task and a 6D pose estimation derived from videos. We posit that as robotic systems evolve with greater degrees of freedom, particle filters tailored for high-dimensional state spaces will be indispensable.


title: Exponential Quantum One-Wayness and EFI Pairs

abstract: In classical cryptography, one-way functions are widely considered to be the minimal computational assumption. However, when taking quantum information into account, the situation is more nuanced. There are currently two major candidates for the minimal assumption: the search quantum generalization of one-way functions are one-way state generators (OWSG), whereas the decisional variant are EFI pairs. A well-known open problem in quantum cryptography is to understand how these two primitives are related. A recent breakthrough result of Khurana and Tomer (STOC'24) shows that OWSGs imply EFI pairs, for the restricted case of pure states. In this work, we make progress towards understanding the general case. To this end, we define the notion of inefficiently-verifiable one-way state generators (IV-OWSGs), where the verification algorithm is not required to be efficient, and show that these are precisely equivalent to EFI pairs, with an exponential loss in the reduction. Significantly, this equivalence holds also for mixed states. Thus our work establishes the following relations among these fundamental primitives of quantum cryptography: (mixed) OWSGs => (mixed) IV-OWSGs $\equiv_{\rm exp}$ EFI pairs, where $\equiv_{\rm exp}$ denotes equivalence up to exponential security of the primitives.


title: A short review of the pulsar magnetic inclination angles (II)

abstract: The pulsar magnetic inclination angle is a key parameter for pulsar physics. It influences the observable properties of pulsars, such as the pulse beam width, braking index, polarisation, and emission geometry. In this study, we give a brief overview of the current state of knowledge and research on this parameter and its implications for the internal physics of pulsars. We use the observed pulsar data of magnetic inclination angle and braking index to constrain the star's number of precession cycles, $\xi$, which reflects the interaction between superfluid neutrons and other particles inside a neutron star\,(NS). We apply the method proposed by Cheng et al. (2019) to analyse the data of PSR J2013+3845 and obtain the constraints for $\xi$ ranging from $2.393\times 10^{5}$ to $1.268\times10^{6}$. And further analysis suggests that the internal magnetic field structure of PSR J2013+3845 is likely dominated by toroidal component. This study may help us understand the process of internal viscous dissipation and the related evolution of the inclination angles of pulsars, and may have important implications for the study of continuous gravitational wave emissions from NS.


title: Semantic-Rearrangement-Based Multi-Level Alignment for Domain Generalized Segmentation

abstract: Domain generalized semantic segmentation is an essential computer vision task, for which models only leverage source data to learn the capability of generalized semantic segmentation towards the unseen target domains. Previous works typically address this challenge by global style randomization or feature regularization. In this paper, we argue that given the observation that different local semantic regions perform different visual characteristics from the source domain to the target domain, methods focusing on global operations are hard to capture such regional discrepancies, thus failing to construct domain-invariant representations with the consistency from local to global level. Therefore, we propose the Semantic-Rearrangement-based Multi-Level Alignment (SRMA) to overcome this problem. SRMA first incorporates a Semantic Rearrangement Module (SRM), which conducts semantic region randomization to enhance the diversity of the source domain sufficiently. A Multi-Level Alignment module (MLA) is subsequently proposed with the help of such diversity to establish the global-regional-local consistent domain-invariant representations. By aligning features across randomized samples with domain-neutral knowledge at multiple levels, SRMA provides a more robust way to handle the source-target domain gap. Extensive experiments demonstrate the superiority of SRMA over the current state-of-the-art works on various benchmarks.


title: Learning Galaxy Intrinsic Alignment Correlations

abstract: The intrinsic alignments (IA) of galaxies, regarded as a contaminant in weak lensing analyses, represents the correlation of galaxy shapes due to gravitational tidal interactions and galaxy formation processes. As such, understanding IA is paramount for accurate cosmological inferences from weak lensing surveys; however, one limitation to our understanding and mitigation of IA is expensive simulation-based modeling. In this work, we present a deep learning approach to emulate galaxy position-position ($\xi$), position-orientation ($\omega$), and orientation-orientation ($\eta$) correlation function measurements and uncertainties from halo occupation distribution-based mock galaxy catalogs. We find strong Pearson correlation values with the model across all three correlation functions and further predict aleatoric uncertainties through a mean-variance estimation training procedure. $\xi(r)$ predictions are generally accurate to $\leq10\%$. Our model also successfully captures the underlying signal of the noisier correlations $\omega(r)$ and $\eta(r)$, although with a lower average accuracy. We find that the model performance is inhibited by the stochasticity of the data, and will benefit from correlations averaged over multiple data realizations. Our code will be made open source upon journal publication.


title: Classical solutions of a mean field system for pulse-coupled oscillators: long time asymptotics versus blowup

abstract: We introduce a novel reformulation of the mean-field system for pulse-coupled oscillators. It is based on writing a closed equation for the inverse distribution function associated to the probability density of oscillators with a given phase in a suitable time scale. This new framework allows to show a hidden contraction/expansion of certain distances leading to a full clarification of the long-time behavior, existence of steady states, rates of convergence, and finite time blow-up of classical solutions for a large class of monotone phase response functions. In the process, we get insights about the origin of obstructions to global-in-time existence and uniform in time estimates on the firing rate of the oscillators.


title: PEMMA: Parameter-Efficient Multi-Modal Adaptation for Medical Image Segmentation

abstract: Imaging modalities such as Computed Tomography (CT) and Positron Emission Tomography (PET) are key in cancer detection, inspiring Deep Neural Networks (DNN) models that merge these scans for tumor segmentation. When both CT and PET scans are available, it is common to combine them as two channels of the input to the segmentation model. However, this method requires both scan types during training and inference, posing a challenge due to the limited availability of PET scans, thereby sometimes limiting the process to CT scans only. Hence, there is a need to develop a flexible DNN architecture that can be trained/updated using only CT scans but can effectively utilize PET scans when they become available. In this work, we propose a parameter-efficient multi-modal adaptation (PEMMA) framework for lightweight upgrading of a transformer-based segmentation model trained only on CT scans to also incorporate PET scans. The benefits of the proposed approach are two-fold. Firstly, we leverage the inherent modularity of the transformer architecture and perform low-rank adaptation (LoRA) of the attention weights to achieve parameter-efficient adaptation. Secondly, since the PEMMA framework attempts to minimize cross modal entanglement, it is possible to subsequently update the combined model using only one modality, without causing catastrophic forgetting of the other modality. Our proposed method achieves comparable results with the performance of early fusion techniques with just 8% of the trainable parameters, especially with a remarkable +28% improvement on the average dice score on PET scans when trained on a single modality.


title: Controlling quantum vortex dynamics and vortex-antivortex annihilation in Bose-Einstein condensates with optical lattices

abstract: Superfluids with strong spatial modulation can be experimentally produced in the area of cold atoms under the influence of optical lattices. Here we address $^{87}$Rb bosons at T=0 K in a flat geometry under the influence of a periodic potential with the Gross-Pitaevskii theory. The statics and dynamics of vortex excitations are studied in the case of one dimensional (1D) and of two dimensional (2D) optical lattices, as function of the intensity of the optical lattice. We compute how the vortex energy depends on the position of its core and the energy barrier that a vortex has to surmount in order to move in the superfluid. The dynamics of a vortex dipole, a pair of vortices of opposite chirality, differ profoundly from the case of a uniform superfluid. In the 1D case, when parallel ridges of density are present, the dynamics depends on the positions of the two vortices. If they are in the same channel between two ridges, then the two vortices approach each other until they annihilate each other in a short time. If the two vortices are in distinct channels the dipole undergoes a rigid translation but with a velocity depending on the intensity of the optical lattice and this translation velocity can even change sign with respect to the case of the uniform superfluid. Superimposed on this translation an oscillatory motion is also present. These oscillatory motions can be both longitudinal, i.e. along the channel, as well as transverse. In all cases the transverse motions are one-side, in the sense that the vortex core never crosses the equilibrium position nearest the starting position. In the case of the 2D lattices we study (square, triangular and honeycomb), the two vortices of a dipole move mainly by jumps between equilibrium positions and approach each other until annihilation.


title: Concept Arithmetics for Circumventing Concept Inhibition in Diffusion Models

abstract: Motivated by ethical and legal concerns, the scientific community is actively developing methods to limit the misuse of Text-to-Image diffusion models for reproducing copyrighted, violent, explicit, or personal information in the generated images. Simultaneously, researchers put these newly developed safety measures to the test by assuming the role of an adversary to find vulnerabilities and backdoors in them. We use compositional property of diffusion models, which allows to leverage multiple prompts in a single image generation. This property allows us to combine other concepts, that should not have been affected by the inhibition, to reconstruct the vector, responsible for target concept generation, even though the direct computation of this vector is no longer accessible. We provide theoretical and empirical evidence why the proposed attacks are possible and discuss the implications of these findings for safe model deployment. We argue that it is essential to consider all possible approaches to image generation with diffusion models that can be employed by an adversary. Our work opens up the discussion about the implications of concept arithmetics and compositional inference for safety mechanisms in diffusion models. Content Advisory: This paper contains discussions and model-generated content that may be considered offensive. Reader discretion is advised. Project page: https://cs-people.bu.edu/vpetsiuk/arc


title: Robust inference for the unification of confidence intervals in meta-analysis

abstract: Traditional meta-analysis assumes that the effect sizes estimated in individual studies follow a Gaussian distribution. However, this distributional assumption is not always satisfied in practice, leading to potentially biased results. In the situation when the number of studies, denoted as K, is large, the cumulative Gaussian approximation errors from each study could make the final estimation unreliable. In the situation when K is small, it is not realistic to assume the random-effect follows Gaussian distribution. In this paper, we present a novel empirical likelihood method for combining confidence intervals under the meta-analysis framework. This method is free of the Gaussian assumption in effect size estimates from individual studies and from the random-effects. We establish the large-sample properties of the non-parametric estimator, and introduce a criterion governing the relationship between the number of studies, K, and the sample size of each study, n_i. Our methodology supersedes conventional meta-analysis techniques in both theoretical robustness and computational efficiency. We assess the performance of our proposed methods using simulation studies, and apply our proposed methods to two examples.


title: Vector-substrate-based Josephson junctions

abstract: We present a way to We present a way to fabricate bicrystal Josephson junctions of high-Tc cuprate superconductors that does not require bulk bicrystalline substrates. Based on vector substrate technology, this novel approach makes use of a few tens-of-nanometers-thick bicrystalline membranes transferred onto conventional substrates.We demonstrate 24{\deg} YBa2Cu3O7-x Josephson junctions fabricated on sapphire single crystals by utilizing 10-nm-thick bicrystalline membranes of SrTiO3. This technique allows one to manufacture bicrystalline Josephson junctions of high-Tc superconductors on a large variety of bulk substrate materials, providing novel degrees of freedom in designing the junctions and their electronic properties. It furthermore offers the capability to replace the fabrication of bulk bicrystalline substrates with thin-film growth methods


title: Absolute moments of the variance-gamma distribution

abstract: We obtain exact formulas for the absolute raw and central moments of the variance-gamma distribution, as infinite series involving the modified Bessel function of the second kind and the modified Lommel function of the first kind. When the skewness parameter is equal to zero (the symmetric variance-gamma distribution), the infinite series reduces to a single term. Moreover, for the case that the shape parameter is a half-integer (in our parameterisation of the variance-gamma distribution), we obtain a closed-form expression for the absolute moments in terms of confluent hypergeometric functions. As a consequence, we deduce new exact formulas for the absolute raw and central moments of the asymmetric Laplace distribution and the product of two correlated zero mean normal random variables, and more generally the sum of independent copies of such random variables.


title: SVGEditBench: A Benchmark Dataset for Quantitative Assessment of LLM's SVG Editing Capabilities

abstract: Text-to-image models have shown progress in recent years. Along with this progress, generating vector graphics from text has also advanced. SVG is a popular format for vector graphics, and SVG represents a scene with XML text. Therefore, Large Language Models can directly process SVG code. Taking this into account, we focused on editing SVG with LLMs. For quantitative evaluation of LLMs' ability to edit SVG, we propose SVGEditBench. SVGEditBench is a benchmark for assessing the LLMs' ability to edit SVG code. We also show the GPT-4 and GPT-3.5 results when evaluated on the proposed benchmark. In the experiments, GPT-4 showed superior performance to GPT-3.5 both quantitatively and qualitatively. The dataset is available at https://github.com/mti-lab/SVGEditBench.


title: ArtNeRF: A Stylized Neural Field for 3D-Aware Cartoonized Face Synthesis

abstract: Recent advances in generative visual models and neural radiance fields have greatly boosted 3D-aware image synthesis and stylization tasks. However, previous NeRF-based work is limited to single scene stylization, training a model to generate 3D-aware cartoon faces with arbitrary styles remains unsolved. We propose ArtNeRF, a novel face stylization framework derived from 3D-aware GAN to tackle this problem. In this framework, we utilize an expressive generator to synthesize stylized faces and a triple-branch discriminator module to improve the visual quality and style consistency of the generated faces. Specifically, a style encoder based on contrastive learning is leveraged to extract robust low-dimensional embeddings of style images, empowering the generator with the knowledge of various styles. To smooth the training process of cross-domain transfer learning, we propose an adaptive style blending module which helps inject style information and allows users to freely tune the level of stylization. We further introduce a neural rendering module to achieve efficient real-time rendering of images with higher resolutions. Extensive experiments demonstrate that ArtNeRF is versatile in generating high-quality 3D-aware cartoon faces with arbitrary styles.


title: The Lambda-CDM-NG cosmological model: A possible resolution of the Hubble tension

abstract: This paper is based on two insights: (1) that general relativity alone does not specify how much of the matter density contributes to the source term in Friedmann's equation, and how much contributes as the source of the gravitational potential of condensed objects; and (2) the source of the gravitational potential in the currently accepted cosmological model, for the small scales of condensed objects, is not what one would expect from Newtonian theory. Here insight (1) is used to restore the source of the gravitational potential to its Newtonian value, giving a new cosmological model. This model uses only conventional general relativity (no speculative physics) and the usual cosmological sources of gravitation, and there is no Hubble tension in this model if the total gravitational potential of condensed objects falls in a certain range. The deceleration parameter in the new model differs from that in the currently favored onel, suggesting a test to distinguish between the two models.


title: Efficiency analysis for the Perron vector of a reciprocal matrix

abstract: In prioritization schemes, based on pairwise comparisons, such as the Analytical Hierarchy Process, it is necessary to extract a cardinal ranking vector from a reciprocal matrix that is unlikely to be consistent. It is natural to choose such a vector only from efficient ones. One of the most used ranking methods employs the (right) Perron eigenvector of the reciprocal matrix as the vector of weights. It is known that the Perron vector may not be efficient. Here, we focus on extending arbitrary reciprocal matrices and show, constructively, that two different extensions of any fixed size always exist for which the Perron vector is inefficient and for which it is efficient, with the following exception. If B is consistent, any reciprocal matrix obtained from B by adding one row and one column has efficient Perron vector. As a consequence of our results, we obtain families of reciprocal matrices for which the Perron vector is inefficient. These include known classes of such matrices and many more. We also characterize the 4-by-4 reciprocal matrices with inefficient Perron vector. Some prior results are generalized or completed.


title: Self-Adjusting Prescribed Performance Control for Nonlinear Systems with Input Saturation

abstract: Among the existing works on enhancing system performance via prescribed performance functions (PPFs), the decay rates of PPFs need to be predetermined by the designer, directly affecting the convergence time of the closed-loop system. However, if only considering accelerating the system convergence by selecting a big decay rate of the performance function, it may lead to the severe consequence of closed-loop system failure when considering the prevalent actuator saturation in practical scenarios. To address this issue, this work proposes a control scheme that can flexibly self-adjust the convergence rates of the performance functions (PFs), aiming to achieve faster steady-state convergence while avoiding the risk of error violation beyond the PFs' envelopes, which may arise from input saturation and improper decay rate selection in traditional prescribed performance control (PPC) methods. Specifically, a performance index function (PIF) is introduced as a reference criterion, based on which the self-adjusting rates of the PFs are designed for different cases, exhibiting the following appealing features: 1) It can eliminate the need to prespecify the initial values of the PFs. In addition, it can also accommodate arbitrary magnitudes of initial errors while avoiding excessive initial control efforts. 2) Considering actuator saturation, this method can not only reduce the decay rates of the PFs when necessary to avoid violation of the PFs, but also increase the decay rates to accelerate system convergence when there is remaining control capacity. Finally, several numerical simulations are conducted to confirm the effectiveness and superiority of the proposed method.


title: TF2AIF: Facilitating development and deployment of accelerated AI models on the cloud-edge continuum

abstract: The B5G/6G evolution relies on connect-compute technologies and highly heterogeneous clusters with HW accelerators, which require specialized coding to be efficiently utilized. The current paper proposes a custom tool for generating multiple SW versions of a certain AI function input in high-level language, e.g., Python TensorFlow, while targeting multiple diverse HW+SW platforms. TF2AIF builds upon disparate tool-flows to create a plethora of relative containers and enable the system orchestrator to deploy the requested function on any peculiar node in the cloud-edge continuum, i.e., to leverage the performance/energy benefits of the underlying HW upon any circumstances. TF2AIF fills an identified gap in today's ecosystem and facilitates research on resource management or automated operations, by demanding minimal time or expertise from users.


title: Variable-Stepsize Implicit Peer Triplets in ODE Constrained Optimal Control

abstract: This paper is concerned with the theory, construction and application of implicit Peer two-step methods that are super-convergent for variable stepsizes, i.e., preserve their classical order achieved for uniform stepsizes when applied to ODE constrained optimal control problems in a first-discretize-then-optimize setting. We upgrade our former implicit two-step Peer triplets constructed in [Algorithms, 15:310, 2022] to get ready for dynamical systems with varying time scales without loosing efficiency. Peer triplets consist of a standard Peer method for interior time steps supplemented by matching methods for the starting and end steps. A decisive advantage of Peer methods is their absence of order reduction since they use stages of the same high stage order. The consistency analysis of variable-stepsize implicit Peer methods results in additional order conditions and severe new difficulties for uniform zero-stability, which intensifies the demands on the Peer triplet. Further, we discuss the construction of 4-stage methods with order pairs (4,3) and (3,3) for state and adjoint variables in detail and provide four Peer triplets of practical interest. We rigorously prove convergence of order $s-1$ for $s$-stage Peer methods applied on grids with bounded or smoothly changing stepsize ratios. Numerical tests show the expected order of convergence for the new variable-stepsize Peer triplets.


title: Invariant manifolds in a reversible Hamiltonian system: the tentacle-like geometry

abstract: We study a one-parameter family of time-reversible Hamiltonian vector fields in $\mathbb{R}^4$, which has received great attention in the literature. On the one hand, it is due to the role it plays in the context of certain applications in the field of Physics or Engineering and, on the other hand, we especially highlight its relevance within the framework of generic unfoldings of the four-dimensional nilpotent singularity of codimension four. The system exhibits a bifocal equilibrium point for a range of parameter values. The associated two-dimensional invariant manifolds, stable and unstable, fold into the phase space in such a way that they produce intricate patterns. This entangled geometry has previously been called \textit{tentacular geometry}. We consider a three-dimensional level set containing the bifocal equilibrium point to gain insight into the folding behavior of these invariant manifolds. Our method consists of describing the traces left by invariant manifolds when crossing an invariant cross section by the reversibility map. With this new approach, we provide a better understanding of how tentacular geometry evolves with respect to the parameter. Our techniques enables us to link the tentacular geometry on the cross section with the study of cocooning cascades of homoclinic tangencies. Indeed, we present a general theory to extend to $\mathbb{R}^4$ the phenomena related to cocoon bifurcation that classically develop within families of three-dimensional reversible vector fields. On the basis of these results, we conjecture the existence of heteroclinic cycles consisting of two orbits connecting the bifocus with a saddle node periodic orbit.


title: Meixner random variables and their quantum operators

abstract: We find the position-momentum decomposition of the quantum operators of the classic Meixner random variables. The position-momentum decomposition involves translation operators, which are used to give a new characterization of the Meixner random variables.


title: A Practical Multilevel Governance Framework for Autonomous and Intelligent Systems

abstract: Autonomous and intelligent systems (AIS) facilitate a wide range of beneficial applications across a variety of different domains. However, technical characteristics such as unpredictability and lack of transparency, as well as potential unintended consequences, pose considerable challenges to the current governance infrastructure. Furthermore, the speed of development and deployment of applications outpaces the ability of existing governance institutions to put in place effective ethical-legal oversight. New approaches for agile, distributed and multilevel governance are needed. This work presents a practical framework for multilevel governance of AIS. The framework enables mapping actors onto six levels of decision-making including the international, national and organizational levels. Furthermore, it offers the ability to identify and evolve existing tools or create new tools for guiding the behavior of actors within the levels. Governance mechanisms enable actors to shape and enforce regulations and other tools, which when complemented with good practices contribute to effective and comprehensive governance.


title: Transverse structure of the proton beyond leading twist: A light-front Hamiltonian approach

abstract: Within the Basis Light-Front Quantization framework, we systematically investigate the subleading twist (twist-3) transverse-momentum-dependent parton distribution functions (TMDs) of the proton beyond the Wandzura-Wilczek (WW) approximation. The subleading twist TMDs are not independent and can be decomposed into twist-2 and genuine twist-3 terms from the equations of motion. The latter involves quark-quark-gluon correlations and contains interferences between two light-front Fock sectors, $|qqq\rangle$ and $|qqqg\rangle$, which are usually neglected in the WW approximation.


title: The Framework of a Design Process Language

abstract: The thesis develops a view of design in a concept formation framework and outlines a language to describe both the object of the design and the process of designing. The unknown object at the outset of the design work may be seen as an unknown concept that the designer is to define. Throughout the process, she develops a description of this object by relating it to known concepts. The search stops when the designer is satisfied that the design specification is complete enough to satisfy the requirements from it once built. It is then a collection of propositions that all contribute towards defining the design object - a collection of sentences describing relationships between the object and known concepts. Also, the design process itself may be described by relating known concepts - by organizing known abilities into particular patterns of activation, or mobilization. In view of the demands posed to a language to use in this concept formation process, the framework of a Design Process Language (DPL) is developed. The basis for the language are linguistic categories that act as classes of relations used to combine concepts, containing relations used for describing process and object within the same general system, with some relations being process specific, others being object specific, and with the bulk being used both for process and object description. Another outcome is the distinction of modal relations, or relations describing futurity, possibility, willingness, hypothetical events, and the like. The design process almost always includes aspects such as these, and it is thus necessary for a language facilitating design process description to support such relationships to be constructed. The DPL is argued to be a foundation whereupon to build a language that can be used for enabling computers to be more useful - act more intelligently - in the design process.


title: MatInf -- an Extensible Open-Source Solution for Research Digitalisation in Materials Science

abstract: Information technology and data science development stimulate transformation in many fields of scientific knowledge. In recent years, a large number of specialized systems for information and knowledge management have been created in materials science. However, the development and deployment of open adaptive systems for research support in materials science based on the acquisition, storage, and processing of different types of information remains unsolved. We propose MatInf - an extensible, open-source solution for research digitalisation in materials science based on an adaptive, flexible information management system for heterogeneous data sources. MatInf can be easily adapted to any materials science laboratory and is especially useful for collaborative projects between several labs. As an example, we demonstrate its application in high-throughput experimentation.


title: On the integral representation and the Ra\c{s}a, Jensen and Hermite-Hadamard inequalities for box-$(n_1,\ldots, n_d)$-convex functions

abstract: We give the integral representation of box-$(n_1,\ldots, n_d)$-convex fun\-ctions, which are a generalization of Popoviciu's $n$-convex and box-$(m,n)$-convex functions. Based on this integral representation, we obtain the Ra\c{s}a, Jensen and Hermite-Hadamard inequalities for these functions. We extend the results obtained by S. G. Gal, C. P. Niculescu, B. Gavrea, I. Gavrea, A. Komisarski, T. Rajba and T. Popoviciu.


title: Unique multistable states in periodic structures with saturable nonlinearity. I. Conventional case and unbroken $\mathcal{PT}$-symmetric regime

abstract: In this work, we predict that periodic structures without gain and loss do not exhibit an S-shaped hysteresis curve in the presence of saturable nonlinearity (SNL). Instead, the input-output characteristics of the system admit ramp-like optical bistability (OB) and multistability (OM) curves that are unprecedented in the context of conventional periodic structures in the literature. An increase in the nonlinearity (NL) or the gain-loss parameter increases the switch-up and down intensities of different stable branches in a ramp-like OM curve. Revival of the typical S-shaped hysteresis curve requires the device to work under the combined influence of frequency detuning and $\mathcal{PT}$-symmetry. An increase in the detuning, NL and gain-loss parameters reduces the switching intensities of the S-shaped OB (OM) curves. During the process, mixed OM curves that feature a fusion between ramp-like and S-shaped OM curves emanate at low values of the detuning parameter in the input-output characteristics. The detuning parameter values for which ramp-like, S-shaped, and mixed OM appear varies with the NL coefficient. For a given range of input intensities, the number of stable states admitted by the system increases with the device length or NL. When the laser light enters the device from the opposite end of the grating, nonreciprocal switching occurs at ultra-low intensities via an interplay between NL, detuning, and gain-loss parameters.


title: Numerical evidence for a bipartite pure state entanglement witness from approximate analytical diagonalization

abstract: We show numerical evidence for a bipartite $d\times d$ pure state entanglement witness that is readily calculated from the wavefunction coefficients directly, without the need for the numerical computation of eigenvalues. This is accomplished by using an approximate analytic diagonalization of the bipartite state that captures dominant contributions to the negativity of the partially transposed state. We relate this entanglement witness to the Log Negativity, and show that it exactly agrees with it for the class of pure states whose quantum amplitudes form a positive Hermitian matrix. In this case, the Log Negativity is given by the negative logarithm of the purity of the amplitudes consider as a density matrix. In other cases, the witness forms a lower bound to the exact, numerically computed Log Negativity. The formula for the approximate Log Negativity achieves equality with the exact Log Negativity for the case of an arbitrary pure state of two qubits, which we show analytically. We compare these results to a witness of entanglement given by the linear entropy. Finally, we explore an attempt to extend these pure state results to mixed states. We show that the Log Negativity for this approximate formula is exact on the class of pure state decompositions for which the quantum amplitudes of each pure state form a positive Hermitian matrix.


title: Polyharmonic helices

abstract: The main aim of this paper is to investigate the existence of Frenet helices which are polyharmonic of order $r$, shortly, $r$-harmonic. We shall obtain existence, non-existence and classification results. More specifically, we obtain a complete classification of proper $r$-harmonic helices into the $3$-dimensional solvable Lie group Sol$_3$. Next, we investigate the existence of proper $r$-harmonic helices into Bianchi-Cartan-Vranceanu spaces and, in this context, we find new examples. Finally, we shall establish some non-existence results both for Frenet curves and Frenet helices of order $n \geq 4$ when the ambient space is the Euclidean sphere $\s^m$.


title: Conformal measure rigidity and ergodicity of horospherical foliations

abstract: In this paper, we establish a higher rank extension of rigidity theorems of Sullivan, Tukia, Yue, and Kim-Oh for representations of rank one discrete subgroups of divergence type, in terms of the push-forwards of conformal measures via boundary maps. We consider a certain class of higher rank discrete subgroups, which we call hypertransverse subgroups. It includes all rank one discrete subgroups, Anosov subgroups, relatively Anosov subgroups, and their subgroups. Our proof of the rigidity theorem generalizes the idea of Kim-Oh to self-joinings of higher rank hypertransverse subgroups, overcoming the lack of CAT(-1) geometry on symmetric spaces. In contrast to the work of Sullivan, Tukia, and Yue, our argument is closely related to the study of horospherical foliations. We also show the ergodicity of horospherical foliations with respect to Burger-Roblin measures. This generalizes the classical work of Hedlund, Burger, and Roblin in rank one and of Lee-Oh for Borel Ansov subgroups in higher rank.


title: Frequency-dependent returns in nonlinear public goods games

abstract: When individuals interact in groups, the evolution of cooperation is traditionally modeled using the framework of public goods games. Overwhelmingly, these models assume that the return of the public good depends linearly on the fraction of contributors. In contrast, it seems natural that in real life public goods interactions the return most likely depends on the size of the investor pool as well. Here, we consider a model to account for such nonlinearities in which the multiplication factor (marginal per capita return) for the public good depends on how many contribute. We find that nonlinear public goods interactions can break the curse of dominant defection in linear public goods interactions and give rise to richer dynamical outcomes in evolutionary settings. We provide an in-depth analysis of the more varied decisions by the classical rational player in nonlinear public goods interactions as well as a mechanistic, microscopic derivation of the evolutionary outcomes for the stochastic dynamics in finite populations and in the deterministic limit of infinite populations. This kind of nonlinearity provides a natural way to model public goods with diminishing returns as well as economies of scale.


title: Strong Existence and Uniqueness for Singular SDEs Driven by Stable Processes

abstract: We consider the one-dimensional stochastic differential equation \begin{equation*} X_t = x_0 + L_t + \int_0^t \mu(X_s)ds, \quad t \geq 0, \end{equation*} where $\mu$ is a finite measure of Kato class $K_{\eta}$ with $\eta \in (0,\alpha-1]$ and $(L_t)_{t \geq 0}$ is a symmetric $\alpha$-stable process with $\alpha \in (1,2)$. We derive weak and strong well posedness for this equation when $\eta \leq\alpha-1$ and $\eta < \alpha-1$, respectively, and show that the condition $\eta \leq \alpha-1$ is sharp for weak existence. We furthermore reformulate the equation in terms of the local time of the solution $(X_{t})_{t \geq 0}$ and prove its well posedness. To this end, we also derive a Tanaka-type formula for a symmetric, $\alpha$-stable processes with $\alpha \in (1,2)$ that is perturbed by an adapted, right-continuous process of finite variation.


title: Cluster sizes in subcritical soft Boolean models

abstract: We consider the soft Boolean model, a model that interpolates between the Boolean model and long-range percolation, where vertices are given via a stationary Poisson point process. Each vertex carries an independent Pareto-distributed radius and each pair of vertices is assigned another independent Pareto weight with a potentially different tail exponent. Two vertices are now connected if they are within distance of the larger radius multiplied by the edge weight. We determine the tail behaviour of the Euclidean diameter and the number of points of a typical maximally connected component in a subcritical percolation phase. For this, we present a sharp criterion in terms of the tail exponents of the edge-weight and radius distributions that distinguish a regime where the tail behaviour is controlled only by the edge exponent from a regime in which both exponents are relevant. Our proofs rely on fine path-counting arguments identifying the precise order of decay of the probability that far-away vertices are connected.


title: Training-Conditional Coverage Bounds for Uniformly Stable Learning Algorithms

abstract: The training-conditional coverage performance of the conformal prediction is known to be empirically sound. Recently, there have been efforts to support this observation with theoretical guarantees. The training-conditional coverage bounds for jackknife+ and full-conformal prediction regions have been established via the notion of $(m,n)$-stability by Liang and Barber~[2023]. Although this notion is weaker than uniform stability, it is not clear how to evaluate it for practical models. In this paper, we study the training-conditional coverage bounds of full-conformal, jackknife+, and CV+ prediction regions from a uniform stability perspective which is known to hold for empirical risk minimization over reproducing kernel Hilbert spaces with convex regularization. We derive coverage bounds for finite-dimensional models by a concentration argument for the (estimated) predictor function, and compare the bounds with existing ones under ridge regression.


title: Temporal and dosimetric beam monitoring of individual pulses in FLASH Radiotherapy using Timepix3 pixelated detector placed out-of-field

abstract: FLASH radiotherapy necessitates the development of advanced Quality Assurance methods and detectors for accurate and online monitoring of the radiation field. This study introduces enhanced time-resolution detection systems and methods tailored for single-pulse detection. The goal of this work was to measure the delivered number of pulses, investigate temporal structure of individual pulses, and to develop a method for dose-per-pulse (DPP) monitoring based on secondary radiation particles produced in the experimental room. A 20 MeV electron beam generated from a linear accelerator (LINAC) was delivered to a water phantom. Ultra-high dose-per-pulse (UHDPP) electron beams were used with a dose per pulse ranging from 1 Gy to over 7 Gy. The pulse lengths ranged from 1.18 us to 2.88 us at a pulse rate frequency of 5 Hz. A semiconductor pixel detector Timepix3 (TPX3) was used to track direct interactions in the Silicon sensor created by single secondary particles. Measurements were performed in the air, while the detector was positioned out-of-field at a lateral distance of 200 cm parallel with the LINAC exit window. The dose deposited in the silicon was measured along with the pulse length and the nanostructure of the pulse. Simultaneously deposited energy and time of arrival of single particles were measured with a precision of 1.56 ns. The measured pulse count agreed with the delivered values. A linear response (R^2 = 0.999) was established between the delivered beam current and the measured dose at the detector position (orders of nGy). The difference between the average measured and average delivered pulse length was 0.003(30) us. This simple non-invasive method, exhibits no limitations on the delivered DPP within the range used during this investigation. It enhances the precision and real-time monitoring of FLASH treatment plans with nanosecond precision.


title: Elucidating the Design Space of Dataset Condensation

abstract: Dataset condensation, a concept within data-centric learning, efficiently transfers critical attributes from an original dataset to a synthetic version, maintaining both diversity and realism. This approach significantly improves model training efficiency and is adaptable across multiple application areas. Previous methods in dataset condensation have faced challenges: some incur high computational costs which limit scalability to larger datasets (e.g., MTT, DREAM, and TESLA), while others are restricted to less optimal design spaces, which could hinder potential improvements, especially in smaller datasets (e.g., SRe2L, G-VBSM, and RDED). To address these limitations, we propose a comprehensive design framework that includes specific, effective strategies like implementing soft category-aware matching and adjusting the learning rate schedule. These strategies are grounded in empirical evidence and theoretical backing. Our resulting approach, Elucidate Dataset Condensation (EDC), establishes a benchmark for both small and large-scale dataset condensation. In our testing, EDC achieves state-of-the-art accuracy, reaching 48.6% on ImageNet-1k with a ResNet-18 model at an IPC of 10, which corresponds to a compression ratio of 0.78%. This performance exceeds those of SRe2L, G-VBSM, and RDED by margins of 27.3%, 17.2%, and 6.6%, respectively.


title: Curvature and sharp growth rates of log-quasimodes on compact manifolds

abstract: We obtain new optimal estimates for the $L^2(M)\to L^q(M)$, $q\in (2,q_c]$, $q_c=2(n+1)/(n-1)$, operator norms of spectral projection operators associated with spectral windows $[\lambda,\lambda+\delta(\lambda)]$, with $\delta(\lambda)=O((\log\lambda)^{-1})$ on compact Riemannian manifolds $(M,g)$ of dimension $n\ge2$ all of whose sectional curvatures are nonpositive or negative. We show that these two different types of estimates are saturated on flat manifolds or manifolds all of whose sectional curvatures are negative. This allows us to classify compact space forms in terms of the size of $L^q$-norms of quasimodes for each Lebesgue exponent $q\in (2,q_c]$, even though it is impossible to distinguish between ones of negative or zero curvature sectional curvature for any $q>q_c$.


title: Identification and Estimation of Nonseparable Triangular Equations with Mismeasured Instruments

abstract: In this paper, I study the nonparametric identification and estimation of the marginal effect of an endogenous variable $X$ on the outcome variable $Y$, given a potentially mismeasured instrument variable $W^*$, without assuming linearity or separability of the functions governing the relationship between observables and unobservables. To address the challenges arising from the co-existence of measurement error and nonseparability, I first employ the deconvolution technique from the measurement error literature to identify the joint distribution of $Y, X, W^*$ using two error-laden measurements of $W^*$. I then recover the structural derivative of the function of interest and the "Local Average Response" (LAR) from the joint distribution via the "unobserved instrument" approach in Matzkin (2016). I also propose nonparametric estimators for these parameters and derive their uniform rates of convergence. Monte Carlo exercises show evidence that the estimators I propose have good finite sample performance.


title: Interval Abstractions for Robust Counterfactual Explanations

abstract: Counterfactual Explanations (CEs) have emerged as a major paradigm in explainable AI research, providing recourse recommendations for users affected by the decisions of machine learning models. However, when slight changes occur in the parameters of the underlying model, CEs found by existing methods often become invalid for the updated models. The literature lacks a way to certify deterministic robustness guarantees for CEs under model changes, in that existing methods to improve CEs' robustness are heuristic, and the robustness performances are evaluated empirically using only a limited number of retrained models. To bridge this gap, we propose a novel interval abstraction technique for parametric machine learning models, which allows us to obtain provable robustness guarantees of CEs under the possibly infinite set of plausible model changes $\Delta$. We formalise our robustness notion as the $\Delta$-robustness for CEs, in both binary and multi-class classification settings. We formulate procedures to verify $\Delta$-robustness based on Mixed Integer Linear Programming, using which we further propose two algorithms to generate CEs that are $\Delta$-robust. In an extensive empirical study, we demonstrate how our approach can be used in practice by discussing two strategies for determining the appropriate hyperparameter in our method, and we quantitatively benchmark the CEs generated by eleven methods, highlighting the effectiveness of our algorithms in finding robust CEs.


title: Stochastic Multi-round Submodular Optimization with Budget

abstract: In this work we study the problem of Stochastic Budgeted Multi-round Submodular Maximization (SBMSm), in which we would like to maximize the sum over multiple rounds of the value of a monotone and submodular objective function, subject to the fact that the values of this function depend on the realization of stochastic events and the number of observations that we can make over all rounds is limited by a given budget. This problem extends, and generalizes to multiple round settings, well-studied problems such as (adaptive) influence maximization and stochastic probing. We first show that whenever a certain single-round optimization problem can be optimally solved in polynomial time, then there is a polynomial time dynamic programming algorithm that returns the same solution as the optimal algorithm, that can adaptively choose both which observations to make and in which round to have them. Unfortunately, this dynamic programming approach cannot be extended to work when the single-round optimization problem cannot be efficiently solved (even if we allow it would be approximated within an arbitrary small constant). Anyway, in this case we are able to provide a simple greedy algorithm for the problem. It guarantees a $(1/2-\epsilon)$-approximation to the optimal value, even if it non-adaptively allocates the budget to rounds.


title: Quasimode concentration on compact space forms

abstract: We show that the upper bounds for the $L^2$-norms of $L^1$-normalized quasimodes that we obtained in [9] are always sharp on any compact space form. This allows us to characterize compact manifolds of constant sectional curvature using the decay rates of lower bounds of $L^1$-norms of $L^2$-normalized log-quasimodes fully resolving a problem initiated by the second author and Zelditch [15]. We are also able to characterize such manifolds by the concentration of quasimodes near periodic geodesics as measured by $L^2$-norms over thin geodesic tubes.


title: Curvature and harmonic analysis on compact manifolds

abstract: We discuss problems that relate curvature and concentration properties of eigenfunctions and quasimodes on compact boundaryless Riemannian manifolds. These include new sharp $L^q$-estimates, $q\in (2,q_c]$, $q_c=2(n+1)/(n-1)$, of log-quasimodes that characterize compact connected space forms in terms of the growth rate of $L^q$-norms of such quasimode for these relatively small Lebesgue exponents $q$. No such characterization is possible for any exponent $q> q_c$.


title: P\'eclet dependent Interactions of Self-Propelled Droplets

abstract: Interactions among biologically active agents is facilitated by their self-generated chemical and hydrodynamic fields. In order to elucidate the pair-wise interactions between such micro-organisms, we employ active droplets as a model system, capable of self-generating chemical and hydrodynamic fields. We demonstrate that the solute P\'eclet number ($Pe$), characterizing the relative strength of its convective to diffusive transport, plays a crucial role in determining how the chemical and hydrodynamic fields impact their interactions. Our findings reveal that at low $Pe$, the interaction is predominantly governed by chemo-repulsive effects, leading to droplets avoiding physical contact. Conversely, at elevated $Pe$, hydrodynamic interactions become more influential, leading to physical engagement. However, irrespective of $Pe$, the interaction of a droplet with the chemical trail of another droplet is always governed by chemo-repulsive effects. Furthermore, our results establish that the chemo-repulsive deflection/rebounding of droplets is influenced by the droplets' inherent chemical polarity, as determined by its $Pe$, independent of their approach orientation. Our findings offer a methodology for tuning the outcomes of binary interactions among chemically active droplets, laying the groundwork for potential studies on their collective dynamics.


title: Hyperspaces of the double arrow

abstract: Let $\mathbb{A}$ and $\mathbb{S}$ denote the double arrow of Alexandroff and the Sorgenfrey line, respectively. We show that for any $n\geq 1$, the space of all unions of at most $n$ closed intervals of $\mathbb{A}$ is not homogeneous. We also prove that the spaces of non-trivial convergent sequences of $\mathbb{A}$ and $\mathbb{S}$ are homogeneous. This partially solves an open question of A. Arhangel'ski\v{i}. In contrast, we show that the space of closed intervals of $\mathbb{S}$ is homogeneous.


title: Seamless Underwater Navigation with Limited Doppler Velocity Log Measurements

abstract: Autonomous Underwater Vehicles (AUVs) commonly utilize an inertial navigation system (INS) and a Doppler velocity log (DVL) for underwater navigation. To that end, their measurements are integrated through a nonlinear filter such as the extended Kalman filter (EKF). The DVL velocity vector estimate depends on retrieving reflections from the seabed, ensuring that at least three out of its four transmitted acoustic beams return successfully. When fewer than three beams are obtained, the DVL cannot provide a velocity update to bind the navigation solution drift. To cope with this challenge, in this paper, we propose a hybrid neural coupled (HNC) approach for seamless AUV navigation in situations of limited DVL measurements. First, we drive an approach to regress two or three missing DVL beams. Then, those beams, together with the measured beams, are incorporated into the EKF. We examined INS/DVL fusion both in loosely and tightly coupled approaches. Our method was trained and evaluated on recorded data from AUV experiments conducted in the Mediterranean Sea on two different occasions. The results illustrate that our proposed method outperforms the baseline loosely and tightly coupled model-based approaches by an average of 96.15%. It also demonstrates superior performance compared to a model-based beam estimator by an average of 12.41% in terms of velocity accuracy for scenarios involving two or three missing beams. Therefore, we demonstrate that our approach offers seamless AUV navigation in situations of limited beam measurements.


title: Entanglement in flavored scalar scattering

abstract: We investigate quantum entanglement in high-energy $2\to 2$ scalar scattering, where the scalars are characterized by an internal flavor quantum number acting like a qubit. Working at the 1-loop order in perturbation theory, we build the final-state density matrix as a function of the scattering amplitudes connecting the initial to the outgoing state. In this construction, the unitarity of the $S$-matrix is guaranteed at the required order by the optical theorem. We consider the post-scattering entanglement between the momentum and flavor degrees of freedom of the final-state particles, as well as the entanglement of the two-qubit flavor subsystem. In each case we identify the couplings of the scalar potential that can generate, destroy, or transfer entanglement between different bipartite subspaces of the Hilbert space.


title: A Splice Method for Local-to-Nonlocal Coupling of Weak Forms

abstract: We propose a method to couple local and nonlocal diffusion models. By inheriting desirable properties such as patch tests, asymptotic compatibility and unintrusiveness from related splice and optimization-based coupling schemes, it enables the use of weak (or variational) formulations, is computationally efficient and straightforward to implement. We prove well-posedness of the coupling scheme and demonstrate its properties and effectiveness in a variety of numerical examples.


title: A Nasal Cytology Dataset for Object Detection and Deep Learning

abstract: Nasal Cytology is a new and efficient clinical technique to diagnose rhinitis and allergies that is not much widespread due to the time-consuming nature of cell counting; that is why AI-aided counting could be a turning point for the diffusion of this technique. In this article we present the first dataset of rhino-cytological field images: the NCD (Nasal Cytology Dataset), aimed to train and deploy Object Detection models to support physicians and biologists during clinical practice. The real distribution of the cytotypes, populating the nasal mucosa has been replicated, sampling images from slides of clinical patients, and manually annotating each cell found on them. The correspondent object detection task presents non'trivial issues associated with the strong class imbalancement, involving the rarest cell types. This work contributes to some of open challenges by presenting a novel machine learning-based approach to aid the automated detection and classification of nasal mucosa cells: the DETR and YOLO models shown good performance in detecting cells and classifying them correctly, revealing great potential to accelerate the work of rhinology experts.


title: Empirical stability criteria for 3D hierarchical triple systems I: Circumbinary planets

abstract: In this work we revisit the problem of the dynamical stability of hierarchical triple systems with applications to circumbinary planetary orbits. We carry out more than 3 10^8 numerical simulations of planets between the size of Mercury and the lower fusion boundary (13 Jupiter masses) which revolve around the center of mass of a stellar binary over long timescales. For the first time, three dimensional and eccentric planetary orbits are considered. We explore systems with a variety of binary and planetary mass ratios, binary and planetary eccentricities from 0 to 0.9 and orbital mutual inclinations ranging from 0 to 180 degrees. The simulation time is set to 10^6 planetary orbital periods. We classify the results of those long term numerical integrations into three categories: stable, unstable and mixed. We provide empirical expressions in the form of multidimensional, parameterized fits for the two borders that separate the three dynamical domains . In addition, we train a machine learning model on our data set in order to have an alternative tool of predicting the stability of circumbinary planets. Both the empirical fits and the machine learning model are tested against randomly generated circumbinary systems with very good results regarding the predictions of orbital stability. The empirical formulae are also applied to the Kepler and TESS circumbinary systems, confirming the stability of the planets in these systems. Finally, we present a REST API with a web based application for convenient access of our simulation data set.


title: Evolution of Ring Airy vortex beam and Ring Pearcey vortex beam in turbulent atmosphere and a comparative analysis of their channel efficiency

abstract: An optical vortex beam propagating through turbulent atmosphere encounters distortions in the wavefront that results in modal scattering. Abruptly autofocussing (AAF) beams with orbital angular momentum have gained significant attention due to their non-diffracting and self-healing nature. These warrants understanding of the behaviour of these beams through turbulent atmosphere absolutely necessary. With this intuition, in the present work we investigate the behaviour of two AAF beams namely ring Airy vortex beam (RAVB) and ring Pearcey vortex beam (RPVB) through the turbulent atmosphere in two cases: multiplexed and non-multiplexed. We propagate multiplexed as well as non-multiplexed RAVB and RPVB in different levels of turbulent atmosphere. In non-multiplexed case, channel efficiency declines for both the beams with increase in modes numbers. In multiplexed case, increasing the gap between the mode sets results in decrease in channel efficiency. We also report that in weak atmospheric turbulence RAVB outperform RPVB in terms of channel efficiency. We use optical transformation sorting (log-polar) method to demultiplex the optical beams at the output. Furthermore, we investigate and compare the OAM spectra of both beams in different levels of atmospheric turbulence and at different propagation distances. The comparison reveals that the spectra of RPVB is more dispersive as compared to that of RAVB.


title: Application of Kalman Filter in Stochastic Differential Equations

abstract: In areas such as finance, engineering, and science, we often face situations that change quickly and unpredictably. These situations are tough to handle and require special tools and methods capable of understanding and predicting what might happen next. Stochastic Differential Equations (SDEs) are renowned for modeling and analyzing real-world dynamical systems. However, obtaining the parameters, boundary conditions, and closed-form solutions of SDEs can often be challenging. In this paper, we will discuss the application of Kalman filtering theory to SDEs, including Extended Kalman filtering and Particle Extended Kalman filtering. We will explore how to fit existing SDE systems through filtering and track the original SDEs by fitting the obtained closed-form solutions. This approach aims to gather more information about these SDEs, which could be used in various ways, such as incorporating them into parameters of data-based SDE models.


title: Efficient Digital Twin Data Processing for Low-Latency Multicast Short Video Streaming

abstract: In this paper, we propose a novel efficient digital twin (DT) data processing scheme to reduce service latency for multicast short video streaming. Particularly, DT is constructed to emulate and analyze user status for multicast group update and swipe feature abstraction. Then, a precise measurement model of DT data processing is developed to characterize the relationship among DT model size, user dynamics, and user clustering accuracy. A service latency model, consisting of DT data processing delay, video transcoding delay, and multicast transmission delay, is constructed by incorporating the impact of user clustering accuracy. Finally, a joint optimization problem of DT model size selection and bandwidth allocation is formulated to minimize the service latency. To efficiently solve this problem, a diffusion-based resource management algorithm is proposed, which utilizes the denoising technique to improve the action-generation process in the deep reinforcement learning algorithm. Simulation results based on the real-world dataset demonstrate that the proposed DT data processing scheme outperforms benchmark schemes in terms of service latency.


title: TOI-837b is a Young Saturn-sized Exoplanet with a Massive 70 $M_{\oplus}$ Core

abstract: We present an exhaustive photometric and spectroscopic analysis of TOI-837, a F9/G0 35 Myr young star, hosting a transiting exoplanet, TOI-837b, with an orbital period of 8.32d. Utilising data from TESS and ground-based observations, we determine a planetary radius of 0.82 R_J for TOI-837b. Through detailed HARPS spectroscopic time series analysis, we derive a Doppler semi-amplitude of 35 m/s, corresponding to a planetary mass of 0.39 M_J. The derived planetary properties suggest a substantial core of approximately 70 M_E, constituting about 60% of the planet's total mass. This finding poses a significant challenge to existing theoretical models of core formation. We propose that future atmospheric observations with JWST could provide insights into resolving ambiguities of TOI-837b, offering new perspectives on its composition, formation, and evolution.


title: Embarrassingly Simple Unsupervised Aspect Based Sentiment Tuple Extraction

abstract: Aspect Based Sentiment Analysis (ABSA) tasks involve the extraction of fine-grained sentiment tuples from sentences, aiming to discern the author's opinions. Conventional methodologies predominantly rely on supervised approaches; however, the efficacy of such methods diminishes in low-resource domains lacking labeled datasets since they often lack the ability to generalize across domains. To address this challenge, we propose a simple and novel unsupervised approach to extract opinion terms and the corresponding sentiment polarity for aspect terms in a sentence. Our experimental evaluations, conducted on four benchmark datasets, demonstrate compelling performance to extract the aspect oriented opinion words as well as assigning sentiment polarity. Additionally, unsupervised approaches for opinion word mining have not been explored and our work establishes a benchmark for the same.


title: Towards General Conceptual Model Editing via Adversarial Representation Engineering

abstract: Since the development of Large Language Models (LLMs) has achieved remarkable success, understanding and controlling their internal complex mechanisms has become an urgent problem. Recent research has attempted to interpret their behaviors through the lens of inner representation. However, developing practical and efficient methods for applying these representations for general and flexible model editing remains challenging. In this work, we explore how to use representation engineering methods to guide the editing of LLMs by deploying a representation sensor as an oracle. We first identify the importance of a robust and reliable sensor during editing, then propose an Adversarial Representation Engineering (ARE) framework to provide a unified and interpretable approach for conceptual model editing without compromising baseline performance. Experiments on multiple model editing paradigms demonstrate the effectiveness of ARE in various settings. Code and data are available at https://github.com/Zhang-Yihao/Adversarial-Representation-Engineering.


title: A nonstandard application of cross-validation to estimate density functionals

abstract: Cross-validation is usually employed to evaluate the performance of a given statistical methodology. When such a methodology depends on a number of tuning parameters, cross-validation proves to be helpful to select the parameters that optimize the estimated performance. In this paper, however, a very different and nonstandard use of cross-validation is investigated. Instead of focusing on the cross-validated parameters, the main interest is switched to the estimated value of the error criterion at optimal performance. It is shown that this approach is able to provide consistent and efficient estimates of some density functionals, with the noteworthy feature that these estimates do not rely on the choice of any further tuning parameter, so that, in that sense, they can be considered to be purely empirical. Here, a base case of application of this new paradigm is developed in full detail, while many other possible extensions are hinted as well.


title: Dispensing with optimal control: a new approach for the pricing and management of share buyback contracts

abstract: This paper introduces a novel methodology for the pricing and management of share buyback contracts, overcoming the limitations of traditional optimal control methods, which frequently encounter difficulties with high-dimensional state spaces and the intricacies of selecting appropriate risk penalty or risk aversion parameter. Our methodology applies optimized heuristic strategies to maximize the contract's value. The computation of this value utilizes classical methods typically used for pricing path-dependent Bermudan options. Additionally, our approach naturally leads to the formulation of a hedging strategy.


title: Combining and Decoupling Rigid and Soft Grippers to Enhance Robotic Manipulation

abstract: For robot arms to perform everyday tasks in unstructured environments, these robots must be able to manipulate a diverse range of objects. Today's robots often grasp objects with either soft grippers or rigid end-effectors. However, purely rigid or purely soft grippers have fundamental limitations: soft grippers struggle with irregular, heavy objects, while rigid grippers often cannot grasp small, numerous items. In this paper we therefore introduce RISOs, a mechanics and controls approach for unifying traditional RIgid end-effectors with a novel class of SOft adhesives. When grasping an object, RISOs can use either the rigid end-effector (pinching the item between non-deformable fingers) and/or the soft materials (attaching and releasing items with switchable adhesives). This enhances manipulation capabilities by combining and decoupling rigid and soft mechanisms. With RISOs robots can perform grasps along a spectrum from fully rigid, to fully soft, to rigid-soft, enabling real time object manipulation across a 1 million times range in weight (from 2 mg to 2 kg). To develop RISOs we first model and characterize the soft switchable adhesives. We then mount sheets of these soft adhesives on the surfaces of rigid end-effectors, and develop control strategies that make it easier for robot arms and human operators to utilize RISOs. The resulting RISO grippers were able to pick-up, carry, and release a larger set of objects than existing grippers, and participants also preferred using RISO. Overall, our experimental and user study results suggest that RISOs provide an exceptional gripper range in both capacity and object diversity. See videos of our user studies here: https://youtu.be/du085R0gPFI


title: BC-MRI-SEG: A Breast Cancer MRI Tumor Segmentation Benchmark

abstract: Binary breast cancer tumor segmentation with Magnetic Resonance Imaging (MRI) data is typically trained and evaluated on private medical data, which makes comparing deep learning approaches difficult. We propose a benchmark (BC-MRI-SEG) for binary breast cancer tumor segmentation based on publicly available MRI datasets. The benchmark consists of four datasets in total, where two datasets are used for supervised training and evaluation, and two are used for zero-shot evaluation. Additionally we compare state-of-the-art (SOTA) approaches on our benchmark and provide an exhaustive list of available public breast cancer MRI datasets. The source code has been made available at https://irulenot.github.io/BC_MRI_SEG_Benchmark.


title: Sublinear Time Low-Rank Approximation of Toeplitz Matrices

abstract: We present a sublinear time algorithm for computing a near optimal low-rank approximation to any positive semidefinite (PSD) Toeplitz matrix $T\in \mathbb{R}^{d\times d}$, given noisy access to its entries. In particular, given entrywise query access to $T+E$ for an arbitrary noise matrix $E\in \mathbb{R}^{d\times d}$, integer rank $k\leq d$, and error parameter $\delta>0$, our algorithm runs in time $\text{poly}(k,\log(d/\delta))$ and outputs (in factored form) a Toeplitz matrix $\widetilde{T} \in \mathbb{R}^{d \times d}$ with rank $\text{poly}(k,\log(d/\delta))$ satisfying, for some fixed constant $C$, \begin{equation*} \|T-\widetilde{T}\|_F \leq C \cdot \max\{\|E\|_F,\|T-T_k\|_F\} + \delta \cdot \|T\|_F. \end{equation*} Here $\|\cdot \|_F$ is the Frobenius norm and $T_k$ is the best (not necessarily Toeplitz) rank-$k$ approximation to $T$ in the Frobenius norm, given by projecting $T$ onto its top $k$ eigenvectors. Our result has the following applications. When $E = 0$, we obtain the first sublinear time near-relative-error low-rank approximation algorithm for PSD Toeplitz matrices, resolving the main open problem of Kapralov et al. SODA `23, whose algorithm had sublinear query complexity but exponential runtime. Our algorithm can also be applied to approximate the unknown Toeplitz covariance matrix of a multivariate Gaussian distribution, given sample access to this distribution, resolving an open question of Eldar et al. SODA `20. Our algorithm applies sparse Fourier transform techniques to recover a low-rank Toeplitz matrix using its Fourier structure. Our key technical contribution is the first polynomial time algorithm for \emph{discrete time off-grid} sparse Fourier recovery, which may be of independent interest.


title: On commutative set-theoretic solutions of the Pentagon Equation

abstract: We extend the so-called retract relation given in [6] for involutive set-theoretic solutions of the Pentagon Equation and we introduce the notion of associated permutation group to study the family of the commutative non-degenerate ones. Moreover, we develop a machinery to construct all these solutions and we use it to give a quite explicit classification of the irretractable ones. Finally, non-degenerate solutions on left-zero semigroup are studied in detail, with an emphasis on the ones with cyclic associated permutation group and on the ones having small size.


title: Mapping Phonon Polaritons with Visible Light

abstract: Phonon polaritons (PhPs) are hybrid photon-phonon waves which enable strong light-matter interactions and subdiffractional confinement, potentially empowering applications in sensing, nonlinear optics and nanoscale energy manipulation. In this work, we use confocal Raman microscopy to investigate the coupling between bulk phonon modes and localized surface phonon polariton (SPhP) modes in indium phosphide (InP) nanopillars and 4H-silicon carbide (4H-SiC) gratings. The Raman intensity within the nanostructures is described in terms of the SPhP eigenmodes and used to reconstruct the field intensity, providing a method to map SPhP eigenmodes using visible and near-IR light. Our results indicate that, contrary to expectation, all Raman-active bulk phonon modes of InP and 4H-SiC couple to the localized SPhP modes. Further, we confirm that polarizability selection rules form the predominant coupling mechanism between phonons and SPhP modes, with electron-phonon coupling playing a role for certain phonon modes (A1(LO) and E1(TO) in 4H-SiC). These observations provide a method for extending Raman studies of PhP modes to achieve full 3D reconstruction of the PhP eigenmodes and visualize light-matter interactions within nanostructures, thus advancing Raman scattering as a technique for understanding PhP modes.


title: How to Encode Domain Information in Relation Classification

abstract: Current language models require a lot of training data to obtain high performance. For Relation Classification (RC), many datasets are domain-specific, so combining datasets to obtain better performance is non-trivial. We explore a multi-domain training setup for RC, and attempt to improve performance by encoding domain information. Our proposed models improve > 2 Macro-F1 against the baseline setup, and our analysis reveals that not all the labels benefit the same: The classes which occupy a similar space across domains (i.e., their interpretation is close across them, for example "physical") benefit the least, while domain-dependent relations (e.g., "part-of'') improve the most when encoding domain information.


title: Dumbell Fermions and Fermi-Pauli Duality

abstract: We use the Kantor-Susskind\cite{kantsuss} model of fermions as "dumbbells" connecting points on a cubic lattice to points on its dual, to define a duality between local fermionic models invariant under a $Z_2$ gauge symmetry and models of bosonic variables (generalizations of Pauli matrices) defined on the lattice.


title: Jaynes-Cummings atoms coupled to a structured environment: Leakage elimination operators and the Petz recovery maps

abstract: We consider the Jaynes-Cummings (JC) model embedded in a structured environment, where the atom inside an optical cavity will be affected by a hierarchical environment consisting of the cavity and its environment. We propose several effective strategies to control and suppress the decoherence effects to protect the quantum coherence of the JC atom. We study the non-perturbative control of the system dynamics by means of the leakage elimination operators. We also investigate a full quantum state reversal scheme by engineering the system and its coupling to the bath via the Petz recovery map. Our findings conclude that, with the Petz recovery map, the dynamics of the JC atom can be fully recovered regardless of Markov or non-Markovian noises. Finally, we show that our quantum control and recovery methods are effective at protecting different aspects of the system coherence.


title: Un d\'eveloppement asymptotique des sommes harmoniques de Kempner-Irwin

abstract: Let $I(b,d,k)$ be the subseries of the harmonic series keeping only those denominators having exactly $k$ occurrences of the digit $d$ in base $b$. We prove the existence of an asymptotic development to all orders in descending powers of $b$, for $d$ and $k$ fixed, of $I(b,d,k)-b \log(b)$ or rather, if $k=0$ and $d>0$, of $I(b,d,0)- (b\log(b) - b\log(1+1/d))$. We give explicitly, according to cases, the first four or first five terms. The coefficients of these developments involve the values of the Riemann zeta function at positive integers.


title: Using Adaptive Empathetic Responses for Teaching English

abstract: Existing English-teaching chatbots rarely incorporate empathy explicitly in their feedback, but empathetic feedback could help keep students engaged and reduce learner anxiety. Toward this end, we propose the task of negative emotion detection via audio, for recognizing empathetic feedback opportunities in language learning. We then build the first spoken English-teaching chatbot with adaptive, empathetic feedback. This feedback is synthesized through automatic prompt optimization of ChatGPT and is evaluated with English learners. We demonstrate the effectiveness of our system through a preliminary user study.


title: SciDaSynth: Interactive Structured Knowledge Extraction and Synthesis from Scientific Literature with Large Language Model

abstract: Extraction and synthesis of structured knowledge from extensive scientific literature are crucial for advancing and disseminating scientific progress. Although many existing systems facilitate literature review and digest, they struggle to process multimodal, varied, and inconsistent information within and across the literature into structured data. We introduce SciDaSynth, a novel interactive system powered by large language models (LLMs) that enables researchers to efficiently build structured knowledge bases from scientific literature at scale. The system automatically creates data tables to organize and summarize users' interested knowledge in literature via question-answering. Furthermore, it provides multi-level and multi-faceted exploration of the generated data tables, facilitating iterative validation, correction, and refinement. Our within-subjects study with researchers demonstrates the effectiveness and efficiency of SciDaSynth in constructing quality scientific knowledge bases. We further discuss the design implications for human-AI interaction tools for data extraction and structuring.


title: Object-Attribute Binding in Text-to-Image Generation: Evaluation and Control

abstract: Current diffusion models create photorealistic images given a text prompt as input but struggle to correctly bind attributes mentioned in the text to the right objects in the image. This is evidenced by our novel image-graph alignment model called EPViT (Edge Prediction Vision Transformer) for the evaluation of image-text alignment. To alleviate the above problem, we propose focused cross-attention (FCA) that controls the visual attention maps by syntactic constraints found in the input sentence. Additionally, the syntax structure of the prompt helps to disentangle the multimodal CLIP embeddings that are commonly used in T2I generation. The resulting DisCLIP embeddings and FCA are easily integrated in state-of-the-art diffusion models without additional training of these models. We show substantial improvements in T2I generation and especially its attribute-object binding on several datasets.\footnote{Code and data will be made available upon acceptance.


title: Autonomous Robot for Disaster Mapping and Victim Localization

abstract: In response to the critical need for effective reconnaissance in disaster scenarios, this research article presents the design and implementation of a complete autonomous robot system using the Turtlebot3 with Robotic Operating System (ROS) Noetic. Upon deployment in closed, initially unknown environments, the system aims to generate a comprehensive map and identify any present 'victims' using AprilTags as stand-ins. We discuss our solution for search and rescue missions, while additionally exploring more advanced algorithms to improve search and rescue functionalities. We introduce a Cubature Kalman Filter to help reduce the mean squared error [m] for AprilTag localization and an information-theoretic exploration algorithm to expedite exploration in unknown environments. Just like turtles, our system takes it slow and steady, but when it's time to save the day, it moves at ninja-like speed! Despite Donatello's shell, he's no slowpoke - he zips through obstacles with the agility of a teenage mutant ninja turtle. So, hang on tight to your shells and get ready for a whirlwind of reconnaissance! Full pipeline code https://github.com/rzhao5659/MRProject/tree/main Exploration code https://github.com/rzhao5659/MRProject/tree/main


title: The Economics of Blockchain Governance: Evaluate Liquid Democracy on the Internet Computer

abstract: Decentralized Autonomous Organizations (DAOs), utilizing blockchain technology to enable collective governance, are a promising innovation. This research addresses the ongoing query in blockchain governance: How can DAOs optimize human cooperation? Focusing on the Network Nervous System (NNS), a comprehensive on-chain governance framework underpinned by the Internet Computer Protocol (ICP) and liquid democracy principles, we employ theoretical abstraction and simulations to evaluate its potential impact on cooperation and economic growth within DAOs. Our findings emphasize the significance of the NNS's staking mechanism, particularly the reward multiplier, in aligning individual short-term interests with the DAO's long-term prosperity. This study contributes to the understanding and effective design of blockchain-based governance systems.


title: Gain engineering and topological atom laser in synthetic dimensions

abstract: In the recent rapid progress of quantum technology, controlling quantum states has become an important subject of study. Of particular interest is the control of open quantum systems, where the system of interest couples to the environment in an essential way. One formalism to describe open systems is the non-Hermitian quantum mechanics. Photonics systems have been a major platform to study non-Hermitian quantum mechanics due to its flexibility in engineering gain and loss. Ultracold atomic gases have also used to study non-Hermitian quantum mechanics. However, unlike in photonics, gain is not easily controllable in ultracold atomic gases, and exploration of non-Hermitian physics has been limited to control of losses. In this paper, we report engineering of effective gain through evaporative cooling of judiciously chosen initial thermal atoms. We observe resulting formation of Bose-Einstein condensation (BEC) in excited eigenstates of a synthetic lattice. We realize formation of BEC in a topological edge state of the Su-Schrieffer-Heeger lattice in the synthetic hyperfine lattice, which can be regarded as atomic laser oscillations at a topological edge mode, i.e. topological atom laser. Gain-loss engineering in ultracold atoms opens a novel prospect to explore open many-body quantum systems.