title: Measured and Modeled Outdoor Indoor Coverage at 28 GHz into High Thermal Efficiency Buildings

abstract: 28 GHz outdoor-indoor coverage into modern office buildings with high thermal efficiency windows is found to be severely limited due to 46 dB median penetration loss at normal incidence and additional 15 dB median oblique incidence loss. The study is based on measurements of path gain over 280 outdoor-indoor links, at ranges up to 100 m. A simple theoretical path gain model is extended to include building penetration through multiple sides of the building as well as a reflection from another building. The theoretical model accounts for the building orientation relative to the source, resulting in 4.9 dB RMSE relative to data, as compared to 5.7 dB RMSE from a linear fit and 14.7 dB RMSE for the 3GPP recommended model. Only coarse description of the buildings is required: building orientation and exterior wall composition, without any interior details. Coverage range for SNR>-8 dB from an outdoor base to a terminal just inside a high-efficiency building is under 35 m


title: The HAPPY HEDGEHOG Project

abstract: Semi-autonomous machines, autonomous machines and robots inhabit closed, semi-closed and open environments, more structured environments like the household or more unstructured environments like cultural landscapes or the wilderness. There they encounter domestic animals, farm animals, working animals, and wild animals. These creatures could be disturbed, displaced, injured, or killed by the machines. Within the context of machine ethics and social robotics, the School of Business FHNW developed several design studies and prototypes for animal-friendly machines, which can be understood as moral and social machines in the spirit of these disciplines. In 2019-20, a team led by the main author developed a prototype robot lawnmower that can recognize hedgehogs, interrupt its work for them and thus protect them. Every year many of these animals die worldwide because of traditional service robots. HAPPY HEDGEHOG (HHH), as the invention is called, could be a solution to this problem. This article begins by providing an introduction to the background. Then it focuses on navigation (where the machine comes across certain objects that need to be recognized) and thermal and image recognition (with the help of machine learning) of the machine. It also presents obvious weaknesses and possible improvements. The results could be relevant for an industry that wants to market their products as animal-friendly machines.


title: In-Database Data Imputation

abstract: Missing data is a widespread problem in many domains, creating challenges in data analysis and decision making. Traditional techniques for dealing with missing data, such as excluding incomplete records or imputing simple estimates (e.g., mean), are computationally efficient but may introduce bias and disrupt variable relationships, leading to inaccurate analyses. Model-based imputation techniques offer a more robust solution that preserves the variability and relationships in the data, but they demand significantly more computation time, limiting their applicability to small datasets. This work enables efficient, high-quality, and scalable data imputation within a database system using the widely used MICE method. We adapt this method to exploit computation sharing and a ring abstraction for faster model training. To impute both continuous and categorical values, we develop techniques for in-database learning of stochastic linear regression and Gaussian discriminant analysis models. Our MICE implementations in PostgreSQL and DuckDB outperform alternative MICE implementations and model-based imputation techniques by up to two orders of magnitude in terms of computation time, while maintaining high imputation quality.


title: Generative Skill Chaining: Long-Horizon Skill Planning with Diffusion Models

abstract: Long-horizon tasks, usually characterized by complex subtask dependencies, present a significant challenge in manipulation planning. Skill chaining is a practical approach to solving unseen tasks by combining learned skill priors. However, such methods are myopic if sequenced greedily and face scalability issues with search-based planning strategy. To address these challenges, we introduce Generative Skill Chaining~(GSC), a probabilistic framework that learns skill-centric diffusion models and composes their learned distributions to generate long-horizon plans during inference. GSC samples from all skill models in parallel to efficiently solve unseen tasks while enforcing geometric constraints. We evaluate the method on various long-horizon tasks and demonstrate its capability in reasoning about action dependencies, constraint handling, and generalization, along with its ability to replan in the face of perturbations. We show results in simulation and on real robot to validate the efficiency and scalability of GSC, highlighting its potential for advancing long-horizon task planning. More details are available at: https://generative-skill-chaining.github.io/


title: Reply to Comment on "Covariant formulation of electrodynamics in isotropic media''

abstract: This note contains my response to the comment written by J. Franklin on my paper ``Covariant formulation of electrodynamics in isotropic media''.


title: Human evaluation of robotic grippers for berry picking

abstract: We describe the construction and evaluation of two robotic grippers for berry picking. Using a pneumatic cylinder drive, one was constructed from hard materials and the other from soft materials. A novel evaluation paradigm using a handle mechanism was developed, so the grippers could be directly op-erated by human participants. An artificial bush was also constructed and used for evaluation purposes. Overall, both grippers performed worse than the human hand, indicating that further development is needed.


title: Data-driven Dynamic Event-triggered Control

abstract: This paper revisits the event-triggered control problem from a data-driven perspective, where unknown continuous-time linear systems subject to disturbances are taken into account. Using data information collected off-line instead of accurate system model information, a data-driven dynamic event-triggered control scheme is developed in this paper. The dynamic property is reflected by that the designed event-triggering function embedded in the event-triggering mechanism (ETM) is dynamically updated as a whole. Thanks to this dynamic design, a strictly positive minimum inter-event time (MIET) is guaranteed without sacrificing control performance. Specifically, exponential input-to-state stability (ISS) of the closed-loop system with respect to disturbances is achieved in this paper, which is superior to some existing results that only guarantee a practical exponential ISS property. The dynamic ETM is easy-to-implement in practical operation since all designed parameters are determined only by a simple data-driven linear matrix inequality (LMI), without additional complicated conditions as required in relevant literature. As quantization is the most common signal constraint in practice, the developed control scheme is further extended to the case where state transmission is affected by a uniform or logarithmic quantization effect. Finally, adequate simulations are performed to show the validity and superiority of the proposed control schemes.


title: A dynamic thermal sensing mechanism with reconfigurable expanded-plane structures

abstract: The precise measurement of temperature is crucial in various fields such as biology, medicine, industrial automation, energy management, and daily life applications. While in most scenarios, sensors with a fixed thermal conductivity inevitably mismatch the analogous parameter of the medium being measured, thus causing the distortion and inaccurate detection of original temperature fields. Despite recent efforts on addressing the parameter-mismatch issue, all current solutions are constrained to a fixed working medium whereas a more universal sensor should function in a variety of scenes. Here, we report a dynamic thermal sensor capable of highly accurate measurements in diverse working environments. Remarkably, thanks to the highly tunable thermal conductivity of the expanded-plane structure, this sensor works effect on background mediums with a wide range of conductivity. Such a development greatly enhances the robustness and adaptability of thermal sensors, setting a solid foundation for applications in multi-physical sensing scenarios.


title: Investigation of the efficiency of the moving least squares method in the reconstruction of a three-dimensional surface on a supercomputer

abstract: Currently, the area of geometric modeling and the construction of 3D models based on point clouds from laser sensors is actively developing. One of the basic tasks of geometric modeling is the reconstruction of a surface from a cloud of points. The aim of this work is to develop a parallel least-squares surface reconstruction method on a distributed memory supercomputer that allows achieving optimal results both in scalability and surface reconstruction quality. The focus of the work is on the surface reconstruction algorithm based on the least squares method, in connection with which the algorithm was called the moving least squares method.


title: The powerset monad on quantale-valued sets

abstract: For a small involutive quantaloid $\mathcal{Q}$, it is shown that the category of separated complete $\mathcal{Q}$-categories and left adjoint $\mathcal{Q}$-functors is strictly monadic over the category of symmetric $\mathcal{Q}$-categories. In particular, the (covariant) powerset monad on the category of quantale-valued sets is precisely formulated.


title: Entanglement detection length of multipartite quantum states

abstract: Multipartite entanglement is a crucial resource for quantum computing, communication, and metrology. However, detecting this resource can be challenging: for genuine multipartite entanglement it may require global measurements that are hard to implement experimentally. In this study, we introduce the concept of entanglement detection length, defined as the minimum length of observables required to detect genuine multipartite entanglement. We characterize the entanglement detection length for various types of genuinely entangled states, including GHZ-like states, Dicke states, and graph states. We also present a classification of genuinely entangled states based on entanglement detection length. Furthermore, we demonstrate that the entanglement detection length differs from the minimum length of observables needed to uniquely determine a genuinely entangled state. Our findings are valuable for minimizing the number of observables that must be measured in entanglement detection.


title: Thermal conduction force under standing and quasi-standing temperature field

abstract: Thermal conduction force plays a crucial role in manipulating the local thermal conductivity of crystals. However, due to the diffusive nature of thermal conduction, investigating the force effect is challenging. Recently, researchers have explored the force effect based on the wave-like behavior of thermal conduction, specifically second sound. However, their focus has been primarily on the progressive case, neglecting the more complex standing temperature field case. Additionally, establishing a connection between the results obtained from the progressive case and the standing case poses a challenging problem. In this study, we investigate the force effect of standing and quasi-standing temperature fields, revealing distinct characteristics of thermal conduction force. Moreover, we establish a link between the progressive and standing cases through the quasi-standing case. Our findings pave the way for research in more intricate scenarios and provide an additional degree of freedom for manipulating the local thermal conductivity of dielectric crystals.


title: Multi-Modal Representation Learning for Molecular Property Prediction: Sequence, Graph, Geometry

abstract: Molecular property prediction refers to the task of labeling molecules with some biochemical properties, playing a pivotal role in the drug discovery and design process. Recently, with the advancement of machine learning, deep learning-based molecular property prediction has emerged as a solution to the resource-intensive nature of traditional methods, garnering significant attention. Among them, molecular representation learning is the key factor for molecular property prediction performance. And there are lots of sequence-based, graph-based, and geometry-based methods that have been proposed. However, the majority of existing studies focus solely on one modality for learning molecular representations, failing to comprehensively capture molecular characteristics and information. In this paper, a novel multi-modal representation learning model, which integrates the sequence, graph, and geometry characteristics, is proposed for molecular property prediction, called SGGRL. Specifically, we design a fusion layer to fusion the representation of different modalities. Furthermore, to ensure consistency across modalities, SGGRL is trained to maximize the similarity of representations for the same molecule while minimizing similarity for different molecules. To verify the effectiveness of SGGRL, seven molecular datasets, and several baselines are used for evaluation and comparison. The experimental results demonstrate that SGGRL consistently outperforms the baselines in most cases. This further underscores the capability of SGGRL to comprehensively capture molecular information. Overall, the proposed SGGRL model showcases its potential to revolutionize molecular property prediction by leveraging multi-modal representation learning to extract diverse and comprehensive molecular insights. Our code is released at https://github.com/Vencent-Won/SGGRL.


