title: ITA-ECBS: A Bounded-Suboptimal Algorithm for the Combined Target-Assignment and Path-Finding Problem

abstract: Multi-Agent Path Finding (MAPF), i.e., finding collision-free paths for multiple robots, plays a critical role in many applications. Sometimes, assigning a target to each agent also presents a challenge. The Combined Target-Assignment and Path-Finding (TAPF) problem, a variant of MAPF, requires one to simultaneously assign targets to agents and plan collision-free paths for agents. Several algorithms, including CBM, CBS-TA, and ITA-CBS, optimally solve the TAPF problem, with ITA-CBS being the leading algorithm for minimizing flowtime. However, the only existing bounded-suboptimal algorithm ECBS-TA is derived from CBS-TA rather than ITA-CBS. So, it faces the same issues as CBS-TA, such as searching through multiple constraint trees and spending too much time on finding the next-best target assignment. We introduce ITA-ECBS, the first bounded-suboptimal variant of ITA-CBS. Transforming ITA-CBS to its bounded-suboptimal variant is challenging because different constraint tree nodes can have different assignments of targets to agents. ITA-ECBS uses focal search to achieve efficiency and determines target assignments based on a new lower bound matrix. We show that it runs faster than ECBS-TA in 87.42% of 54,033 test cases.


title: Iof-maint -- Modular maintenance ontology

abstract: In this paper we present a publicly-available maintenance ontology (Iof-maint). Iof-maint is a modular ontology aligned with the Industrial Ontology Foundry Core (IOF Core) and contains 20 classes and 2 relations. It provides a set of maintenance-specific terms used in a wide variety of practical data-driven use cases. Iof-maint supports OWL DL reasoning, is documented, and is actively maintained on GitHub. In this paper, we describe the evolution of the Iof-maint reference ontology based on the extraction of common concepts identified in a number of application ontologies working with industry maintenance work order, procedure and failure mode data.


title: LayoutLLM: Layout Instruction Tuning with Large Language Models for Document Understanding

abstract: Recently, leveraging large language models (LLMs) or multimodal large language models (MLLMs) for document understanding has been proven very promising. However, previous works that employ LLMs/MLLMs for document understanding have not fully explored and utilized the document layout information, which is vital for precise document understanding. In this paper, we propose LayoutLLM, an LLM/MLLM based method for document understanding. The core of LayoutLLM is a layout instruction tuning strategy, which is specially designed to enhance the comprehension and utilization of document layouts. The proposed layout instruction tuning strategy consists of two components: Layout-aware Pre-training and Layout-aware Supervised Fine-tuning. To capture the characteristics of document layout in Layout-aware Pre-training, three groups of pre-training tasks, corresponding to document-level, region-level and segment-level information, are introduced. Furthermore, a novel module called layout chain-of-thought (LayoutCoT) is devised to enable LayoutLLM to focus on regions relevant to the question and generate accurate answers. LayoutCoT is effective for boosting the performance of document understanding. Meanwhile, it brings a certain degree of interpretability, which could facilitate manual inspection and correction. Experiments on standard benchmarks show that the proposed LayoutLLM significantly outperforms existing methods that adopt open-source 7B LLMs/MLLMs for document understanding. The training data of the LayoutLLM is publicly available at https://github.com/AlibabaResearch/AdvancedLiterateMachinery/tree/main/DocumentUnderstanding/LayoutLLM


title: Monochromatic Polynomial sumset structures on $\mathbb{N}$

abstract: In the paper, we searh for monochromatic infinite additive structures involving polynomials on $\mathbb{N}$. Ultimately, we can prove that for any $r\in \mathbb{N}$, any distinct natural numbers $a,b$ and any $2$-coloring of $\mathbb{N}$, there exist subsets $B,C\subset \mathbb{N}$ with $|B|=r$ and $|C|=\infty$ such that there exists a color containing $B+aC$ and $B+bC$. In fact, for the specific question considered by us, we give a complete answer.


title: A Note on the Common Haar State Model

abstract: Common random string model is a popular model in classical cryptography with many constructions proposed in this model. We study a quantum analogue of this model called the common Haar state model, which was also studied in an independent work by Chen, Coladangelo and Sattath (arXiv 2024). In this model, every party in the cryptographic system receives many copies of one or more i.i.d Haar states. Our main result is the construction of a statistically secure PRSG with: (a) the output length of the PRSG is strictly larger than the key size, (b) the security holds even if the adversary receives $O\left(\frac{\lambda}{(\log(\lambda))^{1.01}} \right)$ copies of the pseudorandom state. We show the optimality of our construction by showing a matching lower bound. Our construction is simple and its analysis uses elementary techniques.


title: Fair Machine Guidance to Enhance Fair Decision Making in Biased People

abstract: Teaching unbiased decision-making is crucial for addressing biased decision-making in daily life. Although both raising awareness of personal biases and providing guidance on unbiased decision-making are essential, the latter topics remains under-researched. In this study, we developed and evaluated an AI system aimed at educating individuals on making unbiased decisions using fairness-aware machine learning. In a between-subjects experimental design, 99 participants who were prone to bias performed personal assessment tasks. They were divided into two groups: a) those who received AI guidance for fair decision-making before the task and b) those who received no such guidance but were informed of their biases. The results suggest that although several participants doubted the fairness of the AI system, fair machine guidance prompted them to reassess their views regarding fairness, reflect on their biases, and modify their decision-making criteria. Our findings provide insights into the design of AI systems for guiding fair decision-making in humans.


title: Empirical Upscaling of Point-scale Soil Moisture Measurements for Spatial Evaluation of Model Simulations and Satellite Retrievals

abstract: The evaluation of modelled or satellite-derived soil moisture (SM) estimates is usually dependent on comparisons against in-situ SM measurements. However, the inherent mismatch in spatial support (i.e., scale) necessitates a cautious interpretation of point-to-pixel comparisons. The upscaling of the in-situ measurements to a commensurate resolution to that of the modelled or retrieved SM will lead to a fairer comparison and statistically more defensible evaluation. In this study, we presented an upscaling approach that combines spatiotemporal fusion with machine learning to extrapolate point-scale SM measurements from 28 in-situ sites to a 100 m resolution for an agricultural area of 100 km by 100 km. We conducted a four-fold cross-validation, which consistently demonstrated comparable correlation performance across folds, ranging from 0.6 to 0.9. The proposed approach was further validated based on a cross-cluster strategy by using two spatial subsets within the study area, denoted as cluster A and B, each of which equally comprised of 12 in-situ sites. The cross-cluster validation underscored the capability of the upscaling approach to map the spatial variability of SM within areas that were not covered by in-situ sites, with correlation performance ranging between 0.6 and 0.8. In general, our proposed upscaling approach offers an avenue to extrapolate point measurements of SM to a spatial scale more akin to climatic model grids or remotely sensed observations. Future investigations should delve into a further evaluation of the upscaling approach using independent data, such as model simulations, satellite retrievals or field campaign data.


title: Non-concave distributionally robust stochastic control in a discrete time finite horizon setting

abstract: In this article we present a general framework for non-concave distributionally robust stochastic control problems in a discrete time finite horizon setting. Our framework allows to consider a variety of different path-dependent ambiguity sets of probability measures comprising, as a natural example, the ambiguity set defined via Wasserstein-balls around path-dependent reference measures, as well as parametric classes of probability distributions. We establish a dynamic programming principle which allows to derive both optimal control and worst-case measure by solving recursively a sequence of one-step optimization problems. As a concrete application, we study the robust hedging problem of a financial derivative under an asymmetric (and non-convex) loss function accounting for different preferences of sell- and buy side when it comes to the hedging of financial derivatives. As our entirely data-driven ambiguity set of probability measures, we consider Wasserstein-balls around the empirical measure derived from real financial data. We demonstrate that during adverse scenarios such as a financial crisis, our robust approach outperforms typical model-based hedging strategies such as the classical Delta-hedging strategy as well as the hedging strategy obtained in the non-robust setting with respect to the empirical measure and therefore overcomes the problem of model misspecification in such critical periods.


title: PromptAD: Learning Prompts with only Normal Samples for Few-Shot Anomaly Detection

abstract: The vision-language model has brought great improvement to few-shot industrial anomaly detection, which usually needs to design of hundreds of prompts through prompt engineering. For automated scenarios, we first use conventional prompt learning with many-class paradigm as the baseline to automatically learn prompts but found that it can not work well in one-class anomaly detection. To address the above problem, this paper proposes a one-class prompt learning method for few-shot anomaly detection, termed PromptAD. First, we propose semantic concatenation which can transpose normal prompts into anomaly prompts by concatenating normal prompts with anomaly suffixes, thus constructing a large number of negative samples used to guide prompt learning in one-class setting. Furthermore, to mitigate the training challenge caused by the absence of anomaly images, we introduce the concept of explicit anomaly margin, which is used to explicitly control the margin between normal prompt features and anomaly prompt features through a hyper-parameter. For image-level/pixel-level anomaly detection, PromptAD achieves first place in 11/12 few-shot settings on MVTec and VisA.


title: Invariant stability conditions on local $\mathbb{P}^1\times \mathbb{P}^1$ (after Del Monte-Longhi)

abstract: Let $X$ be the total space of canonical bundle of $\pp$, we study an invariant subspace of stability conditions on $X$ under an autoequivalence of $D^b(X)$. We describe the complete set of stable objects with respect to the invariant stability conditions and characterize the space of invariant stability conditions.


title: A non-inertial model for particle aggregation under turbulence

abstract: A new model for particle coalescence in a turbulent environment is presented, aiming to prove that turbulence enhances coalescence, for small-moderate Stokes numbers. The model is non-inertial, namely the velocity of particles is the velocity of the fluid; and a variant of Stokes number is introduced, based on space scales. Particles interact by coalescence and a sparse local regime is chosen, but instead of independent Brownian motions acting on different particles, we impose a common noise, modeling the turbulent fluid and having a length scale. In the scaling limit it becomes delta correlated and gives rise to a deterministic limit PDE for the density. The mean coalescence rate in this limit equation is not the trivial one of mean field theory but, through the solution of an auxiliary cell-equation, incorporates in the right qualitative way the dependence on the Stokes number and the turbulent kinetic energy.


