title: Bayesian inference for near-field interferometric tests of collapse models

abstract: We explore the information which proposed matterwave interferometry experiments with large test masses can provide about parameterizable extensions to quantum mechanics, such as have been proposed to explain the apparent quantum to classical transition. Specifically, we consider a matterwave near-field Talbot interferometer and Continuous Spontaneous Localisation (CSL). Using Bayesian inference we compute the effect of decoherence mechanisms including pressure and blackbody radiation, find estimates for the number of measurements required, and provide a procedure for optimal choice of experimental control variables. We show that in a MAQRO like experiment it is possible to reach masses of $\sim10^9\,\text{u}$ and we quantify the bounds which can be placed on CSL. These specific results can be used to inform experimental design and the general approach can be applied to other parameterizable models.


title: Harmonic Self-Conditioned Flow Matching for Multi-Ligand Docking and Binding Site Design

abstract: A significant amount of protein function requires binding small molecules, including enzymatic catalysis. As such, designing binding pockets for small molecules has several impactful applications ranging from drug synthesis to energy storage. Towards this goal, we first develop HarmonicFlow, an improved generative process over 3D protein-ligand binding structures based on our self-conditioned flow matching objective. FlowSite extends this flow model to jointly generate a protein pocket's discrete residue types and the molecule's binding 3D structure. We show that HarmonicFlow improves upon state-of-the-art generative processes for docking in simplicity, generality, and average sample quality in pocket-level docking. Enabled by this structure modeling, FlowSite designs binding sites substantially better than baseline approaches.


title: Examining the simulation-to-reality gap of a wheel loader digging in deformable terrain

abstract: We investigate how well a physics-based simulator can replicate a real wheel loader performing bucket filling in a pile of soil. The comparison is made using field test time series of the vehicle motion and actuation forces, loaded mass, and total work. The vehicle was modeled as a rigid multibody system with frictional contacts, driveline, and linear actuators. For the soil, we tested discrete element models of different resolutions, with and without multiscale acceleration. The spatio-temporal resolution ranged between 50-400 mm and 2-500 ms, and the computational speed was between 1/10,000 to 5 times faster than real-time. The simulation-to-reality gap was found to be around 10% and exhibited a weak dependence on the level of fidelity, e.g., compatible with real-time simulation. Furthermore, the sensitivity of an optimized force feedback controller under transfer between different simulation domains was investigated. The domain bias was observed to cause a performance reduction of 5% despite the domain gap being about 15%.


title: FeatSense -- A Feature-based Registration Algorithm with GPU-accelerated TSDF-Mapping Backend for NVIDIA Jetson Boards

abstract: This paper presents FeatSense, a feature-based GPU-accelerated SLAM system for high resolution LiDARs, combined with a map generation algorithm for real-time generation of large Truncated Signed Distance Fields (TSDFs) on embedded hardware. FeatSense uses LiDAR point cloud features for odometry estimation and point cloud registration. The registered point clouds are integrated into a global Truncated Signed Distance Field (TSDF) representation. FeatSense is intended to run on embedded systems with integrated GPU-accelerator like NVIDIA Jetson boards. In this paper, we present a real-time capable TSDF-SLAM system specially tailored for close coupled CPU/GPU systems. The implementation is evaluated in various structured and unstructured environments and benchmarked against existing reference datasets. The main contribution of this paper is the ability to register up to 128 scan lines of an Ouster OS1-128 LiDAR at 10Hz on a NVIDIA AGX Xavier while achieving a TSDF map generation speedup by a factor of 100 compared to previous work on the same power budget.


title: Topological Community Detection: A Sheaf-Theoretic Approach

abstract: We propose a model for network community detection using topological data analysis, a branch of modern data science that leverages theory from algebraic topology to statistical analysis and machine learning. Specifically, we use cellular sheaves, which relate local to global properties of various algebraic topological constructions, to propose three new algorithms for vertex clustering over networks to detect communities. We apply our algorithms to real social network data in numerical experiments and obtain near optimal results in terms of modularity. Our work is the first implementation of sheaves on real social network data and provides a solid proof-of-concept for future work using sheaves as tools to study complex systems captured by networks and simplicial complexes.


title: DANet: Enhancing Small Object Detection through an Efficient Deformable Attention Network

abstract: Efficient and accurate detection of small objects in manufacturing settings, such as defects and cracks, is crucial for ensuring product quality and safety. To address this issue, we proposed a comprehensive strategy by synergizing Faster R-CNN with cutting-edge methods. By combining Faster R-CNN with Feature Pyramid Network, we enable the model to efficiently handle multi-scale features intrinsic to manufacturing environments. Additionally, Deformable Net is used that contorts and conforms to the geometric variations of defects, bringing precision in detecting even the minuscule and complex features. Then, we incorporated an attention mechanism called Convolutional Block Attention Module in each block of our base ResNet50 network to selectively emphasize informative features and suppress less useful ones. After that we incorporated RoI Align, replacing RoI Pooling for finer region-of-interest alignment and finally the integration of Focal Loss effectively handles class imbalance, crucial for rare defect occurrences. The rigorous evaluation of our model on both the NEU-DET and Pascal VOC datasets underscores its robust performance and generalization capabilities. On the NEU-DET dataset, our model exhibited a profound understanding of steel defects, achieving state-of-the-art accuracy in identifying various defects. Simultaneously, when evaluated on the Pascal VOC dataset, our model showcases its ability to detect objects across a wide spectrum of categories within complex and small scenes.


title: Collective modes of a massive fermion in a magnetized medium with finite anomalous magnetic moment

abstract: We calculate, in a systematic way, the general structure of the self-energy of light massive fermions and the effective propagator in a thermomagnetic medium with the inclusion of anomalous magnetic moment (AMM) of the fermion in the weak field approximation. It is found that the self-energy of a massive fermion in this case consists of five non-trivial structure factors in contrast to the massless case where the self-energy contains only four. We employ the real time formalism (RTF) of thermal field theory within the ambit of hard thermal loop (HTL) approximation in the evaluation of the structure factors. The collective modes are obtained from the poles of the effective propagator of the fermion. The investigation of the dispersion relations for non-degenerate ground state shows that the effect of the magnetic field is more for up quark than the down quark because of the larger charge of the former. The important observation is that in the first excited state the degeneracy, which exists for non-zero magnetic field is lifted due to the inclusion of the AMM. It is also observed that the first excited state becomes less dispersive compared to the case when AMM is not considered, whereas the second excited state becomes more dispersive when both the magnetic field and the AMM are non-zero in comparison to the case with vanishing AMM. These effects are observed in both particle and hole-like excitations. Qualitatively similar behaviour is also seen in the case of down quarks.


title: Nonlinear resonance in oscillatory systems with decaying perturbations

abstract: Time-decaying perturbations of nonlinear oscillatory systems in the plane are considered. It is assumed that the unperturbed systems are non-isochronous and the perturbations oscillate with an asymptotically constant frequency. Resonance effects and long-term asymptotic regimes for solutions are investigated. In particular, the emergence of stable states close to periodic ones is discussed. By combining the averaging technique and stability analysis, the conditions on perturbations are described that guarantee the existence and stability of the phase-locking regime with a resonant amplitude. The results obtained are applied to the perturbed Duffing oscillator.


title: Foundation Models Meet Visualizations: Challenges and Opportunities

abstract: Recent studies have indicated that foundation models, such as BERT and GPT, excel in adapting to a variety of downstream tasks. This adaptability has established them as the dominant force in building artificial intelligence (AI) systems. As visualization techniques intersect with these models, a new research paradigm emerges. This paper divides these intersections into two main areas: visualizations for foundation models (VIS4FM) and foundation models for visualizations (FM4VIS). In VIS4FM, we explore the primary role of visualizations in understanding, refining, and evaluating these intricate models. This addresses the pressing need for transparency, explainability, fairness, and robustness. Conversely, within FM4VIS, we highlight how foundation models can be utilized to advance the visualization field itself. The confluence of foundation models and visualizations holds great promise, but it also comes with its own set of challenges. By highlighting these challenges and the growing opportunities, this paper seeks to provide a starting point for continued exploration in this promising avenue.


title: RateRL: A Framework for Developing RL-Based Rate Adaptation Algorithms in ns-3

abstract: The increasing complexity of recent Wi-Fi amendments is making the use of traditional algorithms and heuristics unfeasible to address the Rate Adaptation (RA) problem. This is due to the large combination of configuration parameters along with the high variability of the wireless channel. Recently, several works have proposed the usage of Reinforcement Learning (RL) techniques to address the problem. However, the proposed solutions lack sufficient technical explanation. Also, the lack of standard frameworks enabling the reproducibility of results and the limited availability of source code, makes the fair comparison with state of the art approaches a challenge. This paper proposes a framework, named RateRL, that integrates state of the art libraries with the well-known Network Simulator 3 (ns-3) to enable the implementation and evaluation of RL-based RA algorithms. To the best of our knowledge, RateRL is the first tool available to assist researchers during the implementation, validation and evaluation phases of RL-based RA algorithms and enable the fair comparison between competing algorithms.


title: Towards Lossless Dataset Distillation via Difficulty-Aligned Trajectory Matching

abstract: The ultimate goal of Dataset Distillation is to synthesize a small synthetic dataset such that a model trained on this synthetic set will perform equally well as a model trained on the full, real dataset. Until now, no method of Dataset Distillation has reached this completely lossless goal, in part due to the fact that previous methods only remain effective when the total number of synthetic samples is extremely small. Since only so much information can be contained in such a small number of samples, it seems that to achieve truly loss dataset distillation, we must develop a distillation method that remains effective as the size of the synthetic dataset grows. In this work, we present such an algorithm and elucidate why existing methods fail to generate larger, high-quality synthetic sets. Current state-of-the-art methods rely on trajectory-matching, or optimizing the synthetic data to induce similar long-term training dynamics as the real data. We empirically find that the training stage of the trajectories we choose to match (i.e., early or late) greatly affects the effectiveness of the distilled dataset. Specifically, early trajectories (where the teacher network learns easy patterns) work well for a low-cardinality synthetic set since there are fewer examples wherein to distribute the necessary information. Conversely, late trajectories (where the teacher network learns hard patterns) provide better signals for larger synthetic sets since there are now enough samples to represent the necessary complex patterns. Based on our findings, we propose to align the difficulty of the generated patterns with the size of the synthetic dataset. In doing so, we successfully scale trajectory matching-based methods to larger synthetic datasets, achieving lossless dataset distillation for the very first time. Code and distilled datasets are available at https://gzyaftermath.github.io/DATM.


