title: A Connection between Metric Dimension and Distinguishing Number of Graphs

abstract: In this paper, we introduce a connection between two classical concepts of graph theory: \; metric dimension and distinguishing number. For a given graph $G$, let ${\rm dim}(G)$ and $D(G)$ represent its metric dimension and distinguishing number, respectively. We show that in connected graphs, any resolving set breaks the symmetry in the graphs. Precisely, if $G$ is a connected graph with a resolving set $S=\{v_1, v_2, \ldots, v_n \}$, then $\{\{v_1\}, \{v_2\}, \ldots, \{v_n\}, V(G)\setminus S \}$ is a partition of $V(G)$ into a distinguishing coloring, and as a consequence $D(G)\leq {\rm dim}(G)+1$. Furthermore, we construct graphs $G$ such that $D(G)=n$ and ${\rm dim}(G)=m$ for all values of $n$ and $m$, where $1\leq n< m$. Using this connection, we have characterized all graphs $G$ of order $n$ with $D(G) \in \{n-1, n-2\}$. For any graph $G$, let $G_c = G$ if $G$ is connected, and $G_c = \overline{G}$ if $G$ is disconnected. Let $G^{\ast}$ denote the twin graph obtained from $G$ by contracting any maximal set of vertices with the same open or close neighborhood into a vertex. Let {\rsfs F} be the set of all graphs except graphs $G$ with the property that ${\rm dim}(G_c)=|V(G)|-4$, ${\rm diam}(G_c) \in \{2, 3\}$ and $5\leq |V(G_{c}^{\ast})| \leq 9$. We characterize all graphs $G \in$ {\rsfs F} of order $n$ with the property that $D(G)= n-3$.


title: Offshore Wind Plant Instance Segmentation Using Sentinel-1 Time Series, GIS, and Semantic Segmentation Models

abstract: Offshore wind farms represent a renewable energy source with a significant global growth trend, and their monitoring is strategic for territorial and environmental planning. This study's primary objective is to detect offshore wind plants at an instance level using semantic segmentation models and Sentinel-1 time series. The secondary objectives are: (a) to develop a database consisting of labeled data and S-1 time series; (b) to compare the performance of five deep semantic segmentation architectures (U-Net, U-Net++, Feature Pyramid Network - FPN, DeepLabv3+, and LinkNet); (c) develop a novel augmentation strategy that shuffles the positions of the images within the time series; (d) investigate different dimensions of time series intervals (1, 5, 10, and 15 images); and (e) evaluate the semantic-to-instance conversion procedure. LinkNet was the top-performing model, followed by U-Net++ and U-Net, while FPN and DeepLabv3+ presented the worst results. The evaluation of semantic segmentation models reveals enhanced Intersection over Union (IoU) (25%) and F-score metrics (18%) with the augmentation of time series images. The study showcases the augmentation strategy's capability to mitigate biases and precisely detect invariant targets. Furthermore, the conversion from semantic to instance segmentation demonstrates its efficacy in accurately isolating individual instances within classified regions - simplifying training data and reducing annotation effort and complexity.


title: VSFormer: Visual-Spatial Fusion Transformer for Correspondence Pruning

abstract: Correspondence pruning aims to find correct matches (inliers) from an initial set of putative correspondences, which is a fundamental task for many applications. The process of finding is challenging, given the varying inlier ratios between scenes/image pairs due to significant visual differences. However, the performance of the existing methods is usually limited by the problem of lacking visual cues (\eg texture, illumination, structure) of scenes. In this paper, we propose a Visual-Spatial Fusion Transformer (VSFormer) to identify inliers and recover camera poses accurately. Firstly, we obtain highly abstract visual cues of a scene with the cross attention between local features of two-view images. Then, we model these visual cues and correspondences by a joint visual-spatial fusion module, simultaneously embedding visual cues into correspondences for pruning. Additionally, to mine the consistency of correspondences, we also design a novel module that combines the KNN-based graph and the transformer, effectively capturing both local and global contexts. Extensive experiments have demonstrated that the proposed VSFormer outperforms state-of-the-art methods on outdoor and indoor benchmarks. Our code is provided at the following repository: https://github.com/sugar-fly/VSFormer.


title: High temperature $U(1)_A$ breaking in the chiral limit

abstract: We solve the long-standing problem concerning the fate of the chiral $U(1)_A$ symmetry in QCD-like theories at high temperature in the chiral limit. We introduce a simple instanton based random matrix model that precisely reproduces the properties of the lowest part of the lattice overlap Dirac spectrum. We show that in the chiral limit the instanton gas splits into a free gas component with a density proportional to $m^{N_f}$ and a gas of instanton-antiinstanton molecules. While the latter do not influence the chiral properties, for any nonzero quark mass the free gas component produces a singular spectral peak at zero that dominates Banks-Casher type spectral sums. By calculating these we show that the difference of the pion and delta susceptibility vanishes only for three or more massless flavors, however, the chiral condensate is zero already for two massless flavors


title: Approximate Integer Solution Counts over Linear Arithmetic Constraints

abstract: Counting integer solutions of linear constraints has found interesting applications in various fields. It is equivalent to the problem of counting lattice points inside a polytope. However, state-of-the-art algorithms for this problem become too slow for even a modest number of variables. In this paper, we propose a new framework to approximate the lattice counts inside a polytope with a new random-walk sampling method. The counts computed by our approach has been proved approximately bounded by a $(\epsilon, \delta)$-bound. Experiments on extensive benchmarks show that our algorithm could solve polytopes with dozens of dimensions, which significantly outperforms state-of-the-art counters.


title: Flip colouring of graphs

abstract: It is proved that for integers $b, r$ such that $3 \leq b < r \leq \binom{b+1}{2} - 1$, there exists a red/blue edge-colored graph such that the red degree of every vertex is $r$, the blue degree of every vertex is $b$, yet in the closed neighborhood of every vertex there are more blue edges than red edges. The upper bound $r \le \binom{b+1}{2}-1$ is best possible for any $b \ge 3$. We further extend this theorem to more than two colours, and to larger neighbourhoods. A useful result required in some of our proofs, of independent interest, is that for integers $r,t$ such that $0 \leq t \le \frac{r^2}{2} - 5r^{3/2}$, there exists an $r$-regular graph in which each open neighborhood induces precisely $t$ edges. Several explicit constructions are introduced and relationships with constant linked graphs, $(r,b)$-regular graphs and vertex transitive graphs are revealed.


title: A ternary mixture model with dynamic boundary conditions

abstract: The influence of short-range interactions between a multi-phase, multi-component mixture and a solid wall in confined geometries is crucial in life sciences and engineering. In this work, we extend the Cahn-Hilliard model with dynamic boundary conditions from a binary to a ternary mixture, employing the Onsager principle that accounts for cross-coupling between forces and fluxes in both bulk and surface. Moreover, we have developed a linear, second-order, and unconditionally energy stable numerical scheme for solving the governing equations, utilizing the Invariant Energy Quadratization (IEQ) method. This efficient solver allows us to explore the impacts of wall-mixture interactions and dynamic boundary conditions on phenomena like spontaneous phase separation, coarsening processes, and the wettability of droplets on surfaces. We observe that wall-mixture interactions influence not only surface phenomena, such as droplet contact angles, but also patterns deep within the bulk. Additionally, the relaxation rates control the droplet spreading on surfaces. Furthermore, the cross-coupling relaxation rates in the bulk significantly affect coarsening patterns. Our work establishes a comprehensive framework for studying multi-component mixtures in confined geometries.


title: Structure-driven phase transitions in paracrystalline topological insulators

abstract: We study phase transitions driven by structural disorder in noncrystalline topological insulators. We introduce a procedural generation algorithm, the Perlin noise, typically used in computer graphics, to incorporate disorder to a two-dimensional lattice, allowing a continuous interpolation between a pristine and a random gas system, going through all different intermediate structural regimes, such as the paracrystalline and the amorphous phases. We define a two-band model, including intraorbital and interorbital mixings, on the structures generated by the algorithm and we find a sequence of structure-driven topological phase transitions characterized by changes in the topological Bott index, at which the insulating gap dynamically closes while evolving from the Bragg planes of the Brillouin zone towards the center. We interpret our results within the framework of Hosemann's paracrystal theory, in which distortion is included in the lattice structure factor and renormalizes the band-splitting parameter. Based on these results, we ultimately demonstrate the phenomenon of topological protection at its extreme.


title: Possible bi-stable structures of pyrene-butanoic-acid-linked protein molecules adsorbed on graphene: Theoretical study

abstract: We theoretically analyze possible multiple conformations of protein molecules immobilized by 1-pyrenebutanoic-acid-succinimidyl-ester (PASE) linkers on graphene. The activation barrier between two bi-stable conformations exhibited by PASE is confirmed to be based on the steric hindrance effect between a hydrogen on the pyrene group and a hydrogen on the alkyl group of this molecule. Even after the protein is supplemented, this steric hindrance effect remains if the local structure of the linker consisting of an alkyl group and a pyrene group is maintained. Therefore, it is likely that the kinetic behavior of a protein immobilized with a single PASE linker exhibits an activation barrier-type energy surface between the bi-stable conformations on graphene. We discuss the expected protein sensors when this type of energy surface appears and provide a guideline for improving the sensitivity, especially as an oscillator-type biosensor.


title: The von Bahr-Esseen type inequality under sub-linear expectations and applications

abstract: Moment inequalities play important roles in probability limit theory and mathematical statistics. In this work, the von Bahr-Esseen type inequality for extended negatively dependent random variables under sub-linear expectations is established successfully. By virtue of the inequality, we further obtain the Kolmogorov type weak law of large numbers for partial sums and the complete convergence for weighted sums, which extend and improve corresponding results in sub-linear expectation space.


title: Toward General-Purpose Robots via Foundation Models: A Survey and Meta-Analysis