title: EWS time delay in low energy e C60 elastic scattering

abstract: Time delay in a projectile-target scattering is a fundamental tool in understanding their interactions by probing the temporal domain. The present study focuses on computing and analyzing the Eisenbud-Wigner-Smith (EWS) time delay in low energy elastic e C60 scattering. The investigation is carried out in the framework of a non-relativistic partial wave analysis (PWA) technique. The projectile-target interaction is described in (1) Density Functional Theory (DFT) and (2) Annular Square Well (ASW) static model, and their final results are compared in details. The impact of polarization on resonant and non-resonant time delay is also investigated.


title: Advancing Noise-Resilient Twist Angle Characterization in Bilayer Graphene through Raman Spectroscopy via GAN-CNN Modeling

abstract: In this study, we introduce an innovative methodology for robust twist angle identification in bilayer graphene using Raman spectroscopy, featuring the integration of generative adversarial network and convolutional neural network (GAN-CNN). Our proposed approach showcases remarkable resistance to noise interference, particularly in ultra-low Signal-to-Noise Ratio (SNR) conditions. We demonstrate the GAN-CNN model's robust learning capability, even when SNR reaches minimal levels. The model's exceptional noise resilience negates the necessity for preprocessing steps, facilitating accurate classification, and substantially reducing computational expenses. Empirical results reveal the model's prowess, achieving heightened accuracy in twist angle identification. Specifically, our GAN-CNN model achieves a test accuracy exceeding 99.9% and a recall accuracy of 99.9%, relying on an augmented dataset containing 4209 spectra. This work not only contributes to the evolution of noise-resistant spectral analysis methodologies but also provides crucial insights into the application of advanced deep learning techniques for bilayer graphene characterization through Raman spectroscopy. The findings presented herein have broader implications for enhancing the precision and efficiency of material characterization methodologies, laying the foundation for future advancements in the field.


title: SoRoTop: a hitchhiker's guide to topology optimization MATLAB code for design-dependent pneumatic-driven soft robots

abstract: Demands for pneumatic-driven soft robots are constantly rising for various applications. However, they are often designed manually due to the lack of systematic methods. Moreover, design-dependent characteristics of pneumatic actuation pose distinctive challenges. This paper provides a compact MATLAB code, named SoRoTop, and its various extensions for designing pneumatic-driven soft robots using topology optimization. The code uses the method of moving asymptotes as the optimizer and builds upon the approach initially presented in Kumar et al.(Struct Multidiscip Optim 61 (4): 1637-1655, 2020). The pneumatic load is modeled using Darcy's law with a conceptualized drainage term. Consistent nodal loads are determined from the resultant pressure field using the conventional finite element approach. The robust formulation is employed, i.e., the eroded and blueprint design descriptions are used. A min-max optimization problem is formulated using the output displacements of the eroded and blueprint designs. A volume constraint is imposed on the blueprint design, while the eroded design is used to apply a conceptualized strain energy constraint. The latter constraint aids in attaining optimized designs that can endure the applied load without compromising their performance. Sensitivities required for optimization are computed using the adjoint-variable method. The code is explained in detail, and various extensions are also presented. It is structured into pre-optimization, MMA optimization, and post-optimization operations, each of which is comprehensively detailed. The paper also illustrates the impact of load sensitivities on the optimized designs. SoRoTop is provided in Appendix A and is available with extensions in the supplementary material and publicly at \url{https://github.com/PrabhatIn/SoRoTop}.


title: The general propagator for S-wave threshold states

abstract: We demonstrate that the propagator, derived from an Effective Field Theory (EFT) that incorporates Weinberger's compositeness theorem, provides a more general formula for describing S-wave near-threshold states. By fitting the lineshape using this propagator, we can extract the $Z$ factor for these states and elucidate their structures.


title: LLM-Powered Code Vulnerability Repair with Reinforcement Learning and Semantic Reward

abstract: In software development, the predominant emphasis on functionality often supersedes security concerns, a trend gaining momentum with AI-driven automation tools like GitHub Copilot. These tools significantly improve developers' efficiency in functional code development. Nevertheless, it remains a notable concern that such tools are also responsible for creating insecure code, predominantly because of pre-training on publicly available repositories with vulnerable code. Moreover, developers are called the "weakest link in the chain" since they have very minimal knowledge of code security. Although existing solutions provide a reasonable solution to vulnerable code, they must adequately describe and educate the developers on code security to ensure that the security issues are not repeated. Therefore we introduce a multipurpose code vulnerability analysis system \texttt{SecRepair}, powered by a large language model, CodeGen2 assisting the developer in identifying and generating fixed code along with a complete description of the vulnerability with a code comment. Our innovative methodology uses a reinforcement learning paradigm to generate code comments augmented by a semantic reward mechanism. Inspired by how humans fix code issues, we propose an instruction-based dataset suitable for vulnerability analysis with LLMs. We further identify zero-day and N-day vulnerabilities in 6 Open Source IoT Operating Systems on GitHub. Our findings underscore that incorporating reinforcement learning coupled with semantic reward augments our model's performance, thereby fortifying its capacity to address code vulnerabilities with improved efficacy.


title: Real-Time Asphalt Pavement Layer Thickness Prediction Using Ground-Penetrating Radar Based on a Modified Extended Common Mid-Point (XCMP) Approach

abstract: The conventional surface reflection method has been widely used to measure the asphalt pavement layer dielectric constant using ground-penetrating radar (GPR). This method may be inaccurate for in-service pavement thickness estimation with dielectric constant variation through the depth, which could be addressed using the extended common mid-point method (XCMP) with air-coupled GPR antennas. However, the factors affecting the XCMP method on thickness prediction accuracy haven't been studied. Manual acquisition of key factors is required, which hinders its real-time applications. This study investigates the affecting factors and develops a modified XCMP method to allow automatic thickness prediction of in-service asphalt pavement with non-uniform dielectric properties through depth. A sensitivity analysis was performed, necessitating the accurate estimation of time of flights (TOFs) from antenna pairs. A modified XCMP method based on edge detection was proposed to allow real-time TOFs estimation, then dielectric constant and thickness predictions. Field tests using a multi-channel GPR system were performed for validation. Both the surface reflection and XCMP setups were conducted. Results show that the modified XCMP method is recommended with a mean prediction error of 1.86%, which is more accurate than the surface reflection method (5.73%).


title: How to optimize neuroscience data utilization and experiment design for advancing primate visual and linguistic brain models?

abstract: In recent years, neuroscience has made significant progress in building large-scale artificial neural network (ANN) models of brain activity and behavior. However, there is no consensus on the most efficient ways to collect data and design experiments to develop the next generation of models. This article explores the controversial opinions that have emerged on this topic in the domain of vision and language. Specifically, we address two critical points. First, we weigh the pros and cons of using qualitative insights from empirical results versus raw experimental data to train models. Second, we consider model-free (intuition-based) versus model-based approaches for data collection, specifically experimental design and stimulus selection, for optimal model development. Finally, we consider the challenges of developing a synergistic approach to experimental design and model building, including encouraging data and model sharing and the implications of iterative additions to existing models. The goal of the paper is to discuss decision points and propose directions for both experimenters and model developers in the quest to understand the brain.


title: Elastic Softening in Synthetic Diamonds

abstract: This study reveals a novel phenomenon demonstrating the elastic softening of synthetic diamonds when cooled to very low temperatures below 1 K. We present the results of ultrasonic measurements of single-crystalline synthetic diamonds without irradiation, namely type-IIa (colorless) and Ib (yellow) diamonds grown by high-pressure-high-temperature synthesis as well as type-IIa diamond grown by chemical vapor deposition. We observed divergent decreasing of the elastic stiffness constant $C_{44}$ in all samples at low temperatures down to 20 mK. We argue for the existence of electric quadrupolar degrees of freedom with the irreducible representation of T$_2$ in diamond as the origin of this elastic softening and the possible ground state preserves local T$_d$ symmetry down to around absolute zero. Of the ground states of atomic vacancies in diamond proposed thus far, the only relevant one is the positively charged single atomic vacancy V$^+$, which has not been observed in the previous optical measurements in the irradiated diamonds.


title: CG-Kit: Code Generation Toolkit for Performant and Maintainable Variants of Source Code Applied to Flash-X Hydrodynamics Simulations

abstract: CG-Kit is a new code generation toolkit that we propose as a solution for portability and maintainability for scientific computing applications. The development of CG-Kit is rooted in the urgent need created by the shifting landscape of high-performance computing platforms and the algorithmic complexities of a particular large-scale multiphysics application: Flash-X. This combination leads to unique challenges including handling an existing large code base in Fortran and/or C/C++, subdivision of code into a great variety of units supporting a wide range of physics and numerical methods, different parallelization techniques for distributed- and shared-memory systems and accelerator devices, and heterogeneity of computing platforms requiring coexisting variants of parallel algorithms. The challenges demand that developers determine custom abstractions and granularity for code generation. CG-Kit tackles this with standalone tools that can be combined into highly specific and, we argue, highly effective portability and maintainability tool chains. Here we present the design of our new tools: parametrized source trees, control flow graphs, and recipes. The tools are implemented in Python. Although the tools are agnostic to the programming language of the source code, we focus on C/C++ and Fortran. Code generation experiments demonstrate the generation of variants of parallel algorithms: first, multithreaded variants of the basic AXPY operation (scalar-vector addition and vector-vector multiplication) to introduce the application of CG-Kit tool chains; and second, variants of parallel algorithms within a hydrodynamics solver, called Spark, from Flash-X that operates on block-structured adaptive meshes. In summary, code generated by CG-Kit achieves a reduction by over 60% of the original C/C++/Fortran source code.


