title: i-Octree: A Fast, Lightweight, and Dynamic Octree for Proximity Search

abstract: Establishing the correspondences between newly acquired points and historically accumulated data (i.e., map) through nearest neighbors search is crucial in numerous robotic applications. However, static tree data structures are inadequate to handle large and dynamically growing maps in real-time. To address this issue, we present the i-Octree, a dynamic octree data structure that supports both fast nearest neighbor search and real-time dynamic updates, such as point insertion, deletion, and on-tree down-sampling. The i-Octree is built upon a leaf-based octree and has two key features: a local spatially continuous storing strategy that allows for fast access to points while minimizing memory usage, and local on-tree updates that significantly reduce computation time compared to existing static or dynamic tree structures. The experiments show that i-Octree outperforms contemporary state-of-the-art approaches by achieving, on average, a 19% reduction in runtime on realworld open datasets.


title: How to Handle Different Types of Out-of-Distribution Scenarios in Computational Argumentation? A Comprehensive and Fine-Grained Field Study

abstract: The advent of pre-trained Language Models (LMs) has markedly advanced natural language processing, but their efficacy in out-of-distribution (OOD) scenarios remains a significant challenge. Computational argumentation (CA), modeling human argumentation processes, is a field notably impacted by these challenges because complex annotation schemes and high annotation costs naturally lead to resources barely covering the multiplicity of available text sources and topics. Due to this data scarcity, generalization to data from uncovered covariant distributions is a common challenge for CA tasks like stance detection or argument classification. This work systematically assesses LMs' capabilities for such OOD scenarios. While previous work targets specific OOD types like topic shifts or OOD uniformly, we address three prevalent OOD scenarios in CA: topic shift, domain shift, and language shift. Our findings challenge the previously asserted general superiority of in-context learning (ICL) for OOD. We find that the efficacy of such learning paradigms varies with the type of OOD. Specifically, while ICL excels for domain shifts, prompt-based fine-tuning surpasses for topic shifts. To sum up, we navigate the heterogeneity of OOD scenarios in CA and empirically underscore the potential of base-sized LMs in overcoming these challenges.


title: Investigation of mmWave Radar Technology For Non-contact Vital Sign Monitoring

abstract: Non-contact vital sign monitoring has many advantages over conventional methods in being comfortable, unobtrusive and without any risk of spreading infection. The use of millimeter-wave (mmWave) radars is one of the most promising approaches that enable contact-less monitoring of vital signs. Novel low-power implementations of this technology promise to enable vital sign sensing in embedded, battery-operated devices. The nature of these new low-power sensors exacerbates the challenges of accurate and robust vital sign monitoring and especially the problem of heart-rate tracking. This work focuses on the investigation and characterization of three Frequency Modulated Continuous Wave (FMCW) low-power radars with different carrier frequencies of 24 GHz, 60 GHz and 120 GHz. The evaluation platforms were first tested on phantom models that emulated human bodies to accurately evaluate the baseline noise, error in range estimation, and error in displacement estimation. Additionally, the systems were also used to collect data from three human subjects to gauge the feasibility of identifying heartbeat peaks and breathing peaks with simple and lightweight algorithms that could potentially run in low-power embedded processors. The investigation revealed that the 24 GHz radar has the highest baseline noise level, 0.04mm at 0{\deg} angle of incidence, and an error in range estimation of 3.45 +- 1.88 cm at a distance of 60 cm. At the same distance, the 60 GHz and the 120 GHz radar system shows the least noise level, 0.0lmm at 0{\deg} angle of incidence, and error in range estimation 0.64 +- 0.01 cm and 0.04 +- 0.0 cm respectively. Additionally, tests on humans showed that all three radar systems were able to identify heart and breathing activity but the 120 GHz radar system outperformed the other two.


title: Octave-spanning supercontinuum generation in a CMOS-compatible thin Si3N4 waveguide coated with highly nonlinear TeO2

abstract: Supercontinuum generation (SCG) is an important nonlinear optical process enabling broadband light sources for many applications, for which silicon nitride(Si3N4) has emerged as a leading on-chip platform.To achieve suitable group velocity dispersion and high confinement for broadband SCG the Si3N4 waveguide layer used is typically thick (>~700 nm), which can lead to high stress and cracks unless specialized processing steps are used. Here, we report on efficient octave spanning SCG in a thinner moderate-confinement 400-nm Si3N4 platform using a highly nonlinear tellurium oxide (TeO2) coating. An octave-spanning supercontinuum is achieved at a low peak power of 258 W using a 100-fs laser centered at 1565 nm. Our numerical simulations agree well with the experimental results showing an increase of waveguide's nonlinear parameter by a factor of 2.5 when coating the Si3N4 waveguide with TeO2 film. This work demonstrates highly efficient SCG via effective dispersion engineering and an enhanced nonlinearity in a CMOS-compatible hybrid TeO2-Si3N4 waveguides and a promising route to monolithically integrated nonlinear, linear, and active functionalities on a single silicon photonic chip.


title: Polynomial functions for locally compact group actions

abstract: Consider a locally compact group $G$ and a locally compact space $X$. A local right action of $G$ on $X$ is a continuous map $(x,p)\mapsto x\cdot p$ from an open subset $\Gamma$ of the Cartesian product $X\times G$ to $X$ satisfying certain obvious properties. A global right action of $G$ on $X$ gives rise to a global left action of $G$ on the space $C_c(X)$ of continuous complex functions with compact support in $X$ by the formula $p\,\cdot f:x\mapsto f(x\cdot p)$. In the case of a local action, one still can define $p\,\cdot f$ in $C_c(X)$ by this formula for $f\in C_c(X)$ and $p$ in a neighborhood $V_f$ of the identity in $G$. This yields a local left action of $G$ on $C_c(X)$. Given a local right action of $G$ on $X$, a function $f\in C_c(X)$ is called polynomial if there is a neighborhood $V$ of the identity, contained in $V_f$, and a finite-dimensional subspace $F$ of $C_c(X)$ containing all the functions $v\cdot f$ for $v\in V$. In this paper we study such polynomial functions. If $G$ acts on itself by multiplication, we are also interested in the local actions obtained by restricting it to an open subset of $G$. This is the typical situation that is encountered in our paper on bicrossproducts of groups with a compact open subgroup. In fact, the need for a better understanding of polynomial functions for that case has led us to develop the theory in general here.


title: Diff-SV: A Unified Hierarchical Framework for Noise-Robust Speaker Verification Using Score-Based Diffusion Probabilistic Models

abstract: Background noise considerably reduces the accuracy and reliability of speaker verification (SV) systems. These challenges can be addressed using a speech enhancement system as a front-end module. Recently, diffusion probabilistic models (DPMs) have exhibited remarkable noise-compensation capabilities in the speech enhancement domain. Building on this success, we propose Diff-SV, a noise-robust SV framework that leverages DPM. Diff-SV unifies a DPM-based speech enhancement system with a speaker embedding extractor, and yields a discriminative and noise-tolerable speaker representation through a hierarchical structure. The proposed model was evaluated under both in-domain and out-of-domain noisy conditions using the VoxCeleb1 test set, an external noise source, and the VOiCES corpus. The obtained experimental results demonstrate that Diff-SV achieves state-of-the-art performance, outperforming recently proposed noise-robust SV systems.


title: Reset thresholds of transformation monoids

abstract: Motivated by the \v{C}ern\'y conjecture for automata, we introduce the concept of monoidal automata, which allows the formulation of the \v{C}ern\'y conjecture for monoids. We show upper bounds on the reset threshold of monoids with certain properties. In particular, we obtain a quadratic upper bound if the transformation monoid contains a primitive group of permutations and a singular of maximal rank with only one point of contraction.


title: Uncertainty-bounded Active Monitoring of Unknown Dynamic Targets in Road-networks with Minimum Fleet

abstract: Fleets of unmanned robots can be beneficial for the long-term monitoring of large areas, e.g., to monitor wild flocks, detect intruders, search and rescue. Monitoring numerous dynamic targets in a collaborative and efficient way is a challenging problem that requires online coordination and information fusion. The majority of existing works either assume a passive all-to-all observation model to minimize the summed uncertainties over all targets by all robots, or optimize over the jointed discrete actions while neglecting the dynamic constraints of the robots and unknown behaviors of the targets. This work proposes an online task and motion coordination algorithm that ensures an explicitly-bounded estimation uncertainty for the target states, while minimizing the average number of active robots. The robots have a limited-range perception to actively track a limited number of targets simultaneously, of which their future control decisions are all unknown. It includes: (i) the assignment of monitoring tasks, modeled as a flexible size multiple vehicle routing problem with time windows (m-MVRPTW), given the predicted target trajectories with uncertainty measure in the road-networks; (ii) the nonlinear model predictive control (NMPC) for optimizing the robot trajectories under uncertainty and safety constraints. It is shown that the robots can switch between active and inactive roles dynamically online as required by the unknown monitoring task. The proposed methods are validated via large-scale simulations of up to $100$ robots and targets.


title: MLP Based Continuous Gait Recognition of a Powered Ankle Prosthesis with Serial Elastic Actuator

abstract: Powered ankle prostheses effectively assist people with lower limb amputation to perform daily activities. High performance prostheses with adjustable compliance and capability to predict and implement amputee's intent are crucial for them to be comparable to or better than a real limb. However, current designs fail to provide simple yet effective compliance of the joint with full potential of modification, and lack accurate gait prediction method in real time. This paper proposes an innovative design of powered ankle prosthesis with serial elastic actuator (SEA), and puts forward a MLP based gait recognition method that can accurately and continuously predict more gait parameters for motion sensing and control. The prosthesis mimics biological joint with similar weight, torque, and power which can assist walking of up to 4 m/s. A new design of planar torsional spring is proposed for the SEA, which has better stiffness, endurance, and potential of modification than current designs. The gait recognition system simultaneously generates locomotive speed, gait phase, ankle angle and angular velocity only utilizing signals of single IMU, holding advantage in continuity, adaptability for speed range, accuracy, and capability of multi-functions.


title: Object-oriented mapping in dynamic environments