title: JWST: Deuterated PAHs, PAH-nitriles, and PAH Overtone and Combination Bands I: Program Description and First Look

abstract: A first look is taken at the NIRSpec 1-5 $\mu$m observations from JWST program 1591 that targets 7 objects along the low-mass stellar life cycle with PAH emission. Spectra extracted from a 1.5$^{\prime\prime}$ radius sized circular aperture are explored, showing a wealth of features, including the 3 $\mu$m PAH complex, the PAH-continuum, and atomic and molecular emission lines from HI, He, H$_{\rm 2}$, and other species. CO$_{\rm 2}$- and H$_{\rm 2}$O-ice absorption and CO emission is also seen. Focusing on the bright-PDR position in M17, the PAH CH stretch falls at 3.29 $\mu$m (FWHM=0.04 $\mu$m). Signs of its 1.68 $\mu$m overtone are confused by line emission in all targets. Multi-component decomposition reveals a possible aliphatic deuterated PAH feature centered at 4.65 $\mu$m (FWHM=0.02 $\mu$m), giving [D/H]$_{\rm alip.}$=31$\pm$12.7%. However, there is little sign of its aromatic counterpart between 4.36-4.43 $\mu$m. There is also little sign of PAH-nitrile emission between 4.34-4.39 $\mu$m. A PAH continuum rises from $\sim$1 to 3.2 $\mu$m, after which it jumps by about a factor of 2.5 at 3.6 $\mu$m, with bumps at 3.8, 4.04, and 4.34 $\mu$m adding structure. The CO$_{\rm 2}$ absorption band in M17 is matched with 10:1 H$_{\rm 2}$O:CO$_{\rm 2}$ ice at 10 K. The $v$=0 pure rotational molecular hydrogen population diagram reveals $>$2200 K UV-pumped gas. The hydrogen Pfund series runs from levels 10 to $>$30. Considering Br$\alpha$/Br$\beta$=0.381$\pm$0.01966 and Case B recombination results in A$_{\rm V}{\simeq}$8. CO emission in IRAS21282+5050 originates from 258 K gas. In-depth spectral-spatial analysis of all features and targets are planned for a series of forthcoming papers.


title: Essential covers of the hypercube require many hyperplanes

abstract: We prove a new lower bound for the almost 20 year old problem of determining the smallest possible size of an essential cover of the $n$-dimensional hypercube $\{\pm 1\}^n$, i.e. the smallest possible size of a collection of hyperplanes that forms a minimal cover of $\{\pm 1\}^n$ and such that furthermore every variable appears with a non-zero coefficient in at least one of the hyperplane equations. We show that such an essential cover must consist of at least $10^{-2}\cdot n^{2/3}/(\log n)^{2/3}$ hyperplanes, improving previous lower bounds of Linial-Radhakrishnan, of Yehuda-Yehudayoff and of Araujo-Balogh-Mattos.


title: Coordinated Expansion Planning of Transmission and Distribution Systems Integrated with Smart Grid Technologies

abstract: Integration of smart grid technologies in distribution systems, particularly behind-the-meter initiatives, has a direct impact on transmission network planning. This paper develops a coordinated expansion planning of transmission and active distribution systems via a stochastic multistage mathematical programming model. In the transmission level, in addition to lines, sitting and sizing of utility-scale battery energy storage systems and wind power plants under renewable portfolio standard policy are planned. Switchable feeders and distributed generations are decision variables in the distribution level while the impact of demand response programs as a sort of behind-the-meter technologies is accommodated as well. Expansion of electric vehicle taxi charging stations is included as a feasible option in both transmission and distribution levels. In order to deal with short-term uncertainty of load demand, renewable energy sources output power, and the charging pattern of electric vehicle taxis in each station, a chronological time-period clustering algorithm along with Monte Carlo simulation is utilized. The proposed model is tackled by means of Benders Dual Decomposition (BDD) method. The IEEE RTS test system (as the transmission system) along with four IEEE 33-node test feeders (as distribution test systems) are examined to validate effectiveness of the proposed model.


title: Unknown Truths and Unknowable Truths

abstract: Notions of unknown truths and unknowable truths are important in formal epistemology, which are related to each other in e.g. Fitch's paradox of knowability. Although there have been some logical research on the notion of unknown truths and some philosophical discussion on the two notions, there seems to be no logical research on unknowable truths. In this paper, we propose a logic of unknowable truths, investigate the logical properties of unknown truths and unknowable truths, which includes the similarities of the two notions and the relationship between the two notions, and axiomatize this logic.


title: WD0141-675: A case study on how to follow-up astrometric planet candidates around white dwarfs

abstract: This work combines spectroscopic and photometric data of the polluted white dwarf WD0141-675 which has a now retracted astrometric super-Jupiter candidate and investigates the most promising ways to confirm Gaia astrometric planetary candidates and obtain follow-up data. Obtaining precise radial velocity measurement for white dwarfs is challenging due to their intrinsic faint magnitudes, lack of spectral absorption lines, and broad spectral features. However, dedicated radial velocity campaigns are capable of confirming close in giant exoplanets (a few M$_{\textrm{Jup}}$) around polluted white dwarfs, where additional metal lines aid radial velocity measurements. Infrared emission from these giant exoplanets is shown to be detectable with JWST MIRI and will provide constraints on the formation of the planet. Using the initial Gaia astrometric solution for WD0141-675 as a case study, if there were a planet with a 33.65 d period or less with a nearly edge on orbit, 1) ground-based radial velocity monitoring limits the mass to $<$ 15.4 M$_{\textrm{Jup}}$, and 2) space-based infrared photometry shows a lack of infrared excess and in a cloud-free planetary cooling scenario, a sub-stellar companion would have to be $<$ 16 M$_{\textrm{Jup}}$ and be older than 3.7 Gyr. These results demonstrate how radial velocities and infrared photometry can probe the mass of the objects producing some of the astrometric signals, and rule out parts of the brown dwarf and planet mass parameter space. Therefore, combining astrometric data with spectroscopic and photometric data is crucial to both confirm, and characterise astrometric planet candidates around white dwarfs.


title: Why Should This Article Be Deleted? Transparent Stance Detection in Multilingual Wikipedia Editor Discussions

abstract: The moderation of content on online platforms is usually non-transparent. On Wikipedia, however, this discussion is carried out publicly and the editors are encouraged to use the content moderation policies as explanations for making moderation decisions. Currently, only a few comments explicitly mention those policies -- 20% of the English ones, but as few as 2% of the German and Turkish comments. To aid in this process of understanding how content is moderated, we construct a novel multilingual dataset of Wikipedia editor discussions along with their reasoning in three languages. The dataset contains the stances of the editors (keep, delete, merge, comment), along with the stated reason, and a content moderation policy, for each edit decision. We demonstrate that stance and corresponding reason (policy) can be predicted jointly with a high degree of accuracy, adding transparency to the decision-making process. We release both our joint prediction models and the multilingual content moderation dataset for further research on automated transparent content moderation.


title: Lie symmetries for the cosmological field equations in brane-world gravity with bulk scalar field

abstract: We address the group classification problem for gravitational field equations within the context of brane-world cosmology, considering the presence of a bulk scalar field. Our investigation revolves around a five-dimensional spacetime, with the four-dimensional Friedmann--Lema\^{\i}tre--Robertson--Walker geometry embedded within it. Additionally, we assume that the scalar field exists in this five-dimensional geometry (bulk) and possesses a nonzero mass. The resulting field equations constitute a system of nonlinear partial differential equations. We apply the Lie symmetry condition to identify all functional forms of the scalar field potential, ensuring that the field equations remain invariant under one-parameter point transformations. Consequently, we find that only the exponential potential exhibits Lie symmetries. Finally, the Lie invariants are used to construct similarity transformations, which enable us to derive exact solutions for the system.


title: On variational inference and maximum likelihood estimation with the {\lambda}-exponential family

abstract: The {\lambda}-exponential family has recently been proposed to generalize the exponential family. While the exponential family is well-understood and widely used, this it not the case of the {\lambda}-exponential family. However, many applications require models that are more general than the exponential family. In this work, we propose a theoretical and algorithmic framework to solve variational inference and maximum likelihood estimation problems over the {\lambda}-exponential family. We give new sufficient optimality conditions for variational inference problems. Our conditions take the form of generalized moment-matching conditions and generalize existing similar results for the exponential family. We exhibit novel characterizations of the solutions of maximum likelihood estimation problems, that recover optimality conditions in the case of the exponential family. For the resolution of both problems, we propose novel proximal-like algorithms that exploit the geometry underlying the {\lambda}-exponential family. These new theoretical and methodological insights are tested on numerical examples, showcasing their usefulness and interest, especially on heavy-tailed target distributions.


title: Aligning Language Models with Human Preferences via a Bayesian Approach

abstract: In the quest to advance human-centric natural language generation (NLG) systems, ensuring alignment between NLG models and human preferences is crucial. For this alignment, current popular methods leverage a reinforcement learning (RL) approach with a reward model trained on feedback from humans. However, inherent disagreements due to the subjective nature of human preferences pose a significant challenge for training the reward model, resulting in a deterioration of the NLG performance. To tackle this issue, previous approaches typically rely on majority voting or averaging to consolidate multiple inconsistent preferences into a merged one. Although straightforward to understand and execute, such methods suffer from an inability to capture the nuanced degrees of disaggregation among humans and may only represent a specialized subset of individuals, thereby lacking the ability to quantitatively disclose the universality of human preferences. To address this challenge, this paper proposes a novel approach, which employs a Bayesian framework to account for the distribution of disagreements among human preferences as training a preference model, and names it as d-PM. Besides, considering the RL strategy's inefficient and complex training process over the training efficiency, we further propose utilizing the contrastive learning strategy to train the NLG model with the preference scores derived from the d-PM model. Extensive experiments on two human-centric NLG tasks, i.e., emotional support conversation and integrity "Rule-of-Thumb" generation, show that our method consistently exceeds previous SOTA models in both automatic and human evaluations.


