title: Spherical symmetric solutions of conformal Killing gravity: black holes, wormholes, and sourceless cosmologies

abstract: The most general set of static and spherically symmetric solutions for conformal Killing gravity coupled to Maxwell fields is presented in closed form. These solutions, depending on six parameters, include non-asymptotically flat black holes or naked singularities, non-asymptotically flat traversable wormholes, and (possibly singularity-free) closed universes. We also consider the inverse problem, showing that the most general energy-momentum tensor generating a given static spherically symmetric metric depends on three parameters. Sourceless time-dependent isotropic solutions are also given. These solutions depending on the curvature, the cosmological constant, and a new integration constant $\alpha$, present a rich variety, including singularity-free eternal cosmologies and universes evolving symmetrically from a big bang to a big crunch within a finite lapse of time.


title: Schatten classes and commutators in the two weight setting, II. Riesz transforms

abstract: We characterize the Schatten class $S^p$ of the commutator of Riesz transforms $[b,R_j]$ in $\mathbb R^n$ ($j=1,\ldots, n$) in the two weight setting for $n< p<\infty$, by introducing the condition that the symbol $b$ being in Besov spaces associated with the given two weights. At the critical index $p=n$, the commutator $[b,R_j]$ belongs to Schatten class $S^{n}$ if and only if $b$ is a constant, and to the weak Schatten class $S^{n,\infty}$ if and only if $b$ is in an oscillation sequence space associated with the given two weights. As a direct application, we have the Schatten class estimate for A. Connes' quantised derivative in the two weight setting.


title: Memory-Scalable and Simplified Functional Map Learning

abstract: Deep functional maps have emerged in recent years as a prominent learning-based framework for non-rigid shape matching problems. While early methods in this domain only focused on learning in the functional domain, the latest techniques have demonstrated that by promoting consistency between functional and pointwise maps leads to significant improvements in accuracy. Unfortunately, existing approaches rely heavily on the computation of large dense matrices arising from soft pointwise maps, which compromises their efficiency and scalability. To address this limitation, we introduce a novel memory-scalable and efficient functional map learning pipeline. By leveraging the specific structure of functional maps, we offer the possibility to achieve identical results without ever storing the pointwise map in memory. Furthermore, based on the same approach, we present a differentiable map refinement layer adapted from an existing axiomatic refinement algorithm. Unlike many functional map learning methods, which use this algorithm at a post-processing step, ours can be easily used at train time, enabling to enforce consistency between the refined and initial versions of the map. Our resulting approach is both simpler, more efficient and more numerically stable, by avoiding differentiation through a linear system, while achieving close to state-of-the-art results in challenging scenarios.


title: Investigation of self-focusing of Gaussian laser beams within magnetized plasma via source-dependent expansion method

abstract: Self-focusing emerges as a nonlinear optical phenomenon resulting from an intense laser field and plasma interaction. This study investigates the self-focusing behavior of Gaussian laser beams within magnetized plasma environments utilizing a novel approach, source-dependent expansion. By employing source-dependent expansion, we explore the intricate dynamics of laser beam propagation, considering the influence of plasma density and external magnetic fields. The interplay between the beam's Gaussian profile and the self-focusing mechanism through rigorous mathematical analysis and numerical simulations, particularly in the presence of plasma-induced nonlinearities are elucidated here. Our findings reveal crucial insights into the evolution of laser beams under diverse parameters, the ponderomotive force, relativistic factors, plasma frequency, polarization states, external magnetic field, wavelength, and laser intensity. This research not only contributes to advancing our fundamental understanding of laser-plasma interactions but also holds promise for optimizing laser-driven applications.


title: Polynomial Quotient Rings and Kronecker Substitution for Deriving Combinatorial Identities

abstract: We introduce a framework for generating combinatorial identities by applying Kronecker substitution to polynomial expansions within quotient rings. We apply this methodology to derive a general formula for C-recursive integer sequences, as well as explicit formulas for certain combinatorial sequences, including the Pell numbers and central binomial coefficients. We also discover an unusual representation for the real $n$-th roots of positive integers $\sqrt[n]{a}$, characterized as the limit of a modular expression. The theorems and results presented provide a theoretical basis for future research on the interconnections between Kronecker substitution, polynomial ring expansions, and their applications in combinatorial sequences and beyond.


title: On Task and in Sync: Examining the Relationship between Gaze Synchrony and Self-Reported Attention During Video Lecture Learning

abstract: Successful learning depends on learners' ability to sustain attention, which is particularly challenging in online education due to limited teacher interaction. A potential indicator for attention is gaze synchrony, demonstrating predictive power for learning achievements in video-based learning in controlled experiments focusing on manipulating attention. This study (N=84) examines the relationship between gaze synchronization and self-reported attention of learners, using experience sampling, during realistic online video learning. Gaze synchrony was assessed through Kullback-Leibler Divergence of gaze density maps and MultiMatch algorithm scanpath comparisons. Results indicated significantly higher gaze synchronization in attentive participants for both measures and self-reported attention significantly predicted post-test scores. In contrast, synchrony measures did not correlate with learning outcomes. While supporting the hypothesis that attentive learners exhibit similar eye movements, the direct use of synchrony as an attention indicator poses challenges, requiring further research on the interplay of attention, gaze synchrony, and video content type.


title: Unitarity constraints and the dispersive matrix

abstract: We present updated estimates of $\vert V_{cb} \vert$ and $R(D^{(*)})$ based on all the available theoretical and experimental data on semileptonic $B \to D^{(*)} \ell \nu_\ell$ decays. These values have been obtained by using the Dispersive Matrix method to describe the hadronic form factors. By analysing all the lattice data we get the theoretical values $R^{\rm th}(D) = 0.296 \pm 0.008$ and $R^{\rm th}(D^*) = 0.262 \pm 0.009$, which are consistent with the corresponding HFLAV averages at the $\simeq 2.0\,\sigma$ and the $\simeq 1.5\,\sigma$ level, respectively. Moreover, from a bin-per-bin study of the experimental data we obtain the values $\vert V_{cb} \vert = (41.0 \pm 1.2) \cdot10^{-3}$ from $B \to D$ decay and $\vert V_{cb} \vert = (39.92 \pm 0.64) \cdot10^{-3}$ from $B \to D^*$ one, whose differences with the latest inclusive determinations never exceed the $\simeq 2.5\,\sigma$ level.


title: Learning Trimaps via Clicks for Image Matting

abstract: Despite significant advancements in image matting, existing models heavily depend on manually-drawn trimaps for accurate results in natural image scenarios. However, the process of obtaining trimaps is time-consuming, lacking user-friendliness and device compatibility. This reliance greatly limits the practical application of all trimap-based matting methods. To address this issue, we introduce Click2Trimap, an interactive model capable of predicting high-quality trimaps and alpha mattes with minimal user click inputs. Through analyzing real users' behavioral logic and characteristics of trimaps, we successfully propose a powerful iterative three-class training strategy and a dedicated simulation function, making Click2Trimap exhibit versatility across various scenarios. Quantitative and qualitative assessments on synthetic and real-world matting datasets demonstrate Click2Trimap's superior performance compared to all existing trimap-free matting methods. Especially, in the user study, Click2Trimap achieves high-quality trimap and matting predictions in just an average of 5 seconds per image, demonstrating its substantial practical value in real-world applications.


title: The extremal length systole of the cube punctured at its vertices

abstract: We prove that the extremal length systole of the cube punctured at its vertices is realized by the 12 curves surrounding its edges and give a characterization of the corresponding quadratic differentials, allowing us to estimate its value to high precision. The proof uses a mixture of exact calculations done using branched covers and elliptic integrals, together with estimates obtained using either the geometry of geodesic trajectories on the cube or explicit conformal maps.


title: Pluripotency of wandering dynamics

abstract: This paper proposes a new concept of pluripotency inspired by Colli-Vargas [Ergod. Theory Dyn. Syst., 21(6):1657-1681, 2001] and presents fundamental theorems for developing the theory. Pluripotency reprograms dynamics from a statistical or geometrical point of view. This means that the dynamics of various codes, including non-trivial Dirac physical measures or historic behavior, can be observably and stochastically realized by arbitrarily small perturbations. We first give a practical condition equivalent to a stronger version of pluripotency. Next, we show that the property of pluripotency is $C^{r} (2\leq r<\infty)$-robust. Precisely, there exists a $C^{r}$-open set of non-hyperbolic diffeomorphisms that have wild blender-horseshoes and are strongly pluripotent. It implies a new affirmative solution to Takens' last problem for $C^{r}$ diffeomorphisms of dimension $n\geq 3$.


title: Polymorphic Records for Dynamic Languages

abstract: We define and study "row polymorphism" for a type system with set-theoretic types, specifically union, intersection, and negation types. We consider record types that embed row variables and define a subtyping relation by interpreting types into sets of record values and by defining subtyping as the containment of interpretations. We define a functional calculus equipped with operations for field extension, selection, and deletion, its operational semantics, and a type system that we prove to be sound. We provide algorithms for deciding the typing and subtyping relations. This research is motivated by the current trend of defining static type system for dynamic languages and, in our case, by an ongoing effort of endowing the Elixir programming language with a gradual type system.


title: Quadrupole Moment of a Magnetically Confined Mountain on an Accreting Neutron Star in General Relativity

abstract: General relativistic corrections are calculated for the quadrupole moment of a magnetically confined mountain on an accreting neutron star. The hydromagnetic structure of the mountain satisfies the general relativistic Grad-Shafranov equation supplemented by the flux-freezing condition of ideal magnetohydrodynamics, as in previous calculations of the magnetic dipole moment. It is found that the ellipticity and hence the gravitational wave strain is $4\%$ to $12\%$ smaller than in the analogous Newtonian system. The direct contribution of the magnetic field to the nonaxisymmetric component of the stress-energy tensor is also considered, and it is shown that it is negligible in systems such as low-mass X-ray binaries.