title: Towards Effective Multiple-in-One Image Restoration: A Sequential and Prompt Learning Strategy

abstract: While single task image restoration (IR) has achieved significant successes, it remains a challenging issue to train a single model which can tackle multiple IR tasks. In this work, we investigate in-depth the multiple-in-one (MiO) IR problem, which comprises seven popular IR tasks. We point out that MiO IR faces two pivotal challenges: the optimization of diverse objectives and the adaptation to multiple tasks. To tackle these challenges, we present two simple yet effective strategies. The first strategy, referred to as sequential learning, attempts to address how to optimize the diverse objectives, which guides the network to incrementally learn individual IR tasks in a sequential manner rather than mixing them together. The second strategy, i.e., prompt learning, attempts to address how to adapt to the different IR tasks, which assists the network to understand the specific task and improves the generalization ability. By evaluating on 19 test sets, we demonstrate that the sequential and prompt learning strategies can significantly enhance the MiO performance of commonly used CNN and Transformer backbones. Our experiments also reveal that the two strategies can supplement each other to learn better degradation representations and enhance the model robustness. It is expected that our proposed MiO IR formulation and strategies could facilitate the research on how to train IR models with higher generalization capabilities.


title: Mordell--Tornheim Zeta Values, Their Alternating Version, and Their Finite Analogs

abstract: The purpose of this paper is two-fold. First, we consider the classical Mordell--Tornheim zeta values and their alternating version. It is well-known that these values can be expressed as rational linear combinations of multiple zeta values (MZVs) and the alternating MZVs, respectively. We show that, however, the spaces generated by these values over the rational numbers are in general much smaller than the MZV space and the alternating MZV space, respectively, which disproves a conjecture of Bachmann, Takeyama and Tasaka. Second, we study supercongruences of some finite sums of multiple integer variables. This kind of congruences is a variation of the so called finite multiple zeta values when the moduli are primes instead of prime powers. In general, these objects can be transformed to finite analogs of the Mordell--Tornheim sums which can be reduced to multiple harmonic sums. This approach not only simplifies the proof of a few previous results but also generalizes some of them. At the end of the paper, we also provide a conjecture supported by strong numerical evidence.


title: Distributionally Robust Frequency-Constrained Microgrid Scheduling Towards Seamless Islanding

abstract: Unscheduled islanding events of microgrids result in the transition between grid-connected and islanded modes and induce a sudden and unknown power imbalance, posing a threat to frequency security. To achieve seamless islanding, we propose a distributionally robust frequency-constrained microgrid scheduling model considering unscheduled islanding events. This model co-optimizes unit commitments, power dispatch, upward/downward primary frequency response reserves, virtual inertia provisions from renewable energy sources (RESs), deloading ratios of RESs, and battery operations, while ensuring the system frequency security during unscheduled islanding. We establish an affine relationship between the actual power exchange and RES uncertainty in grid-connected mode, describe RES uncertainty with a Wasserstein-metric ambiguity set, and formulate frequency constraints under uncertain post-islanding power imbalance as distributionally robust quadratic chance constraints, which are further transformed by a tight conic relaxation. We solve the proposed mixed-integer convex program and demonstrate its effectiveness through case studies.


title: Low Bend Loss, High Index, Composite Morphology Ultra-fast Laser Written Waveguides for Photonic Integrated Circuits

abstract: We demonstrate a novel, composite laser written 3D waveguide, fabricated in boro-aluminosilicate glass, with a refractive index contrast of 1.12 x 10^-2. The waveguide is fabricated using a multi-pass approach which leverages the respective refractive index modification mechanisms of both the thermal and athermal inscription regimes. We present the study and optimisation of inscription parameters for maximising positive refractive index change and ultimately demonstrate a dramatic advancement on the state of the art of bend losses in laser-written waveguides. The 1.0 dB cm^-1 bend loss cut-off radius is reduced from 10 mm to 4 mm, at a propagation wavelength of 1550 nm.


title: On the Ehrhart Theory of Generalized Symmetric Edge Polytopes

abstract: The symmetric edge polytope (SEP) of a (finite, undirected) graph is a centrally symmetric lattice polytope whose vertices are defined by the edges of the graph. SEPs have been studied extensively in the past twenty years. Recently, T\'othm\'er\'esz and, independently, D'Al\'i, Juhnke-Kubitzke, and Koch generalized the definition of an SEP to regular matroids, as these are the matroids that can be characterized by totally unimodular matrices. Generalized SEPs are known to have symmetric Ehrhart $h^*$-polynomials, and Ohsugi and Tsuchiya conjectured that (ordinary) SEPs have nonnegative $\gamma$-vectors. In this article, we use combinatorial and Gr\"obner basis techniques to extend additional known properties of SEPs to generalized SEPs. Along the way, we show that generalized SEPs are not necessarily $\gamma$-nonnegative by providing explicit examples. We prove these polytopes to be "nearly" $\gamma$-nonnegative in the sense that, by deleting exactly two elements from the matroid, one obtains SEPs for graphs that are $\gamma$-nonnegative. This provides further evidence that Ohsugi and Tsuchiya's conjecture holds in the ordinary case.


title: conv_einsum: A Framework for Representation and Fast Evaluation of Multilinear Operations in Convolutional Tensorial Neural Networks

abstract: Modern ConvNets continue to achieve state-of-the-art results over a vast array of vision and image classification tasks, but at the cost of increasing parameters. One strategy for compactifying a network without sacrificing much expressive power is to reshape it into a tensorial neural network (TNN), which is a higher-order tensorization of its layers, followed by a factorization, such as a CP-decomposition, which strips a weight down to its critical basis components. Passes through TNNs can be represented as sequences of multilinear operations (MLOs), where the evaluation path can greatly affect the number of floating point operations (FLOPs) incurred. While functions such as the popular einsum can evaluate simple MLOs such as contractions, existing implementations cannot process multi-way convolutions, resulting in scant assessments of how optimal evaluation paths through tensorized convolutional layers can improve training speed. In this paper, we develop a unifying framework for representing tensorial convolution layers as einsum-like strings and a meta-algorithm conv_einsum which is able to evaluate these strings in a FLOPs-minimizing manner. Comprehensive experiments, using our open-source implementation, over a wide range of models, tensor decompositions, and diverse tasks, demonstrate that conv_einsum significantly increases both computational and memory-efficiency of convolutional TNNs.


title: Grimoire is All You Need for Enhancing Large Language Models

abstract: In-context Learning (ICL) is one of the key methods for enhancing the performance of large language models on specific tasks by providing a set of few-shot examples. However, the ICL capability of different types of models shows significant variation due to factors such as model architecture, volume of learning data, and the size of parameters. Generally, the larger the model's parameter size and the more extensive the learning data, the stronger its ICL capability. In this paper, we propose a method SLEICL that involves learning from examples using strong language models and then summarizing and transferring these learned skills to weak language models for inference and application. This ensures the stability and effectiveness of ICL. Compared to directly enabling weak language models to learn from prompt examples, SLEICL reduces the difficulty of ICL for these models. Our experiments, conducted on up to eight datasets with five language models, demonstrate that weak language models achieve consistent improvement over their own zero-shot or few-shot capabilities using the SLEICL method. Some weak language models even surpass the performance of GPT4-1106-preview (zero-shot) with the aid of SLEICL.


title: Optimizing Order Dispatch Decisions under Delivery Window Constraints

abstract: This study focuses on order dispatch decisions within two-echelon supply chains, where order dispatch creates economic shipments to reduce delivery costs. Dispatching orders is often constrained by delivery windows, leading to penalty costs for untimely deliveries. Prolonged dispatch times can increase the lead time of orders and potentially violate these delivery windows. To balance the trade-offs between lead time and economic delivery, this study introduces a simulation-optimization approach for determining optimal ordering and dispatch rules. It emphasizes the intricacies of the order dispatch process and explores how these can be integrated into the simulation-optimization procedure to improve ordering and delivery decisions. The study evaluates various options for implementing dispatch rules, including the number of dispatch queues and prioritized dispatch. The results indicate that a single-queue, quantity-based, first-in-first-out dispatch approach achieves the greatest cost reduction while maintaining a desirable service level.


title: On noncollapsed $\mathbb{F}$-limit metric solitons

abstract: A noncollapsed $\mathbb{F}$-limit metric soliton is a self-similar singularity model that inevitably arises when studying the Ricci flow with the tool of $\mathbb{F}$-convergence [Bam20a,Bam20b,Bam20c]. In this article, we shall present a systematic study of the noncollapsed $\mathbb{F}$-limit metric soliton, and show that, apart from the known results in [Bam20c], it satisfies many properties of smooth Ricci shrinkers. In particular, we show a quadratic lower bound for the scalar curvature, a local gap theorem, a global Sobolev inequality, and an optimal volume growth lower bound.


title: LLMs for Robotic Object Disambiguation

abstract: The advantages of pre-trained large language models (LLMs) are apparent in a variety of language processing tasks. But can a language model's knowledge be further harnessed to effectively disambiguate objects and navigate decision-making challenges within the realm of robotics? Our study reveals the LLM's aptitude for solving complex decision making challenges that are often previously modeled by Partially Observable Markov Decision Processes (POMDPs). A pivotal focus of our research is the object disambiguation capability of LLMs. We detail the integration of an LLM into a tabletop environment disambiguation task, a decision making problem where the robot's task is to discern and retrieve a user's desired object from an arbitrarily large and complex cluster of objects. Despite multiple query attempts with zero-shot prompt engineering (details can be found in the Appendix), the LLM struggled to inquire about features not explicitly provided in the scene description. In response, we have developed a few-shot prompt engineering system to improve the LLM's ability to pose disambiguating queries. The result is a model capable of both using given features when they are available and inferring new relevant features when necessary, to successfully generate and navigate down a precise decision tree to the correct object--even when faced with identical options.