abstract: Grid maps, especially occupancy grid maps, are ubiquitous in many mobile robot applications. To simplify the process of learning the map, grid maps subdivide the world into a grid of cells, whose occupancies are independently estimated using only measurements in the perceptual field of the particular cell. However, the world consists of objects that span multiple cells, which means that measurements falling onto a cell provide evidence on the occupancy of other cells belonging to the same object. This correlation is not captured by current models. In this work, we present a way to generalize the update of grid maps relaxing the assumption of independence by modeling the relationship between the measurements and the occupancy of each cell as a set of latent variables, and jointly estimating those variables and the posterior of the map. Additionally, we propose a method to estimate the latent variables by clustering based on semantic labels and an extension to the Normal Distributions Transfer Occupancy Map (NDT-OM) to facilitate the proposed map update method. We perform comprehensive experiments of map creation and localization with real world data sets, and show that the proposed method creates better maps in highly dynamic environments compared to state-of-the-art methods. Finally, we demonstrate the ability of the proposed method to remove occluded objects from the map in a lifelong map update scenario.


title: Distributional Inclusion Hypothesis and Quantifications: Probing for Hypernymy in Functional Distributional Semantics

abstract: Functional Distributional Semantics (FDS) models the meaning of words by truth-conditional functions. This provides a natural representation for hypernymy but no guarantee that it can be learnt when FDS models are trained on a corpus. In this paper, we probe into FDS models and study the representations learnt, drawing connections between quantifications, the Distributional Inclusion Hypothesis (DIH), and the variational-autoencoding objective of FDS model training. Using synthetic data sets, we reveal that FDS models learn hypernymy on a restricted class of corpus that strictly follows the DIH. We further introduce a training objective that both enables hypernymy learning under the reverse of the DIH and improves hypernymy detection from real corpora.


title: Crystal Structure of Upper Cluster Algebras

abstract: We describe the upper seminormal crystal structure for the $\mu$-supported $\delta$-vectors for any quiver with potential with reachable frozen vertices, or equivalently for the tropical points of the corresponding cluster $\mc{X}$-variety. We show that the crystal structure can be algebraically lifted to the generic basis of the upper cluster algebra. This can be viewed as an additive categorification of the crystal structure arising from cluster algebras. We introduce the biperfect bases and the strong biperfect bases in the cluster algebra setting and give a description of all (strong) biperfect bases, which are parametrized by lattice points in a product of explicit polyhedral sets. We illustrate this theory from classical examples and new examples.


title: Forbidden Tournaments and the Orientation Completion Problem

abstract: For a fixed finite set of finite tournaments ${\mathcal F}$, the ${\mathcal F}$-free orientation problem asks whether a given finite undirected graph $G$ has an $\mathcal F$-free orientation, i.e., whether the edges of $G$ can be oriented so that the resulting digraph does not embed any of the tournaments from ${\mathcal F}$. We prove that for every ${\mathcal F}$, this problem is in P or NP-complete. Our proof reduces the classification task to a complete complexity classification of the orientation completion problem for ${\mathcal F}$, which is the variant of the problem above where the input is a directed graph instead of an undirected graph, introduced by Bang-Jensen, Huang, and Zhu (2017). Our proof uses results from the theory of constraint satisfaction, and a result of Agarwal and Kompatscher (2018) about infinite permutation groups and transformation monoids.


title: Topological Rigidity of the Dynamic Asymptotic Dimension

abstract: We show for a free action of a countable group $\Gamma$ on a finite-dimensional, compact metric space by homeomorphisms that the dynamic asymptotic dimension is either infinite or coincides with the asymptotic dimension of $\Gamma$.


title: Chern-Simons Modified-RPA Eliashberg Theory of the nu=1/2+1/2 Quantum Hall Bilayer

abstract: The nu=1/2+1/2 quantum Hall bilayer has been previsously modeled using Chern-Simons-RPA-Eliashberg (CSRPAE) theory to describe pairing between the two layers. However, these approaches are troubled by a number of divergences and ambiguities. By using a "modified" RPA approximation to account for mass renormalization, we can work in a limit where the cyclotron frequency is taken to infinity, effectively projecting to a single Landau level. This, surprisingly, controls the important divergences and removes ambiguities found in prior attempts at CSRPAE. Examining BCS pairing of composite fermions we find that the angular momentum channel l=+1 dominates for all distances d between layers and at all frequency scales. Examining BCS pairing of composite fermion electrons in one layer with composite fermion holes in the opposite layer, we find the l=0 pairing channel dominates for all d and all frequencies. The strength of the pairing in these two different descriptions of the same phase of matter is found to be almost identical. This agrees well with our understanding that these are two different but dual descriptions of the same phase of matter.


title: Categorical resolutions of filtered schemes

abstract: We give an alternative proof of the theorem by Kuznetsov and Lunts stating that any separated scheme of finite type over a field of characteristic zero admits a categorical resolution of singularities. Their construction makes use of the fact that every variety (over a field of characteristic zero) can be resolved by a finite sequence of blow-ups along smooth centres. We merely require the existence of (projective) resolutions. To accomplish this we put the $\mathcal{A}$-spaces of Kuznetsov and Lunts in a different light, viewing them instead as schemes endowed with finite filtrations. The categorical resolution is then constructed by gluing together differential graded categories obtained from a hypercube of finite length filtered schemes.


title: Zariski dense discontinuous surface groups for reductive symmetric spaces

abstract: Let $G/H$ be a homogeneous space of reductive type with non-compact $H$. The study of deformations of discontinuous groups for $G/H$ was initiated by T.~Kobayashi. In this paper, we show that a standard discontinuous group $\Gamma$ admits a non-standard small deformation as a discontinuous group for $G/H$ if $\Gamma$ is isomorphic to a surface group of high genus and its Zariski closure is locally isomorphic to $SL(2,\mathbb{R})$. Furthermore, we also prove that if $G/H$ is a symmetric space and admits some non virtually abelian discontinuous groups, then $G$ contains a Zariski-dense discrete surface subgroup of high genus acting properly discontinuously on $G/H$. As a key part of our proofs, we show that for a discrete surface subgroup $\Gamma$ of high genus contained in a reductive group $G$, if the Zariski closure of $\Gamma$ is locally isomorphic to $SL(2,\mathbb{R})$, then $\Gamma$ admits a small deformation in $G$ whose Zariski closure is a reductive subgroup of the same real rank as $G$.


title: Estimation of Counterfactual Interventions under Uncertainties

abstract: Counterfactual analysis is intuitively performed by humans on a daily basis eg. "What should I have done differently to get the loan approved?". Such counterfactual questions also steer the formulation of scientific hypotheses. More formally it provides insights about potential improvements of a system by inferring the effects of hypothetical interventions into a past observation of the system's behaviour which plays a prominent role in a variety of industrial applications. Due to the hypothetical nature of such analysis, counterfactual distributions are inherently ambiguous. This ambiguity is particularly challenging in continuous settings in which a continuum of explanations exist for the same observation. In this paper, we address this problem by following a hierarchical Bayesian approach which explicitly models such uncertainty. In particular, we derive counterfactual distributions for a Bayesian Warped Gaussian Process thereby allowing for non-Gaussian distributions and non-additive noise. We illustrate the properties our approach on a synthetic and on a semi-synthetic example and show its performance when used within an algorithmic recourse downstream task.


title: Let's Predict Who Will Move to a New Job

abstract: Any company's human resources department faces the challenge of predicting whether an applicant will search for a new job or stay with the company. In this paper, we discuss how machine learning (ML) is used to predict who will move to a new job. First, the data is pre-processed into a suitable format for ML models. To deal with categorical features, data encoding is applied and several MLA (ML Algorithms) are performed including Random Forest (RF), Logistic Regression (LR), Decision Tree (DT), and eXtreme Gradient Boosting (XGBoost). To improve the performance of ML models, the synthetic minority oversampling technique (SMOTE) is used to retain them. Models are assessed using decision support metrics such as precision, recall, F1-Score, and accuracy.


title: Orbits inside Fatou sets

abstract: In this paper, we investigate the precise behavior of orbits inside attracting basins of rational functions on $\mathbb P^1$ and entire functions $f$ in $\mathbb{C}$. Let $R(z)$ be a rational function on $\mathbb P^1$, $\mathcal {A}(p)$ be the basin of attraction of an attracting fixed point $p$ of $R$, and $\Omega_i$ $ (i=1, 2, \cdots)$ be the connected components of $\mathcal{A}(p)$, and $\Omega_1$ contains $p.$ Let $p_0\in\Omega_1$ be close to $p.$ If at least one $\Omega_i$ is not simply connected, then there exists a constant $C$ so that for any $z_0\in \Omega_i$, there is a point $q\in \cup_k R^{-k}(p_0), k\geq0$ so that the Kobayashi distance $d_{\Omega_i}(z_0, q)\leq C.$ If all $\Omega_i$ are simply connected, then the result is the same as for polynomials and is treated in an earlier paper. For entire functions $f$, we generally can not have similar results as for rational functions. However, if $f$ has finitely many critical points, then similar results hold.


title: A Multi-Companion Method to Periodically Integrated Autoregressive Models

abstract: There has been an enormous interest in analysing and modelling periodic time series. The research on periodically integrated autoregressive (PIAR) models which capture the periodic structure and the presence of unit roots is widely applied in environmental, financial and energy areas. In this paper, we propose a multi-companion method which uses the eigen information of the multi-companion matrix in the multi-companion representation of PIAR models. The method enables the estimation and forecasting of PIAR models with a single, two and multiple unit roots. We show that the parameters of PIAR models can be represented in terms of the eigen information of the multi-companion matrix. Consequently, the estimation can be conducted using the eigen information, rather than directly estimating the parameters of PIAR models. A Monte Carlo experiment and an application are provided to illustrate the robustness and effectiveness of the multi-companion method.


title: Investigating radial-flow-like effects via pseudorapidity and transverse spherocity dependence of particle production in pp collisions at the LHC