title: Deep Reinforcement Learning in Autonomous Car Path Planning and Control: A Survey

abstract: Combining data-driven applications with control systems plays a key role in recent Autonomous Car research. This thesis offers a structured review of the latest literature on Deep Reinforcement Learning (DRL) within the realm of autonomous vehicle Path Planning and Control. It collects a series of DRL methodologies and algorithms and their applications in the field, focusing notably on their roles in trajectory planning and dynamic control. In this review, we delve into the application outcomes of DRL technologies in this domain. By summarizing these literatures, we highlight potential challenges, aiming to offer insights that might aid researchers engaged in related fields.


title: Ontology in Holonic Cooperative Manufacturing: A Solution to Share and Exchange the Knowledge

abstract: Cooperative manufacturing is a new trend in industry, which depends on the existence of a collaborative robot. A collaborative robot is usually a light-weight robot which is capable of operating safely with a human co-worker in a shared work environment. During this cooperation, a vast amount of information is exchanged between the collaborative robot and the worker. This information constructs the cooperative manufacturing knowledge, which describes the production components and environment. In this research, we propose a holonic control solution, which uses the ontology concept to represent the cooperative manufacturing knowledge. The holonic control solution is implemented as an autonomous multi-agent system that exchanges the manufacturing knowledge based on an ontology model. Ultimately, the research illustrates and implements the proposed solution over a cooperative assembly scenario, which involves two workers and one collaborative robot, whom cooperate together to assemble a customized product.


title: Entanglement Swapping Using Hyperentangled Pairs of Two-Level Neutral Atoms

abstract: Hyperentangled swapping is a quantum communication technique that involves the exchange of hyperentangled states, which are quantum states entangled in multiple degrees of freedom, to enable secure and efficient quantum information transfer. In this paper, we demonstrate schematics for the hyperentanglement swapping between separate pairs of neutral atoms through the mathematical framework of atomic Bragg diffraction, which is efficient and resistant to decoherence, yielding deterministic results with superior overall fidelity. The utilized cavities are in superposition state and interact with the incoming atoms off-resonantly. Quantum information carried by the cavities is swapped through resonant interactions with two-level auxiliary atoms. We also discuss entanglement swapping under a delayed-choice scenario and provide a schematic generalization covering multiple-qubit scenarios. Finally, we introduce specific experimental parameters to demonstrate the experimental feasibility of the scheme.


title: Commonsense Scene Graph-based Target Localization for Object Search

abstract: Object search is a fundamental skill for household robots, yet the core problem lies in the robot's ability to locate the target object accurately. The dynamic nature of household environments, characterized by the arbitrary placement of daily objects by users, makes it challenging to perform target localization. To efficiently locate the target object, the robot needs to be equipped with knowledge at both the object and room level. However, existing approaches rely solely on one type of knowledge, leading to unsatisfactory object localization performance and, consequently, inefficient object search processes. To address this problem, we propose a commonsense scene graph-based target localization, CSG-TL, to enhance target object search in the household environment. Given the pre-built map with stationary items, the robot models the room-level knowledge with object-level commonsense knowledge generated by a large language model (LLM) to a commonsense scene graph (CSG), supporting both types of knowledge for CSG-TL. To demonstrate the superiority of CSG-TL on target localization, extensive experiments are performed on the real-world ScanNet dataset and the AI2THOR simulator. Moreover, we have extended CSG-TL to an object search framework, CSG-OS, validated in both simulated and real-world environments. Code and videos are available at https://sites.google.com/view/csg-os.


title: Can LLMs Master Math? Investigating Large Language Models on Math Stack Exchange

abstract: Large Language Models (LLMs) have demonstrated exceptional capabilities in various natural language tasks, often achieving performances that surpass those of humans. Despite these advancements, the domain of mathematics presents a distinctive challenge, primarily due to its specialized structure and the precision it demands. In this study, we adopted a two-step approach for investigating the proficiency of LLMs in answering mathematical questions. First, we employ the most effective LLMs, as identified by their performance on math question-answer benchmarks, to generate answers to 78 questions from the Math Stack Exchange (MSE). Second, a case analysis is conducted on the LLM that showed the highest performance, focusing on the quality and accuracy of its answers through manual evaluation. We found that GPT-4 performs best (nDCG of 0.48 and P@10 of 0.37) amongst existing LLMs fine-tuned for answering mathematics questions and outperforms the current best approach on ArqMATH3 Task1, considering P@10. Our Case analysis indicates that while the GPT-4 can generate relevant responses in certain instances, it does not consistently answer all questions accurately. This paper explores the current limitations of LLMs in navigating complex mathematical problem-solving. Through case analysis, we shed light on the gaps in LLM capabilities within mathematics, thereby setting the stage for future research and advancements in AI-driven mathematical reasoning. We make our code and findings publicly available for research: \url{https://github.com/gipplab/LLM-Investig-MathStackExchange}


title: MaGRITTe: Manipulative and Generative 3D Realization from Image, Topview and Text

abstract: The generation of 3D scenes from user-specified conditions offers a promising avenue for alleviating the production burden in 3D applications. Previous studies required significant effort to realize the desired scene, owing to limited control conditions. We propose a method for controlling and generating 3D scenes under multimodal conditions using partial images, layout information represented in the top view, and text prompts. Combining these conditions to generate a 3D scene involves the following significant difficulties: (1) the creation of large datasets, (2) reflection on the interaction of multimodal conditions, and (3) domain dependence of the layout conditions. We decompose the process of 3D scene generation into 2D image generation from the given conditions and 3D scene generation from 2D images. 2D image generation is achieved by fine-tuning a pretrained text-to-image model with a small artificial dataset of partial images and layouts, and 3D scene generation is achieved by layout-conditioned depth estimation and neural radiance fields (NeRF), thereby avoiding the creation of large datasets. The use of a common representation of spatial information using 360-degree images allows for the consideration of multimodal condition interactions and reduces the domain dependence of the layout control. The experimental results qualitatively and quantitatively demonstrated that the proposed method can generate 3D scenes in diverse domains, from indoor to outdoor, according to multimodal conditions.


title: Asymptotically Optimal Scheduling of Multiple Parallelizable Job Classes

abstract: Many modern computing workloads are composed of parallelizable jobs. A single parallelizable job can be completed more quickly if it is run on additional servers, however each job is typically limited in the number of servers it can run on (its parallelizability level). A job's parallelizability level is determined by the type of computation the job performs and how it was implemented. As a result, a single workload of parallelizable jobs generally consists of multiple $\textit{job classes}$, where jobs from different classes may have different parallelizability levels. The inherent sizes of jobs from different classes may also be vastly different. This paper considers the important, practical problem of how to schedule an arbitrary number of classes of parallelizable jobs. Here, each class of jobs has an associated job size distribution and parallelizability level. Given a limited number of servers, $k$, we ask how to allocate the $k$ servers across a stream of arriving jobs in order to minimize the $\textit{mean response time}$ -- the average time from when a job arrives to the system until it is completed. The problem of optimal scheduling in multiserver systems is known to be difficult, even when jobs are not parallelizable. To solve the harder problem of scheduling multiple classes of parallelizable jobs, we turn to asymptotic scaling regimes. We find that in lighter-load regimes (i.e., Sub-Halfin-Whitt), the optimal allocation algorithm is Least-Parallelizable-First (LPF), a policy that prioritizes jobs from the least parallelizable job classes. By contrast, we also find that in the heavier-load regimes (i.e., Super-NDS), the optimal allocation algorithm prioritizes the jobs with the Shortest Expected Remaining Processing Time (SERPT). We also develop scheduling policies that perform optimally when the scaling regime is not known to the system a priori.


title: Stability of equilibria of the spatially inhomogeneous Vicsek-BGK equation across a bifurcation

abstract: The Vicsek-BGK equation is a kinetic model for alignment of particles moving with constant speed between stochastic reorientation events with sampling from a von Mises distribution. The spatially homogeneous model shows a steady state bifurcation with exchange of stability. The main result of this work is an extension of the bifurcation result to the spatially inhomogeneous problem under the additional assumption of a sufficiently large Knudsen number, which is shown to be necessary. A counterexample is derived in the form of an exponentially increasing travelling wave solution of the linearized equation, indicating a possible explanation of traveling bands, which have been observed in the literature in simulations with an individual based model. The mathematical core is the proof of linearized stability, which employs a new hypocoercivity approach based on Laplace-Fourier transformation. The bifurcation result includes global existence of smooth solutions for close-to-equilibrium initial data. For large data smooth solutions might blow up in finite time whereas weak solutions with bounded Boltzmann entropy are shown to exist globally.


title: Entropy-regularized optimal transport over networks with incomplete marginals information

abstract: We study in this paper optimal mass transport over a strongly connected, directed graph on a given discrete time interval. Differently from previous literature, we do not assume full knowledge of the initial and final goods distribution over the network nodes. In spite of the meager information, we show that it is possible to characterize the most likely flow in two important cases: The first one is when the initial and/or final distribution is only known on proper subsets of the nodes. The second case is when only some moments of the marginal distributions are known. As an important by-product, we determine the most likely initial and final marginals on the whole state space.


title: SGDFormer: One-stage Transformer-based Architecture for Cross-Spectral Stereo Image Guided Denoising

abstract: Cross-spectral image guided denoising has shown its great potential in recovering clean images with rich details, such as using the near-infrared image to guide the denoising process of the visible one. To obtain such image pairs, a feasible and economical way is to employ a stereo system, which is widely used on mobile devices. Current works attempt to generate an aligned guidance image to handle the disparity between two images. However, due to occlusion, spectral differences and noise degradation, the aligned guidance image generally exists ghosting and artifacts, leading to an unsatisfactory denoised result. To address this issue, we propose a one-stage transformer-based architecture, named SGDFormer, for cross-spectral Stereo image Guided Denoising. The architecture integrates the correspondence modeling and feature fusion of stereo images into a unified network. Our transformer block contains a noise-robust cross-attention (NRCA) module and a spatially variant feature fusion (SVFF) module. The NRCA module captures the long-range correspondence of two images in a coarse-to-fine manner to alleviate the interference of noise. The SVFF module further enhances salient structures and suppresses harmful artifacts through dynamically selecting useful information. Thanks to the above design, our SGDFormer can restore artifact-free images with fine structures, and achieves state-of-the-art performance on various datasets. Additionally, our SGDFormer can be extended to handle other unaligned cross-model guided restoration tasks such as guided depth super-resolution.


title: A Context-Sensitive, Outlier-Based Static Analysis to Find Kernel Race Conditions

abstract: Race conditions are a class of bugs in software where concurrent accesses to shared resources are not protected from each other. Consequences of race conditions include privilege escalation, denial of service, and memory corruption which can potentially lead to arbitrary code execution. However, in large code bases the exact rules as to which fields should be accessed under which locks are not always clear. We propose a novel static technique that infers rules for how field accesses should be locked, and then checks the code against these rules. Traditional static analysers for detecting race conditions are based on lockset analysis. Instead, we propose an outlier-based technique enhanced with a context-sensitive mechanism that scales well. We have implemented this analysis in LLIF, and evaluated it to find incorrectly protected field accesses in Linux v5.14.11. We thoroughly evaluate its ability to find race conditions, and study the causes for false positive reports. In addition, we reported a subset of the issues and submitted patches. The maintainers confirmed 24 bugs.


title: Rethinking Attention-Based Multiple Instance Learning for Whole-Slide Pathological Image Classification: An Instance Attribute Viewpoint

abstract: Multiple instance learning (MIL) is a robust paradigm for whole-slide pathological image (WSI) analysis, processing gigapixel-resolution images with slide-level labels. As pioneering efforts, attention-based MIL (ABMIL) and its variants are increasingly becoming popular due to the characteristics of simultaneously handling clinical diagnosis and tumor localization. However, the attention mechanism exhibits limitations in discriminating between instances, which often misclassifies tissues and potentially impairs MIL performance. This paper proposes an Attribute-Driven MIL (AttriMIL) framework to address these issues. Concretely, we dissect the calculation process of ABMIL and present an attribute scoring mechanism that measures the contribution of each instance to bag prediction effectively, quantifying instance attributes. Based on attribute quantification, we develop a spatial attribute constraint and an attribute ranking constraint to model instance correlations within and across slides, respectively. These constraints encourage the network to capture the spatial correlation and semantic similarity of instances, improving the ability of AttriMIL to distinguish tissue types and identify challenging instances. Additionally, AttriMIL employs a histopathology adaptive backbone that maximizes the pre-trained model's feature extraction capability for collecting pathological features. Extensive experiments on three public benchmarks demonstrate that our AttriMIL outperforms existing state-of-the-art frameworks across multiple evaluation metrics. The implementation code is available at https://github.com/MedCAI/AttriMIL.


title: Dependability Evaluation of Stable Diffusion with Soft Errors on the Model Parameters

abstract: Stable Diffusion is a popular Transformer-based model for image generation from text; it applies an image information creator to the input text and the visual knowledge is added in a step-by-step fashion to create an image that corresponds to the input text. However, this diffusion process can be corrupted by errors from the underlying hardware, which are especially relevant for implementations at the nanoscales. In this paper, the dependability of Stable Diffusion is studied focusing on soft errors in the memory that stores the model parameters; specifically, errors are injected into some critical layers of the Transformer in different blocks of the image information creator, to evaluate their impact on model performance. The simulations results reveal several conclusions: 1) errors on the down blocks of the creator have a larger impact on the quality of the generated images than those on the up blocks, while the errors on middle block have negligible effect; 2) errors on the self-attention (SA) layers have larger impact on the results than those on the cross-attention (CA) layers; 3) for CA layers, errors on deeper levels result in a larger impact; 4) errors on blocks at the first levels tend to introduce noise in the image, and those on deep layers tend to introduce large colored blocks. These results provide an initial understanding of the impact of errors on Stable Diffusion.