title: Optimisation and Performance Computation of a Phase Frequency Detector Module for IoT Devices

abstract: The Internet of Things (IoT) is pivotal in transforming the way we live and interact with our surroundings. To cope with the advancement in technologies, it is vital to acquire accuracy with the speed. A phase frequency detector (PFD) is a critical device to regulate and provide accurate frequency in IoT devices. Designing a PFD poses challenges in achieving precise phase detection, minimising dead zones, optimising power consumption, and ensuring robust performance across various operational frequencies, necessitating complex engineering and innovative solutions. This study delves into optimising a PFD circuit, designed using 90 nm standard CMOS technology, aiming to achieve superior operational frequencies. An efficient and high-frequency PFD design is crafted and analysed using cadence virtuoso. The study focused on investigating the impact of optimising PFD design. With the optimised PFD, an operational frequency of 5 GHz has been achieved, along with a power consumption of only 29 {\mu}W. The dead zone of the PFD was only 25 ps.


title: Dynamics-based Feature Augmentation of Graph Neural Networks for Variant Emergence Prediction

abstract: During the COVID-19 pandemic, a major driver of new surges has been the emergence of new variants. When a new variant emerges in one or more countries, other nations monitor its spread in preparation for its potential arrival. The impact of the new variant and the timings of epidemic peaks in a country highly depend on when the variant arrives. The current methods for predicting the spread of new variants rely on statistical modeling, however, these methods work only when the new variant has already arrived in the region of interest and has a significant prevalence. Can we predict when a variant existing elsewhere will arrive in a given region? To address this question, we propose a variant-dynamics-informed Graph Neural Network (GNN) approach. First, we derive the dynamics of variant prevalence across pairs of regions (countries) that apply to a large class of epidemic models. The dynamics motivate the introduction of certain features in the GNN. We demonstrate that our proposed dynamics-informed GNN outperforms all the baselines, including the currently pervasive framework of Physics-Informed Neural Networks (PINNs). To advance research in this area, we introduce a benchmarking tool to assess a user-defined model's prediction performance across 87 countries and 36 variants.


title: More MDS codes of non-Reed-Solomon type

abstract: MDS codes have diverse practical applications in communication systems, data storage, and quantum codes due to their algebraic properties and optimal error-correcting capability. In this paper, we focus on a class of linear codes and establish some sufficient and necessary conditions for them being MDS. Notably, these codes differ from Reed-Solomon codes up to monomial equivalence. Additionally, we also explore the cases in which these codes are almost MDS or near MDS. Applying our main results, we determine the covering radii and deep holes of the dual codes associated with specific Roth-Lempel codes and discover an infinite family of (almost) optimally extendable codes with dimension three.


title: Distinguishing $\Lambda$CDM from evolving dark energy with the future gravitational-wave space-borne detector DECIGO

abstract: The $Omh^2(z_i,z_j)$ two point diagnostics was proposed as a litmus test of $\Lambda$CDM model and measurements of cosmic expansion rate $H(z)$ have been extensively used to perform this test. The results obtained so far suggested a tension between observations and predictions of the $\Lambda$CDM model. However, the dataset of $H(z)$ direct measurements from cosmic chronometers and BAO was quite limited. This motivated us to study the performance of this test on a larger sample obtained in an alternative way. In this Letter, we propose that gravitational wave (GW) standard sirens could provide large samples of $H(z)$ measurements in the redshift range of $0<z<5$, based on the measurements of dipole anisotropy of luminosity distance arising from the matter inhomogeneities of large-scale structure and the local motion of observer. We discuss the effectiveness of our method in the context of the future generation space-borne DECi-herz Interferometer Gravitaional-wave Observatory (DECIGO), based on a comprehensive $H(z)$ simulated data set from binary neutron star merger systems. Our result indicate that in the GW domain, the $Omh^2(z_i,z_j)$ two point diagnostics could effectively distinguish whether $\Lambda$CDM is the best description of our Universe. We also discuss the potential of our methodology in determining possible evidence for dark energy evolution, focusing on its performance on the constant and redshift-dependent dark energy equation of state.


title: Modelling and Predicting the Conditional Variance of Bitcoin Daily Returns: Comparsion of Markov Switching GARCH and SV Models

abstract: This paper introduces a unique and valuable research design aimed at analyzing Bitcoin price volatility. To achieve this, a range of models from the Markov Switching-GARCH and Stochastic Autoregressive Volatility (SARV) model classes are considered and their out-of-sample forecasting performance is thoroughly examined. The paper provides insights into the rationale behind the recommendation for a two-stage estimation approach, emphasizing the separate estimation of coefficients in the mean and variance equations. The results presented in this paper indicate that Stochastic Volatility models, particularly SARV models, outperform MS-GARCH models in forecasting Bitcoin price volatility. Moreover, the study suggests that in certain situations, persistent simple GARCH models may even outperform Markov-Switching GARCH models in predicting the variance of Bitcoin log returns. These findings offer valuable guidance for risk management experts, highlighting the potential advantages of SARV models in managing and forecasting Bitcoin price volatility.


title: Liouville theorem for minimal graphs over manifolds of nonnegative Ricci curvature

abstract: Let $\Sigma$ be a complete Riemannian manifold of nonnegative Ricci curvature. We prove a Liouville-type theorem: every smooth solution $u$ to minimal hypersurface equation on $\Sigma$ is a constant provided $u$ has sublinear growth for its negative part. Here, the sublinear growth condition is sharp. Our proof relies on a gradient estimate for minimal graphs over $\Sigma$ with small linear growth of the negative parts of graphic functions via iteration.


title: Deep Learning-based Image and Video Inpainting: A Survey

abstract: Image and video inpainting is a classic problem in computer vision and computer graphics, aiming to fill in the plausible and realistic content in the missing areas of images and videos. With the advance of deep learning, this problem has achieved significant progress recently. The goal of this paper is to comprehensively review the deep learning-based methods for image and video inpainting. Specifically, we sort existing methods into different categories from the perspective of their high-level inpainting pipeline, present different deep learning architectures, including CNN, VAE, GAN, diffusion models, etc., and summarize techniques for module design. We review the training objectives and the common benchmark datasets. We present evaluation metrics for low-level pixel and high-level perceptional similarity, conduct a performance evaluation, and discuss the strengths and weaknesses of representative inpainting methods. We also discuss related real-world applications. Finally, we discuss open challenges and suggest potential future research directions.


title: A Closed-loop Brain-Machine Interface SoC Featuring a 0.2$\mu$J/class Multiplexer Based Neural Network

abstract: This work presents the first fabricated electrophysiology-optogenetic closed-loop bidirectional brain-machine interface (CL-BBMI) system-on-chip (SoC) with electrical neural signal recording, on-chip sleep staging and optogenetic stimulation. The first multiplexer with static assignment based table lookup solution (MUXnet) for multiplier-free NN processor was proposed. A state-of-the-art average accuracy of 82.4% was achieved with an energy consumption of only 0.2$\mu$J/class in sleep staging task.


title: Predicting the Skies: A Novel Model for Flight-Level Passenger Traffic Forecasting

abstract: Accurate prediction of flight-level passenger traffic is of paramount importance in airline operations, influencing key decisions from pricing to route optimization. This study introduces a novel, multimodal deep learning approach to the challenge of predicting flight-level passenger traffic, yielding substantial accuracy improvements compared to traditional models. Leveraging an extensive dataset from American Airlines, our model ingests historical traffic data, fare closure information, and seasonality attributes specific to each flight. Our proposed neural network integrates the strengths of Recurrent Neural Networks (RNN) and Convolutional Neural Networks (CNN), exploiting the temporal patterns and spatial relationships within the data to enhance prediction performance. Crucial to the success of our model is a comprehensive data processing strategy. We construct 3D tensors to represent data, apply careful masking strategies to mirror real-world dynamics, and employ data augmentation techniques to enrich the diversity of our training set. The efficacy of our approach is borne out in the results: our model demonstrates an approximate 33\% improvement in Mean Squared Error (MSE) compared to traditional benchmarks. This study, therefore, highlights the significant potential of deep learning techniques and meticulous data processing in advancing the field of flight traffic prediction.


title: Amplifying robotics capacities with a human touch: An immersive low-latency panoramic remote system

abstract: AI and robotics technologies have witnessed remarkable advancements in the past decade, revolutionizing work patterns and opportunities in various domains. The application of these technologies has propelled society towards an era of symbiosis between humans and machines. To facilitate efficient communication between humans and intelligent robots, we propose the "Avatar" system, an immersive low-latency panoramic human-robot interaction platform. We have designed and tested a prototype of a rugged mobile platform integrated with edge computing units, panoramic video capture devices, power batteries, robot arms, and network communication equipment. Under favorable network conditions, we achieved a low-latency high-definition panoramic visual experience with a delay of 357ms. Operators can utilize VR headsets and controllers for real-time immersive control of robots and devices. The system enables remote control over vast physical distances, spanning campuses, provinces, countries, and even continents (New York to Shenzhen). Additionally, the system incorporates visual SLAM technology for map and trajectory recording, providing autonomous navigation capabilities. We believe that this intuitive system platform can enhance efficiency and situational experience in human-robot collaboration, and with further advancements in related technologies, it will become a versatile tool for efficient and symbiotic cooperation between AI and humans.


title: Some results on $E$-frames in Hilbert spaces

abstract: The recently introduced concept of $E$-frames for a separable Hilbert space $\mathcal{H}$, where E is an invertible infinite matrix mapping on the Hilbert space $\bigoplus_{n=1}^{\infty}\mathcal{H}$, is a generalization of the notion of frames for $\mathcal{H}$. In this paper, we have stated some results about this concept. Furthermore, we introduce the notion of controlled $E$-frames and we characterize all controlled $E$-duals associated with a given controlled $E$-frame.