abstract: Recent observations of quark-gluon plasma (QGP) like signatures in high multiplicity proton-proton (pp) collisions, have compelled the heavy-ion physics community to re-examine the pp collisions for proper baseline studies. Event-shape-based studies in pp collisions have succeeded to a certain extent in identifying rare events mimicking such heavy-ion-like behaviour. In this manuscript, we incorporate PYTHIA8 to study radial flow-like signatures in pp collisions at $\sqrt{s} = 13$ TeV as a function of transverse spherocity and pseudo-rapidity. The pseudo-rapidity dependence would help understand the scientific community for future upgrades. At the same time, the transverse spherocity will serve its purpose of identifying soft-QCD-dominated events in small collision systems. We present the mean transverse momentum, particle ratios, and kinetic freezeout parameters as a function of transverse spherocity and pseudo-rapidity in pp collisions at $\sqrt{s}$ = 13 TeV using PYTHIA8. We observe that the isotropic events show enhanced radial-flow effects and jetty events show the absence of radial-flow-like effects. For the first time, we show the transverse spherocity and pseudorapidity dependence of partonic modification factor in pp collisions, which clearly shows that by choosing transverse spherocity one can directly probe the radial-flow-like effects in pp collisions at the LHC.


title: Proceedings of the XII International Workshop on Locational Analysis and Related Problems

abstract: The International Workshop on Locational Analysis and Related Problems will take place during September 7-8, 2023 in Edinburgh (United Kingdom). It is organized by the Spanish Location Network and the Location Group GELOCA from the Spanish Society of Statistics and Operations Research (SEIO). The Spanish Location Network is a group of more than 140 researchers from several Spanish universities organized into 7 thematic groups. The Network has been funded by the Spanish Government since 2003. The current project is RED2022-134149-T. One of the main activities of the Network is a yearly meeting aimed at promoting the communication among its members and between them and other researchers, and to contribute to the development of the location field and related problems. As a proof of the internationalization of this research group, this will be the first time that the meeting is held out of Spain. The topics of interest are location analysis and related problems. This includes location models, networks, transportation, logistics, exact and heuristic solution methods, and computational geometry, among others.


title: Liquid-Gas phase transition for Gibbs point process with Quermass interaction

abstract: We prove the existence of a liquid-gas phase transition for continuous Gibbs point process in $\mathbb{R}^d$ with Quermass interaction. The Hamiltonian we consider is a linear combination of the volume $\mathcal{V}$, the surface measure $\mathcal{S}$ and the Euler-Poincar\'e characteristic $\chi$ of a halo of particles (i.e. an union of balls centred at the positions of particles). We show the non-uniqueness of infinite volume Gibbs measures for special values of activity and temperature, provided that the temperature is low enough. Moreover we show the non-differentiability of the pressure at these critical points. Our main tool is an adaptation of the Pirogov-Sina\"i-Zahradnik theory for continuous systems with interaction exhibiting a saturation property.


title: A Theoretical and Empirical Study on the Convergence of Adam with an "Exact" Constant Step Size in Non-Convex Settings

abstract: In neural network training, RMSProp and Adam remain widely favoured optimisation algorithms. One of the keys to their performance lies in selecting the correct step size, which can significantly influence their effectiveness. Additionally, questions about their theoretical convergence properties continue to be a subject of interest. In this paper, we theoretically analyse a constant step size version of Adam in the non-convex setting and discuss why it is important for the convergence of Adam to use a fixed step size. This work demonstrates the derivation and effective implementation of a constant step size for Adam, offering insights into its performance and efficiency in non convex optimisation scenarios. (i) First, we provide proof that these adaptive gradient algorithms are guaranteed to reach criticality for smooth non-convex objectives with constant step size, and we give bounds on the running time. Both deterministic and stochastic versions of Adam are analysed in this paper. We show sufficient conditions for the derived constant step size to achieve asymptotic convergence of the gradients to zero with minimal assumptions. Next, (ii) we design experiments to empirically study Adam's convergence with our proposed constant step size against stateof the art step size schedulers on classification tasks. Lastly, (iii) we also demonstrate that our derived constant step size has better abilities in reducing the gradient norms, and empirically, we show that despite the accumulation of a few past gradients, the key driver for convergence in Adam is the non-increasing step sizes.


title: Formalizing the $\infty$-Categorical Yoneda Lemma

abstract: Formalized $1$-category theory forms a core component of various libraries of mathematical proofs. However, more sophisticated results in fields from algebraic topology to theoretical physics, where objects have "higher structure," rely on infinite-dimensional categories in place of $1$-dimensional categories, and $\infty$-category theory has thusfar proved unamenable to computer formalization. Using a new proof assistant called Rzk, which is designed to support Riehl-Shulman's simplicial extension of homotopy type theory for synthetic $\infty$-category theory, we provide the first formalizations of results from $\infty$-category theory. This includes in particular a formalization of the Yoneda lemma, often regarded as the fundamental theorem of category theory, a theorem which roughly states that an object of a given category is determined by its relationship to all of the other objects of the category. A key feature of our framework is that, thanks to the synthetic theory, many constructions are automatically natural or functorial. We plan to use Rzk to formalize further results from $\infty$-category theory, such as the theory of limits and colimits and adjunctions.


title: Road Boundary Estimation Using Sparse Automotive Radar Inputs

abstract: This paper presents a new approach to detecting road boundaries based on sparse radar signals. We model the roadway using a homogeneous model and derive its conditional predictive model under known radar motion. Using the conditional predictive model and model radar points using a Dirichlet Process Mixture Model (DPMM), we employ Mean Field Variational Inference (MFVI) to derive an unconditional road boundary model distribution. In order to generate initial candidate solutions for the MFVI, we develop a custom Random Sample and Consensus (RANSAC) variant to propose unseen model instances as candidate road boundaries. For each radar point cloud we alternate the MFVI and RANSAC proposal steps until convergence to generate the best estimate of all candidate models. We select the candidate model with the minimum lateral distance to the radar on each side as the estimates of the left and right boundaries. We have implemented the proposed algorithm in C++. We have tested the algorithm and it has shown satisfactory results. More specifically, the mean lane boundary estimation error is not more than 11.0 cm.


title: Achievable Rate of a STAR-RIS Assisted Massive MIMO System Under Spatially-Correlated Channels

abstract: Reconfigurable intelligent surfaces (RIS)-assisted massive multiple-input multiple-output (mMIMO) is a promising technology for applications in next-generation networks. However, reflecting-only RIS provides limited coverage compared to a simultaneously transmitting and reflecting RIS (STAR-RIS). Hence, in this paper, we focus on the downlink achievable rate and its optimization of a STAR-RIS-assisted mMIMO system. Contrary to previous works on STAR-RIS, we consider mMIMO, correlated fading, and multiple user equipments (UEs) at both sides of the RIS. In particular, we introduce an estimation approach of the aggregated channel with the main benefit of reduced overhead links instead of estimating the individual channels. {Next, leveraging channel hardening in mMIMO and the use-and-forget bounding technique, we obtain an achievable rate in closed-form that only depends on statistical channel state information (CSI). To optimize the amplitudes and phase shifts of the STAR-RIS, we employ a projected gradient ascent method (PGAM) that simultaneously adjusts the amplitudes and phase shifts for both energy splitting (ES) and mode switching (MS) STAR-RIS operation protocols.} By considering large-scale fading, the proposed optimization can be performed every several coherence intervals, which can significantly reduce overhead. Considering that STAR-RIS has twice the number of controllable parameters compared to conventional reflecting-only RIS, this accomplishment offers substantial practical benefits. Simulations are carried out to verify the analytical results, reveal the interplay of the achievable rate with fundamental parameters, and show the superiority of STAR-RIS regarding its achievable rate compared to its reflecting-only counterpart.


title: On Higgs+jet production at next-to-leading power accuracy

abstract: We present computation of the next-to-leading power corrections for Higgs plus one jet production in a hadron collider via gluon fusion channel. Shifting of spinors in the helicity amplitudes without additional radiation captures the leading next-to-soft radiative behaviour and makes the calculation tractable. We establish the connection between the shifted dipole spinors and the colour ordered radiative amplitudes. We find that next-to-maximal helicity violating amplitudes do not play a role in this correction. Compact analytic expressions of next-to-leading power leading logarithms coming from different helicity configurations are shown.


title: Constant Mean Curvature surfaces with prescribed finite topologies

abstract: In this article, we construct complete embedded constant mean curvature surfaces in $\mb{R}^3$ with freely prescribed genus and any number of ends greater than or equal to four. Heuristically, the surfaces are obtained by resolving finitely many points of tangency between collections of spheres. The construction relies a family of constant mean curvature surfaces constructed in \cite{Kleene}, constructed as graphs over catenoidal necks of small scale.


title: Data Distribution Bottlenecks in Grounding Language Models to Knowledge Bases

abstract: Language models (LMs) have already demonstrated remarkable abilities in understanding and generating both natural and formal language. Despite these advances, their integration with real-world environments such as large-scale knowledge bases (KBs) remains an underdeveloped area, affecting applications such as semantic parsing and indulging in "hallucinated" information. This paper is an experimental investigation aimed at uncovering the robustness challenges that LMs encounter when tasked with knowledge base question answering (KBQA). The investigation covers scenarios with inconsistent data distribution between training and inference, such as generalization to unseen domains, adaptation to various language variations, and transferability across different datasets. Our comprehensive experiments reveal that even when employed with our proposed data augmentation techniques, advanced small and large language models exhibit poor performance in various dimensions. While the LM is a promising technology, the robustness of the current form in dealing with complex environments is fragile and of limited practicality because of the data distribution issue. This calls for future research on data collection and LM learning paradims.


title: Shallow Cumulus Cloud Fields Are Optically Thicker When They Are More Clustered

abstract: Shallow trade cumuli over subtropical oceans are a persistent source of uncertainty in climate projections. Mesoscale organization of trade cumulus clouds has been shown to influence their cloud radiative effect (CRE) through cloud cover. We investigate whether organization can explain CRE variability independently of cloud cover variability. By analyzing satellite observations and high-resolution simulations, we show that increased clustering leads to geometrically thicker clouds with larger domain-averaged liquid water paths, smaller cloud droplets, and consequently, larger cloud optical depths. The relationships between these variables are shaped by the mixture of deep cloud cores and shallower interstitial clouds or anvils that characterize cloud organization. Eliminating cloud cover effects, more clustered clouds reflect up to 20 W/m$^2$ more instantaneous shortwave radiation back to space.