title: Extendability over the $4$-sphere and invariant spin structures of surface automorphisms

abstract: It is known that an automorphism of $F_g$, the oriented closed surface of genus $g$, is extendable over the 4-sphere $S^4$ if and only if it has a bounding invariant spin structure \cite{WsWz}. We show that each automorphism of $F_g$ has an invariant spin structure, and obtain a stably extendable result: Each automorphism of $F_g$ is extendable over $S^4$ after a connected sum with the identity map on the torus. Then each automorphism of an oriented once punctured surface is extendable over $S^4$. For each $g\neq 4$, we construct a periodic map on $F_g$ that is not extendable over $S^4$, and we prove that every periodic map on $F_4$ is extendable over $S^4$, which answer a question in \cite{WsWz}. We illustrate for an automorphism $f$ of $F_g$, how to find its invariant spin structures, bounding or not; and once $f$ has a bounding invariant spin structure, how to construct an embedding $F_g\hookrightarrow S^4$ so that $f$ is extendable with respect to this embedding.


title: The Parameterised Complexity of Integer Multicommodity Flow

abstract: The Integer Multicommodity Flow problem has been studied extensively in the literature. However, from a parameterised perspective, mostly special cases, such as the Disjoint Paths problem, have been considered. Therefore, we investigate the parameterised complexity of the general Integer Multicommodity Flow problem. We show that the decision version of this problem on directed graphs for a constant number of commodities, when the capacities are given in unary, is XNLP-complete with pathwidth as parameter and XALP-complete with treewidth as parameter. When the capacities are given in binary, the problem is NP-complete even for graphs of pathwidth at most 13. We give related results for undirected graphs. These results imply that the problem is unlikely to be fixed-parameter tractable by these parameters. In contrast, we show that the problem does become fixed-parameter tractable when weighted tree partition width (a variant of tree partition width for edge weighted graphs) is used as parameter.


title: Joint object detection and re-identification for 3D obstacle multi-camera systems

abstract: In recent years, the field of autonomous driving has witnessed remarkable advancements, driven by the integration of a multitude of sensors, including cameras and LiDAR systems, in different prototypes. However, with the proliferation of sensor data comes the pressing need for more sophisticated information processing techniques. This research paper introduces a novel modification to an object detection network that uses camera and lidar information, incorporating an additional branch designed for the task of re-identifying objects across adjacent cameras within the same vehicle while elevating the quality of the baseline 3D object detection outcomes. The proposed methodology employs a two-step detection pipeline: initially, an object detection network is employed, followed by a 3D box estimator that operates on the filtered point cloud generated from the network's detections. Extensive experimental evaluations encompassing both 2D and 3D domains validate the effectiveness of the proposed approach and the results underscore the superiority of this method over traditional Non-Maximum Suppression (NMS) techniques, with an improvement of more than 5\% in the car category in the overlapping areas.


title: Fast production of cosmological emulators in modified gravity: the matter power spectrum

abstract: We test the convergence of fast simulations based on the COmoving Lagrangian Acceleration (COLA) method for predictions of the matter power spectrum, specialising our analysis in the redshift range $1 \le z \le 1.65$, relevant to high-redshift spectroscopic galaxy surveys. We then focus on the enhancement of the matter power spectrum in modified gravity (MG), the boost factor, using the Dvali-Gabadadze-Porrati (DGP) theory as a test case but developing a general approach that can be applied to other MG theories. After identifying the minimal simulation requirements for accurate DGP boost factors, we design and produce a COLA simulation suite that we use to train a neural network emulator for the DGP boost factor. Using MG-AREPO simulations as a reference, we estimate the emulator accuracy to be of $\sim 3\%$ up to $k=5 \, h {\rm Mpc}^{-1}$ at $0 \leq z \leq 2$. We make the emulator publicly available at: https://github.com/BartolomeoF/nDGPemu.


title: Exact threshold for approximate ellipsoid fitting of random points

abstract: We consider the problem $(\rm P)$ of exactly fitting an ellipsoid (centered at $0$) to $n$ standard Gaussian random vectors in $\mathbb{R}^d$, as $n, d \to \infty$ with $n / d^2 \to \alpha > 0$. This problem is conjectured to undergo a sharp transition: with high probability, $(\rm P)$ has a solution if $\alpha < 1/4$, while $(\rm P)$ has no solutions if $\alpha > 1/4$. So far, only a trivial bound $\alpha > 1/2$ is known to imply the absence of solutions, while the sharpest results on the positive side assume $\alpha \leq \eta$ (for $\eta > 0$ a small constant) to prove that $(\rm P)$ is solvable. In this work we study universality between this problem and a so-called "Gaussian equivalent", for which the same transition can be rigorously analyzed. Our main results are twofold. On the positive side, we prove that if $\alpha < 1/4$, there exist an ellipsoid fitting all the points up to a small error, and that the lengths of its principal axes are bounded above and below. On the other hand, for $\alpha > 1/4$, we show that achieving small fitting error is not possible if the length of the ellipsoid's shortest axis does not approach $0$ as $d \to \infty$ (and in particular there does not exist any ellipsoid fit whose shortest axis length is bounded away from $0$ as $d \to \infty$). To the best of our knowledge, our work is the first rigorous result characterizing the expected phase transition in ellipsoid fitting at $\alpha = 1/4$. In a companion non-rigorous work, the first author and D. Kunisky give a general analysis of ellipsoid fitting using the replica method of statistical physics, which inspired the present work.

categories: math.PR cond-mat.dis-nn cs.DS math.ST stat.TH


title: Canonization of a random circulant graph by counting walks

abstract: It is well known that almost all graphs are canonizable by a simple combinatorial routine known as color refinement. With high probability, this method assigns a unique label to each vertex of a random input graph and, hence, it is applicable only to asymmetric graphs. The strength of combinatorial refinement techniques becomes a subtle issue if the input graphs are highly symmetric. We prove that the combination of color refinement with vertex individualization produces a canonical labeling for almost all circulant digraphs (Cayley digraphs of a cyclic group). To our best knowledge, this is the first application of combinatorial refinement in the realm of vertex-transitive graphs. Remarkably, we do not even need the full power of the color refinement algorithm. We show that the canonical label of a vertex $v$ can be obtained just by counting walks of each length from $v$ to an individualized vertex. Our analysis also implies that almost all circulant graphs are canonizable by Tinhofer's canonization procedure. Finally, we show that a canonical Cayley representation can be constructed for almost all circulant graphs by the 2-dimensional Weisfeiler-Leman algorithm.


title: Efficient Hybrid Oversampling and Intelligent Undersampling for Imbalanced Big Data Classification

abstract: Imbalanced classification is a well-known challenge faced by many real-world applications. This issue occurs when the distribution of the target variable is skewed, leading to a prediction bias toward the majority class. With the arrival of the Big Data era, there is a pressing need for efficient solutions to solve this problem. In this work, we present a novel resampling method called SMOTENN that combines intelligent undersampling and oversampling using a MapReduce framework. Both procedures are performed on the same pass over the data, conferring efficiency to the technique. The SMOTENN method is complemented with an efficient implementation of the neighborhoods related to the minority samples. Our experimental results show the virtues of this approach, outperforming alternative resampling techniques for small- and medium-sized datasets while achieving positive results on large datasets with reduced running times.


title: 2+1D symmetry-topological-order from local symmetric operators in 1+1D

abstract: A generalized symmetry (defined by the algebra of local symmetric operators) can go beyond group or higher group description. A theory of generalized symmetry (up to holo-equivalence) was developed in terms of symmetry-TO -- a bosonic topological order (TO) with gappable boundary in one higher dimension. We propose a general method to compute the 2+1D symmetry-TO from the local symmetric operators in 1+1D systems. Our theory is based on the commutant patch operators, which are extended operators constructed as products and sums of local symmetric operators. A commutant patch operator commutes with all local symmetric operators away from its boundary. We argue that topological invariants associated with anyon diagrams in 2+1D can be computed as contracted products of commutant patch operators in 1+1D. In particular, we give concrete formulae for several topological invariants in terms of commutant patch operators. Topological invariants computed from patch operators include those beyond modular data, such as the link invariants associated with the Borromean rings and the Whitehead link. These results suggest that the algebra of commutant patch operators is described by 2+1D symmetry-TO. Based on our analysis, we also argue briefly that the commutant patch operators would serve as order parameters for gapped phases with finite symmetries.


title: Problem-Solving Guide: Predicting the Algorithm Tags and Difficulty for Competitive Programming Problems

abstract: The recent program development industries have required problem-solving abilities for engineers, especially application developers. However, AI-based education systems to help solve computer algorithm problems have not yet attracted attention, while most big tech companies require the ability to solve algorithm problems including Google, Meta, and Amazon. The most useful guide to solving algorithm problems might be guessing the category (tag) of the facing problems. Therefore, our study addresses the task of predicting the algorithm tag as a useful tool for engineers and developers. Moreover, we also consider predicting the difficulty levels of algorithm problems, which can be used as useful guidance to calculate the required time to solve that problem. In this paper, we present a real-world algorithm problem multi-task dataset, AMT, by mainly collecting problem samples from the most famous and large competitive programming website Codeforces. To the best of our knowledge, our proposed dataset is the most large-scale dataset for predicting algorithm tags compared to previous studies. Moreover, our work is the first to address predicting the difficulty levels of algorithm problems. We present a deep learning-based novel method for simultaneously predicting algorithm tags and the difficulty levels of an algorithm problem given. All datasets and source codes are available at https://github.com/sronger/PSG_Predicting_Algorithm_Tags_and_Difficulty.