title: Entanglement Structure Detection via Computer Vision

abstract: Quantum entanglement plays a pivotal role in various quantum information processing tasks. However, there still lacks a universal and effective way to detecting entanglement structures, especially for high-dimensional and multipartite quantum systems. Noticing the mathematical similarities between the common representations of many-body quantum states and the data structures of images, we are inspired to employ advanced computer vision technologies for data analysis. In this work, we propose a hybrid CNN-Transformer model for both the classification of GHZ and W states and the detection of various entanglement structures. By leveraging the feature extraction capabilities of CNNs and the powerful modeling abilities of Transformers, we can not only effectively reduce the time and computational resources required for the training process but also obtain high detection accuracies. Through numerical simulation and physical verification, it is confirmed that our hybrid model is more effective than traditional techniques and thus offers a powerful tool for independent detection of multipartite entanglement.


title: Empirical Study of Large Language Models as Automated Essay Scoring Tools in English Composition__Taking TOEFL Independent Writing Task for Example

abstract: Large language models have demonstrated exceptional capabilities in tasks involving natural language generation, reasoning, and comprehension. This study aims to construct prompts and comments grounded in the diverse scoring criteria delineated within the official TOEFL guide. The primary objective is to assess the capabilities and constraints of ChatGPT, a prominent representative of large language models, within the context of automated essay scoring. The prevailing methodologies for automated essay scoring involve the utilization of deep neural networks, statistical machine learning techniques, and fine-tuning pre-trained models. However, these techniques face challenges when applied to different contexts or subjects, primarily due to their substantial data requirements and limited adaptability to small sample sizes. In contrast, this study employs ChatGPT to conduct an automated evaluation of English essays, even with a small sample size, employing an experimental approach. The empirical findings indicate that ChatGPT can provide operational functionality for automated essay scoring, although the results exhibit a regression effect. It is imperative to underscore that the effective design and implementation of ChatGPT prompts necessitate a profound domain expertise and technical proficiency, as these prompts are subject to specific threshold criteria. Keywords: ChatGPT, Automated Essay Scoring, Prompt Learning, TOEFL Independent Writing Task


title: Rectangular carbon nitrides C4N monolayers with a zigzag buckled structure: Quasi-one-dimensional Dirac nodal lines and topological flat edge states

abstract: Due to the flexibility of C and N atoms in forming different types of bonds, the prediction of new two-dimensional (2D) carbon nitrides is a hot topic in the field of carbon-based materials. Using first-principles calculations, we propose two C4N monolayers with a zigzag buckled (ZB) structure. The ZB C4N monolayers contain raised-C (raised-N) atoms with sp3 hybridization, different from the traditional 2D graphene-like carbon nitride materials with sp2 hybridization. Interestingly, the band structures of the ZB C4N monolayers exhibit quasi-one-dimensional (quasi-1D) Dirac nodal line that results from the corresponding quasi-1D structure of the zigzag carbon chains, which is essentially different from the more common ring-shaped nodal line. The quasi-1D Dirac nodal line exhibits the following features: (i) gapless Dirac points, (ii) varying Fermi velocity, and (iii) slightly curved band along the high-symmetry path. All these features are successfully explained by our proposed tight-binding model that includes interactions up to the third nearest-neighbor. The Fermi velocity of the 2D system can reach 105 m/s, which is promising for applications in high-speed electronic devices. The topological flat band structure determined by the Zak phase and band inversion of the corresponding 1D system is edge-dependent, which is corresponding to the Su-Schrieffer-Heeger model, providing to rich physical phenomena.


title: Deep peak property learning for efficient chiral molecules ECD spectra prediction

abstract: Chiral molecule assignation is crucial for asymmetric catalysis, functional materials, and the drug industry. The conventional approach requires theoretical calculations of electronic circular dichroism (ECD) spectra, which is time-consuming and costly. To speed up this process, we have incorporated deep learning techniques for the ECD prediction. We first set up a large-scale dataset of Chiral Molecular ECD spectra (CMCDS) with calculated ECD spectra. We further develop the ECDFormer model, a Transformer-based model to learn the chiral molecular representations and predict corresponding ECD spectra with improved efficiency and accuracy. Unlike other models for spectrum prediction, our ECDFormer creatively focused on peak properties rather than the whole spectrum sequence for prediction, inspired by the scenario of chiral molecule assignation. Specifically, ECDFormer predicts the peak properties, including number, position, and symbol, then renders the ECD spectra from these peak properties, which significantly outperforms other models in ECD prediction, Our ECDFormer reduces the time of acquiring ECD spectra from 1-100 hours per molecule to 1.5s.


title: A New Way to Compute the Pseudoscalar Screening Mass at Finite Chemical Potential

abstract: We present a method to calculate the pion screening mass in 2+1-flavor lattice QCD to $\mathcal{O}(\mu^2_\ell)$, where $\mu_\ell$ is the isoscalar chemical potential. Our approach is based on the expression for the free theory pion screening correlator for massless quarks. We use the Taylor expansion method to calculate the screening correlator to $\mathcal{O}(\mu^4_\ell)$. We then extract the $\mathcal{O}(\mu^2_\ell)$ Taylor coefficient of the screening mass from the Taylor coefficients of the correlator, for two temperatures in the range 2 - 3 GeV. Our calculations were done using the Highly Improved Staggered Quark action, and the strange and light quark masses were set respectively to their physical and nearly physical values, corresponding to meson masses $M_{\bar{s}s}=686$ MeV and $M_\pi=160$ MeV.


title: The Decay of Two Adjacent Sunspots Associated with Moving Magnetic Features

abstract: The relationship between the decay of sunspots and moving magnetic features (MMFs) plays an important role in understanding the evolution of active regions. We present observations of two adjacent sunspots, the gap between them, and a lot of MMFs propagating from the gap and the sunspots' outer edges in NOAA Active Region 13023. The MMFs are divided into two types based on their magnetic field inclination angle: vertical (0{\deg}<{\gamma}<45{\deg}) and horizontal (45{\deg}<{\gamma}<90{\deg}) MMFs (V-MMFs and H-MMFs, respectively). The main results are as follows: (1) the mean magnetic flux decay rates of the two sunspots are -1.7*10^20 and -1.4*10^20 Mx/day; (2) the magnetic flux generation rate of all MMFs is calculated to be -1.9 *10^21 Mx/day, which is on average 5.6 times higher than the total magnetic flux loss rate of the sunspots; (3) the magnetic flux of V-MMFs (including a pore separated from the sunspots) is 1.4 times larger than the total lost magnetic flux of the two sunspots, and in a later stage when the pore has passed through the reference ellipse, the magnetic flux generation rate of the V-MMFs is almost the same as the magnetic flux loss rate of the sunspots; and (4) within the gap, the magnetic flux of V-MMFs is one third of the total magnetic flux. Few V-MMFs stream out from the sunspots at the nongap region. All observations suggest that MMFs with vertical magnetic fields are closely related to the disintegration of the sunspot, and most of the MMFs from the gap may originate directly from the sunspot umbra.


title: Improving Dribbling, Passing, and Marking Actions in Soccer Simulation 2D Games Using Machine Learning

abstract: The RoboCup competition was started in 1997, and is known as the oldest RoboCup league. The RoboCup 2D Soccer Simulation League is a stochastic, partially observable soccer environment in which 24 autonomous agents play on two opposing teams. In this paper, we detail the main strategies and functionalities of CYRUS, the RoboCup 2021 2D Soccer Simulation League champions. The new functionalities presented and discussed in this work are (i) Multi Action Dribble, (ii) Pass Prediction and (iii) Marking Decision. The Multi Action Dribbling strategy enabled CYRUS to succeed more often and to be safer when dribbling actions were performed during a game. The Pass Prediction enhanced our gameplay by predicting our teammate's passing behavior, anticipating and making our agents collaborate better towards scoring goals. Finally, the Marking Decision addressed the multi-agent matching problem to improve CYRUS defensive strategy by finding an optimal solution to mark opponents' players.


title: Bilateral Reference for High-Resolution Dichotomous Image Segmentation

abstract: We introduce a novel bilateral reference framework (BiRefNet) for high-resolution dichotomous image segmentation (DIS). It comprises two essential components: the localization module (LM) and the reconstruction module (RM) with our proposed bilateral reference (BiRef). The LM aids in object localization using global semantic information. Within the RM, we utilize BiRef for the reconstruction process, where hierarchical patches of images provide the source reference and gradient maps serve as the target reference. These components collaborate to generate the final predicted maps. We also introduce auxiliary gradient supervision to enhance focus on regions with finer details. Furthermore, we outline practical training strategies tailored for DIS to improve map quality and training process. To validate the general applicability of our approach, we conduct extensive experiments on four tasks to evince that BiRefNet exhibits remarkable performance, outperforming task-specific cutting-edge methods across all benchmarks. Our codes are available at https://github.com/ZhengPeng7/BiRefNet.


title: Escalation Risks from Language Models in Military and Diplomatic Decision-Making

abstract: Governments are increasingly considering integrating autonomous AI agents in high-stakes military and foreign-policy decision-making, especially with the emergence of advanced generative AI models like GPT-4. Our work aims to scrutinize the behavior of multiple AI agents in simulated wargames, specifically focusing on their predilection to take escalatory actions that may exacerbate multilateral conflicts. Drawing on political science and international relations literature about escalation dynamics, we design a novel wargame simulation and scoring framework to assess the escalation risks of actions taken by these agents in different scenarios. Contrary to prior studies, our research provides both qualitative and quantitative insights and focuses on large language models (LLMs). We find that all five studied off-the-shelf LLMs show forms of escalation and difficult-to-predict escalation patterns. We observe that models tend to develop arms-race dynamics, leading to greater conflict, and in rare cases, even to the deployment of nuclear weapons. Qualitatively, we also collect the models' reported reasonings for chosen actions and observe worrying justifications based on deterrence and first-strike tactics. Given the high stakes of military and foreign-policy contexts, we recommend further examination and cautious consideration before deploying autonomous language model agents for strategic military or diplomatic decision-making.