title: Reward Engineering for Generating Semi-structured Explanation

abstract: Semi-structured explanation depicts the implicit process of a reasoner with an explicit representation. This explanation highlights how available information in a specific query is utilised and supplemented with information a reasoner produces from its internal weights towards generating an answer. Despite the recent improvements in generative capabilities of language models, producing structured explanations to verify a model's true reasoning capabilities remains a challenge. This issue is particularly pronounced for not-so-large LMs (e.g., FLAN-T5-XXL). In this work, we first underscore the limitations of supervised fine-tuning (SFT) in tackling this challenge, and then introduce a carefully crafted reward engineering method in reinforcement learning (RL) to better address this problem. We investigate multiple reward aggregation methods and provide a detailed discussion which sheds light on the promising potential of RL for future research. Our proposed method on two semi-structured explanation generation benchmarks (ExplaGraph and COPA-SSE) achieves new state-of-the-art results.


title: The Multimodal Information Based Speech Processing (MISP) 2023 Challenge: Audio-Visual Target Speaker Extraction

abstract: Previous Multimodal Information based Speech Processing (MISP) challenges mainly focused on audio-visual speech recognition (AVSR) with commendable success. However, the most advanced back-end recognition systems often hit performance limits due to the complex acoustic environments. This has prompted a shift in focus towards the Audio-Visual Target Speaker Extraction (AVTSE) task for the MISP 2023 challenge in ICASSP 2024 Signal Processing Grand Challenges. Unlike existing audio-visual speech enhance-ment challenges primarily focused on simulation data, the MISP 2023 challenge uniquely explores how front-end speech processing, combined with visual clues, impacts back-end tasks in real-world scenarios. This pioneering effort aims to set the first benchmark for the AVTSE task, offering fresh insights into enhancing the ac-curacy of back-end speech recognition systems through AVTSE in challenging and real acoustic environments. This paper delivers a thorough overview of the task setting, dataset, and baseline system of the MISP 2023 challenge. It also includes an in-depth analysis of the challenges participants may encounter. The experimental results highlight the demanding nature of this task, and we look forward to the innovative solutions participants will bring forward.


title: Fermionic Gaussian free field structure in the Abelian sandpile model and uniform spanning tree

abstract: In this paper we rigorously construct a finite volume representation for the height-one field of the Abelian sandpile model and the degree field of the uniform spanning tree in terms of the fermionic Gaussian free field. This representation can be seen as the lattice representation of a free symplectic fermion field. It allows us to compute cumulants of those fields, both in finite volume and in the scaling limit, including determining the explicit normalizing constants for fields in the corresponding logarithmic field theory. Furthermore, our results point towards universality of the height-one and degree fields, as we prove that the scaling limits of the cumulants agree (up to constants) in the square and triangular lattice. We also recover the equivalent scaling limits for the hypercubic lattice in higher dimensions, and discuss how to adapt the proofs of our results to general graphs.


title: Uniqueness of dark matter magnetized static black hole spacetime

abstract: Uniqueness problem of static axially symmetric black hole in magnetic Universe filled with {\it dark matter} component has been considered. The {\it dark matter} model comprises the additional $U(1)$-gauge field ({\it dark photon}) interacting with Maxwell one by the kinetic mixing term. We show that all the solutions of Einstein-Maxwell {\it dark photon} gravity subject to the same boundary and regularity conditions authorize the only static axially symmetric black hole solutions with non-vanishing time and azimuthal components of Maxwell and {\it hidden} sector gauge fields, say Schwarzschild-like black hole immersed in {\it dark matter} Melvin Universe.


title: Headless Language Models: Learning without Predicting with Contrastive Weight Tying

abstract: Self-supervised pre-training of language models usually consists in predicting probability distributions over extensive token vocabularies. In this study, we propose an innovative method that shifts away from probability prediction and instead focuses on reconstructing input embeddings in a contrastive fashion via Constrastive Weight Tying (CWT). We apply this approach to pretrain Headless Language Models in both monolingual and multilingual contexts. Our method offers practical advantages, substantially reducing training computational requirements by up to 20 times, while simultaneously enhancing downstream performance and data efficiency. We observe a significant +1.6 GLUE score increase and a notable +2.7 LAMBADA accuracy improvement compared to classical LMs within similar compute budgets.


title: A Paradox of Telecommuting and Staggered Work Hours in the Bottleneck Model

abstract: We study the long- and short-term effects of telecommuting (TLC), staggered work hours (SWH), and their combined scheme on peak-period congestion and location patterns. In order to enable a unified comparison of the schemes' long- and short-term effects, we develop a novel equilibrium analysis approach that consistently synthesizes the long-term equilibrium (location and percentage of telecommuting choice) and short-term equilibrium (preferred arrival time and departure time choice). By exploiting their special mathematical structures similar to optimal transport problems, we derive the closed-form solution to the long- and short-term equilibrium while explicitly considering their interaction. These closed-form solutions elucidate the discrepancies between the effects of each scheme and uncover a paradoxical finding: the introduction of SWH, in conjunction with TLC, may increase the total commuting costs compared to the scenario with only TLC, without yielding any improvement in worker utility.


title: Continual Learning with Deep Streaming Regularized Discriminant Analysis

abstract: Continual learning is increasingly sought after in real world machine learning applications, as it enables learning in a more human-like manner. Conventional machine learning approaches fail to achieve this, as incrementally updating the model with non-identically distributed data leads to catastrophic forgetting, where existing representations are overwritten. Although traditional continual learning methods have mostly focused on batch learning, which involves learning from large collections of labeled data sequentially, this approach is not well-suited for real-world applications where we would like new data to be integrated directly. This necessitates a paradigm shift towards streaming learning. In this paper, we propose a streaming version of regularized discriminant analysis as a solution to this challenge. We combine our algorithm with a convolutional neural network and demonstrate that it outperforms both batch learning and existing streaming learning algorithms on the ImageNet ILSVRC-2012 dataset.


title: From Plastic Waste to Treasure: Selective Upcycling through Catalytic Technologies

abstract: The huge amount of plastic wastes has become a pressing global environmental problem, leading to severe environmental pollution and resource depletion through conventional downcycling technologies like incineration and landfilling. In contrast, selective upcycling of various plastics offers a promising solution for converting waste plastics into valuable products. This review provides a comprehensive overview of the recent advancements in innovative catalytic technologies, including thermocatalysis, electrocatalysis, and photocatalysis. Special emphasis is placed on elucidating the reaction mechanisms, activating designated chemical bonds for high selectivity, and elaborating the above techniques in terms of reaction conditions and products. Finally, the application prospects and future development trends in plastic catalysis are discussed, providing valuable insights for realizing a sustainable circular plastic economy.


title: Semi-supervised Sound Event Detection with Local and Global Consistency Regularization

abstract: Learning meaningful frame-wise features on a partially labeled dataset is crucial to semi-supervised sound event detection. Prior works either maintain consistency on frame-level predictions or seek feature-level similarity among neighboring frames, which cannot exploit the potential of unlabeled data. In this work, we design a Local and Global Consistency (LGC) regularization scheme to enhance the model on both label- and feature-level. The audio CutMix is introduced to change the contextual information of clips. Then, the local consistency is adopted to encourage the model to leverage local features for frame-level predictions, and the global consistency is applied to force features to align with global prototypes through a specially designed contrastive loss. Experiments on the DESED dataset indicate the superiority of LGC, surpassing its respective competitors largely with the same settings as the baseline system. Besides, combining LGC with existing methods can obtain further improvements. The code will be released soon.


title: $\psi$(2S) production in Pb-Pb collisions measured by ALICE at the LHC

abstract: Charmonium production is a probe sensitive to deconfinement in nucleus-nucleus collisions. The production of J/$\psi$ via regeneration within the QGP or at the phase boundary has been identified as an important ingredient for the description of the observed J/$\psi$ nuclear modification factor at the LHC. The $\psi(2S)$ production relative to J/$\psi$ is a possible discriminator between the two regeneration scenarios. Studies of $\psi(2S)$ production in central nucleus-nucleus collisions at low transverse momentum ($p_{\rm T}$) are crucial, particularly at the LHC, where regeneration appears to be dominant. A significant $\psi$(2S) signal is extracted at low $p_{\rm T}$ and forward rapidity in the dimuon decay channel for the first time. This measurement relies on the $\psi(2S)$ cross section measured recently in pp collisions at $\sqrt{s_{\rm }}=5.02$ TeV with an unprecedented precision compared to previous ALICE results. In this contribution, we present newly published results on the $\psi(2S)$-to-J/$\psi$ ratio and the $\psi(2S)$ nuclear modification factor in Pb-Pb collisions at $\sqrt{s_{\rm NN}}=5.02$ TeV. Results are reported as a function of centrality and $p_{\rm T}$ for $p_{\rm T}<12$ GeV/c and are compared to available NA50 and CMS measurements. Comparisons to transport and statistical hadronization model predictions are also provided to shed light on the charmonium states recombination mechanism


title: Audio-free Prompt Tuning for Language-Audio Models

abstract: Contrastive Language-Audio Pretraining (CLAP) is pre-trained to associate audio features with human language, making it a natural zero-shot classifier to recognize unseen sound categories. To adapt CLAP to downstream tasks, prior works inevitably require labeled domain audios, which limits their scalability under data scarcity and deprives them of the capability to detect novel classes as the original CLAP. In this work, by leveraging the modality alignment in CLAP, we propose an efficient audio-free prompt tuning scheme aimed at optimizing a few prompt tokens from texts instead of audios, which regularizes the model space to avoid overfitting the seen classes as well. Based on this, a multi-grained prompt design is further explored to fuse global and local information. Experiments on several tasks demonstrate that our approach can boost the CLAP and outperform other training methods on model performance and training efficiency. While conducting zero-shot inference on unseen categories, it still shows better transferability than the vanilla CLAP. Moreover, our method is flexible enough even if only knowing the downstream class names. The code will be released soon.