abstract: Building general-purpose robots that can operate seamlessly, in any environment, with any object, and utilizing various skills to complete diverse tasks has been a long-standing goal in Artificial Intelligence. Unfortunately, however, most existing robotic systems have been constrained - having been designed for specific tasks, trained on specific datasets, and deployed within specific environments. These systems usually require extensively-labeled data, rely on task-specific models, have numerous generalization issues when deployed in real-world scenarios, and struggle to remain robust to distribution shifts. Motivated by the impressive open-set performance and content generation capabilities of web-scale, large-capacity pre-trained models (i.e., foundation models) in research fields such as Natural Language Processing (NLP) and Computer Vision (CV), we devote this survey to exploring (i) how these existing foundation models from NLP and CV can be applied to the field of robotics, and also exploring (ii) what a robotics-specific foundation model would look like. We begin by providing an overview of what constitutes a conventional robotic system and the fundamental barriers to making it universally applicable. Next, we establish a taxonomy to discuss current work exploring ways to leverage existing foundation models for robotics and develop ones catered to robotics. Finally, we discuss key challenges and promising future directions in using foundation models for enabling general-purpose robotic systems. We encourage readers to view our living GitHub repository of resources, including papers reviewed in this survey as well as related projects and repositories for developing foundation models for robotics.


title: Linearization of finite elasticity with surface tension

abstract: We propose models in nonlinear elasticity for nonsimple materials that include surface energy terms. Additionally, we also discuss living surface loads on the boundary. We establish corresponding linearized models and show their relationship to the original ones by means of $\Gamma$-convergence.


title: Convergence of Heavy-Tailed Hawkes Processes and the Microstructure of Rough Volatility