title: CBF-Based STL Motion Planning for Social Navigation in Crowded Environment

abstract: A motion planning methodology based on the combination of Control Barrier Functions (CBF) and Signal Temporal Logic (STL) is employed in this paper. This methodology allows task completion at any point within a specified time interval, considering a dynamic system subject to velocity constraints. In this work, we apply this approach into the context of Socially Responsible Navigation (SRN), introducing a rotation constraint. This constraint is designed to maintain the user within the robot's field of view (FOV), enhancing human-robot interaction with the concept of side-by-side human-robot companion. This angular constraint offers the possibility to customize social navigation to specific needs, thereby enabling safe SRN. Its validation is carried out through simulations demonstrating the system's effectiveness in adhering to spatio-temporal constraints, including those related to robot velocity, rotation, and the presence of static and dynamic obstacles.


title: Follow me: an architecture for user identification and social navigation with a mobile robot

abstract: Over the past decade, a multitude of service robots have been developed to fulfill a wide range of practical purposes. Notably, roles such as reception and robotic guidance have garnered extensive popularity. In these positions, robots are progressively assuming the responsibilities traditionally held by human staff in assisting customers. Ensuring the safe and socially acceptable operation of robots in such environments poses a fundamental challenge within the context of Socially Responsible Navigation (SRN). This article presents an architecture for user identification and social navigation with a mobile robot that employs computer vision, machine learning, and artificial intelligence algorithms to identify and guide users in a social navigation context, thereby providing an intuitive and user-friendly experience with the robot.


title: Design and production of a free-form lens for long range LED illumination

abstract: In this study, a procedure for designing a free-form lens for long-range LED illumination is presented. The geometrical form of the proposed lens is obtained by minimizing optical path lengths of the rays emitted from a point-like light source. Optical ray tracing simulations of two different LEDs and the free-form lens are performed by using Zemax OpticStudio. In addition, the prototype of the free-form lens is manufactured by the plastic injection molding method using PMMA material. Nine of the lenses are used to build an LED projector in the form of a 3x3 lens matrix. The optical measurements of the projector are compared with the results predicted in the simulations. It is found that the beam divergence of the projector is less than 10 degrees when using suitable LEDs in visible and near infrared regions.


title: CBF-Based Motion Planning for Socially Responsible Robot Navigation Guaranteeing STL Specification

abstract: In the field of control engineering, the connection between Signal Temporal Logic (STL) and time-varying Control Barrier Functions (CBF) has attracted considerable attention. CBFs have demonstrated notable success in ensuring the safety of critical applications by imposing constraints on system states, while STL allows for precisely specifying spatio-temporal constraints on the behavior of robotic systems. Leveraging these methodologies, this paper addresses the safety-critical navigation problem, in Socially Responsible Navigation (SRN) context, presenting a CBF-based STL motion planning methodology. This methodology enables task completion at any time within a specified time interval considering a dynamic system subject to velocity constraints. The proposed approach involves real-time computation of a smooth CBF, with the computation of a dynamically adjusted parameter based on the available path space and the maximum allowable velocity. A simulation study is conducted to validate the methodology, ensuring safety in the presence of static and dynamic obstacles and demonstrating its compliance with spatio-temporal constraints under non-linear velocity constraints.


title: Revisiting Random Weight Perturbation for Efficiently Improving Generalization

abstract: Improving the generalization ability of modern deep neural networks (DNNs) is a fundamental challenge in machine learning. Two branches of methods have been proposed to seek flat minima and improve generalization: one led by sharpness-aware minimization (SAM) minimizes the worst-case neighborhood loss through adversarial weight perturbation (AWP), and the other minimizes the expected Bayes objective with random weight perturbation (RWP). While RWP offers advantages in computation and is closely linked to AWP on a mathematical basis, its empirical performance has consistently lagged behind that of AWP. In this paper, we revisit the use of RWP for improving generalization and propose improvements from two perspectives: i) the trade-off between generalization and convergence and ii) the random perturbation generation. Through extensive experimental evaluations, we demonstrate that our enhanced RWP methods achieve greater efficiency in enhancing generalization, particularly in large-scale problems, while also offering comparable or even superior performance to SAM. The code is released at https://github.com/nblt/mARWP.


title: Spread Your Wings: A Radial Strip Transformer for Image Deblurring

abstract: Exploring motion information is important for the motion deblurring task. Recent the window-based transformer approaches have achieved decent performance in image deblurring. Note that the motion causing blurry results is usually composed of translation and rotation movements and the window-shift operation in the Cartesian coordinate system by the window-based transformer approaches only directly explores translation motion in orthogonal directions. Thus, these methods have the limitation of modeling the rotation part. To alleviate this problem, we introduce the polar coordinate-based transformer, which has the angles and distance to explore rotation motion and translation information together. In this paper, we propose a Radial Strip Transformer (RST), which is a transformer-based architecture that restores the blur images in a polar coordinate system instead of a Cartesian one. RST contains a dynamic radial embedding module (DRE) to extract the shallow feature by a radial deformable convolution. We design a polar mask layer to generate the offsets for the deformable convolution, which can reshape the convolution kernel along the radius to better capture the rotation motion information. Furthermore, we proposed a radial strip attention solver (RSAS) as deep feature extraction, where the relationship of windows is organized by azimuth and radius. This attention module contains radial strip windows to reweight image features in the polar coordinate, which preserves more useful information in rotation and translation motion together for better recovering the sharp images. Experimental results on six synthesis and real-world datasets prove that our method performs favorably against other SOTA methods for the image deblurring task.