title: Geometric topics related to Besov type spaces on the Grushin setting

abstract: The Grushin spaces, as one of the most important models in the Carnot-Carath\'eodory space, are a class of locally compact and geodesic metric spaces which admit a dilation. Function spaces on Grushin spaces and some related geometric problems are always the research hotspots in this field. Firstly, we investigate two classes of Besov type spaces based on the Grushin semigroup and the fractional Grushin semigroup, respectively, and prove some important properties of these two Besov type spaces. Moreover, we also reveal the relationship between them. Secondly, we establish the isoperimetric inequality for the fractional perimeter, which is defined by the Grushin-Laplace operator on Grushin spaces. Finally, we combine the semigroup theory with a nonlocal calculus for the Grushin-Laplace operator to obtain the Sobolev type inequality. As a corollary, we also obtain the embedding theorem for Besov type spaces.


title: Engineering Features to Improve Pass Prediction in Soccer Simulation 2D Games

abstract: Soccer Simulation 2D (SS2D) is a simulation of a real soccer game in two dimensions. In soccer, passing behavior is an essential action for keeping the ball in possession of our team and creating goal opportunities. Similarly, for SS2D, predicting the passing behaviors of both opponents and our teammates helps manage resources and score more goals. Therefore, in this research, we have tried to address the modeling of passing behavior of soccer 2D players using Deep Neural Networks (DNN) and Random Forest (RF). We propose an embedded data extraction module that can record the decision-making of agents in an online format. Afterward, we apply four data sorting techniques for training data preparation. After, we evaluate the trained models' performance playing against 6 top teams of RoboCup 2019 that have distinctive playing strategies. Finally, we examine the importance of different feature groups on the prediction of a passing strategy. All results in each step of this work prove our suggested methodology's effectiveness and improve the performance of the pass prediction in Soccer Simulation 2D games ranging from 5\% (e.g., playing against the same team) to 10\% (e.g., playing against Robocup top teams).


title: GRAM: Global Reasoning for Multi-Page VQA

abstract: The increasing use of transformer-based large language models brings forward the challenge of processing long sequences. In document visual question answering (DocVQA), leading methods focus on the single-page setting, while documents can span hundreds of pages. We present GRAM, a method that seamlessly extends pre-trained single-page models to the multi-page setting, without requiring computationally-heavy pretraining. To do so, we leverage a single-page encoder for local page-level understanding, and enhance it with document-level designated layers and learnable tokens, facilitating the flow of information across pages for global reasoning. To enforce our model to utilize the newly introduced document tokens, we propose a tailored bias adaptation method. For additional computational savings during decoding, we introduce an optional compression stage using our compression-transformer (C-Former),reducing the encoded sequence length, thereby allowing a tradeoff between quality and latency. Extensive experiments showcase GRAM's state-of-the-art performance on the benchmarks for multi-page DocVQA, demonstrating the effectiveness of our approach.


title: N$^{3}$-Mapping: Normal Guided Neural Non-Projective Signed Distance Fields for Large-scale 3D Mapping

abstract: Accurate and dense mapping in large-scale environments is essential for various robot applications. Recently, implicit neural signed distance fields (SDFs) have shown promising advances in this task. However, most existing approaches employ projective distances from range data as SDF supervision, introducing approximation errors and thus degrading the mapping quality. To address this problem, we introduce N$^{3}$-Mapping, an implicit neural mapping system featuring normal-guided neural non-projective signed distance fields. Specifically, we directly sample points along the surface normal, instead of the ray, to obtain more accurate non-projective distance values from range data. Then these distance values are used as supervision to train the implicit map. For large-scale mapping, we apply a voxel-oriented sliding window mechanism to alleviate the forgetting issue with a bounded memory footprint. Besides, considering the uneven distribution of measured point clouds, a hierarchical sampling strategy is designed to improve training efficiency. Experiments demonstrate that our method effectively mitigates SDF approximation errors and achieves state-of-the-art mapping quality compared to existing approaches.


title: Simultaneous measurements on cosmic curvature and opacity using latest HII regions and $H(z)$ observations

abstract: The different spatial curvatures of the universe affect the measurement of cosmological distances, which may also contribute to explaining the observed dimming of type Ia supernovae. This phenomenon may be caused by the opacity of the universe. Similarly, the opacity of the universe can lead to a bias in our measurements of curvature. Thus, it is necessary to measure cosmic curvature and opacity simultaneously. In this paper, we propose a new model-independent method to simultaneously measure the cosmic curvature and opacity by using the latest observations of HII galaxies acting as standard candles and the latest Hubble parameter observations. The machine learning method-Artificial Neural Network is adopted to reconstruct observed Hubble parameter $H(z)$ observations. Our results support a slightly opaque and flat universe at $1\sigma$ confidence level by using previous 156 HII regions sample. However, the negative curvature is obtained by using the latest 181 HII regions sample in the redshift range $z\sim 2.5$. More importantly, we obtain the simultaneous measurements with precision on the cosmic opacity $\rm\Delta\tau\sim 10^{-2}$ and curvature $\rm\Delta\Omega_K\sim 10^{-1}$. A strong degeneracy between the cosmic opacity and curvature parameters is also revealed in this analysis.


title: Silicon Optical Memory: Non-Volatile Optoelectronic Devices via Si-SiO$_2$ Hysteresis Effect

abstract: Implementing on-chip non-volatile optical memories has long been an actively pursued goal, promising significant enhancements in the capability and energy efficiency of photonic integrated circuits. Here, a novel optical memory has been demonstrated exclusively using the semiconductor primary material, silicon. By manipulating the optoelectronic effect of this device, we introduce a hysteresis effect at the silicon-silicon oxide interface, which in turn demonstrates multi-level, non-volatile optical data storage with robust retention and endurance. This new silicon optical memory provides a distinctively simple and accessible route to realize optical data storage in standard silicon foundry processes.


title: A Polynomial Kernel for Proper Helly Circular-arc Vertex Deletion

abstract: A proper Helly circular-arc graph is an intersection graph of a set of arcs on a circle such that none of the arcs properly contains any other arc and every set of pairwise intersecting arcs has a common intersection. The Proper Helly Circular-arc Vertex Deletion problem takes as input a graph $G$ and an integer $k$, and the goal is to check if we can remove at most $k$ vertices from the graph to obtain a proper Helly circular-arc graph; the parameter is $k$. Recently, Cao et al.~[MFCS 2023] obtained an FPT algorithm for this (and related) problem. In this work, we obtain a polynomial kernel for the problem.


title: Active Galactic Nuclei in a Mid-Infrared Selected Galaxy Sample at z>0.13: [Ne V]3426 Line Emission as a Benchmark

abstract: We present a 24 um-selected spectroscopic sample z > 0.13 (median z = 0.41) in the Lockman Hole field, consisting of 4035 spectra. Our aim is to identify AGNs and determine their fraction in this mid-infrared selected sample. In this work, we use the [Ne V]3426 emission line to spectroscopically identify AGNs. Combined with broad-line Type I AGNs selected in our previous study, our sample consists of 887 (22%) spectroscopically confirmed AGNs. We perform a stacking analysis on the remaining spectra, and find that in various MIR-wedge-selected AGN candidates, the stacked spectra still show significant [Ne V]3426 emission, In contrast, no clear [Ne V]3426 signal is detected in non-AGN candidates falling outside the wedges. Assuming a range of AGN mid-IR SED slope of 0.3< alpha <0.7, and an average star-forming relation derived from 65 star-forming templates, we develop a robust method to separate the AGN and star-forming contributions to the mid-IR SEDs using the rest-frame L12 /L1.6 vs L4.5 /L1.6 diagram. We separate the objects into bins of L12 , and find that AGN fraction increases with increasing L12. We also find that the stacked [Ne V]3426 strength scales with L12 . The pure AGN luminosity at 12 um exhibits a positive correlation with the star formation rates, indicating possible co-evolution and common gas supply between the AGN and their host galaxies. Varying population properties across the redshift range explored contribute to the observed correlation.


title: Regularity of the geodesic flow on submanifolds

abstract: We show that the geodesic flow and the exponential map of a $C^k$ submanifold of $\mathbb{R}^n$ with $k\geq 2$ are of class $C^{k-1}$.


title: Single-sized phase-change metasurfaces for dynamic information multiplexing and encryption

abstract: Optical metasurfaces empower us to manipulate the electromagnetic space and control light propagation at the nanoscale, offering a powerful tool to achieve modulation of light for information processing and storage. In this work, we propose a phase-change metasurface to realize dynamic multiplexing and encryption of near-field information. Based on the orientation degeneracy and polarization control governed by Malus's law, we elaborately design the orientation distribution of Sb$_2$S$_3$ meta-atoms with the same dimension to simultaneously satisfy the amplitude modulation requirements of different channels. Using the corresponding polarization control as decoding keys, three different nanoprinting images can be displayed, and these multiplexed images can be switched on and off by leveraging the reversible tunability of the Sb$_2$S$_3$ meta-atoms between the amorphous and crystalline states. With the unparalleled advantages of ultra-compactness, simple design strategy, high information density and security, the proposed metasurfaces afford promising prospects for high-end applications in ultracompact and intelligent dynamic display, high-dense optical data storage, optical information encryption, etc.


title: The role of resonator neuron in the dynamics of two coupled integrator and resonator neurons of different types of excitability