title: Pole-fitting for complex functions: enhancing standard techniques by artificial-neural-network classifiers and regressors

abstract: Motivated by a use case in theoretical hadron physics, we revisit an application of a pole-sum fit to dressing functions of a confined quark propagator. More precisely, we investigate approaches to determine the number and positions of the singularities closest to the origin for a function that is only known numerically on a specific finite grid of values on the positive real axis. For this problem, we compare the efficiency of standard techniques, like the Levenberg-Marquardt algorithm, to a pure artificial-neural-network approach as well as a combination of these two. This combination is more efficient than any of the two techniques separately. Such an approach is generalizable to similar situations, where the positions of poles of a function in a complex variable must be quickly and reliably estimated from real-axis information alone.


title: Effective bounds for Roth's theorem with shifted square common difference

abstract: Let $S$ be a subset of $\{1,\ldots,N\}$ avoiding the nontrivial progressions $x, x+y^2-1, x+ 2(y^2-1)$. We prove that $|S|\ll N/\log_m{N}$, where $\log_m $ is the $m$-fold iterated logarithm and $m\in\mathbf{N}$ is an absolute constant. This answers a question of Green.


title: Advanced White-Box Heuristics for Search-Based Fuzzing of REST APIs

abstract: Due to its importance and widespread use in industry, automated testing of REST APIs has attracted major interest from the research community in the last few years. However, most of the work in the literature has been focused on black-box fuzzing. Although existing fuzzers have been used to automatically find many faults in existing APIs, there are still several open research challenges that hinder the achievement of better results (e.g., in terms of code coverage and fault finding). For example, under-specified schemas are a major issue for black-box fuzzers. Currently, EvoMaster is the only existing tool that supports white-box fuzzing of REST APIs. In this paper, we provide a series of novel white-box heuristics, including for example how to deal with under-specified constrains in API schemas, as well as under-specified schemas in SQL databases. Our novel techniques are implemented as an extension to our open-source, search-based fuzzer EvoMaster. An empirical study on 14 APIs from the EMB corpus, plus one industrial API, shows clear improvements of the results in some of these APIs.


title: Bystanders of Online Moderation: Examining the Effects of Witnessing Post-Removal Explanations

abstract: Prior research on transparency in content moderation has demonstrated the benefits of offering post-removal explanations to sanctioned users. In this paper, we examine whether the influence of such explanations transcends those who are moderated to the bystanders who witness such explanations. We conduct a quasi-experimental study on two popular Reddit communities (r/askreddit and r/science) by collecting their data spanning 13 months-a total of 85.5M posts made by 5.9M users. Our causal-inference analyses show that bystanders significantly increase their posting activity and interactivity levels as compared to their matched control set of users. Our findings suggest that explanations clarify and reinforce the social norms of online spaces, enhance community engagement, and benefit many more members than previously understood. We discuss the theoretical implications and design recommendations of this research, focusing on how investing more efforts in post-removal explanations can help build thriving online communities.


title: Towards Big Data Modeling and Management Systems: From DBMS to BDMS

abstract: To succeed in a Big Data strategy, you have to arm yourself with a wide range of data skills and best practices. This strategy can result in an impressive asset that can streamline operational costs, reduce time to market, and enable the creation of new products. However, several Big Data challenges may take place in enterprises when it comes to moving initiatives of boardroom discussions to effective practices. From a broader perspective, we take on this paper two very important challenges, namely modeling, and management. The main context here is to highlight the importance of understanding data modeling and knowing how to process complex data while supporting the characteristics of each model.


title: Narratives of War: Ukrainian Memetic Warfare on Twitter

abstract: The 2022 Russian invasion of Ukraine has seen an intensification in the use of social media by governmental actors in cyber warfare. Wartime communication via memes has been a successful strategy used not only by independent accounts such as @uamemesforces, but also-for the first time in a full-scale interstate war-by official Ukrainian government accounts such as @Ukraine and @DefenceU. We study this prominent example of memetic warfare through the lens of its narratives, and find them to be a key component of success: tweets with a 'victim' narrative garner twice as many retweets. However, malevolent narratives focusing on the enemy resonate more than those about heroism or victims with countries providing more assistance to Ukraine. Our findings present a nuanced examination of Ukraine's influence operations and of the worldwide response to it, thus contributing new insights into the evolution of socio-technical systems in times of war.


title: On some isoperimetric inequalities for the Newtonian capacity

abstract: Upper bounds are obtained for the Newtonian capacity of compact sets in $\R^d,\,d\ge 3$ in terms of the perimeter of the $r$-parallel neighbourhood of $K$. For compact, convex sets in $\R^d,\,d\ge 3$ with a $C^2$ boundary the Newtonian capacity is bounded from above by $(d-2)M(K)$, where $M(K)>0$ is the integral of the mean curvature over the boundary of $K$ with equality if $K$ is a ball. For compact, convex sets in $\R^d,\,d\ge 3$ with non-empty interior the Newtonian capacity is bounded from above by $\frac{(d-2)P(K)^2}{d|K|}$ with equality if $K$ is a ball. Here $P(K)$ is the perimeter of $K$ and $|K|$ is its measure. A quantitative refinement of the latter inequality in terms of the Fraenkel asymmetry is also obtained. An upper bound is obtained for expected Newtonian capacity of the Wiener sausage in $\R^d,\,d\ge 5$ with radius $\varepsilon$ and time length $t$.


title: M$^3$Net: Multilevel, Mixed and Multistage Attention Network for Salient Object Detection

abstract: Most existing salient object detection methods mostly use U-Net or feature pyramid structure, which simply aggregates feature maps of different scales, ignoring the uniqueness and interdependence of them and their respective contributions to the final prediction. To overcome these, we propose the M$^3$Net, i.e., the Multilevel, Mixed and Multistage attention network for Salient Object Detection (SOD). Firstly, we propose Multiscale Interaction Block which innovatively introduces the cross-attention approach to achieve the interaction between multilevel features, allowing high-level features to guide low-level feature learning and thus enhancing salient regions. Secondly, considering the fact that previous Transformer based SOD methods locate salient regions only using global self-attention while inevitably overlooking the details of complex objects, we propose the Mixed Attention Block. This block combines global self-attention and window self-attention, aiming at modeling context at both global and local levels to further improve the accuracy of the prediction map. Finally, we proposed a multilevel supervision strategy to optimize the aggregated feature stage-by-stage. Experiments on six challenging datasets demonstrate that the proposed M$^3$Net surpasses recent CNN and Transformer-based SOD arts in terms of four metrics. Codes are available at https://github.com/I2-Multimedia-Lab/M3Net.


title: Invariance principles for G-brownian-motion-driven stochastic differential equations and their applications to G-stochastic control

abstract: The G-Brownian-motion-driven stochastic differential equations (G-SDEs) as well as the G-expectation, which were seminally proposed by Peng and his colleagues, have been extensively applied to describing a particular kind of uncertainty arising in real-world systems modeling. Mathematically depicting long-time and limit behaviors of the solution produced by G-SDEs is beneficial to understanding the mechanisms of system's evolution. Here, we develop a new G-semimartingale convergence theorem and further establish a new invariance principle for investigating the long-time behaviors emergent in G-SDEs. We also validate the uniqueness and the global existence of the solution of G-SDEs whose vector fields are only locally Lipchitzian with a linear upper bound. To demonstrate the broad applicability of our analytically established results, we investigate its application to achieving G-stochastic control in a few representative dynamical systems.


title: Conformal Methods in Mathematical Cosmology

abstract: When he first introduced the notion of a conformal boundary into the study of asymptotically empty space-times, Penrose noted that that the boundary would be null, space-like or time-like according as the cosmological constant $\Lambda$ was zero, positive or negative. While most applications of the idea of a conformal boundary have been to the zero-$\Lambda$, asymptotically-Minkowskian case, there also has been work on the nonzero cases. Here we review work with a positive $\Lambda$, which is the appropriate case for cosmology of the universe in which we live.


title: Robust Burned Area Delineation through Multitask Learning

abstract: In recent years, wildfires have posed a significant challenge due to their increasing frequency and severity. For this reason, accurate delineation of burned areas is crucial for environmental monitoring and post-fire assessment. However, traditional approaches relying on binary segmentation models often struggle to achieve robust and accurate results, especially when trained from scratch, due to limited resources and the inherent imbalance of this segmentation task. We propose to address these limitations in two ways: first, we construct an ad-hoc dataset to cope with the limited resources, combining information from Sentinel-2 feeds with Copernicus activations and other data sources. In this dataset, we provide annotations for multiple tasks, including burned area delineation and land cover segmentation. Second, we propose a multitask learning framework that incorporates land cover classification as an auxiliary task to enhance the robustness and performance of the burned area segmentation models. We compare the performance of different models, including UPerNet and SegFormer, demonstrating the effectiveness of our approach in comparison to standard binary segmentation.


title: An Efficient Wide-Range Pseudo-3D Vehicle Detection Using A Single Camera

abstract: Wide-range and fine-grained vehicle detection plays a critical role in enabling active safety features in intelligent driving systems. However, existing vehicle detection methods based on rectangular bounding boxes (BBox) often struggle with perceiving wide-range objects, especially small objects at long distances. And BBox expression cannot provide detailed geometric shape and pose information of vehicles. This paper proposes a novel wide-range Pseudo-3D Vehicle Detection method based on images from a single camera and incorporates efficient learning methods. This model takes a spliced image as input, which is obtained by combining two sub-window images from a high-resolution image. This image format maximizes the utilization of limited image resolution to retain essential information about wide-range vehicle objects. To detect pseudo-3D objects, our model adopts specifically designed detection heads. These heads simultaneously output extended BBox and Side Projection Line (SPL) representations, which capture vehicle shapes and poses, enabling high-precision detection. To further enhance the performance of detection, a joint constraint loss combining both the object box and SPL is designed during model training, improving the efficiency, stability, and prediction accuracy of the model. Experimental results on our self-built dataset demonstrate that our model achieves favorable performance in wide-range pseudo-3D vehicle detection across multiple evaluation metrics. Our demo video has been placed at https://www.youtube.com/watch?v=1gk1PmsQ5Q8.