title: Two-timescale Derivative Free Optimization for Performative Prediction with Markovian Data

abstract: This paper studies the performative prediction problem where a learner aims to minimize the expected loss with a decision-dependent data distribution. Such setting is motivated when outcomes can be affected by the prediction model, e.g., in strategic classification. We consider a state-dependent setting where the data distribution evolves according to an underlying controlled Markov chain. We focus on stochastic derivative free optimization (DFO) where the learner is given access to a loss function evaluation oracle with the above Markovian data. We propose a two-timescale DFO($\lambda$) algorithm that features (i) a sample accumulation mechanism that utilizes every observed sample to estimate the overall gradient of performative risk, and (ii) a two-timescale diminishing step size that balances the rates of DFO updates and bias reduction. Under a general non-convex optimization setting, we show that DFO($\lambda$) requires ${\cal O}( 1 /\epsilon^3)$ samples (up to a log factor) to attain a near-stationary solution with expected squared gradient norm less than $\epsilon > 0$. Numerical experiments verify our analysis.


title: DiffuSeq-v2: Bridging Discrete and Continuous Text Spaces for Accelerated Seq2Seq Diffusion Models

abstract: Diffusion models have gained prominence in generating high-quality sequences of text. Nevertheless, current approaches predominantly represent discrete text within a continuous diffusion space, which incurs substantial computational overhead during training and results in slower sampling speeds. In this paper, we introduce a soft absorbing state that facilitates the diffusion model in learning to reconstruct discrete mutations based on the underlying Gaussian space, thereby enhancing its capacity to recover conditional signals. During the sampling phase, we employ state-of-the-art ODE solvers within the continuous space to expedite the sampling process. Comprehensive experimental evaluations reveal that our proposed method effectively accelerates the training convergence by 4x and generates samples of similar quality 800x faster, rendering it significantly closer to practical application. \footnote{The code is released at \url{https://github.com/Shark-NLP/DiffuSeq}


title: Computation-Limited Signals: A Channel Capacity Regime Constrained by Computational Complexity

abstract: In this letter, we introduce the computational-limited (comp-limited) signals, a communication capacity regime in which the signal time computational complexity overhead is the key constraint -- rather than power or bandwidth -- to the overall communication capacity. We present the Spectro-Computational (SC) analysis, a novel mathematical framework that enhances classic concepts of information theory -- such as throughput, spectral efficiency and capacity -- to account for the signal processing computational complexity overhead. We consider a specific Shannon regime under which capacity is expected to get arbitrarily large as channel resources grow. Under that regime, we identify the conditions under which the time complexity overhead causes capacity to decrease rather than increasing, thereby creating the case for the comp-limited regime. We also provide examples of the SC analysis and show the OFDM waveform is comp-limited unless the lower-bound computational complexity of the $N$-point DFT problem verifies as $\Omega(N)$, which remains an open challenge.


title: Finitely presented subgroups of direct products of graphs of groups with free abelian vertex groups

abstract: A result by Bridson, Howie, Miller, and Short states that if $S$ is a finitely presented subgroup of the direct product of free groups, then $S$ is virtually a nilpotent extension of a direct product of free groups. Moreover, if $S$ is a subgroup of type $FP_n$ of the direct product of $n$ free groups, then the nilpotent extension is finite, so $S$ is actually virtually the direct product of free groups. In this paper, these results are generalized to $2$-dimensional coherent right-angled Artin groups. More precisely, we show that a finitely presented subgroup of the direct product of $2$-dimensional coherent RAAGs is still virtually a nilpotent extension of a direct product of subgroups. If $S$ is moreover a type $FP_n$ subgroup of the direct product of $n$ $2$-dimensional coherent RAAGs, then $S$ is commensurable to a kernel of a character of a direct product of subgroups. Finally, we show that the multiple conjugacy problem and the membership problem are decidable for finitely presented subgroups of direct products of $2$-dimensional coherent RAAGs.


title: Harmonic projections in negative curvature II: large convex sets

abstract: An important result in the theory of harmonic maps is due to Benoist--Hulin: given a quasi-isometry $f:X\to Y$ between pinched Hadamard manifolds, there exists a unique harmonic map at a finite distance from $f$. Here we show existence of harmonic maps under a weaker condition on $f$, that we call non-collapsing -- we require that the following two conditions hold uniformly in $x\in X$: (1) average distance from $f(x)$ to $f(y)$ for $y$ on the sphere of radius $R$ centered at $x$ grows linearly with $R$ (2) the pre-image under $f$ of small cones with apex $f(x)$ have low harmonic measures on spheres centered at $x$. Using these ideas, we also continue the previous work of the author on existence of harmonic maps that are at a finite distance from projections to certain convex sets. We show this existence in a pinched negative curvature setting, when the convex set is large enough. For hyperbolic spaces, this includes the convex hulls of open sets in the sphere at infinity with sufficiently regular boundary.


title: Are Large Language Models Post Hoc Explainers?

abstract: The increasing use of predictive models in high-stakes settings highlights the need for ensuring that relevant stakeholders understand and trust the decisions made by these models. To this end, several approaches have been proposed in recent literature to explain the behavior of complex predictive models in a post hoc fashion. However, despite the growing number of such post hoc explanation techniques, many require white-box access to the model and/or are computationally expensive, highlighting the need for next-generation post hoc explainers. Recently, Large Language Models (LLMs) have emerged as powerful tools that are effective at a wide variety of tasks. However, their potential to explain the behavior of other complex predictive models remains relatively unexplored. In this work, we carry out one of the initial explorations to analyze the effectiveness of LLMs in explaining other complex predictive models. To this end, we propose three novel approaches that exploit the in-context learning (ICL) capabilities of LLMs to explain the predictions made by other complex models. We conduct extensive experimentation with these approaches on real-world datasets to demonstrate that LLMs perform on par with state-of-the-art post hoc explainers, opening up promising avenues for future research into LLM-based post hoc explanations of complex predictive models.


title: Millimeter-deep micron-resolution vibrational imaging by shortwave infrared photothermal microscopy

abstract: Deep-tissue chemical imaging plays a vital role in biological and medical applications. Here, we present a shortwave infrared photothermal (SWIP) microscope for millimeter-deep vibrational imaging with sub-micron lateral resolution and nanoparticle detection sensitivity. By pumping the overtone transition of carbon-hydrogen bonds and probing the subsequent photothermal lens with shortwave infrared light, SWIP can obtain chemical contrast from microparticles located millimeter-deep in a highly scattering phantom. By fast digitization on the optically probed signal, the amplitude of photothermal signal is shown to be 63 times larger than that of photoacoustic signal, thus enabling highly sensitive detection of nanoscale objects. SWIP can resolve the intracellular lipids across an intact tumor spheroid and the layered structure in millimeter-thick liver, skin, brain, and breast tissues. Together, SWIP microscopy fills a gap in vibrational imaging with sub-cellular resolution and millimeter-level penetration, which heralds broad potential for life science and clinical applications.


title: The First Cadenza Signal Processing Challenge: Improving Music for Those With a Hearing Loss

abstract: The Cadenza project aims to improve the audio quality of music for those who have a hearing loss. This is being done through a series of signal processing challenges, to foster better and more inclusive technologies. In the first round, two common listening scenarios are considered: listening to music over headphones, and with a hearing aid in a car. The first scenario is cast as a demixing-remixing problem, where the music is decomposed into vocals, bass, drums and other components. These can then be intelligently remixed in a personalized way, to increase the audio quality for a person who has a hearing loss. In the second scenario, music is coming from car loudspeakers, and the music has to be enhanced to overcome the masking effect of the car noise. This is done by taking into account the music, the hearing ability of the listener, the hearing aid and the speed of the car. The audio quality of the submissions will be evaluated using the Hearing Aid Audio Quality Index (HAAQI) for objective assessment and by a panel of people with hearing loss for subjective evaluation.


title: A review on multiscale computational studies for enhanced oil recovery using nanoparticles

abstract: Oil reservoirs around the globe are at their declining phase and in spite of enormous effectiveness of Enhanced Oil Recovery(EOR) in the Tertiary Stage. This process still bypasses some oil reason being surface forces responsible for holding oil inside the rock surface which are not being altered by the application of existing technologies. The processes coming under Tertiary Section Supplements primary and secondary sections. However, the mechanism of operating is different in both. Nanoparticles are showing a significant role in EOR techniques and is a promising approach to increase crude oil extraction. This is due to the fact that size of nanoparticles used for EOR lies in the range of 1-100 nm. It is also an interesting fact that in different operational conditions and parameters, the performance of nanoparticles also vary and some are more effective than others, which leads to various levels of recovery in the EOR process. In the present study, we intend to summarize a report having an up to date status on nanotechnology assisted EOR mechanisms where nanoparticles are used as nano-catalysts, nano-emulsions and nanoparticles assisted EOR mechanisms to destabilize the oil layer on carbonate surface. This review also highlights the various mechanisms such Gibb's free energy, wettability alteration, and Interfacial Tension Reduction (ITR) including interaction of available nanoparticles with reservoirs. Experimental measurements for a wide range of nanoparticles are not only expensive but are challenging because of the relatively small size, especially for the measurements of thinner capillaries of a nanoscale diameter. Therefore, we considered computational simulations as a more adequate approach to gain more microscopic insights into the oil displacement process to classify the suitability of nanomaterials.


title: An operator preconditioning perspective on training in physics-informed machine learning

abstract: In this paper, we investigate the behavior of gradient descent algorithms in physics-informed machine learning methods like PINNs, which minimize residuals connected to partial differential equations (PDEs). Our key result is that the difficulty in training these models is closely related to the conditioning of a specific differential operator. This operator, in turn, is associated to the Hermitian square of the differential operator of the underlying PDE. If this operator is ill-conditioned, it results in slow or infeasible training. Therefore, preconditioning this operator is crucial. We employ both rigorous mathematical analysis and empirical evaluations to investigate various strategies, explaining how they better condition this critical operator, and consequently improve training.


title: Homologically trivial part of the Turaev-Viro invariant order 7

abstract: A homologically trivial part of any Turaev-Viro invariant odd order $r$ is a Turaev-Viro type invariant order $\frac{r + 1}{2}$. In this paper we find an explicit formulas for this Turaev -- Viro type invariant, corresponding to the invariant order $r = 7$. Our formulas express $6j$-symbols and colour weights in terms of $\gamma$, where $\gamma$ is a root of the polynomial $\mathcal{T}(x) = x^3 - 2x^2 - x + 1$.


title: Triple-collinear splittings with massive particles

abstract: We analyze in detail the most singular behaviour of processes involving triple-collinear splittings with massive particles in the quasi-collinear limit, and present compact expressions for the splitting amplitudes and the corresponding splitting kernels at the squared-amplitude level. Our expressions fully agree with well-known triple-collinear splittings in the massless limit, which are used as a guide to achieve the final expressions. These results are important to quantify dominant mass effects in many observables, and constitute an essential ingredient of current high-precision computational frameworks for collider phenomenology.


title: Learning Language-guided Adaptive Hyper-modality Representation for Multimodal Sentiment Analysis

abstract: Though Multimodal Sentiment Analysis (MSA) proves effective by utilizing rich information from multiple sources (e.g., language, video, and audio), the potential sentiment-irrelevant and conflicting information across modalities may hinder the performance from being further improved. To alleviate this, we present Adaptive Language-guided Multimodal Transformer (ALMT), which incorporates an Adaptive Hyper-modality Learning (AHL) module to learn an irrelevance/conflict-suppressing representation from visual and audio features under the guidance of language features at different scales. With the obtained hyper-modality representation, the model can obtain a complementary and joint representation through multimodal fusion for effective MSA. In practice, ALMT achieves state-of-the-art performance on several popular datasets (e.g., MOSI, MOSEI and CH-SIMS) and an abundance of ablation demonstrates the validity and necessity of our irrelevance/conflict suppression mechanism.


title: Boosted Control Functions

abstract: Modern machine learning methods and the availability of large-scale data opened the door to accurately predict target quantities from large sets of covariates. However, existing prediction methods can perform poorly when the training and testing data are different, especially in the presence of hidden confounding. While hidden confounding is well studied for causal effect estimation (e.g., instrumental variables), this is not the case for prediction tasks. This work aims to bridge this gap by addressing predictions under different training and testing distributions in the presence of unobserved confounding. In particular, we establish a novel connection between the field of distribution generalization from machine learning, and simultaneous equation models and control function from econometrics. Central to our contribution are simultaneous equation models for distribution generalization (SIMDGs) which describe the data-generating process under a set of distributional shifts. Within this framework, we propose a strong notion of invariance for a predictive model and compare it with existing (weaker) versions. Building on the control function approach from instrumental variable regression, we propose the boosted control function (BCF) as a target of inference and prove its ability to successfully predict even in intervened versions of the underlying SIMDG. We provide necessary and sufficient conditions for identifying the BCF and show that it is worst-case optimal. We introduce the ControlTwicing algorithm to estimate the BCF and analyze its predictive performance on simulated and real world data.


title: Isolation of Single Donors in ZnO

abstract: The shallow donor in zinc oxide (ZnO) is a promising semiconductor spin qubit with optical access. Single indium donors are isolated in a commercial ZnO substrate using plasma focused ion beam (PFIB) milling. Quantum emitters are identified optically by spatial and frequency filtering. The indium donor assignment is based on the optical bound exciton transition energy and magnetic dependence. The single donor emission is intensity and frequency stable with a transition linewidth less than twice the lifetime limit. The isolation of optically stable single donors post-FIB fabrication is promising for optical device integration required for scalable quantum technologies based on single donors in direct band gap semiconductors.


title: Sharing Information Between Machine Tools to Improve Surface Finish Forecasting

abstract: At present, most surface-quality prediction methods can only perform single-task prediction which results in under-utilised datasets, repetitive work and increased experimental costs. To counter this, the authors propose a Bayesian hierarchical model to predict surface-roughness measurements for a turning machining process. The hierarchical model is compared to multiple independent Bayesian linear regression models to showcase the benefits of partial pooling in a machining setting with respect to prediction accuracy and uncertainty quantification.


title: An Open-Loop Baseline for Reinforcement Learning Locomotion Tasks

abstract: In search of a simple baseline for Deep Reinforcement Learning in locomotion tasks, we propose a model-free open-loop strategy. By leveraging prior knowledge and the elegance of simple oscillators to generate periodic joint motions, it achieves respectable performance in five different locomotion environments, with a number of tunable parameters that is a tiny fraction of the thousands typically required by DRL algorithms. We conduct two additional experiments using open-loop oscillators to identify current shortcomings of these algorithms. Our results show that, compared to the baseline, DRL is more prone to performance degradation when exposed to sensor noise or failure. Furthermore, we demonstrate a successful transfer from simulation to reality using an elastic quadruped, where RL fails without randomization or reward engineering. Overall, the proposed baseline and associated experiments highlight the existing limitations of DRL for robotic applications, provide insights on how to address them, and encourage reflection on the costs of complexity and generality.


title: Decomposition Based Interference Management Framework for Local 6G Networks

abstract: Managing inter-cell interference is among the major challenges in a wireless network, more so when strict quality of service needs to be guaranteed such as in ultra-reliable low latency communications (URLLC) applications. This study introduces a novel intelligent interference management framework for a local 6G network that allocates resources based on interference prediction. The proposed algorithm involves an advanced signal pre-processing technique known as empirical mode decomposition followed by prediction of each decomposed component using the sequence-to-one transformer algorithm. The predicted interference power is then used to estimate future signal-to-interference plus noise ratio, and subsequently allocate resources to guarantee the high reliability required by URLLC applications. Finally, an interference cancellation scheme is explored based on the predicted interference signal with the transformer model. The proposed sequence-to-one transformer model exhibits its robustness for interference prediction. The proposed scheme is numerically evaluated against two baseline algorithms, and is found that the root mean squared error is reduced by up to 55% over a baseline scheme.


title: Dipole-Spread Function Engineering for 6D Super-Resolution Microscopy

abstract: Fluorescent molecules are versatile nanoscale emitters that enable detailed observations of biophysical processes with nanoscale resolution. Because they are well-approximated as electric dipoles, imaging systems can be designed to visualize their 3D positions and 3D orientations, so-called dipole-spread function (DSF) engineering, for 6D super-resolution single-molecule orientation-localization microscopy (SMOLM). We review fundamental image-formation theory for fluorescent di-poles, as well as how phase and polarization modulation can be used to change the image of a dipole emitter produced by a microscope, called its DSF. We describe several methods for designing these modulations for optimum performance, as well as compare recently developed techniques, including the double-helix, tetrapod, crescent, and DeepSTORM3D learned point-spread functions (PSFs), in addition to the tri-spot, vortex, pixOL, raPol, CHIDO, and MVR DSFs. We also cover common imaging system designs and techniques for implementing engineered DSFs. Finally, we discuss recent biological applications of 6D SMOLM and future challenges for pushing the capabilities and utility of the technology.


title: Integrated Expansion Planning of Electric Energy Generation, Transmission, and Storage for Handling High Shares of Wind and Solar Power Generation

abstract: In this paper, an integrated multi-period model for long term expansion planning of electric energy transmission grid, power generation technologies, and energy storage devices is introduced. The proposed method gives the type, size and location of generation, transmission and storage devices to supply the electric load demand over the planning horizon. The sitting and sizing of Battery Energy Storage (BES) devices as flexible options is addressed to cover the intermittency of Renewable Energy Sources (RESs), mitigate lines congestion, and postpone the need for new transmission lines and power plants installation. For efficient handling of RESs uncertainties, and operational flexibility, the upward and downward Flexible Ramp Spinning Reserve (FRSR) are modeled. Besides, the Low-Carbon Policy (LCP) is considered in the objective function of the proposed Transmission, Generation, and Storage Expansion Planning (TGSEP) model. A hierarchical clustering method that can preserve the chronology of input time series throughout the planning horizon periods is developed to capture the short-term uncertainties of load demand and RESs. The short-term operational flexibility requirements make the joint long-term transmission and generation planning a high computational problem. Therefore, the Mixed-Integer Linear Programming (MILP) formulation of the model is solved using an accelerated Benders Dual Decomposition (BDD) method. The IEEE RTS test system is utilized to validate the effectiveness of the proposed joint expansion planning model.


title: Provably Convergent Data-Driven Convex-Nonconvex Regularization

abstract: An emerging new paradigm for solving inverse problems is via the use of deep learning to learn a regularizer from data. This leads to high-quality results, but often at the cost of provable guarantees. In this work, we show how well-posedness and convergent regularization arises within the convex-nonconvex (CNC) framework for inverse problems. We introduce a novel input weakly convex neural network (IWCNN) construction to adapt the method of learned adversarial regularization to the CNC framework. Empirically we show that our method overcomes numerical issues of previous adversarial methods.


title: Audio compression-assisted feature extraction for voice replay attack detection

abstract: Replay attack is one of the most effective and simplest voice spoofing attacks. Detecting replay attacks is challenging, according to the Automatic Speaker Verification Spoofing and Countermeasures Challenge 2021 (ASVspoof 2021), because they involve a loudspeaker, a microphone, and acoustic conditions (e.g., background noise). One obstacle to detecting replay attacks is finding robust feature representations that reflect the channel noise information added to the replayed speech. This study proposes a feature extraction approach that uses audio compression for assistance. Audio compression compresses audio to preserve content and speaker information for transmission. The missed information after decompression is expected to contain content- and speaker-independent information (e.g., channel noise added during the replay process). We conducted a comprehensive experiment with a few data augmentation techniques and 3 classifiers on the ASVspoof 2021 physical access (PA) set and confirmed the effectiveness of the proposed feature extraction approach. To the best of our knowledge, the proposed approach achieves the lowest EER at 22.71% on the ASVspoof 2021 PA evaluation set.


title: Deep Learning-Based Hurricane Resilient Co-planning of Transmission Lines, Battery Energy Storages and Wind Farms

abstract: In this paper, a multi-stage model for expansion co-planning of transmission lines, Battery Energy Storages (BESs), and Wind Farms (WFs) is presented considering resilience against extreme weather events. In addition to High Voltage Alternating Current (HVAC) lines, Multi-Terminal Voltage Source Converter (MTVSC) based High Voltage Direct Current (HVDC) lines are planned to reduce the impact of high-risk events. To evaluate the system resilience against hurricanes, probable hurricane speed (HS) scenarios are generated using Monte Carlo Simulation (MCS). The Fragility Curve (FC) concept is utilized for calculating the failure probability of lines due to extreme hurricanes. Based on each hurricane damage, the probable scenarios are incorporated in the proposed model. Renewable Portfolio Standard (RPS) policy is modeled to integrate high penetration of WFs. To deal with the wind power and load demand uncertainties, a Chronological Time-Period Clustering (CTPC) algorithm is introduced for extracting representative hours in each planning stage. A deep learning approach based on Bi-directional Long Short-Term Memory (B-LSTM) networks is presented to forecast the yearly peak loads. The Mixed-Integer Linear Programming (MILP) formulation of the proposed model is solved using a Benders Decomposition (BD) algorithm. A modified IEEE RTS test system is used to evaluate the proposed model effectiveness.


title: Light Dark Matter Search Using a Diamond Cryogenic Detector

abstract: Diamond operated as a cryogenic calorimeter is an excellent target for direct detection of low-mass dark matter candidates. Following the realization of the first low-threshold cryogenic detector that uses diamond as absorber for astroparticle physics applications, we now present the resulting exclusion limits on the elastic spin-independent interaction cross-section of dark matter with diamond. We measured two 0.175 g CVD (Chemical Vapor Deposition) diamond samples, each instrumented with a W-TES. Thanks to the energy threshold of just 16.8 eV of one of the two detectors, we set exclusion limits on the elastic spin-independent interaction of dark matter particles with carbon nuclei down to dark matter masses as low as 0.122 GeV/c2. This work shows the scientific potential of cryogenic detectors made from diamond and lays the foundation for the use of this material as target for direct detection dark matter experiments.


title: Solving the Transmission Problem for Open Wave-Guides, II Outgoing Estimates

abstract: The paper continues the analysis, started in [1] (Part I,arXiv:2302.04353), of the model open wave-guide problem defined by 2 semi-infinite, rectangular wave-guides meeting along a common perpendicular line. In Part I we reduce the solution of the physical problem to a transmission problem rephrased as a system of integral equations on the common perpendicular line. In this part we show that solutions of the integral equations introduced in Part I have asymptotic expansions, if the data allows it. Using these expansions we show that the solutions to the PDE found in each half space satisfy appropriate outgoing radiation conditions. In Part III we show that these conditions imply uniqueness of the solution to the PDE as well as uniqueness for our system of integral equations.


title: Heat-induced liquid hovering in liquid-gas coexistence under gravity

abstract: We study a liquid-gas coexistence system in a container under gravity with heat flow in the direction opposite to gravity. By molecular dynamics simulation, we find that the liquid buoys up and continues to float steadily. The height at which the liquid floats is determined by a dimensionless parameter related to the ratio of the temperature gradient to gravity. We confirm that supercooled gas remains stable above the liquid. We provide a phenomenological argument for explaining the phenomenon from a simple thermodynamic assumption.


title: SC-Safety: A Multi-round Open-ended Question Adversarial Safety Benchmark for Large Language Models in Chinese

abstract: Large language models (LLMs), like ChatGPT and GPT-4, have demonstrated remarkable abilities in natural language understanding and generation. However, alongside their positive impact on our daily tasks, they can also produce harmful content that negatively affects societal perceptions. To systematically assess the safety of Chinese LLMs, we introduce SuperCLUE-Safety (SC-Safety) - a multi-round adversarial benchmark with 4912 open-ended questions covering more than 20 safety sub-dimensions. Adversarial human-model interactions and conversations significantly increase the challenges compared to existing methods. Experiments on 13 major LLMs supporting Chinese yield the following insights: 1) Closed-source models outperform open-sourced ones in terms of safety; 2) Models released from China demonstrate comparable safety levels to LLMs like GPT-3.5-turbo; 3) Some smaller models with 6B-13B parameters can compete effectively in terms of safety. By introducing SC-Safety, we aim to promote collaborative efforts to create safer and more trustworthy LLMs. The benchmark and findings provide guidance on model selection. Our benchmark can be found at https://www.CLUEbenchmarks.com