abstract: We establish the weak convergence of the intensity of a nearly-unstable Hawkes process with heavy-tailed kernel. Our result is used to derive a scaling limit for a financial market model where orders to buy or sell an asset arrive according to a Hawkes process with power-law kernel. After suitable rescaling the price-volatility process converges weakly to a rough Heston model. Our convergence result is much stronger than previously established ones that have either focused on light-tailed kernels or the convergence of integrated volatility process. The key is to establish the tightness of the family of rescaled volatility processes. This is achieved by introducing a new methods to establish the $C$-tightness of c\`adl\`ag processes based on the classical Kolmogorov-Chentsov tightness criterion for continuous processes.


title: Managing the unknown: a survey on Open Set Recognition and tangential areas

abstract: In real-world scenarios classification models are often required to perform robustly when predicting samples belonging to classes that have not appeared during its training stage. Open Set Recognition addresses this issue by devising models capable of detecting unknown classes from samples arriving during the testing phase, while maintaining a good level of performance in the classification of samples belonging to known classes. This review comprehensively overviews the recent literature related to Open Set Recognition, identifying common practices, limitations, and connections of this field with other machine learning research areas, such as continual learning, out-of-distribution detection, novelty detection, and uncertainty estimation. Our work also uncovers open problems and suggests several research directions that may motivate and articulate future efforts towards more safe Artificial Intelligence methods.


title: Heterogenous Network Analytics of Small Group Teamwork: Using Multimodal Data to Uncover Individual Behavioral Engagement Strategies

abstract: Individual behavioral engagement is an important indicator of active learning in collaborative settings, encompassing multidimensional behaviors mediated through various interaction modes. Little existing work has explored the use of multimodal process data to understand individual behavioral engagement in face-to-face collaborative learning settings. In this study we bridge this gap, for the first time, introducing a heterogeneous tripartite network approach to analyze the interconnections among multimodal process data in collaborative learning. Students' behavioral engagement strategies are analyzed based on their interaction patterns with various spatial locations and verbal communication types using a heterogeneous tripartite network. The multimodal collaborative learning process data were collected from 15 teams of four students. We conducted stochastic blockmodeling on a projection of the heterogeneous tripartite network to cluster students into groups that shared similar spatial and oral engagement patterns. We found two distinct clusters of students, whose characteristic behavioural engagement strategies were identified by extracting interaction patterns that were statistically significant relative to a multinomial null model. The two identified clusters also exhibited a statistically significant difference regarding students' perceived collaboration satisfaction and teacher-assessed team performance level. This study advances collaboration analytics methodology and provides new insights into personalized support in collaborative learning.


title: Switching dynamics and improved efficiency of free-standing antiferroelectric capacitors

abstract: We report the switching dynamics of antiferroelectric Lead Zirconate (PbZrO3) free standing capacitors compared to their epitaxial counterparts. Frequency dependence of hysteresis indicates that freestanding capacitors exhibit a lower dispersion of switching fields, lower residual polarization, and faster switching response as compared to epitaxially-clamped capacitors. As a consequence, freestanding capacitor membranes exhibit better energy storage density and efficiency.


title: Oscillating edge current in polar active fluid

abstract: Dense bacterial suspensions exhibit turbulent behaviour called ``bacterial turbulence''. The behavior of the bulk unconstrained bacterial turbulence is described well by the Toner-Tu-Swift-Hohenberg (TTSH) equation for the velocity field. However, it remains unclear how we should treat boundary conditions on bacterial turbulence in contact with some boundaries (e.g. solid walls). To be more specific, although the importance of the ``edge current'', the flow along the boundary, has been demonstrated in several experimental studies on confined bacterial suspensions, previous numerical studies based on the TTSH equation employ non-slip boundary conditions and do not seem to describe properly the behavior of bacteria near the boundaries. In this study, we impose a slip boundary condition on the TTSH equation to describe the bacterial motion at boundaries. We develop a method to implement the slip boundary condition. Using this method, we have successfully produced edge current and discovered that the direction of the edge current temporally oscillates. The oscillation can be attributable to the advection term in the TTSH equation. Our work demonstrates that boundary conditions could play an important role in the collective dynamics of active systems.


title: Spherical symmetric black hole based on Higher derivative gravity

abstract: The theory of higher derivative gravity is proposed to solve the non-renormalizable problem in quantum gravity.In this article, We use two numerical methods to fit another static spherically symmetric black hole besides the Schwarzschild black hole.We obtain approximate expressions for two numerical solutions, both of which contain a parameter that deviates from the Schwarzschild degree.We also analyze their degree of precision and the quasi-normal modes of the black hole.


title: Filament eruption from active region 13283 leading to fast halo-CME and intense geomagnetic storm on 23 April 2023

abstract: Using multi-instrument and multi-wavelength observations, we studied a CME eruption that led to intense geomagnetic storm on 23 April 2023. The eruption occurred on April 21 in solar active region 13283 near the disk-center. The AR was in its decay stage, with fragmented polarities and a pre-existing long filament channel, a few days before the eruption. The study of magnetic field evolution suggests that the flux-rope (filament) has been built up by monotonous helicity accumulation over several days, and further converging and canceling fluxes lead to helicity injection change, resulting in the unstable nature of the magnetic flux-rope (MFR) and its further eruption. Importantly, the CME morphology revealed that the MFR apex underwent a rotation of upto 56\degree~in clockwise-direction owing to its positive helicity. The CME decelerates in the LASCO-FOV and has a plane-of-sky velocity of 1226 km/s at 20\,R$_\odot$. In the Heliospheric Imager FOV, the CME lateral expansion is tracked more than the earthward motion. This implies that the arrival time estimation is difficult to assess. The in-situ arrival of ICME shock was at 07:30 UT on April 23, and a geomagnetic storm commenced at 08:30\,UT. The flux rope fitting to the in-situ magnetic field observations reveals that the MC flux rope orientation is consistent with its near Sun orientation, which has a strong negative Bz-component. The analysis of this study indicates that the near-Sun rotation of the filament during its eruption to the CME is the key to the negative Bz-component and consequently the intense geomagnetic storm.


title: Lyman Continuum Leaker Candidates at $z\sim3-4$ in the HDUV Based on a Spectroscopic Sample of MUSE LAEs

abstract: In recent years, a number of Lyman continuum (LyC) leaker candidates at intermediate redshifts have been found, providing insight into how the Universe was reionised at early cosmic times. Here we identify new LyC leaker candidates at $z\approx 3-4.5$ and compare them to objects from the literature to get an overview of the different observed escape fractions and their relation to the properties of the Lyman $\alpha$ (Ly$\alpha$) emission line. The aim of this work is to test indicators for LyC leakage and to improve our understanding of the kind of galaxies from which LyC radiation can escape. We use data from the Hubble Deep Ultraviolet (HDUV) legacy survey to search for LyC emission based on a sample of $\approx 2000$ Ly$\alpha$ emitters (LAEs) detected previously in two surveys with the Multi-Unit Spectroscopic Explorer (MUSE), MUSE-Deep and MUSE-Wide. Based on their known redshifts and positions, we look for potential LyC leakage in the WFC3/UVIS F336W band of the HDUV. The escape fractions are measured and compared based on spectral energy distribution (SED) fitting performed using the CIGALE software. We add twelve objects to the sample of known LyC leaker candidates, one of which was previously known, and compare their Ly$\alpha$ properties to their escape fractions. We find escape fractions between $\sim 20\%$ and $\sim 90\%$, assuming a high transmission in the intergalactic medium (IGM). We show a method to use the number of LyC leaker candidates we find to infer the underlying average escape fraction of galaxies, which is $\approx 12\%$. Based on their Ly$\alpha$ properties, we conclude that LyC leakers are not very different from other high-z LAEs and suggest that most LAEs could be leaking LyC even if this can not always be detected due to the direction of emission and the transmission properties of the IGM.


title: Generating mock galaxy catalogues for flux-limited samples like the DESI Bright Galaxy Survey

abstract: Accurate mock galaxy catalogues are crucial to validate analysis pipelines used to constrain dark energy models. We present a fast HOD-fitting method which we apply to the AbacusSummit simulations to create a set of mock catalogues for the DESI Bright Galaxy Survey, which contain r-band magnitudes and g-r colours. The halo tabulation method fits HODs for different absolute magnitude threshold samples simultaneously, preventing unphysical HOD crossing between samples. We validate the HOD fitting procedure by fitting to real-space clustering measurements and galaxy number densities from the MXXL BGS mock, which was tuned to the SDSS and GAMA surveys. The best-fitting clustering measurements and number densities are mostly within the assumed errors, but the clustering for the faint samples is low on large scales. The best-fitting HOD parameters are robust when fitting to simulations with different realisations of the initial conditions. When varying the cosmology, trends are seen as a function of each cosmological parameter. We use the best-fitting HOD parameters to create cubic box and cut sky mocks from the AbacusSummit simulations, in a range of cosmologies. As an illustration, we compare the Mr<-20 sample of galaxies in the mock with BGS measurements from the DESI one-percent survey. We find good agreement in the number densities, and the projected correlation function is reasonable, with differences that can be improved in the future by fitting directly to BGS clustering measurements. The cubic box and cut-sky mocks in different cosmologies are made publicly available.


title: Forbidden Facts: An Investigation of Competing Objectives in Llama-2

abstract: LLMs often face competing pressures (for example helpfulness vs. harmlessness). To understand how models resolve such conflicts, we study Llama-2-chat models on the forbidden fact task. Specifically, we instruct Llama-2 to truthfully complete a factual recall statement while forbidding it from saying the correct answer. This often makes the model give incorrect answers. We decompose Llama-2 into 1000+ components, and rank each one with respect to how useful it is for forbidding the correct answer. We find that in aggregate, around 35 components are enough to reliably implement the full suppression behavior. However, these components are fairly heterogeneous and many operate using faulty heuristics. We discover that one of these heuristics can be exploited via a manually designed adversarial attack which we call The California Attack. Our results highlight some roadblocks standing in the way of being able to successfully interpret advanced ML systems. Project website available at https://forbiddenfacts.github.io .


title: Derived and stable equivalences of centralizer matrix algebras

abstract: The centralizer of a matrix in a full matrix algebra is called a principal centralizer matrix algebra. Characterizations are presented for principal centralizer matrix algebras to be Morita equivalent, almost $\nu$-stable derived equivalent, derived equivalent, and stably equivalent of Morita type, respectively, in terms of new equivalence relations on square matrices. These equivalence relations on matrices are introduced in a natural way by their elementary divisors. Thus the categorical equivalences are reduced to questions in linear algebra. Consequently, principal centralizer matrix algebras of permutation matrices are Morita equivalent if and only if they are derived equivalent. Moreover, two representation-finite, principal centralizer matrix algebras over a perfect field are stably equivalent of Morita type if and only if they are stably equivalent. Further, derived equivalences between the principal centralizer matrix algebras of permutation matrices induce the ones of their $p$-regular parts and $p$-singular parts of the given permutations.


title: Toward Exact Critical Exponents from the low-order loop expansion of the Effective Potential in Quantum Field Theory

abstract: The asymptotic strong-coupling behavior as well as the exact critical exponents from scalar field theory even in the simplest case of $1+1$ dimensions have not been obtained yet. Hagen Kleinert has linked both critical exponents and strong coupling parameters to each other. He used a clevert variational technique ( back to kleinert and Feynman) to extract accurate values for the strong coupling parameters from which he was able to extract precise critical exponents. In this work, we suggest a simple method of using the effective potential (low-order) to obtain exact values for the strong-coupling parameters for the $\phi^{4}$ scalar field theory in $0+1$ and $1+1$ space-time dimensions. For the $0+1$ case, our results coincide with the well-known exact values from literature while for the $1+1$ case we test the results by obtaining the corresponding exact critical exponent. As the effective potential is a well-established tool in quantum field theory, we expect that the results can be easily extended to the most important three dimensional case and then the dream of getting exact critical exponents is made possible.


title: $Z$-boson decays into $S$-wave quarkonium plus a photon up to ${\cal O}(\alpha_{s} v^2)$ corrections

abstract: In this paper, we calculate the decay widths and branching fractions for the decays $Z \to H+ \gamma$ up to ${\cal O}(\alpha_{s} v^2)$ accuracy within the framework of nonrelativistic QCD, where $H$ stands for the $S$-wave quarkonium $\eta_c$, $J/\psi$, $\eta_b$ or $\Upsilon$, respectively. To compare with the leading-order terms, those corrections show good perturbative behavior as expected. It is found that contributions from the next-to-leading order QCD correction ${\cal O}(\alpha_{s}v^0)$, the relativistic correction ${\cal O}(\alpha^{0}_{s}v^2)$ and their joint correction ${\cal O}(\alpha_{s} v^2)$ are sizable and comparable to each other, especially for the charmonium case. Thus we need to take all of them into consideration for a sound estimation. For a high luminosity electron-positron collider running around the $Z$-pole, due to $Z$-boson resonance effect, sizable events could be produced from those rare decay channels.


title: On two uniform exponents of approximation related to Wirsing's problem

abstract: We aim to fill a gap in the proof of an inequality relating two exponents of uniform Diophantine approximation stated in a paper by Bugeaud. We succeed to verify the inequality in several instances, in particular for small dimension. Moreover, we provide counterexamples to generalizations, which contrasts the case of ordinary approximation where such phenomena do not occur. Our results contribute to the understanding of the discrepancy between small absolute values of a polynomial at a given real number and approximation to the number by algebraic numbers of absolutely bounded degree, a fundamental issue in the famous problem of Wirsing and variants.


title: Participation Incentives in Approval-Based Committee Elections

abstract: In approval-based committee (ABC) voting, the goal is to choose a subset of predefined size of the candidates based on the voters' approval preferences over the candidates. While this problem has attracted significant attention in recent years, the incentives for voters to participate in an election for a given ABC voting rule have been neglected so far. This paper is thus the first to explicitly study this property, typically called participation, for ABC voting rules. In particular, we show that all ABC scoring rules even satisfy group participation, whereas most sequential rules severely fail participation. We furthermore explore several escape routes to the impossibility for sequential ABC voting rules: we prove for many sequential rules that (i) they satisfy participation on laminar profiles, (ii) voters who approve none of the elected candidates cannot benefit by abstaining, and (iii) it is NP-hard for a voter to decide whether she benefits from abstaining.


title: Refined Characterizations of Approval-based Committee Scoring Rules

abstract: In approval-based committee (ABC) elections, the goal is to select a fixed-size subset of the candidates, a so-called committee, based on the voters' approval ballots over the candidates. One of the most popular classes of ABC voting rules are ABC scoring rules, which have recently been characterized by Lackner and Skowron (2021). However, this characterization relies on a model where the output is a ranking of committees instead of a set of winning committees and no full characterization of ABC scoring rules exists in the latter standard setting. We address this issue by characterizing two important subclasses of ABC scoring rules in the standard ABC election model, thereby both extending the result of Lackner and Skowron (2021) to the standard setting and refining it to subclasses. In more detail, by relying on a consistency axiom for variable electorates, we characterize (i) the prominent class of Thiele rules and (ii) a new class of ABC voting rules called ballot size weighted approval voting. Based on these theorems, we also infer characterizations of three well-known ABC voting rules, namely multi-winner approval voting, proportional approval voting, and satisfaction approval voting.


title: Evaluating Large Language Models for Health-related Queries with Presuppositions

abstract: As corporations rush to integrate large language models (LLMs) to their search offerings, it is critical that they provide factually accurate information that is robust to any presuppositions that a user may express. In this work, we introduce UPHILL, a dataset consisting of health-related queries with varying degrees of presuppositions. Using UPHILL, we evaluate the factual accuracy and consistency of InstructGPT, ChatGPT, and BingChat models. We find that while model responses rarely disagree with true health claims (posed as questions), they often fail to challenge false claims: responses from InstructGPT agree with 32% of the false claims, ChatGPT 26% and BingChat 23%. As we increase the extent of presupposition in input queries, the responses from InstructGPT and ChatGPT agree with the claim considerably more often, regardless of its veracity. Responses from BingChat, which rely on retrieved webpages, are not as susceptible. Given the moderate factual accuracy, and the inability of models to consistently correct false assumptions, our work calls for a careful assessment of current LLMs for use in high-stakes scenarios.


title: Automated Process Planning Based on a Semantic Capability Model and SMT

abstract: In research of manufacturing systems and autonomous robots, the term capability is used for a machine-interpretable specification of a system function. Approaches in this research area develop information models that capture all information relevant to interpret the requirements, effects and behavior of functions. These approaches are intended to overcome the heterogeneity resulting from the various types of processes and from the large number of different vendors. However, these models and associated methods do not offer solutions for automated process planning, i.e. finding a sequence of individual capabilities required to manufacture a certain product or to accomplish a mission using autonomous robots. Instead, this is a typical task for AI planning approaches, which unfortunately require a high effort to create the respective planning problem descriptions. In this paper, we present an approach that combines these two topics: Starting from a semantic capability model, an AI planning problem is automatically generated. The planning problem is encoded using Satisfiability Modulo Theories and uses an existing solver to find valid capability sequences including required parameter values. The approach also offers possibilities to integrate existing human expertise and to provide explanations for human operators in order to help understand planning decisions.


title: Follow-up of gravitational waves alerts with IACTs using Astro-COLIBRI

abstract: Follow-up of gravitational wave alerts has proven to be challenging in the past due to the large uncertainty on the localisation, much larger than the field of view of most instruments. A smart pointing strategy helps to increase the chance of observing the true position of the underlying compact binary merger event and so to detect an electromagnetic counterpart. To tackle this, a software called tilepy has been developed and was successfully used by the H.E.S.S. collaboration to search for very-high energy gamma-ray emission from GWs during the O2 and O3 runs. The optimised tiling strategies implemented in tilepy allowed H.E.S.S. to be the first ground facility to point toward the true position of GW 170817. Here we present the main strategy used by the software to compute an optimal observation schedule. The Astro-COLIBRI platform helps to plan follow-up of a large range of transient phenomena including GW alerts. The integration of tilepy in this tool allow for an easy planning and visualisation of of follow-up of gravitational wave alert helping the astronomer to maximise the chance of detecting a counterpart. The platform also provides an overview of the multi-wavelength context by grouping and visualising information coming from different observatories alongside GW alerts.


title: Clustering with Few Disks to Minimize the Sum of Radii

abstract: Given a set of $n$ points in the Euclidean plane, the $k$-MinSumRadius problem asks to cover this point set using $k$ disks with the objective of minimizing the sum of the radii of the disks. After a long line of research on related problems, it was finally discovered that this problem admits a polynomial time algorithm [GKKPV~'12]; however, the running time of this algorithm is $O(n^{881})$, and its relevance is thereby mostly of theoretical nature. A practically and structurally interesting special case of the $k$-MinSumRadius problem is that of small $k$. For the $2$-MinSumRadius problem, a near-quadratic time algorithm with expected running time $O(n^2 \log^2 n \log^2 \log n)$ was given over 30 years ago [Eppstein~'92]. We present the first improvement of this result, namely, a near-linear time algorithm to compute the $2$-MinSumRadius that runs in expected $O(n \log^2 n \log^2 \log n)$ time. We generalize this result to any constant dimension $d$, for which we give an $O(n^{2-1/(\lceil d/2\rceil + 1) + \varepsilon})$ time algorithm. Additionally, we give a near-quadratic time algorithm for $3$-MinSumRadius in the plane that runs in expected $O(n^2 \log^2 n \log^2 \log n)$ time. All of these algorithms rely on insights that uncover a surprisingly simple structure of optimal solutions: we can specify a linear number of lines out of which one separates one of the clusters from the remaining clusters in an optimal solution.


title: Richardson-Gaudin States

abstract: This chapter gives an overview of Richardson-Gaudin states which represent weakly correlated pairs of electrons. They are parametrized by sets of numbers obtained from non-linear equations. The best method to solve these equations is presented in a straightforward manner with enough detail to implement the method computationally. Optimal expressions for the density matrix elements are discussed. A simple description of 1-dimensional hydrogen chains is presented in terms of Richardson-Gaudin states. Richardson-Gaudin states are placed in the larger context of integrable models and geminal wavefunctions of quantum chemistry.


title: Zoom in on the Plant: Fine-grained Analysis of Leaf, Stem and Vein Instances

abstract: Robot perception is far from what humans are capable of. Humans do not only have a complex semantic scene understanding but also extract fine-grained intra-object properties for the salient ones. When humans look at plants, they naturally perceive the plant architecture with its individual leaves and branching system. In this work, we want to advance the granularity in plant understanding for agricultural precision robots. We develop a model to extract fine-grained phenotypic information, such as leaf-, stem-, and vein instances. The underlying dataset RumexLeaves is made publicly available and is the first of its kind with keypoint-guided polyline annotations leading along the line from the lowest stem point along the leaf basal to the leaf apex. Furthermore, we introduce an adapted metric POKS complying with the concept of keypoint-guided polylines. In our experimental evaluation, we provide baseline results for our newly introduced dataset while showcasing the benefits of POKS over OKS.


title: Google Tag Manager: Hidden Data Leaks and its Potential Violations under EU Data Protection Law

abstract: Tag Management Systems were developed in order to support website publishers in installing multiple third-party JavaScript scripts (Tags) on their websites. In 2012, Google developed its own TMS called "Google Tag Manager" (GTM) that is currently present on 28 million live websites. In 2020, a new "Server-side" GTM was introduced, allowing publishers to include Tags directly on the server. However, neither version of GTM has yet been thoroughly evaluated by the academic research community. In this work, we study, for the first time, the two versions of the Google Tag Management (GTM) architectures: Client- and Server-side GTM. By analyzing these systems with 78 Client-side Tags, 8 Server-side Tags and two Consent Management Platforms (CMPs) from the inside, we discover multiple hidden data leaks, Tags bypassing GTM permission system to inject scripts, and consent enabled by default. With a legal expert, we perform an in-depth legal analysis of GTM and its actors to identify potential legal violations and their liabilities. We provide recommendations and propose numerous improvements for GTM to facilitate legal compliance.


title: Constraining 2HDM+S model through W-boson mass measurements

abstract: Following a discussion on $W$-boson mass observed at the CDF and ATLAS, we explore the parameter space allowed in the 2HDM+$S$ model. Further, the model parameter space is constrained through vector-like leptons via muon $g-2$ measurements. We show our results for additional scalar mass fixed to $m_S \approx 95$ and $150$~GeV keeping the standard Higgs-boson mass at 125~GeV in all four types of 2HDM+$S$ model. The chosen mass of the singlet scalar is motivated by the excesses seen at the CMS and ATLAS data in proton-proton collisions at the Large Hadron Collider.


title: Validation of the thermo-chemical approach to modelling of the CO$_2$ conversion in atmospheric pressure microwave gas discharges

abstract: The 2.45 GHz plasma torch CO$_2\to$ CO + $\frac12$O$_2$ conversion experiment [F A D"Isa et al. Plasma Sources Sci. Technol., vol. 29 (2020) 105009] has been compared with thermo-chemical calculations. The 1.5D model of the CO$_2$/CO/O$_2$/O/C mixture without turbulent transport has been used with plasma acting only as prescribed heat source. The parameter range covered is specific energy input SEI=0.3..5 eV/molecule at pressure $p$=0.9 bar, and SEI=0.6..2 eV/molecule at $p$=0.5, 0.2 bar. The calculated conversion rates $\chi$ are always in good agreement with experiment. At the same time, the calculated temperatures $T$ may deviate significantly from the experiment, especially for $p$=0.2 bar. The calculated $T$ were found to be sensitive with respect to uncertain model parameters, but $\chi$ are not sensitive. The model indicates that the conversion process is essentially two-dimensional and that the main factor which reduces the energy efficiency is re-oxidation of CO downstream from the plasma region. The proposed physico-chemical model (chemical mechanism plus transport coefficients) can be suggested for practical calculations for $p\geq$0.5 bar.


title: Performance evaluation of matrix factorization for fMRI data

abstract: In the study of the brain, there is a hypothesis that sparse coding is realized in information representation of external stimuli, which is experimentally confirmed for visual stimulus recently. However, unlike the specific functional region in the brain, sparse coding in information processing in the whole brain has not been clarified sufficiently. In this study, we investigate the validity of sparse coding in the whole human brain by applying various matrix factorization methods to functional magnetic resonance imaging data of neural activities in the whole human brain. The result suggests sparse coding hypothesis in information representation in the whole human brain, because extracted features from sparse MF method, SparsePCA or MOD under high sparsity setting, or approximate sparse MF method, FastICA, can classify external visual stimuli more accurately than non-sparse MF method or sparse MF method under low sparsity setting.


title: Deep Learning-Based Cyber-Attack Detection Model for Smart Grids

abstract: In this paper, a novel artificial intelligence-based cyber-attack detection model for smart grids is developed to stop data integrity cyber-attacks (DIAs) on the received load data by supervisory control and data acquisition (SCADA). In the proposed model, first the load data is forecasted using a regression model and after processing stage, the processed data is clustered using the unsupervised learning method. In this work, in order to achieve the best performance, three load forecasting methods (i.e. extra tree regression (ETR), long short-term memory (LSTM) and bidirectional long short-term memory (BiLSTM)) are utilized as regression models and their performance is compared. For clustering and outlying detection, the covariance elliptic envelope (EE) is employed as an unsupervised learning method. To examine the proposed model, the hourly load data of the power company of the city of Johor in Malaysia is employed and Two common DIAs, which are DIAs targeting economic loss and DIAs targeting blackouts, are used to evaluate the accuracy of detection methods in several scenarios. The simulation results show that the proposed EE-BiLSTM method can perform more robust and accurate compared to the other two methods.


title: Theoretically motivated dark electromagnetism as the origin of relativistic MOND

abstract: The present paper is a modest attempt to initiate the research program outlined in this abstract. We propose that general relativity and relativistic MOND (RelMOND) are analogues of the broken electroweak symmetry. That is, $SU(2)_R \times U(1)_{YDEM} \rightarrow U(1)_{DEM}$ (DEM stands for dark electromagnetism), and GR is assumed to arise from the broken $SU(2)_R$ symmetry, and is analogous to the weak force. RelMOND is identified with dark electromagnetism $U(1)_{DEM}$, which is the remaining unbroken symmetry after spontaneous symmetry breaking of the darkelectro-grav sector $SU(2)_R \times U(1)_{YDEM}$. This sector, as well as the electroweak sector, arise from the breaking of an $E_8 \times E_8$ symmetry, in a recently proposed model of unification of the standard model with pre-gravitation, this latter being an $SU(2)_R$ gauge theory. The source charge for the dark electromagnetic force is square-root of mass, motivated by the experimental fact that the square-roots of the masses of the electron, up quark, and down quark, are in the ratio 1:2:3, which is a flip of their electric charge ratios 3:2:1 The introduction of the dark electromagnetic force helps understand the weird mass ratios of the second and third generation of charged fermions. We also note that in the deep MOND regime, acceleration is proportional to square-root of mass, which motivates us to propose the relativistic $U(1)_{DEM}$ gauge symmetry as the origin of MOND. We explain why the dark electromagnetic force falls inversely with distance, as in MOND, and not as the inverse square of distance. We conclude that dark electromagnetism is a good mimicker of cold dark matter, and the two are essentially indistinguishable in those cosmological situations where CDM is successful in explaining observations, such as CMB anisotropies, and gravitational lensing.


title: Joint reducing subspaces and orthogonal decompositions of operators in an annulus

abstract: A commuting tuple of Hilbert space operators $(T_1, \dotsc, T_n)$ is said to be an \textit{$\mathbb{A}_r^n$-contraction} if the closure of the polyannulus \[ \mathbb A_r^n=\left\{(z_1, \dotsc, z_n) \ : \ r<|z_i|<1, \ 1 \leq i \leq n \right\} \subseteq \mathbb{C}^n \qquad \quad (0<r<1) \] is a spectral set for $(T_1, \dotsc, T_n)$. We find characterizations for the $\mathbb A_r^n$-unitaries and $\mathbb A_r^n$-isometries and decipher their structures. We find Wold type decompositions for any number of commuting and doubly commuting $\mathbb A_r$-isometries. Then we generalize these results to any family of commuting and doubly commuting $\mathbb A_r$-contractions.


title: New circuits and an open source decoder for the color code

abstract: We present two new color code circuits: one inspired by superdense coding and the other based on a middle-out strategy where the color code state appears halfway between measurements. We also present ``Chromobius'', an open source implementation of the m\"obius color code decoder. Using Chromobius, we show our new circuits reduce the performance gap between color codes and surface codes. Under uniform depolarizing noise with a noise strength of $0.1\%$, the middle-out color code circuit achieves a teraquop footprint of 1250 qubits (vs 650 for surface codes decoded by correlated matching). Finally, we highlight that Chromobius decodes toric color codes better when given *less* information, suggesting there's substantial room for improvement in color code decoders.


title: Collective Strong Coupling Modifies Aggregation and Solvation

abstract: Intermolecular interactions are pivotal for aggregation, solvation, and crystallization. We demonstrate that the collective strong coupling of several molecules to a single optical mode results in notable changes in the molecular excitations around an impurity, e.g., in the first aggregation or solvation shell. A competition between short-range Coulombic and long-range photonic correlation inverts the local transition density in a polaritonic state, suggesting notable changes in the polarizability of the solvation shell. Our results provide an alternative perspective on recent work in polaritonic chemistry and pave the way for the rigorous treatment of cooperative effects in aggregation, solvation, and crystallization.

categories: quant-ph cond-mat.soft physics.chem-ph physics.comp-ph physics.optics


title: Implement services for business scenarios by combining basic emulators

abstract: This article mainly introduces how to use various basic emulators to form a combined emulator in the Jiutian Intelligence Network Simulation Platform to realize simulation service functions in different business scenarios. Among them, the combined emulator is included. The business scenarios include different practical applications such as multi-objective antenna optimization, high traffic of business, CSI (channel state information) compression feedback, etc.


title: About convergence of solutions of one-dimensional stochastic equations

abstract: We consider a random process as a solution of stochastic differential equations with dependence of the coefficients on small parameter $\varepsilon$ and we suppose that the drift coefficients of these equations are unbounded on the parameter $\varepsilon$. We consider more general requirements on the convergence of some functions of coefficients of stochastic equations to limit functions. Necessary and sufficient conditions for the weak convergence of solutions of such stochastic equations if $\varepsilon$ tends to zero to a some stochastic equations involving a local time of process are obtained.


title: Gamma-ray burst detection with Poisson-FOCuS and other trigger algorithms

abstract: We describe how a novel online changepoint detection algorithm, called Poisson-FOCuS, can be used to optimally detect gamma-ray bursts within the computational constraints imposed by miniaturized satellites such as the upcoming HERMES-Pathfinder constellation. Poisson-FOCuS enables testing for gamma-ray burst onset at all intervals in a count time series, across all timescales and offsets, in real-time and at a fraction of the computational cost of conventional strategies. We validate an implementation with automatic background assessment through exponential smoothing, using archival data from Fermi-GBM. Through simulations of lightcurves modeled after real short and long gamma-ray bursts, we demonstrate that the same implementation has higher detection power than algorithms designed to emulate the logic of Fermi-GBM and Compton-BATSE, reaching the performances of a brute-force benchmark with oracle information on the true background rate, when not hindered by automatic background assessment. Finally, using simulated data with different lengths and means, we show that Poisson-FOCuS can analyze data twice as fast as a similarly implemented benchmark emulator for the historic Fermi-GBM on-board trigger algorithms.


title: A Cyber-Physical Architecture for Microgrids based on Deep learning and LORA Technology

abstract: This paper proposes a cyber-physical architecture for the secured social operation of isolated hybrid microgrids (HMGs). On the physical side of the proposed architecture, an optimal scheduling scheme considering various renewable energy sources (RESs) and fossil fuel-based distributed generation units (DGs) is proposed. Regarding the cyber layer of MGs, a wireless architecture based on low range wide area (LORA) technology is introduced for advanced metering infrastructure (AMI) in smart electricity grids. In the proposed architecture, the LORA data frame is described in detail and designed for the application of smart meters considering DGs and ac-dc converters. Additionally, since the cyber layer of smart grids is highly vulnerable to cyber-attacks, t1his paper proposes a deep-learning-based cyber-attack detection model (CADM) based on bidirectional long short-term memory (BLSTM) and sequential hypothesis testing (SHT) to detect false data injection attacks (FDIA) on the smart meters within AMI. The performance of the proposed energy management architecture is evaluated using the IEEE 33-bus test system. In order to investigate the effect of FDIA on the isolated HMGs and highlight the interactions between the cyber layer and physical layer, an FDIA is launched against the test system. The results showed that a successful attack can highly damage the system and cause widespread load shedding. Also, the performance of the proposed CADM is examined using a real-world dataset. Results prove the effectiveness of the proposed CADM in detecting the attacks using only two samples.


title: The GRAVITY young stellar object survey: XI. Imaging the hot gas emission around the Herbig Ae star HD 58647

abstract: We aim to investigate the origin of the HI Br$\gamma$ emission in young stars by using GRAVITY to image the innermost region of circumstellar disks, where important physical processes such as accretion and winds occur. With high spectral and angular resolution, we focus on studying the continuum and the HI Br$\gamma$-emitting area of the Herbig star HD58647. Using VLTI-GRAVITY, we conducted observations of HD58647 with both high spectral and high angular resolution. Thanks to the extensive $uv$ coverage, we were able to obtain detailed images of the circumstellar environment at a sub-au scale, specifically capturing the continuum and the Br$\gamma$-emitting region. Through the analysis of velocity-dispersed images and photocentre shifts, we were able to investigate the kinematics of the HI Br$\gamma$-emitting region. The recovered continuum images show extended emission where the disk major axis is oriented along a position angle of 14\degr. The size of the continuum emission at 5-sigma levels is $\sim$ 1.5 times more extended than the sizes reported from geometrical fitting (3.69 mas $\pm$ 0.02 mas). This result supports the existence of dust particles close to the stellar surface, screened from the stellar radiation by an optically thick gaseous disk. Moreover, for the first time with GRAVITY, the hot gas component of HD58647 traced by the Br$\gamma$ ,has been imaged. This allowed us to constrain the size of the Br$\gamma$-emitting region and study the kinematics of the hot gas; we find its velocity field to be roughly consistent with gas that obeys Keplerian motion. The velocity-dispersed images show that the size of the hot gas emission is from a more compact region than the continuum (2.3 mas $\pm$ 0.2 mas). Finally, the line phases show that the emission is not entirely consistent with Keplerian rotation, hinting at a more complex structure in the hot gaseous disk.


title: How to Raise a Robot -- A Case for Neuro-Symbolic AI in Constrained Task Planning for Humanoid Assistive Robots

abstract: Humanoid robots will be able to assist humans in their daily life, in particular due to their versatile action capabilities. However, while these robots need a certain degree of autonomy to learn and explore, they also should respect various constraints, for access control and beyond. We explore the novel field of incorporating privacy, security, and access control constraints with robot task planning approaches. We report preliminary results on the classical symbolic approach, deep-learned neural networks, and modern ideas using large language models as knowledge base. From analyzing their trade-offs, we conclude that a hybrid approach is necessary, and thereby present a new use case for the emerging field of neuro-symbolic artificial intelligence.


title: Reconstruction of Sound Field through Diffusion Models

abstract: Reconstructing the sound field in a room is an important task for several applications, such as sound control and augmented (AR) or virtual reality (VR). In this paper, we propose a data-driven generative model for reconstructing the magnitude of acoustic fields in rooms with a focus on the modal frequency range. We introduce, for the first time, the use of a conditional Denoising Diffusion Probabilistic Model (DDPM) trained in order to reconstruct the sound field (SF-Diff) over an extended domain. The architecture is devised in order to be conditioned on a set of limited available measurements at different frequencies and generate the sound field in target, unknown, locations. The results show that SF-Diff is able to provide accurate reconstructions, outperforming a state-of-the-art baseline based on kernel interpolation.


title: Planning and Rendering: Towards End-to-End Product Poster Generation

abstract: End-to-end product poster generation significantly optimizes design efficiency and reduces production costs. Prevailing methods predominantly rely on image-inpainting methods to generate clean background images for given products. Subsequently, poster layout generation methods are employed to produce corresponding layout results. However, the background images may not be suitable for accommodating textual content due to their complexity, and the fixed location of products limits the diversity of layout results. To alleviate these issues, we propose a novel product poster generation framework named P\&R. The P\&R draws inspiration from the workflow of designers in creating posters, which consists of two stages: Planning and Rendering. At the planning stage, we propose a PlanNet to generate the layout of the product and other visual components considering both the appearance features of the product and semantic features of the text, which improves the diversity and rationality of the layouts. At the rendering stage, we propose a RenderNet to generate the background for the product while considering the generated layout, where a spatial fusion module is introduced to fuse the layout of different visual components. To foster the advancement of this field, we propose the first end-to-end product poster generation dataset PPG30k, comprising 30k exquisite product poster images along with comprehensive image and text annotations. Our method outperforms the state-of-the-art product poster generation methods on PPG30k. The PPG30k will be released soon.


title: Fast sampling from constrained spaces using the Metropolis-adjusted Mirror Langevin algorithm

abstract: We propose a new method called the Metropolis-adjusted Mirror Langevin algorithm for approximate sampling from distributions whose support is a compact and convex set. This algorithm adds an accept-reject filter to the Markov chain induced by a single step of the Mirror Langevin algorithm (Zhang et al., 2020), which is a basic discretisation of the Mirror Langevin dynamics. Due to the inclusion of this filter, our method is unbiased relative to the target, while known discretisations of the Mirror Langevin dynamics including the Mirror Langevin algorithm have an asymptotic bias. For this algorithm, we also give upper bounds for the number of iterations taken to mix to a constrained distribution whose potential is relatively smooth, convex, and Lipschitz continuous with respect to a self-concordant mirror function. As a consequence of the reversibility of the Markov chain induced by the inclusion of the Metropolis-Hastings filter, we obtain an exponentially better dependence on the error tolerance for approximate constrained sampling. We also present numerical experiments that corroborate our theoretical findings.

categories: stat.CO cs.DS cs.LG math.ST stat.ML stat.TH


title: Recommender systems may enhance the discovery of novelties

abstract: Recommender systems are vital for shaping user online experiences. While some believe they may limit new content exploration and promote opinion polarization, a systematic analysis is still lacking. We present a model that explores the influence of recommender systems on novel content discovery. Surprisingly, analytical and numerical findings reveal these techniques can enhance novelty discovery rates. Also, distinct algorithms with similar discovery rates yield varying opinion polarization outcomes. Our approach offers a framework to enhance recommendation techniques beyond accuracy metrics.


title: Guided Diffusion from Self-Supervised Diffusion Features

abstract: Guidance serves as a key concept in diffusion models, yet its effectiveness is often limited by the need for extra data annotation or classifier pretraining. That is why guidance was harnessed from self-supervised learning backbones, like DINO. However, recent studies have revealed that the feature representation derived from diffusion model itself is discriminative for numerous downstream tasks as well, which prompts us to propose a framework to extract guidance from, and specifically for, diffusion models. Our research has yielded several significant contributions. Firstly, the guidance signals from diffusion models are on par with those from class-conditioned diffusion models. Secondly, feature regularization, when based on the Sinkhorn-Knopp algorithm, can further enhance feature discriminability in comparison to unconditional diffusion models. Thirdly, we have constructed an online training approach that can concurrently derive guidance from diffusion models for diffusion models. Lastly, we have extended the application of diffusion models along the constant velocity path of ODE to achieve a more favorable balance between sampling steps and fidelity. The performance of our methods has been outstanding, outperforming related baseline comparisons in large-resolution datasets, such as ImageNet256, ImageNet256-100 and LSUN-Churches. Our code will be released.


title: A manual categorization of new quality issues on automatically-generated tests

abstract: Diverse studies have analyzed the quality of automatically generated test cases by using test smells as the main quality attribute. But recent work reported that generated tests may suffer a number of quality issues not necessarily considered in previous studies. Little is known about these issues and their frequency within generated tests. In this paper, we report on a manual analysis of an external dataset consisting of 2,340 automatically generated tests. This analysis aimed at detecting new quality issues, not covered by past recognized test smells. We use thematic analysis to group and categorize the new quality issues found. As a result, we propose a taxonomy of 13 new quality issues grouped in four categories. We also report on the frequency of these new quality issues within the dataset and present eight recommendations that test generators may consider to improve the quality and usefulness of the automatically generated tests.


title: Artificial Intelligence and Human Geography

abstract: This paper examines the recent advances and applications of AI in human geography especially the use of machine (deep) learning, including place representation and modeling, spatial analysis and predictive mapping, and urban planning and design. AI technologies have enabled deeper insights into complex human-environment interactions, contributing to more effective scientific exploration, understanding of social dynamics, and spatial decision-making. Furthermore, human geography offers crucial contributions to AI, particularly in context-aware model development, human-centered design, biases and ethical considerations, and data privacy. The synergy beween AI and human geography is essential for addressing global challenges like disaster resilience, poverty, and equitable resource access. This interdisciplinary collaboration between AI and geography will help advance the development of GeoAI and promise a better and sustainable world for all.


title: On the Constraints on Superconducting Cosmic Strings from 21-cm Cosmology

abstract: Constraints on the potential properties of superconducting cosmic strings provide an indirect probe of physics beyond the standard model at energies inaccessible to terrestrial particle colliders. In this study, we perform the first joint Bayesian analysis to extract constraints on superconducting cosmic strings from current 21-cm signal measurements while accounting rigorously for the uncertainties in foregrounds and high redshift astrophysics. We include the latest publicly available 21-cm power spectrum upper limits from HERA, 21-cm global signal data from SARAS 3, and the synergistic probe of the unresolved X-ray background in our final analysis. This paper thus constitutes the first attempt to use 21-cm power spectrum data to probe cosmic strings. In contrast to previous works, we find no strong constraints can be placed on superconducting cosmic strings from current 21-cm measurements. This is because of uncertainties in the X-ray emission efficiency of the first galaxies, with X-ray emissivities greater than $3 \times 10^{40}$erg s$^{-1}$ M$_{\odot}^{-1}$ yr able to mask the presence of cosmic strings in the 21-cm signal. We conclude by discussing the prospects for future constraints from definitive 21-cm signal measurements and argue that the recently proposed soft photon heating should be cause for optimism due to its potential to break degeneracies that would have otherwise made the signatures of cosmic strings difficult to distinguish from those of astrophysical origin.


title: When are selector control strategies optimal for constrained monotone systems?

abstract: This paper considers optimal control problems defined by a monotone dynamical system, a monotone cost, and monotone constraints. We identify families of such problems for which the optimal solution is bang-ride, i.e., always operates on the constraint boundaries, and prove that the optimal policy switches between a finite number of state feedback controllers. This motivates the use of simpler policies, such as selector control, that can be designed without perfect models and full state measurements. The approach is successfully applied to several variations of the health-aware fast charging problem for lithium-ion batteries.


title: Chasing the onset of QCD thermalization with ALICE

abstract: In heavy-ion and hadronic collisions, indications of thermalization are detected in the yields of produced hadrons: these observations call for a detailed study of the hadronization processes. Novel observables are required to discriminate between the different hadronization models that successfully describe the average yields of hadrons. The ALICE Collaboration reports on the studies of event-by-event fluctuations of the net-$\Xi^\pm$ number, and Pearson correlations of both the net-$\Xi^\pm$-net-kaon numbers and the antideuteron-antiproton numbers, in pp, p-Pb, and Pb-Pb collisions. The measured fluctuations are compared with different hadronization models to explore the compatibility with a charge-equilibration scenario. In all cases, the experimental data agree with Thermal-FIST canonical-statistical calculations, allowing for the extraction of the correlation length for strange and baryon quantum number conservation.


title: Proper Lumping for Positive Bilinear Control Systems

abstract: Positive systems naturally arise in situations where the model tracks physical quantities. Although the linear case is well understood, analysis and controller design for nonlinear positive systems remain challenging. Model reduction methods can help tame this problem. Here we propose a notion of model reduction for a class of positive bilinear systems with (bounded) matrix and exogenous controls. Our reduction, called proper positive lumping, aggregates the original system such that states of the corresponding reduced model represent non-negative linear combinations of original state variables. We prove a characterization result showing that the reductions by proper positive lumping are exactly those preserving the optimality of a suitable class of value functions. Moreover, we provide an efficient polynomial-time algorithm for the computation of the minimal lumping. We numerically evaluate our approach by applying it to a number of benchmark case studies.


title: Catch and release of propagating bosonic field with non-Markovian giant atom

abstract: The non-Markovianity of physical systems is considered to be a valuable resource that has potential applications to quantum information processing. The control of traveling quantum fields encoded with information (flying qubit) is crucial for quantum networks. In this work, we propose to catch and release the propagating photon/phonon with a non-Markovian giant atom, which is coupled to the environment via multiple coupling points. Based on the Heisenberg equation of motion for the giant atom and field operators, we calculate the time-dependent scattering coefficients from the linear response theory and define the criteria for the non-Markovian giant atom. We analyze and numerically verify that the field bound states due to non-Markovianity can be harnessed to catch and release the propagating bosonic field on demand by tuning the parameters of giant atom.


title: Leaky Waveguide Antennas for Downlink Wideband THz Communications

abstract: THz communications are expected to play a profound role in future wireless systems. The current trend of the extremely massive multiple-input multiple-output (MIMO) antenna architectures tends to be costly and power inefficient when implementing wideband THz communications. An emerging THz antenna technology is leaky wave antenna (LWA), which can realize frequency selective beamforming with a single radiating element. In this work, we explore the usage of LWAs technology for wideband multi-user THz communications. We propose a model for the LWA signal processing that is physically compliant facilitating studying LWA-aided communication systems. Focusing on downlink systems, we propose an alternating optimization algorithm for jointly optimizing the LWA configuration along with the signal spectral power allocation to maximize the sum-rate performance. Our numerical results show that a single LWA can generate diverse beampatterns at THz, exhibiting performance comparable to costly fully digital MIMO arrays.


title: Speeding up Photoacoustic Imaging using Diffusion Models

abstract: Background: Photoacoustic Microscopy (PAM) integrates optical and acoustic imaging, offering enhanced penetration depth for detecting optical-absorbing components in tissues. Nonetheless, challenges arise in scanning large areas with high spatial resolution. With speed limitations imposed by laser pulse repetition rates, the potential role of computational methods is highlighted in accelerating PAM imaging. Purpose: We are proposing a novel and highly adaptable DiffPam algorithm that utilizes diffusion models for speeding up the photoacoustic imaging process. Method: We leveraged a diffusion model trained exclusively on natural images, comparing its performance with an in-domain trained U-Net model using a dataset focused on PAM images of mice brain microvasculature. Results: Our findings indicate that DiffPam achieves comparable performance to a dedicated U-Net model, without the need for a large dataset or training a deep learning model. The study also introduces the efficacy of shortened diffusion processes for reducing computing time without compromising accuracy. Conclusion: This study underscores the significance of DiffPam as a practical algorithm for reconstructing undersampled PAM images, particularly for researchers with limited AI expertise and computational resources.


title: Fundamental Solutions and Green's Functions for certain Elliptic Differential Operators from a Pseudo-Differential Algebra

abstract: We have studied possible applications of a particular pseudo-differential algebra in singular analysis for the construction of fundamental solutions and Green's functions of a certain class of elliptic partial differential operators. The pseudo-differential algebra considered in the present work, comprises degenerate partial differential operators on stretched cones which can be locally described as Fuchs type differential operators in appropriate polar coordinates. We present a general approach for the explicit construction of their parametrices, which is based on the concept of an asymptotic parametrix, introduced in \cite{FHS16}. For some selected partial differential operators, we demonstrate the feasibility of our approach by an explicit calculation of fundamental solutions and Green's functions from the corresponding parametrices. In our approach, the Green's functions are given in separable form, which generalizes the Laplace expansion of the Green's function of the Laplace operator in three dimensions. As a concrete application in quantum scattering theory, we construct a fundamental solution of a single-particle Hamilton operator with singular Coulomb potential.


title: A proper generating functional on a Podle\'{s} sphere

abstract: We construct a proper generating functional $L$ on a Podle\'{s} sphere and we show that $1$-cocycle arising from $L$ coincides with the one in our previous work. We also show that our 1-cocycle is purely non Gaussian and that the full `group' $C^{\ast}$-algebra of the quantum $SL(2,\mathbb{R})$ is liminal.