abstract: In this manuscript, a silent resonator neuron is coupled with a spiking integrator neuron through the gap junction, when the coupled neurons are of different types of excitability and none of the coupled neurons exhibit mixed mode oscillations and bursting oscillations intrinsically. By using dynamical systems theory (e.g. the bifurcation theory), all the observed oscillation patterns and the transition mechanisms between them are investigated, when one of the coupling strengths is fixed and the other is varied. It is noticeable that, there is an interval in the parameter space, for the parameter values within which the coupled system is multi-stable. This multistability corresponds to the coexistence of mixed mode oscillations, bursting oscillations and subthreshold oscillations of the resonator neuron. In addition, some interval in the parameter space is introduced such that, for the values of the coupling strength within which the resonator neuron is in tonic spiking mode, while for the values of the coupling strength outside which the resonator neuron exhibits subthreshold oscillations. It is also verified that the final synchronization of the coupled neurons actually corresponds to the synchronization of tonic spiking oscillations of the integrator neuron and one-bursting oscillations of the resonator neuron.


title: Channel Mapping Based on Interleaved Learning with Complex-Domain MLP-Mixer

abstract: In multiple-input multiple-output (MIMO) orthogonal frequency division multiplexing (OFDM) systems, representing the whole channel only based on partial subchannels will significantly reduce the channel acquisition overhead. For such a channel mapping task, inspired by the intrinsic coupling across the space and frequency domains, this letter proposes to use interleaved learning with partial antenna and subcarrier characteristics to represent the whole MIMO-OFDM channel. Specifically, we design a complex-domain multilayer perceptron (MLP)-Mixer (CMixer), which utilizes two kinds of complex-domain MLP modules to learn the space and frequency characteristics respectively and then interleaves them to couple the learned properties. The complex-domain computation facilitates the learning on the complex-valued channel data, while the interleaving tightens the coupling of space and frequency domains. These two designs jointly reduce the learning burden, making the physics-inspired CMixer more effective on channel representation learning than existing data-driven approaches. Simulation shows that the proposed scheme brings 4.6~10dB gains in mapping accuracy compared to existing schemes under different settings. Besides, ablation studies show the necessity of complex-domain computation as well as the extent to which the interleaved learning matches the channel properties.


title: Double tunable metamaterial perfect absorber