title: The XXL Survey LI. Pressure profile and $Y_{\rm SZ}$-$M$ scaling relation in three low-mass galaxy clusters at $z\sim1$ observed with NIKA2

abstract: The thermodynamical properties of the intracluster medium (ICM) are driven by scale-free gravitational collapse, but they also reflect the rich astrophysical processes at play in galaxy clusters. At low masses ($\sim 10^{14}$ M$_{\odot}$) and high redshift ($z \gtrsim 1$), these properties remain poorly constrained observationally, due to the difficulty in obtaining resolved and sensitive data. This paper aims at investigating the inner structure of the ICM as seen through the Sunyaev-Zel'dovich (SZ) effect in this regime of mass and redshift. Focus is set on the thermal pressure profile and the scaling relation between SZ flux and mass, namely the $Y_{\rm SZ} - M$ scaling relation. The three galaxy clusters XLSSC~072 ($z=1.002$), XLSSC~100 ($z=0.915$), and XLSSC~102 ($z=0.969$), with $M_{500} \sim 2 \times 10^{14}$ M$_{\odot}$, were selected from the XXL X-ray survey and observed with the NIKA2 millimeter camera to image their SZ signal. XMM-Newton X-ray data were used in complement to the NIKA2 data to derive masses based on the $Y_X - M$ relation and the hydrostatic equilibrium. The SZ images of the three clusters, along with the X-ray and optical data, indicate dynamical activity related to merging events. The pressure profile is consistent with that expected for morphologically disturbed systems, with a relatively flat core and a shallow outer slope. Despite significant disturbances in the ICM, the three high-redshift low-mass clusters follow remarkably well the $Y_{\rm SZ}-M$ relation expected from standard evolution. These results indicate that the dominant physics that drives cluster evolution is already in place by $z \sim 1$, at least for systems with masses above $M_{500} \sim 10^{14}$ M$_{\odot}$.