title: Learning Safety Constraints From Demonstration Using One-Class Decision Trees

abstract: The alignment of autonomous agents with human values is a pivotal challenge when deploying these agents within physical environments, where safety is an important concern. However, defining the agent's objective as a reward and/or cost function is inherently complex and prone to human errors. In response to this challenge, we present a novel approach that leverages one-class decision trees to facilitate learning from expert demonstrations. These decision trees provide a foundation for representing a set of constraints pertinent to the given environment as a logical formula in disjunctive normal form. The learned constraints are subsequently employed within an oracle constrained reinforcement learning framework, enabling the acquisition of a safe policy. In contrast to other methods, our approach offers an interpretable representation of the constraints, a vital feature in safety-critical environments. To validate the effectiveness of our proposed method, we conduct experiments in synthetic benchmark domains and a realistic driving environment.


title: Bayesian Fused Lasso Modeling for Binary Data

abstract: L1-norm regularized logistic regression models are widely used for analyzing data with binary response. In those analyses, fusing regression coefficients is useful for detecting groups of variables. This paper proposes a binomial logistic regression model with Bayesian fused lasso. Assuming a Laplace prior on regression coefficients and differences between adjacent regression coefficients enables us to perform variable selection and variable fusion simultaneously in the Bayesian framework. We also propose assuming a horseshoe prior on the differences to improve the flexibility of variable fusion. The Gibbs sampler is derived to estimate the parameters by a hierarchical expression of priors and a data-augmentation method. Using simulation studies and real data analysis, we compare the proposed methods with the existing method.