abstract: Let $G, H$ be two non-empty graphs and $k$ be a positive integer. The Gallai-Ramsey number $\operatorname{gr}_k(G:H)$ is defined as the minimum positive integer $N$ such that for all $n\geq N$, every $k$-edge-coloring of $K_n$ contains either a rainbow subgraph $G$ or a monochromatic subgraph $H$. The Gallai-Ramsey multiplicity $\operatorname{GM}_k(G:H)$ is defined as the minimum total number of rainbow subgraphs $G$ and monochromatic subgraphs $H$ for all $k$-edge-colored $K_{\operatorname{gr}_k(G:H)}$. In this paper, we get some exact values of the Gallai-Ramsey multiplicity for rainbow small trees versus general monochromatic graphs under a sufficiently large number of colors. We also study the bipartite Gallai-Ramsey multiplicity.


title: Spontaneous Unidirectional Loop Extrusion Emerges from Symmetry Breaking of SMC Extension

abstract: DNA loop extrusion is arguably one of the most important players in genome organization. The precise mechanism by which loop extruding factors (LEFs) work is still unresolved and much debated. One of the major open questions in this field is how do LEFs establish and maintain unidirectional motion along DNA. In this paper, we use High-Speed AFM data to show that condensin hinge domain displays a structural, geometric constraint on the angle within which it can extend with respect to the DNA-bound domains. Using computer simulations, we then show that such a geometrical constraint results in a local symmetry breaking and is enough to rectify the extrusion process, yielding unidirectional loop extrusion along DNA. Our work highlights an overlooked geometric aspect of the loop extrusion process that may have a universal impact on SMC function across organisms.


title: Beyond Domain Gap: Exploiting Subjectivity in Sketch-Based Person Retrieval

abstract: Person re-identification (re-ID) requires densely distributed cameras. In practice, the person of interest may not be captured by cameras and, therefore, needs to be retrieved using subjective information (e.g., sketches from witnesses). Previous research defines this case using the sketch as sketch re-identification (Sketch re-ID) and focuses on eliminating the domain gap. Actually, subjectivity is another significant challenge. We model and investigate it by posing a new dataset with multi-witness descriptions. It features two aspects. 1) Large-scale. It contains over 4,763 sketches and 32,668 photos, making it the largest Sketch re-ID dataset. 2) Multi-perspective and multi-style. Our dataset offers multiple sketches for each identity. Witnesses' subjective cognition provides multiple perspectives on the same individual, while different artists' drawing styles provide variation in sketch styles. We further have two novel designs to alleviate the challenge of subjectivity. 1) Fusing subjectivity. We propose a non-local (NL) fusion module that gathers sketches from different witnesses for the same identity. 2) Introducing objectivity. An AttrAlign module utilizes attributes as an implicit mask to align cross-domain features. To push forward the advance of Sketch re-ID, we set three benchmarks (large-scale, multi-style, cross-style). Extensive experiments demonstrate our leading performance in these benchmarks. Dataset and Codes are publicly available at: https://github.com/Lin-Kayla/subjectivity-sketch-reid


title: Extreme values for the waiting time in large fork-join queues

abstract: We prove that the scaled maximum steady-state waiting time and the scaled maximum steady-state queue length among $N$ $GI/GI/1$-queues in the $N$-server fork-join queue, converge to a normally distributed random variable as $N\to\infty$. The maximum steady-state waiting time in this queueing system scales around $\frac{1}{\gamma}\log N$, where $\gamma$ is determined by the cumulant generating function $\Lambda$ of the service distribution and solves the Cram\'er-Lundberg equation with stochastic service times and deterministic inter-arrival times. This value $\frac{1}{\gamma}\log N$ is reached at a certain hitting time. The number of arrivals until that hitting time satisfies the central limit theorem, with standard deviation $\frac{\sigma_A}{\sqrt{\Lambda'(\gamma)\gamma}}$. By using distributional Little's law, we can extend this result to the maximum queue length. Finally, we extend these results to a fork-join queue with different classes of servers.


title: Understanding the limitations of self-supervised learning for tabular anomaly detection

abstract: While self-supervised learning has improved anomaly detection in computer vision and natural language processing, it is unclear whether tabular data can benefit from it. This paper explores the limitations of self-supervision for tabular anomaly detection. We conduct several experiments spanning various pretext tasks on 26 benchmark datasets to understand why this is the case. Our results confirm representations derived from self-supervision do not improve tabular anomaly detection performance compared to using the raw representations of the data. We show this is due to neural networks introducing irrelevant features, which reduces the effectiveness of anomaly detectors. However, we demonstrate that using a subspace of the neural network's representation can recover performance.


title: Boosting Fair Classifier Generalization through Adaptive Priority Reweighing

abstract: With the increasing penetration of machine learning applications in critical decision-making areas, calls for algorithmic fairness are more prominent. Although there have been various modalities to improve algorithmic fairness through learning with fairness constraints, their performance does not generalize well in the test set. A performance-promising fair algorithm with better generalizability is needed. This paper proposes a novel adaptive reweighing method to eliminate the impact of the distribution shifts between training and test data on model generalizability. Most previous reweighing methods propose to assign a unified weight for each (sub)group. Rather, our method granularly models the distance from the sample predictions to the decision boundary. Our adaptive reweighing method prioritizes samples closer to the decision boundary and assigns a higher weight to improve the generalizability of fair classifiers. Extensive experiments are performed to validate the generalizability of our adaptive priority reweighing method for accuracy and fairness measures (i.e., equal opportunity, equalized odds, and demographic parity) in tabular benchmarks. We also highlight the performance of our method in improving the fairness of language and vision models. The code is available at https://github.com/che2198/APW.


title: The monotonicity method for inclusion detection and the time harmonic elastic wave equation

abstract: We consider the problem of reconstructing inhomogeneities in an isotropic elastic body using time harmonic waves. Here we extend the so called monotonicity method for inclusion detection and show how to determine certain types of inhomogeneities in the Lam\'e parameters and the density. We also included some numerical tests of the method.


title: DiaCorrect: Error Correction Back-end For Speaker Diarization

abstract: In this work, we propose an error correction framework, named DiaCorrect, to refine the output of a diarization system in a simple yet effective way. This method is inspired by error correction techniques in automatic speech recognition. Our model consists of two parallel convolutional encoders and a transform-based decoder. By exploiting the interactions between the input recording and the initial system's outputs, DiaCorrect can automatically correct the initial speaker activities to minimize the diarization errors. Experiments on 2-speaker telephony data show that the proposed DiaCorrect can effectively improve the initial model's results. Our source code is publicly available at https://github.com/BUTSpeechFIT/diacorrect.


title: Analysis of the 16C(d,p)17C reaction from microscopic 17C wave functions

abstract: We present a semi-microscopic study of the 16C(d,p)17C transfer reaction. The 17C overlap integrals and spectroscopic factors are obtained from a microscopic cluster model, involving many 16C+n configurations. This microscopic model provides a fair description of the 17C bound-state energies. The 16C+d scattering wave functions are defined in the CDCC method, where the deuteron breakup is simulated by pseudostates. The transfer cross sections are in good agreement with recent data. We confirm the 16C(2+)+n structure of the ground state, and show that deuteron breakup effects have a significant influence on the cross sections. We study the 17C(p,d)16C reverse reaction and suggest that the cross section to the 2+ state should be large. A measurement of the ground-state cross section would provide a strong test of the microscopic wave functions.


title: PatFig: Generating Short and Long Captions for Patent Figures

abstract: This paper introduces Qatent PatFig, a novel large-scale patent figure dataset comprising 30,000+ patent figures from over 11,000 European patent applications. For each figure, this dataset provides short and long captions, reference numerals, their corresponding terms, and the minimal claim set that describes the interactions between the components of the image. To assess the usability of the dataset, we finetune an LVLM model on Qatent PatFig to generate short and long descriptions, and we investigate the effects of incorporating various text-based cues at the prediction stage of the patent figure captioning process.


title: Unleashing Potential of Evidence in Knowledge-Intensive Dialogue Generation

abstract: Incorporating external knowledge into dialogue generation (KIDG) is crucial for improving the correctness of response, where evidence fragments serve as knowledgeable snippets supporting the factual dialogue replies. However, introducing irrelevant content often adversely impacts reply quality and easily leads to hallucinated responses. Prior work on evidence retrieval and integration in dialogue systems falls short of fully leveraging existing evidence since the model fails to locate useful fragments accurately and overlooks hidden evidence labels within the KIDG dataset. To fully Unleash the potential of evidence, we propose a framework to effectively incorporate Evidence in knowledge-Intensive Dialogue Generation (u-EIDG). Specifically, we introduce an automatic evidence generation framework that harnesses the power of Large Language Models (LLMs) to mine reliable evidence veracity labels from unlabeled data. By utilizing these evidence labels, we train a reliable evidence indicator to effectively identify relevant evidence from retrieved passages. Furthermore, we propose an evidence-augmented generator with an evidence-focused attention mechanism, which allows the model to concentrate on evidenced segments. Experimental results on MultiDoc2Dial demonstrate the efficacy of evidential label augmentation and refined attention mechanisms in improving model performance. Further analysis confirms that the proposed method outperforms other baselines (+3~+5 points) regarding coherence and factual consistency.


title: Reconsidering evaluation practices in modular systems: On the propagation of errors in MRI prostate cancer detection

abstract: Magnetic resonance imaging has evolved as a key component for prostate cancer (PCa) detection, substantially increasing the radiologist workload. Artificial intelligence (AI) systems can support radiological assessment by segmenting and classifying lesions in clinically significant (csPCa) and non-clinically significant (ncsPCa). Commonly, AI systems for PCa detection involve an automatic prostate segmentation followed by the lesion detection using the extracted prostate. However, evaluation reports are typically presented in terms of detection under the assumption of the availability of a highly accurate segmentation and an idealistic scenario, omitting the propagation of errors between modules. For that purpose, we evaluate the effect of two different segmentation networks (s1 and s2) with heterogeneous performances in the detection stage and compare it with an idealistic setting (s1:89.90+-2.23 vs 88.97+-3.06 ncsPCa, P<.001, 89.30+-4.07 and 88.12+-2.71 csPCa, P<.001). Our results depict the relevance of a holistic evaluation, accounting for all the sub-modules involved in the system.