title: Of heading, posture and body rotations derived from data acquired by animal-borne accelerometers, magnetometers and gyrometers, kernel density estimation of the corresponding spherical distributions, and fine-scale movement reconstruction

abstract: This paper provides the mathematical expressions, formulated in classical trigonometric terms, that are required (i) to compute an animal's body orientations and rotations in 3D space from data acquired at high-frequency by on-board accelerometers, magnetometers and gyrometers, (ii) to relate 3D rotations to changes in 3D orientation, (iii) to represent their spherical distributions through kernel density estimation (KDE), and (iv) to reconstruct fine-scale movements. The way the huge amount of data that is acquired by these on-board devices can be more easily managed is also considered.


title: Pre-trained Spatial Priors on Multichannel NMF for Music Source Separation

abstract: This paper presents a novel approach to sound source separation that leverages spatial information obtained during the recording setup. Our method trains a spatial mixing filter using solo passages to capture information about the room impulse response and transducer response at each sensor location. This pre-trained filter is then integrated into a multichannel non-negative matrix factorization (MNMF) scheme to better capture the variances of different sound sources. The recording setup used in our experiments is the typical setup for orchestra recordings, with a main microphone and a close "cardioid" or "supercardioid" microphone for each section of the orchestra. This makes the proposed method applicable to many existing recordings. Experiments on polyphonic ensembles demonstrate the effectiveness of the proposed framework in separating individual sound sources, improving performance compared to conventional MNMF methods.


title: Existence of two distinct time scales in the Fairen-Velarde model of bacterial respiration

abstract: We study the bacterial respiration through the numerical solution of the Fairen-Velarde coupled nonlinear differential equations. The instantaneous concentrations of the oxygen and the nutrients are computed. The fixed point solution and the stable limit cycle are found in different parameter ranges as predicted by the linearized differential equations. In a specified range of parameters, it is observed that the system spends some time near the stable limit cycle and eventually reaches the stable fixed point. This metastability has been investigated systematically. Interestingly, it is observed that the system exhibits two distinctly different time scales in reaching the stable fixed points. The slow time scale of the metastable lifetime near the stable limit cycle and a fast time scale (after leaving the zone of limit cycle) in rushing towards the stable fixed point. The gross residence time, near the limit cycle (described by a slow time scale), can be reduced by varying the concentrations of nutrients. This idea can be used to control the harmful metastable lifespan of active bacteria.


title: Estimating Astrophysical Population Properties using a multi-component Stochastic Gravitational-Wave Background Search

abstract: The recent start of the fourth observing run of the LIGO-Virgo-KAGRA (LVK) collaboration has reopened the hunt for gravitational-wave (GW) signals, with one compact-binary-coalescence (CBC) signal expected to be observed every few days. Among the signals that could be detected for the first time there is the stochastic gravitational-wave background (SGWB) from the superposition of unresolvable GW signals that cannot be detected individually. In fact, multiple SGWBs are likely to arise given the variety of sources, making it crucial to identify the dominant components and assess their origin. However, most search methods with ground-based detectors assume the presence of one SGWB component at a time, which could lead to biased results in estimating its spectral shape if multiple SGWBs exist. Therefore, a joint estimate of the components is necessary. In this work, we adapt such an approach and analyse the data from the first three LVK observing runs, searching for a multi-component isotropic SGWB. We do not find evidence for any SGWB and establish upper limits on the dimensionless energy parameter $\Omega_{\rm gw}(f)$ at 25 Hz for five different power-law spectral indices, $\alpha = 0, \, 2/3,\, 2,\, 3,\, 4$, jointly. For the spectral indices $\alpha = 2/3,\, 2, \, 4$, corresponding to astrophysical SGWBs from CBCs, r-mode instabilities in young rotating neutron stars, and magnetars, we draw further astrophysical implications by constraining the ensemble parameters $K_{\rm CBC}, \, K_{\rm r-modes}, \, K_{\rm magnetars}$, defined in the main text.