title: Exploration of visual prompt in Grounded pre-trained open-set detection

abstract: Text prompts are crucial for generalizing pre-trained open-set object detection models to new categories. However, current methods for text prompts are limited as they require manual feedback when generalizing to new categories, which restricts their ability to model complex scenes, often leading to incorrect detection results. To address this limitation, we propose a novel visual prompt method that learns new category knowledge from a few labeled images, which generalizes the pre-trained detection model to the new category. To allow visual prompts to represent new categories adequately, we propose a statistical-based prompt construction module that is not limited by predefined vocabulary lengths, thus allowing more vectors to be used when representing categories. We further utilize the category dictionaries in the pre-training dataset to design task-specific similarity dictionaries, which make visual prompts more discriminative. We evaluate the method on the ODinW dataset and show that it outperforms existing prompt learning methods and performs more consistently in combinatorial inference.


title: Magnetic Taylor-Proudman constraint explains the flow into Tangent Cylinders

abstract: Our understanding of planetary dynamos and liquid cores relies on the existence of a Tangent Cylinder (TC). This imaginary surface that physically separates polar and equatorial regions stems from Taylor-Proudman's Constraint (TPC) due to planetary rotation only. Here we establish mathematically and verify experimentally that a magnetic field aligned with the rotation incurs a flow \emph{into} the TC, linked to the flow along it by a \emph{magnetic} TPC. This constraint sheds new light on flows in planetary cores and flows subject to both magnetic fields and rotation in general.


