title: Impossibilities for Obviously Strategy-Proof Mechanisms

abstract: We explore the approximation power of deterministic obviously strategy-proof mechanisms in auctions, where the objective is welfare maximization. A trivial ascending auction on the grand bundle guarantees an approximation of $\min\{m,n\}$ for all valuation classes, where $m$ is the number of items and $n$ is the number of bidders. We focus on two classes of valuations considered "simple": additive valuations and unit-demand valuations. For additive valuations, Bade and Gonczarowski [EC'17] have shown that exact welfare maximization is impossible. No impossibilities are known for unit-demand valuations. We show that if bidders' valuations are additive or unit-demand, then no obviously strategy-proof mechanism gives an approximation better than $\min\{m,n\}$. Thus, the aforementioned trivial ascending auction on the grand bundle is the optimal obviously strategy-proof mechanism. These results illustrate a stark separation between the power of dominant-strategy and obviously strategy-proof mechanisms. The reason for it is that for both of these classes the dominant-strategy VCG mechanism does not only optimize the welfare exactly, but is also "easy" both from a computation and communication perspective. In addition, we prove tight impossibilities for unknown single-minded bidders in a multi-unit auction and in a combinatorial auction. We show that in these environments as well, a trivial ascending auction on the grand bundle is optimal.


title: A Markovian approach to the Prandtl-Tomlinson frictional model

abstract: We consider the Prandtl-Tomlinson model in the case of a constant driving force and in the presence of thermal fluctuations. We show that the system dynamics is well reproduced by a simplified description obtained through a Markov process, even in the case of potentials with several minima. After estimating the chain parameters by numerical simulation, we compute the average velocity and friction at varying driving force and temperature. Then we take advantage of this approach for calculating the entropy produced by the system and, in the case of a single minimum potential, to derive its explicit relation with the external force and the mobility at low temperatures. We observe that the coefficient relating the entropy production to the force is not a monotonic function of the temperature.


title: Exploiting Hybrid Terrestrial/LEO Satellite Systems for Rural Connectivity

abstract: Satellite networks are playing an important role in realizing global seamless connectivity in beyond 5G and 6G wireless networks. In this paper, we develop a comprehensive analytical framework to assess the performance of hybrid terrestrial/satellite networks in providing rural connectivity. We assume that the terrestrial base stations are equipped with multiple-input-multiple-output (MIMO) technologies and that the user has the option to associate with a base station or a satellite to be served. Using tools from stochastic geometry, we derive tractable expressions for the coverage probability and average data rate and prove the accuracy of the derived expressions through Monte Carlo simulations. The obtained results capture the impact of the satellite constellation size, the terrestrial base station density, and the MIMO configuration parameters.


title: Realizing the controllable excitation transfer based on the atom coupling the finite-size Su-Schrieffer-Heeger model

abstract: In this paper, we study the interaction between atom and the finite-size Su-Schrieffer-Heeger (SSH) model. We find that when the finite SSH model in the trivial phase, it can be viewed as the atom coupling with the waveguide with the finite bandwidths and non-linear dispersion relation. However, for the SSH model in the topological phase, when we consider the frequency of the atom is resonant with the edge mode of the SSH model, we find that the atom state couples to the two edge states. In this case, we find that there exists a special channel that can be utilized to transfer the atomic excitation to the ends of the SSH model using adiabatic processes. When the atom couples to the different sub-lattice, the excitation of the atom can be transferred to the leftmost or rightmost end of the chain, which provides the potential application toward quantum information processing. Furthermore, The excitation transfer of excited states of atoms to the ends of the chain can also be realized without the adiabatic process. Our work provides a pathway for realizing controllable quantum information transfer based on the atom couples topological matter.


title: Trace and Index of Dirac-Schr\"odinger Operators on Open Space with Operator Potentials

abstract: We develop trace and index formulas for a Dirac-Schr\"odinger operator $D$ on open space of odd dimension $d\geq 3$ with a potential given by a family of self-adjoint unbounded operators acting on a infinite dimensional Hilbert space $H$. The presented results generalize formulas surrounding the Callias index theorem to unbounded operator potentials, for which the operator $D$ is not necessarily Fredholm. We include examples, where the trace formula is used to calculate the Witten index of non-Fredholm massless $(d+1)$-Dirac-Schr\"odinger operators acting in $L^2\left(\mathbb{R}^{d+1},H\right)$.


title: scBeacon: single-cell biomarker extraction via identifying paired cell clusters across biological conditions with contrastive siamese networks

abstract: Despite the breakthroughs in biomarker discovery facilitated by differential gene analysis, challenges remain, particularly at the single-cell level. Traditional methodologies heavily rely on user-supplied cell annotations, focusing on individually expressed data, often neglecting the critical interactions between biological conditions, such as healthy versus diseased states. In response, here we introduce scBeacon, an innovative framework built upon a deep contrastive siamese network. scBeacon pioneers an unsupervised approach, adeptly identifying matched cell populations across varied conditions, enabling a refined differential gene analysis. By utilizing a VQ-VAE framework, a contrastive siamese network, and a greedy iterative strategy, scBeacon effectively pinpoints differential genes that hold potential as key biomarkers. Comprehensive evaluations on a diverse array of datasets validate scBeacon's superiority over existing single-cell differential gene analysis tools. Its precision and adaptability underscore its significant role in enhancing diagnostic accuracy in biomarker discovery. With the emphasis on the importance of biomarkers in diagnosis, scBeacon is positioned to be a pivotal asset in the evolution of personalized medicine and targeted treatments.


title: Nonlinear wavefront reconstruction from a pyramid sensor using neural networks

abstract: The pyramid wavefront sensor (PyWFS) has become increasingly popular to use in adaptive optics (AO) systems due to its high sensitivity. The main drawback of the PyWFS is that it is inherently nonlinear, which means that classic linear wavefront reconstruction techniques face a significant reduction in performance at high wavefront errors, particularly when the pyramid is unmodulated. In this paper, we consider the potential use of neural networks (NNs) to replace the widely used matrix vector multiplication (MVM) control. We aim to test the hypothesis that the neural network (NN)'s ability to model nonlinearities will give it a distinct advantage over MVM control. We compare the performance of a MVM linear reconstructor against a dense NN, using daytime data acquired on the Subaru Coronagraphic Extreme Adaptive Optics system (SCExAO) instrument. In a first set of experiments, we produce wavefronts generated from 14 Zernike modes and the PyWFS responses at different modulation radii (25, 50, 75, and 100 mas). We find that the NN allows for a far more precise wavefront reconstruction at all modulations, with differences in performance increasing in the regime where the PyWFS nonlinearity becomes significant. In a second set of experiments, we generate a dataset of atmosphere-like wavefronts, and confirm that the NN outperforms the linear reconstructor. The SCExAO real-time computer software is used as baseline for the latter. These results suggest that NNs are well positioned to improve upon linear reconstructors and stand to bring about a leap forward in AO performance in the near future.


title: Embedding of Markov matrices for $d\leqslant 4$

abstract: The embedding problem of Markov matrices in Markov semigroups is a classic problem that regained a lot of impetus and activities through recent needs in phylogeny and population genetics. Here, we give an account for dimensions $d\leqslant 4$, including a complete and simplified treatment of the case $d=3$, and derive the results in a systematic fashion, with an eye on the potential applications. Further, we reconsider the setup of the corresponding problem for time-inhomogeneous Markov chains, which is needed for real-world applications because transition rates need not be constant over time. Additional cases of this more general embedding occur for any $d\geqslant 3$. We review the known case of $d=3$ and describe the setting for future work on $d=4$.


title: FloodBrain: Flood Disaster Reporting by Web-based Retrieval Augmented Generation with an LLM

abstract: Fast disaster impact reporting is crucial in planning humanitarian assistance. Large Language Models (LLMs) are well known for their ability to write coherent text and fulfill a variety of tasks relevant to impact reporting, such as question answering or text summarization. However, LLMs are constrained by the knowledge within their training data and are prone to generating inaccurate, or "hallucinated", information. To address this, we introduce a sophisticated pipeline embodied in our tool FloodBrain (floodbrain.com), specialized in generating flood disaster impact reports by extracting and curating information from the web. Our pipeline assimilates information from web search results to produce detailed and accurate reports on flood events. We test different LLMs as backbones in our tool and compare their generated reports to human-written reports on different metrics. Similar to other studies, we find a notable correlation between the scores assigned by GPT-4 and the scores given by human evaluators when comparing our generated reports to human-authored ones. Additionally, we conduct an ablation study to test our single pipeline components and their relevancy for the final reports. With our tool, we aim to advance the use of LLMs for disaster impact reporting and reduce the time for coordination of humanitarian efforts in the wake of flood disasters.


title: Automated Camera Calibration via Homography Estimation with GNNs

abstract: Over the past few decades, a significant rise of camera-based applications for traffic monitoring has occurred. Governments and local administrations are increasingly relying on the data collected from these cameras to enhance road safety and optimize traffic conditions. However, for effective data utilization, it is imperative to ensure accurate and automated calibration of the involved cameras. This paper proposes a novel approach to address this challenge by leveraging the topological structure of intersections. We propose a framework involving the generation of a set of synthetic intersection viewpoint images from a bird's-eye-view image, framed as a graph of virtual cameras to model these images. Using the capabilities of Graph Neural Networks, we effectively learn the relationships within this graph, thereby facilitating the estimation of a homography matrix. This estimation leverages the neighbourhood representation for any real-world camera and is enhanced by exploiting multiple images instead of a single match. In turn, the homography matrix allows the retrieval of extrinsic calibration parameters. As a result, the proposed framework demonstrates superior performance on both synthetic datasets and real-world cameras, setting a new state-of-the-art benchmark.


title: Learning Class and Domain Augmentations for Single-Source Open-Domain Generalization

abstract: Single-source open-domain generalization (SS-ODG) addresses the challenge of labeled source domains with supervision during training and unlabeled novel target domains during testing. The target domain includes both known classes from the source domain and samples from previously unseen classes. Existing techniques for SS-ODG primarily focus on calibrating source-domain classifiers to identify open samples in the target domain. However, these methods struggle with visually fine-grained open-closed data, often misclassifying open samples as closed-set classes. Moreover, relying solely on a single source domain restricts the model's ability to generalize. To overcome these limitations, we propose a novel framework called SODG-Net that simultaneously synthesizes novel domains and generates pseudo-open samples using a learning-based objective, in contrast to the ad-hoc mixing strategies commonly found in the literature. Our approach enhances generalization by diversifying the styles of known class samples using a novel metric criterion and generates diverse pseudo-open samples to train a unified and confident multi-class classifier capable of handling both open and closed-set data. Extensive experimental evaluations conducted on multiple benchmarks consistently demonstrate the superior performance of SODG-Net compared to the literature.


title: Physics-informed dynamic mode decomposition for short-term and long-term prediction of gas-solid flows

abstract: Integration of physics principles with data-driven methods has attracted great attention in recent few years. In this study, a physics-informed dynamic mode decomposition (piDMD) method, where the mass conservation law is integrated with a purely data-driven DMD method, is developed for fast prediction of the spatiotemporal dynamics of solid volume fraction distribution in bubbling fluidized beds. Assessment of the prediction ability using both piDMD and DMD is performed using the CFD-DEM results as the benchmark: Both DMD and piDMD can predict the short-term behaviour of solid volume fraction reasonably well, but piDMD outperforms the DMD in both qualitative and quantitative comparisons; With respect to their long-term ability, the piDMD-based prediction of the instantaneous solid volume fraction distributions is qualitatively correct although the accuracy needs to be improved, and the predicted time-averaged radial and axial profiles are satisfactory; Whereas the DMD-based prediction of instantaneous snapshots and time-averaged results is completely nonphysical. Present study provides a fast and relatively accurate method for predicting the hydrodynamics of gas-solid flows.


title: Optimizing Implicit Neural Representations from Point Clouds via Energy-Based Models

abstract: Reconstructing a continuous surface from an unoritented 3D point cloud is a fundamental task in 3D shape processing. In recent years, several methods have been proposed to address this problem using implicit neural representations (INRs). In this study, we propose a method to optimize INRs using energy-based models (EBMs). By employing the absolute value of the coordinate-based neural networks as the energy function, the INR can be optimized through the estimation of the point cloud distribution by the EBM. In addition, appropriate parameter settings of the EBM enable the model to consider the magnitude of point cloud noise. Our experiments confirmed that the proposed method is more robust against point cloud noise than conventional surface reconstruction methods.


title: Get the Ball Rolling: Alerting Autonomous Robots When to Help to Close the Healthcare Loop

abstract: To facilitate the advancement of research in healthcare robots without human intervention or commands, we introduce the Autonomous Helping Challenge, along with a crowd-sourcing large-scale dataset. The goal is to create healthcare robots that possess the ability to determine when assistance is necessary, generate useful sub-tasks to aid in planning, carry out these plans through a physical robot, and receive feedback from the environment in order to generate new tasks and continue the process. Besides the general challenge in open-ended scenarios, Autonomous Helping focuses on three specific challenges: autonomous task generation, the gap between the current scene and static commonsense, and the gap between language instruction and the real world. Additionally, we propose Helpy, a potential approach to close the healthcare loop in the learning-free setting.


title: A multiscale model for weakly nonlinear shallow water waves over periodic bathymetry

abstract: We study the behavior of shallow water waves over periodically-varying bathymetry, based on the first-order hyperbolic Saint-Venant equations. Although solutions of this system are known to generally exhibit wave breaking, numerical experiments suggest a different behavior in the presence of periodic bathymetry. Starting from the first-order variable-coefficient hyperbolic system, we apply a multiple-scale perturbation approach in order to derive a system of constant-coefficient high-order partial differential equations whose solution approximates that of the original system. The high-order system turns out to be dispersive and exhibits solitary-wave formation, in close agreement with direct numerical simulations of the original system. We show that the constant-coefficient homogenized system can be used to study the properties of solitary waves and to conduct efficient numerical simulations.


title: Transposed Poisson superalgebra

abstract: In this paper we propose the notion of a transposed Poisson superalgebra. We prove that a transposed Poisson superalgebra can be constructed by means of a commutative associative superalgebra and an even degree derivation of this algebra. Making use of this we construct two examples of transposed Poisson superalgebra. One of them is the graded differential algebra of differential forms on a smooth finite dimensional manifold, where we use the Lie derivative as an even degree derivation. The second example is the commutative superalgebra of basic fields of the quantum Yang-Mills theory, where we use the BRST-supersymmetry as an even degree derivation to define a graded Lie bracket. We show that a transposed Poisson superalgebra has six identities that play an important role in the study of the structure of this algebra.


title: Further acceleration of multiscale simulation of rarefied gas flow via a generalized boundary treatment

abstract: The recently-developed general synthetic iterative scheme (GSIS) is efficient in simulating multiscale rarefied gas flows due to the coupling of mesoscopic kinetic equation and macroscopic synthetic equation: for linearized Poiseuille flow where the boundary flux is fixed at each iterative step, the steady-state solutions are found within dozens of iterations in solving the gas kinetic equations, while for general nonlinear flows the iteration number is increased by about one order of magnitude, caused by the incompatible treatment of the boundary flux for the macroscopic synthetic equation. In this paper, we propose a generalized boundary treatment (GBT) to further accelerate the convergence of GSIS. The main idea is, the truncated velocity distribution function at the boundary, similar to that used in the Grad 13-moment equation, is reconstructed by the macroscopic conserved quantities from the synthetic equation, and the high-order correction of non-equilibrium stress and heat flux from the kinetic equation; therefore, in each inner iteration solving the synthetic equation, the explicit constitutive relations facilitate real-time updates of the macroscopic boundary flux, driving faster information exchange in the flow field, and consequently achieving quicker convergence. Moreover, the high-order correction derived from the kinetic equation can compensate the approximation by the truncation and ensure the boundary accuracy. The accuracy of GSIS-GBT is validated by the direct simulation Monte Carlo method, the previous versions of GSIS, and the unified gas-kinetic wave-particle method. For the efficiency, in the near-continuum flow regime and slip regime, GSIS-GBT can be faster than the conventional iteration scheme in the discrete velocity method and the previous versions of GSIS by two- and one-order of magnitude, respectively.


title: SO(3)-Irreducible Geometry in Complex Dimension Five and Ternary Generalization of Pauli Exclusion Principle

abstract: We propose a notion of a ternary skew-symmetric covariant tensor of 3rd order, consider it as a 3-dimensional matrix and study a ten-dimensional complex space of these tensors. We split this space into a direct sum of two five-dimensional subspaces and in each subspace there is an irreducible representation of the rotation group SO(3) -> SO(5). We find two independent SO(3)-invariants of ternary skew-symmetric tensors, where one of them is the Hermitian metric and the other is the quadratic form. We find the stabilizer of this quadratic form and its invariant properties. Making use of these invariant properties we define a SO(3)-irreducible geometric structure on a five-dimensional complex Hermitian manifold. We study a connection on a five-dimensional complex Hermitian manifold with a SO(3)-irreducible geometric structure, find its curvature and torsion. The structures proposed in this paper and their study are motivated by a ternary generalization of the Pauli's principle proposed by R. Kerner.


title: AI Techniques for Uncovering Resolved Planetary Nebula Candidates from Wide-field VPHAS+ Survey Data

abstract: AI and deep learning techniques are beginning to play an increasing role in astronomy as a necessary tool to deal with the data avalanche. Here we describe an application for finding resolved Planetary Nebulae (PNe) in crowded, wide-field, narrow-band H-alpha survey imagery in the Galactic plane. PNe are important to study late stage of stellar evolution of low to intermediate-mass stars. However, the confirmed ~3800 Galactic PNe fall far short of the numbers expected. Traditional visual searching for resolved PNe is time-consuming due to the large data size and areal coverage of modern astronomical surveys, especially those taken in narrow-band filters highlighting emission nebulae. To test and facilitate more objective, reproducible, efficient and reliable trawls for PNe candidates we have developed a new, deep learning algorithm. In this paper, we applied the algorithm to several H-alpha digital surveys (e.g. IPHAS and VPHAS+). The training and validation dataset was built with true PNe from the HASH database. After transfer learning, it was then applied to the VPHAS+ survey. We examined 979 out of 2284 survey fields with each survey field covering 1 * 1 deg^2. With a sample of 454 PNe from the IPHAS as our validation set, our algorithm correctly identified 444 of these objects (97.8%), with only 16 explicable 'false' positives. Our model returned ~20,000 detections, including 2637 known PNe and many other kinds of catalogued non-PNe such as HII regions. A total of 815 new high-quality PNe candidates were found, 31 of which were selected as top-quality targets for subsequent optical spectroscopic follow-up. Representative preliminary confirmatory spectroscopy results are presented here to demonstrate the effectiveness of our techniques with full details to be given in paper-II.


title: Deep Learning-based 3D Point Cloud Classification: A Systematic Survey and Outlook

abstract: In recent years, point cloud representation has become one of the research hotspots in the field of computer vision, and has been widely used in many fields, such as autonomous driving, virtual reality, robotics, etc. Although deep learning techniques have achieved great success in processing regular structured 2D grid image data, there are still great challenges in processing irregular, unstructured point cloud data. Point cloud classification is the basis of point cloud analysis, and many deep learning-based methods have been widely used in this task. Therefore, the purpose of this paper is to provide researchers in this field with the latest research progress and future trends. First, we introduce point cloud acquisition, characteristics, and challenges. Second, we review 3D data representations, storage formats, and commonly used datasets for point cloud classification. We then summarize deep learning-based methods for point cloud classification and complement recent research work. Next, we compare and analyze the performance of the main methods. Finally, we discuss some challenges and future directions for point cloud classification.


title: Dock Assignment and Truck Scheduling Problem; Consideration of Multiple Scenarios with Resource Allocation Constraints

abstract: The notion of 'resource' plays an important role in the overall efficiency and performance of most cross-docks. The processing time can often be described in terms of the resources allocated to different trucks. Conversely, for a given processing time, different combinations of resources can be prescribed. We study the problem of truck scheduling and dock assignment in the presence of resource constraints. In the absence of a closed-form (or well-defined) linear formulation describing the processing times as a function of resources, expert' knowledge has been mobilised to enable modelling of the problem as an integer linear model. Two cases are taken into account: In the first one, the expert believes in his/her estimation of the processing time for every truck and only proposes a different combination of resources for his/her estimation, while in the second one the expert proposes a limited number of resource deployment scenarios for serving trucks, each of which has a different combination of resources and different processing times. We propose a novel compact integer programming formulation for the problem, which is particularly designed with an embedded structure that can be exploited in dual decomposition techniques with a remarkably computationally efficient column generation approach in this case. The case in which a scenario with invariant processing time is considered and modelled as a special case of the proposed model. Since a direct application of commercial solvers such as CPLEX to solve instances of this problem is not realistic, we propose a branch-and-price framework and, moreover, several classes of valid inequalities. Our extensive computational experiments confirm that the proposed exact solution framework is very efficient and viable in solving real-size instances of the practice and in a reasonable amount of time.


title: An adaptive standardisation methodology for Day-Ahead electricity price forecasting

abstract: The study of Day-Ahead prices in the electricity market is one of the most popular problems in time series forecasting. Previous research has focused on employing increasingly complex learning algorithms to capture the sophisticated dynamics of the market. However, there is a threshold where increased complexity fails to yield substantial improvements. In this work, we propose an alternative approach by introducing an adaptive standardisation to mitigate the effects of dataset shifts that commonly occur in the market. By doing so, learning algorithms can prioritize uncovering the true relationship between the target variable and the explanatory variables. We investigate five distinct markets, including two novel datasets, previously unexplored in the literature. These datasets provide a more realistic representation of the current market context, that conventional datasets do not show. The results demonstrate a significant improvement across all five markets using the widely accepted learning algorithms in the literature (LEAR and DNN). In particular, the combination of the proposed methodology with the methodology previously presented in the literature obtains the best results. This significant advancement unveils new lines of research in this field, highlighting the potential of adaptive transformations in enhancing the performance of forecasting models.


title: The effect of a $\delta$ distribution potential on a quantum mechanical particle in a box

abstract: We study the effect of a $\delta$ distribution potential placed at $x_0\geq 0$ and multiplied by a parameter $\alpha$ on a quantum mechanical particle in an infinite square well over the segment $\left[-\,\frac{L}{2},\frac{L}{2}\right]$. We obtain the limit of the eigenfunctions of the time independent Schr\"{o}dinger equation as $\alpha\nearrow+\infty$ and as $\alpha\searrow-\infty$. We see how each solution of the Schr\"{o}dinger equation corresponding to $\alpha=0$ changes as $\alpha$ runs through the real line. When $x_0$ is a rational multiple of $L$, there exist solutions of the Schr\"{o}dinger equation which vanish at $x_0$ and are unaffected by the value of $\alpha$. We show that each one of these has an energy that coincides with the energy of a certain limiting eigenfunction obtained by taking $|\alpha|\to\infty$. The expectation value of the position of a particle with wave function equal to the limiting eigenfunction is $x_0$.


title: GPT-4V-AD: Exploring Grounding Potential of VQA-oriented GPT-4V for Zero-shot Anomaly Detection

abstract: Large Multimodal Model (LMM) GPT-4V(ision) endows GPT-4 with visual grounding capabilities, making it possible to handle certain tasks through the Visual Question Answering (VQA) paradigm. This paper explores the potential of VQA-oriented GPT-4V in the recently popular visual Anomaly Detection (AD) and is the first to conduct qualitative and quantitative evaluations on the popular MVTec AD and VisA datasets. Considering that this task requires both image-/pixel-level evaluations, the proposed GPT-4V-AD framework contains three components: \textbf{\textit{1)}} Granular Region Division, \textbf{\textit{2)}} Prompt Designing, \textbf{\textit{3)}} Text2Segmentation for easy quantitative evaluation, and have made some different attempts for comparative analysis. The results show that GPT-4V can achieve certain results in the zero-shot AD task through a VQA paradigm, such as achieving image-level 77.1/88.0 and pixel-level 68.0/76.6 AU-ROCs on MVTec AD and VisA datasets, respectively. However, its performance still has a certain gap compared to the state-of-the-art zero-shot method, \eg, WinCLIP and CLIP-AD, and further researches are needed. This study provides a baseline reference for the research of VQA-oriented LMM in the zero-shot AD task, and we also post several possible future works. Code is available at \url{https://github.com/zhangzjn/GPT-4V-AD}.


title: Enhanced Sensitivity of THz NbN Hot Electron Bolometer Mixers

abstract: We studied the effect of the NbN/Au contact on the sensitivities of a NbN hot electron bolometer (HEB) mixer by measuring the double sideband (DSB) receiver noise temperature (T_rec_DSB) at three local oscillator frequencies of 1.6, 2.5 and 5.3 THz. The HEB has cleaned contact structures with a thick Au layer. We demonstrated low mixer noise temperatures (T_mixer_DSB) of 240 K and 290 K at 1.6 and 2.5 THz, respectively. The latter reach roughly 3 times the quantum noise at their frequencies. The mixer is developed for the proposed OASIS and SALTUS (concept) missions. The enhanced T_mixer_DSB are more than 30 % better in comparison with published NbN HEB mixers. The improvement can reduce the integration time of a heterodyne instrument roughly by a factor of 2. The T_mixer^DSB of the same HEB has shown limited improvement at 5.3 THz, which is partly due to non-optimized antenna geometry. Besides, the results also help to understand device physics of a wide HEB (4 um) at high frequencies.


title: Implicit Nonholonomic Mechanics with Collisions

abstract: In this paper, variational techniques are used to analyze the dynamics of nonholonomic mechanical systems with impacts. Implicit nonholonomic smooth Lagrangian and Hamiltonian systems are extended to a nonsmooth context appropriate for collisions. In particular, we provide a variational formulation for implicit nonholonomic mechanical systems with collisions, for those collisions that preserve energy and momentum at the impact. Lastly, the theoretical results are illustrated by examining the example of a rolling disk hitting a wall.


title: Influence of gravitational waves on quantum multibody states

abstract: Based on the freely-falling Unruh-Dewitt model, we study the influence of gravitational waves on the quantum multibody states, i.e. the twin-Fock (TF) state and the mixture of Dicke states. The amount of entanglement of quantum many-body states decreases first and then increases with increasing frequency of gravitational waves. In particular, for some fixed frequencies of gravitational waves, entanglement will increase with the increasing amplitude of gravitational waves, which is different from the usual thought of gravity-induced decoherence and could provide a novel understanding for the quantum property of gravitational waves.


title: Divide & Conquer for Entailment-aware Multi-hop Evidence Retrieval

abstract: Lexical and semantic matches are commonly used as relevance measurements for information retrieval. Together they estimate the semantic equivalence between the query and the candidates. However, semantic equivalence is not the only relevance signal that needs to be considered when retrieving evidences for multi-hop questions. In this work, we demonstrate that textual entailment relation is another important relevance dimension that should be considered. To retrieve evidences that are either semantically equivalent to or entailed by the question simultaneously, we divide the task of evidence retrieval for multi-hop question answering (QA) into two sub-tasks, i.e., semantic textual similarity and inference similarity retrieval. We propose two ensemble models, EAR and EARnest, which tackle each of the sub-tasks separately and then jointly re-rank sentences with the consideration of the diverse relevance signals. Experimental results on HotpotQA verify that our models not only significantly outperform all the single retrieval models it is based on, but is also more effective than two intuitive ensemble baseline models.


title: TFNet: Tuning Fork Network with Neighborhood Pixel Aggregation for Improved Building Footprint Extraction

abstract: This paper considers the problem of extracting building footprints from satellite imagery -- a task that is critical for many urban planning and decision-making applications. While recent advancements in deep learning have made great strides in automated detection of building footprints, state-of-the-art methods available in existing literature often generate erroneous results for areas with densely connected buildings. Moreover, these methods do not incorporate the context of neighborhood images during training thus generally resulting in poor performance at image boundaries. In light of these gaps, we propose a novel Tuning Fork Network (TFNet) design for deep semantic segmentation that not only performs well for widely-spaced building but also has good performance for buildings that are closely packed together. The novelty of TFNet architecture lies in a a single encoder followed by two parallel decoders to separately reconstruct the building footprint and the building edge. In addition, the TFNet design is coupled with a novel methodology of incorporating neighborhood information at the tile boundaries during the training process. This methodology further improves performance, especially at the tile boundaries. For performance comparisons, we utilize the SpaceNet2 and WHU datasets, as well as a dataset from an area in Lahore, Pakistan that captures closely connected buildings. For all three datasets, the proposed methodology is found to significantly outperform benchmark methods.


title: Regionalization of China's PM2.5 through Robust Spatio temporal Functional Clustering Method

abstract: The patterns of particulate matter with diameters that are generally 2.5 micrometers and smaller (PM2.5) are heterogeneous in China nationwide but can be homogeneous region-wide. To reduce the adverse effects from PM2.5, policymakers need to develop location-specific regulations based on nationwide clustering analysis of PM2.5 concentrations. However, such an analysis is challenging because the data have complex structures and are usually noisy. In this study, we propose a robust clustering framework using a novel concept of depth, which can handle both magnitude and shape outliers effectively and incorporate spatial information. We apply this framework to a PM2.5 dataset and reveal ten regions in China that have distinct PM2.5 patterns, and the homogeneity within each cluster is also confirmed. The clusters have clearly visible boundaries and enable policymakers to develop local emission control policies and establish regional collaborative systems to control air pollution in China.


title: Bulk-boundary-transport correspondence of the second-order topological insulators

abstract: The bulk-boundary correspondence of the second-order topological insulator (SOTI) has been well established, but a universal transport signature for open systems is still absent. For a variety of SOTIs induced by applying in-plane magnetic fields in Z$_2$-invariant first-order TIs, rotating this magnetic field features the spin pump mechanism while maintaining the SOTI phase. We demonstrate that, this spin pump can generate quantized pure spin current when tuning the magnetic field strength, which corresponds to the formation of topological corner states characterizing SOTI in two-dimensional (2D) systems. Quantized spin pump is discovered in various 2D and 3D SOTI models evolved from Z$_2$-invariant TIs, which is robust against disorder and universally independent of system parameters including Fermi energy, system size, magnetic field strength, and pumping frequency. These findings suggest that this universal quantized spin pump can characterize the bulk-boundary-transport correspondence of SOTIs. Quantized spin pump can also be realized by combining pseudo spin such as the orbital degree of freedom with the rotating magnetic field, which could be achieved in higher-order photonic or acoustic topological systems. Such a quantized spin pump is promising as an accurate and stable single-spin source.


title: Quantum nonlinear ac transport theory at low frequency

abstract: Based on the nonequilibrium Green's function (NEGF), we develop a quantum nonlinear theory to study time-dependent ac transport properties in the low frequency and nonlinear bias voltage regimes. By expanding NEGF in terms of time to the linear order in Wigner representation, we can explicitly include the time-dependent self-consistent Coulomb interaction induced by external ac bias. Hence this theory automatically satisfies two basic requirements, i.e., current conservation and gauge invariance. Within this theory, the nonlinear ac current can be evaluated at arbitrarily large bias voltages under the low frequency limit. In addition, we obtain the expression of time-dependent current under the wide band limit and derive the relation between the nonlinear electrochemical capacitance and the bias voltage, which are very useful in predicting the dynamical properties of nanoelectronic devices. This quantum theory can be directly combined with density functional theory to investigate time-dependent ac transport from first-principles calculation.


title: AIOps-Driven Enhancement of Log Anomaly Detection in Unsupervised Scenarios

abstract: Artificial intelligence operations (AIOps) play a pivotal role in identifying, mitigating, and analyzing anomalous system behaviors and alerts. However, the research landscape in this field remains limited, leaving significant gaps unexplored. This study introduces a novel hybrid framework through an innovative algorithm that incorporates an unsupervised strategy. This strategy integrates Principal Component Analysis (PCA) and Artificial Neural Networks (ANNs) and uses a custom loss function to substantially enhance the effectiveness of log anomaly detection. The proposed approach encompasses the utilization of both simulated and real-world datasets, including logs from SockShop and Hadoop Distributed File System (HDFS). The experimental results are highly promising, demonstrating significant reductions in pseudo-positives. Moreover, this strategy offers notable advantages, such as the ability to process logs in their raw, unprocessed form, and the potential for further enhancements. The successful implementation of this approach showcases a remarkable reduction in anomalous logs, thus unequivocally establishing the efficacy of the proposed methodology. Ultimately, this study makes a substantial contribution to the advancement of log anomaly detection within AIOps platforms, addressing the critical need for effective and efficient log analysis in modern and complex systems.


title: Neural Networks Are Implicit Decision Trees: The Hierarchical Simplicity Bias

abstract: Neural networks exhibit simplicity bias; they rely on simpler features while ignoring equally predictive but more complex features. In this work, we introduce a novel approach termed imbalanced label coupling to investigate scenarios where simple and complex features exhibit different levels of predictive power. In these cases, complex features still contribute to predictions. The trained networks make predictions in alignment with the ascending complexity of input features according to how they correlate with the label in the training set, irrespective of the underlying predictive power. For instance, even when simple spurious features distort predictions in CIFAR-10, most cats are predicted to be dogs, and most trucks are predicted to be automobiles! This observation provides direct evidence that the neural network learns core features in the presence of spurious features. We empirically show that last-layer retraining with target data distribution is effective, yet insufficient to fully recover core features when spurious features are perfectly correlated with the target labels in our synthetic dataset. We hope our research contributes to a deeper understanding of the implicit bias of neural networks.


title: Towards out of equilibrium impurity solver for the Dynamical Mean Field Theory

abstract: The Dynamical Mean Field Theory (DMFT) is a powerful tool for calculating highly correlated systems (both bosonic and fermionic) in a state of thermodynamic equilibrium. However, in the case of non-equilibrium states, the method has significant limitations that do not allow obtaining correct results. The stumbling block here is the impurity solver: a method for calculating the dynamics of an open system. In this work we present the prototype of a universal impurity solver for the DMFT method which can solve both equilibrium and non-equilibrium problems. We analyse spectral functions of Bose-Hubbard model on the Bethe lattice in different regimes and show that our solver gives correct and physical results.


title: Failure detection for transport processes on networks

abstract: Diffusion on complex networks is a convenient framework to describe a great variety of transport systems. Failure phenomena in a link of the network may simulate the presence of a break or a congestion effect in the system. A real time detection of failures can mitigate their effect and allow to optimize the control procedures on the transport network. The main objective of this work is to provide a dimensionality reduction technique for a transport network where a diffusive dynamics takes place, to detect presence of a failure by a limited number of observations. Our approach is based on the susceptibility response of the network state under random perturbations of the link weights. The correlations among the nodes fluctuations is exploited in order to provide the clustering procedure. The network dimensionality is therefore reduced introducing `representative nodes' for each cluster and generating a reduced network model, whose dynamical state is detected by the observations. We realize a failure identification procedure for the whole network, studying the dynamics of the coarse-grained network. The localization efficiency of the proposed clustering algorithm, averaging over all possible single-edge failures, is compared with traditional structure-based clustering using different graph configurations. We show that the proposed clustering algorithm is more sensitive than traditional clustering techniques to detect link failure with higher stationary fluxes.


title: New structure of channel coding: serial concatenation of Polar codes

abstract: In this paper, we introduce a new coding and decoding structure for enhancing the reliability and performance of polar codes, specifically at low error rates. We achieve this by concatenating two polar codes in series to create robust error-correcting codes. The primary objective here is to optimize the behavior of individual elementary codes within polar codes. In this structure, we incorporate interleaving, a technique that rearranges bits to maximize the separation between originally neighboring symbols. This rearrangement is instrumental in converting error clusters into distributed errors across the entire sequence. To evaluate their performance, we proposed to model a communication system with seven components: an information source, a channel encoder, a modulator, a channel, a demodulator, a channel decoder, and a destination. This work focuses on evaluating the bit error rate (BER) of codes for different block lengths and code rates. Next, we compare the bit error rate (BER) performance between our proposed method and polar codes.


title: Super-resolved snapshot hyperspectral imaging of solid-state quantum emitters for high-throughput integrated quantum technologies

abstract: Solid-state quantum emitters coupled to integrated photonic nanostructures are quintessential for exploring fundamental phenomena in cavity quantum electrodynamics and widely employed in photonic quantum technologies such as non-classical light sources, quantum repeaters, and quantum transducers, etc. One of the most exciting promises from integrated quantum photonics is the potential of scalability that enables massive productions of miniaturized devices on a single chip. In reality, the yield of efficient and reproducible light-matter couplings is greatly hindered by the spectral and spatial mismatches between the single solid-state quantum emitters and confined or propagating optical modes supported by the photonic nanostructures, preventing the high-throughput realization of large-scale integrated quantum photonic circuits for more advanced quantum information processing tasks. In this work, we introduce the concept of hyperspectral imaging in quantum optics, for the first time, to address such a long-standing issue. By exploiting the extended mode with a unique dispersion in a 1D planar cavity, the spectral and spatial information of each individual quantum dot in an ensemble can be accurately and reliably extracted from a single wide-field photoluminescence image with super-resolutions. With the extracted quantum dot positions and emission wavelengths, surface-emitting quantum light sources and in-plane photonic circuits can be deterministically fabricated with a high-throughput by etching the 1D confined planar cavity into 3D confined micropillars and 2D confined waveguides. Further extension of this technique by employing an open planar cavity could be exploited for pursuing a variety of compact quantum photonic devices with expanded functionalities for large-scale integration. Our work is expected to change the landscape of integrated quantum photonic technology.


title: On the 32-dimensional Rosenfeld projective plane

abstract: Following on from arXiv:2310.14365 [math.AT], we make a detailed study of the $32$-dimensional Rosenfeld projective plane which is the symmetric space EIII in Cartan's list of compact symmetric spaces.


title: SparseLock: Securing Neural Network Models in Deep Learning Accelerators

abstract: Securing neural networks (NNs) against model extraction and parameter exfiltration attacks is an important problem primarily because modern NNs take a lot of time and resources to build and train. We observe that there are no countermeasures (CMs) against recently proposed attacks on sparse NNs and there is no single CM that effectively protects against all types of known attacks for both sparse as well as dense NNs. In this paper, we propose SparseLock, a comprehensive CM that protects against all types of attacks including some of the very recently proposed ones for which no CM exists as of today. We rely on a novel compression algorithm and binning strategy. Our security guarantees are based on the inherent hardness of bin packing and inverse bin packing problems. We also perform a battery of statistical and information theory based tests to successfully show that we leak very little information and side channels in our architecture are akin to random sources. In addition, we show a performance benefit of 47.13% over the nearest competing secure architecture.


title: Pointer Networks with Q-Learning for Combinatorial Optimization

abstract: We introduce the Pointer Q-Network (PQN), a hybrid neural architecture that integrates model-free Q-value policy approximation with Pointer Networks (Ptr-Nets) to enhance the optimality of attention-based sequence generation, focusing on long-term outcomes. This integration proves particularly effective in solving combinatorial optimization (CO) tasks, especially the Travelling Salesman Problem (TSP), which is the focus of our study. We address this challenge by defining a Markov Decision Process (MDP) compatible with PQN, which involves iterative graph embedding, encoding and decoding by an LSTM-based recurrent neural network. This process generates a context vector and computes raw attention scores, which are dynamically adjusted by Q-values calculated for all available state-action pairs before applying softmax. The resulting attention vector is utilized as an action distribution, with actions selected hinged to exploration-exploitation dynamic adaptibility of PQN. Our empirical results demonstrate the efficacy of this approach, also testing the model in unstable environments.


title: The New Frontier of Cybersecurity: Emerging Threats and Innovations

abstract: In today's digitally interconnected world, cybersecurity threats have reached unprecedented levels, presenting a pressing concern for individuals, organizations, and governments. This study employs a qualitative research approach to comprehensively examine the diverse threats of cybersecurity and their impacts across various sectors. Four primary categories of threats are identified and analyzed, encompassing malware attacks, social engineering attacks, network vulnerabilities, and data breaches. The research delves into the consequences of these threats on individuals, organizations, and society at large. The findings reveal a range of key emerging threats in cybersecurity, including advanced persistent threats, ransomware attacks, Internet of Things (IoT) vulnerabilities, and social engineering exploits. Consequently, it is evident that emerging cybersecurity threats pose substantial risks to both organizations and individuals. The sophistication and diversity of these emerging threats necessitate a multi-layered approach to cybersecurity. This approach should include robust security measures, comprehensive employee training, and regular security audits. The implications of these emerging threats are extensive, with potential consequences such as financial loss, reputational damage, and compromised personal information. This study emphasizes the importance of implementing effective measures to mitigate these threats. It highlights the significance of using strong passwords, encryption methods, and regularly updating software to bolster cyber defenses.


title: A Critical Perceptual Pre-trained Model for Complex Trajectory Recovery

abstract: The trajectory on the road traffic is commonly collected at a low sampling rate, and trajectory recovery aims to recover a complete and continuous trajectory from the sparse and discrete inputs. Recently, sequential language models have been innovatively adopted for trajectory recovery in a pre-trained manner: it learns road segment representation vectors, which will be used in the downstream tasks. However, existing methods are incapable of handling complex trajectories: when the trajectory crosses remote road segments or makes several turns, which we call critical nodes, the quality of learned representations deteriorates, and the recovered trajectories skip the critical nodes. This work is dedicated to offering a more robust trajectory recovery for complex trajectories. Firstly, we define the trajectory complexity based on the detour score and entropy score and construct the complexity-aware semantic graphs correspondingly. Then, we propose a Multi-view Graph and Complexity Aware Transformer (MGCAT) model to encode these semantics in trajectory pre-training from two aspects: 1) adaptively aggregate the multi-view graph features considering trajectory pattern, and 2) higher attention to critical nodes in a complex trajectory. Such that, our MGCAT is perceptual when handling the critical scenario of complex trajectories. Extensive experiments are conducted on large-scale datasets. The results prove that our method learns better representations for trajectory recovery, with 5.22% higher F1-score overall and 8.16% higher F1-score for complex trajectories particularly. The code is available at https://github.com/bonaldli/ComplexTraj.


title: Spectrum of the Laplacian on the Fricke-Macbeath surface

abstract: The Fricke-Macbeath surface is the unique Hurwitz surface of genus 7 with 504 conformal automorphisms. In this paper, we prove that the first eigenvalue of the Laplacian on the Fricke-Macbeath surface has a sevenfold multiplicity and contained in the interval $[1.23, 1.26]$. Further, we numerically identify the 7-dimensional representation of its automorphism group corresponding to the eigenspace associated to the first eigenvalue. We also determine the Dirichlet domain centered at 0 for a Fuchsian group that uniformizes the Fricke-Macbeath surface, identifying the algebraic coordinates for its vertices.


title: The Background Also Matters: Background-Aware Motion-Guided Objects Discovery

abstract: Recent works have shown that objects discovery can largely benefit from the inherent motion information in video data. However, these methods lack a proper background processing, resulting in an over-segmentation of the non-object regions into random segments. This is a critical limitation given the unsupervised setting, where object segments and noise are not distinguishable. To address this limitation we propose BMOD, a Background-aware Motion-guided Objects Discovery method. Concretely, we leverage masks of moving objects extracted from optical flow and design a learning mechanism to extend them to the true foreground composed of both moving and static objects. The background, a complementary concept of the learned foreground class, is then isolated in the object discovery process. This enables a joint learning of the objects discovery task and the object/non-object separation. The conducted experiments on synthetic and real-world datasets show that integrating our background handling with various cutting-edge methods brings each time a considerable improvement. Specifically, we improve the objects discovery performance with a large margin, while establishing a strong baseline for object/non-object separation.


title: Pointwise Data Depth for Univariate and Multivariate Functional Outlier Detection

abstract: Data depth is an efficient tool for robustly summarizing the distribution of functional data and detecting potential magnitude and shape outliers. Commonly used functional data depth notions, such as the modified band depth and extremal depth, are estimated from pointwise depth for each observed functional observation. However, these techniques require calculating one single depth value for each functional observation, which may not be sufficient to characterize the distribution of the functional data and detect potential outliers. This paper presents an innovative approach to make the best use of pointwise depth. We propose using the pointwise depth distribution for magnitude outlier visualization and the correlation between pairwise depth for shape outlier detection. Furthermore, a bootstrap-based testing procedure has been introduced for the correlation to test whether there is any shape outlier. The proposed univariate methods are then extended to bivariate functional data. The performance of the proposed methods is examined and compared to conventional outlier detection techniques by intensive simulation studies. In addition, the developed methods are applied to simulated solar energy datasets from a photovoltaic system. Results revealed that the proposed method offers superior detection performance over conventional techniques. These findings will benefit engineers and practitioners in monitoring photovoltaic systems by detecting unnoticed anomalies and outliers.


title: Irreducible modules for map Heisenberg-Virasoro Lie algebras

abstract: We study irreducible modules for map Heisenberg-Virasoro algebras. In particular, we give a complete classification of irreducible Harish-Chandra modules for map Heisenberg-Virasoro algebras. We will also classify non-weight irreducible modules for map Heisenberg-Virasoro algebras whose restriction on the degree zero part of the universal enveloping algebra of Witt algebra is free of rank 1.


title: Compact Data Structures for Network Telemetry

abstract: Collecting and analyzing of network traffic data (network telemetry) plays a critical role in managing modern networks. Network administrators analyze their traffic to troubleshoot performance and reliability problems, and to detect and block cyberattacks. However, conventional traffic-measurement techniques offer limited visibility into network conditions and rely on offline analysis. Fortunately, network devices such as switches and network interface cards, are increasingly programmable at the packet level, enabling flexible analysis of the traffic in place, as the packets fly by. However, to operate at high speed, these devices have limited memory and computational resources, leading to trade-offs between accuracy and overhead. In response, an exciting research area emerged, bringing ideas from compact data structures and streaming algorithms to bear on important networking telemetry applications and the unique characteristics of high-speed network devices. In this paper, we review the research on compact data structures for network telemetry and discuss promising directions for future research.


title: Invariant measures for stochastic T-monotone parabolic obstacle problems

abstract: This work aims to investigate the existence of ergodic invariant measures and its uniqueness, associated with obstacle problems governed by a T-monotone operator defined on Sobolev spaces and driven by a multiplicative noise in a bounded domain of $\mathbb{R}^d$. First, we verify that the solution of a stochastic obstacle problem defines a Feller-Markov process. Then, we prove the existence of ergodic invariant measures and its uniqueness, under suitablee assumptions. We use \textit{"Krylov-Bogoliubov Theorem"}, where the control of the singularities caused by the obstacle is fundamental.


title: Non-local relativistic $\delta$-shell interactions

abstract: In this paper, new self-adjoint realizations of the Dirac operator in dimension two and three are introduced. It is shown that they may be associated with the formal expression $\mathcal{D}_0+|F\delta_\Sigma\rangle\langle G\delta_\Sigma|$, where $\mathcal{D}_0$ is the free Dirac operator, $F$ and $G$ are matrix valued coefficients, and $\delta_\Sigma$ stands for the single layer distribution supported on a hypersurface $\Sigma$, and that they can be understood as limits of the Dirac operators with scaled non-local potentials. Furthermore, their spectral properties are analysed.


title: A variational Monte Carlo approach to the SU(4) spin-orbital model on the triangular lattice

abstract: Previous investigations have suggested that the simplest spin-orbital model on the simplest frustrated lattice can host a nematic quantum spin-orbital liquid state. Namely, the orbital degeneracy of the SU(4) Kugel-Khomskii (KK) model tends to enhance quantum fluctuations and stabilize a quantum spin-orbital liquid exhibiting stripy features on the triangular lattice, as revealed by the state-of-the-art method of the density matrix renormalization group boosted by Gutzwiller projected wave functions. In this work, using the variational quantum Monte Carlo method, we have studied several spin-orbital liquid states, including a uniform $\pi$ flux state, three stripy states, and a plaquette state, on the $L\times{}L$ torus up to $L=24$. It turns out that one of these stripy states, called the "stripe-II" state, is energetically favored. This ground state breaks the $C_6$ symmetry of the lattice, resulting in a reduced $C_2$ symmetry and doubled unit cells, while preserving the SU(4) spin-orbital rotation symmetry. Such a nematic quantum spin-orbital liquid state can be characterized by a parton Fermi surface (FS) consisting of open orbits in the Brillouin zone, in contrast to the circular FS of the uniform $\pi$-flux state.


title: Assessing the Promise and Pitfalls of ChatGPT for Automated Code Generation

abstract: This paper presents a comprehensive evaluation of the code generation capabilities of ChatGPT, a prominent large language model, compared to human programmers. A novel dataset of 131 code-generation prompts across 5 categories was curated to enable robust analysis. Code solutions were generated by both ChatGPT and humans for all prompts, resulting in 262 code samples. A meticulous manual assessment methodology prioritized evaluating correctness, comprehensibility, and security using 14 established code quality metrics. The key findings reveal ChatGPT's strengths in crafting concise, efficient code with advanced constructs, showcasing strengths in data analysis tasks (93.1% accuracy) but limitations in visual-graphical challenges. Comparative analysis with human code highlights ChatGPT's inclination towards modular design and superior error handling. Additionally, machine learning models effectively distinguished ChatGPT from human code with up to 88% accuracy, suggesting detectable coding style disparities. By providing profound insights into ChatGPT's code generation capabilities and limitations through quantitative metrics and qualitative analysis, this study makes valuable contributions toward advancing AI-based programming assistants. The curated dataset and methodology offer a robust foundation for future research in this nascent domain. All data and codes are available on https://github.com/DSAatUSU/ChatGPT-promises-and-pitfalls.


title: PotholeGuard: A Pothole Detection Approach by Point Cloud Semantic Segmentation

abstract: Pothole detection is crucial for road safety and maintenance, traditionally relying on 2D image segmentation. However, existing 3D Semantic Pothole Segmentation research often overlooks point cloud sparsity, leading to suboptimal local feature capture and segmentation accuracy. Our research presents an innovative point cloud-based pothole segmentation architecture. Our model efficiently identifies hidden features and uses a feedback mechanism to enhance local characteristics, improving feature presentation. We introduce a local relationship learning module to understand local shape relationships, enhancing structural insights. Additionally, we propose a lightweight adaptive structure for refining local point features using the K nearest neighbor algorithm, addressing point cloud density differences and domain selection. Shared MLP Pooling is integrated to learn deep aggregation features, facilitating semantic data exploration and segmentation guidance. Extensive experiments on three public datasets confirm PotholeGuard's superior performance over state-of-the-art methods. Our approach offers a promising solution for robust and accurate 3D pothole segmentation, with applications in road maintenance and safety.


title: An Approach for Multi-Object Tracking with Two-Stage Min-Cost Flow

abstract: The minimum network flow algorithm is widely used in multi-target tracking. However, the majority of the present methods concentrate exclusively on minimizing cost functions whose values may not indicate accurate solutions under occlusions. In this paper, by exploiting the properties of tracklets intersections and low-confidence detections, we develop a two-stage tracking pipeline with an intersection mask that can accurately locate inaccurate tracklets which are corrected in the second stage. Specifically, we employ the minimum network flow algorithm with high-confidence detections as input in the first stage to obtain the candidate tracklets that need correction. Then we leverage the intersection mask to accurately locate the inaccurate parts of candidate tracklets. The second stage utilizes low-confidence detections that may be attributed to occlusions for correcting inaccurate tracklets. This process constructs a graph of nodes in inaccurate tracklets and low-confidence nodes and uses it for the second round of minimum network flow calculation. We perform sufficient experiments on popular MOT benchmark datasets and achieve 78.4 MOTA on the test set of MOT16, 79.2 on MOT17, and 76.4 on MOT20, which shows that the proposed method is effective.


title: Magnetic properties of perovskites Pr$_{0.9}$Sr$_{0.1}$Mn$_{0.9}^{3+}$Mn$_{0.1}^{4+}$O$_{3}$: Monte Carlo simulations and experiments

abstract: This work presents the remarkable experimental magnetocaloric properties of the perovskites Pr$_{0.9}$Sr$_{0.1}$Mn$_{0.9}^{3+}$Mn$_{0.1}^{4+}$O$_{3}$, including the magnetic entropy change $|\Delta S_m|$ and the Relative Cooling Power (RCP). To understand these striking properties, we elaborate in this paper a model and use Monte Carlo (MC) simulations to study it for comparison. For the model, we take into account nearest-neighbor (NN) interactions between magnetic ions Mn$^{3+}$($S=2$) and Mn$^{4+}$($S=3/2$) and the interactions between these Mn ions with the magnetic Pr ions. The crystal is a body-centered tetragonal lattice where the corner sites are occupied by Mn ions and the center sites by Pr and Sr ions in their respective concentrations given in the compound formula. We use an Ising-like spin model. We show that pairwise interactions between ions cannot reproduce the large plateau of the magnetization experimentally observed below the phase-transition temperature. By introducing for the first time a many-spin interaction between Mn ions, we obtain an excellent agreement with experiments. Fitting the experimental Curie temperature $T_C$ with the MC transition temperature, we estimate the value of the effective exchange interaction in the system. From this value, we estimate various exchange interactions between ions: the dominant one is that between Mn$^{3+}$ and Mn$^{4+}$ which is at the origin of the ferromagnetic ordering below $T_C$. We also studied the applied-field effect on the magnetization in the region below and above $T_C$. The obtained MC results for $|\Delta S_m|$ are in agreement with experiments performed for applied fields from 1 to 5 Tesla. MC results of RCP are also shown and compared to experimental ones.


title: Some Results on Random Mixed SAT Problems

abstract: In this short paper we present a survey of some results concerning the random SAT problems. To elaborate, the Boolean Satisfiability (SAT) Problem refers to the problem of determining whether a given set of $m$ Boolean constraints over $n$ variables can be simultaneously satisfied, i.e. all evaluate to $1$ under some interpretation of the variables in $\{ 0,1\}$. If we choose the $m$ constraints i.i.d. uniformly at random among the set of disjunctive clauses of length $k$, then the problem is known as the random $k$-SAT problem. It is conjectured that this problem undergoes a structural phase transition; taking $m=\alpha n$ for $\alpha>0$, it is believed that the probability of there existing a satisfying assignment tends in the large $n$ limit to $1$ if $\alpha<\alpha_\mathrm{sat}(k)$, and to $0$ if $\alpha>\alpha_\mathrm{sat}(k)$, for some critical value $\alpha_\mathrm{sat}(k)$ depending on $k$. We review some of the progress made towards proving this and consider similar conjectures and results for the more general case where the clauses are chosen with varying lengths, i.e. for the so-called random mixed SAT problems.


title: Colocalizing subcategories of singularity categories

abstract: Utilizing previously established results concerning costratification in relative tensor-triangular geometry, we classify the colocalizing subcategories of the singularity category of a locally hypersurface ring and then we generalize this classification to singularity categories of schemes with hypersurface singularities.


title: Flexible uniform-sampling foveated Fourier single-pixel imaging

abstract: Fourier single-pixel imaging (FSI) is a data-efficient single-pixel imaging (SPI). However, there is still a serious challenge to obtain higher imaging quality using fewer measurements, which limits the development of real-time SPI. In this work, a uniform-sampling foveated FSI (UFFSI) is proposed with three features, uniform sampling, effective sampling and flexible fovea, to achieve under-sampling high-efficiency and high-quality SPI, even in a large-scale scene. First, by flexibly using the three proposed foveated pattern structures, data redundancy is reduced significantly to only require high resolution (HR) on regions of interest (ROIs), which radically reduces the need of total data number. Next, by the non-uniform weight distribution processing, non-uniform spatial sampling is transformed into uniform sampling, then the fast Fourier transform is used accurately and directly to obtain under-sampling high imaging quality with further reduced measurements. At a sampling ratio of 0.0084 referring to HR FSI with 1024*768 pixels, experimentally, by UFFSI with 255*341 cells of 89% reduction in data redundancy, the ROI has a significantly better imaging quality to meet imaging needs. We hope this work can provide a breakthrough for future real-time SPI.


title: New Approach for an Affective Computing-Driven Quality of Experience (QoE) Prediction

abstract: In human interactions, emotion recognition is crucial. For this reason, the topic of computer-vision approaches for automatic emotion recognition is currently being extensively researched. Processing multi-channel electroencephalogram (EEG) information is one of the most researched methods for automatic emotion recognition. This paper presents a new model for an affective computing-driven Quality of Experience (QoE) prediction. In order to validate the proposed model, a publicly available dataset is used. The dataset contains EEG, ECG, and respiratory data and is focused on a multimedia QoE assessment context. The EEG data are retained on which the differential entropy and the power spectral density are calculated with an observation window of three seconds. These two features were extracted to train several deep-learning models to investigate the possibility of predicting QoE with five different factors. The performance of these models is compared, and the best model is optimized to improve the results. The best results were obtained with an LSTM-based model, presenting an F1-score from 68% to 78%. An analysis of the model and its features shows that the Delta frequency band is the least necessary, that two electrodes have a higher importance, and that two other electrodes have a very low impact on the model's performances.


title: Drone-Enabled Load Management for Solar Small Cell Networks in Next-Gen Communications Optimization for Solar Small Cells

abstract: In recent years, the cellular industry has witnessed a major evolution in communication technologies. It is evident that the Next Generation of cellular networks(NGN) will play a pivotal role in the acceptance of emerging IoT applications supporting high data rates, better Quality of Service(QoS), and reduced latency. However, the deployment of NGN will introduce a power overhead on the communication infrastructure. Addressing the critical energy constraints in 5G and beyond, this study introduces an innovative load transfer method using drone-carried airborne base stations (BSs) for stable and secure power reallocation within a green micro-grid network. This method effectively manages energy deficit by transferring aerial BSs from high to low-energy cells, depending on user density and the availability of aerial BSs, optimizing power distribution in advanced cellular networks. The complexity of the proposed system is significantly lower as compared to existing power cable transmission systems currently employed in powering the BSs. Furthermore, our proposed algorithm has been shown to reduce BS power outages while requiring a minimum number of drone exchanges. We have conducted a thorough review on real-world dataset to prove the efficacy of our proposed approach to support BS during high load demand times


title: Generative Face Video Coding Techniques and Standardization Efforts: A Review

abstract: Generative Face Video Coding (GFVC) techniques can exploit the compact representation of facial priors and the strong inference capability of deep generative models, achieving high-quality face video communication in ultra-low bandwidth scenarios. This paper conducts a comprehensive survey on the recent advances of the GFVC techniques and standardization efforts, which could be applicable to ultra low bitrate communication, user-specified animation/filtering and metaverse-related functionalities. In particular, we generalize GFVC systems within one coding framework and summarize different GFVC algorithms with their corresponding visual representations. Moreover, we review the GFVC standardization activities that are specified with supplemental enhancement information messages. Finally, we discuss fundamental challenges and broad applications on GFVC techniques and their standardization potentials, as well as envision their future trends. The project page can be found at https://github.com/Berlin0610/Awesome-Generative-Face-Video-Coding.


title: Ephemeral Rollups are All you Need

abstract: In the realm of open and composable gaming, we envision platforms where users actively expand, create, engage, and immerse themselves in a rich world of entertainment. One promising avenue for achieving this vision is through fully on-chain (FOC) games, where both game state and logic reside on the blockchain, maximizing composability. However, we must grapple with inherent limitations and trade-offs, particularly in terms of costs and scalability. This paper proposes a framework that leverages the Solana Virtual Machine (SVM) to scale FOC games without state fragmentation or compromised trust assumptions. The framework introduces a systematic approach for discovering, utilizing, and publishing modular pieces of logic as components deeply rooted in the Entity-Component-System (ECS) pattern. To enhance scalability and resource optimization, we introduce the concept of Ephemeral Rollups (ERs) that overcome the tradeoffs of L2s horizontal scaling. These dedicated runtimes can be customized to provide higher operational speed, configurable ticking mechanisms, provable sessions and gasless transactions without composability-scalability tradeoffs.


title: Compute at Scale: A Broad Investigation into the Data Center Industry

abstract: This report characterizes the data center industry and its importance for AI development. Data centers are industrial facilities that efficiently provide compute at scale and thus constitute the engine rooms of today's digital economy. As large-scale AI training and inference become increasingly computationally expensive, they are dominantly executed from this designated infrastructure. Key features of data centers include large-scale compute clusters that require extensive cooling and consume large amounts of power, the need for fast connectivity both within the data center and to the internet, and an emphasis on security and reliability. The global industry is valued at approximately $250B and is expected to double over the next seven years. There are likely about 500 large (above 10 MW) data centers globally, with the US, Europe, and China constituting the most important markets. The report further covers important actors, business models, main inputs, and typical locations of data centers.


title: Reaction-diffusion equations in mathematical models arising in epidemiology

abstract: The review is devoted to analysis of mathematical models used for describing epidemic processes. A main focus is done on the models that are based on partial differential equations (PDEs), especially those that were developed and used for the COVID-19 pandemic modelling. Our attention is paid preferable to the studies in which not only results of numerical simulations are presented but analytical results as well. In particular, travelling fronts (waves), exact solutions, estimation of key epidemic parameters of the epidemic models with governing PDEs (typically reaction-diffusion equations) are discussed. The review may serve as a valuable source for researchers and practitioners in the field of mathematical modelling in epidemiology.


title: One- and two-argument equation of state parametrizations with continuous sound speed for neutron star simulations

abstract: We describe two fitting schemes that aim to represent the high-density part of realistic equations of state for numerical simulations such as neutron star oscillations. The low-density part of the equation of state is represented by an arbitrary polytropic crust, and we propose a generic procedure to stitch any desired crust to the high-density fit, which is performed on the internal energy, pressure and sound speed of barotropic equations of state that describe cold neutron stars in $\beta$-equilibrium. An extension of the fitting schemes to equations of state with an additional compositional argument is proposed. In particular we develop a formalism that ensures the existence of a $\beta$-equilibrium at low densities. An additional feature of this low-density model is that it can be, in principle, applied to any parametrization. The performance of the fits is checked on mass, radius and tidal deformability as well as on the dynamical radial oscillation frequencies. To that end, we use a pseudospectral isolated neutron star evolution code based on a non-conservative form of the hydrodynamical equations. A comparison to existing parametrizations is proposed, as far as possible, and to published radial frequency values in the literature. The static and dynamic quantities are well reproduced by the fitting schemes. Our results suggest that, even though the radius is very sensitive to the choice of the crust, this choice has little influence on the oscillation frequencies of a neutron star.


title: Molecular dynamics simulation analysis of structural dynamic cross correlation induced by odorant hydrogen-bonding in mouse eugenol olfactory receptor

abstract: Structural fluctuations and dynamic cross-correlations in the mouse eugenol olfactory receptor (Olfr73) were studied by molecular dynamics (MD) simulation to characterize the dynamic response of the protein upon ligand binding. The initial structure was generated by the artificial intelligence tool AlfaFold2 due to the current lack of experimental data. We focused on the hydrogen (H) bond of the odorant eugenol to Ser113, Asn207, and Tyr260 of the receptor protein, the importance of which has been suggested by previous experimental studies. The H-bond was not observed in docking simulations, but in subsequent MD simulations the H-bond to Ser113 was formed in 2--4 ns. The lifetime of the H-bond was in the range of 1--20 ns. On the trajectory with the most stable (20 ns) H-bond, the structural fluctuation of the $\alpha$-carbon atoms of the receptor main chain was studied by calculating the root mean square fluctuations, the dynamic cross-correlation map, and the time-dependent dynamic cross-correlation. The analysis suggested a correlation transfer pathway Ser113 $\to$ Phe182 $\to$ (Leu259 or Tyr260) $\to$ Tyr291 induced by the ligand binding with a time scale of 4--6 ns.


title: Second-Order Regular Variation and Second-Order Approximation of Hawkes Processes

abstract: This paper provides and extends second-order versions of several fundamental theorems on first-order regularly varying functions such as Karamata's theorem/representation and Tauberian's theorem. Our results are used to establish second-order approximations for the mean and variance of Hawkes processes with general kernels. Our approximations provide novel insights into the asymptotic behavior of Hawkes processes. They are also of key importance when establishing functional limit theorems for Hawkes processes.


title: Region of Interest (ROI) based adaptive cross-layer system for real-time video streaming over Vehicular Ad-hoc NETworks (VANETs)

abstract: Nowadays, real-time vehicle applications increasingly rely on video acquisition and processing to detect or even identify vehicles and obstacles in the driving environment. In this letter, we propose an algorithm that allows reinforcing these operations by improving end-to-end video transmission quality in a vehicular context. The proposed low complexity solution gives highest priority to the scene regions of interest (ROI) on which the perception of the driving environment is based on. This is done by applying an adaptive cross-layer mapping of the ROI visual data packets at the IEEE 802.11p MAC layer. Realistic VANET simulation results demonstrate that for HEVC compressed video communications, the proposed system offers PSNR gains up to 11dB on the ROI part.


title: GSC: Generalizable Service Coordination

abstract: Services with distributed and interdependent components are becoming a popular option for harnessing dispersed resources available on cloud and edge networks. However, effective deployment and management of these services, namely service coordination, is a challenging task. Service coordination comprises the placement and scalability of components and scheduling incoming traffic requesting for services between deployed instances. Due to the online nature of the problem and the success of Deep Reinforcement Learning (DRL) methods, previous works considered DRL agents for solving service coordination problems, yet these solutions have to be retrained for every unseen scenario. Other works have tried to tackle this shortcoming by incorporating Graph Neural Networks (GNN) into their solutions, but they often focus on specific aspects (and disregard others) or cannot operate in dynamic and practical situations where there is no labeled dataset and feedback from the network might be delayed. In response to these challenges, we present GSC, a generalizable service coordinator that jointly considers service placement, scaling, and traffic scheduling. GSC can operate in unseen situations without significant performance degradation and outperforms existing state-of-the-art solutions by 40%, as determined by simulating real-world network situations.


title: Nonparametric Estimation and Comparison of Distance Distributions from Censored Data

abstract: Transportation distance information is a powerful resource, but location records are often censored due to privacy concerns or regulatory mandates. We outline methods to approximate, sample from, and compare distributions of distances between censored location pairs, a task with applications to public health informatics, logistics, and more. We validate empirically via simulation and demonstrate applicability to practical geospatial data analysis tasks.


title: Patterned non-determinism in communication complexity

abstract: We define and study the model of patterned non-determinism in bipartite communication complexity, denoted by $PNP^{X\leftrightarrow Y}$. It generalises the known models $UP^{X\leftrightarrow Y}$ and $FewP^{X\leftrightarrow Y}$ through relaxing the constraints on the witnessing structure of the underlying $NP^{X\leftrightarrow Y}$-protocol. It is shown that for the case of total functions $PNP^{X\leftrightarrow Y}$ equals $P^{X\leftrightarrow Y}$ (similarly to $UP^{X\leftrightarrow Y}$ and $FewP^{X\leftrightarrow Y}$). Moreover, the corresponding exhaustive witness-searching problem -- determining the full set of witnesses that lead to the acceptance of a given input pair -- also has an efficient deterministic protocol. The possibility of efficient exhaustive $PNP^{X\leftrightarrow Y}$-search is used to analyse certain three-party communication regime (under the "number in hand" input partition): The corresponding three-party model is shown to be as strong qualitatively as the weakest among its two-party amplifications obtained by allowing free communication between a pair of players.


title: LLM-enhanced Self-training for Cross-domain Constituency Parsing

abstract: Self-training has proven to be an effective approach for cross-domain tasks, and in this study, we explore its application to cross-domain constituency parsing. Traditional self-training methods rely on limited and potentially low-quality raw corpora. To overcome this limitation, we propose enhancing self-training with the large language model (LLM) to generate domain-specific raw corpora iteratively. For the constituency parsing, we introduce grammar rules that guide the LLM in generating raw corpora and establish criteria for selecting pseudo instances. Our experimental results demonstrate that self-training for constituency parsing, equipped with an LLM, outperforms traditional methods regardless of the LLM's performance. Moreover, the combination of grammar rules and confidence criteria for pseudo-data selection yields the highest performance in the cross-domain constituency parsing.


title: CCMR: High Resolution Optical Flow Estimation via Coarse-to-Fine Context-Guided Motion Reasoning

abstract: Attention-based motion aggregation concepts have recently shown their usefulness in optical flow estimation, in particular when it comes to handling occluded regions. However, due to their complexity, such concepts have been mainly restricted to coarse-resolution single-scale approaches that fail to provide the detailed outcome of high-resolution multi-scale networks. In this paper, we hence propose CCMR: a high-resolution coarse-to-fine approach that leverages attention-based motion grouping concepts to multi-scale optical flow estimation. CCMR relies on a hierarchical two-step attention-based context-motion grouping strategy that first computes global multi-scale context features and then uses them to guide the actual motion grouping. As we iterate both steps over all coarse-to-fine scales, we adapt cross covariance image transformers to allow for an efficient realization while maintaining scale-dependent properties. Experiments and ablations demonstrate that our efforts of combining multi-scale and attention-based concepts pay off. By providing highly detailed flow fields with strong improvements in both occluded and non-occluded regions, our CCMR approach not only outperforms both the corresponding single-scale attention-based and multi-scale attention-free baselines by up to 23.0% and 21.6%, respectively, it also achieves state-of-the-art results, ranking first on KITTI 2015 and second on MPI Sintel Clean and Final. Code and trained models are available at https://github.com/cv-stuttgart /CCMR.


title: An Open Dataset Storage Standard for 6G Testbeds

abstract: The emergence of sixth-generation (6G) networks has spurred the development of novel testbeds, including sub-THz networks, cell-free systems, and 6G simulators. To maximize the benefits of these systems, it is crucial to make the generated data publicly available and easily reusable by others. Although data sharing has become a common practice, a lack of standardization hinders data accessibility and interoperability. In this study, we propose the Dataset Storage Standard (DSS) to address these challenges by facilitating data exchange and enabling convenient processing script creation in a testbed-agnostic manner. DSS supports both experimental and simulated data, allowing researchers to employ the same processing scripts and tools across different datasets. Unlike existing standardization efforts such as SigMF and NI RF Data Recording API, DSS provides a broader scope by accommodating a common definition file for testbeds and is not limited to RF data storage. The dataset format utilizes a hierarchical structure, with a tensor representation for specific experiment scenarios. In summary, DSS offers a comprehensive and flexible framework for enhancing the FAIR principles (Findability, Accessibility, Interoperability, and Reusability) in 6G testbeds, promoting open and efficient data sharing in the research community.


title: Towards finite element exterior calculus on manifolds: commuting projections, geometric variational crimes, and approximation errors

abstract: We survey recent contributions to finite element exterior calculus on manifolds and surfaces within a comprehensive formalism for the error analysis of vector-valued partial differential equations on manifolds. Our primary focus is on uniformly bounded commuting projections on manifolds: these projections map from Sobolev de Rham complexes onto finite element de Rham complexes, commute with the differential operators, and satisfy uniform bounds in Lebesgue norms. They enable the Galerkin theory of Hilbert complexes for a large range of intrinsic finite element methods on manifolds. However, these intrinsic finite element methods are generally not computable and thus primarily of theoretical interest. This leads to our second point: estimating the geometric variational crime incurred by transitioning to computable approximate problems. Lastly, our third point addresses how to estimate the approximation error of the intrinsic finite element method in terms of the mesh size. If the solution is not continuous, then such an estimate is achieved via modified Cl\'ement or Scott-Zhang interpolants that facilitate a broken Bramble--Hilbert lemma.


title: Enhanced adaptive cross-layer scheme for low latency HEVC streaming over Vehicular Ad-hoc Networks (VANETs)

abstract: Vehicular communication has become a reality guided by various applications. Among those, high video quality delivery with low latency constraints required by real-time applications constitutes a very challenging task. By dint of its never-before-achieved compression level, the new High-Efficiency Video Coding (HEVC) is very promising for real-time video streaming through Vehicular Ad-hoc Networks (VANET). However, these networks have variable channel quality and limited bandwidth. Therefore, ensuring satisfactory video quality on such networks is a major challenge. In this work, a low complexity cross-layer mechanism is proposed to improve end-to-end performances of HEVC video streaming in VANET under low delay constraints. The idea is to assign to each packet of the transmitted video the most appropriate Access Category (AC) queue on the Medium Access Control (MAC) layer, considering the temporal prediction structure of the video encoding process, the importance of the frame and the state of the network traffic load. Simulation results demonstrate that for different targeted low-delay video communication scenarios, the proposed mechanism offers significant improvements regarding video quality at the reception and end-to-end delay compared to the Enhanced Distributed Channel Access (EDCA) adopted in the 802.11p. Both Quality of Service (QoS) and Quality of Experience (QoE) evaluations have been also carried out to validate the proposed approach.


title: Digital Typhoon: Long-term Satellite Image Dataset for the Spatio-Temporal Modeling of Tropical Cyclones

abstract: This paper presents the official release of the Digital Typhoon dataset, the longest typhoon satellite image dataset for 40+ years aimed at benchmarking machine learning models for long-term spatio-temporal data. To build the dataset, we developed a workflow to create an infrared typhoon-centered image for cropping using Lambert azimuthal equal-area projection referring to the best track data. We also address data quality issues such as inter-satellite calibration to create a homogeneous dataset. To take advantage of the dataset, we organized machine learning tasks by the types and targets of inference, with other tasks for meteorological analysis, societal impact, and climate change. The benchmarking results on the analysis, forecasting, and reanalysis for the intensity suggest that the dataset is challenging for recent deep learning models, due to many choices that affect the performance of various models. This dataset reduces the barrier for machine learning researchers to meet large-scale real-world events called tropical cyclones and develop machine learning models that may contribute to advancing scientific knowledge on tropical cyclones as well as solving societal and sustainability issues such as disaster reduction and climate change. The dataset is publicly available at http://agora.ex.nii.ac.jp/digital-typhoon/dataset/ and https://github.com/kitamoto-lab/digital-typhoon/.


title: A wide class of examples of pretorsion theories and related remarks

abstract: In this paper we construct a wide class of examples of \emph{pretorsion theories} in the sense of A. Facchini, C. Finocchiaro, and M. Gran. Given a category $\mathbb{C}$ with a terminal object $1$ and a category $\mathbb{D}$ with an initial object $0$, we show that $(\mathbb{C}\times \mathbf{0},\mathbf{1}\times\mathbb{D})$ is a pretorsion theory in $\mathbb{C}\times\mathbb{D}$ if and only if each morphism $0\to C$ in $\mathbb{C}$ is a monomorphism, and each morphism $D\to 1$ in $\mathbb{D}$ is an epimorphism. Here $\mathbf{0}$ denotes the set of initial objects in $\mathbb{D}$ and $\mathbf{1}$ denotes the set of terminal objects in $\mathbb{C}$. We then remark that the result generalised to products of arbitrary pretorsion theories.


title: Race Against the Machine: a Fully-annotated, Open-design Dataset of Autonomous and Piloted High-speed Flight

abstract: Unmanned aerial vehicles, and multi-rotors in particular, can now perform dexterous tasks in impervious environments, from infrastructure monitoring to emergency deliveries. Autonomous drone racing has emerged as an ideal benchmark to develop and evaluate these capabilities. Its challenges include accurate and robust visual-inertial odometry during aggressive maneuvers, complex aerodynamics, and constrained computational resources. As researchers increasingly channel their efforts into it, they also need the tools to timely and equitably compare their results and advances. With this dataset, we want to (i) support the development of new methods and (ii) establish quantitative comparisons for approaches originating from the broader robotics and artificial intelligence communities. We want to provide a one-stop resource that is comprehensive of (i) aggressive autonomous and piloted flight, (ii) high-resolution, high-frequency visual, inertial, and motion capture data, (iii) commands and control inputs, (iv) multiple light settings, and (v) corner-level labeling of drone racing gates. We also release the complete specifications to recreate our flight platform, using commercial off-the-shelf components and the open-source flight controller Betaflight, to democratize drone racing research. Our dataset, open-source scripts, and drone design are available at: https://github.com/tii-racing/drone-racing-dataset


title: Control of convertible UAV with vectorized thrust

abstract: This paper is an addition to an article previously published by three of the authors that addresses the control of convertible fixed-wing aircraft with vectorized thrust. The control solution here developed extends the one presented in the former paper by complementing it with a strategy for the hovering flight and a control policy to handle the transition phase between low and high airspeed. An estimator of the air velocity required in all flight phases is also proposed. Realistic simulation results on a tri-tilt rotor Unmanned Aerial Vehicle (UAV) illustrate and assess the methodology.


title: Light baryon spatial correlators at short distances

abstract: To study the light baryon light-cone distribution amplitudes (LCDAs), the spatial correlator of the light baryon has been calculated up to one-loop order in coordinate space. They reveal certain identities that do not appear in the study of mesons DAs and PDFs. Subsequently, it was renormalized using the ratio renormalization scheme involving division by a 0-momentum matrix element. Then through the matching in the coordinate space, the light baryon light-cone correlator can be extracted out from the spatial correlator. %By choosing a specific type of spatial correlator for light baryons, the LCDA is determined from first principles. These results provide insights into both the ultraviolet (UV) and infrared (IR) structures of the light baryon spatial correlator, which is valuable for further exploration in this field. Furthermore, the employed ratio scheme is an efficient and lattice-friendly renormalization approach suitable for short-distance applications. These can be used for studying the light baryon LCDAs using lattice techniques.


title: Rotating wave approximation and renormalized perturbation theory

abstract: The rotating wave approximation (RWA) plays a central role in the quantum dynamics of two-level systems. We derive corrections to the RWA using the renormalization group approach to asymptotic analysis. We study both the Rabi and Jaynes-Cummings models and compare our analytical results with numerical calculations.