title: Terminology-Aware Translation with Constrained Decoding and Large Language Model Prompting

abstract: Terminology correctness is important in the downstream application of machine translation, and a prevalent way to ensure this is to inject terminology constraints into a translation system. In our submission to the WMT 2023 terminology translation task, we adopt a translate-then-refine approach which can be domain-independent and requires minimal manual efforts. We annotate random source words with pseudo-terminology translations obtained from word alignment to first train a terminology-aware model. Further, we explore two post-processing methods. First, we use an alignment process to discover whether a terminology constraint has been violated, and if so, we re-decode with the violating word negatively constrained. Alternatively, we leverage a large language model to refine a hypothesis by providing it with terminology constraints. Results show that our terminology-aware model learns to incorporate terminologies effectively, and the large language model refinement process can further improve terminology recall.


title: Write What You Want: Applying Text-to-video Retrieval to Audiovisual Archives

abstract: Audiovisual (AV) archives, as an essential reservoir of our cultural assets, are suffering from the issue of accessibility. The complex nature of the medium itself made processing and interaction an open challenge still in the field of computer vision, multimodal learning, and human-computer interaction, as well as in culture and heritage. In recent years, with the raising of video retrieval tasks, methods in retrieving video content with natural language (text-to-video retrieval) gained quite some attention and have reached a performance level where real-world application is on the horizon. Appealing as it may sound, such methods focus on retrieving videos using plain visual-focused descriptions of what has happened in the video and finding videos such as instructions. It is too early to say such methods would be the new paradigms for accessing and encoding complex video content into high-dimensional data, but they are indeed innovative attempts and foundations to build future exploratory interfaces for AV archives (e.g. allow users to write stories and retrieve related snippets in the archive, or encoding video content at high-level for visualisation). This work filled the application gap by examining such text-to-video retrieval methods from an implementation point of view and proposed and verified a classifier-enhanced workflow to allow better results when dealing with in-situ queries that might have been different from the training dataset. Such a workflow is then applied to the real-world archive from T\'el\'evision Suisse Romande (RTS) to create a demo. At last, a human-centred evaluation is conducted to understand whether the text-to-video retrieval methods improve the overall experience of accessing AV archives.


title: Cross-Component Energy Transfer in Superfluid Helium-4

abstract: The reciprocal energy and enstrophy transfers between normal fluid and superfluid components dictate the overall dynamics of superfluid $^4$He including the generation, evolution and coupling of coherent structures, the distribution of energy among lengthscales, and the decay of turbulence. To better understand the essential ingredients of this interaction, we employ a numerical two-way model which self-consistently accounts for the back-reaction of the superfluid vortex lines onto the normal fluid. Here we focus on a prototypical laminar (non-turbulent) vortex configuration which is simple enough to clearly relate the geometry of the vortex line to energy injection and dissipation to/from the normal fluid: a Kelvin wave excitation on two vortex anti-vortex pairs evolving in (a) an initially quiescent normal fluid, and (b) an imposed counterflow. In (a), the superfluid injects energy and vorticity in the normal fluid. In (b), the superfluid gains energy from the normal fluid via the Donnelly-Glaberson instability.


title: A Leptonic ALP Portal to the Dark Sector

abstract: We discuss the leptonic ALP portal as a simple scenario that connects observed discrepancies in anomalous magnetic moments to the Dark Matter relic abundance. In this framework an axion-like particle in the multi-MeV range couples to SM leptons and a DM fermion, with mass above the ALP mass but below a GeV. The ALP contributes to $(g-2)_\mu$ and $(g-2)_e$ dominantly through 2-loop Barr-Zee diagrams, while the DM abundance is generated by $p$-wave annihilation to ALP pairs. Constraints from beam-dump experiments, colliders and CMB probes are very stringent, and restrict the viable parameter space to a rather narrow region that will be tested in the near future.


title: Hybrid AC/DC Transmission Expansion Planning Considering HVAC to HVDC Conversion Under Renewable Penetration

abstract: In this paper, a dynamic (i.e. multi-year) hybrid model is presented for Transmission Expansion Planning (TEP) utilizing the High Voltage Alternating Current (HVAC) and multiterminal Voltage Sourced Converter (VSC)-based High Voltage Direct Current (HVDC) alternatives. In addition to new HVAC and HVDC lines, the possibility of converting existing HVAC transmission lines to HVDC lines is considered in the proposed model. High shares of renewable resources are integrated into the proposed hybrid AC/DC TEP model. Due to the intermittency of renewable resources, the planning of large-scale Energy Storage (ES) devices is considered. In order to accurately estimate the total TEP costs and hence capturing the scenarios of load and renewable generation uncertainty, using a clustering approach, each year of the planning horizon is replaced with four representative days. The proposed model is formulated as a Mixed-Integer Linear Programming (MILP) problem. Using Benders Decomposition (BD) algorithm, the proposed model is decomposed into a Master investment problem to handle the decision variables, and Sub-problems to check the feasibility of master problem solution and optimize the operation and ES investment cost. Three test systems are used as case studies to demonstrate the effectiveness of the proposed hybrid AC/DC TEP model.


title: Revisiting the Temporal Modeling in Spatio-Temporal Predictive Learning under A Unified View

abstract: Spatio-temporal predictive learning plays a crucial role in self-supervised learning, with wide-ranging applications across a diverse range of fields. Previous approaches for temporal modeling fall into two categories: recurrent-based and recurrent-free methods. The former, while meticulously processing frames one by one, neglect short-term spatio-temporal information redundancies, leading to inefficiencies. The latter naively stack frames sequentially, overlooking the inherent temporal dependencies. In this paper, we re-examine the two dominant temporal modeling approaches within the realm of spatio-temporal predictive learning, offering a unified perspective. Building upon this analysis, we introduce USTEP (Unified Spatio-TEmporal Predictive learning), an innovative framework that reconciles the recurrent-based and recurrent-free methods by integrating both micro-temporal and macro-temporal scales. Extensive experiments on a wide range of spatio-temporal predictive learning demonstrate that USTEP achieves significant improvements over existing temporal modeling approaches, thereby establishing it as a robust solution for a wide range of spatio-temporal applications.


title: Radio pulsars resonantly accelerating electrons

abstract: Based on the recently demonstrated resonant wave-wave process, it is shown that electrons can be accelerated to ultra-relativistic energies in the magnetospheres of radio pulsars. The energization occurs via the resonant interaction of the electron wave (described by a Klein-Gordon (KG) equation) moving in unison with an intense electromagnetic (EM) wave; the KG wave/particle continuously draws energy from EM. In a brief recapitulation of the general theory, the high energy (resonantly enhanced) electron states are investigated by solving the KG equation, minimally coupled to the EM field. The restricted class of solutions, that propagate in phase with EM radiation (functions only of $\zeta=\omega t-kz$), are explored to serve as a possible basis for the proposed electron energization in the radio pulsars. We show that the wave-wave resonant energization mechanism could be operative in a broad class of radio pulsars with periods ranging from milliseconds to the normal values ($\sim 1$ sec); it could drive the magnetospheric electrons to acquire energies from $100$s of TeVs (millisecond pulsars) to $10$ ZeVs (normal pulsars).


title: Unveiling the Intricate Symphony of Nonlinear Pulsation Mode Interactions in High-Amplitude $\delta$ Scuti Stars

abstract: People can diagnose the interiors of stars by sensing their pulsations. Pulsation modes, which are determined by the internal state and structure of a star, are typically considered stable over short timescales. These independent pulsation modes have been used in asteroseismology to reconstruct the interior structure of stars. Here, we report the discovery of peculiar pulsation mode interaction details in the high-amplitude $\delta$ Scuti star KIC 6382916 (J19480292+4146558), challenging the reliability of independent pulsation modes as indicators of the star's internal structure. Through analysis of archival data, we found distinct variations in amplitudes and frequencies of three independent pulsation modes and their harmonics/combinations over approximately 20 days. These variations can reach amplitudes of about 140% and frequency variations of about 12%. Correlation analysis of amplitude and frequency variations revealed additional pulsation mode interaction details and patterns. Notably, our findings regarding the phenomena related to harmonics of independent pulsation modes challenge the traditional understanding in this area. These discoveries serve as cornerstones for future research and advance nonlinear asteroseismology.


title: Leading-order gravitational radiation to all spin orders

abstract: Starting with on-shell amplitudes compatible with the scattering of Kerr black holes, we produce the gravitational waveform and memory effect including spin at their leading post-Minkowskian orders to all orders in the spins of both scattering objects. For the memory effect, we present results at next-to-leading order as well, finding a closed form for all spin orders when the spins are anti-aligned and equal in magnitude. Considering instead generically oriented spins, we produce the next-to-leading-order memory to sixth order in spin. Compton-amplitude contact terms up to sixth order in spin are included throughout our analysis.


title: A Bias-Variance-Covariance Decomposition of Kernel Scores for Generative Models

abstract: Generative models, like large language models, are becoming increasingly relevant in our daily lives, yet a theoretical framework to assess their generalization behavior and uncertainty does not exist. Particularly, the problem of uncertainty estimation is commonly solved in an ad-hoc manner and task dependent. For example, natural language approaches cannot be transferred to image generation. In this paper we introduce the first bias-variance-covariance decomposition for kernel scores and their associated entropy. We propose unbiased and consistent estimators for each quantity which only require generated samples but not the underlying model itself. As an application, we offer a generalization evaluation of diffusion models and discover how mode collapse of minority groups is a contrary phenomenon to overfitting. Further, we demonstrate that variance and predictive kernel entropy are viable measures of uncertainty for image, audio, and language generation. Specifically, our approach for uncertainty estimation is more predictive of performance on CoQA and TriviaQA question answering datasets than existing baselines and can also be applied to closed-source models.