title: Bioinspired polymer-incorporating self-lubricating and antifouling hydrogels

abstract: Healthy articular cartilage has excellent lubricating properties, with friction coefficients reaching extremely low values at physiological pressures. Such high-performing lubricating layer in joints is attributed to the surface hydration arising from the interplay between multiple hydrophilic biopolymers (such as hyaluronic acid, proteoglycans, and lubricin) and phospholipids in the cartilage matrix. Mimicking such molecular structure, hydrogels, composed of a hydrophilic polymer network, have the potential to replicate the lubricating feature and possibly replace natural cartilages. In this study, we have synthesized a poly(2-methacryloyloxyethyl phosphorylcholine-co-N-isopropylacrylamide) (PMPC-co-PNIPAM, PMN)random copolymer with highly-hydrated lubricious 2-methacryloyloxyethyl phosphorylcholine moieties and less hydrated N-isopropylacrylamide moieties. Incorporation of PMN copolymers within various hydrogels significantly reduces the gels sliding surface friction, resulting in low friction coefficients against different counter surfaces, including stainless steel (hard metal surface), polyethylene (hydrophobic surface), and polyHEMA (soft hydrogel surface). Additionally, hydrogels containing PMN are shown to be biocompatible and have excellent antifouling properties, making them an ideal coating for commercially available stents. With these qualities, hydrogels containing PMN stand out as a promising new material with numerous possible applications.


title: Novelty Heuristics, Multi-Queue Search, and Portfolios for Numeric Planning

abstract: Heuristic search is a powerful approach for solving planning problems and numeric planning is no exception. In this paper, we boost the performance of heuristic search for numeric planning with various powerful techniques orthogonal to improving heuristic informedness: numeric novelty heuristics, the Manhattan distance heuristic, and exploring the use of multi-queue search and portfolios for combining heuristics.


title: Stylizing Sparse-View 3D Scenes with Hierarchical Neural Representation

abstract: Recently, a surge of 3D style transfer methods has been proposed that leverage the scene reconstruction power of a pre-trained neural radiance field (NeRF). To successfully stylize a scene this way, one must first reconstruct a photo-realistic radiance field from collected images of the scene. However, when only sparse input views are available, pre-trained few-shot NeRFs often suffer from high-frequency artifacts, which are generated as a by-product of high-frequency details for improving reconstruction quality. Is it possible to generate more faithful stylized scenes from sparse inputs by directly optimizing encoding-based scene representation with target style? In this paper, we consider the stylization of sparse-view scenes in terms of disentangling content semantics and style textures. We propose a coarse-to-fine sparse-view scene stylization framework, where a novel hierarchical encoding-based neural representation is designed to generate high-quality stylized scenes directly from implicit scene representations. We also propose a new optimization strategy with content strength annealing to achieve realistic stylization and better content preservation. Extensive experiments demonstrate that our method can achieve high-quality stylization of sparse-view scenes and outperforms fine-tuning-based baselines in terms of stylization quality and efficiency.


title: Spatiotemporal effects in heralded state preparation

abstract: Heralding, which is often used for preparing quantum optical states, is studied to determine the effects of the spatiotemporal properties of the process. Incorporating all the spatiotemporal degrees of freedom, we follow a Wigner functional approach to consider cases where these states are prepared to have Wigner functionals with negative regions, being suitable resources for quantum information technologies. General expressions are derived for single-photon-subtracted and single-photon-added states. As examples, we consider the photon-subtracted squeezed vacuum state, the photon-added coherent state, and the photon-added thermal state. The Wigner functional approach reveals the importance of the spatiotemporal transformations imposed by the experimental conditions.


title: Allowing humans to interactively guide machines where to look does not always improve human-AI team's classification accuracy