title: Loss-based prior for tree topologies in BART models

abstract: We present a novel prior for tree topology within Bayesian Additive Regression Trees (BART) models. This approach quantifies the hypothetical loss in information and the loss due to complexity associated with choosing the wrong tree structure. The resulting prior distribution is compellingly geared toward sparsity, a critical feature considering BART models' tendency to overfit. Our method incorporates prior knowledge into the distribution via two parameters that govern the tree's depth and balance between its left and right branches. Additionally, we propose a default calibration for these parameters, offering an objective version of the prior. We demonstrate our method's efficacy on both simulated and real datasets.


title: Reusable Architecture Growth for Continual Stereo Matching

abstract: The remarkable performance of recent stereo depth estimation models benefits from the successful use of convolutional neural networks to regress dense disparity. Akin to most tasks, this needs gathering training data that covers a number of heterogeneous scenes at deployment time. However, training samples are typically acquired continuously in practical applications, making the capability to learn new scenes continually even more crucial. For this purpose, we propose to perform continual stereo matching where a model is tasked to 1) continually learn new scenes, 2) overcome forgetting previously learned scenes, and 3) continuously predict disparities at inference. We achieve this goal by introducing a Reusable Architecture Growth (RAG) framework. RAG leverages task-specific neural unit search and architecture growth to learn new scenes continually in both supervised and self-supervised manners. It can maintain high reusability during growth by reusing previous units while obtaining good performance. Additionally, we present a Scene Router module to adaptively select the scene-specific architecture path at inference. Comprehensive experiments on numerous datasets show that our framework performs impressively in various weather, road, and city circumstances and surpasses the state-of-the-art methods in more challenging cross-dataset settings. Further experiments also demonstrate the adaptability of our method to unseen scenes, which can facilitate end-to-end stereo architecture learning and practical deployment.


title: Controllable and Diverse Data Augmentation with Large Language Model for Low-Resource Open-Domain Dialogue Generation

abstract: Data augmentation (DA) is crucial to mitigate model training instability and over-fitting problems in low-resource open-domain dialogue generation. However, traditional DA methods often neglect semantic data diversity, restricting the overall quality. Recently, large language models (LLM) have been used for DA to generate diversified dialogues. However, they have limited controllability and tend to generate dialogues with a distribution shift compared to the seed dialogues. To maximize the augmentation diversity and address the controllability problem, we propose \textbf{S}ummary-based \textbf{D}ialogue \textbf{A}ugmentation with LLM (SDA). Our approach enhances the controllability of LLM by using dialogue summaries as a planning tool. Based on summaries, SDA can generate high-quality and diverse dialogue data even with a small seed dataset. To evaluate the efficacy of data augmentation methods for open-domain dialogue, we designed a clustering-based metric to characterize the semantic diversity of the augmented dialogue data. The experimental results show that SDA can augment high-quality and semantically diverse dialogues given a small seed dataset and an LLM, and the augmented data can boost the performance of open-domain dialogue models.


title: STBA: Towards Evaluating the Robustness of DNNs for Query-Limited Black-box Scenario

abstract: Many attack techniques have been proposed to explore the vulnerability of DNNs and further help to improve their robustness. Despite the significant progress made recently, existing black-box attack methods still suffer from unsatisfactory performance due to the vast number of queries needed to optimize desired perturbations. Besides, the other critical challenge is that adversarial examples built in a noise-adding manner are abnormal and struggle to successfully attack robust models, whose robustness is enhanced by adversarial training against small perturbations. There is no doubt that these two issues mentioned above will significantly increase the risk of exposure and result in a failure to dig deeply into the vulnerability of DNNs. Hence, it is necessary to evaluate DNNs' fragility sufficiently under query-limited settings in a non-additional way. In this paper, we propose the Spatial Transform Black-box Attack (STBA), a novel framework to craft formidable adversarial examples in the query-limited scenario. Specifically, STBA introduces a flow field to the high-frequency part of clean images to generate adversarial examples and adopts the following two processes to enhance their naturalness and significantly improve the query efficiency: a) we apply an estimated flow field to the high-frequency part of clean images to generate adversarial examples instead of introducing external noise to the benign image, and b) we leverage an efficient gradient estimation method based on a batch of samples to optimize such an ideal flow field under query-limited settings. Compared to existing score-based black-box baselines, extensive experiments indicated that STBA could effectively improve the imperceptibility of the adversarial examples and remarkably boost the attack success rate under query-limited settings.


title: Recent progresses in strange quark stars

abstract: According to the hypothesis that strange quark matter may be the true ground state of matter at extremely high densities, strange quark stars should be stable and could exist in the Universe. It is possible that pulsars may actually be strange stars, but not neutron stars. Here we present a short review on recent progresses in the field of strange quark stars. Three popular phenomenological models widely used to describe strange quark matter are introduced, with special attention being paid on the corresponding equation of state in each model. Combining the equation of state with the Tolman-Oppenheimer-Volkov equations, the inner structure and mass-radius relation can be obtained for the whole sequence of strange stars. Strong gravitational wave emissions may be generated by strange stars through various mechanisms, which may help identify strange stars via observations. Especially, close-in strange quark planets with respect to their hosts may provide a unique test for the existence of strange quark objects. Fierce electromagnetic bursts could also be generated by strange stars. The energy may come from the phase transition of neutron stars to strange stars, or from the merger of binary strange stars. The collapse of the strange star crust can also release a huge amount of energy. It is shown that strange quark stars may be involved in short gamma-ray bursts and fast radio bursts.


title: Accurate Cutting-point Estimation for Robotic Lychee Harvesting through Geometry-aware Learning

abstract: Accurately identifying lychee-picking points in unstructured orchard environments and obtaining their coordinate locations is critical to the success of lychee-picking robots. However, traditional two-dimensional (2D) image-based object detection methods often struggle due to the complex geometric structures of branches, leaves and fruits, leading to incorrect determination of lychee picking points. In this study, we propose a Fcaf3d-lychee network model specifically designed for the accurate localisation of lychee picking points. Point cloud data of lychee picking points in natural environments are acquired using Microsoft's Azure Kinect DK time-of-flight (TOF) camera through multi-view stitching. We augment the Fully Convolutional Anchor-Free 3D Object Detection (Fcaf3d) model with a squeeze-and-excitation(SE) module, which exploits human visual attention mechanisms for improved feature extraction of lychee picking points. The trained network model is evaluated on a test set of lychee-picking locations and achieves an impressive F1 score of 88.57%, significantly outperforming existing models. Subsequent three-dimensional (3D) position detection of picking points in real lychee orchard environments yields high accuracy, even under varying degrees of occlusion. Localisation errors of lychee picking points are within 1.5 cm in all directions, demonstrating the robustness and generality of the model.


title: An age-distributed immuno-epidemiological model with information-based vaccination decision

abstract: A new age-distributed immuno-epidemiological model with information-based vaccine uptake suggested in this work represents a system of integro-differential equations for the numbers of susceptible individuals, infected individuals, vaccinated individuals and recovered individuals. This model describes the influence of vaccination decision on epidemic progression in different age groups. We prove the existence and uniqueness of a positive solution using the fixed point theory. In a particular case of age-independent model, we determine the final size of epidemic, that is, the limiting number of susceptible individuals at asymptotically large time. Numerical simulations show that the information-based vaccine acceptance can significantly influence the epidemic progression. Though the initial stage of epidemic progression is the same for all memory kernels, as the epidemic progresses and more information about the disease becomes available, further epidemic progression strongly depends on the memory effect. Short-range memory kernel appears to be more effective in restraining the epidemic outbreaks because it allows for more responsive and adaptive vaccination decisions based on the most recent information about the disease.


title: Efficient Multi-branch Segmentation Network for Situation Awareness in Autonomous Navigation

abstract: Real-time and high-precision situational awareness technology is critical for autonomous navigation of unmanned surface vehicles (USVs). In particular, robust and fast obstacle semantic segmentation methods are essential. However, distinguishing between the sea and the sky is challenging due to the differences between port and maritime environments. In this study, we built a dataset that captured perspectives from USVs and unmanned aerial vehicles in a maritime port environment and analysed the data features. Statistical analysis revealed a high correlation between the distribution of the sea and sky and row positional information. Based on this finding, a three-branch semantic segmentation network with a row position encoding module (RPEM) was proposed to improve the prediction accuracy between the sea and the sky. The proposed RPEM highlights the effect of row coordinates on feature extraction. Compared to the baseline, the three-branch network with RPEM significantly improved the ability to distinguish between the sea and the sky without significantly reducing the computational speed.


title: SA-LSPL:Sequence-Aware Long- and Short- Term Preference Learning for next POI recommendation

abstract: The next Point of Interest (POI) recommendation aims to recommend the next POI for users at a specific time. As users' check-in records can be viewed as a long sequence, methods based on Recurrent Neural Networks (RNNs) have recently shown good applicability to this task. However, existing methods often struggle to fully explore the spatio-temporal correlations and dependencies at the sequence level, and don't take full consideration for various factors influencing users' preferences. To address these issues, we propose a novel approach called Sequence-Aware Long- and Short-Term Preference Learning (SA-LSPL) for next-POI recommendation. We combine various information features to effectively model users' long-term preferences. Specifically, our proposed model uses a multi-modal embedding module to embed diverse check-in details, taking into account both user's personalized preferences and social influences comprehensively. Additionally, we consider explicit spatio-temporal correlations at the sequence level and implicit sequence dependencies. Furthermore, SA-LSPL learns the spatio-temporal correlations of consecutive and non-consecutive visits in the current check-in sequence, as well as transition dependencies between categories, providing a comprehensive capture of user's short-term preferences. Extensive experiments on two real-world datasets demonstrate the superiority of SA-LSPL over state-of-the-art baseline methods.