title: Double Domain Guided Real-Time Low-Light Image Enhancement for Ultra-High-Definition Transportation Surveillance

abstract: Real-time transportation surveillance is an essential part of the intelligent transportation system (ITS). However, images captured under low-light conditions often suffer the poor visibility with types of degradation, such as noise interference and vague edge features, etc. With the development of imaging devices, the quality of the visual surveillance data is continually increasing, like 2K and 4K, which has more strict requirements on the efficiency of image processing. To satisfy the requirements on both enhancement quality and computational speed, this paper proposes a double domain guided real-time low-light image enhancement network (DDNet) for ultra-high-definition (UHD) transportation surveillance. Specifically, we design an encoder-decoder structure as the main architecture of the learning network. In particular, the enhancement processing is divided into two subtasks (i.e., color enhancement and gradient enhancement) via the proposed coarse enhancement module (CEM) and LoG-based gradient enhancement module (GEM), which are embedded in the encoder-decoder structure. It enables the network to enhance the color and edge features simultaneously. Through the decomposition and reconstruction on both color and gradient domains, our DDNet can restore the detailed feature information concealed by the darkness with better visual quality and efficiency. The evaluation experiments on standard and transportation-related datasets demonstrate that our DDNet provides superior enhancement quality and efficiency compared with the state-of-the-art methods. Besides, the object detection and scene segmentation experiments indicate the practical benefits for higher-level image analysis under low-light environments in ITS.


title: Dynamical Analysis of an Allelopathic Phytoplankton Model with Fear Effect

abstract: This paper is the first to propose an allelopathic phytoplankton competition ODE model influenced by a fear effect based on natural biological phenomena. It is shown that the interplay of this fear effect and the allelopathic term cause rich dynamics in the proposed competition model, such as global stability, transcritical bifurcation, pitchfork bifurcation, and saddle-node bifurcation. We also consider the spatially explicit version of the model and prove analogous results. Numerical simulations verify the feasibility of the theoretical analysis. The results demonstrate that the primary cause of the extinction of non-toxic species is the fear of toxic species compared to toxins. Allelopathy only affects the density of non-toxic species. The discussion provides guidance for the conservation of species and the maintenance of biodiversity.


title: Non-LTE abundance analysis of A-B stars with low rotational velocities. II. Do A-B stars with normal abundances exist?

abstract: We present chemical composition and fundamental parameters (the effective temperature, surface gravity and radius) for four sharp-lined A-type stars ${\gamma}$ Gem (HD 41705), o Peg (HD 214994), ${\theta}$ Vir (HD 114330) and ${\nu}$ Cap (HD 193432). Our analysis is based on a self-consistent model fitting of high-resolution spectra and spectrophotometric observations over a wide wavelength range. We refined the fundamental parameters of the stars with the SME package and verified their accuracy by comparing with the spectral energy distribution and hydrogen line profiles. We found Teff/log g = 9190+/-130 K/3.56+/-0.08, 9600+/-50 K/3.81+/-0.04, 9600+/-140 K/3.61+/-0.12, and 10200+/-220 K/3.88+/-0.08 for ${\gamma}$ Gem, o Peg, ${\theta}$ Vir and ${\nu}$ Cap, respectively. Our detailed abundance analysis employs a hybrid technique for spectrum synthesis based on classical model atmospheres calculated in local thermodynamic equilibrium (LTE) assumption together with the non-LTE (NLTE) line formation for 18 of 26 investigated species. Comparison of the abundance patterns observed in A stars of different types (normal A, Am, Ap) with similar fundamental parameters reveals significant abundance diversity that cannot be explained by the current mechanisms of abundance peculiarity formation in stellar atmospheres. We found a rise of the heavy element (Zn, Sr, Y, Zr, Ba) abundance excess up to +1 dex with Teff increasing from 7200 to 10000 K, with a further decrease down to solar value at Teff = 13000 K, indicating that stars with solar element abundances can be found among late B-type stars.


title: A Unified View Between Tensor Hypergraph Neural Networks And Signal Denoising

abstract: Hypergraph Neural networks (HyperGNNs) and hypergraph signal denoising (HyperGSD) are two fundamental topics in higher-order network modeling. Understanding the connection between these two domains is particularly useful for designing novel HyperGNNs from a HyperGSD perspective, and vice versa. In particular, the tensor-hypergraph convolutional network (T-HGCN) has emerged as a powerful architecture for preserving higher-order interactions on hypergraphs, and this work shows an equivalence relation between a HyperGSD problem and the T-HGCN. Inspired by this intriguing result, we further design a tensor-hypergraph iterative network (T-HGIN) based on the HyperGSD problem, which takes advantage of a multi-step updating scheme in every single layer. Numerical experiments are conducted to show the promising applications of the proposed T-HGIN approach.


title: Spectroscopic Searches for Evolutionary Orbital Period Changes in WR+OB Binaries: the case of V444 Cyg

abstract: We present the results of new photometric and spectroscopic observations of WN5+O6 binary V444 Cyg and a detailed analysis of extant spectroscopy and photometry. Using elements of the spectroscopic orbit and assuming e = 0, i = 78{\deg} we determined the masses and orbit sizes of the components of V444 Cyg M_O6 = 26.4 M_Sun, M_WN5 = 10.7 M_Sun, a_O6 = 10.6 R_Sun, a_WN5 = 26.1 R_Sun. Based on new and archival light curves and by applying the Hertzsprung method, we improved the photometrical estimate of secular increase rate of the orbital period in V444 Cyg dP/dt_ph = 0.119+-0.003 s/yr. From the comparison of the new and archival radial velocity curves of V444 Cyg we independently derived the secular orbital period change rate dP/dt_sp = 0.147+-0.032 s/yr, in agreement with the photometrical dP/dt_ph. The obtained secular increase rate of the binary orbital period dP/dt and the mean radii of the components enabled us to estimate the stellar wind mass-loss rate from WR star dM/dt_WN5 = -(6.0+-0.4)*10^-6 M_Sun/yr.


title: Efficient Graphics Representation with Differentiable Indirection

abstract: We introduce differentiable indirection -- a novel learned primitive that employs differentiable multi-scale lookup tables as an effective substitute for traditional compute and data operations across the graphics pipeline. We demonstrate its flexibility on a number of graphics tasks, i.e., geometric and image representation, texture mapping, shading, and radiance field representation. In all cases, differentiable indirection seamlessly integrates into existing architectures, trains rapidly, and yields both versatile and efficient results.


title: AONN-2: An adjoint-oriented neural network method for PDE-constrained shape optimization

abstract: Shape optimization has been playing an important role in a large variety of engineering applications. Existing shape optimization methods are generally mesh-dependent and therefore encounter challenges due to mesh deformation. To overcome this limitation, we present a new adjoint-oriented neural network method, AONN-2, for PDE-constrained shape optimization problems. This method extends the capabilities of the original AONN method [1], which is developed for efficiently solving parametric optimal control problems. AONN-2 inherits the direct-adjoint looping (DAL) framework for computing the extremum of an objective functional and the neural network methods for solving complicated PDEs from AONN. Furthermore, AONN-2 expands the application scope to shape optimization by taking advantage of the shape derivatives to optimize the shape represented by discrete boundary points. AONN-2 is a fully mesh-free shape optimization approach, naturally sidestepping issues related to mesh deformation, with no need for maintaining mesh quality and additional mesh corrections. A series of experimental results are presented, highlighting the flexibility, robustness, and accuracy of AONN-2.


title: Augmented quantization: a general approach to mixture models

abstract: The investigation of mixture models is a key to understand and visualize the distribution of multivariate data. Most mixture models approaches are based on likelihoods, and are not adapted to distribution with finite support or without a well-defined density function. This study proposes the Augmented Quantization method, which is a reformulation of the classical quantization problem but which uses the p-Wasserstein distance. This metric can be computed in very general distribution spaces, in particular with varying supports. The clustering interpretation of quantization is revisited in a more general framework. The performance of Augmented Quantization is first demonstrated through analytical toy problems. Subsequently, it is applied to a practical case study involving river flooding, wherein mixtures of Dirac and Uniform distributions are built in the input space, enabling the identification of the most influential variables.


title: Self-consistent simulation of photoelectrons in exoplanet winds: Faster ionisation and weaker mass loss rates

abstract: Planetary mass loss is governed by several physical mechanisms, including photoionisation that may impact the evolution of the atmosphere. Stellar radiation energy deposited as heat depends strongly on the energy of the primary electrons following photoionisation and on the local fractional ionisation. All these factors affect the model-estimated atmospheric mass loss rates and other characteristics of the outflow in ways that have not been clearly elucidated. The shape of the XUV stellar spectra influences strongly the photoionisation and heating deposition on the atmosphere. We elaborate on the local and planet-wise effects, to clearly demonstrate the significance of such interactions. Using the PLUTO code, we performed 1D hydrodynamics simulations from Neptune to Jupiter size planets and stars from M dwarfs to Sun-like. Our results indicate a significant decrease of the planetary mass loss rate for all planetary systems when secondary ionisation is taken into account. The mass loss rate is found to decrease by 43$\%$ for the more massive exoplanet to 54$\%$ for the less massive exoplanet orbiting solar-like stars, and up to 52$\%$ for a Jupiter-like planet orbiting a M type star. Our results also indicate much faster ionisation of the atmosphere due to photoelectrons. We built a self-consistent model including secondary ionisation by photoelectron to evaluate its impact on mass loss rates. We find that photoelectrons affect the mass loss rates by factors that are potentially important for planetary evolution theories. We also find that enhanced ionisation occurs at altitudes that are often probed with specific atomic lines in transmission spectroscopy. Future modelling of these processes should include the role of photoelectrons. Finally, we make available a simple yet accurate parameterisation for atomic hydrogen atmospheres.