abstract: Via thousands of papers in Explainable AI (XAI), attention maps \cite{vaswani2017attention} and feature importance maps \cite{bansal2020sam} have been established as a common means for finding how important each input feature is to an AI's decisions. It is an interesting, unexplored question whether allowing users to edit the feature importance at test time would improve a human-AI team's accuracy on downstream tasks. In this paper, we address this question by leveraging CHM-Corr, a state-of-the-art, ante-hoc explainable classifier \cite{taesiri2022visual} that first predicts patch-wise correspondences between the input and training-set images, and then bases on them to make classification decisions. We build CHM-Corr++, an interactive interface for CHM-Corr, enabling users to edit the feature importance map provided by CHM-Corr and observe updated model decisions. Via CHM-Corr++, users can gain insights into if, when, and how the model changes its outputs, improving their understanding beyond static explanations. However, our study with 18 expert users who performed 1,400 decisions finds no statistical significance that our interactive approach improves user accuracy on CUB-200 bird image classification over static explanations. This challenges the hypothesis that interactivity can boost human-AI team accuracy and raises needs for future research. We open-source CHM-Corr++, an interactive tool for editing image classifier attention (see an interactive demo here: http://137.184.82.109:7080/). We release code and data on github: https://github.com/anguyen8/chm-corr-interactive.


title: Spatially Correlated RIS-Aided Secure Massive MIMO Under CSI and Hardware Imperfections

abstract: This paper investigates the integration of a reconfigurable intelligent surface (RIS) into a secure multiuser massive multiple-input multiple-output (MIMO) system in the presence of transceiver hardware impairments (HWI), imperfect channel state information (CSI), and spatially correlated channels. We first introduce a linear minimum-mean-square error estimation algorithm for the aggregate channel by considering the impact of transceiver HWI and RIS phase-shift errors. Then, we derive a lower bound for the achievable ergodic secrecy rate in the presence of a multi-antenna eavesdropper when artificial noise (AN) is employed at the base station (BS). In addition, the obtained expressions of the ergodic secrecy rate are further simplified in some noteworthy special cases to obtain valuable insights. To counteract the effects of HWI, we present a power allocation optimization strategy between the confidential signals and AN, which admits a fixed-point equation solution. Our analysis reveals that a non-zero ergodic secrecy rate is preserved if the total transmit power decreases no faster than $1/N$, where $N$ is the number of RIS elements. Moreover, the ergodic secrecy rate grows logarithmically with the number of BS antennas $M$ and approaches a certain limit in the asymptotic regime $N\rightarrow\infty$. Simulation results are provided to verify the derived analytical results. They reveal the impact of key design parameters on the secrecy rate. It is shown that, with the proposed power allocation strategy, the secrecy rate loss due to HWI can be counteracted by increasing the number of low-cost RIS elements.


title: Computational Propaganda Theory and Bot Detection System: Critical Literature Review

abstract: According to the classical definition, propaganda is the management of collective attitudes by manipulation of significant symbols. However this definition has changed to computational propaganda, the way manipulation takes place in digital medium. Computational propaganda is the use of algorithms, automation and human curation to purposefully distribute misleading information over social media networks to manipulate public opinion, for political polarization etc. Digital media platforms have introduced new modalities of propaganda such as the use of social bots and state-organized 'troll armies' for social astroturfing to simulate public support or opposition towards a particular topic. Along with this digital media has blurred the line between different forms of propaganda. Hence existing conceptual and epistemological frameworks in propaganda studies need a revision. One of the methods to detect the computational propaganda is to identify automation and bots. Many supervised machine learning based frameworks have been proposed for bot detection but these systems can only identify single accounts, not the coordinated activities of botnets and also these systems depend on the data structure provided by the social media platforms. Similarly, current systems have not included the image features in their detection system. Most of the systems are mainly built for Twitter while there are still uncharted areas of research in other social media platforms. Therefore, there are many unexplored research questions and methods in bot detection systems.


title: Lightweight Inference for Forward-Forward Algorithm

abstract: The human brain performs tasks with an outstanding energy-efficiency, i.e., with approximately 20 Watts. The state-of-the-art Artificial/Deep Neural Networks (ANN/DNN), on the other hand, have recently been shown to consume massive amounts of energy. The training of these ANNs/DNNs is done almost exclusively based on the back-propagation algorithm, which is known to be biologically implausible. This has led to a new generation of forward-only techniques, including the Forward-Forward algorithm. In this paper, we propose a lightweight inference scheme specifically designed for DNNs trained using the Forward-Forward algorithm. We have evaluated our proposed lightweight inference scheme in the case of the MNIST and CIFAR datasets, as well as two real-world applications, namely, epileptic seizure detection and cardiac arrhythmia classification using wearable technologies, where complexity overheads/energy consumption is a major constraint, and demonstrate its relevance.


title: Collision-Free Trajectory Optimization in Cluttered Environments with Sums-of-Squares Programming

abstract: In this work, we propose a trajectory optimization approach for robot navigation in cluttered 3D environments. We represent the robot's geometry as a semialgebraic set defined by polynomial inequalities such that robots with general shapes can be suitably characterized. To address the robot navigation task in obstacle-dense environments, we exploit the free space directly to construct a sequence of free regions, and allocate each waypoint on the trajectory to a specific region. Then, we incorporate a uniform scaling factor for each free region, and formulate a Sums-of-Squares (SOS) optimization problem that renders the containment relationship between the robot and the free space computationally tractable. The SOS optimization problem is further reformulated to a semidefinite program (SDP), and the collision-free constraints are shown to be equivalent to limiting the scaling factor along the entire trajectory. In this context, the robot at a specific configuration is tailored to stay within the free region. Next, to solve the trajectory optimization problem with the proposed safety constraints (which are implicitly dependent on the robot configurations), we derive the analytical solution to the gradient of the minimum scaling factor with respect to the robot configuration. As a result, this seamlessly facilitates the use of gradient-based methods in efficient solving of the trajectory optimization problem. Through a series of simulations and real-world experiments, the proposed trajectory optimization approach is validated in various challenging scenarios, and the results demonstrate its effectiveness in generating collision-free trajectories in dense and intricate environments populated with obstacles.


title: Product Description and QA Assisted Self-Supervised Opinion Summarization

abstract: In e-commerce, opinion summarization is the process of summarizing the consensus opinions found in product reviews. However, the potential of additional sources such as product description and question-answers (QA) has been considered less often. Moreover, the absence of any supervised training data makes this task challenging. To address this, we propose a novel synthetic dataset creation (SDC) strategy that leverages information from reviews as well as additional sources for selecting one of the reviews as a pseudo-summary to enable supervised training. Our Multi-Encoder Decoder framework for Opinion Summarization (MEDOS) employs a separate encoder for each source, enabling effective selection of information while generating the summary. For evaluation, due to the unavailability of test sets with additional sources, we extend the Amazon, Oposum+, and Flipkart test sets and leverage ChatGPT to annotate summaries. Experiments across nine test sets demonstrate that the combination of our SDC approach and MEDOS model achieves on average a 14.5% improvement in ROUGE-1 F1 over the SOTA. Moreover, comparative analysis underlines the significance of incorporating additional sources for generating more informative summaries. Human evaluations further indicate that MEDOS scores relatively higher in coherence and fluency with 0.41 and 0.5 (-1 to 1) respectively, compared to existing models. To the best of our knowledge, we are the first to generate opinion summaries leveraging additional sources in a self-supervised setting.


title: On Finite Presentability of Subsemigroups of the Monogenic Free Inverse Semigroup

abstract: The monogenic free inverse semigroup $FI_1$ is not finitely presented as a semigroup due to the classic result by Schein (1975). We extend this result and prove that a finitely generated subsemigroup of $FI_1$ is finitely presented if and only if it contains only finitely many idempotents. As a consequence, we derive that an inverse subsemigroup of $FI_1$ is finitely presented as a semigroup if and only if it is a finite semilattice.


title: Supervised Gradual Machine Learning for Aspect Category Detection

abstract: Aspect Category Detection (ACD) aims to identify implicit and explicit aspects in a given review sentence. The state-of-the-art approaches for ACD use Deep Neural Networks (DNNs) to address the problem as a multi-label classification task. However, learning category-specific representations heavily rely on the amount of labeled examples, which may not readily available in real-world scenarios. In this paper, we propose a novel approach to tackle the ACD task by combining DNNs with Gradual Machine Learning (GML) in a supervised setting. we aim to leverage the strength of DNN in semantic relation modeling, which can facilitate effective knowledge transfer between labeled and unlabeled instances during the gradual inference of GML. To achieve this, we first analyze the learned latent space of the DNN to model the relations, i.e., similar or opposite, between instances. We then represent these relations as binary features in a factor graph to efficiently convey knowledge. Finally, we conduct a comparative study of our proposed solution on real benchmark datasets and demonstrate that the GML approach, in collaboration with DNNs for feature extraction, consistently outperforms pure DNN solutions.


title: Assessing the causes of continuous effects by posterior effects of causes

abstract: To evaluate a single cause of a binary effect, Dawid et al. (2014) defined the probability of causation, while Pearl (2015) defined the probabilities of necessity and sufficiency. For assessing the multiple correlated causes of a binary effect, Lu et al. (2023) defined the posterior causal effects based on post-treatment variables. In many scenarios, outcomes are continuous, simply binarizing them and applying previous methods may result in information loss or biased conclusions. To address this limitation, we propose a series of posterior causal estimands for retrospectively evaluating multiple correlated causes from a continuous effect, including posterior intervention effects, posterior total causal effects, and posterior natural direct effects. Under the assumptions of sequential ignorability, monotonicity, and perfect positive rank, we show that the posterior causal estimands of interest are identifiable and present the corresponding identification equations. We also provide a simple but effective estimation procedure and establish the asymptotic properties of the proposed estimators. An artificial hypertension example and a real developmental toxicity dataset are employed to illustrate our method.


title: Continuous-variable quantum key distribution with noisy squeezed states

abstract: We address the role of noisy squeezing in security and performance of continuous-variable (CV) quantum key distribution (QKD) protocols. Squeezing has long been recognized for its numerous advantages in CV QKD, such as enhanced robustness against channel noise and loss, and improved secret key rates. However, the noise of the squeezed states, that unavoidably originates already from optical loss in the source, raises concerns about its potential exploitation by an eavesdropper. This is particularly relevant if this noise is pessimistically assumed untrusted. We address the allocation of untrusted noise within a squeezed state and show that anti-squeezing noise is typically more harmful for security of the protocols, as it potentially provides more information to an eavesdropper. Although the anti-squeezing noise may not directly contribute to the generated key data, it is involved in parameter estimation and can in fact be harmful even if considered trusted. Our study covers the effects of anti-squeezing noise in both the asymptotic and finite-size regimes. We highlight the positive effects and limitations of imposing trust assumption on anti-squeezing noise. Additionally, we emphasize the detrimental impact of untrusted noise in both fiber and free-space fading links. Our findings offer essential insights for practical implementations and optimization of squeezed-state CV QKD protocols in realistic scenarios.


title: Some extensions of the Brouwer fixed point theorem

abstract: We study the existence of fixed points for continuous maps $f$ from an $n$-ball $X$ in $\mathbb R^n$ to $\mathbb R^n$ with $n\geq 1$. We show that $f$ has a fixed point if, for some absolute retract $Y\subset\partial X$, $f(Y)\subset X$ and $\partial X-Y$ is an $(f, X)$-blockading set. For $n\geq 2$, let $D$ be an $n$-ball in $X$ and $Y$ be an $(n-1)$-ball in $\partial X$. Relying on the result just mentioned, we show the existence of a fixed point of $f$, if $D$ and $Y$ are well placed and behave well under $f$, and ${\rm deg}(f_D)=-{\rm deg}(f_{\partial Y})$, where $f_D=f|D: D \rightarrow \mathbb{R}^n$ and $f_{\partial Y}=f|\partial Y: \partial Y \rightarrow \partial Y$. The degree ${\rm deg}(f_D)$ of $f_D$ is explicitly defined and some elementary properties of which are investigated. These results extend the Brouwer fixed point theorem.


title: SAFE-GIL: SAFEty Guided Imitation Learning

abstract: Behavior Cloning is a popular approach to Imitation Learning, in which a robot observes an expert supervisor and learns a control policy. However, behavior cloning suffers from the "compounding error" problem - the policy errors compound as it deviates from the expert demonstrations and might lead to catastrophic system failures, limiting its use in safety-critical applications. On-policy data aggregation methods are able to address this issue at the cost of rolling out and repeated training of the imitation policy, which can be tedious and computationally prohibitive. We propose SAFE-GIL, an off-policy behavior cloning method that guides the expert via adversarial disturbance during data collection. The algorithm abstracts the imitation error as an adversarial disturbance in the system dynamics, injects it during data collection to expose the expert to safety critical states, and collects corrective actions. Our method biases training to more closely replicate expert behavior in safety-critical states and allows more variance in less critical states. We compare our method with several behavior cloning techniques and DAgger on autonomous navigation and autonomous taxiing tasks and show higher task success and safety, especially in low data regimes where the likelihood of error is higher, at a slight drop in the performance.


title: Interpreting Themes from Educational Stories

abstract: Reading comprehension continues to be a crucial research focus in the NLP community. Recent advances in Machine Reading Comprehension (MRC) have mostly centered on literal comprehension, referring to the surface-level understanding of content. In this work, we focus on the next level - interpretive comprehension, with a particular emphasis on inferring the themes of a narrative text. We introduce the first dataset specifically designed for interpretive comprehension of educational narratives, providing corresponding well-edited theme texts. The dataset spans a variety of genres and cultural origins and includes human-annotated theme keywords with varying levels of granularity. We further formulate NLP tasks under different abstractions of interpretive comprehension toward the main idea of a story. After conducting extensive experiments with state-of-the-art methods, we found the task to be both challenging and significant for NLP research. The dataset and source code have been made publicly available to the research community at https://github.com/RiTUAL-UH/EduStory.


title: Association schemes arising from non-weakly regular bent functions

abstract: Association schemes play an important role in algebraic combinatorics and have important applications in coding theory, graph theory and design theory. The methods to construct association schemes by using bent functions have been extensively studied. Recently, in [13], {\"O}zbudak and Pelen constructed infinite families of symmetric association schemes of classes $5$ and $6$ by using ternary non-weakly regular bent functions.They also stated that constructing $2p$-class association schemes from $p$-ary non-weakly regular bent functions is an interesting problem, where $p>3$ is an odd prime. In this paper, using non-weakly regular bent functions, we construct infinite families of symmetric association schemes of classes $2p$, $(2p+1)$ and $\frac{3p+1}{2}$ for any odd prime $p$. Fusing those association schemes, we also obtain $t$-class symmetric association schemes, where $t=4,5,6,7$. In addition, we give the sufficient and necessary conditions for the partitions $P$, $D$, $T$, $U$ and $V$ (defined in this paper) to induce symmetric association schemes.


title: A model for heating the super-hot corona in solar active regions

abstract: What physical mechanisms heat the outer solar or stellar atmosphere to million-Kelvin temperatures is a fundamental but long-standing open question. In particular, the solar corona in active region cores contains an even hotter component reaching ten million Kelvin, manifesting as persistent coronal loops in extreme ultraviolet and soft X-ray images, which imposes a more stringent energy budget. Here, we present a self-consistent coronal heating model using a state-of-the-art three-dimensional radiative magnetohydrodynamics simulation. We find that the continuous magnetic flux emergence in active regions keeps driving magnetic reconnections that release energy impulsively but, on time average, persistently. As a result, numerous sub-structures are heated to ten million Kelvin and then evolve independently, which collectively form long-lived and stable coronal loops as in observations. This provides a heating model explaining the origin of the super-hot coronal plasma and the persistence of hot coronal loops in emerging active regions.


title: CodeEnhance: A Codebook-Driven Approach for Low-Light Image Enhancement

abstract: Low-light image enhancement (LLIE) aims to improve low-illumination images. However, existing methods face two challenges: (1) uncertainty in restoration from diverse brightness degradations; (2) loss of texture and color information caused by noise suppression and light enhancement. In this paper, we propose a novel enhancement approach, CodeEnhance, by leveraging quantized priors and image refinement to address these challenges. In particular, we reframe LLIE as learning an image-to-code mapping from low-light images to discrete codebook, which has been learned from high-quality images. To enhance this process, a Semantic Embedding Module (SEM) is introduced to integrate semantic information with low-level features, and a Codebook Shift (CS) mechanism, designed to adapt the pre-learned codebook to better suit the distinct characteristics of our low-light dataset. Additionally, we present an Interactive Feature Transformation (IFT) module to refine texture and color information during image reconstruction, allowing for interactive enhancement based on user preferences. Extensive experiments on both real-world and synthetic benchmarks demonstrate that the incorporation of prior knowledge and controllable information transfer significantly enhances LLIE performance in terms of quality and fidelity. The proposed CodeEnhance exhibits superior robustness to various degradations, including uneven illumination, noise, and color distortion.


title: Relativistic chaotic scattering: unveiling scaling laws for trapped trajectories

abstract: In this paper, we study different types of phase space structures which appear in the context of relativistic chaotic scattering. By using the relativistic version of the H\'{e}non-Heiles Hamiltonian, we numerically study the topology of different kind of exit basins and compare it with the case of low velocities in which the Newtonian version of the system is valid. Specifically, we numerically study the escapes in the phase space, in the energy plane and also in the $\beta$ plane which richly characterize the dynamics of the system. In all cases, fractal structures are present, and the escaping dynamics is characterized. Besides, in every case a scaling law is numerically obtained in which the percentage of the trapped trajectories as a function of the relativistic parameter $\beta$ and the energy is obtained. Our work could be useful in the context of charged particles which eventually can be trapped in the magnetosphere, where the analysis of these structures can be relevant.


title: Hidden charge density wave induced shadow bands and ultrafast dynamics of CuTe investigated using time-resolved ARPES

abstract: Revealing the fine electronic structure is critical for understanding the underlying physics of low-dimensional materials. Angle-resolved photoemission spectroscopy (ARPES) is a powerful experimental technique for mapping out the experimental electronic structure. By reducing the photon energy (e.g. to 6 eV) using laser sources, a greatly improved momentum resolution can be achieved, thereby providing opportunities for ``zooming in'' the fine electronic structure and even revealing the previously unresolvable bands near the Brillouin zone center. Here, by using quasi-one-dimensional material CuTe as an example, we demonstrate the unique capability of laser-based ARPES in revealing the fine electronic structures of ``hidden'' charge density wave induced shadow bands near the Brillouin zone center, which are previously unresolvable using synchrotron sources. The observation of the shadow bands reveals the CDW phase from the aspect of band folding, and the unpredicted CDW band hybridization strongly modifies the electronic structure and Fermi surface, which suggests that such hybridization must be taken into account for studying the CDW transition. Moreover, the ultrafast non-equilibrium carrier dynamics are captured by time-resolved ARPES, revealing the relaxation dynamics through electron-phonon scattering. Our work demonstrates the advantages of laser-based ARPES in zooming in the fine electronic structures, as well as capturing the ultrafast dynamics of low-dimensional materials.


title: Text-to-Image Synthesis for Any Artistic Styles: Advancements in Personalized Artistic Image Generation via Subdivision and Dual Binding

abstract: Recent advancements in text-to-image models, such as Stable Diffusion, have demonstrated their ability to synthesize visual images through natural language prompts. One approach of personalizing text-to-image models, exemplified by DreamBooth, fine-tunes the pre-trained model by binding unique text identifiers with a few images of a specific subject. Although existing fine-tuning methods have demonstrated competence in rendering images according to the styles of famous painters, it is still challenging to learn to produce images encapsulating distinct art styles due to abstract and broad visual perceptions of stylistic attributes such as lines, shapes, textures, and colors. In this paper, we introduce a new method, Single-StyleForge, for personalization. It fine-tunes pre-trained text-to-image diffusion models to generate diverse images in specified styles from text prompts. By using around 15-20 images of the target style, the approach establishes a foundational binding of a unique token identifier with a broad range of the target style. It also utilizes auxiliary images to strengthen this binding, resulting in offering specific guidance on representing elements such as persons in a target style-consistent manner. In addition, we present ways to improve the quality of style and text-image alignment through a method called Multi-StyleForge, which inherits the strategy used in StyleForge and learns tokens in multiple. Experimental evaluation conducted on six distinct artistic styles demonstrates substantial improvements in both the quality of generated images and the perceptual fidelity metrics, such as FID, KID, and CLIP scores.


title: Sensing-Resistance-Oriented Beamforming for Privacy Protection from ISAC Devices

abstract: With the evolution of integrated sensing and communication (ISAC) technology, a growing number of devices go beyond conventional communication functions with sensing abilities. Therefore, future networks are divinable to encounter new privacy concerns on sensing, such as the exposure of position information to unintended receivers. In contrast to traditional privacy preserving schemes aiming to prevent eavesdropping, this contribution conceives a novel beamforming design toward sensing resistance (SR). Specifically, we expect to guarantee the communication quality while masking the real direction of the SR transmitter during the communication. To evaluate the SR performance, a metric termed angular-domain peak-to-average ratio (ADPAR) is first defined and analyzed. Then, we resort to the null-space technique to conceal the real direction, hence to convert the optimization problem to a more tractable form. Moreover, semidefinite relaxation along with index optimization is further utilized to obtain the optimal beamformer. Finally, simulation results demonstrate the feasibility of the proposed SR-oriented beamforming design toward privacy protection from ISAC receivers.


title: Unsupervised Band Selection Using Fused HSI and LiDAR Attention Integrating With Autoencoder

abstract: Band selection in hyperspectral imaging (HSI) is critical for optimising data processing and enhancing analytical accuracy. Traditional approaches have predominantly concentrated on analysing spectral and pixel characteristics within individual bands independently. These approaches overlook the potential benefits of integrating multiple data sources, such as Light Detection and Ranging (LiDAR), and is further challenged by the limited availability of labeled data in HSI processing, which represents a significant obstacle. To address these challenges, this paper introduces a novel unsupervised band selection framework that incorporates attention mechanisms and an Autoencoder for reconstruction-based band selection. Our methodology distinctively integrates HSI with LiDAR data through an attention score, using a convolutional Autoencoder to process the combined feature mask. This fusion effectively captures essential spatial and spectral features and reduces redundancy in hyperspectral datasets. A comprehensive comparative analysis of our innovative fused band selection approach is performed against existing unsupervised band selection and fusion models. We used data sets such as Houston 2013, Trento, and MUUFLE for our experiments. The results demonstrate that our method achieves superior classification accuracy and significantly outperforms existing models. This enhancement in HSI band selection, facilitated by the incorporation of LiDAR features, underscores the considerable advantages of integrating features from different sources.


title: Cellular automata, many-valued logic, and deep neural networks

abstract: We develop a theory characterizing the fundamental capability of deep neural networks to learn, from evolution traces, the logical rules governing the behavior of cellular automata (CA). This is accomplished by first establishing a novel connection between CA and Lukasiewicz propositional logic. While binary CA have been known for decades to essentially perform operations in Boolean logic, no such relationship exists for general CA. We demonstrate that many-valued (MV) logic, specifically Lukasiewicz propositional logic, constitutes a suitable language for characterizing general CA as logical machines. This is done by interpolating CA transition functions to continuous piecewise linear functions, which, by virtue of the McNaughton theorem, yield formulae in MV logic characterizing the CA. Recognizing that deep rectified linear unit (ReLU) networks realize continuous piecewise linear functions, it follows that these formulae are naturally extracted from CA evolution traces by deep ReLU networks. A corresponding algorithm together with a software implementation is provided. Finally, we show that the dynamical behavior of CA can be realized by recurrent neural networks.


title: SRAM-PG: Power Delivery Network Benchmarks from SRAM Circuits

abstract: Designing the power delivery network (PDN) in very large-scale integrated (VLSI) circuits is increasingly important, especially for nowadays low-power integrated circuit (IC) design. In order to ensure that the designed PDN enables a low level of voltage drop and noise which is required for the success of IC design, accurate analysis of PDN is largely demanded and brings a challenge of computation during the whole process of IC design. This promotes the research of efficient and scalable simulation methods for PDN. However, the lack of sufficient public PDN benchmarks hinders the relevant research. % on this aspect since it is hard to conduct a rapid and clear comparison between different approaches to solving this problem. To this end, we construct and release a set of PDN benchmarks (named \emph{SRAM-PG}) from SRAM circuit design in this work. The benchmarks are obtained from realistic and state-of-the-art SRAM designs, following a workflow for generating the post-layout PDN netlists with full RC parasitics. With careful modeling of load currents, the benchmarks reflect the dynamic work mode of the IC and can be used for both transient and DC analysis. The benchmarks are derived from the designs for diverse applications. And, sharing them in the public domain with detailed descriptions would largely benefit the relevant research. The whole set of benchmarks is available at \href{github}{https://github.com/ShenShan123/SRAM-PG}.


title: T3DRIS: Advancing Conformal RIS Design through In-depth Analysis of Mutual Coupling Effects

abstract: This paper presents a theoretical and mathematical framework for the design of a conformal reconfigurable intelligent surface (RIS) that adapts to non-planar geometries, which is a critical advancement for the deployment of RIS on non-planar and irregular surfaces as envisioned in smart radio environments. Previous research focused mainly on the optimization of RISs assuming a predetermined shape, while neglecting the intricate interplay between shape optimization, phase optimization, and mutual coupling effects. Our contribution, the T3DRIS framework, addresses this fundamental problem by integrating the configuration and shape optimization of RISs into a unified model and design framework, thus facilitating the application of RIS technology to a wider spectrum of environmental objects. The mathematical core of T3DRIS is rooted in optimizing the 3D deployment of the unit cells and tuning circuits, aiming at maximizing the communication performance. Through rigorous full-wave simulations and a comprehensive set of numerical analyses, we validate the proposed approach and demonstrate its superior performance and applicability over contemporary designs. This study-the first of its kind-paves the way for a new direction in RIS research, emphasizing the importance of a theoretical and mathematical perspective in tackling the challenges of conformal RISs.


title: Robust Anthropomorphic Robotic Manipulation through Biomimetic Distributed Compliance

abstract: The impressive capabilities of humans to robustly perform manipulation relies on compliant interactions, enabled through the structure and materials spatially distributed in our hands. We propose by mimicking this distributed compliance in an anthropomorphic robotic hand, the open-loop manipulation robustness increases and observe the emergence of human-like behaviours. To achieve this, we introduce the ADAPT Hand equipped with tunable compliance throughout the skin, fingers, and the wrist. Through extensive automated pick-and-place tests, we show the grasping robustness closely mirrors an estimated geometric theoretical limit, while `stress-testing' the robot hand to perform 800+ grasps. Finally, 24 items with largely varying geometries are grasped in a constrained environment with a success rate of 93%. We demonstrate the hand-object self-organization behavior underlines this extreme robustness, where the hand automatically exhibits different grasp types depending on object geometries. Furthermore, the robot grasp type mimics a natural human grasp with a direct similarity of 68%.


title: Some remarks about Hankel determinants which are related to Catalan-like numbers

abstract: This note presents some results about Hankel determinants of backwards shifted Catalan-like numbers and related sequences.


title: Unbridled Icarus: A Survey of the Potential Perils of Image Inputs in Multimodal Large Language Model Security

abstract: Multimodal Large Language Models (MLLMs) demonstrate remarkable capabilities that increasingly influence various aspects of our daily lives, constantly defining the new boundary of Artificial General Intelligence (AGI). Image modalities, enriched with profound semantic information and a more continuous mathematical nature compared to other modalities, greatly enhance the functionalities of MLLMs when integrated. However, this integration serves as a double-edged sword, providing attackers with expansive vulnerabilities to exploit for highly covert and harmful attacks. The pursuit of reliable AI systems like powerful MLLMs has emerged as a pivotal area of contemporary research. In this paper, we endeavor to demostrate the multifaceted risks associated with the incorporation of image modalities into MLLMs. Initially, we delineate the foundational components and training processes of MLLMs. Subsequently, we construct a threat model, outlining the security vulnerabilities intrinsic to MLLMs. Moreover, we analyze and summarize existing scholarly discourses on MLLMs' attack and defense mechanisms, culminating in suggestions for the future research on MLLM security. Through this comprehensive analysis, we aim to deepen the academic understanding of MLLM security challenges and propel forward the development of trustworthy MLLM systems.


title: Function spaces for orbit-finite sets

abstract: Orbit-finite sets are a generalisation of finite sets, and as such support many operations allowed for finite sets, such as pairing, quotienting, or taking subsets. However, they do not support function spaces, i.e. if X and Y are orbit-finite sets, then the space of finitely supported functions from X to Y is not orbit-finite. In this paper we propose two solutions to this problem: one is obtained by generalising the notion of orbit-finite set, and the other one is obtained by restricting it. In both cases, function spaces and the original closure properties are retained. Curiously, both solutions are "linear": the generalisation is based on linear algebra, while the restriction is based on linear logic.


title: When climate variables improve the dengue forecasting: a machine learning approach

abstract: Dengue is a viral vector-borne infectious disease that affects many countries worldwide, infecting around 390 million people per year. The main outbreaks occur in subtropical and tropical countries. We study here the influence of climate on dengue in Natal (2016-2019), Brazil, Iquitos (2001-2012), Peru, and Barranquilla (2011-2016), Colombia. For the analysis and simulations, we apply Machine Learning (ML) techniques, especially the Random Forest (RF) algorithm. In addition, regarding a feature in the ML technique, we analyze three possibilities: only dengue cases (D); climate and dengue cases (CD); humidity and dengue cases (HD). Depending on the city, our results show that the climate data can improve or not the forecast. For instance, for Natal, D induces a better forecast. For Iquitos, it is better to use CD. Nonetheless, for Barranquilla, the forecast is better, when we include cases and humidity data. For Natal, when we use more than 64\% and less than 80\% of the time series for training, we obtain results with correlation coefficients ($r$) among 0.917 and 0.949 and mean absolute errors (MAE) among 57.783 and 71.768 for the D case in forecasting. The optimal range for Iquitos is obtained when 79\% up to 88\% of the time series is considered for training. For this case, the best case is CD, having a minimum $r$ equal to 0.850 and maximum 0.887, while values of MAE oscillate among 2.780 and 4.156. For Barranquilla, the optimal range occurs between 72\% until 82\% of length training. In this case, the better approach is HD, where the measures exhibit a minimum $r$ equal to 0.942 and a maximum 0.953, while the minimum and maximum MAE vary between 6.085 and 6.669. We show that the forecast of dengue cases is a challenging problem and climate variables do not always help. However, when we include the mentioned climate variables, the most important one is humidity.


title: Deforming Locally Convex Curves into Curves of Constant $k$-order Width

abstract: A nonlocal curvature flow is introduced to evolve locally convex curves in the plane. It is proved that this flow with any initial locally convex curve has a global solution, keeping the local convexity and the elastic energy of the evolving curve, and that, as the time goes to infinity, the curve converges to a smooth, locally convex curve of constant $k$-order width. In particular, the limiting curve is a multiple circle if and only if the initial locally convex curve is $k$-symmetric.


title: MC$^2$: Multi-concept Guidance for Customized Multi-concept Generation

abstract: Customized text-to-image generation aims to synthesize instantiations of user-specified concepts and has achieved unprecedented progress in handling individual concept. However, when extending to multiple customized concepts, existing methods exhibit limitations in terms of flexibility and fidelity, only accommodating the combination of limited types of models and potentially resulting in a mix of characteristics from different concepts. In this paper, we introduce the Multi-concept guidance for Multi-concept customization, termed MC$^2$, for improved flexibility and fidelity. MC$^2$ decouples the requirements for model architecture via inference time optimization, allowing the integration of various heterogeneous single-concept customized models. It adaptively refines the attention weights between visual and textual tokens, directing image regions to focus on their associated words while diminishing the impact of irrelevant ones. Extensive experiments demonstrate that MC$^2$ even surpasses previous methods that require additional training in terms of consistency with input prompt and reference images. Moreover, MC$^2$ can be extended to elevate the compositional capabilities of text-to-image generation, yielding appealing results. Code will be publicly available at https://github.com/JIANGJiaXiu/MC-2.


title: Hybrid inflation from supersymmetry breaking

abstract: We extend a recently proposed framework, dubbed inflation by supersymmetry breaking, to hybrid inflation by introducing a waterfall field that allows to decouple the supersymmetry breaking scale in the observable sector from the inflation scale, while keeping intact the inflation sector and its successful predictions: naturally small slow-roll parameters, small field initial conditions and absence of the pseudo-scalar companion of the inflaton, in terms of one free parameter which is the first order correction to the inflaton K\"ahler potential. During inflation, supersymmetry is spontaneously broken with the inflaton being the superpartner of the goldstino, together with a massive vector that gauges the R-symmetry. Inflation arises around the maximum of the scalar potential at the origin where R-symmetry is unbroken. Moreover, a nearby minimum with tuneable vacuum energy can be accommodated by introducing a second order correction to the K\"ahler potential. The inflaton sector can also play the role of the supersymmetry breaking 'hidden' sector when coupled to the (supersymmetric) Standard Model, predicting a superheavy superparticle spectrum near the inflation scale. Here we show that the introduction of a waterfall field provides a natural way to end inflation and allows for a scale separation between supersymmetry breaking and inflation. Moreover, the study of the global vacuum describing low energy Standard Model physics can be done in a perturbative way within a region of the parameter space of the model.


title: Exploiting Preference Elicitation in Interactive and User-centered Algorithmic Recourse: An Initial Exploration

abstract: Algorithmic Recourse aims to provide actionable explanations, or recourse plans, to overturn potentially unfavourable decisions taken by automated machine learning models. In this paper, we propose an interaction paradigm based on a guided interaction pattern aimed at both eliciting the users' preferences and heading them toward effective recourse interventions. In a fictional task of money lending, we compare this approach with an exploratory interaction pattern based on a combination of alternative plans and the possibility of freely changing the configurations by the users themselves. Our results suggest that users may recognize that the guided interaction paradigm improves efficiency. However, they also feel less freedom to experiment with "what-if" scenarios. Nevertheless, the time spent on the purely exploratory interface tends to be perceived as a lack of efficiency, which reduces attractiveness, perspicuity, and dependability. Conversely, for the guided interface, more time on the interface seems to increase its attractiveness, perspicuity, and dependability while not impacting the perceived efficiency. That might suggest that this type of interfaces should combine these two approaches by trying to support exploratory behavior while gently pushing toward a guided effective solution.


title: Scheduling Multi-Server Jobs is Not Easy

abstract: The problem of online scheduling of multi-server jobs is considered, where there are a total of $K$ servers, and each job requires concurrent service from multiple servers for it to be processed. Each job on its arrival reveals its processing time, the number of servers from which it needs concurrent service and an online algorithm has to make scheduling decisions using only causal information, with the goal of minimizing the response/flow time. The worst case input model is considered and the performance metric is the competitive ratio. For the case, when all job processing time (sizes) are the same, we show that the competitive ratio of any deterministic/randomized algorithm is at least $\Omega(K)$ and propose an online algorithm whose competitive ratio is at most $K+1$. With equal job sizes, we also consider the resource augmentation regime where an online algorithm has access to more servers than an optimal offline algorithm. With resource augmentation, we propose a simple algorithm and show that it has a competitive ratio of $1$ when provided with $2K$ servers with respect to an optimal offline algorithm with $K$ servers. With unequal job sizes, we propose an online algorithm whose competitive ratio is at most $2K \log (K w_{\max})$, where $w_{\max}$ is the maximum size of any job.


title: Constructing Data Transaction Chains Based on Opportunity Cost Exploration

abstract: Data trading is increasingly gaining attention. However, the inherent replicability and privacy concerns of data make it challenging to directly apply traditional trading theories to data markets. This paper compares data trading markets with traditional ones, focusing particularly on how the replicability and privacy of data impact data markets. We discuss how data's replicability fundamentally alters the concept of opportunity cost in traditional microeconomics within the context of data markets. Additionally, we explore how to leverage this change to maximize benefits without compromising data privacy. This paper outlines the constraints for data circulation within the privacy domain chain and presents a model that maximizes data's value under these constraints. Specific application scenarios are provided, and experiments demonstrate the solvability of this model.


title: Creating highly symmetric qudit heralded entanglement through highly symmetric graphs

abstract: Recent attention has turned to exploring quantum information within larger Hilbert spaces by utilizing qudits, which offer increased information capacity and potential for robust quantum communications. While the efficient generation of multipartite qudit entanglement is crucial for studying quantum correlations in high-dimensional Hilbert spaces, the increased dimension makes the circuit design challanging, especially when the entanglement is generated by heralding detections. In this work, we demonstrate that the graph picture of linear quantum networks (LQG picture) can provide a simplified method to generate qudit multipartite heralded entanglement of high symmetries. The LQG picture enables the reduction of circuit complexity by directly imposing the state symmetry onto the circuit structure. Leveraging this insight, we propose heralded schemes for generating $N$-partite $N$-level anti-symmetric (singlet) and symmetric (Dicke) states. Our study shed light on the optimal circuit design of high-dimensional entanglement with a systematic graphical strategy.


title: Deep Optics for Video Snapshot Compressive Imaging

abstract: Video snapshot compressive imaging (SCI) aims to capture a sequence of video frames with only a single shot of a 2D detector, whose backbones rest in optical modulation patterns (also known as masks) and a computational reconstruction algorithm. Advanced deep learning algorithms and mature hardware are putting video SCI into practical applications. Yet, there are two clouds in the sunshine of SCI: i) low dynamic range as a victim of high temporal multiplexing, and ii) existing deep learning algorithms' degradation on real system. To address these challenges, this paper presents a deep optics framework to jointly optimize masks and a reconstruction network. Specifically, we first propose a new type of structural mask to realize motion-aware and full-dynamic-range measurement. Considering the motion awareness property in measurement domain, we develop an efficient network for video SCI reconstruction using Transformer to capture long-term temporal dependencies, dubbed Res2former. Moreover, sensor response is introduced into the forward model of video SCI to guarantee end-to-end model training close to real system. Finally, we implement the learned structural masks on a digital micro-mirror device. Experimental results on synthetic and real data validate the effectiveness of the proposed framework. We believe this is a milestone for real-world video SCI. The source code and data are available at https://github.com/pwangcs/DeepOpticsSCI.


title: Free Field Realization of Supersymmetric W-algebras

abstract: We show that supersymmetric(SUSY) W-algebra of generic level can be realized as an intersection of the kernels of the screening operators. Applying this result to the principal SUSY W-algebras, we get the free field realization of them inside the SUSY Heisenberg vertex algebras. Furthermore, the screening operators for principal SUSY W-algebras allow us to analyze their structure via the principal SUSY W-algebras associated with $\mathfrak{osp}(1|2)$, $\mathfrak{osp}(2|2)$, $\mathfrak{osp}(3|2)$ and $\mathfrak{osp}(4|2)$.


title: On the complexity of normalization for the planar $\lambda$-calculus

abstract: We sketch a tentative proof of P-completeness for the $\beta$-convertibility problem on untyped planar (a.k.a. ordered or non-commutative) $\lambda$-terms.


title: Dynkin abelianisations of flag varieties

abstract: Cerulli Irelli and Lanini have shown that PBW degenerations of flag varieties in type A and C are actually Schubert varieties of higher rank. We introduce Dynkin cones to parameterise specific abelianisations of classical Lie algebras. Within this framework, we generalise their result to all degenerations of flag varieties defined by degree vectors originating from a Dynkin cone. This framework allows us to determine the extent to which a flag variety can be degenerate while still naturally being a Schubert variety of the same Lie type. Furthermore, we compute the defining relations for the corresponding degenerate simple modules in all classical types.


title: Coherent transceiver architecture enabling data transmission and optical identification

abstract: We propose a coherent transceiver architecture able to transmit information and enhance the security of the optical network by identifying other optical systems and subsystems. Simulations show that identification is obtained with sufficient reliability in standard operating conditions.


title: The Galactic bulge exploration II. Line-of-sight velocity templates for single-mode RR~Lyrae stars

abstract: We present a new set of tools to derive systemic velocities for single-mode RR~Lyrae stars from visual and near-infrared spectra. We derived scaling relations and line-of-sight velocity templates using both APOGEE and {\it Gaia} spectroscopic products combined with photometric $G$-band amplitudes. We provide a means to estimate systemic velocities for the RR~Lyrae subclasses, RRab and RRc. Our analysis indicates that the scaling relation between the photometric and line-of-sight velocity amplitudes is nonlinear, with a break in a linear relation occurring around 0.4mag in both the $V$-band and $G$-band amplitudes. We did not observe such a break in the relation for the first-overtone pulsators. Using stellar pulsation models, we further confirm and examine the nonlinearity in scaling relation for the RRab subclass. We observed little to no variation with stellar parameters (mass, metallicity, and luminosity) in the scaling relation between the photometric and line-of-sight velocity amplitudes for fundamental-mode pulsators. We observed an offset in the scaling relation between the observations and stellar pulsation models, mainly in the low-amplitude RR~Lyrae regime. This offset disappears when different sets of convective parameters are used. Thus, the Fourier amplitudes obtained from the photometry and line-of-sight velocity measurements can be utilized to constrain convective parameters of stellar pulsation models. The scaling relations and templates for APOGEE and {\it Gaia} data accurately predict systemic velocities compared to literature values. In addition, our tools derived from the {\it Gaia} spectra improve the precision of the derived systemic velocities by approximately 50 percent and provide a better description of the uncertainty distribution in comparison with previous studies. Our newly derived tools will be used for RR~Lyrae variables observed toward the Galactic bulge.


title: MOSE: Boosting Vision-based Roadside 3D Object Detection with Scene Cues

abstract: 3D object detection based on roadside cameras is an additional way for autonomous driving to alleviate the challenges of occlusion and short perception range from vehicle cameras. Previous methods for roadside 3D object detection mainly focus on modeling the depth or height of objects, neglecting the stationary of cameras and the characteristic of inter-frame consistency. In this work, we propose a novel framework, namely MOSE, for MOnocular 3D object detection with Scene cuEs. The scene cues are the frame-invariant scene-specific features, which are crucial for object localization and can be intuitively regarded as the height between the surface of the real road and the virtual ground plane. In the proposed framework, a scene cue bank is designed to aggregate scene cues from multiple frames of the same scene with a carefully designed extrinsic augmentation strategy. Then, a transformer-based decoder lifts the aggregated scene cues as well as the 3D position embeddings for 3D object location, which boosts generalization ability in heterologous scenes. The extensive experiment results on two public benchmarks demonstrate the state-of-the-art performance of the proposed method, which surpasses the existing methods by a large margin.


title: Multi-Task Learning for Features Extraction in Financial Annual Reports

abstract: For assessing various performance indicators of companies, the focus is shifting from strictly financial (quantitative) publicly disclosed information to qualitative (textual) information. This textual data can provide valuable weak signals, for example through stylistic features, which can complement the quantitative data on financial performance or on Environmental, Social and Governance (ESG) criteria. In this work, we use various multi-task learning methods for financial text classification with the focus on financial sentiment, objectivity, forward-looking sentence prediction and ESG-content detection. We propose different methods to combine the information extracted from training jointly on different tasks; our best-performing method highlights the positive effect of explicitly adding auxiliary task predictions as features for the final target task during the multi-task training. Next, we use these classifiers to extract textual features from annual reports of FTSE350 companies and investigate the link between ESG quantitative scores and these features.


title: Prediction intervals for overdispersed Poisson data and their application in medical and pre-clinical quality control

abstract: In pre-clinical and medical quality control, it is of interest to assess the stability of the process under monitoring or to validate a current observation using historical control data. Classically, this is done by the application of historical control limits (HCL) graphically displayed in control charts. In many applications, HCL are applied to count data, e.g. the number of revertant colonies (Ames assay) or the number of relapses per multiple sclerosis patient. Count data may be overdispersed, can be heavily right-skewed and clusters may differ in cluster size or other baseline quantities (e.g. number of petri dishes per control group or different length of monitoring times per patient). Based on the quasi-Poisson assumption or the negative-binomial distribution, we propose prediction intervals for overdispersed count data to be used as HCL. Variable baseline quantities are accounted for by offsets. Furthermore, we provide a bootstrap calibration algorithm that accounts for the skewed distribution and achieves equal tail probabilities. Comprehensive Monte-Carlo simulations assessing the coverage probabilities of eight different methods for HCL calculation reveal, that the bootstrap calibrated prediction intervals control the type-1-error best. Heuristics traditionally used in control charts (e.g. the limits in Sheward c- or u-charts or the mean plus minus 2 SD) fail to control a pre-specified coverage probability. The application of HCL is demonstrated based on data from the Ames assay and for numbers of relapses of multiple sclerosis patients. The proposed prediction intervals and the algorithm for bootstrap calibration are publicly available via the R package predint.


title: Characterization of the ESPRESSO Line-Spread Function and Improvement of the Wavelength Calibration Accuracy

abstract: Achieving a truly accurate wavelength calibration of high-dispersion echelle spectrographs is a challenging task but crucially needed for certain science cases, e.g. to test for a possible variation of the fine-structure constant in quasar spectra. One of the spectrographs best suited for this mission is VLT/ESPRESSO. Nevertheless, previous studies have identified significant discrepancies between the classical wavelength solutions and the one derived independently from the laser frequency comb. The dominant parts of these systematics were intra-order distortions, most-likely related to a deviation of the instrumental line-spread function from the assumed Gaussian shape. Here, we therefore present a study focused on a detailed modeling of the ESPRESSO instrumental line-spread function. We demonstrate that it is strongly asymmetric, non-Gaussian, different for the two slices and fibers, and varies significantly along the spectral orders. Incorporating the determined non-parametric model in the wavelength calibration process drastically improves the wavelength calibration accuracy, reducing the discrepancies between the two independent wavelength solutions from 50m/s to about 10m/s. The most striking success is, however, that the different fibers and slices now provide fully consistent measurements with a scatter of just a couple m/s. This demonstrates that the instrument-related systematics can be nearly eliminated over most of the spectral range by properly taking into account the complex shape of the instrumental line-spread function and paves the way for further optimizations of the wavelength calibration process.


title: Tackling Challenges in 21cm Global Spectrum Experiment: the Impact of Ionosphere and Beam Distortion

abstract: The HI 21cm global signal from the Cosmic Dawn and the Epoch of Reionization (EoR) offers critical insights into the evolution of our Universe. Yet, its detection presents significant challenges due to its extremely low signal-to-contamination ratio and complex instrumental systematics. In this paper, we examine the effects of the ionosphere and antenna beam on data analysis. The ionosphere, an ionized plasma layer in the Earth's atmosphere, refracts, absorbs, and emits radio waves in the relevant frequency range. This interaction results in additional spectral distortion of the observed signal, complicating the process of foreground subtraction. Additionally, chromatic variations in the beam can also introduce further contamination into the global spectrum measurement. Notably, the ionospheric effect, being dependent on the direction of incoming light, interacts with the instrumental beam, adding another layer of complexity. To address this, we evaluate three different fitting templates of foreground: the logarithmic polynomial, the physically motivated EDGES template, and a SVD-based template. Our findings indicate that the EDGES and SVD templates generally surpass logarithmic polynomials in performance. Recognizing the significance of beam chromaticity, we further investigate specific beam distortion models and their impacts on the signal extraction process.


title: Detecting Every Object from Events

abstract: Object detection is critical in autonomous driving, and it is more practical yet challenging to localize objects of unknown categories: an endeavour known as Class-Agnostic Object Detection (CAOD). Existing studies on CAOD predominantly rely on ordinary cameras, but these frame-based sensors usually have high latency and limited dynamic range, leading to safety risks in real-world scenarios. In this study, we turn to a new modality enabled by the so-called event camera, featured by its sub-millisecond latency and high dynamic range, for robust CAOD. We propose Detecting Every Object in Events (DEOE), an approach tailored for achieving high-speed, class-agnostic open-world object detection in event-based vision. Built upon the fast event-based backbone: recurrent vision transformer, we jointly consider the spatial and temporal consistencies to identify potential objects. The discovered potential objects are assimilated as soft positive samples to avoid being suppressed as background. Moreover, we introduce a disentangled objectness head to separate the foreground-background classification and novel object discovery tasks, enhancing the model's generalization in localizing novel objects while maintaining a strong ability to filter out the background. Extensive experiments confirm the superiority of our proposed DEOE in comparison with three strong baseline methods that integrate the state-of-the-art event-based object detector with advancements in RGB-based CAOD. Our code is available at https://github.com/Hatins/DEOE.


title: Online Self-body Image Acquisition Considering Changes in Muscle Routes Caused by Softness of Body Tissue for Tendon-driven Musculoskeletal Humanoids

abstract: Tendon-driven musculoskeletal humanoids have many benefits in terms of the flexible spine, multiple degrees of freedom, and variable stiffness. At the same time, because of its body complexity, there are problems in controllability. First, due to the large difference between the actual robot and its geometric model, it cannot move as intended and large internal muscle tension may emerge. Second, movements which do not appear as changes in muscle lengths may emerge, because of the muscle route changes caused by softness of body tissue. To solve these problems, we construct two models: ideal joint-muscle model and muscle-route change model, using a neural network. We initialize these models by a man-made geometric model and update them online using the sensor information of the actual robot. We validate that the tendon-driven musculoskeletal humanoid Kengoro is able to obtain a correct self-body image through several experiments.


title: T-odd Parton Distribution Functions and Azimuthal Anisotropy at High Transverse Momentum in $p$-$p$ and $p$-$A$ Collisions

abstract: Various azimuthal anisotropies ($v_1, v_2, v_3, v_4$), at high transverse momentum (high-$p_T$), are shown to arise from the asymmetric scattering of transverse polarized quarks and gluons, arising from unpolarized nucleons (the Boer-Mulders' effect) and resulting in unpolarized hadrons (the Collins effect). Combined with the asymmetric scattering of partons from polarization independent but transverse momentum dependent (TMD) distributions, we obtain a possible mechanism to understand the azimuthal anisotropy of hadrons at large transverse momentum observed in $p$-$p$ collisions. Constraining the ratio of polarization dependent TMD distributions to polarization independent distributions by comparing with the data from $p$-$p$ collisions, we find that a simple $A^{1/3}$ enhancement of the intrinsic transverse momentum $(k_\perp^2)$ distribution, of the initial state partons from the proton, straightforwardly yields the azimuthal anisotropy at high $p_T$ in $p$-$A$ collisions.


title: Effective-one-body waveform model for non-circularized, planar, coalescing black hole binaries: the importance of radiation reaction

abstract: We present an updated version of the TEOBResumS-Dali effective-one-body (EOB) waveform model for spin aligned binaries on non-circularized orbits. Recently computed 4PN (nonspinning) terms are incorporated in the waveform and radiation reaction. The model is informed by a restricted sample ($\sim60$) of spin-aligned, quasi-circular, Numerical Relativity (NR) simulations. In the quasi-circular limit, the model displays EOB/NR unfaithfulness ${\bar{\cal F}}^{\rm max}_{\rm EOBNR}\lesssim 10^{-2}$ (with median~ $1.06\times 10^{-3}$) (with Advanced LIGO noise and in the total mass range $10-200M_\odot$) for the dominant $\ell=m=2$ mode all over the 534 spin-aligned configurations available through the Simulating eXtreme Spacetime catalog of NR waveforms. Similar figures are also obtained with the 28 public eccentric SXS simulations and good compatibility between EOB and NR scattering angles is found. The quasi-circular limit of TEOBResumS-Dali is also found to be highly consistent with the TEOBResumS-GIOTTO quasi-circular model. We then systematically explore the importance of NR-tuning {\it also} the radiation reaction of the system. When this is done, the median of the distribution of quasi-circular ${\bar{\cal F}}^{\rm max}_{\rm EOBNR}$ is lowered to $3.92\times 10^{-4}$, though balanced by a tail up to $\sim 0.1$ for large, positive spins. The same is true for the eccentric-inspiral datasets. We conclude that an improvement of the analytical description of the spin-dependent flux (and its interplay with the conservative part) is likely to be the cornerstone to lower the EOB/NR unfaithfulness below the $10^{-4}$ level all over the parameter space, thus grazing the current NR uncertainties as well as the expected needs for next generation of GW detector like Einstein Telescope.


title: Scalar induced gravitational waves in chiral scalar-tensor theory of gravity

abstract: We study the scalar induced gravitational waves (SIGWs) from a chiral scalar-tensor theory of gravity. The parity-violating (PV) Lagrangian contains the Chern-Simons (CS) term and PV scalar-tensor terms, which are built of the quadratic Riemann tensor term and first-order derivatives of a scalar field. We consider SIGWs in two cases, in which the semi-analytic expression to calculate SIGWs can be obtained. Then, we calculate the fractional energy density of SIGWs with a monochromatic power spectrum for the curvature perturbation. We find that the SIGWs in chiral scalar-tensor gravity behave differently from those in GR before and after the peak frequency, which results in a large degree of circular polarization.


title: MindSet: Vision. A toolbox for testing DNNs on key psychological experiments

abstract: Multiple benchmarks have been developed to assess the alignment between deep neural networks (DNNs) and human vision. In almost all cases these benchmarks are observational in the sense they are composed of behavioural and brain responses to naturalistic images that have not been manipulated to test hypotheses regarding how DNNs or humans perceive and identify objects. Here we introduce the toolbox MindSet: Vision, consisting of a collection of image datasets and related scripts designed to test DNNs on 30 psychological findings. In all experimental conditions, the stimuli are systematically manipulated to test specific hypotheses regarding human visual perception and object recognition. In addition to providing pre-generated datasets of images, we provide code to regenerate these datasets, offering many configurable parameters which greatly extend the dataset versatility for different research contexts, and code to facilitate the testing of DNNs on these image datasets using three different methods (similarity judgments, out-of-distribution classification, and decoder method), accessible at https://github.com/MindSetVision/mindset-vision. We test ResNet-152 on each of these methods as an example of how the toolbox can be used.


title: Long-horizon Locomotion and Manipulation on a Quadrupedal Robot with Large Language Models

abstract: We present a large language model (LLM) based system to empower quadrupedal robots with problem-solving abilities for long-horizon tasks beyond short-term motions. Long-horizon tasks for quadrupeds are challenging since they require both a high-level understanding of the semantics of the problem for task planning and a broad range of locomotion and manipulation skills to interact with the environment. Our system builds a high-level reasoning layer with large language models, which generates hybrid discrete-continuous plans as robot code from task descriptions. It comprises multiple LLM agents: a semantic planner for sketching a plan, a parameter calculator for predicting arguments in the plan, and a code generator to convert the plan into executable robot code. At the low level, we adopt reinforcement learning to train a set of motion planning and control skills to unleash the flexibility of quadrupeds for rich environment interactions. Our system is tested on long-horizon tasks that are infeasible to complete with one single skill. Simulation and real-world experiments show that it successfully figures out multi-step strategies and demonstrates non-trivial behaviors, including building tools or notifying a human for help.


title: Well-posedness of the initial boundary value problem for degenerate hyperbolic systems with a localized term and its application to the linearized system for the motion of an inextensible hanging string

abstract: Motivated by an analysis on the well-posedness of the initial boundary value problem for the motion of an inextensible hanging string, we first consider an initial boundary value problem for one-dimensional degenerate hyperbolic systems with a localized term and show its well-posedness in weighted Sobolev spaces. We then consider the linearized system for the motion of an inextensible hanging string. Well-posedness of its initial boundary value problem is demonstrated as an application of the result obtained in the first part.


title: Long-time Self-body Image Acquisition and its Application to the Control of Musculoskeletal Structures

abstract: The tendon-driven musculoskeletal humanoid has many benefits that human beings have, but the modeling of its complex muscle and bone structures is difficult and conventional model-based controls cannot realize intended movements. Therefore, a learning control mechanism that acquires nonlinear relationships between joint angles, muscle tensions, and muscle lengths from the actual robot is necessary. In this study, we propose a system which runs the learning control mechanism for a long time to keep the self-body image of the musculoskeletal humanoid correct at all times. Also, we show that the musculoskeletal humanoid can conduct position control, torque control, and variable stiffness control using this self-body image. We conduct a long-time self-body image acquisition experiment lasting 3 hours, evaluate variable stiffness control using the self-body image, etc., and discuss the superiority and practicality of the self-body image acquisition of musculoskeletal structures, comprehensively.


title: Reduction of (pseudo-)Critical Temperatures of Chiral Restoration and Deconfinement Phase Transitions in a Magnetized PNJL Model

abstract: We investigate the chiral restoration and deconfinement phase transitions under external magnetic field in frame of a Pauli-Villars regularized PNJL model. A running Polyakov loop scale parameter $T_0(eB)$ is introduced to mimic the reaction of the gluon sector to the presence of magnetic fields. It is found that a decreasing $T_0(eB)$ with magnetic fields can realize the inverse magnetic catalysis phenomena of chiral condensates of $u$ and $d$ quarks, increase of Polyakov loop and the reduction of (pseudo-)critical temperatures of chiral restoration and deconfinement phase transitions.


title: Online Learning of Joint-Muscle Mapping Using Vision in Tendon-driven Musculoskeletal Humanoids

abstract: The body structures of tendon-driven musculoskeletal humanoids are complex, and accurate modeling is difficult, because they are made by imitating the body structures of human beings. For this reason, we have not been able to move them accurately like ordinary humanoids driven by actuators in each axis, and large internal muscle tension and slack of tendon wires have emerged by the model error between its geometric model and the actual robot. Therefore, we construct a joint-muscle mapping (JMM) using a neural network (NN), which expresses a nonlinear relationship between joint angles and muscle lengths, and aim to move tendon-driven musculoskeletal humanoids accurately by updating the JMM online from data of the actual robot. In this study, the JMM is updated online by using the vision of the robot so that it moves to the correct position (Vision Updater). Also, we execute another update to modify muscle antagonisms correctly (Antagonism Updater). By using these two updaters, the error between the target and actual joint angles decrease to about 40% in 5 minutes, and we show through a manipulation experiment that the tendon-driven musculoskeletal humanoid Kengoro becomes able to move as intended. This novel system can adapt to the state change and growth of robots, because it updates the JMM online successively.


title: Can Edge Computing fulfill the requirements of automated vehicular services using 5G network ?

abstract: Communication and computation services supporting Connected and Automated Vehicles (CAVs) are characterized by stringent requirements, in terms of response time and reliability. Fulfilling these requirements is crucial for ensuring road safety and traffic optimization. The conceptually simple solution of hosting these services in the vehicles increases their cost (mainly due to the installation and maintenance of computation infrastructure) and may drain their battery excessively. Such disadvantages can be tackled via Multi-Access Edge Computing (MEC), consisting in deploying computation capability in network nodes deployed close to the devices (vehicles in this case), such as to satisfy the stringent CAV requirements. However, it is not yet clear under which conditions MEC can support CAV requirements and for which services. To shed light on this question, we conduct a simulation campaign using well-known open-source simulation tools, namely OMNeT++, Simu5G, Veins, INET, and SUMO. We are thus able to provide a reality check on MEC for CAV, pinpointing what are the computation capacities that must be installed in the MEC, to support the different services, and the amount of vehicles that a single MEC node can support. We find that such parameters must vary a lot, depending on the service considered. This study can serve as a preliminary basis for network operators to plan future deployment of MEC to support CAV.


title: Automated Attack Synthesis for Constant Product Market Makers

abstract: Decentralized Finance enables many novel applications that were impossible in traditional finances. However, it also introduces new types of vulnerabilities, such as composability bugs. The composability bugs refer to issues that lead to erroneous behaviors when multiple smart contracts operate together. One typical example of composability bugs is those between token contracts and Constant Product Market Makers (CPMM), the most widely used model for Decentralized Exchanges. Since 2022, 23 exploits of such kind have resulted in a total loss of 2.2M USD. BlockSec, a smart contract auditing company, once reported that 138 exploits of such kind occurred just in February 2023. We propose CPMM-Exploiter, which automatically detects and generates end-to-end exploits for CPMM composability bugs. Generating such end-to-end exploits is challenging due to the large search space of multiple contracts and various fees involved with financial services. To tackle this, we investigated real-world exploits regarding these vulnerabilities and identified that they arise due to violating two safety invariants. Based on this observation, we implemented CPMM-Exploiter, a new grammar-based fuzzer targeting the detection of these bugs. CPMM-Exploiter uses fuzzing to find transactions that break the invariants. It then refines these transactions to make them profitable for the attacker. We evaluated CPMM-Exploiter on two real-world exploit datasets. CPMM-Exploiter obtained recalls of 0.91 and 0.89, respectively, while five baselines achieved maximum recalls of 0.36 and 0.58, respectively. We further evaluated CPMM-Exploiter by running it on the latest blocks of the Ethereum and Binance networks. It successfully generated 18 new exploits, which can result in 12.9K USD profit in total.


title: In-Flight Estimation of Instrument Spectral Response Functions Using Sparse Representations

abstract: Accurate estimates of Instrument Spectral Response Functions (ISRFs) are crucial in order to have a good characterization of high resolution spectrometers. Spectrometers are composed of different optical elements that can induce errors in the measurements and therefore need to be modeled as accurately as possible. Parametric models are currently used to estimate these response functions. However, these models cannot always take into account the diversity of ISRF shapes that are encountered in practical applications. This paper studies a new ISRF estimation method based on a sparse representation of atoms belonging to a dictionary. This method is applied to different high-resolution spectrometers in order to assess its reproducibility for multiple remote sensing missions. The proposed method is shown to be very competitive when compared to the more commonly used parametric models, and yields normalized ISRF estimation errors less than 1%.


title: Hyperfine-Resolved Rotational Spectroscopy of HCNH+

abstract: The rotational spectrum of the molecular ion HCNH+ is revisited using double-resonance spectroscopy in an ion trap apparatus, with six transitions measured between 74 and 445 GHz. Due to the cryogenic temperature of the trap, the hyperfine splittings caused by the 14N quadrupolar nucleus were resolved for transitions up to J = 4-3, allowing for a refinement of the spectroscopic parameters previously reported, especially the quadrupole coupling constant eQq.


title: Texture Classification Network Integrating Adaptive Wavelet Transform

abstract: Graves' disease is a common condition that is diagnosed clinically by determining the smoothness of the thyroid texture and its morphology in ultrasound images. Currently, the most widely used approach for the automated diagnosis of Graves' disease utilizes Convolutional Neural Networks (CNNs) for both feature extraction and classification. However, these methods demonstrate limited efficacy in capturing texture features. Given the high capacity of wavelets in describing texture features, this research integrates learnable wavelet modules utilizing the Lifting Scheme into CNNs and incorporates a parallel wavelet branch into the ResNet18 model to enhance texture feature extraction. Our model can analyze texture features in spatial and frequency domains simultaneously, leading to optimized classification accuracy. We conducted experiments on collected ultrasound datasets and publicly available natural image texture datasets, our proposed network achieved 97.27% accuracy and 95.60% recall on ultrasound datasets, 60.765% accuracy on natural image texture datasets, surpassing the accuracy of ResNet and conrming the effectiveness of our approach.


title: Cosmological fluids with boundary term couplings

abstract: Cosmological models can be studied effectively using dynamical systems techniques. Starting from Brown's formulation of the variational principle for relativistic fluids, we introduce new types of couplings involving a perfect fluid, a scalar field, and boundary terms. We describe three different coupling models, one of which turns out to be particularly relevant for cosmology. Its behaviour is similar to that of models in which dark matter decays into dark energy. In particular, for a constant coupling, the model mimics well-known dynamical dark energy models while the non-constant couplings offer a rich dynamical structure, unseen before. We are able to achieve this richness whilst working in a two-dimensional phase space. This is a significant advantage which allows us to provide a clear physical interpretation of the key features and draw analogies with previously studied models.