title: Towards Variable and Coordinated Holistic Co-Speech Motion Generation

abstract: This paper addresses the problem of generating lifelike holistic co-speech motions for 3D avatars, focusing on two key aspects: variability and coordination. Variability allows the avatar to exhibit a wide range of motions even with similar speech content, while coordination ensures a harmonious alignment among facial expressions, hand gestures, and body poses. We aim to achieve both with ProbTalk, a unified probabilistic framework designed to jointly model facial, hand, and body movements in speech. ProbTalk builds on the variational autoencoder (VAE) architecture and incorporates three core designs. First, we introduce product quantization (PQ) to the VAE, which enriches the representation of complex holistic motion. Second, we devise a novel non-autoregressive model that embeds 2D positional encoding into the product-quantized representation, thereby preserving essential structure information of the PQ codes. Last, we employ a secondary stage to refine the preliminary prediction, further sharpening the high-frequency details. Coupling these three designs enables ProbTalk to generate natural and diverse holistic co-speech motions, outperforming several state-of-the-art methods in qualitative and quantitative evaluations, particularly in terms of realism. Our code and model will be released for research purposes at https://feifeifeiliu.github.io/probtalk/.


title: Worker Robot Cooperation and Integration into the Manufacturing Workcell via the Holonic Control Architecture

abstract: Worker-Robot Cooperation is a new industrial trend, which aims to sum the advantages of both the human and the industrial robot to afford a new intelligent manufacturing techniques. The cooperative manufacturing between the worker and the robot contains other elements such as the product parts and the manufacturing tools. All these production elements must cooperate in one manufacturing workcell to fulfill the production requirements. The manufacturing control system is the mean to connect all these cooperative elements together in one body. This manufacturing control system is distributed and autonomous due to the nature of the cooperative workcell. Accordingly, this article proposes the holonic control architecture as the manufacturing concept of the cooperative workcell. Furthermore, the article focuses on the feasibility of this manufacturing concept, by applying it over a case study that involves the cooperation between a dual-arm robot and a worker. During this case study, the worker uses a variety of hand gestures to cooperate with the robot to achieve the highest production flexibility


title: Inverse Optimal Cardano-Lyapunov Feedback for PDEs with Convection

abstract: We consider the problem of inverse optimal control design for systems that are not affine in the control. In particular, we consider some classes of partial differential equations (PDEs) with quadratic convection and counter-convection, for which the L2 norm is a control Lyapunov function (CLF) whose derivative has either a depressed cubic or a quadratic dependence in the boundary control input. We also consider diffusive PDEs with or without linear convection, for which a weighted L2 norm is a CLF whose derivative has a quadratic dependence in the control input. For each structure on the derivative of the CLF, we achieve inverse optimality with respect to a meaningful cost functional. For the case where the derivative of the CLF has a depressed cubic dependence in the control, we construct a cost functional for which the unique minimizer is the unique real root of a cubic polynomial: the Cardano-Lyapunov controller. When the derivative of the CLF is quadratic in the control, we construct a cost functional that is minimized by two distinct feedback laws, that correspond to the two distinct real roots of a quadratic equation. We show how to switch from one root to the other to reduce the control effort.


title: From Learning to Analytics: Improving Model Efficacy with Goal-Directed Client Selection

abstract: Federated learning (FL) is an appealing paradigm for learning a global model among distributed clients while preserving data privacy. Driven by the demand for high-quality user experiences, evaluating the well-trained global model after the FL process is crucial. In this paper, we propose a closed-loop model analytics framework that allows for effective evaluation of the trained global model using clients' local data. To address the challenges posed by system and data heterogeneities in the FL process, we study a goal-directed client selection problem based on the model analytics framework by selecting a subset of clients for the model training. This problem is formulated as a stochastic multi-armed bandit (SMAB) problem. We first put forth a quick initial upper confidence bound (Quick-Init UCB) algorithm to solve this SMAB problem under the federated analytics (FA) framework. Then, we further propose a belief propagation-based UCB (BP-UCB) algorithm under the democratized analytics (DA) framework. Moreover, we derive two regret upper bounds for the proposed algorithms, which increase logarithmically over the time horizon. The numerical results demonstrate that the proposed algorithms achieve nearly optimal performance, with a gap of less than 1.44% and 3.12% under the FA and DA frameworks, respectively.


title: Non-ergodicity on the SU(2)-character varieties

abstract: We describe the dynamics of a group $\Gamma$ generated by Dehn twists along two filling multi-curves or a family of filling curves on the SU(2)-representation variety of closed surfaces. Consequently, we provide explicit $\Gamma$-invariant rational functions on the representation variety of the genus two closed surface $S_2$ for some pair of multi-curves. We establish a similar result for the SU(2)-character variety of genus four non-orientable surfaces $N_4$ for some family of filling curves.


title: The Devil is in the Edges: Monocular Depth Estimation with Edge-aware Consistency Fusion

abstract: This paper presents a novel monocular depth estimation method, named ECFNet, for estimating high-quality monocular depth with clear edges and valid overall structure from a single RGB image. We make a thorough inquiry about the key factor that affects the edge depth estimation of the MDE networks, and come to a ratiocination that the edge information itself plays a critical role in predicting depth details. Driven by this analysis, we propose to explicitly employ the image edges as input for ECFNet and fuse the initial depths from different sources to produce the final depth. Specifically, ECFNet first uses a hybrid edge detection strategy to get the edge map and edge-highlighted image from the input image, and then leverages a pre-trained MDE network to infer the initial depths of the aforementioned three images. After that, ECFNet utilizes a layered fusion module (LFM) to fuse the initial depth, which will be further updated by a depth consistency module (DCM) to form the final estimation. Extensive experimental results on public datasets and ablation studies indicate that our method achieves state-of-the-art performance. Project page: https://zrealli.github.io/edgedepth.


title: How does information emerge from a black hole?

abstract: An examination of the constraints of quantum gravity leads to a clear physical picture for how information about the initial state is transferred to the Hawking radiation that emerges from a black hole.


title: Dynamic Viscosity of the ABC-stacked Multilayer Graphene in the Collisionless Regime

abstract: We explore the dynamic shear viscosity of the undoped ABC-stacked multilayer graphene based on the chiral-$N$ effective Hamiltonian, where the chirality $N$ is equivalent to the layer number. We investigate the dependence of the dynamic shear viscosity on the frequency in the collisionless regime and calculate Coulomb interaction corrections by three leading order Feynman diagrams: self-energy diagram, vertex diagram, and honey diagram. We propose that the dynamic shear viscosity is generated by the relaxation of momentum flux polarization through electron-hole excitations, and that the interaction can amplify this effect. Furthermore, our research indicates that the dynamic shear viscosity exhibits a robust linear positive dependence on $N$. This finding suggests that by making modifications to the number of layers in graphene, it is possible to finely tune the electron viscous effects.


title: Small Language Models Learn Enhanced Reasoning Skills from Medical Textbooks

abstract: While recent advancements in commercial large language models (LM) have shown promising results in medical tasks, their closed-source nature poses significant privacy and security concerns, hindering their widespread use in the medical field. Despite efforts to create open-source models, their limited parameters often result in insufficient multi-step reasoning capabilities required for solving complex medical problems. To address this, we introduce Meerkat-7B, a novel medical AI system with 7 billion parameters. Meerkat-7B was trained using our new synthetic dataset consisting of high-quality chain-of-thought reasoning paths sourced from 18 medical textbooks, along with diverse instruction-following datasets. Our system achieved remarkable accuracy across seven medical benchmarks, surpassing GPT-3.5 by 13.1%, as well as outperforming the previous best 7B models such as MediTron-7B and BioMistral-7B by 13.4% and 9.8%, respectively. Notably, it surpassed the passing threshold of the United States Medical Licensing Examination (USMLE) for the first time for a 7B-parameter model. Additionally, our system offered more detailed free-form responses to clinical queries compared to existing 7B and 13B models, approaching the performance level of GPT-3.5. This significantly narrows the performance gap with large LMs, showcasing its effectiveness in addressing complex medical challenges.


title: Maximal quantum interaction between free electrons and photons

abstract: The emerging field of free-electron quantum optics enables electron-photon entanglement and holds the potential for generating nontrivial photon states for quantum information processing. Although recent experimental studies have entered the quantum regime, rapid theoretical developments predict that qualitatively unique phenomena only emerge beyond a certain interaction strength. It is thus pertinent to identify the maximal electron-photon interaction strength and the materials, geometries, and particle energies that enable one to approach it. We derive an upper limit to the quantum vacuum interaction strength between free electrons and single-mode photons, which illuminates the conditions for the strongest interaction. Crucially, we obtain an explicit energy selection recipe for electrons and photons to achieve maximal interaction at arbitrary separations and identify two optimal regimes favoring either fast or slow electrons over those with intermediate velocities. We validate the limit by analytical and numerical calculations on canonical geometries and provide near-optimal designs indicating the feasibility of strong quantum interactions. Our findings offer fundamental intuition for maximizing the quantum interaction between free electrons and photons and provide practical design rules for future experiments on electron-photon and electron-mediated photon-photon entanglement. They should also enable the evaluation of key metrics for applications such as the maximum power of free-electron radiation sources and the maximum acceleration gradient of dielectric laser accelerators.

categories: quant-ph cond-mat.mes-hall physics.acc-ph physics.optics


title: Velocity Dispersion and H$\alpha$ emission of Ionized Gas in Star-forming Regions