abstract: This paper focuses on the simulation of a tunable metamaterial absorber designed for the infrared region. Adsorbents offer three different mechanisms to adjust their absorption characteristics. The first method involves changes in temperature. When the temperature changes, the electrical conductivity of the active material, vanadium dioxide (VO2), also changes. This transition between insulating and conducting phases at different temperatures provides the possibility to adjust the absorption spectrum of the metamaterial. By exploiting the thermochromic properties of VO2, the conductivity of the material can be dynamically adjusted over a wide range. Through temperature control, the conductivity of VO2 changes from 200 S/m to 2*105 S/m, resulting in a continuous adjustment of the absorption peak intensity. The second method relies on applying an electric field. By applying an electric field in the transverse direction of the lead zirconate titanate )PZT( material, the size of the piezoelectric material undergoes changes and bending. Consequently, the entire structure bends, leading to a change in the shape of the absorber. This mechanism allows for precise control of the absorber's shape by applying different voltages, which in turn enables the modification of the absorption peak.


title: Generalized Kripke's Schema and the Expressive Power of Intuitionistic Real Algebra

abstract: We introduce a relativized version of random Kripke's schema and show how it may be applied in the investigation of the expressive power of intuitionistic real algebra by interpreting second-order Heyting arithmetic in it.


title: Intranight variability of ultraviolet emission from high-$z$ blazars

abstract: Rapid intranight variability of continuum and polarization in blazars is a very useful tool to probe the beaming of a relativistic jet and the associated population of the relativistic particles. Such intranight variability in the rest-frame optical continuum has been carried out extensively, but there is a scarcity of such information in the rest-frame ultra-violet (UV), where the cause of variability might be due to {a} secondary population of relativistic particles. To fill this gap, recently in Chand et al. (2022) we reported for the first time intranight variability study of a sample of high-$z$ blazars so that the monitored optical radiation is their rest-frame UV radiation. Here we discuss in detail the implication of this investigation with a proper comparison of high-$z$ blazar samples with fractional optical polarization ($p_{opt}$) smaller and higher than 3\%. In this context, we also report intranight variability study of an additional high-$z$ blazar at $z$=2.347, namely J161942.38+525613.41, monitored over three sessions each with a duration of $\sim$5 hr. Our investigation does not reveal any compelling evidence for a stronger intranight variability of UV emission for high polarization blazars, in contrast to the blazars monitored in the rest-frame blue-optical. We also discuss this trend in light of the proposal that the synchrotron radiation of blazar jets in the UV/X-ray regime may arise from a relativistic particle population different from that radiating up to near-infrared/optical frequencies.


title: MLCA-AVSR: Multi-Layer Cross Attention Fusion based Audio-Visual Speech Recognition

abstract: While automatic speech recognition (ASR) systems degrade significantly in noisy environments, audio-visual speech recognition (AVSR) systems aim to complement the audio stream with noise-invariant visual cues and improve the system's robustness. However, current studies mainly focus on fusing the well-learned modality features, like the output of modality-specific encoders, without considering the contextual relationship during the modality feature learning. In this study, we propose a multi-layer cross-attention fusion based AVSR (MLCA-AVSR) approach that promotes representation learning of each modality by fusing them at different levels of audio/visual encoders. Experimental results on the MISP2022-AVSR Challenge dataset show the efficacy of our proposed system, achieving a concatenated minimum permutation character error rate (cpCER) of 30.57% on the Eval set and yielding up to 3.17% relative improvement compared with our previous system which ranked the second place in the challenge. Following the fusion of multiple systems, our proposed approach surpasses the first-place system, establishing a new SOTA cpCER of 29.13% on this dataset.


title: Uncertainty Propagation and Bayesian Fusion on Unimodular Lie Groups from a Parametric Perspective

abstract: We address the problem of uncertainty propagation and Bayesian fusion on unimodular Lie groups. Starting from a stochastic differential equation (SDE) defined on Lie groups via Mckean-Gangolli injection, we first convert it to a parametric SDE in exponential coordinates. The coefficient transform method for the conversion is stated for both Ito's and Stratonovich's interpretation of the SDE. Then we derive a mean and covariance fitting formula for probability distributions on Lie groups defined by a concentrated distribution on the exponential coordinate. It is used to derive the mean and covariance propagation equations for the SDE defined by injection, which coincides with the result derived from a Fokker-Planck equation in previous work. We also propose a simple modification to the update step of Kalman filters using the fitting formula, which improves the fusion accuracy with moderate computation time.


title: On Leveraging Large Language Models for Enhancing Entity Resolution

abstract: Entity resolution, the task of identifying and consolidating records that pertain to the same real-world entity, plays a pivotal role in various sectors such as e-commerce, healthcare, and law enforcement. The emergence of Large Language Models (LLMs) like GPT-4 has introduced a new dimension to this task, leveraging their advanced linguistic capabilities. This paper explores the potential of LLMs in the entity resolution process, shedding light on both their advantages and the computational complexities associated with large-scale matching. We introduce strategies for the efficient utilization of LLMs, including the selection of an optimal set of matching questions, namely MQsSP, which is proved to be a NP-hard problem. Our approach optimally chooses the most effective matching questions while keep consumption limited to your budget . Additionally, we propose a method to adjust the distribution of possible partitions after receiving responses from LLMs, with the goal of reducing the uncertainty of entity resolution. We evaluate the effectiveness of our approach using entropy as a metric, and our experimental results demonstrate the efficiency and effectiveness of our proposed methods, offering promising prospects for real-world applications.


title: Deep FBSDE Neural Networks for Solving Incompressible Navier-Stokes Equation and Cahn-Hilliard Equation

abstract: Efficient algorithms for solving high-dimensional partial differential equations (PDEs) has been an exceedingly difficult task for a long time, due to the curse of dimensionality. We extend the forward-backward stochastic neural networks (FBSNNs) which depends on forward-backward stochastic differential equation (FBSDE) to solve incompressible Navier-Stokes equation. For Cahn-Hilliard equation, we derive a modified Cahn-Hilliard equation from a widely used stabilized scheme for original Cahn-Hilliard equation. This equation can be written as a continuous parabolic system, where FBSDE can be applied and the unknown solution is approximated by neural network. Also our method is successfully developed to Cahn-Hilliard-Navier-Stokes (CHNS) equation. The accuracy and stability of our methods are shown in many numerical experiments, specially in high dimension.


title: Exploring Large Language Model based Intelligent Agents: Definitions, Methods, and Prospects

abstract: Intelligent agents stand out as a potential path toward artificial general intelligence (AGI). Thus, researchers have dedicated significant effort to diverse implementations for them. Benefiting from recent progress in large language models (LLMs), LLM-based agents that use universal natural language as an interface exhibit robust generalization capabilities across various applications -- from serving as autonomous general-purpose task assistants to applications in coding, social, and economic domains, LLM-based agents offer extensive exploration opportunities. This paper surveys current research to provide an in-depth overview of LLM-based intelligent agents within single-agent and multi-agent systems. It covers their definitions, research frameworks, and foundational components such as their composition, cognitive and planning methods, tool utilization, and responses to environmental feedback. We also delve into the mechanisms of deploying LLM-based agents in multi-agent systems, including multi-role collaboration, message passing, and strategies to alleviate communication issues between agents. The discussions also shed light on popular datasets and application scenarios. We conclude by envisioning prospects for LLM-based agents, considering the evolving landscape of AI and natural language processing.


title: MERBench: A Unified Evaluation Benchmark for Multimodal Emotion Recognition

abstract: Multimodal emotion recognition plays a crucial role in enhancing user experience in human-computer interaction. Over the past few decades, researchers have proposed a series of algorithms and achieved impressive progress. Although each method shows its superior performance, different methods lack a fair comparison due to inconsistencies in feature extractors, evaluation manners, and experimental settings. These inconsistencies severely hinder the development of this field. Therefore, we build MERBench, a unified evaluation benchmark for multimodal emotion recognition. We aim to reveal the contribution of some important techniques employed in previous works, such as feature selection, multimodal fusion, robustness analysis, fine-tuning, pre-training, etc. We hope this benchmark can provide clear and comprehensive guidance for follow-up researchers. Based on the evaluation results of MERBench, we further point out some promising research directions. Additionally, we introduce a new emotion dataset MER2023, focusing on the Chinese language environment. This dataset can serve as a benchmark dataset for research on multi-label learning, noise robustness, and semi-supervised learning. We encourage the follow-up researchers to evaluate their algorithms under the same experimental setup as MERBench for fair comparisons. Our code is available at: https://github.com/zeroQiaoba/MERTools.


title: Multi-Channel Multi-Domain based Knowledge Distillation Algorithm for Sleep Staging with Single-Channel EEG

abstract: This paper proposed a Multi-Channel Multi-Domain (MCMD) based knowledge distillation algorithm for sleep staging using single-channel EEG. Both knowledge from different domains and different channels are learnt in the proposed algorithm, simultaneously. A multi-channel pre-training and single-channel fine-tuning scheme is used in the proposed work. The knowledge from different channels in the source domain is transferred to the single-channel model in the target domain. A pre-trained teacher-student model scheme is used to distill knowledge from the multi-channel teacher model to the single-channel student model combining with output transfer and intermediate feature transfer in the target domain. The proposed algorithm achieves a state-of-the-art single-channel sleep staging accuracy of 86.5%, with only 0.6% deterioration from the state-of-the-art multi-channel model. There is an improvement of 2% compared to the baseline model. The experimental results show that knowledge from multiple domains (different datasets) and multiple channels (e.g. EMG, EOG) could be transferred to single-channel sleep staging.


title: See360: Novel Panoramic View Interpolation

abstract: We present See360, which is a versatile and efficient framework for 360 panoramic view interpolation using latent space viewpoint estimation. Most of the existing view rendering approaches only focus on indoor or synthetic 3D environments and render new views of small objects. In contrast, we suggest to tackle camera-centered view synthesis as a 2D affine transformation without using point clouds or depth maps, which enables an effective 360? panoramic scene exploration. Given a pair of reference images, the See360 model learns to render novel views by a proposed novel Multi-Scale Affine Transformer (MSAT), enabling the coarse-to-fine feature rendering. We also propose a Conditional Latent space AutoEncoder (C-LAE) to achieve view interpolation at any arbitrary angle. To show the versatility of our method, we introduce four training datasets, namely UrbanCity360, Archinterior360, HungHom360 and Lab360, which are collected from indoor and outdoor environments for both real and synthetic rendering. Experimental results show that the proposed method is generic enough to achieve real-time rendering of arbitrary views for all four datasets. In addition, our See360 model can be applied to view synthesis in the wild: with only a short extra training time (approximately 10 mins), and is able to render unknown real-world scenes. The superior performance of See360 opens up a promising direction for camera-centered view rendering and 360 panoramic view interpolation.


title: Holomorphic Laplacian on the Lie ball and the Penrose transform

abstract: We prove that any holomorphic function $f$ on the Lie ball of even dimension satisfying $\Delta f=0$ is obtained uniquely by the higher-dimensional Penrose transform of a Dolbeault cohomology for a twisted line bundle of a certain domain of the Grassmannian of isotropic subspaces. To overcome the difficulties arising from that the line bundle parameter is outside the {\it{good range}}, we use some techniques from algebraic representation theory.


title: SpecRef: A Fast Training-free Baseline of Specific Reference-Condition Real Image Editing

abstract: Text-conditional image editing based on large diffusion generative model has attracted the attention of both the industry and the research community. Most existing methods are non-reference editing, with the user only able to provide a source image and text prompt. However, it restricts user's control over the characteristics of editing outcome. To increase user freedom, we propose a new task called Specific Reference Condition Real Image Editing, which allows user to provide a reference image to further control the outcome, such as replacing an object with a particular one. To accomplish this, we propose a fast baseline method named SpecRef. Specifically, we design a Specific Reference Attention Controller to incorporate features from the reference image, and adopt a mask mechanism to prevent interference between editing and non-editing regions. We evaluate SpecRef on typical editing tasks and show that it can achieve satisfactory performance. The source code is available on https://github.com/jingjiqinggong/specp2p.


title: Ground state phase diagram and the exotic phases in the spin-1/2 square lattice J1-J2-Jx model

abstract: The intricate interplay between frustration and spin chirality has the potential to give rise to unprecedented phases in frustrated quantum magnets. We examine the ground state phase diagram of the spin-1/2 square lattice J1-J2-Jx model by employing critical level crossings and ground state fidelity susceptibility (FS) using exact diagonalization (ED) with full lattice symmetries. Our analysis reveals the evolution of highly symmetric energy levels as a function of J2 at fixed Jx. During a magnetic to non-magnetic phase transition, the precise identification of the phase boundary is achieved through critical level crossings between the gapless excitation of a magnetic phase and the quasi-degenerate ground state of a non-magnet phase. Conversely, a direct transition between two non-magnetic phases is characterized by a FS peak accompanied by an avoided ground state level crossing, serving as a distinctive signal. Within a substantial range of Jx, we identify an anticipated chiral spin liquid (CSL) state and an adjacent nematic spin liquid (NSL) phase with a degeneracy of two on a cylinder. These two phases are demarcated by a nearly vertical boundary line at J2 = 0.65. This critical line terminates at the lower boundary of a magnetic ordered chiral spin solid (CSS) phase. We validate the topological nature of the CSL using the modular S matrix of the minimum entangled states (MES) on a torus, along with the entanglement spectra (ES) of even and odd sectors on a cylinder, employing an SU(2)-symmetric density matrix renormalization group (DMRG) method. Furthermore, we delve into a comprehensive discussion on the nature of the NSL, exploring aspects such as ground state degeneracy, the local bond energy landscape, and the singlet and triplet gaps on various tori. These analysis provide substantial evidence supporting the nematic nature of the NSL.


title: Deciphering the Enigma of Satellite Computing with COTS Devices: Measurement and Analysis

abstract: In the wake of the rapid deployment of large-scale low-Earth orbit satellite constellations, exploiting the full computing potential of Commercial Off-The-Shelf (COTS) devices in these environments has become a pressing issue. However, understanding this problem is far from straightforward due to the inherent differences between the terrestrial infrastructure and the satellite platform in space. In this paper, we take an important step towards closing this knowledge gap by presenting the first measurement study on the thermal control, power management, and performance of COTS computing devices on satellites. Our measurements reveal that the satellite platform and COTS computing devices significantly interplay in terms of the temperature and energy, forming the main constraints on satellite computing. Further, we analyze the critical factors that shape the characteristics of onboard COTS computing devices. We provide guidelines for future research on optimizing the use of such devices for computing purposes. Finally, we have released the datasets to facilitate further study in satellite computing.


title: ST and TS as Product and Sum

abstract: The set of $\mathsf{ST}$-valid inferences is neither the intersection, nor the union of the sets of $\mathsf{K}_3$- and $\mathsf{LP}$-valid inferences, but despite the proximity to both systems, an extensional characterization of $\mathsf{ST}$ in terms of a natural set-theoretic operation on the sets of $\mathsf{K}_3$- and $\mathsf{LP}$-valid inferences is still wanting. In this paper, we show that it is their relational product. Similarly, we prove that the set of $\mathsf{TS}$-valid inferences can be identified using a dual notion, namely as the relational sum of the sets of $\mathsf{LP}$- and $\mathsf{K}_3$-valid inferences. We discuss links between these results and the interpolation property of classical logic. We also use those results to revisit the duality between $\mathsf{ST}$ and $\mathsf{TS}$. We present a combined notion of duality on which $\mathsf{ST}$ and $\mathsf{TS}$ are dual in exactly the same sense in which $\mathsf{LP}$ and $\mathsf{K}_3$ are dual to each other.


title: Mid-infrared evidence for iron-rich dust in the multi-ringed inner disk of HD 144432

abstract: Context. Rocky planets form by the concentration of solid particles in the inner few au regions of planet-forming disks. Their chemical composition reflects the materials in the disk available in the solid phase at the time the planets were forming. Aims. We aim to constrain the structure and dust composition of the inner disk of the young star HD 144432, using an extensive set of infrared interferometric data taken by the Very Large Telescope Interferometer (VLTI), combining PIONIER, GRAVITY, and MATISSE observations. Methods. We introduced a new physical disk model, TGMdust, to image the interferometric data, and to fit the disk structure and dust composition. We also performed equilibrium condensation calculations with GGchem. Results. Our best-fit model has three disk zones with ring-like structures at 0.15, 1.3, and 4.1 au. Assuming that the dark regions in the disk at ~0.9 au and at ~3 au are gaps opened by planets, we estimate the masses of the putative gap-opening planets to be around a Jupiter mass. We find evidence for an optically thin emission ($\tau<0.4$) from the inner two disk zones ($r<4$ au) at $\lambda>3\ \mu$m. Our silicate compositional fits confirm radial mineralogy gradients. To identify the dust component responsible for the infrared continuum emission, we explore two cases for the dust composition, one with a silicate+iron mixture and the other with a silicate+carbon one. We find that the iron-rich model provides a better fit to the spectral energy distribution. Conclusions. We propose that in the warm inner regions ($r<5$ au) of typical planet-forming disks, most if not all carbon is in the gas phase, while iron and iron sulfide grains are major constituents of the solid mixture along with forsterite and enstatite. Our analysis demonstrates the need for detailed studies of the dust in inner disks with new mid-infrared instruments such as MATISSE and JWST/MIRI.


title: Asymptotic Expansions of Finite Hankel Transforms and the Surjectivity of Convolution Operators

abstract: A compactly supported distribution is called invertible in the sense of Ehrenpreis-H\"ormander if the convolution with it induces a surjection from $\mathcal{C}^{\infty}(\mathbb{R}^{n})$ to itself. We give sufficient conditions for radial functions to be invertible. Our analysis is based on the asymptotic expansions of finite Hankel transforms. The dominant term may be the contribution from the origin or from the boundary of the support of the function. For the proof, we propose a new method to calculate the asymptotic expansions of finite Hankel transforms of functions with singularities at a point other than the origin.