title: Roadmap on Nanoscale Magnetic Resonance Imaging

abstract: The field of nanoscale magnetic resonance imaging (NanoMRI) was started 30 years ago. It was motivated by the desire to image single molecules and molecular assemblies, such as proteins and virus particles, with near-atomic spatial resolution and on a length scale of 100 nm. Over the years, the NanoMRI field has also expanded to include the goal of useful high-resolution nuclear magnetic resonance (NMR) spectroscopy of molecules under ambient conditions, including samples up to the micron-scale. The realization of these goals requires the development of spin detection techniques that are many orders of magnitude more sensitive than conventional NMR and MRI, capable of detecting and controlling nanoscale ensembles of spins. Over the years, a number of different technical approaches to NanoMRI have emerged, each possessing a distinct set of capabilities for basic and applied areas of science. The goal of this roadmap article is to report the current state of the art in NanoMRI technologies, outline the areas where they are poised to have impact, identify the challenges that lie ahead, and propose methods to meet these challenges. This roadmap also shows how developments in NanoMRI techniques can lead to breakthroughs in emerging quantum science and technology applications.

categories: cond-mat.mes-hall physics.chem-ph physics.ins-det quant-ph


title: $Q$-functions for lambda opers

abstract: We consider the Schr\"odinger operators which are constructed from the $\lambda$-opers corresponding to solutions of the $\widehat{\mathfrak{sl}}_2$ Gaudin Bethe Ansatz equations. We define and study the connection coefficients called the $Q$-functions. We conjecture that the $Q$-functions obtained from the $\lambda$-opers coincide with the $Q$-functions of the Bazhanov-Lukyanov-Zamolodchikov opers with the monster potential related to the quantum KdV flows. We give supporting evidence for this conjecture.