abstract: For understanding the nature of gaseous flows in star-forming regions of nearby galaxies it is usually utilized the relation between surface brightness in H$\alpha$ line and velocity dispersion of ionized gas known as ''surface brightness -- velocity dispersion diagram''. Using the three-dimensional gasdynamic simulations we consider the evolution of the synthetic diagrams for supershells driven by multiple supernova explosions in stellar cluster located in the galactic disk. We investigate the shape and structure of the diagrams depending on gaseous density and metallicity, disk scale height values. We show that there are several loci of values typical for young bubbles evolved in dense or rarefied gas at large heights above the disk midplane. We find that the structure of the diagram is depended on age of a supershell and physical conditions of a gas in the disk. We argue that the diagrams obtained for the nearby dwarf galaxies can be interpreted by only using the dynamics of bubbles driven by multiple supernova explosions in low-mass stellar clusters of different age.


title: Non-additive Stochastic Model for Supercooled Liquids: New Perspectives for Glass Science

abstract: We present a review of the Non-additive Stochastic Model for supercooled liquids (NSM), an efficient approach for diffusive processes that provides a suitable interpretation for the non-Arrhenius dynamics in these materials. Based on a class of non-homogeneous continuity equations, the NSM provides functions able to model the thermal behavior of the viscosity and diffusivity in fragile liquids. The model defines a rigorous physical criterion that distinguishes super-Arrhenius from sub-Arrhenius processes, establishes a robust scale of fragility, describes fragile-to-strong curves in Angell's plot, and provides an accurate fitting equation for experimental viscosity data as effective as other viscosity classic models.


title: DHR: Dual Features-Driven Hierarchical Rebalancing in Inter- and Intra-Class Regions for Weakly-Supervised Semantic Segmentation

abstract: Weakly-supervised semantic segmentation (WSS) ensures high-quality segmentation with limited data and excels when employed as input seed masks for large-scale vision models such as Segment Anything. However, WSS faces challenges related to minor classes since those are overlooked in images with adjacent multiple classes, a limitation originating from the overfitting of traditional expansion methods like Random Walk. We first address this by employing unsupervised and weakly-supervised feature maps instead of conventional methodologies, allowing for hierarchical mask enhancement. This method distinctly categorizes higher-level classes and subsequently separates their associated lower-level classes, ensuring all classes are correctly restored in the mask without losing minor ones. Our approach, validated through extensive experimentation, significantly improves WSS across five benchmarks (VOC: 79.8\%, COCO: 53.9\%, Context: 49.0\%, ADE: 32.9\%, Stuff: 37.4\%), reducing the gap with fully supervised methods by over 84\% on the VOC validation set. Code is available at https://github.com/shjo-april/DHR.


title: Tracking Dusty Cloud Crushed by a Hot Flow

abstract: The destruction of clouds by strong shocks and hot winds is the key process responsible for the transp orting of metals and dust from the ISM to the ICM/IGM, and establishing the multiphase structure in and around galaxies. In this work, we perform a detailed analysis of this process using two different approaches for tracking the cloud material (gas and dust): the so-called 'colored' fluid, and the Lagrangian (trace) particles. We find that for the clouds in the hot phase ($T>10^5$ K), the two methods produce significantly different mass fractions and velocities of the cloud material. In contrast, the two methods produce similar results for the clouds that are in the warm/cold phases ($T < 10^5$ K). We find that the Kelvin--Helmholtz instability is suppressed in the warm clouds of size $\sim$100 pc and metallicity $Z\gt 0.1 Z_\odot$ due to effective gas cooling. This causes a delay in the destruction of such clouds that are interacting with the hot ICM flow. We demonstrate that the dust particles that are evacuated from their 'parent' clouds to the hot medium show different dynamics when compared to that of the Lagrangian (trace) particles. Our results indicate that the dust grains swept out to the hot gas are destroyed.


title: Non-homogeneous stochastic linear-quadratic optimal control problems with multi-dimensional state and regime switching

abstract: In this paper, we study non-homogeneous stochastic linear-quadratic (LQ) optimal control problems with multi-dimensional state and regime switching. We focus on the corresponding stochastic Riccati equation, which is the same as that one in homogeneous stochastic LQ optimal control problem, and the adjoint backward stochastic differential equation (BSDE), which arises from the non-homogeneous terms in the state equation and cost functional. Both stochastic Riccati equation and adjoint BSDE are solved by the contraction mapping method, and are used to represent the closed-loop optimal control and the optimal value of our problems.


title: SpikingJET: Enhancing Fault Injection for Fully and Convolutional Spiking Neural Networks

abstract: As artificial neural networks become increasingly integrated into safety-critical systems such as autonomous vehicles, devices for medical diagnosis, and industrial automation, ensuring their reliability in the face of random hardware faults becomes paramount. This paper introduces SpikingJET, a novel fault injector designed specifically for fully connected and convolutional Spiking Neural Networks (SNNs). Our work underscores the critical need to evaluate the resilience of SNNs to hardware faults, considering their growing prominence in real-world applications. SpikingJET provides a comprehensive platform for assessing the resilience of SNNs by inducing errors and injecting faults into critical components such as synaptic weights, neuron model parameters, internal states, and activation functions. This paper demonstrates the effectiveness of Spiking-JET through extensive software-level experiments on various SNN architectures, revealing insights into their vulnerability and resilience to hardware faults. Moreover, highlighting the importance of fault resilience in SNNs contributes to the ongoing effort to enhance the reliability and safety of Neural Network (NN)-powered systems in diverse domains.


title: TTD: Text-Tag Self-Distillation Enhancing Image-Text Alignment in CLIP to Alleviate Single Tag Bias

abstract: We identify a critical bias in contemporary CLIP-based models, which we denote as single tag bias. This bias manifests as a disproportionate focus on a singular tag (word) while neglecting other pertinent tags, stemming from CLIP's text embeddings that prioritize one specific tag in image-text relationships. When deconstructing text into individual tags, only one tag tends to have high relevancy with CLIP's image embedding, leading to biased tag relevancy. In this paper, we introduce a novel two-step fine-tuning approach, Text-Tag Self-Distillation (TTD), to address this challenge. TTD first extracts image-relevant tags from text based on their similarity to the nearest pixels then employs a self-distillation strategy to align combined masks with the text-derived mask. This approach ensures the unbiased image-text alignment of the CLIP-based models using only image-text pairs without necessitating additional supervision. Our technique demonstrates model-agnostic improvements in multi-tag classification and segmentation tasks, surpassing competing methods that rely on external resources. The code is available at https://github.com/shjo-april/TTD.


title: Constrained Layout Generation with Factor Graphs

abstract: This paper addresses the challenge of object-centric layout generation under spatial constraints, seen in multiple domains including floorplan design process. The design process typically involves specifying a set of spatial constraints that include object attributes like size and inter-object relations such as relative positioning. Existing works, which typically represent objects as single nodes, lack the granularity to accurately model complex interactions between objects. For instance, often only certain parts of an object, like a room's right wall, interact with adjacent objects. To address this gap, we introduce a factor graph based approach with four latent variable nodes for each room, and a factor node for each constraint. The factor nodes represent dependencies among the variables to which they are connected, effectively capturing constraints that are potentially of a higher order. We then develop message-passing on the bipartite graph, forming a factor graph neural network that is trained to produce a floorplan that aligns with the desired requirements. Our approach is simple and generates layouts faithful to the user requirements, demonstrated by a large improvement in IOU scores over existing methods. Additionally, our approach, being inferential and accurate, is well-suited to the practical human-in-the-loop design process where specifications evolve iteratively, offering a practical and powerful tool for AI-guided design.


title: Jetsons at FinNLP 2024: Towards Understanding the ESG Impact of a News Article using Transformer-based Models

abstract: In this paper, we describe the different approaches explored by the Jetsons team for the Multi-Lingual ESG Impact Duration Inference (ML-ESG-3) shared task. The shared task focuses on predicting the duration and type of the ESG impact of a news article. The shared task dataset consists of 2,059 news titles and articles in English, French, Korean, and Japanese languages. For the impact duration classification task, we fine-tuned XLM-RoBERTa with a custom fine-tuning strategy and using self-training and DeBERTa-v3 using only English translations. These models individually ranked first on the leaderboard for Korean and Japanese and in an ensemble for the English language, respectively. For the impact type classification task, our XLM-RoBERTa model fine-tuned using a custom fine-tuning strategy ranked first for the English language.


title: Inexactness and Correction of Floating-Point Reciprocal, Division and Square Root

abstract: Floating-point arithmetic performance determines the overall performance of important applications, from graphics to AI. Meeting the IEEE-754 specification for floating-point requires that final results of addition, subtraction, multiplication, division, and square root are correctly rounded based on the user-selected rounding mode. A frustrating fact for implementers is that naive rounding methods will not produce correctly rounded results even when intermediate results with greater accuracy and precision are available. In contrast, our novel algorithm can correct approximations of reciprocal, division and square root, even ones with slightly lower than target precision. In this paper, we present a family of algorithms that can both increase the accuracy (and potentially the precision) of an estimate and correctly round it according to all binary IEEE-754 rounding modes. We explain how it may be efficiently implemented in hardware, and for completeness, we present proofs that it is not necessary to include equality tests associated with round-to-nearest-even mode for reciprocal, division and square root functions, because it is impossible for input(s) in a given precision to have exact answers exactly midway between representable floating-point numbers in that precision. In fact, our simpler proofs are sometimes stronger.


title: Approximation of the electronic terms of diatomic molecules by the Morse function. The role of anharmonicity. II. Simple terms

abstract: This article continues the series of works by the authors on the approximation of the electronic terms of diatomic molecules by the Morse formula, which is the simplest anharmonic approximation of the real term U(r). Depending on the choice of parameters, the approximation has two alternative solutions M1(r) and M2(r), with different patterns of deviations from the real term and its vibrational structure. The difference {\delta}(r)=U(r)-M(r) quantitatively shows the changes in the shape of the terms during approximation. We introduced an empirical anharmonicity function -2{\omega}_e x(v), which characterizes the positions of vibrational levels in the potential well; it demonstrates the distortion of the vibrational structure of the term U(r) during the approximation. Based on the data from literature, the functions {\delta}(r) and -2{\omega}_e x(v) were constructed for more than 20 molecules. Here we present a group of simple terms with minimal deviations from the Morse shape.