title: Observations of Multiphase, High-Velocity, Shocked Gas in the Vela Supernova Remnant

abstract: We present an analysis of high-resolution far-ultraviolet archival spectra obtained with the Space Telescope Imaging Spectrograph on the Hubble Space Telescope of the star HD 75309, which probes high-velocity shocked gas in the Vela supernova remnant (SNR). We examine high-velocity features from intrinsically strong absorption lines of O I, Si II, Si II*, C II, C II*, and Si III. We also detect high-velocity components in the N V doublet and compare these features to observations of high-velocity O VI absorption, available from archival Far Ultraviolet Spectroscopic Explorer data. Kinetic temperatures are derived from the observed fractional abundances of the various ions, while gas densities and thermal pressures are obtained from the relative populations in excited fine-structure levels of C II and Si II. Our results indicate that the highly ionized species at high velocity probe gas in a region immediately behind a shock driven into an interstellar cloud, while the lower ionization species trace material further downstream in the cooling region of the post-shock flow. Low velocity N V and O VI absorption may trace gas in a conductive boundary layer between the unshocked portion of the cloud and the hot X-ray emitting intercloud medium. Temporal variations in high velocity Ca II absorption features observed toward HD 75309 further confirm the highly inhomogeneous nature of the interstellar medium interacting with the Vela SNR.


title: Latent Wander: an Alternative Interface for Interactive and Serendipitous Discovery of Large AV Archives

abstract: Audiovisual (AV) archives are invaluable for holistically preserving the past. Unlike other forms, AV archives can be difficult to explore. This is not only because of its complex modality and sheer volume but also the lack of appropriate interfaces beyond keyword search. The recent rise in text-to-video retrieval tasks in computer science opens the gate to accessing AV content more naturally and semantically, able to map natural language descriptive sentences to matching videos. However, applications of this model are rarely seen. The contribution of this work is threefold. First, working with RTS (T\'el\'evision Suisse Romande), we identified the key blockers in a real archive for implementing such models. We built a functioning pipeline for encoding raw archive videos to the text-to-video feature vectors. Second, we designed and verified a method to encode and retrieve videos using emotionally abundant descriptions not supported in the original model. Third, we proposed an initial prototype for immersive and interactive exploration of AV archives in a latent space based on the previously mentioned encoding of videos.


title: Spontaneous locomotion of a symmetric squirmer

abstract: The squirmer is a popular model to analyse the fluid mechanics of a self-propelled object, such as a micro-organism. We demonstrate that some fore-aft symmetric squirmers can spontaneously self-propel above a critical Reynolds number. Specifically, we numerically study the effects of inertia on spherical squirmers characterised by an axially and fore-aft symmetric `quadrupolar' distribution of surface-slip velocity; under creeping-flow conditions, such squirmers generate a pure stresslet flow, the stresslet sign classifying the squirmer as either a `pusher' or `puller.' Assuming axial symmetry, and over the examined range of the Reynolds number $Re$ (defined based upon the magnitude of the quadrupolar squirming), we find that spontaneous symmetry breaking occurs in the pusher case above $Re \approx 14.3$, with steady swimming emerging from that threshold consistently with a supercritical pitchfork bifurcation and with the swimming speed growing monotonically with $Re$.


title: A Real-time Method for Inserting Virtual Objects into Neural Radiance Fields

abstract: We present the first real-time method for inserting a rigid virtual object into a neural radiance field, which produces realistic lighting and shadowing effects, as well as allows interactive manipulation of the object. By exploiting the rich information about lighting and geometry in a NeRF, our method overcomes several challenges of object insertion in augmented reality. For lighting estimation, we produce accurate, robust and 3D spatially-varying incident lighting that combines the near-field lighting from NeRF and an environment lighting to account for sources not covered by the NeRF. For occlusion, we blend the rendered virtual object with the background scene using an opacity map integrated from the NeRF. For shadows, with a precomputed field of spherical signed distance field, we query the visibility term for any point around the virtual object, and cast soft, detailed shadows onto 3D surfaces. Compared with state-of-the-art techniques, our approach can insert virtual object into scenes with superior fidelity, and has a great potential to be further applied to augmented reality systems.


title: The M-Theory Three-Form and Singular Geometries

abstract: While M- and F-theory compactifications describe a much larger class of vacua than perturbative string compactifications, they typically need singularities to generate non-abelian gauge fields and charged matter. The physical explanation involves M2-branes wrapped on vanishing cycles. Here we seek an alternative explanation that could address outstanding issues such as the description of nilpotent branches, stability walls, frozen singularities and so forth. To this end we use a model in which the three-form is related to the Chern-Simons form of a bundle. The model has a one-form non-abelian gauge symmetry which normally eliminates all the degrees of freedom associated to the bundle. However by restricting the transformations to preserve the bundle along the vanishing cycles, we may get new degrees of freedom associated to singularities, without appealing to wrapped M2-branes. The analysis can be simplified by gauge-fixing the one-form symmetry using higher-dimensional instanton equations. We explain how this mechanism leads to the natural emergence of phenomena such as enhanced ADE gauge symmetries, nilpotent branches, charged matter fields and their holomorphic couplings.


title: Parameterized Complexity of MinCSP over the Point Algebra

abstract: The input in the Minimum-Cost Constraint Satisfaction Problem (MinCSP) over the Point Algebra contains a set of variables, a collection of constraints of the form $x < y$, $x = y$, $x \leq y$ and $x \neq y$, and a budget $k$. The goal is to check whether it is possible to assign rational values to the variables while breaking constraints of total cost at most $k$. This problem generalizes several prominent graph separation and transversal problems: MinCSP$(<)$ is equivalent to Directed Feedback Arc Set, MinCSP$(<,\leq)$ is equivalent to Directed Subset Feedback Arc Set, MinCSP$(=,\neq)$ is equivalent to Edge Multicut, and MinCSP$(\leq,\neq)$ is equivalent to Directed Symmetric Multicut. Apart from trivial cases, MinCSP$(\Gamma)$ for $\Gamma \subseteq \{<,=,\leq,\neq\}$ is NP-hard even to approximate within any constant factor under the Unique Games Conjecture. Hence, we study parameterized complexity of this problem under a natural parameterization by the solution cost $k$. We obtain a complete classification: if $\Gamma \subseteq \{<,=,\leq,\neq\}$ contains both $\leq$ and $\neq$, then MinCSP$(\Gamma)$ is W[1]-hard, otherwise it is fixed-parameter tractable. For the positive cases, we solve MinCSP$(<,=,\neq)$, generalizing the FPT results for Directed Feedback Arc Set and Edge Multicut as well as their weighted versions. Our algorithm works by reducing the problem into a Boolean MinCSP, which is in turn solved by flow augmentation. For the lower bounds, we prove that Directed Symmetric Multicut is W[1]-hard, solving an open problem.


title: Predicting Accident Severity: An Analysis Of Factors Affecting Accident Severity Using Random Forest Model

abstract: Road accidents have significant economic and societal costs, with a small number of severe accidents accounting for a large portion of these costs. Predicting accident severity can help in the proactive approach to road safety by identifying potential unsafe road conditions and taking well-informed actions to reduce the number of severe accidents. This study investigates the effectiveness of the Random Forest machine learning algorithm for predicting the severity of an accident. The model is trained on a dataset of accident records from a large metropolitan area and evaluated using various metrics. Hyperparameters and feature selection are optimized to improve the model's performance. The results show that the Random Forest model is an effective tool for predicting accident severity with an accuracy of over 80%. The study also identifies the top six most important variables in the model, which include wind speed, pressure, humidity, visibility, clear conditions, and cloud cover. The fitted model has an Area Under the Curve of 80%, a recall of 79.2%, a precision of 97.1%, and an F1 score of 87.3%. These results suggest that the proposed model has higher performance in explaining the target variable, which is the accident severity class. Overall, the study provides evidence that the Random Forest model is a viable and reliable tool for predicting accident severity and can be used to help reduce the number of fatalities and injuries due to road accidents in the United States


title: Intrinsic Justification for Large Cardinals and Structural Reflection

abstract: We deal with the complex issue of whether large cardinals are intrinsically justified principles of set theory (we call this the Intrinsicness Issue). In order to do this, we review, in a systematic fashion, (1.) the abstract principles that have been formulated to motivate them, as well as (2.) their mathematical expressions, and assess the justifiability of both on the grounds of the (iterative) concept of set. A parallel, but closely linked, issue is whether there exist mathematical principles able to yield all known large cardinals (we call this the Universality Issue), and we also test principles for their responses to this issue. Finally, we discuss the first author's Structural Reflection Principles (SRPs), and their response to Intrinsicness and Universality. We conclude the paper with some considerations on the global justifiability of SRPs, and on alternative construals of the concept of set also potentially able to intrinsically justify large cardinals.


title: Robust Angular Synchronization via Directed Graph Neural Networks

abstract: The angular synchronization problem aims to accurately estimate (up to a constant additive phase) a set of unknown angles $\theta_1, \dots, \theta_n\in[0, 2\pi)$ from $m$ noisy measurements of their offsets $\theta_i-\theta_j \;\mbox{mod} \; 2\pi.$ Applications include, for example, sensor network localization, phase retrieval, and distributed clock synchronization. An extension of the problem to the heterogeneous setting (dubbed $k$-synchronization) is to estimate $k$ groups of angles simultaneously, given noisy observations (with unknown group assignment) from each group. Existing methods for angular synchronization usually perform poorly in high-noise regimes, which are common in applications. In this paper, we leverage neural networks for the angular synchronization problem, and its heterogeneous extension, by proposing GNNSync, a theoretically-grounded end-to-end trainable framework using directed graph neural networks. In addition, new loss functions are devised to encode synchronization objectives. Experimental results on extensive data sets demonstrate that GNNSync attains competitive, and often superior, performance against a comprehensive set of baselines for the angular synchronization problem and its extension, validating the robustness of GNNSync even at high noise levels.