title: Diffusion-C: Unveiling the Generative Challenges of Diffusion Models through Corrupted Data

abstract: In our contemporary academic inquiry, we present "Diffusion-C," a foundational methodology to analyze the generative restrictions of Diffusion Models, particularly those akin to GANs, DDPM, and DDIM. By employing input visual data that has been subjected to a myriad of corruption modalities and intensities, we elucidate the performance characteristics of those Diffusion Models. The noise component takes center stage in our analysis, hypothesized to be a pivotal element influencing the mechanics of deep learning systems. In our rigorous expedition utilizing Diffusion-C, we have discerned the following critical observations: (I) Within the milieu of generative models under the Diffusion taxonomy, DDPM emerges as a paragon, consistently exhibiting superior performance metrics. (II) Within the vast spectrum of corruption frameworks, the fog and fractal corruptions notably undermine the functional robustness of both DDPM and DDIM. (III) The vulnerability of Diffusion Models to these particular corruptions is significantly influenced by topological and statistical similarities, particularly concerning the alignment between mean and variance. This scholarly work highlights Diffusion-C's core understandings regarding the impacts of various corruptions, setting the stage for future research endeavors in the realm of generative models.


title: Oriented Supersingular Elliptic Curves and Eichler Orders

abstract: Let $p>3$ be a prime and $E$ be a supersingular elliptic curve defined over $\mathbb{F}_{p^2}$. Let $c$ be a prime with $c < 3p/16$ and $G$ be a subgroup of $E[c]$ of order $c$. The pair $(E,G)$ is called a supersingular elliptic curve with level-$c$ structure, and the endomorphism ring $\text{End}(E,G)$ is isomorphic to an Eichler order with level $c$. We construct two kinds of Eichler orders $\mathcal{O}_c(q,r)$ and $\mathcal{O}'_c(q,r')$ with level $c$. Interestingly, we can reduce each $\mathcal{O}_c(q,r)$ or $\mathcal{O}'_c(q,r')$ to a primitive reduced binary quadratic form with discriminant $-16cp$ or $-cp$ respectively. If the curve $E$ is $\mathbb{Z}[\sqrt{-cp}]$-oriented, then we prove that $\text{End}(E,G)$ is isomorphic to $\mathcal{O}_c(q,r)$ or $\mathcal{O}'_c(q,r')$. Due to the fact that $\mathbb{Z}[\sqrt{-cp}]$-oriented isogenies between $\mathbb{Z}[\sqrt{-cp}]$-oriented elliptic curves could be represented by quadratic forms, we show that these isogenies are reflected in the corresponding Eichler orders via the composition law for their corresponding quadratic forms.


title: Root involutions, real forms and diagrams

abstract: We study the correspondence between equivalence classes of pairs consisting of real semisimple Lie algebras and their Cartan subalgebras and involutions of the corresponding root system. This can be graphically described by introducing \emph{$S\!${-} and $\Sigma$-diagrams}, generalizing those of Satake and Vogan.


title: TiMix: Text-aware Image Mixing for Effective Vision-Language Pre-training

abstract: Self-supervised Multi-modal Contrastive Learning (SMCL) remarkably advances modern Vision-Language Pre-training (VLP) models by aligning visual and linguistic modalities. Due to noises in web-harvested text-image pairs, however, scaling up training data volume in SMCL presents considerable obstacles in terms of computational cost and data inefficiency. To improve data efficiency in VLP, we propose Text-aware Image Mixing (TiMix), which integrates mix-based data augmentation techniques into SMCL, yielding significant performance improvements without significantly increasing computational overhead. We provide a theoretical analysis of TiMixfrom a mutual information (MI) perspective, showing that mixed data samples for cross-modal contrastive learning implicitly serve as a regularizer for the contrastive loss. The experimental results demonstrate that TiMix exhibits a comparable performance on downstream tasks, even with a reduced amount of training data and shorter training time, when benchmarked against existing methods. This work empirically and theoretically demonstrates the potential of data mixing for data-efficient and computationally viable VLP, benefiting broader VLP model adoption in practical scenarios.


title: Knowledge-Driven Modulation of Neural Networks with Attention Mechanism for Next Activity Prediction

abstract: Predictive Process Monitoring (PPM) aims at leveraging historic process execution data to predict how ongoing executions will continue up to their completion. In recent years, PPM techniques for the prediction of the next activities have matured significantly, mainly thanks to the use of Neural Networks (NNs) as a predictor. While their performance is difficult to beat in the general case, there are specific situations where background process knowledge can be helpful. Such knowledge can be leveraged for improving the quality of predictions for exceptional process executions or when the process changes due to a concept drift. In this paper, we present a Symbolic[Neuro] system that leverages background knowledge expressed in terms of a procedural process model to offset the under-sampling in the training data. More specifically, we make predictions using NNs with attention mechanism, an emerging technology in the NN field. The system has been tested on several real-life logs showing an improvement in the performance of the prediction task.


title: Universal algorithm for transforming Hamiltonian eigenvalues