title: On the rank of the multivariable $(\varphi,\mathcal{O}_K^{\times})$-modules associated to mod $p$ representations of $\operatorname{GL}_2(K)$

abstract: Let $p$ be a prime number, $K$ a finite unramified extension of $\mathbb{Q}_p$ and $\mathbb{F}$ a finite extension of $\mathbb{F}_p$. For $\pi$ an admissible smooth representation of $\operatorname{GL}_2(K)$ over $\mathbb{F}$ satisfying certain multiplicity-one properties, we compute the rank of the associated \'etale $(\varphi,\mathcal{O}_K^{\times})$-module $D_A(\pi)$ defined by Breuil-Herzig-Hu-Morra-Schraen, extending their results.


title: Learning truly monotone operators with applications to nonlinear inverse problems

abstract: This article introduces a novel approach to learning monotone neural networks through a newly defined penalization loss. The proposed method is particularly effective in solving classes of variational problems, specifically monotone inclusion problems, commonly encountered in image processing tasks. The Forward-Backward-Forward (FBF) algorithm is employed to address these problems, offering a solution even when the Lipschitz constant of the neural network is unknown. Notably, the FBF algorithm provides convergence guarantees under the condition that the learned operator is monotone. Building on plug-and-play methodologies, our objective is to apply these newly learned operators to solving non-linear inverse problems. To achieve this, we initially formulate the problem as a variational inclusion problem. Subsequently, we train a monotone neural network to approximate an operator that may not inherently be monotone. Leveraging the FBF algorithm, we then show simulation examples where the non-linear inverse problem is successfully solved.


title: Robust time-discretisation and linearisation schemes for singular and degenerate evolution systems modelling biofilm growth

abstract: We propose and analyse numerical schemes for a system of quasilinear, degenerate evolution equations modelling biofilm growth as well as other processes such as flow through porous media and the spreading of wildfires. The first equation in the system is parabolic and exhibits degenerate and singular diffusion, while the second is either uniformly parabolic or an ordinary differential equation. First, we introduce a semi-implicit time discretisation that has the benefit of decoupling the equations. We prove the positivity, boundedness, and convergence of the time-discrete solutions to the time-continuous solution. Then, we introduce an iterative linearisation scheme to solve the resulting nonlinear time-discrete problems. Under weak assumptions on the time-step size, we prove that the scheme converges irrespective of the space discretisation and mesh. Moreover, if the problem is non-degenerate, the convergence becomes faster as the time-step size decreases. Finally, employing the finite element method for the spatial discretisation, we study the behaviour of the scheme, and compare its performance to other commonly used schemes. These tests confirm that the proposed scheme is robust and fast.


title: Designing a User-centric Framework for Information Quality Ranking of Large-scale Street View Images

abstract: Street view imagery (SVI), largely captured via outfitted fleets or mounted dashcams in consumer vehicles is a rapidly growing source of geospatial data used in urban sensing and development. These datasets are often collected opportunistically, are massive in size, and vary in quality which limits the scope and extent of their use in urban planning. Thus far there has not been much work to identify the obstacles experienced and tools needed by the users of such datasets. This severely limits the opportunities of using emerging street view images in supporting novel research questions that can improve the quality of urban life. This work includes a formative interview study with 5 expert users of large-scale street view datasets from academia, urban planning, and related professions which identifies novel use cases, challenges, and opportunities to increase the utility of these datasets. Based on the user findings, we present a framework to evaluate the quality of information for street images across three attributes (spatial, temporal, and content) that stakeholders can utilize for estimating the value of a dataset, and to improve it over time for their respective use case. We then present a case study using novel street view images where we evaluate our framework and present practical use cases for users. We discuss the implications for designing future systems to support the collection and use of street view data to assist in sensing and planning the urban environment.


title: Optimum surface-passivation schemes for near-surface spin defects in silicon carbide

abstract: Spin-active defects in silicon carbide (SiC) are promising quantum light sources for realizing scalable quantum technologies. In different applications, these photoluminescent defects are often placed in a nanostructured host or close to surfaces in order to enhance the signal from the defects. However, proximity to the surface not only modifies frequencies of the quantum emission from the defect, but also adversely affects their photo-stability, resulting in blinking and/or photobleaching of the defect. These effects can be ameliorated by passivating surfaces with optimal adsorbates. In this work, we explore different passivation schemes using density functional theory-based calculations. We show that a uniform surface passivation with either hydrogen or with mixed hydrogen/hydroxyl groups completely removes surface states from the SiC band gap, restoring the optical properties of the defects.


title: Analysis of Fairness-promoting Optimization Schemes of Photovoltaic Curtailments for Voltage Regulation in Power Distribution Networks

abstract: Active power curtailment of photovoltaic (PV) generation is commonly exercised to mitigate over-voltage issues in power distribution networks. However, fairness concerns arise as certain PV plants may experience more significant curtailments than others depending on their locations within the network. Existing literature tackles this issue through fairness-promoting/aware optimization schemes. These schemes can be broadly categorized into two types. The first type maximizes an additional fairness objective along with the main objective of curtailment minimization. The second type is formulated as a feedback controller, where fairness is accounted for by assigning different weights (as feedback) in the curtailment minimization objective for each PV plant based on previous curtailment actions. In this work, we combine these two schemes and provide extensive analyses and comparisons of these two fairness schemes. We compare the performance in terms of fairness and net curtailments for several benchmark test networks.


title: A First Ontological Model for the Description of the Art Market in the Semantic Web

abstract: This dissertation presents the first version of a project at the Fondazione Federico Zeri, aimed at modelling the art market starting from the recognition of the peculiarities of this sector and relying on the data collected by this institute during its research activities on its documentary collection. Specifically, this study describes the development of an ontology, able to describe agents, events and sources which define the art market and enable its investigation. The recognition of existing conceptual models is hence followed by the description of the adopted methodology, based on the protocol SAMOD. The central section provides a general overview of the final ontology, integrating the results of a preliminary study. Lastly, the appendix lists motivating scenarios, examples and competency questions collected during the first SAMOD iterations, as well as a first alignment with existing models.


title: Lubin-Tate and multivariable $(\varphi,\mathcal{O}_K^{\times})$-modules in dimension 2

abstract: Let $p$ be a prime number, $K$ a finite unramified extension of $\mathbb{Q}_p$ and $\mathbb{F}$ a finite extension of $\mathbb{F}_p$. For $\overline{\rho}$ any reducible two-dimensional representation of $\operatorname{Gal}(\overline{K}/K)$ over $\mathbb{F}$, we compute explicitly the associated \'etale $(\varphi,\mathcal{O}_K^{\times})$-module $D_A^{\otimes}(\overline{\rho})$ defined by Breuil-Herzig-Hu-Morra-Schraen. Then we let $\pi$ be an admissible smooth representation of $\operatorname{GL}_2(K)$ over $\mathbb{F}$ occurring in some Hecke eigenspaces of the mod $p$ cohomology and $\overline{\rho}$ be its underlying two-dimensional representation of $\operatorname{Gal}(\overline{K}/K)$ over $\mathbb{F}$. Assuming that $\overline{\rho}$ is maximally non-split, we prove under some genericity assumption that the associated \'etale $(\varphi,\mathcal{O}_K^{\times})$-module $D_A(\pi)$ defined by Breuil-Herzig-Hu-Morra-Schraen is isomorphic to $D_A^{\otimes}(\overline{\rho})$. This extends the results of Breuil-Herzig-Hu-Morra-Schraen, where $\overline{\rho}$ was assumed to be semisimple.


title: An Analysis of BPE Vocabulary Trimming in Neural Machine Translation

abstract: We explore threshold vocabulary trimming in Byte-Pair Encoding subword tokenization, a postprocessing step that replaces rare subwords with their component subwords. The technique is available in popular tokenization libraries but has not been subjected to rigorous scientific scrutiny. While the removal of rare subwords is suggested as best practice in machine translation implementations, both as a means to reduce model size and for improving model performance through robustness, our experiments indicate that, across a large space of hyperparameter settings, vocabulary trimming fails to improve performance, and is even prone to incurring heavy degradation.


title: Revisiting the region determined by Spearman's $\rho$ and Spearman's footrule $\phi$

abstract: Kokol and Stopar ($2023$) recently studied the exact region $\Omega_{\phi,\rho}$ determined by Spearman's footrule $\phi$ and Spearman's $\rho$ and derived a sharp lower, as well as a non-sharp upper bound for $\rho$ given $\phi$. Considering that the proofs for establishing these inequalities are novel and interesting, but technically quite involved we here provide alternative simpler proofs mainly building upon shuffles, symmetry, denseness and mass shifting. As a by-product of these proofs we derive several additional results on shuffle rearrangements and the interplay between diagonal copulas and shuffles which are of independent interest. Moreover we finally show that we can get closer to the (non-sharp) upper bound than established in the literature so far.


title: Aurora-M: The First Open Source Multilingual Language Model Red-teamed according to the U.S. Executive Order