title: Fractional Advection Diffusion Asymmetry Equation, derivation, solution and application

abstract: The non-Markovian continuous-time random walk model, featuring fat-tailed waiting times and narrow distributed displacements with a non-zero mean, is a well studied model for anomalous diffusion. Using an analytical approach, we recently demonstrated how a fractional space advection diffusion asymmetry equation, usually associated with Markovian L\'evy flights, describes the spreading of a packet of particles. Since we use Gaussian statistics for jump lengths though fat-tailed distribution of waiting times, the appearance of fractional space derivatives in the kinetic equation demands explanations provided in this manuscript. As applications we analyse the spreading of tracers in two dimensions, breakthrough curves investigated in the field of contamination spreading in hydrology and first passage time statistics. We present a subordination scheme valid for the case when the mean waiting time is finite and the variance diverges, which is related to L\'evy statistics for the number of renewals in the process.


title: Ferromagnetic response of thin NiI$_2$ flakes up to room temperatures

abstract: We investigate the magnetic response of thin NiI$_2$ flakes for temperatures above 80~K. Since no magnetic ordering is expected for bulk NiI$_2$, we observe clear paramagnetic response for massive NiI$_2$ single crystals. In contrast, thin NiI$_2$ flakes show well-defined ferromagnetic hysteresis loop within $\pm2$~kOe field range. The value of the response does not scale with the sample mass, ferromagnetic hysteresis can be seen for any flake orientation in the external field, so it originates from the sample surface, possibly, due to the anisotropic exchange (Kitaev interaction). The observed ferromagnetism is weakly sensitive to temperature up to 300~K. If a flake is multiply exposed to air, ferromagnetic hysteresis is accompanied by the periodic modulation of the magnetization curves, which is usually a fingerprint of the multiferroic state. While NiI$_2$ flakes can not be considered as multiferroics above 80~K, surface degradation due to the crystallohydrate formation decreases the symmetry of NiI$_2$ surface, which produces the surface ferroelectric polarization in addition to the described above ferromagnetic one.


title: Electronic Phase Transformations and Energy Gap Variations in Uniaxial and Biaxial Strained Monolayer VS$_2$ TMDs: A Comprehensive DFT and Beyond-DFT Study

abstract: In the field of 2D materials, transition metal dichalcogenides (TMDs) are gaining attention for electronic applications. Our study delves into the H-phase monolayer VS$_2$ of the TMD family, analyzing its electronic structure and how strain affects its band structure using Density Functional Theory (DFT). Using a variety of computational methods, we provide an in-depth view of the electronic band structure. We find that strains between -5\% and +5\% significantly affect the energy gap, with uniaxial strains having a stronger effect than biaxial strains. Remarkably, compressive strains induce a phase shift from semiconducting to metallic, associated with symmetry breaking and changes in bond length. These findings not only deepen our understanding of the electronic nuances of monolayer VS$_2$ under varying strains but also suggest potential avenues for creating new electronic devices through strain engineering.


title: Muons for cultural heritage

abstract: Non-destructive subsurface imaging methods based on the absorption or scattering of photons or neutrons are becoming increasingly popular in cultural asset conservation. However, these techniques are limited by physical and practical issues: their penetration depth may be insufficient for large items, and they usually necessitate transferring the objects of interest to specialised laboratories. The latter issue is recently being addressed by the development of portable sources, but artificial radiation can be harmful and is thus subjected to strict regulation. Muons are elementary particles that are abundantly and freely created in the atmosphere by cosmic-ray interactions. Their absorption and scattering in matter are respectively dependent on the density and elemental composition of the substance they traverse, suggesting that they could be used for subsurface remote imaging. This novel technique, dubbed "muography", has been used in applications ranging from geophysics to archaeology, but has remained largely unexplored for a wide range of cultural heritage objects that are small by muography standards but whose size and density are too large for conventional imaging methods. This document outlines the general arguments and some early simulation studies that aim at exploring the low-size limit of muography and its relevance for cultural heritage preservation.


title: Learning by Self-Explaining

abstract: Current AI research mainly treats explanations as a means for model inspection. Yet, this neglects findings from human psychology that describe the benefit of self-explanations in an agent's learning process. Motivated by this, we introduce a novel approach in the context of image classification, termed Learning by Self-Explaining (LSX). LSX utilizes aspects of self-refining AI and human-guided explanatory machine learning. The underlying idea is that a learner model, in addition to optimizing for the original predictive task, is further optimized based on explanatory feedback from an internal critic model. Intuitively, a learner's explanations are considered "useful" if the internal critic can perform the same task given these explanations. We provide an overview of important components of LSX and, based on this, perform extensive experimental evaluations via three different example instantiations. Our results indicate improvements via Learning by Self-Explaining on several levels: in terms of model generalization, reducing the influence of confounding factors, and providing more task-relevant and faithful model explanations. Overall, our work provides evidence for the potential of self-explaining within the learning phase of an AI model.


title: Resource Optimization Using A Step-by-step Scheme in Wireless Sensing and Localization Networks

abstract: Due to the lack of wireless spectrum resources, people are focusing on the versatile wireless networks. Wireless localization and target sensing both rely on precise extraction of parameters such as signal amplitude, propagation delay and Doppler shift from the received signals. Due to the high multi-path resolution and strong penetration of UWB signals, both localization and sensing can be achieved through the same UWB waveform. Practical networks are often resource-constrained, in order to improve the accuracy of integrated networks, we need to optimize the allocation of resources in the networks. Considering the complexity of the multi-slot networks, this paper derives the Fisher Information Matrix (FIM) expressions for single-slot and dual-slot integrated sensing and localization (ISAL) networks respectively, and proposes two resource optimization schemes, namely step-by-step scheme and integrated scheme. The numerical results show that: (i) for the sensing-resource-deficient networks with relatively uniform node distribution, the energy allocated to each step in the step-by-step scheme satisfies the relationship: energy for clock offset < energy for radar localization < energy for target sensing. (ii) In the multi-slot ISAL networks, the system will allocate more energy to the time slots where the networks are relatively sensing-resource-deficient. (iii) The step-by-step scheme is more suitable for the sensing-resource-abundant networks, while the integrated scheme is more suitable for the sensing-resource-deficient networks.


title: Topological Exploration using Segmented Map with Keyframe Contribution in Subterranean Environments

abstract: Existing exploration algorithms mainly generate frontiers using random sampling or motion primitive methods within a specific sensor range or search space. However, frontiers generated within constrained spaces lead to back-and-forth maneuvers in large-scale environments, thereby diminishing exploration efficiency. To address this issue, we propose a method that utilizes a 3D dense map to generate Segmented Exploration Regions (SERs) and generate frontiers from a global-scale perspective. In particular, this paper presents a novel topological map generation approach that fully utilizes Line-of-Sight (LOS) features of LiDAR sensor points to enhance exploration efficiency inside large-scale subterranean environments. Our topological map contains the contributions of keyframes that generate each SER, enabling rapid exploration through a switch between local path planning and global path planning to each frontier. The proposed method achieved higher explored volume generation than the state-of-the-art algorithm in a large-scale simulation environment and demonstrated a 62% improvement in explored volume increment performance. For validation, we conducted field tests using UAVs in real subterranean environments, demonstrating the efficiency and speed of our method.


title: Exploring Meta Information for Audio-based Zero-shot Bird Classification

abstract: Advances in passive acoustic monitoring and machine learning have led to the procurement of vast datasets for computational bioacoustic research. Nevertheless, data scarcity is still an issue for rare and underrepresented species. This study investigates how meta-information can improve zero-shot audio classification, utilising bird species as an example case study due to the availability of rich and diverse meta-data. We investigate three different sources of metadata: textual bird sound descriptions encoded via (S)BERT, functional traits (AVONET), and bird life-history (BLH) characteristics. As audio features, we extract audio spectrogram transformer (AST) embeddings and project them to the dimension of the auxiliary information by adopting a single linear layer. Then, we employ the dot product as compatibility function and a standard zero-shot learning ranking hinge loss to determine the correct class. The best results are achieved by concatenating the AVONET and BLH features attaining a mean unweighted F1-score of .233 over five different test sets with 8 to 10 classes.


title: Optimizing Modular Robot Composition: A Lexicographic Genetic Algorithm Approach

abstract: Industrial robots are designed as general-purpose hardware with limited ability to adapt to changing task requirements or environments. Modular robots, on the other hand, offer flexibility and can be easily customized to suit diverse needs. The morphology, i.e., the form and structure of a robot, significantly impacts the primary performance metrics acquisition cost, cycle time, and energy efficiency. However, identifying an optimal module composition for a specific task remains an open problem, presenting a substantial hurdle in developing task-tailored modular robots. Previous approaches either lack adequate exploration of the design space or the possibility to adapt to complex tasks. We propose combining a genetic algorithm with a lexicographic evaluation of solution candidates to overcome this problem and navigate search spaces exceeding those in prior work by magnitudes in the number of possible compositions. We demonstrate that our approach outperforms a state-of-the-art baseline and is able to synthesize modular robots for industrial tasks in cluttered environments.


title: About discrete subgroups of full groups of measure preserving equivalence relations

abstract: In this note we study countable subgroups of the full group of a measure preserving equivalence relation. We provide various constraints on the group structure, the nature of the action, and on the measure of fixed point sets, that imply that the subgroup topology is not discrete. We mention various conjectures about discrete subgroups of full groups.


title: A new upper bound for angular resolution

abstract: The angular resolution of a planar straight-line drawing of a graph is the smallest angle formed by two edges incident to the same vertex. Garg and Tamassia (ESA '94) constructed a family of planar graphs with maximum degree $d$ that have angular resolution $O((\log d)^{\frac{1}{2}}/d^{\frac{3}{2}})$ in any planar straight-line drawing. This upper bound has been the best known upper bound on angular resolution for a long time. In this paper, we improve this upper bound. For an arbitrarily small positive constant $\varepsilon$, we construct a family of planar graphs with maximum degree $d$ that have angular resolution $O((\log d)^\varepsilon/d^{\frac{3}{2}})$ in any planar straight-line drawing.