abstract: Manipulating Hamiltonians governing physical systems has found a broad range of applications, from quantum chemistry to semiconductor design. In this work, we provide a new way of manipulating Hamiltonians, by transforming their eigenvalues while keeping their eigenstates unchanged. We develop a universal algorithm that deterministically implements any desired (suitably differentiable) function on the eigenvalues of any unknown Hamiltonian, whose positive-time and negative-time dynamics are given as a black box. Our algorithm uses correlated randomness to efficiently combine two subroutines -- namely controlization and Fourier series simulation -- exemplifying a general compilation procedure that we develop. The runtime of our algorithm is significantly reduced using compilation compared to a na\"ive concatenation of the subroutines and outperforms similar methods based on the quantum singular value transformation. Finally, to circumvent the need for the negative-time dynamics, we present a universal algorithm to transform positive-time to negative-time dynamics without adding an auxiliary qubit, which could also be of standalone interest.


title: Strong Approximation and Hasse Principle for Integral Quadratic Forms over Affine Curves

abstract: We extend some parts of the representation theory for integral quadratic forms over the ring of integers of a number field to the case over the coordinate ring $k[C]$ of an affine curve $C$ over a general base field $k$. By using the genus theory, we link the strong approximation property of certain spin groups to the Hasse principle for representations of integral quadratic forms over $k[C]$ and derive several applications. In particular, we give an example where a spin group does not satisfy strong approximation.


title: Hourglass-AVSR: Down-Up Sampling-based Computational Efficiency Model for Audio-Visual Speech Recognition

abstract: Recently audio-visual speech recognition (AVSR), which better leverages video modality as additional information to extend automatic speech recognition (ASR), has shown promising results in complex acoustic environments. However, there is still substantial space to improve as complex computation of visual modules and ineffective fusion of audio-visual modalities. To eliminate these drawbacks, we propose a down-up sampling-based AVSR model (Hourglass-AVSR) to enjoy high efficiency and performance, whose time length is scaled during the intermediate processing, resembling an hourglass. Firstly, we propose a context and residual aware video upsampling approach to improve the recognition performance, which utilizes contextual information from visual representations and captures residual information between adjacent video frames. Secondly, we introduce a visual-audio alignment approach during the upsampling by explicitly incorporating boundary constraint loss. Besides, we propose a cross-layer attention fusion to capture the modality dependencies within each visual encoder layer. Experiments conducted on the MISP-AVSR dataset reveal that our proposed Hourglass-AVSR model outperforms ASR model by 12.9% and 20.8% relative concatenated minimum permutation character error rate (cpCER) reduction on far-field and middle-field test sets, respectively. Moreover, compared to other state-of-the-art AVSR models, our model exhibits the highest improvement in cpCER for the visual module. Furthermore, on the benefit of our down-up sampling approach, Hourglass-AVSR model reduces 54.2% overall computation costs with minor performance degradation.


title: Achelous++: Power-Oriented Water-Surface Panoptic Perception Framework on Edge Devices based on Vision-Radar Fusion and Pruning of Heterogeneous Modalities

abstract: Urban water-surface robust perception serves as the foundation for intelligent monitoring of aquatic environments and the autonomous navigation and operation of unmanned vessels, especially in the context of waterway safety. It is worth noting that current multi-sensor fusion and multi-task learning models consume substantial power and heavily rely on high-power GPUs for inference. This contributes to increased carbon emissions, a concern that runs counter to the prevailing emphasis on environmental preservation and the pursuit of sustainable, low-carbon urban environments. In light of these concerns, this paper concentrates on low-power, lightweight, multi-task panoptic perception through the fusion of visual and 4D radar data, which is seen as a promising low-cost perception method. We propose a framework named Achelous++ that facilitates the development and comprehensive evaluation of multi-task water-surface panoptic perception models. Achelous++ can simultaneously execute five perception tasks with high speed and low power consumption, including object detection, object semantic segmentation, drivable-area segmentation, waterline segmentation, and radar point cloud semantic segmentation. Furthermore, to meet the demand for developers to customize models for real-time inference on low-performance devices, a novel multi-modal pruning strategy known as Heterogeneous-Aware SynFlow (HA-SynFlow) is proposed. Besides, Achelous++ also supports random pruning at initialization with different layer-wise sparsity, such as Uniform and Erdos-Renyi-Kernel (ERK). Overall, our Achelous++ framework achieves state-of-the-art performance on the WaterScenes benchmark, excelling in both accuracy and power efficiency compared to other single-task and multi-task models. We release and maintain the code at https://github.com/GuanRunwei/Achelous.


title: ERASE: Error-Resilient Representation Learning on Graphs for Label Noise Tolerance

abstract: Deep learning has achieved remarkable success in graph-related tasks, yet this accomplishment heavily relies on large-scale high-quality annotated datasets. However, acquiring such datasets can be cost-prohibitive, leading to the practical use of labels obtained from economically efficient sources such as web searches and user tags. Unfortunately, these labels often come with noise, compromising the generalization performance of deep networks. To tackle this challenge and enhance the robustness of deep learning models against label noise in graph-based tasks, we propose a method called ERASE (Error-Resilient representation learning on graphs for lAbel noiSe tolerancE). The core idea of ERASE is to learn representations with error tolerance by maximizing coding rate reduction. Particularly, we introduce a decoupled label propagation method for learning representations. Before training, noisy labels are pre-corrected through structural denoising. During training, ERASE combines prototype pseudo-labels with propagated denoised labels and updates representations with error resilience, which significantly improves the generalization performance in node classification. The proposed method allows us to more effectively withstand errors caused by mislabeled nodes, thereby strengthening the robustness of deep networks in handling noisy graph data. Extensive experimental results show that our method can outperform multiple baselines with clear margins in broad noise levels and enjoy great scalability. Codes are released at https://github.com/eraseai/erase.


title: Guided Image Restoration via Simultaneous Feature and Image Guided Fusion

abstract: Guided image restoration (GIR), such as guided depth map super-resolution and pan-sharpening, aims to enhance a target image using guidance information from another image of the same scene. Currently, joint image filtering-inspired deep learning-based methods represent the state-of-the-art for GIR tasks. Those methods either deal with GIR in an end-to-end way by elaborately designing filtering-oriented deep neural network (DNN) modules, focusing on the feature-level fusion of inputs; or explicitly making use of the traditional joint filtering mechanism by parameterizing filtering coefficients with DNNs, working on image-level fusion. The former ones are good at recovering contextual information but tend to lose fine-grained details, while the latter ones can better retain textual information but might lead to content distortions. In this work, to inherit the advantages of both methodologies while mitigating their limitations, we proposed a Simultaneous Feature and Image Guided Fusion (SFIGF) network, that simultaneously considers feature and image-level guided fusion following the guided filter (GF) mechanism. In the feature domain, we connect the cross-attention (CA) with GF, and propose a GF-inspired CA module for better feature-level fusion; in the image domain, we fully explore the GF mechanism and design GF-like structure for better image-level fusion. Since guided fusion is implemented in both feature and image domains, the proposed SFIGF is expected to faithfully reconstruct both contextual and textual information from sources and thus lead to better GIR results. We apply SFIGF to 4 typical GIR tasks, and experimental results on these tasks demonstrate its effectiveness and general availability.


title: Automated Structure Discovery for Scanning Tunneling Microscopy

abstract: Scanning tunnelling microscopy (STM) with a functionalized tip apex reveals the geometric and electronic structure of a sample within the same experiment. However, the complex nature of the signal makes images difficult to interpret and has so far limited most research to planar samples with a known chemical composition. Here, we present automated structure discovery for STM (ASD-STM), a machine learning tool for predicting the atomic structure directly from an STM image, by building upon successful methods for structure discovery in non-contact atomic force microscopy (nc-AFM). We apply the method on various organic molecules and achieve good accuracy on structure predictions and chemical identification on a qualitative level, while highlighting future development requirements to ASD-STM. This method is directly applicable to experimental STM images of organic molecules, making structure discovery available for a wider SPM audience outside of nc-AFM. This work also opens doors for more advanced machine learning methods to be developed for STM discovery.


title: A rational Krylov subspace based projection method for solving large-scale algebraic Riccati equations via low-rank approximations

abstract: A class of (block) rational Krylov subspace based projection method for solving large-scale continuous-time algebraic Riccati equation (CARE) $0 = \mathcal{R}(X) := A^HX + XA + C^HC - XBB^HX$ with a large, sparse $A$ and $B$ and $C$ of full low rank is proposed. The CARE is projected onto a block rational Krylov subspace $\mathcal{K}_j$ spanned by blocks of the form $(A^H+ s_kI)C^H$ for some shifts $s_k, k = 1, \ldots, j.$ The considered projections do not need to be orthogonal and are built from the matrices appearing in the block rational Arnoldi decomposition associated to $\mathcal{K}_j.$ The resulting projected Riccati equation is solved for the small square Hermitian $Y_j.$ Then the Hermitian low-rank approximation $X_j = Z_jY_jZ_j^H$ to $X$ is set up where the columns of $Z_j$ span $\mathcal{K}_j.$ The residual norm $\|R(X_j )\|_F$ can be computed efficiently via the norm of a readily available $2p \times 2p$ matrix. We suggest to reduce the rank of the approximate solution $X_j$ even further by truncating small eigenvalues from $X_j.$ This truncated approximate solution can be interpreted as the solution of the Riccati residual projected to a subspace of $\mathcal{K}_j.$ This gives us a way to efficiently evaluate the norm of the resulting residual. Numerical examples are presented.


title: Attention-Guided Adaptation for Code-Switching Speech Recognition

abstract: The prevalence of the powerful multilingual models, such as Whisper, has significantly advanced the researches on speech recognition. However, these models often struggle with handling the code-switching setting, which is essential in multilingual speech recognition. Recent studies have attempted to address this setting by separating the modules for different languages to ensure distinct latent representations for languages. Some other methods considered the switching mechanism based on language identification. In this study, a new attention-guided adaptation is proposed to conduct parameter-efficient learning for bilingual ASR. This method selects those attention heads in a model which closely express language identities and then guided those heads to be correctly attended with their corresponding languages. The experiments on the Mandarin-English code-switching speech corpus show that the proposed approach achieves a 14.2% mixed error rate, surpassing state-of-the-art method, where only 5.6% additional parameters over Whisper are trained.