abstract: Pretrained language models underpin several AI applications, but their high computational cost for training limits accessibility. Initiatives such as BLOOM and StarCoder aim to democratize access to pretrained models for collaborative community development. However, such existing models face challenges: limited multilingual capabilities, continual pretraining causing catastrophic forgetting, whereas pretraining from scratch is computationally expensive, and compliance with AI safety and development laws. This paper presents Aurora-M, a 15B parameter multilingual open-source model trained on English, Finnish, Hindi, Japanese, Vietnamese, and code. Continually pretrained from StarCoderPlus on 435 billion additional tokens, Aurora-M surpasses 2 trillion tokens in total training token count. It is the first open-source multilingual model fine-tuned on human-reviewed safety instructions, thus aligning its development not only with conventional red-teaming considerations, but also with the specific concerns articulated in the Biden-Harris Executive Order on the Safe, Secure, and Trustworthy Development and Use of Artificial Intelligence. Aurora-M is rigorously evaluated across various tasks and languages, demonstrating robustness against catastrophic forgetting and outperforming alternatives in multilingual settings, particularly in safety evaluations. To promote responsible open-source LLM development, Aurora-M and its variants are released at https://huggingface.co/collections/aurora-m/aurora-m-models-65fdfdff62471e09812f5407 .


title: Mean First Passage Times for Transport Equations

abstract: Many transport processes in ecology, physics and biochemistry can be described by the average time to first find a site or exit a region, starting from an initial position. Typical mathematical treatments are based on formulations that allow for various diffusive forms and geometries but where only initial and final positions are taken into account. Here, we develop a general theory for the mean first passage time (MFPT) for velocity jump processes. For random walkers, both position and velocity are tracked and the resulting Fokker-Planck equation takes the form of a kinetic transport equation. Starting from the forward and backward formulations we derive a general elliptic integro-PDE for the MFPT of a random walker starting at a given location with a given velocity. We focus on two scenarios that are relevant to biological modelling; the diffusive case and the anisotropic case. For the anisotropic case we also perform a parabolic scaling, leading to a well known anisotropic MFPT equation. To illustrate the results we consider a two-dimensional circular domain under radial symmetry, where the MFPT equations can be solved explicitly. Furthermore, we consider the MFPT of a random walker in an ecological habitat that is perturbed by linear features, such as wolf movement in a forest habitat that is crossed by seismic lines.


title: How Robust are the Tabular QA Models for Scientific Tables? A Study using Customized Dataset

abstract: Question-answering (QA) on hybrid scientific tabular and textual data deals with scientific information, and relies on complex numerical reasoning. In recent years, while tabular QA has seen rapid progress, understanding their robustness on scientific information is lacking due to absence of any benchmark dataset. To investigate the robustness of the existing state-of-the-art QA models on scientific hybrid tabular data, we propose a new dataset, "SciTabQA", consisting of 822 question-answer pairs from scientific tables and their descriptions. With the help of this dataset, we assess the state-of-the-art Tabular QA models based on their ability (i) to use heterogeneous information requiring both structured data (table) and unstructured data (text) and (ii) to perform complex scientific reasoning tasks. In essence, we check the capability of the models to interpret scientific tables and text. Our experiments show that "SciTabQA" is an innovative dataset to study question-answering over scientific heterogeneous data. We benchmark three state-of-the-art Tabular QA models, and find that the best F1 score is only 0.462.


title: Stochastic correction to the Maxwell-Bloch equations via the positive P-representation

abstract: Focusing on two-level atoms, we apply the positive P-representation to a full-wave mixed bosonic and fermionic system of Jaynes-Cummings type and identify an advantageous degree of freedom in the choice of the involved nonorthogonal fermionic basis states. On this basis, we propose a stochastic correction to the Maxwell-Bloch equations by relating them to a stochastic differential equation on a nonclassical phase space, which captures the full second quantization dynamics of the system. This approach explores the connection between semiclassical and field-quantized treatments of light-matter interaction and can potentially be used for the simulation of nonclassical light sources while retaining the main advantages of a semiclassical model.


title: UniMEEC: Towards Unified Multimodal Emotion Recognition and Emotion Cause

abstract: Multimodal emotion recognition in conversation (MERC) and multimodal emotion-cause pair extraction (MECPE) has recently garnered significant attention. Emotions are the expression of affect or feelings; responses to specific events, thoughts, or situations are known as emotion causes. Both are like two sides of a coin, collectively describing human behaviors and intents. However, most existing works treat MERC and MECPE as separate tasks, which may result in potential challenges in integrating emotion and cause in real-world applications. In this paper, we propose a Unified Multimodal Emotion recognition and Emotion-Cause analysis framework (UniMEEC) to explore the causality and complementarity between emotion and emotion cause. Concretely, UniMEEC reformulates the MERC and MECPE tasks as two mask prediction problems, enhancing the interaction between emotion and cause. Meanwhile, UniMEEC shares the prompt learning among modalities for probing modality-specific knowledge from the Pre-trained model. Furthermore, we propose a task-specific hierarchical context aggregation to control the information flow to the task. Experiment results on four public benchmark datasets verify the model performance on MERC and MECPE tasks and achieve consistent improvements compared with state-of-the-art methods.


title: Value, Representation, Information and Communication

abstract: A new analytic framework is first formalized via the usage of the Monadology (Leibniz 1898), to expand the understanding of Zermelo-Fraenkel-choice set theory (ZFC) and Von Neumann-Bernays-Godel set theory (NBG). Implicitly, the framework levels value, representation and information separately. Given the fact that there exists a coincidental equivalence between Von Neumann universe and originally-formalized motivation in ZFC, this work hypothesizes the essential of ordered values for one monand, to carry out efficient communication with the rest. This work then focuses on the relationship among values, representation and information (and suggests potential methods for quantitative analysis). First, this framework generalizes the definition of values and representations from "Indexes approximate Values" principle by (Peng 2023) via surreal numbers (Knuth 1974). Second, credited to surreal numbers, this work recursively connects representations and information via subsets of sets. Therefore, the definition to metric space(s) is naturally formed by representations, and quantitative methods (e.g., Hausdorff Distance) can be applied for quantitative analysis among (sub)sets. Third, this framework conjectures that: as long as the metric space is (or can be formed as) complete, the existence tests can be performed via Cauchy Sequence (or its generalized methods). This work finally revisits the communication theory, and suggests new perspectives from the new analytic framework. Particularly, this work hypothesizes a (quantitative) relationship between values and representation, and conjectures that: the optimal construction of representations exists, and it can be derived as the core value of one monad via Cauchy Inequality (or its generalized methods).


title: A Taxonomy for Human-LLM Interaction Modes: An Initial Exploration

abstract: With ChatGPT's release, conversational prompting has become the most popular form of human-LLM interaction. However, its effectiveness is limited for more complex tasks involving reasoning, creativity, and iteration. Through a systematic analysis of HCI papers published since 2021, we identified four key phases in the human-LLM interaction flow - planning, facilitating, iterating, and testing - to precisely understand the dynamics of this process. Additionally, we have developed a taxonomy of four primary interaction modes: Mode 1: Standard Prompting, Mode 2: User Interface, Mode 3: Context-based, and Mode 4: Agent Facilitator. This taxonomy was further enriched using the "5W1H" guideline method, which involved a detailed examination of definitions, participant roles (Who), the phases that happened (When), human objectives and LLM abilities (What), and the mechanics of each interaction mode (How). We anticipate this taxonomy will contribute to the future design and evaluation of human-LLM interaction.


title: TACO -- Twitter Arguments from COnversations

abstract: Twitter has emerged as a global hub for engaging in online conversations and as a research corpus for various disciplines that have recognized the significance of its user-generated content. Argument mining is an important analytical task for processing and understanding online discourse. Specifically, it aims to identify the structural elements of arguments, denoted as information and inference. These elements, however, are not static and may require context within the conversation they are in, yet there is a lack of data and annotation frameworks addressing this dynamic aspect on Twitter. We contribute TACO, the first dataset of Twitter Arguments utilizing 1,814 tweets covering 200 entire conversations spanning six heterogeneous topics annotated with an agreement of 0.718 Krippendorff's alpha among six experts. Second, we provide our annotation framework, incorporating definitions from the Cambridge Dictionary, to define and identify argument components on Twitter. Our transformer-based classifier achieves an 85.06\% macro F1 baseline score in detecting arguments. Moreover, our data reveals that Twitter users tend to engage in discussions involving informed inferences and information. TACO serves multiple purposes, such as training tweet classifiers to manage tweets based on inference and information elements, while also providing valuable insights into the conversational reply patterns of tweets.


title: Anisotropic Spheres Via Embedding Approach in $f(R,\phi, X)$ Gravity

abstract: In this manuscript, we investigate the behavior of stellar structure through embedding approach in $f(R, \phi, X)$ modified theory of gravity, where $R$ denotes the Ricci scalar, $\phi$ represents the scalar potential and $X$ indicates the kinetic potential. For this purpose, we consider the spherically symmetric space-time with anisotropic fluid. We further choose three different stars i.e. LMC X-4, Cen X-3, and EXO 1785-248 to demonstrate the behavior of stellar structures. We further compare the Schwarzschild space-time as exterior geometry with spherically symmetric space-time to calculate the values of unknown parameters. In this regard, we investigate the graphical features of stellar spheres such es energy density, pressure components, anisotropic component, equation of state parameters, stability analysis and energy conditions. Furthermore, we investigate some extra conditions such as mass function, compactness factor and surface redshift respectively. Conclusively, all the compact stars under observations are realistic, stable, and are free from any physical or geometrical singularities. We find that the embedding class one solution for anisotropic compact stars is viable and stable.


title: Deep Learning with Parametric Lenses

abstract: We propose a categorical semantics for machine learning algorithms in terms of lenses, parametric maps, and reverse derivative categories. This foundation provides a powerful explanatory and unifying framework: it encompasses a variety of gradient descent algorithms such as ADAM, AdaGrad, and Nesterov momentum, as well as a variety of loss functions such as MSE and Softmax cross-entropy, and different architectures, shedding new light on their similarities and differences. Furthermore, our approach to learning has examples generalising beyond the familiar continuous domains (modelled in categories of smooth maps) and can be realised in the discrete setting of Boolean and polynomial circuits. We demonstrate the practical significance of our framework with an implementation in Python.